
True
Suppose 0 = -14*s - 59 + 17. Which is smaller: s or 3?
s
Let d(t) = t**2 + 2*t + 2. Let c be d(-4). Suppose 0 = 5*y - c. Let p = 1330/993 - 2/331. Which is bigger: p or y?
y
Let n(p) = -2*p**2. Let o be n(-1). Let d be ((-15)/(-25))/(2/10). Suppose 4*z = d*z - 3. Is z < o?
True
Let f = 1994/543 - 573887/119460. Let s = -19/20 - f. Which is bigger: 1 or s?
1
Let h = -2/369 + 748/1845. Is -0.1 equal to h?
False
Let j = -12 + 17. Let u be 1/(-3 - j/(-2)). Suppose b - 5*b - 16 = 0. Which is greater: b or u?
u
Let b(x) = -x**3 - 2*x**2 - x. Let a be b(-2). Suppose 14 = 2*c + a*y, 3*c + 2*y + 8 = 27. Let j = c + -3. Is 4 equal to j?
False
Suppose 8*i + 4 = 4*i. Suppose -3*m - 7 = -2*c, -5*c = 5*m + 3 - 33. Let v be 1/(-7)*(m + -3). Which is smaller: v or i?
i
Let y = 11626 - 57864/5. Let m = -53 + y. Is m greater than or equal to 1?
False
Let j be (-64)/(-182) - 21/49. Is j not equal to 1?
True
Let q = -72 - -62. Which is greater: -11 or q?
q
Let h be (6/(-9))/((-1)/(-12)). Let z be (-20)/h + 2/(-4). Is 0.3 bigger than z?
False
Let a = 4 - 0. Suppose -20 + 4 = -2*r - a*c, -3*r = -c - 10. Is r greater than or equal to 4?
True
Let v be ((-1)/2*-178)/(-1). Let y = 353/4 + v. Which is greater: y or -1?
y
Let x(f) = -4*f**3 - 2*f - 3. Let s be x(-2). Suppose -4*w - u = -s, 5*w - 4*u - 6 = 30. Which is smaller: w or 6?
6
Suppose -3*j = 3*g + 21, -2*g + 1 = j - 4*j. Is j equal to -2?
False
Suppose -2*h + 4 = -0*h, -3*h = -z + 7. Suppose -3*y - 2 = -5*t - z, 3*y + 1 = 2*t. Let n = -2 + y. Which is smaller: 0 or n?
n
Let z be (116/(-8))/((-7)/(-2)) - -3. Which is smaller: -1/4 or z?
z
Let q = -100 - -98. Let v = 1 - 6. Which is bigger: q or v?
q
Let u = 4 + -2. Which is smaller: u or -1?
-1
Let m(u) = -4*u**3 + 2*u**2 + u + 1. Let v be m(-1). Suppose -h + j + 5 = 0, j + j + 16 = 3*h. Is v > h?
False
Let p = 21 - 21. Let o = 0.23 - 0.16. Which is bigger: o or p?
o
Let k(u) = u + 11 - u**3 + 6*u**2 - 2*u - 4. Let s(h) = 3*h + 54. Let y be s(-16). Let i be k(y). Are 0 and i nonequal?
True
Let r = -0.17 - -0.07. Is -25 not equal to r?
True
Let c = -3/5 - -17/20. Which is greater: -1/3 or c?
c
Suppose 4*z + 0*c + 4*c - 16 = 0, 0 = -c. Suppose z*o - 4 = 2*o. Which is smaller: 3/4 or o?
3/4
Let b = 88 + -357/4. Is b less than -1?
True
Let y = -13 + 68. Which is greater: 54 or y?
y
Suppose 0*g - 12 = -6*g. Suppose -4*z = o + 20, -5*o - 7 = 5*z + 18. Suppose -n + 5*b = -5*n + 24, o = 5*b - 20. Which is bigger: g or n?
g
Let c be 3/18 + (-17)/12. Let k = 0 - 0. Is c greater than k?
False
Suppose -17*l - 3 = -18*l. Is 2 less than or equal to l?
True
Suppose -5*n + 10*n = -4*i + 21, -3*n + 23 = 5*i. Does -15 = i?
False
Let n = -21/4 + 151/28. Suppose 2*a = 7*a. Is a greater than n?
False
Let c = 14.3 - 14. Which is smaller: -2 or c?
-2
Let f = -19 + 14. Suppose 4*l - 20 = 8*l. Let t = f - l. Which is smaller: -1/4 or t?
-1/4
Let p = 39 - 36. Which is smaller: 2 or p?
2
Suppose 0 = -2*v - 457 + 1731. Let i = -28029/44 + v. Let y = i + 51/308. Do 1 and y have the same value?
False
Suppose 0*y - 3*y + 9 = 0. Suppose -8 = v - y*v. Which is bigger: v or 3?
v
Let c be (20/(-30))/((-4)/6). Let u be ((-6)/(-46))/3*1. Are c and u non-equal?
True
Let u(k) = -2*k. Let f be u(1). Let n be (-2)/(-4) - 6/4. Which is greater: n or f?
n
Let m = 0.09 - 0. Let p = m - -3.91. Let q = -6 + p. Does -2 = q?
True
Let c = -0.01 + 0.01. Let v = -8/11 + 29/55. Let p = 13/15 + v. Is p <= c?
False
Let l be (-2)/4 + 42/4. Let o be (-16)/l + (2 - 2). Which is smaller: -1 or o?
o
Let t be (-37)/3*(-2 - -47). Let u be 0 + (-378)/t + -1. Let d = 3/37 - u. Is 0 at least as big as d?
False
Let m = 13 - 4. Which is smaller: 4 or m?
4
Let i = -17632111/65 - -271255. Let x = i + 42/5. Is -1 at most as big as x?
True
Let g = -20 + 22. Which is smaller: g or 0.03?
0.03
Let r = -1/275 - 109/275. Let v(y) = -y**3 + 5*y**2 + 7*y + 1. Let s be v(6). Let n(m) = -m**3 + 6*m**2 + 7*m. Let o be n(s). Is o at least as big as r?
True
Let m be 3/(-1) - (-8 - -6). Let l be m + -1 + -2 + 3. Let y be 7/(-2) - -2 - -1. Is l bigger than y?
False
Suppose -3*d + 5*p - 5 = 12, 2*d + 4*p + 26 = 0. Is -8 less than or equal to d?
False
Suppose -5 = -r - 1. Suppose -6*n = -r*n + 6. Let a(t) = -4*t. Let y be a(1). Which is bigger: y or n?
n
Let z = -49/2 + 23. Suppose 2*v - 4*k - 22 = 3*v, -4*k = -v + 18. Which is smaller: z or v?
v
Let m be (345/(-168) + 2)*(-4)/(-9). Do m and 0 have the same value?
False
Let v = 2/181 + -5078/905. Which is greater: 0 or v?
0
Let f = 35 + -35. Is f <= 2?
True
Let z(k) = -4*k**3 - 2*k**2 + k. Let r be z(1). Let y be 1/(6/r - -1). Let q = y - -2. Which is smaller: q or -1/2?
q
Let q(y) = y**3 - 4*y**2 + 3*y + 1. Let j be q(3). Suppose 2*l - 6*l = z - 11, -10 = -5*l - 5*z. Is l < j?
False
Let k(d) = d**3 + 12*d**2 + 11*d + 18. Let r be k(-11). Which is smaller: 16 or r?
16
Let b = 3 - 4. Let t be -1 + 2/(-6)*b. Let q be 0*(3/(-6))/(-1). Which is bigger: q or t?
q
Let q = 6 + -40/7. Let y = 0.1 + 0.9. Is q >= y?
False
Let r = 74 + -18. Do r and 56 have different values?
False
Let n = -1.2 - -1.2. Let m = 0.2 - 0.2. Let b = m + 1. Is b at least n?
True
Let t(q) = q + 11. Let b be t(-8). Suppose b*j = p - 20, -j + 7 = p - 1. Are p and 10 equal?
False
Suppose -9 - 3 = -4*w. Suppose 0*s = w*s. Let c = s + 1/3. Which is greater: c or -1?
c
Let p(o) = o**2 + 9 - 4*o**2 + 4*o**2 - 9*o. Let v be p(8). Let f = 16/9 + -10/9. Which is smaller: v or f?
f
Let x = -39 + 38. Which is smaller: x or 6/31?
x
Suppose -5*u = -3*f - 4 + 6, -u - 4*f + 18 = 0. Let n be (-3 - -4)*1*-1. Let y = n + u. Is y less than or equal to 1?
True
Let v be (-2)/(-2)*-4 - 2. Let m = 6 + v. Suppose 2*f + 0 + 2 = m. Is f equal to -1?
True
Let g be 26/16 + 12/(-4). Let u = 63/40 + g. Suppose 5*r + 3 = -2. Which is greater: u or r?
u
Let c = 1.51 - 15.51. Is c at most -0.2?
True
Suppose 3*n + 2 = 14. Let d be (-1)/(46/16 + -3). Suppose 3*i + i - d = 0. Which is greater: n or i?
n
Suppose -3*h = 2*t - 8, 2*t = -3*t - h + 7. Suppose -6 = -w - t. Suppose -w*n + 4 = 9. Is n bigger than -2/5?
False
Let n = -100 - -140. Suppose 2*d = -3*d + n. Is 9 at least as big as d?
True
Let y(f) = -2*f**3 - f - 1. Let g be y(-1). Let a = 5 - 13.2. Let o = -8 - a. Which is greater: g or o?
g
Let s = -34 - -34.76. Let i = s - -0.14. Let f = 0.1 + i. Which is greater: 0 or f?
f
Let i = -2 - -2. Suppose l + 2 + i = 0. Let k = 3 + -3. Which is bigger: k or l?
k
Suppose 32 = -4*q - 4*s, -5*s - 4 = -0*q - 4*q. Let h = q + 3. Which is greater: h or -2/15?
-2/15
Suppose -3*v + 19*v - 3*v = 0. Which is greater: 1/17 or v?
1/17
Let f = 5 + -7. Let a = f + 3. Which is greater: a or 1/4?
a
Suppose 2*l + 1 = -9. Let m = 22 + -22. Suppose m = 5*s + 4*j + 21, 5*s - 2*j = -0 - 27. Is l < s?
False
Suppose -4*i = r + 3 - 19, 5*i = 5*r - 5. Let k = i + -5. Is -4/5 smaller than k?
False
Let v be (-3)/(-6) - 7/22. Let q = v - -3/44. Which is greater: q or 1?
1
Let p = -25 - 77. Is p <= -102?
True
Let i be 1348/8*2*8. Let f = i - 8012/3. Let t = f - 26. Which is smaller: 0 or t?
t
Let g = 49 + -51. Which is greater: -2/49 or g?
-2/49
Let h = -132 + 94. Does h = 1?
False
Suppose -4 = -2*q + 6. Is 7/2 not equal to q?
True
Let x be (-22)/(-8) - (4 - 3). Is 3 >= x?
True
Let n = 4 - 11. Let u = 7 - n. Which is smaller: u or 13?
13
Let j = 32 - 62. Which is greater: -32 or j?
j
Suppose 0 = -5*l - l. Is 0 less than or equal to l?
True
Let z = -2 - -2.5. Let w = -1 + z. Let u = w - -1.5. Is u <= 0.1?
False
Let u be 1/(-2) - (-88)/16. Suppose -5*n + a = -31, 0 = 3*n - 5*n - u*a + 7. Let d be (-2)/3 - n/18. Is d smaller than -1?
False
Let b be 54/8 + (-25)/(-100). Which is smaller: 1 or b?
1
Let v be (-21)/90 + (-2)/(-5). Suppose -4 = -5*x - 2*q - 0*q, 3*x + 8 = 4*q. Let p be 3 + 1 + (-3 - x). Which is smaller: p or v?
v
Let n = 2.62 - 0.32. Is 0 greater than or equal to n?
False
Let b(y) = 9 + 7*y + 8*y - 17*y. Let q be b(5). Which is smaller: q or -5/12?
q
Let k = 1795/11 - 163. Let j be (-216)/(-28) - 2/(-7). Suppose 3*m = j*m. Is m < k?
True
Let d be ((-3)/(-18))/((-7)/14). Is d < 2/35?
True
Let a = -70 + 69. Which is bigger: a or 2/3?
2/3
Let i = 69 + -117. Is -49 bigger than i?
False
Let r = 3/26 + -8/13. Let p = -7 - -5. Is p equal to r?
False
Let m be 92 - (-1 + (4 - 2)). Le