 + 314 = -2*d. Which is smaller: 155 or f?
155
Suppose 14*z + 1206 = 5*z. Let f be z/(-366) - (-7)/(-21). Which is greater: f or 0?
f
Let a be (6/9)/(2*(-3)/9). Let z be 33/168*-5 - a. Is z >= -1?
True
Let f(b) = -b - 1. Let q(g) = 6*g + 11. Let v(r) = 5*f(r) + q(r). Let m be v(9). Is m less than 0?
False
Suppose -3*t = 4*x - 133, -3*t + 179 - 66 = -x. Which is smaller: 38 or t?
38
Let m(c) = 5*c**2 - 3. Let i = 10 + -6. Let o be m(i). Let y be 0/(-1) - (-22)/o. Is y > 0?
True
Let a = -11278/27 + 2509/6. Is 0 less than a?
True
Let o(i) = 13*i + 22. Let n be o(-2). Suppose k - 5 = 4*w, 2*w + k + 7 = -0*k. Is w at least n?
True
Suppose 0 = -2*b + 2. Is 6/37 smaller than b?
True
Let f = 1.01 + -1.02. Let c = -0.03 + f. Is c >= 2/5?
False
Let f be -11 + (-2 - (-2)/1). Let s = 0.0411 + -37.1411. Let i = 37 + s. Which is smaller: i or f?
f
Let t = 25.1536 + -0.0536. Let c = 25 - t. Are -2 and c equal?
False
Let u be -11 + 15 - (-20)/(-2). Let w be 12/45 + u/(-15). Which is bigger: w or -0.06?
w
Suppose n + t - 2*t - 7 = 0, 0 = -t - 5. Suppose n*x = 44 - 12. Let w = x - 16. Which is bigger: 3/10 or w?
3/10
Let x(u) = u**3 - 10*u**2 + 8*u + 12. Let d be x(9). Suppose -2*q + d*q + 1 = 0. Which is greater: 1/82 or q?
1/82
Let f be (2/(-3))/(112/18). Suppose v = 3*c + 6, 2*v + 2*c + 14 = 10. Which is smaller: f or v?
f
Let n = 842/5 - 167. Which is bigger: 0 or n?
n
Let t = 76135/8 - 9514. Suppose -5*r + 2*r + h = -10, -2*h = 2. Is t greater than r?
False
Let y(w) = -w**3 - 6*w**2 + 56*w - 2. Let t be y(-11). Which is greater: t or -20?
t
Let u(p) = p**3 - 19*p**2 - 2*p + 42. Let o be u(19). Is o not equal to 33/10?
True
Suppose 0 = -14*f + 12*f + 3*w + 268, w = 3*f - 409. Which is smaller: 139 or f?
f
Let p = 1904 - 3807/2. Which is smaller: p or -1.245?
-1.245
Suppose w - 5*b + 21 = 0, 9*w + 45 = 4*w - 5*b. Let q(a) = a**2 + 12*a + 10. Let c be q(w). Is c >= -2/13?
False
Suppose 96*m - 81*m = -7545. Do m and -504 have the same value?
False
Let p = 577441/1736 + -2661/8. Are p and 0 nonequal?
True
Let u be (-1 + -1)/(4 + 760/(-188)). Let a = -54 + u. Is -6 less than a?
False
Let m = 400 + -16001/40. Is m smaller than 0?
True
Let t = -60 - -103. Suppose -t = 6*k + 101. Is -24 != k?
False
Let r = -231099552147504187/307660350699130 - 6/63962650873. Let a = r - -27654/37. Let l = -39/10 - a. Does l = 0?
False
Let l(t) = -t**3 - 10*t**2 - 10*t - 8. Suppose 4*g - 3*g + 9 = 0. Let b be l(g). Which is smaller: b or 4/15?
4/15
Let c(z) = 2*z**3 - 3*z**2 - 2*z + 4. Let u be c(2). Suppose 0 = -5*k - 5*i + 120, 0 = 4*k - 4*i - 92 - u. Let n = k - 30. Is -5 at least n?
True
Let k = 15.72 - 15.42. Which is smaller: k or 3.89?
k
Let o = 6 + -2. Suppose o*a = -8*s + 4*s + 24, 9 = 4*a + s. Let f be ((-15)/(-20))/((-43)/(-2) + 1). Do f and a have the same value?
False
Suppose -2*k - m = -2, -4*k + 1 = -3*k + m. Does 1/352 = k?
False
Suppose -1 + 5 = b. Let t(a) = 5*a - a**3 - b - 5*a**2 - 5*a. Let s be t(-5). Which is smaller: -5 or s?
-5
Let x be (4/(-1632))/((-10)/(-20)). Is x greater than -2/3?
True
Let d = -27.75 + 28. Let y = -1.55 + d. Let u = y + 3.3. Is u at least 1/2?
True
Let v be (-1)/1 + 86/91. Let m be ((-2230)/260)/((2*35)/2). Let z = v + m. Which is smaller: 0 or z?
z
Let l be 622696/(-1440) + 2/5. Let s = 432 + l. Let m = 39 + -39. Which is smaller: m or s?
s
Suppose -1 = 2*n - 15. Suppose 0 = n*j + 9 - 37. Suppose 3*t = -j*w + 6, -2*t + 2*w + 4 = 14. Is -3 != t?
True
Suppose -24*p + 20*p = 48. Suppose 4*c + 4*u + 46 = c, -5*u - 70 = 5*c. Do c and p have the same value?
False
Let w(c) = c**3 - 4*c**2 + 2*c + 5. Let t be w(4). Let n be (-369)/(-91)*t/(-65). Let z = -1/91 - n. Which is smaller: z or 0?
0
Let d = -0.2 - 0. Let c = 0.2 + -7. Let i = c + d. Which is smaller: -0.2 or i?
i
Suppose 2*k = 1 - 3. Suppose 5*t - b + 5 - 15 = 0, -15 = -5*t + 2*b. Let n be 1/(-24 + t/(-1)). Is k greater than n?
False
Suppose 0 = -104*r + 101*r - w + 201, -3*r - 3*w = -195. Is 68 not equal to r?
False
Suppose 0 = -3*i + 2*v - 50, -3*i - 58 + 15 = 5*v. Let c = -15 - i. Is c smaller than 1?
False
Let c = 0.28 - 0.18. Let q = -130 - -644/5. Which is smaller: c or q?
q
Let t = 1/487 + 955/9253. Let d = -7 + 7. Suppose 2*s = -d*s + 2. Which is greater: s or t?
s
Let i(m) = -m**3 + 8*m**2 - 15*m + 18. Let k be i(6). Let p be (-20)/(-12) - k - -3. Is 6 equal to p?
False
Let s = 136 + -139. Let k be 39/(-15) + (-2)/5. Is k < s?
False
Let o = 10.65 - 10.75. Let t be 2/(-9) - 8/12. Is t greater than or equal to o?
False
Let b = 2.3 - 0.3. Let q = b - 3. Suppose 4*r + 12 = -4*g, -g + 3*r - 9 = 6*r. Which is smaller: g or q?
q
Let z = -2810 - -2811. Which is smaller: z or -0.625?
-0.625
Let c(d) = 2*d**2 - 50*d + 102. Let x be c(26). Is x greater than or equal to 154?
True
Let x = -51.057 + 51. Let b = x - -0.121. Is b <= 1/4?
True
Let w be (-5502)/(-63) - 2/(-3). Which is bigger: 87 or w?
w
Let f = 175 + -337/2. Let u(i) = i - 1. Let q(a) = a**2 + 14*a - 20. Let w(n) = q(n) - 6*u(n). Let s be w(-10). Is f < s?
False
Suppose d - 16 = -3*a - 4*d, 5*a - 4*d = 39. Let f = -27 - -31. Let q = f - a. Which is smaller: q or 2/11?
q
Let u be ((-141)/(-27) - 5) + 4/(-18). Suppose u*k + 10*k + 30 = 0. Suppose -o = -0 + 2. Is k <= o?
True
Let j = -10 + 6. Let h be 1 + 6/j - (-85)/(-10). Which is smaller: -2 or h?
h
Suppose -4*r + 5*w + 1 = 0, 4*r + 0*w + 1 = 3*w. Let h = -47 - -43. Let y be 47/(-4) - h - 6/(-8). Which is smaller: y or r?
y
Let x = 268.5 - 251. Are x and -1 unequal?
True
Let y be (22/8)/(6 + (-51)/9). Do 8 and y have the same value?
False
Suppose 5*r - 18 = 2*u, -7*u = -2*u - 4*r + 11. Let t be 26*3/(-18)*-3. Let b be ((-1)/t)/1 - 0. Is u at least as big as b?
True
Let a be ((-6)/21)/(26/728). Is a at least as big as 4?
False
Let b = 2 - 4. Suppose 6*g = -44 - 4. Let a be g/132 + 4/(-6). Which is smaller: b or a?
b
Let h = -120 + 250. Let m = 129 - h. Are 2/231 and m unequal?
True
Let y be 2/(-33) - (2 - 2). Let g(d) = -d**3 + 2*d**2 + 3*d - 5. Let w be 10/(-5)*-1*(2 + -1). Let h be g(w). Is y < h?
True
Let b = -422 + 417. Let k = -0.2 + 0. Is k less than or equal to b?
False
Let p = 1125 + -1130.88. Which is greater: p or 0?
0
Let f = 2141/1515 - 4/303. Suppose 0 = 2*v - 2*y + 6, 0 = -4*v + y. Which is smaller: v or f?
v
Let i = 179/55 + -27/11. Let q = -483.3 - -482.5. Which is greater: i or q?
i
Let g = -1289/4 - -322. Are g and 248 equal?
False
Let v(o) = o + 8. Let i be v(-6). Suppose 0 = -i*r - b - 11, -6 = 2*r - 5*b + b. Let u be 0*(-3 + r/(-2)). Which is bigger: u or 7/5?
7/5
Let m = 12.83 - 1.73. Let y = 9 - m. Let f = 5.1 + y. Is -1 > f?
False
Let o = -8.68 + 8.04. Which is smaller: o or 0.1?
o
Let s = 4 - 0. Let y be (-9)/(-3) + -3 + 1. Let a be (5/(-4))/(y/(-4)). Which is smaller: a or s?
s
Let g be 4/(-14)*525/(-92325). Which is smaller: g or -1?
-1
Let m = 0.196 - -0.044. Let x = m + 6.76. Let g = -0.2 + 1.2. Which is smaller: x or g?
g
Let m(x) = 2*x**3 + 11*x**2 - 19. Let c be m(-5). Which is smaller: c or 8?
c
Suppose 40 = 17*g - 13*g. Let c be (-32)/200 - (-2)/g. Which is greater: c or 0.1?
0.1
Let d = 37 + -33. Suppose 0 = -4*b + d. Which is greater: -3/85 or b?
b
Suppose -5*b - g + 3 = 6, 3 = b + 2*g. Let k be (b + -2)*(-4 - -5). Is k equal to -2?
False
Let i(t) = t**3 + 6*t**2 + 3*t - 6. Let p be i(-5). Suppose -b - 95 = p*f, 20 = -3*f + 5. Let k = b - -223/3. Which is bigger: k or 1?
1
Suppose -5*u = 4*b - 1899, -b - u + 506 = -6*u. Which is smaller: b or 482?
b
Suppose w - 4 = 5*w. Let j be 1/(95/(-6))*(5 - -5). Let m = j - -279/532. Which is greater: m or w?
m
Let s = 31 - 29. Let p be 1024/(-252) - s/(-7). Is p at most as big as -3?
True
Let j = -38 - -74. Let f = 38 - j. Which is smaller: -0.9 or f?
-0.9
Let i be (-15)/(-4) - 6/(-24). Suppose 0 = -4*b - 24 + i. Suppose 4*c = -5*z - 38, 2*z + 18 = -2*c - c. Are z and b equal?
False
Let l = 1.8 - 1.8. Let f(x) be the second derivative of x**4/12 - 7*x**3/6 - 3*x**2 + 4*x. Let m be f(6). Which is smaller: m or l?
m
Suppose -5*l = -0*l, -5*x - 55 = -5*l. Is x less than -58/5?
False
Suppose 0 = -6*y + 3*y + 57. Suppose -21*d + y*d - 22 = 0. Suppose 8*j = 3*j + 3*s - 52, 3*s + 58 = -5*j. Are j and d equal?
True
Let g(x) = x - 7. Let b be g(9). Let f be 2/(2 + 9/(-5)). Suppose -2*h = -t + 3 - 5, -4*h +