 or x?
s
Let w = -10.71 + -0.29. Let o = 17102 + -17101.6. Which is bigger: w or o?
o
Let q be 848/472 - (4 + -2). Do q and 1 have different values?
True
Suppose 2*m = -0*m - 2. Let a be (2 + 6*m)*-4. Are 16 and a non-equal?
False
Let p = 1/1018 + 30503/37666. Let z be (651/(-259))/(4/(-18)). Let u = z - p. Which is smaller: u or 11?
u
Let u(w) = -w + 17. Suppose -2*k = 5*t - 5, -3*k = -2*k - 3*t - 19. Let q be u(k). Let a = -10 + q. Is -4 <= a?
True
Let q(y) = y**2 - 3*y + 2. Let j be q(3). Let b be (2/2)/(1 - j). Which is greater: 2/47 or b?
2/47
Let z(q) = -q**2 + 6*q + 1. Let o be z(8). Let d be 162/o - (-24)/30. Suppose -3*i + 45 = -8*i. Which is bigger: d or i?
i
Let q(l) = 39*l**2 - 14*l - 51. Let y be q(-3). Which is bigger: y or -2?
y
Let t = 1.77 + -28.07. Let l = 1.3 + t. Is l at least -0.1?
False
Let p(f) = f**3 + 4*f**2 - f - 2. Suppose -3*n = -2*u + 20, 0 = -3*n + 4*u - 3*u - 16. Let d be p(n). Suppose -b = -0 - d. Does b = 9/4?
False
Let g be (156/8)/(-2 + 1461/708). Let k = 308 - g. Let z be 2/3*6/4. Does z = k?
False
Let u = 22 - -6. Let b be 7/u - (-61)/(-276). Which is greater: b or 1?
1
Let g = 58/249 + -9307/166. Is -56 <= g?
True
Let r = -167/8 + 173/8. Which is greater: r or -28?
r
Let r = 30 + -19. Let s(j) = j**2 - 11*j - 15. Let w be s(r). Let m = w - -6. Which is bigger: -10 or m?
m
Suppose -2*k + 0*k + 10 = 0. Suppose -2*x - x = -k*x. Is x greater than or equal to -2/141?
True
Let f = 4619/616 - -29/77. Which is smaller: f or 8?
f
Let g = 5.03 + -1.33. Which is greater: g or 1/5?
g
Suppose -b + 273 - 606 = 0. Which is bigger: b or -332?
-332
Let i(t) = t**3 + 4*t**2 - 2*t - 3. Let w be i(-4). Let v = 0.25 - 0.09. Let o = v - -0.04. Is w >= o?
True
Let v = 1143 + -1165. Let b = 5 - 4. Let s be b/2*(-16)/28. Which is smaller: v or s?
v
Let p = 1908/2795 + -32/43. Do -1/2 and p have different values?
True
Suppose -3*z + 4*x + 1 = 0, -2*z - 2*x = -5*z - 1. Let q be 56/35*z/28. Let j be (-1)/(-3*(-1)/3). Does j = q?
False
Let h = 0.041 + 2.859. Let y = h - 3.19. Which is bigger: y or -1/4?
-1/4
Let q be (-46)/(-8) - (-7)/(-14). Suppose t - 11 = 13. Let k be (-16)/(-6) + t/18. Which is bigger: q or k?
q
Let w be ((-4)/(-24))/((-2)/116). Let t = 3427 - 3437. Is w greater than t?
True
Suppose -x = x - 2*g + 10, -5*g + 17 = 3*x. Let b be (-3 - x)/((-35)/(-14)). Let y = -37/2 + 19. Which is smaller: b or y?
b
Let g = 41906/35 + -9455/7. Let p = g + 154. Which is smaller: p or 2/3?
p
Suppose -z + 9 - 4 = 0. Let k = z - 4. Let p be ((-4)/2)/(16 - 40). Which is smaller: k or p?
p
Let d be 2*(-6 + (-3 - -4)). Let i be (5/d)/((-3)/2). Is i < -0.1?
False
Let g = -3.69 - -1.69. Which is greater: g or -1/48?
-1/48
Let n be (6/1)/(2/3). Suppose 15 = -6*a - n. Is -7 equal to a?
False
Let u(x) = -3*x. Let b(n) = -n. Let w(t) = -5*b(t) + 2*u(t). Let m = -10 + 6. Let j be w(m). Which is bigger: j or 5?
5
Let i be 1/(10/25) - (-1790)/(-140). Is i != -10?
True
Let p = 17 + -32. Let l be ((-4)/10)/((-63)/p). Is -2/11 > l?
False
Let x = -106185 + 11892609/112. Let t = 17/16 + x. Let s = 1 - 0. Is t >= s?
False
Let m(s) = s**3 - 10*s**2 + 8*s + 8. Let i be 6/21 + (-8)/28. Suppose t - 16 = -2*c - t, -4*c + t + 37 = i. Let p be m(c). Which is smaller: p or -2/7?
p
Let g = -0.0487 - -0.0387. Which is smaller: -0.2 or g?
-0.2
Let c be 1 + -6 - (-19 + 15). Which is greater: c or 2/1065?
2/1065
Let w be (-5)/(165/156) - (-8)/4. Which is smaller: w or -3?
-3
Let b(q) = -3 + 20 - 774*q + 777*q - q**2. Let s be b(7). Which is bigger: 1 or s?
1
Let d be (-50)/15*42/5. Let o = d + 19. Let q be 9/(-12)*(-3)/o. Is -0.2 at most as big as q?
False
Suppose -70 = -5*v + 4*u, 2*v = u - 2*u + 15. Which is bigger: -22 or v?
v
Suppose p = -p + 2. Let g = -4 + -19. Let l = g - -26. Is p at least l?
False
Let o be 4 - 4/(-6)*53. Is 39 less than or equal to o?
True
Let p(z) = -z**3 - 5*z**2 + 5*z + 4. Let a be p(-5). Let n(d) = 34*d + 14. Let h be n(-1). Is a != h?
True
Let q = -5 - -5. Suppose q = 2*g - 0*o + 3*o - 8, -2*o - 4 = -g. Which is greater: 0 or g?
g
Let r = 186/121 + -207148/134915. Which is greater: -1 or r?
r
Suppose 0 = 3*g - 5*n - 14, n = -4*g - 0*n + 11. Suppose 2*u - g*u = 3. Which is smaller: -17/4 or u?
-17/4
Let j be 8/10*9080/(-16). Let z = j + 4072/9. Is -2 smaller than z?
True
Let s be 16/(-80) + (-34)/(-70) + (-24 - -24). Let j = -20 + 13. Let x = j - -4. Which is bigger: s or x?
s
Let m = -97/13 + 875/117. Which is greater: 1 or m?
1
Suppose -5*y + y = -5*i + 140, i - 2*y = 34. Which is greater: 21 or i?
i
Let p = -7.1 - 6.9. Are -0.1 and p nonequal?
True
Let p be ((-9)/(-6))/((-6)/8). Let u = -215.8 - -159. Let b = u + 57. Which is greater: p or b?
b
Suppose -4*q = -5*y + 100, -3*q - 28 = -2*y + q. Let h be (-2)/(-4) + (-300)/y. Are -12 and h non-equal?
False
Let n = 9 - -3. Suppose 5*z + n = -13. Let w be 216/(-40) + 3/z. Which is bigger: -5 or w?
-5
Let j = -184 + 62. Which is greater: -123 or j?
j
Let n(y) = -3*y - 7. Let j(f) = -f - 2. Let m(r) = 8*j(r) - 3*n(r). Let i be m(-5). Let z be 13 + (4 - 10) + -2. Is z at most as big as i?
False
Let j be ((-7)/(-4))/((-3)/24). Suppose -6*o - 48 = -3*o. Let b be (24/o)/((-2)/(-20)). Which is smaller: j or b?
b
Suppose 2*u + 140 = 4*r, 0 = 6*r - 3*r - u - 107. Suppose 41*t - 4 = r*t. Let x(d) = d**3 - 3*d**2 - 3*d - 2. Let s be x(4). Which is smaller: t or s?
t
Let u be ((-3)/(-2))/((-30)/16). Let f(x) = 0 + 2*x**3 - x - 6*x**3 + 3*x**3 + 10*x**2 + 9. Let w be f(10). Which is bigger: w or u?
u
Let x = -5/1308 + 49789/22236. Which is smaller: 2/7 or x?
2/7
Let j = -16.017 + 16. Let o = 0.017 + j. Let m be (-4)/6*(1 + 1). Is o <= m?
False
Let s = 13 + -11. Let y = 0.54 - -0.46. Which is smaller: s or y?
y
Suppose -2*z + 119 = -5*m, 0*z = 4*z - 5*m - 213. Which is smaller: 48 or z?
z
Suppose -5*r + 159 = 19. Let k = -20 + r. Suppose -2*c + k = g + g, -4 = -4*g. Which is smaller: 8/5 or c?
8/5
Let g = 17.357 + -13.357. Suppose 4*o - 1 = 11. Which is smaller: g or o?
o
Let b be 3/1*-1 - 72/(-26). Let o be 3*(-1)/(2/(-2)). Let v be (-6 + o)/(-3)*-1. Which is greater: v or b?
b
Let v = 55 + -55. Let r be v*((-2)/(-8)*2 - 1). Which is smaller: r or 2/335?
r
Let f = 517 + -537. Which is smaller: 3 or f?
f
Let l(a) be the first derivative of a**4/2 - a**3/3 - a**2 - a - 6. Let s be (1 + -2)*1 - 0. Let q be l(s). Is q greater than -1?
False
Let b be (-3)/(-12) - 11/12. Let m be (0 + -2)*(5 + 75/2). Let n = m - -79. Is b less than n?
False
Suppose 0 = 3*x + 9, -4*x + 69 = b + 77. Which is greater: b or -11?
b
Let j = -50233/27 - -1861. Which is greater: 2 or j?
2
Suppose 14 = -3*a - 5*u, -4*a + 5*u = -2*a - 24. Suppose 0*q - 78 = -a*q - 4*j, 4*j + 54 = 2*q. Is q at most 32?
False
Let v be (2784/36)/(6/9). Is v at most as big as 116?
True
Let r = -0.031 + 16.031. Let w = -13 + r. Which is bigger: -2/13 or w?
w
Let g(y) = -y**2 + 9*y + 4. Let m be g(9). Let q be (-2)/m*(-25 - -23). Is q at most 24/11?
True
Let v(z) = -z**2 + 11*z - 13. Let w be v(9). Suppose h = -w*r + 55, 2*r + 4 = 5*h - 1. Suppose -r = -d - d. Which is smaller: 3 or d?
3
Let u(k) = 10*k**2 - 1. Let f be u(1). Let j = -2 - f. Is -7 < j?
False
Suppose 2873*a = 2881*a - 32. Let m(f) = 2*f**2 - 2*f**2 + 7*f + 11 - f**2. Let w be m(8). Are w and a equal?
False
Let a be (-3 - (-51)/15)*-50. Let u = 32 + a. Let f be u/30*10/(-14). Which is greater: f or 0.3?
0.3
Let a be ((-27)/63)/((-5)/(-35)). Let k = -24 + 13. Is a greater than or equal to k?
True
Let s = -1.1 + 0.1. Let z = -54718/7 - -7817. Is s > z?
False
Suppose 4*r + 0*r + 4*p = 92, -p - 97 = -5*r. Let j(i) = 27*i + 2772. Let t be j(-102). Which is bigger: t or r?
r
Let m = 42 + 14. Let c = m + -55.9. Which is smaller: c or -9?
-9
Let i = -0.522 - -0.622. Which is greater: -30.9 or i?
i
Let d = 18 + -9. Let q = 5.05 + -0.05. Let s = q - d. Which is bigger: 1 or s?
1
Let x be 20/45*(-18)/(-4) + 0. Let r be x - (-6 - -11) - (-354)/117. Suppose -4*i = -2*o + 6, 3*i = 3*o + o - 7. Which is smaller: r or o?
r
Let m = 411 - 413. Which is smaller: m or -5/3?
m
Let l = 8.8 - -7.6. Let f = 17 - l. Which is smaller: -0.1 or f?
-0.1
Let f = -341 - -270. Which is greater: f or -72?
f
Let b = -716 - -732.91. Let z = 17 - b. Let i = -0.201 + 0.301. Which is greater: z or i?
i
Let c be 82/(-3)*12/(-