5?
True
Suppose -b = -0*b - 1. Let a = -2.98 - -3. Let r = -0.52 + a. Is r smaller than b?
True
Let m = 19 + -5. Let z = 28 - m. Let o = z - 24. Which is smaller: o or -1?
o
Let p(q) = -2*q - q + q**3 - 3*q + 4*q. Let s(i) = i + 5. Let x be s(-7). Let l be p(x). Do l and -7 have the same value?
False
Let c be 3/(-2) - (-2)/4. Let h = c - -2. Let d be 2/24 - (-4)/16. Is h < d?
False
Let t(m) = m**2 - 10*m - 7. Let i be t(-10). Is i greater than 195?
False
Let o = 32.2 - 85.2. Which is smaller: 0.2 or o?
o
Let o be 1 - 3 - 5*2. Let a be (2/o)/((-2)/4). Suppose 0 = 4*d + 2*x + 4, -3*x - 6 = -3*d + 4*d. Which is greater: d or a?
a
Let o be (-25)/8 + 3 + 9/8. Which is greater: o or 2/15?
o
Suppose -2*z = -2 + 6, -9 = v + 5*z. Let p be (-175)/(-1131) - (-6)/(-117). Is p less than or equal to v?
True
Let t = -1786/287 - 26/41. Which is smaller: -7 or t?
-7
Let h = 103 + -100. Let j = 4 - 4. Let k be 0 - ((j - 0) + 1). Is h != k?
True
Let u = -24 - -35. Let q be 3 - (3/3 - u). Suppose -4*a + q - 33 = 0. Is a less than or equal to -4?
True
Suppose -4*f + c - 55 = 4*c, 15 = -3*f + 3*c. Let s be -3 + f + 0 + 0. Is -12 at most as big as s?
False
Let q be (-3)/(-9) - 8/(-3). Suppose -10 = -3*v + u, 2 = -0*v + q*v + u. Let g = -4 - v. Do -3 and g have the same value?
False
Let m = 357.399 - 357. Which is bigger: -2 or m?
m
Suppose g + 48 = -12. Let d = 103 + g. Let r = d + -689/16. Which is greater: r or -1?
r
Let g = 68.9 - 74. Let j = g - -1.1. Which is greater: j or 0?
0
Let f be 4/(-1) - (-8 + -30). Let g = 29 - f. Is -13/3 less than or equal to g?
False
Let s = 1.63 + -1.544. Let a = 0.086 - s. Does a = -50?
False
Let q be (21 - 0)*1/39. Is 2 equal to q?
False
Suppose 4*l + 5 - 17 = 0. Let f be (((-6)/(-4))/l)/(-17 - 2). Which is bigger: 1 or f?
1
Let g(a) be the second derivative of a**4/12 + 7*a**3/6 - 21*a**2/2 - 9*a. Let w be g(-9). Let f be w/(-6) - (-15)/(-46). Which is bigger: f or 0?
f
Let r = 89857/78 - 1152. Let h = r - -25/78. Let d = 366 + -366.3. Which is greater: h or d?
h
Let h = 158 + -128. Which is bigger: 28 or h?
h
Suppose 1059 = -5*g + 4*n, 2*n + 1051 = -5*g - 2*n. Let v = 131 + g. Let h be (v/8)/(1/(-1)). Is h < 7?
False
Let w = 947 - 806. Does w = 140?
False
Suppose -x = 3*x + 2*l + 6, 3*l = -2*x - 13. Let r(b) = -b + 7. Let k be r(5). Let n be (-1 - (-2)/4)*k. Which is bigger: n or x?
x
Suppose 0*d + d = -77. Let p = 76 + d. Is -7/5 > p?
False
Suppose -2*x = 3*x + 3*t - 84, -3 = -x + 4*t. Let i be (-8)/(-1)*x/12. Suppose 0 = 5*a - 18 - 27. Is i at least a?
True
Let b = 7 + -13. Is -43/9 != b?
True
Suppose 0 = -4*s + v + 3, -12 = 5*s - s - 4*v. Let h(j) = -2 - 4*j + s*j - 3. Let o be h(-3). Is o <= 2/3?
False
Let u = 27 + -59. Let j = u - -32.08. Are j and -0.1 non-equal?
True
Suppose 3*q - 495 = -3*y, -q - 5*y = -0*q - 185. Let o be q/6 + (-15)/(-45). Which is bigger: o or 25?
o
Let l = -10/31 - -89/372. Suppose 0 = 2*d - 7 - 17. Suppose 4*p - 21 = -5*w, 2*p + w = 3*w - d. Which is greater: p or l?
l
Let a = 53 + -54. Let i be ((-3)/(-3)*a)/(-1). Which is smaller: i or 1/42?
1/42
Let u(c) = c**3 + 8*c**2 - 4*c + 31. Let v be u(-9). Suppose -35 = 4*x - 5*a, 0 = -5*x + a + 2*a - 47. Let z = x - v. Which is bigger: 2 or z?
z
Let f = -33 + 56. Let o = 6 + f. Let u = o + -26. Which is greater: u or -6?
u
Let j = -632 - -658. Which is smaller: j or 8?
8
Let d(w) = w - 10. Let a be d(-2). Let v be (-13)/14 + (-8)/(64/a). Which is bigger: v or -4?
v
Suppose -4*z = b - 3, -3*b + 2*z + 9 = -z. Is 21 >= b?
True
Let b be 10 - 7 - (-4 - -186*3). Does -551 = b?
True
Let i(v) = v**3 - 6*v**2 + 4*v + 18. Let t be i(4). Which is bigger: t or -34?
t
Suppose 0*v = 2*v - 6. Suppose n = 3*b + 6 + 13, -3*b + v*n = 15. Let x be 10/14 + 2/7. Is b equal to x?
False
Let h = -6.8 + 1.8. Let g = -17 + 27. Let i = g - 9. Is i > h?
True
Let c(d) = d - 4. Let l be c(-15). Let f = 14 + l. Which is greater: -6 or f?
f
Let w be 1/(-4)*2/(-4). Suppose 0 = 41*l - 25*l. Are w and l non-equal?
True
Suppose -6 = -2*r, 4*q + r - 6*r + 19 = 0. Suppose -x - 73 = 4*w + 30, 3*w + x = -78. Let t be 4/w*10/(-4). Are t and q nonequal?
True
Let f = -0.096 + 0.164. Let a = f + -3.068. Do a and 0 have different values?
True
Let t = 24 - 38. Let b(y) = y**3 - 8*y**2 - 46*y - 37. Let g be b(12). Is t at least g?
False
Let h = 0.072 + -31.072. Let s = h + 31.7. Which is smaller: 0.1 or s?
0.1
Suppose -i + 2*a + a = -3, -i - a = 5. Let g be (-406)/(-42) - (1*i)/9. Which is smaller: g or 2?
2
Let u = 678 - 677.7. Which is smaller: u or -58?
-58
Let l = 2 + -2. Suppose l - 16 = -4*a. Suppose 2*q - 3*c - 19 = 0, 5*c + 14 + 6 = q. Does q = a?
False
Let m = 686 + 437. Is m >= 1122?
True
Let y = 38 - 21. Let r = 23 - y. Let d = r + -4. Is 2 > d?
False
Suppose -1128*a - 63 = -1121*a. Which is bigger: -11 or a?
a
Suppose -2*m - 2*c - c = 0, 0 = -5*c - 20. Let q = -1 - -7. Do q and m have different values?
False
Suppose -3 = -y + 2. Suppose -y*n - 2 = -7. Let p = n - 10. Is p < -3?
True
Suppose 4*f + o = 60, -f + 4*o + 0 = 2. Let i be (-726)/(-1001) + (-8)/f. Which is smaller: -1 or i?
-1
Let c = -183/55 - -13/5. Let p = -458 + 456. Which is greater: c or p?
c
Let i(d) = -d**2 - 8*d + 1. Let m be i(-7). Let j(u) = -2*u + 9. Let t be j(m). Does t = -9?
False
Let q be 10/(-6)*54/(-45). Let u be (16/(-72))/(q/(-15)). Is 2 < u?
False
Let d(l) = l + 3. Let o be d(-6). Let h be (-1 + -3)/(o/(-3)). Which is greater: -3 or h?
-3
Let f = 139 - 139. Which is smaller: f or 3/413?
f
Suppose 7 - 2 = -4*y - a, 2*a = 3*y - 10. Suppose y = -2*s - s + 6. Is 5 greater than or equal to s?
True
Suppose -3*p = -2*t - 40, -p - 2*p + 4*t + 50 = 0. Suppose p = 4*w + 26. Let d be w/14 - 8/(-224). Which is smaller: d or 0.1?
d
Let p(n) = -n**3 + 6*n**2 - 3*n + 8. Let y be p(6). Let d = -15 - y. Let x = 3 - d. Is x less than 7?
False
Let p = 10 - -2. Which is bigger: -3 or p?
p
Suppose 2089*q + 1362 = 2086*q. Does q = -455?
False
Let m be 675/(-1398) + (-12)/(-24). Is -1 less than or equal to m?
True
Let f be 305/30*(-15)/(-2). Let h = -77 + f. Let c = -1 + 0.8. Which is greater: h or c?
c
Suppose 4*w - 4*d = 320, 2*d + 237 = 4*w - w. Suppose -v - z = -39, -z + w = 2*v + 2*z. Which is smaller: v or 41?
v
Let z = 90 + 135. Is 224 less than z?
True
Let l(m) = -2*m + 54 + 4*m - 54 + m**2. Let b be l(3). Which is greater: -3 or b?
b
Let n = 13 - 18. Let t = 1 - n. Let z(c) = c**2 + c. Let k be z(2). Is k at least as big as t?
True
Let r(q) = -173 - q**2 + q - 2*q**3 + 173. Suppose 0 = -2*s - 3*s + 5*m, 0 = 3*s - m - 2. Let h be r(s). Is -2 at least as big as h?
True
Suppose -2*v + 7 = -i + 1, 5*i = 4*v - 6. Suppose -12 = i*c - 0. Which is smaller: -54/11 or c?
c
Let y = 132 - 132.62. Let v = y + -2.38. Is v > 2/47?
False
Let p(j) = j**3 - 7*j**2 - j + 4. Suppose -2*g - g + 3*m + 36 = 0, 3*m + 8 = -g. Let f be p(g). Let s be 15/14 - f/(-6). Which is smaller: 2/3 or s?
s
Let d(j) = -j**2 - 11*j + 17. Let v be d(-7). Let p = -87 + v. Which is smaller: p or -43?
-43
Let u(j) = -2*j**2 - j + 1. Let b be u(1). Let w(x) = x**2 - 3. Let p be w(b). Is p < -2/11?
False
Let p be -1 - 794/3*3/(-2). Let g be (-1)/(1*-4) + (-121)/p. Which is greater: 1 or g?
1
Let c = -21158/25 + 846. Is 0.04 at most c?
False
Let c(t) be the second derivative of -3*t**3/2 - t**2 - 3*t. Let g be c(2). Let n = g - -21. Which is greater: n or -4/13?
n
Let w = -4 + 4. Suppose w = y - 0*y, -2*s = 4*y - 10. Suppose -5*l + a = -12, 6 = s*a + 16. Is 4 > l?
True
Let h = 41 - 56. Do h and -8 have the same value?
False
Let t = 12/271171 - -1625118983/199310685. Let v = t + -122/15. Is 0 not equal to v?
True
Let g be ((-12)/8)/((-786)/(-8)). Which is smaller: -1 or g?
-1
Suppose -3*x - 6 = -5*x. Suppose -j - 8 = 2*m + x, 4*j + 8 = m. Let a be (3 + m - -1)*-1. Which is smaller: -8/9 or a?
-8/9
Let j be ((-19)/57)/(-1 + (-14)/(-12)). Suppose 0 = 3*f, 3*r + 0*f + 15 = -f. Which is greater: r or j?
j
Let l = -2 + -4. Let q = 6 + l. Suppose -4*i = -q*i + 40. Which is smaller: -9 or i?
i
Let j be 488/44 + -2 + -5. Which is bigger: j or -0.1?
j
Let t be 5*(-1)/(-10)*46. Let c = t - 15. Let z be 1 + 0*2/(-2). Which is smaller: z or c?
z
Let w be (20/(-1))/((-13 + -4)/68). Let i be 3/((27/240)/3). Is w != i?
False
Suppose -11*v + 7*v = 8, -4*j + 116 = -2*v. Suppose 20