 -0.1 or b?
b
Let u = 4/777 - -313/3885. Which is greater: 0 or u?
u
Suppose 3*b - g - 1 = 2*b, 3*b - 7 = -g. Which is smaller: -241 or b?
-241
Let u = 0.069 - -21.931. Are u and 6 equal?
False
Let q(o) = -2*o**2 + 134*o - 138. Let w be q(66). Is w at most as big as -23?
False
Suppose 11*r = 7*r - 124. Let f = r - -30. Let j be (2/(-16))/((-7)/4). Which is greater: j or f?
j
Let x = 18 + -2. Let j be 9/(-12) - 36/x. Let u = j - 2. Is u != -6?
True
Let t = 13 - 13. Suppose 5*z = -w + 6*w - 15, 4*w + 2*z - 18 = t. Suppose w = 2*h + 2. Which is smaller: h or 1/8?
1/8
Let w = 339/4495 + -1/155. Let u = -23/87 - w. Is -1/4 less than or equal to u?
False
Let o = 17 + -12. Suppose -c + 2*c - 13 = k, -o*k - c - 41 = 0. Let n = -11 - -3. Which is bigger: k or n?
n
Suppose -348 = -h - p + 181, 3*p = 2*h - 1033. Is 524 greater than or equal to h?
True
Suppose 2*p = 1 - 9. Let u be 3/((70/p)/(-5)). Is 2 at most as big as u?
False
Let w(g) = g**2 - 11*g. Let t be w(11). Let h = -0.6 - -1. Which is bigger: t or h?
h
Let f = 473 + -4259/9. Is 0.04 bigger than f?
True
Let o be 15 + ((-3)/9)/(2/18). Let u = -29 - -42. Is u <= o?
False
Let q = 14000 - 70414/5. Let z(s) = -21*s + 2. Let k be z(4). Let x = q - k. Which is smaller: x or 0?
x
Suppose -1413*t - 1169 = -1406*t. Which is bigger: -166 or t?
-166
Let h be 11 + ((2/2)/1 - 3). Suppose 4 = 11*r - h*r. Is r smaller than 1/2?
False
Let f = -82 + 84. Let j be f/(-4) + 385/(-22). Is -20 greater than or equal to j?
False
Let y(u) = u**3 + 3*u**2 + 2. Let r be y(-3). Let p be (r/(-3))/((-2)/27). Do p and 9 have the same value?
True
Let v be (-20)/(-10) - 13/5. Is v <= 47?
True
Let n be (84/(-15))/(6/(-10)). Let t be (-18)/(-10)*(6 + -1). Which is smaller: n or t?
t
Let i be ((-26)/(-6))/((-2)/(-6)). Is 2 > i?
False
Let c be (-473)/(-1548) - (-6)/(-8). Suppose 2 + 2 = 2*l, 0 = 3*f + l + 25. Let a = f - -10. Which is bigger: c or a?
a
Let x = -451/9 - -114076/2277. Is x greater than 0?
False
Let d = -44 - 88. Let w be (d/77)/(((-2)/14)/1). Let x = -0.96 - 0.04. Are w and x nonequal?
True
Let d = -21.96 + 2.66. Let r = 18 + d. Let a = -1.5 - r. Which is greater: a or 1?
1
Let z = -0.332 - -3.332. Which is smaller: -0.007 or z?
-0.007
Let b = -152.205 - -128.2. Let t = 0.005 + b. Let g = -20 - t. Is g greater than or equal to 2?
True
Let g = 2395 + -7117/3. Let i = g + -23. Is i at least 0.09?
False
Let o = -1500 - -91498/61. Let a be (-2 - 0)/(-2 - 0). Which is greater: o or a?
a
Let a = -124 - -76. Let t = -52 - a. Is t smaller than 0.1?
True
Suppose 0 = -3*w - 17 - 19. Let o be (2/w)/(5/(-50)). Let i = -18 + 21. Which is smaller: i or o?
o
Suppose -2*t = 2*t - 2*f - 86, 0 = 5*f + 25. Suppose 4 = v + 2*b + b, 3*v = -2*b + t. Which is smaller: 6 or v?
6
Let k be 3 + (16/32)/(2/(-92)). Is k bigger than -3?
False
Let x be 18 - (-1 - (-2 + 0)). Let u be 13 + 20 + (-15)/1. Is u greater than x?
True
Let y(f) = f**3 + f**2 - 4*f + 3. Let b be y(3). Let c = -2194 + 2223. Is c less than or equal to b?
False
Let a(d) = d**3 + 2*d**2 - 24*d + 1. Let p be a(-6). Which is smaller: -1/101 or p?
-1/101
Let t = -0.4 + 7.4. Let d = 8.8329 - -0.1671. Which is smaller: d or t?
t
Suppose 22 = -5*s + j, -5*s + 0 - 40 = 5*j. Let p be 3 + (-5)/s - 4. Is p >= -5?
True
Let d = -1.5 + -10.5. Suppose -4*r + 12 = -f, 3*f + 6 = -2*f + 2*r. Is f greater than d?
True
Let i = -25 + 32. Suppose 0 = -3*v - 3 - 15. Let h = 2 - v. Which is smaller: h or i?
i
Let t = 85 + -78. Let y(a) = 6*a + 17. Let b be y(t). Is 59 bigger than b?
False
Let h = -1 - -0.5. Suppose 4*s + 1 = 3*s. Let d(j) = -j**2 + j + 2. Let p be d(s). Which is bigger: p or h?
p
Let o = -123 + 23. Let k = 146 + o. Which is bigger: k or 0?
k
Let x(o) be the second derivative of o**4/12 + 5*o**3/6 + 3*o**2 - 10*o. Let y be x(-5). Let z be ((-3)/4)/(y/(-6)). Is z less than or equal to 1?
True
Let y = 0.09 + 0.01. Let a = -7 - -7.9. Let u = a + -0.1. Is u < y?
False
Let k = 26521/113 - -23/452. Are 236 and k unequal?
True
Let p = -22 + 21. Let k = p + 1. Which is smaller: -2/21 or k?
-2/21
Let o = -50 + 55. Is o less than or equal to -1/3?
False
Let u = 876 - 871. Are u and -20.9 unequal?
True
Let s = 23 + -26. Let u(t) = -t**2 - 4*t + 4. Let x be u(s). Let v be 2/4 + 22/4. Are x and v nonequal?
True
Suppose 0 = 4*y - 12, -4*y + 12 - 51 = -r. Let d = r + -51. Is d >= 0?
True
Suppose -s = s - 56. Let c = s + -25. Let z be c - -18*(-12)/64. Is 0 equal to z?
False
Let t = -6 - -4. Let w be t/(-6) - (-66)/(-306). Suppose 25 = 5*m, -2*i + m + 4*m = 23. Which is greater: i or w?
i
Let x be 13 + -10 + 10 - 319. Is x < -308?
False
Suppose 2 = q, p - 35 = -3*q + 9. Let f = -33 + p. Suppose 5*x + 12 = x - 3*b, -f*x - 4*b = 16. Do x and 9/10 have different values?
True
Suppose 0 = -3*d - 2*d + 1850. Let k be (-1)/(-3) - d/42. Let q = 25/3 + k. Is -1 > q?
False
Let s = -40 + 27. Let y = s - -12.1. Is y <= 1?
True
Let m = 6 - 3. Suppose -3*q + 18 = -m*g, -4*q - g = -19 - 20. Let c = 2269 - 2260. Is q bigger than c?
False
Let j = -36 + 41. Let p = 21/2 - 13. Which is greater: p or j?
j
Suppose -5*b + 2*p - 577 - 1111 = 0, 1694 = -5*b - 4*p. Which is greater: -341 or b?
b
Let a = -65 + 67. Suppose a*w = -x + 8, -3*x + 7*x + 20 = 5*w. Which is bigger: x or 2/49?
2/49
Let n = -0.515 + 0.015. Is n not equal to 12?
True
Suppose 6*b - 21 = 9. Let k be -14 - -12 - (-2)/1. Suppose k = -t - 3*t + 40. Which is bigger: t or b?
t
Let r = -8 - 31. Let x = r + 41. Which is greater: x or 5?
5
Let v = 108.12 + -1.12. Let d = -115 + v. Which is smaller: d or -1?
d
Let a = -20 - -20. Let l be a/2 + (-7 - -9). Suppose 0 = -4*q + l*q - 10, -26 = -c + 5*q. Does c = -1/4?
False
Let t(v) = v - 10. Let n be t(0). Let u be (-12036)/1530 + 2/(-15). Which is bigger: n or u?
u
Let x(t) be the first derivative of -t**3/3 + t**2 + 9*t - 4. Let i be x(4). Suppose -2*n - i + 5 = 0. Do 7 and n have different values?
True
Suppose 4*g + 32*q - 29*q = -13, 0 = g + 4*q + 13. Is g greater than or equal to -8/315?
False
Suppose -14137 = 22*q + 493. Are q and -665 unequal?
False
Let w be (-18 + 70)*(5 + -1). Do w and 209 have the same value?
False
Suppose -2*h = 6*s - 2*s + 8, 4*s + 12 = -3*h. Which is smaller: s or 1/168?
s
Let u(v) = -v**3 - 2*v**2 + 10*v + 5. Suppose 0*b = -2*b + 10. Let n be u(b). Let q be (45/n)/(3/22). Which is smaller: -2 or q?
q
Let h = 0.99 + -1.92. Let o = -1.38 - h. Is -1/3 at least as big as o?
True
Let b = -8233/90 + 451/5. Is 0 less than or equal to b?
False
Suppose -2*f + 7 = 5*x, 0 = -5*x + 5*f - 3*f + 3. Is x at most as big as -10/31?
False
Let y = 22 + -108/5. Let v be (1 - -3) + -3 + 44. Let j = -45 + v. Which is smaller: j or y?
j
Let a be 12/21 + 7684/28. Which is greater: a or 276?
276
Let s be -2*(-3)/(-15)*-100. Suppose a - s = 6*a. Let l be (a/(-10))/((-10)/(-25)). Is l != 2?
False
Let o be (1 - (1 + 1)) + 9. Suppose 2*w + 0*w = o. Suppose -i + 5 = w. Which is smaller: i or -1/7?
-1/7
Let n be (2 - 2 - -3)*5/3. Let h = -5 + 10. Suppose 2*d = -v + 4*d - 23, h*v - n*d = -90. Is -14 greater than v?
False
Suppose 0 = 4*j - 4, -4*r - 3 = -7*r + 3*j. Let b = 2204 - 28634/13. Which is smaller: b or r?
b
Let r = -0.18 + 2.24. Let o = 0.06 - r. Which is greater: -30 or o?
o
Let u be (-597)/5 + ((-24)/(-10) - 2). Let j be 6/(-51) - 133/u. Which is smaller: 1/54 or j?
1/54
Let g be (4 - 2)*18/(-60). Let i = 0.53 - 0.13. Let m = -0.1 + i. Is m smaller than g?
False
Let w = 3 + 0. Let g be (-8)/3 - -2 - (-23)/3. Suppose g*r - 5*r = 4. Which is smaller: r or w?
r
Let o = -1 + -9. Let x be -2 - 1 - o/2. Suppose 4*m - l = -47, x*m + 26 - 1 = -l. Is m greater than or equal to -13?
True
Let r(o) = 8*o + 33. Let m be r(-6). Let t be m/(-60) + 50/(-72). Suppose -2*d + 0*d = 5*v + 25, 2*d + 4*v + 20 = 0. Which is smaller: t or d?
t
Suppose -26 = -u + 3*x, 0 = -17*u + 14*u - 2*x + 45. Is 18 less than u?
False
Suppose -18*l + 3937 = 985. Do l and 165 have the same value?
False
Let z(p) = -2*p**2 + p + 1. Let w be z(-2). Let g be -84*((-6)/w + -1). Let k be (-20)/g - 4/14. Is -2/25 equal to k?
False
Let n(g) = g**3 + 2. Let c(y) = 5*y**3 + 18*y**2 - y + 16. Let v(h) = -c(h) + 6*n(h). Let q be v(18). Which is greater: 12 or q?
q
Let z be 2415/830*(-8)/(-60). Let g = 1/83 + z. Which is greater: g or 1?
1
Let o = 78332/