oes d = u?
True
Let m(r) = r**3 + 9*r**2 - 12*r + 3. Let d be m(-10). Suppose -5*n = -2*n - l - 68, 2*l + 70 = 3*n. Which is smaller: d or n?
n
Suppose -42 = 5*s + 2*x, 5*s = -3*x - 25 - 13. Let h(z) = 2*z**2 + 21*z + 11. Let d be h(s). Is 4/15 equal to d?
False
Let s = -9 - -15. Let m be 2*11*(-3)/s. Let y = 219 + -219.1. Is y > m?
True
Let b be (0 - (-5)/(-15)) + 2/42. Which is greater: b or -2/3?
b
Suppose -z - 4*c - 5 = 0, 0 = c - 2*c - 2. Suppose 5*s - 39 = -0*s - j, -s - 5 = -z*j. Let u be 1*s + (-18 - -20). Is 5 <= u?
True
Let d be -10 + -547 + (-6)/(-6). Is d smaller than -556?
False
Let t = -0.24 - -0.06. Let n = t + 1.08. Let s = -7 - -33/5. Which is bigger: s or n?
n
Suppose -i + 9 + 54 = -5*c, -i + 3*c + 61 = 0. Which is greater: i or 59?
59
Suppose 6 - 3 = 3*b, i + 4*b = 16. Suppose 8*l = i*l. Which is smaller: 1/4 or l?
l
Suppose -5 = -5*q + c, -2*c + 6*c - 20 = 0. Suppose 3*g - 2*p = -5, -2*g + q*p - 4 = -0*p. Is g smaller than -2/13?
True
Let j(o) = -6*o**3 - 5*o**2 - 2*o - 1. Let s be j(-1). Let c = 9 + -30. Let q be s/(-1) - 36/c. Is q < -1/2?
False
Suppose -105 = -8*t - 33. Let a = 8 + 4. Which is bigger: t or a?
a
Let h = 21 - -9. Let b = -29.8 + h. Which is smaller: -0.4 or b?
-0.4
Let q = -1.9 - -2. Let u = 1 - -0.05. Let m = u - 0.05. Which is bigger: q or m?
m
Suppose 3*z = -2*z + 20. Let t = 6 - z. Let v be 1/6 + 4/3. Which is smaller: v or t?
v
Let w = 165 - 180. Which is smaller: w or 0?
w
Let y(f) = -f**3 + 5*f**2 + f + 3. Suppose j + 4*j = 25. Let c be y(j). Let p(n) = 2*n - 13. Let r be p(10). Which is smaller: c or r?
r
Suppose -4*a - 20 + 3 = -x, -11 = -3*a - 4*x. Let m be (a - -8)*-1 - -4. Is -1 greater than m?
False
Let p = 3.17 + -1.17. Let b = -0.9 - -0.5. Let s = -0.3 - b. Is p at most s?
False
Let a be (18/(-15))/(8/(-60)). Suppose l + 2*l - 6 = 0. Let d = l - -8. Which is smaller: a or d?
a
Suppose 3*f - 4 = 5*d - 3, 2*d = 2*f - 2. Let r(v) = 2*v**2 - 6*v + 7. Let x be r(4). Suppose 0*h + x = 5*h. Which is greater: h or f?
h
Let j = -1.9896 + -0.0104. Let s = -78 - -391/5. Which is smaller: j or s?
j
Let f = 22 - 18. Suppose 0 = 3*o - f*o. Which is smaller: o or -2/3?
-2/3
Let r = -12.83 + 6.86. Let w = r + -0.03. Let v = -7 - w. Which is bigger: -3/14 or v?
-3/14
Let o be 1018/(-360) - (-30)/(-40). Let a = 25/9 + o. Let w = -1.1 + 0.1. Which is smaller: a or w?
w
Let i = 2/8565 - -1772933/94215. Which is smaller: i or 19?
i
Suppose -4*n - 28 = -116. Let v(y) = -17*y + 5. Let a be v(-1). Is n at most as big as a?
True
Let m(j) = -3*j - 16. Let z be m(-7). Suppose 3*f - 2*o - 8 = -0, -12 = -z*f + 4*o. Suppose f*x = x - 9. Which is bigger: -2 or x?
-2
Let q = -19/49 + 1105/2597. Is 1 <= q?
False
Let l(d) = d**3 - 5*d**2 + 2*d - 2. Let t be l(2). Let c = 6 + t. Let h be c/(-6) - 24/9. Does h = -4?
False
Let p = 7 + -6. Let i be (-2)/(-18)*(-1)/p. Suppose 4*w - 4 + 0 = 0. Which is smaller: i or w?
i
Let q be 4670*(2/(-6))/((-14)/6). Let r = q + -666. Is r smaller than -0.3?
False
Let p(z) = -z - 9. Let b be p(-7). Let k = -3095/14 + 221. Which is bigger: b or k?
k
Let z = -355 - -355. Do z and 57 have the same value?
False
Let b = -556.063 - -556. Let k = 2.4 + -2.3. Which is greater: b or k?
k
Let b = -3378/7 + 483. Suppose -5*w = -6 + 1. Are w and b nonequal?
True
Let s = -57.3 + 1.3. Let x = s - -70. Does -0.3 = x?
False
Let v(q) = -q**3 + 6*q**2 - 2*q - 6. Let i be v(5). Let g = i - 2. Let j be (4/(-22))/(g/(-14)). Which is smaller: -1 or j?
-1
Let q(b) = 4*b - 39. Let c be q(10). Let k(w) = w + 2. Let u be k(c). Which is smaller: u or 0?
0
Let o = -52.12 + 52. Which is greater: o or -4?
o
Let k be 1/(24/(-36)*(-10)/4). Let m = -21 + 18. Is k >= m?
True
Suppose -2547 + 3355 = 4*u. Which is smaller: u or 200?
200
Suppose s - 6*s = -4*j - 27, 2*j = -4*s + 6. Suppose -9 = -s*a - 30. Let p(u) = -4*u**3 + u**2 - 1. Let z be p(1). Which is bigger: z or a?
z
Let q = 93.64 + 2.36. Let k = q - 85.3. Let n = 11 - k. Which is bigger: -1 or n?
n
Let u = -30 + 32.7. Let o = -10.5 - -7.5. Is u less than or equal to o?
False
Let n = 148 - 143. Is n less than or equal to -9?
False
Suppose -92*f + 2124 = -101*f. Which is bigger: -234 or f?
-234
Let w(s) = 2*s - 1. Let p be w(2). Let k(t) = -3*t + t**2 + 2 + 1 - p*t**2 - 4*t. Let h be k(-4). Which is smaller: 0.3 or h?
h
Suppose -2*f - 4*j + 32 = 0, -2*j = 3*f - f - 24. Let s be 1/3 + (-1335)/(-180). Which is bigger: f or s?
f
Let x = 196 + -2550/13. Let p = -28 + 109. Let s = 81 - p. Is s equal to x?
False
Suppose -121*w = -92*w - 23867. Do w and 823 have different values?
False
Let v(f) = 3*f**2 - 14*f + 10. Suppose 4*j = 8 + 8. Let g be v(j). Is 4 bigger than g?
True
Let f = -13 + 37. Let y = 20 - f. Let d(z) = z**3 + 3*z**2 - 2*z + 6. Let t be d(y). Which is smaller: 0.2 or t?
t
Let l = 25 + 33. Let w = l - 57.1. Is w >= 2?
False
Suppose -40 = -11*j - 1448. Which is bigger: j or -125?
-125
Let o = 0 + 1. Let b = 83/8 + -683/72. Is b greater than or equal to o?
False
Let t = -3.8 - -5.8. Let s = 247/6 + -41. Which is smaller: s or t?
s
Let c = 8.5 - -96.5. Let h = 107.15 - c. Let s = -0.15 + h. Is s > -0.2?
True
Let f(r) = r - 11. Let j(z) = -z + 3. Let g be j(3). Suppose g = 3*x - 28 + 1. Let y be f(x). Is -2 > y?
False
Let p = 1035 + -3104/3. Which is greater: 318 or p?
318
Let n(d) = -d**3 - 6*d - 8. Let z be n(-4). Let s be (2 - (-26)/(-4))/(30/z). Which is bigger: s or -65/6?
-65/6
Let w = 524 - 524.1. Which is bigger: 1/33 or w?
1/33
Suppose 10*z + 3875 = 15*z. Let h be 1 + 6/(-8) + z/(-3000). Which is smaller: -1 or h?
-1
Let f be 0 - ((-476)/16 + 3). Let h = -18 - f. Let j = h - -45. Which is smaller: j or 2?
j
Let t = 11 - 35. Let j = t + 19. Which is bigger: j or -3?
-3
Let k = -1.6 + -0.4. Let q = 20 + -19.85. Let x = 3.85 + q. Which is greater: x or k?
x
Let z = -0.023 - -0.023. Let y = 0 + 3. Which is bigger: y or z?
y
Let q = -369 - -368.858. Which is greater: -1 or q?
q
Let m = 475/549 - -15/61. Let j(t) = -t**3 + 18*t**2 - 16*t - 16. Let h be j(17). Are h and m nonequal?
True
Suppose -3 = 2*y - 0*y + g, -4*y = 7*g - 19. Which is greater: -11 or y?
y
Let u = 822 + -1545/2. Suppose -2*v = -3*v + 49. Which is smaller: u or v?
v
Let s(x) = -x - 24. Let c be s(-10). Let g be 28/8*(-16)/c. Which is smaller: g or 5?
g
Let z(p) = p**3 + p**2 + 3*p - 18. Let i be z(0). Which is smaller: i or -189/10?
-189/10
Let i be (-924)/(-4134) - 4/(-26). Is 0 equal to i?
False
Suppose -5*c + 1 = 2*u, 3*c - 2*c - 11 = -4*u. Which is smaller: -1/110 or c?
c
Suppose -21 = a + n - 5*n, 3*a + 11 = -n. Let o(x) = 2*x**2 + 15*x - 6. Let u be o(4). Let d = u + -94. Which is greater: a or d?
a
Let u(w) = -9*w**2 + 2*w - 1. Let n be u(2). Let r be (-6)/n - 124/(-44). Suppose r*d = 2 + 10. Do 1 and d have the same value?
False
Suppose 299 = 4*m - 3*m. Suppose -1751 = -4*c - m. Let v be (-11)/(c/126) - -4. Which is smaller: 0 or v?
0
Suppose 33*y = 27*y - 10698. Is y <= -1784?
False
Let n(t) = t**2 - 13*t + 16. Let p be (-1)/3 - (-176)/6. Let c = -18 + p. Let f be n(c). Is -6 at most as big as f?
True
Let h be (-3 + 9)*(375/(-10) - 4). Is h < -248?
True
Let p(d) = -d**3 + 19*d**2 + 20*d + 21. Let n be p(20). Let f be n/(-19) - 1*(1 + -2). Let a be 0/(1/(2/(-4))). Which is bigger: a or f?
a
Let m = -56 - -57. Suppose 3*t + 0 - 6 = 0. Are m and t equal?
False
Let p = -30.35 - -30. Let c = 0.32 + p. Which is smaller: -3 or c?
-3
Let d(y) = -y**3 - 14*y**2 + 35*y + 16. Let k be d(-16). Is -32 equal to k?
True
Suppose 5*l - 20 = 10*l, -4*b + l = 584. Which is greater: b or -146?
-146
Let j(v) = -3*v + 12*v - v**3 + 2*v + 18 + 12*v**2. Let b be j(13). Is -7 not equal to b?
True
Suppose -d - 78 + 69 = 0. Let g(w) = w**2 - 6*w - 8. Let j be g(6). Which is bigger: j or d?
j
Suppose 7*x - 390 = 2*x. Let c = -103 + x. Which is greater: -23 or c?
-23
Let n = 3 + -22. Let a be (-176798)/222 - n/57. Let c = a - -796. Which is smaller: 0 or c?
c
Let d = -0.002 + 0.087. Let q = 0.025 - d. Is 0 at least q?
True
Let u be (-1)/12*(1 + 0). Suppose 8*k = 7*k - 10*k. Are k and u nonequal?
True
Let a = 287 - 274. Is a greater than 19?
False
Let l be (-6)/63*-3 + 8964/(-63). Are -142 and l non-equal?
False
Suppose 34 = 3*p - 5*s, 4*s + 9 = -2*p + s. Suppose -3*b = p*r - 0*r, 8 = r - b. Which is greater: 5