: -11 or d?
-11
Let l = -70 + 98. Let w = l - 22. Is 2 < w?
True
Let u(r) = 4*r**3 - r**2 + 1. Let a(b) = -b**3 - 2*b**2 + 1. Let y be a(-2). Let j be u(y). Suppose -j = -3*g + 2. Is g < 2?
False
Let t be -2 + 2 + 8/(-28). Let r = -3/14 + t. Is r bigger than -8?
True
Suppose -156 = 3*x - 57. Is x at most -34?
False
Let s(j) = j. Let f be s(-1). Which is smaller: -1/22 or f?
f
Suppose 3*w + 3*u - 32 = -14, -3*w = 5*u - 24. Suppose 0*t = -3*t + 6. Do w and t have different values?
True
Let l = 35 - 37. Is -1.1 less than l?
False
Suppose 1 = -s + 2*a + 3, -4*s = 5*a - 21. Suppose 2*u - 13 = -3*l, u + 5*l - 10 = -0. Which is bigger: s or u?
u
Let f = 0.014 + -0.004. Is f at least 0?
True
Let i = 3/13 - 1/117. Is i at most as big as -4?
False
Let y = 662 + -7287/11. Which is greater: y or 0?
0
Let w(g) = -g**3 + 2*g**2 + 3*g. Let b be w(3). Suppose b*v = v. Let a = v - -1. Is 0 at most as big as a?
True
Let j(s) = 2*s**2 + 2*s + 1. Let b be j(0). Which is smaller: b or -12?
-12
Suppose 11 = -4*s - 1. Let w be 3 - (3 - (s - -4)). Is w < -1?
False
Let l(i) = -5*i**3 + i**2 + 3*i + 10. Let q(k) = -4*k**3 + 3*k + 9. Let w(h) = 5*l(h) - 6*q(h). Let c be w(4). Is 2 at most as big as c?
False
Let t = 0.105 - 1.105. Which is bigger: t or -86?
t
Let o(d) = -5*d - 12. Let a(n) = -6*n - 13. Let m(k) = -6*a(k) + 7*o(k). Let w be m(6). Suppose -j - 2*j = w. Which is smaller: 2 or j?
j
Let j = 128 + -82. Is j <= 46?
True
Let z be (4/10)/((-4)/(-20)). Let j be 21*(-4)/(-48)*(-12)/(-42). Are j and z unequal?
True
Let w be 1/3*(-36)/(-6). Suppose 2*t - 7*t = 3*g + 4, 0 = -4*t + 4. Is g smaller than w?
True
Let y = -641 + 639. Suppose 2*o - 8 = 2*w, 4*w = -0*o + 2*o - 10. Is w <= y?
False
Suppose 19 = 5*g + 2*u, -5*g + 2*u = -0*u - 11. Suppose 0*b - 5*b = -g*p - 23, 3*p + b = 1. Are 6 and p equal?
False
Let s(x) = -x**3 + 4*x**2 + 2*x + 9. Let u be s(5). Are -5 and u nonequal?
True
Let v = 17 + -15. Is v > 0.09?
True
Suppose 4*y = 4*d + 4, -5*y = -2*d - d + 5. Let u be (y + 5)*(0 + -1). Is u at least as big as 0?
False
Let i be (-12)/3 + 17/5. Let m = 4 + -6. Which is smaller: m or i?
m
Suppose 3*z + 6 = -0*z. Suppose -3 = -3*l - 0. Let u be (-10)/4 - l/2. Is z less than or equal to u?
False
Let v be 1*-2 - (-5 - -586). Let p = -4091/7 - v. Do -1 and p have the same value?
False
Let n(r) = -r + 2. Let x be n(3). Let m(w) = w**2 - 19*w + 3. Let j be m(19). Let a be (4/(-72)*j)/1. Is x > a?
False
Let f = 6 + -5.8. Let v = 0.1 + f. Which is greater: -0.1 or v?
v
Let n = 0.38 - 2.28. Let v = n + 2. Let p = v + 0.1. Which is bigger: p or -2?
p
Let c be ((-3)/(6/4))/(-2). Let l be (-9)/c*(-2)/(-6). Let p be (-14)/(-12) - (-2)/l. Which is greater: p or -1?
p
Let w(a) = a**2 - 1. Let r be 3/(-2) + 15/10. Let g be w(r). Is g at least 0.1?
False
Suppose 4*x = -5*l - 5 + 10, 5*l = -x + 5. Let r be (l + (3 - -3))*1. Which is smaller: 9 or r?
r
Suppose 0*a - 32 = a. Is a > -32?
False
Let k(x) = x**3 + 2*x**2 - 4*x - 1. Let w be k(-4). Is -18 at most w?
True
Let l = 262 + -20175/77. Is l at least 1?
False
Suppose -5*g + 13 = -37. Suppose 5*c = g, -3*c + 10 = -r - 0*c. Let u be (-32)/(-130) - r/(-10). Which is smaller: 1 or u?
u
Let h = 2.4 - 2. Let z = -3 + 2.4. Let j = z + h. Which is smaller: j or -3?
-3
Let b be 38/6*(-207)/(-6). Let o = b + -210. Let l = 9 - o. Which is smaller: 0 or l?
0
Suppose 0 = z - 2, -i - 4*i = 3*z - 6. Suppose 3*l + i*l = -3. Let g be (-4)/(-8)*1/(-2). Which is greater: l or g?
g
Let l be 2/(-9) - (-13)/18. Let v be (-1)/4 - (-4)/16. Is v greater than l?
False
Let z = -2.1 - -2. Which is greater: -2 or z?
z
Let q = -9263/31 - -299. Which is greater: q or -1?
q
Suppose 2*j + 5 = -3*j. Is j bigger than -1/2?
False
Let h(v) = 51*v**3 - 4*v**2 + 4*v - 2. Let r be h(2). Let f = 4781/12 - r. Let u = f - 2/3. Is -1 not equal to u?
True
Suppose -2*t - 3*t = -10. Let a be 6*t*1/4. Suppose 2*m - 6 = 6*m + 5*b, m + a*b + 5 = 0. Is 1 < m?
False
Let c be -2 - ((-7)/4 + 0). Let f = 0.13 - 0.15. Is c > f?
False
Let m be (1 - 3) + -1 + -3. Let c be 15/(-21) + m/21. Is -2 at most as big as c?
True
Let o be ((-22)/(-12))/(11/22). Let j = 19/6 - o. Let k(d) = -d + 2. Let m be k(3). Which is smaller: m or j?
m
Let f = 0.03 - -0.27. Are f and 1/2 equal?
False
Suppose -f + 1 = -4. Suppose 5*s - 2*j = 8, f*j - 3*j - 12 = -5*s. Suppose 0*b = b + s. Which is smaller: 0 or b?
b
Let h = -74 - -71. Is -0.7 at most h?
False
Let o = 73.2 - -18.8. Let i = 87.9 - o. Let n = i - -4. Is 0.02 at most n?
False
Let t = 2.02 - 2. Let w = t - 0.12. Which is greater: -0.05 or w?
-0.05
Let n be (-42)/(-36)*(-12)/(-2). Are n and 5 equal?
False
Let h be (0 + -1 - -1)*1. Let f = -548 + 1019. Let r = f - 11773/25. Is r <= h?
False
Let s(j) = -j - 6. Let g be s(-8). Which is smaller: g or 1?
1
Suppose -n = -5*f - 2*n - 3, 9 = -4*f - 3*n. Let r = -480 + 16799/35. Let m = r - 31/140. Is m less than or equal to f?
True
Let h = -1.5 - -1.4. Which is smaller: 5 or h?
h
Let w be -3*1*(0 + 3). Let t = w - -15. Let m be t/(-6) + 3/5. Which is smaller: m or -0.1?
m
Suppose 444 = -2*x + 8*x. Are 74 and x equal?
True
Let c = 2/1019 - 2428/198705. Is 0 greater than or equal to c?
True
Suppose -2 - 10 = -3*n. Suppose n*f - 3 = 5. Suppose f*t = t. Is 2 > t?
True
Let i = -42 - -55. Is 13 > i?
False
Let f be (-15)/30 + 25/26. Which is smaller: f or -1?
-1
Let f be ((-14)/(-3))/(2/6). Let q = -255 + 269. Is q less than f?
False
Let c(g) = -g**2 - 10*g - 4. Let q be c(-4). Suppose -4*j = -5*x - 37, -x + 5*j = -0*x + q. Is x smaller than -3?
True
Suppose -f + 29 = -2*h + 3*h, 4*h - 91 = -3*f. Suppose -f = -5*s - 0*s. Let x be 1/(-15) - (-2)/s. Which is bigger: -1 or x?
x
Suppose 3*z = 5*r - 3, 0*r - 2*z + 2 = -2*r. Let d be r/2 - (-2)/(-4). Is 1/2 at most as big as d?
True
Let u = 9 + -7.4. Let h = u - 1.7. Do -1/2 and h have the same value?
False
Let l(u) = u**2 - 4*u - 3. Let t be l(5). Suppose -5*v = 3*i, -v + t*v = i - 8. Is i greater than 4?
True
Suppose -10 = z - 5*f, 5*f - 3 - 87 = 5*z. Which is bigger: z or -19?
-19
Let s be (4/3)/((-10)/60). Is s < -10?
False
Suppose 2*s = a - 2*a + 68, 3*a = -s + 24. Suppose -4*m + 4*q + s = 0, -2*m - 10 = -5*q - 40. Suppose g + 4*g + m = 2*f, 4*f = 0. Which is greater: g or 2/5?
2/5
Let m = -1/709 + -121939/6381. Let u = 86/9 + m. Let f = u - -620/63. Which is smaller: 0 or f?
0
Suppose -5*k = -2*h - 27, h - 1 = -2. Let q be (k - 1)*39/(-4). Let j = 115/3 + q. Which is smaller: 0 or j?
j
Let d = -586 - -29299/50. Which is smaller: -1 or d?
-1
Let o be (2/4)/(5/(-5)). Which is greater: 1/9 or o?
1/9
Let n = -20 + 23. Let x be (n/(-6))/(1/(-12)). Which is smaller: 5 or x?
5
Suppose g - 8 = 3*g. Do -5 and g have different values?
True
Let f = 236/17 + -39918/2873. Which is smaller: f or 0?
f
Let u = -849/7 + 121. Which is greater: u or 7?
7
Let s = 138 - 125. Are 12 and s unequal?
True
Let o = -9 + 8. Is o bigger than -2?
True
Let t be 4/(-1) - -3 - 3. Which is smaller: -1 or t?
t
Let v be (22/(-6))/(14/(-570)). Let b = -149 + v. Let g = -2/597 - 1180/4179. Is b at least g?
True
Suppose 0 = -3*k + 3*y + 2*y + 424, 577 = 4*k + 5*y. Which is greater: 144 or k?
144
Suppose -12 = -3*p - 3. Suppose b + p = 0, -3*q = b + 4 + 5. Let v = -3 - 1. Which is bigger: q or v?
q
Let k be (-3)/(-6)*(4 - -44). Let t = -35 + k. Is -12 not equal to t?
True
Let u be 3/(36/33) - 3. Let q = -5465 + 142107/26. Let t = q - 2/13. Which is smaller: u or t?
u
Let k = 25 + -14. Suppose -3*w - 1 = k, -4*w - 4 = 2*d. Suppose -3*z = -0*z + d. Which is smaller: z or -3?
-3
Let o be 3/(12/16) - 6. Let x = -2 - o. Is -1 bigger than x?
False
Let x(z) = 48*z + 192. Let t be x(-4). Let y = 64/7 - 9. Which is smaller: y or t?
t
Let x = -0.056 - -0.026. Is x less than -0.3?
False
Suppose q - 2*b = 2*q - 9, -2*q = b - 3. Which is smaller: q or -4/3?
-4/3
Let p = 7.35 + -3.8. Let f = -0.35 + p. Let z = f - 3. Which is smaller: 0 or z?
0
Let g be ((-8)/(-78))/((-6)/9). Let n be (-2 + -2 + -3)*-1. Suppose 3*o - n*o = 4. Are g and o equal?
False
Suppose 3*r - 3*l = -15, 0*r - 5*r - 16 = 4*l. Let m = r - -9. Is m less than 4?
False
Let g = -3/28 - -127/140. Let b = 5/6 - 1/3. Which is greater: b or g?
g
Let u = 6 - -10. Let x be (-2)/(-7) - u/56. Let s = -2 - -2.1. Which is bigger: x or s?
s
Let z = 0.92 - -406.0