et f = 3/100 + 1/800. Which is smaller: -1 or f?
-1
Let d = 46.7 - 45.704. Let o = d - -0.004. Which is bigger: o or -17?
o
Let i(z) = -2*z + 15. Let k be i(7). Let q be -4*26/(-456) - k/3. Is -1 <= q?
True
Let d = -1340.52 - -1341. Which is smaller: d or 2/27?
2/27
Let b = 40.8 - -10.2. Let r = 50.89 - b. Which is greater: 0 or r?
0
Let a = -37 + 37.1. Let j = -0.047 - -3.047. Which is greater: a or j?
j
Let m = -0.31 + 15.31. Let w = m - 13. Which is smaller: 2/5 or w?
2/5
Let y be 3 + ((-105)/5)/7. Which is smaller: -53 or y?
-53
Let x(u) = -2*u + 17. Let c be x(16). Let q be (25/c - -2)*0. Which is smaller: q or 3/5?
q
Let s = 0.042 - -29.958. Let v = -29 + s. Which is smaller: 1.9 or v?
v
Suppose -7*t + 25 = -24. Suppose t - 38 = -l. Is l less than or equal to 30?
False
Let w = -19 - -21. Let f = -0.03 + 0.13. Let z = f - 0.07. Which is smaller: w or z?
z
Let n(p) be the second derivative of -p**4/12 - 5*p**3/6 - 3*p**2 - p. Let m be n(-4). Is m <= -18/7?
False
Let q be 1*(7 - 4) - 5. Is q at most -78/23?
False
Let t be 6 + -4 - (-7)/(-1). Let r(n) = -10*n + 22. Let m be r(3). Is t smaller than m?
False
Suppose 3*v + 5*f + 42 = 0, -2*f + 18 = -3*v - 3. Let d be 42/v + (2 - (-1 + 3)). Is d >= -4?
False
Let m be (-1 - (-3 - 150))*9/(-12). Let b be m/(-22) + (-18)/99. Is 0 > b?
False
Let d(s) = s**3 - s**2 - 9*s - 2. Let v = 20 + -16. Let r be d(v). Which is smaller: r or 11?
r
Let s(v) = -v**2 + 30*v - 55. Let p be s(28). Which is smaller: p or -2/91?
-2/91
Suppose -k + 6 = -4*y + 2, 3 = -3*y + 4*k. Let t = 4996/91 + -387/7. Which is smaller: t or y?
y
Suppose 13*u + 497 = 6*u. Let p = u + 68. Are -3 and p unequal?
False
Suppose 26030 = 29*s - 45426. Which is greater: 2463 or s?
s
Let g(k) = 7*k + 28. Let s be g(-5). Let b be (s/(-28))/((-6)/(-8) - 0). Is -22 equal to b?
False
Let i = 774 + -787. Which is greater: i or 7?
7
Let a = 187 - 187. Which is smaller: 6/151 or a?
a
Suppose -4*l = v - l - 17, -2*v + l = 1. Suppose 5 = q, 3*q - 3 = -v*k - 2*q. Let s be 48/22 - (-2)/k. Which is smaller: -0.1 or s?
-0.1
Let j = 370 - 518. Let z = -147.83 - j. Is 2/3 greater than z?
True
Suppose 3*j - 4*w = -5, -3*j - 3*w = 1 - 10. Let p be (-3 - 4/(8/(-6)))*j. Is p less than 2/25?
True
Let x = -54.2985 + 0.2485. Let z = 54 + x. Do z and 0 have the same value?
False
Suppose -4*f = -6*u + 4*u - 26, -2*u = 10. Suppose f*a - 4*v - 76 = 0, 3*v + 28 = 5*a - 59. Let k(c) = -c + 33. Let t be k(17). Is t bigger than a?
True
Let b = 14.3 - -0.7. Let o = 33 - b. Is 0.2 greater than o?
False
Let a be (10/(-8025))/(6/(-60)). Is 0 greater than a?
False
Let v = 1.4 + 16.1. Let n = 17 - v. Which is smaller: n or 0.09?
n
Let a(t) = t**3. Let c be a(1). Suppose -3*s + 7 = 3*v - s, -5*v + c = -2*s. Is 1/37 at least v?
False
Let u(g) = 5*g - 19. Let p be u(6). Let i be (-6)/4*16/(-6). Suppose -i - 7 = -j. Is j greater than p?
False
Suppose 2*z = -5*m - 323, -5*z = 4*m - 10*z + 232. Let a be (-2)/(-9) + (-4)/m. Is -5 at least a?
False
Let y(h) be the second derivative of -h**3/2 + 7*h. Let u be y(-4). Suppose 16*g = u*g. Is g bigger than -4?
True
Suppose 2150 = h + h. Let z be (-3)/(-141)*(50523 - 0). Let m = h - z. Which is smaller: m or 1?
m
Let w(r) = -4*r**2 - 16*r + 29. Let q(j) = -j**2 - 4*j + 7. Let s(g) = -9*q(g) + 2*w(g). Let h be s(-5). Which is smaller: h or -8?
-8
Let j be (-2)/380*((-196)/(-63))/(-7). Which is smaller: 1 or j?
j
Let q = -30 + 16. Let x = -10 - q. Let v be -2 + (-8)/x + 0. Is v at least -4?
True
Let z be (1/7)/(-1) - (-153080)/(-560). Which is greater: z or -275?
z
Let y = 5429/7 + -779. Which is smaller: y or -4?
-4
Suppose 2*i + 3*i = 0. Let g be (-1 + i)/((-10)/50). Let j(o) = 3*o - 14. Let l be j(g). Which is smaller: l or -2/19?
-2/19
Suppose 5*o = -94 + 104. Let b be 90/(-80) + (o - 1). Is b >= 1?
False
Let j(s) = -12*s + 0 - 7 + 5*s**2 - 1 - 2*s**2. Let h be j(4). Do -8 and h have the same value?
True
Suppose -5*s + 25 = -0*s + 5*d, -3*s + 15 = -5*d. Suppose 0 = -8*t + s*t. Suppose 5*i - 9 - 46 = t. Is 10 less than i?
True
Let i = 46/5 - 281/30. Let h(s) = -s**3 + 11*s**2 + 14*s - 23. Let f be h(12). Let l be f/2*(-4 + 4). Is l equal to i?
False
Suppose 0 = 3*s + y - 20, 0 = -y - 3*y + 8. Suppose -2*u = -2, b + 3*u - 13 = -s. Suppose b = -c - 3*c. Which is smaller: c or -2?
-2
Let y = 15/17 + -296/85. Let g = 6 + -8. Are g and y equal?
False
Let l = 148 + -116. Let d = -33 + l. Which is smaller: d or -40?
-40
Let t be (-90)/24 - -4 - (-8113)/(-21060). Let g be (4 - 1)*(-2)/(-3159). Let j = t + g. Which is bigger: 0 or j?
0
Suppose -3*h + 111 = -f, 3*h - 2*h - 4*f - 48 = 0. Let y be ((-18)/12)/((-3)/h*2). Is y at most as big as 11?
True
Suppose 15 = -5*n + l - 6*l, 5 = -l. Let j(a) be the third derivative of a**4/24 + 2*a**3 - 3*a**2. Let y be j(-10). Is y at least as big as n?
True
Let v = 1 + -0.7. Let i = -9 - -7. Let y be i*(72/68 - 1). Which is smaller: y or v?
y
Let t(u) be the second derivative of -u**3/6 + 5*u**2/2 - 7*u. Let v be t(5). Suppose -3*m = -v*m - 6. Is 3 greater than m?
True
Let i = 68 + -54. Let b = i - 18. Let w be (1/3)/(4/(-12)). Which is greater: b or w?
w
Let h(x) = x**2 + x + 11. Let l(f) = -f**2 - 11. Let q(t) = -7*h(t) - 6*l(t). Let w be q(-5). Which is bigger: -3/4 or w?
-3/4
Let t(i) = 4*i**2 - 13*i + 16. Let j(s) = -s**2 - 1. Let q(o) = -3*j(o) - t(o). Let m be q(7). Is 29 != m?
False
Let m(x) = -59*x - 1. Let s be m(-2). Let r = 2225/19 - s. Let f = -19.06 - -20.06. Which is bigger: r or f?
f
Let t(c) = -c - 5. Let d be t(-4). Suppose -2*h + 2*y - 12 = 0, -h - y - 2*y + 14 = 0. Let p be (2 - 2)/h*d. Are -2/63 and p nonequal?
True
Let j = -249 + 252. Let k be 1/2 + (-387)/2. Let c = 974/5 + k. Is j at most c?
False
Suppose -5*g + 72 = -8. Let o be -4*(-12)/g - 1. Suppose o*k = 1 + 1. Which is smaller: -1/2 or k?
-1/2
Let j(z) = z - 7. Let b be -3 + 2/1 - -10. Let h be j(b). Suppose -2*s + 23 = -3*y, -23 = 4*y + 7*s - h*s. Is -7 less than y?
False
Suppose -3*n - 12 - 21 = 0. Let p = -2894 + 2886. Is n < p?
True
Suppose 14*j - 50 = -106. Which is greater: j or -41?
j
Let l = 94 + 484. Which is bigger: l or -1?
l
Let k = -2.65 + 5.5. Let a = -0.09 + -0.06. Let g = a - k. Which is smaller: 1/4 or g?
g
Let x(l) = 12*l**2 + 4*l - 1. Let z be x(2). Suppose 15 + z = -5*v. Let h(i) = -i - 15. Let p be h(v). Which is bigger: p or -2?
p
Let l(b) = -b**3 - 6*b**2 - 5*b + 2. Let h be l(-5). Let z be -1 - ((-1 - -18) + h). Let v be 33/(-15) + (-4)/z. Is -2 at least v?
True
Let o = 78.01 + -78. Is o at least as big as -3?
True
Suppose 4*y + 5 + 23 = 0. Let w be (-16 - -1)/(y/63*3). Does w = 0?
False
Let i be 5 - 1028*(-1)/(-4). Which is bigger: i or 1/3?
1/3
Suppose 0 = -y - 4*s - 3, 5*s = -5*y - 78 + 63. Is 130 greater than y?
True
Let t = -591 + 588. Is t bigger than -5/2?
False
Suppose 0 = 2*x + 3*x - 25. Suppose -j - 46 = -4*j + p, -x*p = -j - 8. Is 1 at least as big as j?
False
Suppose 3*x - 5*n = -160, 9*x - 2*n = 5*x - 204. Do x and -50 have different values?
False
Let d be (-1 - 5/(-8))/((-23)/184). Is 50/23 != d?
True
Suppose -45*y - 4*y = -441. Is y less than -87?
False
Let j = 35 + -25. Let p be (1 - 2)*j/210. Which is smaller: -1 or p?
-1
Suppose -f + v = -20, 3*f - 8 = 2*f + 4*v. Which is greater: 12 or f?
f
Let y be ((-5)/(-66) + (-1)/(-3))*-4. Let n(d) = d**2 - 5*d + 3. Let v be n(3). Which is smaller: y or v?
v
Let j = 23 - 4. Let b = j - 15. Let c be (3/(-4))/((-2)/8). Is b at least as big as c?
True
Suppose 0 = 3*o - 3, -4*c + 3*o = -2*c + 59. Let q(h) = -2*h**2 - 11*h - 15. Let t be q(-6). Let i be (21/c)/(t/2). Are 0 and i non-equal?
True
Suppose -2*s + 18 = 3*t - 5*t, s = -2*t. Suppose -3*i + s = -3. Suppose -2*l = d - 16, -i*d - 3*l - l + 42 = 0. Is d equal to 1?
False
Let l(u) = -41*u - 35. Let c be l(-7). Which is greater: 1 or c?
c
Let f(r) = r**2 + 14*r + 11. Let m(t) = t**2 + 15*t + 11. Let j(y) = -7*f(y) + 6*m(y). Let u be j(-8). Let z = 10 + u. Does z = 0.1?
False
Suppose 27 - 107 = 5*n. Let t = n + 19. Suppose 3*c - 4*l + 23 = 0, 2*c - 4*c + 13 = t*l. Which is greater: 2/53 or c?
2/53
Let j = -20 - -8. Let b be ((-5)/2 - (j + 10))/1. Let y = -0.8 + 0.74. Is y < b?
False
Let c = 179/372 + -5/12. Are 4 and c unequal?
True
Suppose -2*s = -5*s + 12. Suppose -2*h - 5*x + 4*x = -161, s*h + 3*x