t f = 2.1884 - 2.138. Which is greater: -0.1 or f?
f
Let a = -436.19 + 436. Is a smaller than 0.06?
True
Let r = 121 - 81. Let m = -38 + r. Which is bigger: -7/2 or m?
m
Let k be ((-48)/(-36))/((-3)/10). Which is smaller: -3 or k?
k
Suppose 5*x - 5 + 0 = 0. Let o be 9/(-288)*x*-1. Let p be 0 + 8/(-4) + 1. Are o and p equal?
False
Let u = 16 - 8. Let f(t) = 4*t - 64. Let g be f(16). Suppose -17*x + 159 - 57 = g. Which is smaller: u or x?
x
Let x be 9/(-48)*4*(-582)/6. Is x greater than or equal to 74?
False
Let b(v) be the third derivative of 7*v**4/24 - v**3/3 + 12*v**2. Let q be b(2). Which is smaller: q or 11?
11
Suppose -10 = 3*a - 25. Suppose -d + 4*k + 11 = 0, -4*d + a*k + 58 = 3*k. Let g = 0.9 - 1. Is d > g?
True
Suppose -7*j + 1216 = 327. Which is smaller: 125 or j?
125
Let z be 868/124 - (-90)/(-14). Let m be (32/42)/(-2 - -1). Let a = z - m. Is 2 > a?
True
Let s = 70 - 134. Let g = s - -67. Is g equal to 2?
False
Let n be 3 - 4 - (-446)/738. Let g = 345 + -14147/41. Let b = g + n. Which is bigger: b or 0?
0
Suppose 6 = -2*y + 18. Let t(a) = a**3 - 5*a**2 - 3*a - 8. Let v be t(y). Let f = -16 + v. Which is bigger: f or -7?
f
Suppose -17 = -120*u + 137*u. Which is greater: u or -13/7?
u
Let u be ((-12)/(-90)*6)/((-1576)/60). Does u = 1?
False
Let g(r) = -r**3 - 5*r**2 + 6*r - 6. Let q be g(-6). Suppose 0*x + x + 27 = 2*a, 5*x = -2*a - 111. Let b = x + 22. Which is bigger: q or b?
b
Suppose 1145 = -2*a + 3345. Which is bigger: a or 1099?
a
Let l = 4.1 + -4.1. Let y = -6.2 + 4.3. Let i = y - -2. Which is smaller: l or i?
l
Let v = -82 - -86. Suppose -7*u + 10 = -2*u. Suppose u*a + 2*g - 10 = -2*g, v*g - 13 = a. Do 3/20 and a have the same value?
False
Let w(a) = a**3 - 7*a**2 + 5*a + 4. Let s be 1*(5 - (0 + -1)). Let m be w(s). Let i be ((-2)/30*-2)/((-12)/120). Is i at least m?
True
Suppose 3*b = -5*w - 52, -w + 4*b = -6 - 2. Let s = w - -8. Suppose -2*m + 10 + 1 = -5*x, x + 3*m + 9 = s. Is -5 greater than x?
False
Let q = 953 - 999.3. Let f = 46 + q. Is 4/13 bigger than f?
True
Suppose -2*s = -7*s - 40. Let v be (-30 + 1)*4/s*-2. Is v smaller than -111/4?
True
Let b(c) = -c + 5. Suppose -i + 23 = -5*p, 17 = 4*i - 5*i - 5*p. Let y be b(i). Let s be y/(-3)*9/(-42). Is 1 greater than or equal to s?
True
Let z(r) = r - 4. Let i be z(4). Suppose -5*w = -x + 17, -2 = -2*x - w + 3*w. Is x smaller than i?
True
Let w be 60/50*(-20)/(-3). Suppose w*c = 10*c - 162. Suppose -15 + c = -6*b. Is -11 > b?
False
Let o be ((-55)/(-110))/(73/18). Is o at least 1?
False
Let v = 55 + -55.043. Let o = v + 3.043. Which is smaller: o or 0?
0
Suppose -378*w + 377*w = 66. Which is smaller: w or -131/2?
w
Let d be (-1)/(-13)*(-75 - -77). Is d equal to -16?
False
Let x(v) = v**2. Let f be x(-2). Let g(w) = w**2 + 5*w - 1. Let t(h) = h - 14. Let c be t(8). Let r be g(c). Are r and f non-equal?
True
Suppose -18 = 36*u - 39*u. Suppose -2 = 4*v - u*v. Is v less than 2?
True
Let c = 24.9 + 2.7. Let s = c + -28. Let v be 2/4*1*-2. Is v less than s?
True
Let g = -0.02 - -3.02. Let r = 0.29 + -6.29. Which is bigger: g or r?
g
Suppose -2*v - 6*v = 8*v. Let p = 5.575 - -0.125. Let q = -0.7 + p. Do q and v have the same value?
False
Let w = -9.3 + 50.3. Let v = 3 + -2.9. Which is smaller: w or v?
v
Let h = 6 + -9. Let z = h - -3. Suppose -2 = -4*n + 3*t - z*t, -4*t - 7 = -n. Which is bigger: n or 1/16?
1/16
Let t be 160*(-3)/225*-6. Are t and 12 non-equal?
True
Let v be (-28)/56*2/(-1). Which is smaller: v or -0.02?
-0.02
Let r(b) = -b**2 - 4*b - 4. Let v(g) = -g**2 - 5*g - 5. Let l(f) = 3*r(f) - 4*v(f). Let i be l(-4). Which is smaller: -2/9 or i?
i
Let d = -7 + -5. Let m = 32 + -19. Let j = d + m. Does j = 0?
False
Let p = -0.05 + -0.75. Let u = -257 - -256.5. Let a = u - p. Which is bigger: a or 2/11?
a
Let i be 35748/(-22) - 16/4. Let u = i - -1630. Is u not equal to 1/5?
True
Let p = -8667/18614 + 19/41. Is 0 < p?
False
Let z = 8.9 + -0.9. Let b = -7.67 + z. Let s = b + 13.67. Is -1 not equal to s?
True
Let y = -0.3 - -0.3. Let j = y - 0.2. Suppose -10 = -3*c - 1, -3*c = -3*m - 3. Is m smaller than j?
False
Suppose 3*g - 6*g - p - 4 = 0, -2*p - 2 = 3*g. Let n be (g - (-5 + 2))*0. Which is bigger: 0.012 or n?
0.012
Let o = 162 - 10. Let v = o - 79. Which is greater: v or 75?
75
Let u be -2 + (3 + 9/(-6))*2. Is 10/31 <= u?
True
Let x = 4 - 0. Suppose 7*i + 5*f + x = 5*i, 5*i + 4*f = 24. Let q(p) = p**2 + 43*p + 397. Let g be q(-30). Which is smaller: i or g?
g
Let w = -413/9 + 46. Suppose -4 = 9*z + 23. Which is bigger: w or z?
w
Let q = -2/9 + 13/18. Let z = 279 - 270. Are q and z nonequal?
True
Let w = -867 + 967. Which is smaller: 96 or w?
96
Let w be (-4)/14 - 305195/(-938700). Let x = 3/596 + w. Let p = x - 49/90. Is -2 at least as big as p?
False
Let w = 7 - 67. Let g be (w/(-28) - 3)/2. Is g >= 0.3?
False
Let c = 0.9 - 34.9. Let o = c - -45. Which is greater: -3 or o?
o
Let a(b) = b**2 + 15*b - 36. Let y be a(-10). Let r = -82 - y. Which is smaller: r or 26/7?
26/7
Suppose 5*b - 2*p + p = -42, 4*b + 5*p + 51 = 0. Let i(t) = t**2 + 7*t - 6. Let o be i(b). Let s = o + -10. Is -1 at most s?
True
Let r = 3/58 - 497/638. Is r at most 0?
True
Suppose 0 = 3*x - x + 52. Let l = -52 - -24. Which is greater: l or x?
x
Let x be (210/(-56))/((-108)/(-168)). Is -7 bigger than x?
False
Suppose 0 = 17*w - 20*w - 63. Let z = w - -21. Let y be (z + 1)*(-14)/70. Which is smaller: -1 or y?
-1
Let i be -5 + 3 - -7*1. Let a be 76/(-10) - 2/i. Let n(r) = -14*r + 199. Let c be n(15). Which is smaller: c or a?
c
Let g(y) = -18*y**3 - 4*y**2 - 4*y - 1. Let z be g(-1). Let u(o) = -o - 8. Let a be u(-8). Suppose a*w - 17 = -w. Is w != z?
False
Suppose -5*p - 3*d + 10 = 0, 0*d - 3*d + 19 = -4*p. Let f = p - -1. Let b = 59/77 - 6/7. Which is smaller: b or f?
b
Let m(y) = -y**2 - 15*y. Let p be 9/(-18)*(1 + 39). Let b = p + 5. Let j be m(b). Which is smaller: j or 1/13?
j
Let d = -258 + 257. Which is smaller: d or -4?
-4
Let l be 10134/(-80816) - 239/(-1912). Is 1 at least as big as l?
True
Let p be -3*(-2 + 8/6). Suppose -5*g - p*j = 57, 0 = 3*g - 5*j + 2 + 26. Let c = 11 + g. Is 1/3 < c?
False
Let f be 12/9 + 436/6. Let y = 70 - f. Is y > -30/7?
True
Let j(x) = -x**3 - 9*x**2 + 7*x + 63. Let w be j(-9). Which is smaller: 2/215 or w?
w
Let y = -10 - -14. Suppose -a + 6 = 4*v + a, 2*v + y*a = 0. Suppose -v*w + 1 = 5. Which is smaller: 3 or w?
w
Suppose -3*t - 457 - 77 = 0. Let v be t/(-40) + (-1)/5. Is v >= 4?
True
Let i = 25293/13 - 1944. Is 3 less than i?
False
Let c = -34 + 100. Let i = -55 + c. Is i at most 9?
False
Let z = 73475/3 + -25102. Let h = z - -604. Does -7 = h?
False
Let g be 10 + -6 + 170*(-20)/45. Which is smaller: -71 or g?
g
Let d = -124 - -208. Let l be 6/21 + (-3)/d. Is l < -1?
False
Let c = -37/800 + 1/160. Is c greater than or equal to 1?
False
Let g be 4 - (4 + -10 + (-430)/(-36)). Is -3 greater than g?
False
Suppose -42 = 3*x - 5*x. Suppose 5*t + x - 31 = 0. Let j(k) = -k**3 + k**2 + k + 2. Let d be j(2). Are t and d nonequal?
True
Let t = 0.0625 - -3.8375. Is 1 bigger than t?
False
Let f = -1.51 - -0.11. Let q = 1.441 - -0.059. Let h = f + q. Is h >= 2?
False
Let n(h) = -h + 18. Let v be n(-6). Let u be v/(-12) + (-34)/(-12). Which is greater: u or 1?
1
Let z be 11/((-110)/624) + (-4)/(-10). Is -62 not equal to z?
False
Suppose n = 5*j - 10, 2*n + 2*j + 6 = 5*j. Let y = 1161 + -1162. Which is greater: y or n?
n
Let v = 251 - 249. Let d = -5230/9 - -582. Is d at least v?
False
Let h(p) = 237*p**2 + p - 2. Let m be h(-3). Let b be 0 + (m/(-20))/(-1). Let i = 106 - b. Is i bigger than 0?
False
Suppose -7*u = -2 - 166. Suppose u - 12 = 3*c. Which is greater: 0 or c?
c
Suppose 4*w = 5*v - 15 - 5, 12 = 3*v. Which is smaller: -3/142 or w?
-3/142
Suppose -5*p + 3 = -8*p. Let a = p - -10. Which is greater: 8 or a?
a
Let c(u) = u**2 + 17*u - 173. Let r be c(7). Let h be 76/(-5)*(-1)/(-4). Is h smaller than r?
False
Let n = 157.2 + -171. Let o = n - -14. Is o at most 2?
True
Let g(r) = -r**3 + 8*r**2 - 5*r - 11. Let y be g(7). Suppose 0 = 2*x + k + 43, 5*x - 2*x + 78 = y*k. Which is bigger: -20 or x?
-20
Let s = 2/429 - 82805/1716. Is -48 less than or equal to s?
False
Suppose -3*s = 3*i - 42, 0 = 3*i - 3*s - 0*s - 30. Let h = -12 + i. Which is greater: 0.37 or h?
0.37
Let r