-89 - -82. Which is bigger: m or -31/4?
m
Let q be 1 + 2/(4/(-2)). Suppose r + 2*r + 6 = 0. Let v be 3 + 14/6 + r/(-3). Is q <= v?
True
Suppose 2*y + 25 = -13. Suppose -4*c + 84 = -8*c. Which is smaller: c or y?
c
Let a = 600.9 - 601. Which is smaller: a or 0.06?
a
Let v = 121 + -137.9. Let q = -0.9 - v. Let h = q - 20. Is h at least as big as 0?
False
Let i(x) = -x**3 + 11*x**2 - 14*x + 11. Let t(k) = -8*k + 2. Let r be t(-1). Let l be i(r). Let m be l/15 - (1 + -3). Which is greater: m or 0?
m
Let y(s) = -s + 119. Let f be y(21). Is 98 >= f?
True
Suppose 31 - 17 = w - 3*d, 5*d - 50 = -5*w. Which is bigger: 5 or w?
w
Let i = -67.2 - -67.1. Which is bigger: 8.2 or i?
8.2
Let f = 2.4848 - -0.0152. Let j be (20/(-6))/2 - -1. Are f and j equal?
False
Let r(s) = 17*s + 16. Let o be r(-1). Which is greater: 2/129 or o?
2/129
Let x = 20 + 15. Let l = -12 + x. Suppose -23 = y + 5*h, 0*y + l = 4*y - 3*h. Which is bigger: 2/3 or y?
y
Let l = 85 - 85. Let r(n) = -n**2 - 2*n - 64. Let q be r(l). Are q and -65 non-equal?
True
Let v(w) = -w**2 + 6*w - 6. Let d be v(4). Suppose -5*n + d*x = 6*x + 30, 3*n = -4*x - 26. Let q be n/((-2 - -1)*-1). Do q and -1 have the same value?
False
Suppose -3*q + 2 = -4*l + 7, -l - 7 = 2*q. Which is greater: 12/161 or l?
12/161
Let b(r) = -5*r**2 + 5*r**2 - 7 - 3*r - 4*r**2 + 5*r**2. Let j be b(7). Suppose s - 7*o = -3*o + j, 0 = 5*s + 2*o - 17. Are s and 4 unequal?
True
Let d = -0.9773 - 0.0227. Which is bigger: 1/855 or d?
1/855
Let v = -196/5 - -39. Suppose -5*p = 5*u - 410, -322 = -4*u - 3*p + 5*p. Let q = 81 - u. Which is smaller: q or v?
v
Suppose -5*f - 11 = 2*g - 33, 3*f - 2*g - 10 = 0. Let o = 8 + -4. Suppose -o*y = -0*y - 20. Is y less than f?
False
Suppose 22 - 12 = -5*d. Let s be (-2)/(-3 - d) + -4 + 7. Are 23/6 and s nonequal?
True
Suppose 3*i + 79 + 59 = 0. Which is bigger: i or -0.1?
-0.1
Suppose -4*t + 0*t - 12 = 4*d, 2*d + t + 1 = 0. Let l(j) = 8*j + 46. Let r be l(-6). Which is greater: d or r?
d
Suppose -169*i = -175*i - 2832. Which is bigger: -473 or i?
i
Suppose -24*i - 7*i - 1829 = 0. Is i greater than -59?
False
Let f be 4718/(-8) + 270/40 + -7. Does -591 = f?
False
Let s = 251 - 219. Which is smaller: 3 or s?
3
Let m be 4 + -1 + (-47562)/3996. Let y = m - -80/9. Which is greater: y or 0.1?
0.1
Let x(r) = -r**3 + 2*r**2 + 2. Let m be x(3). Let n be (3/9)/(10/60). Suppose -2*j + 4 = -6, n*z + 3*j - 3 = 0. Is z < m?
False
Let b(q) = -3*q + 20. Let a be b(6). Let c = 0.7 - 1. Let v = c - -0.4. Which is smaller: v or a?
v
Let x(k) = 4*k + 2. Let h be x(3). Let u = 13 - h. Which is greater: -11/6 or u?
u
Let x(v) = 5*v**2 - 202*v + 16. Let k be x(41). Is k less than 9?
False
Suppose 3*g + 233 = 5*i - 102, g = -5*i + 355. Suppose 0 = -2*l - 2*r - 34, -4*l - 2*r = 3*r + i. Let o = -15 - l. Which is smaller: 1/6 or o?
o
Let m = -192 - -174.3. Do -1 and m have different values?
True
Let n = 107 + -107. Suppose 5 + n = -5*k + 2*j, -4*k + 4*j - 4 = 0. Is 5/12 at least as big as k?
True
Suppose 5*q - 107 = 48. Suppose 5*l - k = q, l - 2*k = -4*l + 27. Suppose 2*t - l*t + 160 = 0. Is 32 at most t?
True
Suppose -3*w = 3*d + 75, 0 = d - 0*d - 5*w + 13. Let f = d + 23. Let s be (2*-1)/(0 - 2). Which is greater: f or s?
s
Let o = 22.8 + -22.78. Let f = 0 + 1. Which is smaller: f or o?
o
Let n(g) = -73*g - 12. Let w be n(-3). Suppose 6*q = 9*q + w. Is q at most as big as -70?
False
Suppose -135 = -6*k - 27. Let u = -18 + k. Let x = 1546/9 + -172. Is u < x?
False
Suppose 0 = -311*l + 305*l - 258. Which is smaller: l or -39?
l
Let g = 1.306 - 1.006. Let p = 16.9 + -18. Let y = -0.1 - p. Is g >= y?
False
Suppose 17*g + 205 = 1157. Let j(f) = f**2 - 4*f - 4. Let c be j(10). Is c not equal to g?
False
Let f = 1057.02 + -1057. Let k = 49/3 + -16. Which is bigger: k or f?
k
Suppose 7*v - 3*v = 3*f + 26, 3*v = 2*f + 19. Suppose -3*t - 3 = -2*w, 17 = v*t - 3*t + 5*w. Which is smaller: -1/7 or t?
-1/7
Let s be (-3)/(-30) - ((-33)/(-6) - 5). Is 20/9 < s?
False
Let q = 91 + -44. Let c = 49 - q. Which is greater: 12 or c?
12
Let x be (7 - 196/21)*(0 + -3). Let d = 1 - -3. Is x <= d?
False
Let b = 1.14 - 1.04. Let a be (-94)/(-110) - (-4)/(-10). Which is greater: a or b?
a
Let c = -76 + 77. Which is smaller: -2 or c?
-2
Suppose 6 = 2*i + i. Let v be (-4)/i + 72/38. Let d(k) = -2*k**3 - 12*k**2 + 16*k + 14. Let q be d(-7). Which is greater: v or q?
q
Suppose -14 = 5*b + 11, 2*f - 61 = b. Let j be (f/10 + -2)*-15. Let g = 74 - 85. Which is smaller: j or g?
j
Let p = 477 + -5261/11. Does 1 = p?
False
Suppose 25 = -x - 2*m, 0 = -3*x + 3*m - 11 - 28. Suppose 3*f + 4 = 1. Let u be 16/f - 24/12. Which is smaller: u or x?
u
Let z = -44 - -44.2. Are -6.1 and z nonequal?
True
Let p = -7.71 + 7.6. Let x = p + 0.12. Which is greater: 2/7 or x?
2/7
Let v be 2/(-131)*4/(-24). Which is bigger: v or 1?
1
Let r = -19.9552 - 0.0848. Let v = r + 0.04. Is 0.1 smaller than v?
False
Suppose 5*g - 31 = 3*f, -f + 1 = 3. Let u be (g/15)/((-1)/(-9)). Suppose 0 = 2*c - 5*m - 23, 2*c + 2*m = 3*m + u. Which is bigger: 0 or c?
0
Let i(m) = -2*m - 19. Let v be i(-6). Let u = 19 + -26. Is u greater than v?
False
Suppose 0*g - g = -2. Suppose g*a - 47 = -47. Which is bigger: 4/11 or a?
4/11
Let y(m) = -m**3 - 5*m**2 - 2*m - 6. Let b be y(-5). Let q be b/(-6) - (-98)/21. Let j(d) = -5*d**3 - d**2 + 4*d + 4. Let s be j(-1). Is q less than s?
False
Let m be (16/(-12))/((-4)/60). Is 17 > m?
False
Let g be (-1 + -27)*-3*(-2)/(-24). Suppose g*t = -t - 48. Which is greater: t or -16?
t
Let j = -132/13 - -10. Let n be -3 - -6 - (10 + 1). Let i be (-1)/(-3)*(n - -8). Which is bigger: i or j?
i
Suppose -5*g = 20, 3*l + 6 = -5*g - 11. Is l smaller than 0.04?
False
Let a = 42 + -38. Suppose -5*v = -a*v. Is v <= 1/37?
True
Let o = -0.05 - 0. Suppose -6*m = -m + 270. Let t be 2/5*90/m. Which is smaller: t or o?
t
Let n be (4/(-6))/((-8)/12) - 1. Let f be 7 + -10 + (n - -3). Which is bigger: f or 1/30?
1/30
Let b be (9672/(-91))/(-3) + (-6)/14. Which is smaller: 45 or b?
b
Suppose 13*u - 10*u - 5*f = 295, 4*u - 3*f - 408 = 0. Are 104 and u non-equal?
True
Let l(f) = -f**3 - 4*f**2 - 5*f - 4. Let c be l(-2). Let o be 15*(-1 - -2 - c). Which is greater: 44 or o?
o
Suppose -2*p + 4*p = 10. Let x be (-568)/28 + (-4)/(-14). Let f = 25 + x. Is p at most f?
True
Let n be (-66201)/87 + -2 + 3. Let s = 760 + n. Is s smaller than -1?
False
Let j be (-16)/(-24)*(11055/10)/11. Which is smaller: 68 or j?
j
Let r = -210 + 1889/9. Which is greater: r or -36?
r
Suppose 3*h - 4 = 7*h, 5*w - 4*h + 5396 = 0. Let r be 4 - (w/52)/(-5). Which is smaller: r or 1?
r
Let k(h) be the first derivative of -h**3/3 + 9*h**2 + 61*h - 74. Let q be k(21). Suppose 3*g - 5*x + x + 29 = 0, 3*x - 15 = 0. Which is smaller: q or g?
g
Let i = -12 - -15. Suppose -17 = -v + 3*w, 0 = 4*v + i*w - w - 54. Let a be (-10)/35 - (-60)/v. Is 14/5 greater than a?
False
Suppose 3*f + 4 = 5*f + 2*n, f = -5*n + 10. Suppose 0 = 4*c + 4*a - 32 - 72, -4*a - 8 = 0. Let r be 3/((-120)/c)*-2. Is f less than or equal to r?
True
Let i be (-8)/(-42)*7/2. Is 46/9 <= i?
False
Let j = -2/867 + -4331/1734. Which is smaller: -4 or j?
-4
Suppose -5*d + 224 = 3*d. Suppose 22*w = 26*w - d. Is w != 7?
False
Let b = -1413 - -1412. Which is smaller: -2/1645 or b?
b
Let m = 556/3 + -184. Is -1/2 greater than or equal to m?
False
Let z(h) = 5*h - 42. Let v be z(9). Suppose 4 = -v*w - k + 3*k, -5*w + 4*k = 4. Which is smaller: w or 5?
w
Let d = -0.42 + 7.62. Let z = d + -7. Which is smaller: -0.09 or z?
-0.09
Let t be (-414)/(-23) - (1 + -1). Suppose -13*c = -t*c + 10. Is c > 8/3?
False
Suppose -v - 2*p + 2 = 0, -12 = -v - 0*v + 3*p. Let j be (16 - v)/(2 + -4 + 1). Which is smaller: j or -1?
j
Let o(h) = -4*h**2 + 3*h + 1. Let g be o(-2). Let j be (-82)/(-7) + (-6)/g. Is j less than 0?
False
Let t be (1 + 13)*4/(-8). Let p = -4 - t. Let r be (p - (-26)/(-8)) + 1. Are r and 0 equal?
False
Let g be (15/22)/(24/224). Let a = g + -195/22. Let u = 99 + -101. Which is smaller: a or u?
a
Let p be (-1 - -3)/2 - -2. Let l(m) = m + 8. Let f be l(-9). Let k be 1*f/3*-9. Is k smaller than p?
False
Suppose -9*f + 73 + 260 = 0. Which is smaller: f or 179/5?
179/5
Suppose 0 = -8*v - 3*v - 462. Let r = 42 + v. Which is smaller: 1/42 or r?
r
Suppose q + z = 4*q - 17,