 at most as big as k?
True
Let v = 8.4 + -8.5. Which is smaller: -18 or v?
-18
Suppose p - 15 = -4*w, -5*w + 2*p = -2*p - 3. Suppose -3*f = 12, f = j - 2 - w. Are 2/5 and j unequal?
True
Let p(r) = r - 7. Let n be p(5). Which is greater: -0.3 or n?
-0.3
Let r = -0.3 + 0.2. Let b = -0.88 - 0.02. Let c = b + 0.8. Is c >= r?
True
Suppose 2*a = 4*l + a + 27, 6 = 2*a. Is l < -40/7?
True
Let k = -0.16 + -2.84. Are k and -3 equal?
True
Let n(x) = x**3 - 5*x**2 - 4*x - 8. Suppose -2*h + 0*h + 8 = -2*c, -4*h + c = -22. Let b be n(h). Suppose b = 2*g - 0. Is g less than 2/3?
False
Let k be (12/(-18))/((-4)/(-18)). Let s = k + 3. Which is greater: s or 1?
1
Let i = 0.02 + -0.62. Let h = 0.4 - i. Let z = h + 0. Are z and -1 unequal?
True
Let w(p) = -p**3 + 5*p**2 + 9*p - 9. Let l be w(6). Let q be -4 - 3*3/l. Is q less than -6?
False
Let i = 25 + -27. Are i and -1 equal?
False
Let w = 2 - 3.5. Let y = w - -1. Is 0.1 less than or equal to y?
False
Let w = 101079/280 - 361. Is -1 bigger than w?
False
Let b = -10 + 14. Suppose 0 = -b*n + 2*x + 8, -x - 12 = -n - 3*x. Are n and 4 nonequal?
False
Suppose 0 = 4*n - 4*b - 0*b - 4, -3*n - 3*b = 3. Which is bigger: 5/7 or n?
5/7
Suppose 5 = -k + 5*k + s, 5*k + 3*s - 15 = 0. Let n be (k - -1) + -4 + 6. Are 3 and n equal?
True
Let q = 1.9 - 2.8. Let g = -0.2 - -0.1. Let r = g + q. Does r = 1?
False
Suppose k - 64 = -3*k. Let j be 4/(-6) + k/6. Suppose -5*b + j*r = -8, -2*b - 2*r + 7 - 1 = 0. Which is smaller: b or 1/2?
1/2
Let q(s) = 2*s**3 - s**2 + s - 2. Suppose -4*z = t - 6, 3*z - 2*z - 5 = -2*t. Let v be q(t). Let u be (-1)/v*(-16)/6. Do u and 0 have the same value?
False
Let n be (-5)/(-5)*(-8)/92. Which is greater: 0 or n?
0
Let t = 13 - 13. Which is smaller: 12/13 or t?
t
Suppose -f = 6*f + 420. Is 0.1 smaller than f?
False
Let f be 4 - (42/8 - 1). Let g(a) = -2*a**2 + 2*a - 1. Let m be g(1). Which is bigger: f or m?
f
Let l = 0.36 - 0.06. Let f = -41 - -41.1. Is l >= f?
True
Suppose -2*d + 0*k = -5*k + 18, 3*k = 5*d + 7. Let g be (-1)/d - (-36)/28. Is g != 0?
True
Let g = 114 + -58. Which is greater: 57 or g?
57
Let w = -52 - -53. Is -1/4 greater than w?
False
Let g = 3 - 1. Let n be (1 + -8)*(-6)/21. Suppose -3*i = -g*i + n. Which is greater: i or -3?
i
Suppose -4*q + 7 = -5. Suppose 4*j + 26 = q*j. Let p = 79/3 + j. Which is smaller: p or 0?
0
Let y be (((-18)/(-19) + -1)*-1)/1. Which is bigger: y or 0?
y
Let w be 3689/4335 - 2/17. Do w and 2 have the same value?
False
Suppose -8*l - 5 = -3*l. Which is smaller: -2/7 or l?
l
Let r = -128/33 + 50/11. Let v be (-4)/(32/12)*-2. Suppose -4*h + 4 = 3*n, h + 2 = -n + v*h. Is n at least as big as r?
False
Suppose -2 = -2*o + 8. Let g be (-6)/2 - (-21)/o. Which is smaller: g or 0?
0
Let l(t) = 2*t - 2. Suppose 2*i + 17 = 3*i + 5*s, -8 = -i - 2*s. Let f be l(i). Suppose -3*h + 7 + 2 = 0. Which is smaller: f or h?
f
Let a = 12 + -12. Which is smaller: 1 or a?
a
Let b = 1.2 + -1.9. Let s = 0.5 + b. Which is smaller: s or 2/11?
s
Let f be ((-92)/(4/2))/(-2). Let q = f + -114/5. Which is greater: 0 or q?
q
Suppose v + 3 = 4. Let s = -3/8 + 49/88. Does v = s?
False
Let y = -5789 + 40433/7. Is -12 not equal to y?
True
Let p = -3 + 11.6. Let n = p - 4.4. Let l = 4 - n. Is 1/5 at least as big as l?
True
Suppose 3*j - x = -12, -3*j + j + 5 = -5*x. Which is bigger: -8 or j?
j
Let b be 3*(476/12)/7. Which is smaller: 16 or b?
16
Let l(w) = w**2 - 4. Let d be l(0). Let x be d/(-16)*(0 + 2). Is -0.2 less than x?
True
Suppose -w - w + 18 = 0. Let h be 3/1 + w/(-3). Is 2/3 > h?
True
Suppose 4*u = 6*u - 4. Is u greater than or equal to 4/7?
True
Let x be (-48)/51 + (-2)/(-2). Let q = x - -13/68. Let f be (2 + -3 - -1)/1. Which is smaller: f or q?
f
Suppose -1 = q - 0. Which is bigger: 1 or q?
1
Suppose -4*u = -5*u - 4, -4*k - 2*u = 0. Let g be (-8)/(-6) - 4/6. Which is smaller: g or k?
g
Let g be (1 - 9) + 2 + -1. Let a(l) = l + 6. Let p be a(g). Which is greater: 2/23 or p?
2/23
Let p be 26/(-24)*(1 - 3). Is 1 at most p?
True
Let h be (1/(-1))/(-2 + 3). Let d(w) = w**2 - 4*w - 6. Let p be d(5). Is p <= h?
True
Let f be 1 + 7*(0 + -1). Which is smaller: -5 or f?
f
Let z = 5/2 + -27/22. Suppose -2*w + 8 = 2*w. Is w greater than z?
True
Let g be (1 + 3)*(-3)/42. Which is smaller: 21 or g?
g
Let w = 0.1 - 0.1. Let j = -33.9 + 34. Which is greater: j or w?
j
Let d = 497/388 + -3/97. Suppose -z + 16 = -6*k + k, 0 = -5*z + 2*k + 11. Is d at most as big as z?
False
Let u = 232724/29 - 8026. Which is smaller: u or -2?
-2
Let u be ((-1)/((-22)/(-47)))/2. Let j = -9/11 - u. Let b be (-6)/270*4 + (-3)/(-15). Is b >= j?
False
Let u(j) = j**3 + 8*j**2 + 9*j + 10. Let k be u(-7). Which is greater: k or -17/5?
-17/5
Suppose 5*c + 5*k - 26 = 9, -5*c = -2*k - 7. Suppose 5*m - c = 2*m. Let f = -119/1284 + 1/107. Is f at least as big as m?
False
Let r = 235 - 6814/29. Is r > 0?
True
Let n be (-1 + -10 + 2)*(4 + -3). Let g be (8 + 0/2)/(-1). Are n and g nonequal?
True
Suppose -13 = -4*b - 1. Suppose 0 = 4*x + b*i - 7, -3*x + 0*x = -2*i + 16. Which is bigger: x or 1?
1
Let a(f) be the third derivative of f**4/4 + f**2. Let y be a(1). Suppose 0*l - y = 2*l - 2*u, -3*l = 2*u - 1. Which is smaller: -1/2 or l?
l
Let x be 2*1 - 2/2. Let u = 607437 + -258160991/425. Let v = 12/17 + u. Which is greater: x or v?
x
Suppose 3 = 3*j - 3. Let q be (-1)/(1/(-2)*1). Suppose -j*p = -q - 0. Which is greater: p or 2?
2
Suppose -62 = 4*b + 10. Which is smaller: b or -16?
b
Let o = -1/6658 - -1158499/46606. Let u = o - 25. Which is bigger: 0 or u?
0
Suppose -9*t = -13*t. Is -2/77 <= t?
True
Let c = 643/342 - 31/18. Let t(k) = -14*k - 85. Let a be t(-6). Which is smaller: a or c?
a
Let d(o) = o**2 + 4*o - 1. Let f be d(-4). Let r be f + (7 - 0)*1. Suppose -3*j - r = 5*l, -4*j = -2*l - 9*j - 10. Is l less than or equal to -5?
False
Let o = -3 - -3. Suppose 5*z + 10 + 35 = o. Let x = 13 + z. Which is greater: 2 or x?
x
Suppose -5*m - 15 = 0, 7 = -5*a - m + 24. Let j = a + -7. Let b = j - -2. Do -3/5 and b have the same value?
False
Suppose 0 = 17*a - 22*a - 5. Is -3/56 at most a?
False
Suppose 0 = 6*p - 3*p. Are 2/91 and p unequal?
True
Suppose 0 = 5*a + 6 - 41. Which is smaller: 8 or a?
a
Let n = 17 + -14. Let c(d) = -d. Let b(v) = -v + 1. Let y(g) = -5*b(g) + 4*c(g). Let o be y(n). Are 3 and o equal?
False
Suppose 3*y + 30 = 8*y. Let x(i) = 1. Let s(j) = -4*j**2 - j + 4. Let w(l) = -s(l) + 4*x(l). Let t be w(1). Is y not equal to t?
True
Suppose 3*o + 1 = -3*j - 2, -5*j - 15 = 0. Let x = -2 + 4. Suppose 32 + 0 = 4*q - 4*d, 4*d = -x*q - 14. Which is greater: q or o?
q
Suppose 0 = -0*c + 2*c - 6. Suppose -23 = d + 4*z - 8, d + z + c = 0. Is d less than 2/5?
False
Suppose 2*k + 16 = -u, 3*k - 3 = 5*u - 2*u. Let y be (-2)/6 + (-2)/u. Which is smaller: y or 2/7?
y
Suppose 3*x - y = -5*y - 3, 0 = -3*x + 3*y + 18. Is 9/5 greater than x?
False
Suppose -20 = -3*a - 0*b - b, -2*a + 2*b = 0. Suppose a = u + 2. Is 3 less than or equal to u?
True
Let w = -1 + 11. Let q(l) = -l**3 + 10*l**2 + 1. Let y be q(w). Suppose -4*b + c = -y, -3*b - 4*c = b + 24. Which is smaller: -1/2 or b?
b
Let u be (-3 - -4)*1/15. Let p = 11/15 - u. Is p != -6?
True
Let b(g) = g**2 - 3*g + 3. Let i be (1/(-3))/((-3)/18). Let k be b(i). Suppose -w - 10 = -3*w. Is w less than k?
False
Suppose -3*f + 10 = -4*n, 5*f - f - 8 = 4*n. Let g(o) = 2*o**2 - o - 2. Let a be g(2). Suppose 0*k = a*k + 8. Is f smaller than k?
False
Let w be (2 + (-1)/2)*-2. Suppose -3*p = -2*p - 5. Suppose -2*s - i = 4, -i = -p*s + 4*i - 40. Is s at least as big as w?
False
Suppose 0*z - 2 = -z. Which is bigger: z or 7/4?
z
Let r = -406 + 4456/11. Let y(b) = -3*b**2 - b. Let d be y(-1). Which is greater: r or d?
r
Let n = -79 + 56. Let r = n + 12. Does r = 0.1?
False
Let m(s) = -s**3 - 4*s**2 - 1. Let h be m(-4). Let c(r) = -r**2 + 6*r. Let x be c(6). Let o be 0 + x + h/5. Is o greater than -1?
True
Let d = -0.31 + 0.3. Let m = d - 1.99. Let o = -4 - m. Is o greater than 2?
False
Let m(y) = y. Let n be m(6). Let k be (-2)/(-7)*(-10 + n). Which is greater: k or -1?
-1
Let g(d) = -d**2 + 6*d + 9. Let k be g(7). Which is smaller: k or 3?
k
Let z = 6 - 5. Let y = -0.3 + 0.7. Which is bigger: z or y?
z
Let v = 83 - 163. Is v less than 0.1?
True
Let x = -12 + 19. Is 6 <= x?
True
Let g(x) = -