 a?
a
Suppose 0 = 2*m + 3*m - 65. Let j = -6608 + 6612. Which is bigger: j or m?
m
Let b = -7 - -14. Suppose 5*z - b*z = -8. Let k be (-15)/9 + z/2. Is k greater than 2/7?
True
Let x = 71.5 + -71.5. Let j = -7 + 8. Which is smaller: j or x?
x
Let x be ((-27)/(-150))/(2/4). Let r = 288 + -21598/75. Let z = x - r. Which is greater: z or -1?
z
Let j = -6 - -11. Suppose -12 = -3*s - 4*n + n, -j*s = -2*n - 41. Suppose -4*g + 3*a = -17, 4*a = 27 - 7. Is g >= s?
True
Let h(z) = z**3 + 8*z**2 + 6*z + 5. Let b(o) = -o**2 + 3*o - 3. Let j be b(4). Let r be h(j). Let u be (-2)/35*15/r. Which is smaller: u or 0?
u
Let f(n) = n**2 - 4*n - 13. Let x be f(-9). Let y = -152 + x. Which is greater: -47 or y?
-47
Let g = 231 - 343. Which is smaller: 2 or g?
g
Let j be (-4 - -6)*(1 - 0). Suppose 0 = j*d + 54 - 60. Does 1.2 = d?
False
Suppose 0 = -10*b + 1060 + 360. Do 142 and b have different values?
False
Let p = -2/237 + -1151/4029. Is -12 <= p?
True
Suppose 4*t - 199 = -63. Let h = t - 40. Is -6 bigger than h?
False
Let b be (-1)/2 - (-3)/(-6). Let l = 1/141 + -428/705. Which is bigger: b or l?
l
Let l be (-5)/1*(-2)/(-5). Let r be ((-7077)/(-674))/(6*-2*1). Is l >= r?
False
Suppose -5*z + 4*g + 2 = -20, -3*z + 3 = g. Let h be 4 + -5 + (-14)/z. Suppose 3*n = 2*m + 16, 5*n = 3*m - 4*m - 8. Is h at most m?
True
Let y = -7.21 + 8.21. Suppose -4*w + 5*k = 36, -5*w + k = -2*w + 16. Which is smaller: w or y?
w
Let l = -575/68 + 148/17. Are 169 and l equal?
False
Let l be (-220)/(-132) + (4*-1)/2. Is l > -24?
True
Let j = 12 + -14. Let m = 33.7 + -33. Is j != m?
True
Let n = 0 - 6. Let b = 15 + n. Let f(q) = -q**2 + 10*q - 7. Let v be f(b). Which is smaller: 1 or v?
1
Let o = -59/144 - -3/16. Suppose -w - 60 = -4*f + 23, 4*f - 87 = -3*w. Let j = f + -20. Is j at least as big as o?
True
Suppose -2*m + 118 = -w - 13, 0 = -5*w + m - 628. Which is greater: -127 or w?
w
Let m be 1*1*(-2 + 1 + 1). Let p be 132/26 + -4 - 2/1. Which is greater: m or p?
m
Let n(h) be the second derivative of -h**4/12 + h**3/2 + h**2/2 - h. Let f be n(2). Let r be 1/(1/(f + -1)). Which is greater: 4 or r?
4
Let i = 1925 + -1914.08. Is i smaller than 0?
False
Suppose 37*g - 34*g = 2*k + 388, 2*g - 4 = 0. Is k greater than or equal to 0?
False
Let j = 4822/13 - 371. Let t be 2/3*(-6)/4. Let n be (0 + 0 + t)*-1. Which is bigger: j or n?
n
Let z be (-6 + 1 - -8) + 3*23. Which is smaller: z or 71?
71
Let m = -1741 - -1741.2. Is m greater than or equal to 1/474?
True
Suppose 3*n + 19 = 4*q - 44, -4*n - 84 = -3*q. Are n and -14 non-equal?
True
Let p = -2197/27680 - -9/160. Is p greater than 0?
False
Let j = 88 - 125.8. Let a = -38 - j. Is a at most 3/8?
True
Let a be -13 - (-3 - -5)/(8/6). Suppose -24 = -b + 2*k, 7 - 87 = -4*b + 4*k. Let f = b + a. Which is greater: f or -0.1?
f
Let p = -127 - -135. Suppose 2*z + 2 - p = 0. Is 5 at least as big as z?
True
Suppose 2*m = -3 + 1. Suppose 0 = 5*s - 4*p + 66, p + 6 = -s - 0. Let t be 3/8*s/6. Is t at least m?
True
Let b = -0.3 - -0.4. Let v = 4.8 + -5. Are b and v equal?
False
Let h be (1 + (-9)/1)/(-1). Suppose h = 5*y - 3*y. Suppose -2*f = -y*x - 8, 5*f + 0*f = -x - 13. Is x less than -4?
False
Let s = -109 - -81. Let h = s - -28. Which is greater: 2/105 or h?
2/105
Let n(d) = -2*d**2 + d + 1. Let v = 74 + -69. Let g be n(v). Which is smaller: g or -42?
g
Let r(a) = -a + 15. Let x be r(11). Suppose 0 = -x*q + 18 - 6. Suppose -2*t + 20 = 3*t. Which is smaller: q or t?
q
Suppose 48*x + 4 = 50*x. Suppose 0 = -11*f + x - 24. Is f at most as big as -4/7?
True
Let k = 12 - 3. Let w(j) = j**3 + 6*j**2 - j - 4. Let c be w(-6). Let s = c - -8. Is k at least as big as s?
False
Let w(t) = t - 8. Let k be w(7). Let a = -1262.025 + 1262. Is a at least k?
True
Suppose 0*j + 4*j - 4 = 0. Let r = -141 - -41. Let a = r + 95. Which is greater: j or a?
j
Let m(x) = 15*x + 268. Let g be m(-15). Is g equal to 41?
False
Let g = -223 - -222. Which is smaller: -9/4 or g?
-9/4
Suppose -n - 6 = 2*s - 33, -n + 9 = -4*s. Let h be n/35 + 54/10. Which is greater: h or 9?
9
Let c(y) = y**3 - y. Let k be c(1). Suppose 5*a = p - 12, 0 = -7*p + 2*p - 3*a - 24. Let r be 2/10*p - -1. Which is bigger: k or r?
r
Let h(t) = 11*t + 42. Let f be h(10). Let k = 152 - f. Is 13 > k?
True
Let j(o) = -o**2 - 14*o - 72. Let b be j(-15). Is -87 bigger than b?
False
Suppose -87*k - 4 = -91. Is k at least as big as 57/35?
False
Suppose 3*n - 16 = 14. Let t = -274 - -286. Let d = t - n. Which is smaller: d or 6/11?
6/11
Let o = -1878 - -1021. Is -857 bigger than o?
False
Let d be 2*(-4 + 35/10). Let a(k) = 3*k**3 + 3*k**2 + 2*k. Let h be a(d). Is h less than or equal to 13?
True
Suppose 0 = b - 0*b. Let n = -941/130 + 36/5. Is n less than b?
True
Let l(k) = k**3 - 4*k**2 + 9*k - 37. Let j be l(4). Let n be (-9)/(-12)*2/42. Is n < j?
False
Suppose -13 = -5*b + 42. Let o = -12.46 - -12.26. Is o at most as big as b?
True
Let n(b) = b**2 - 9*b - 266. Let i be n(0). Is i != -267?
True
Let q = 0.552 - -0.048. Let z = 1.6 - q. Which is smaller: z or -5/6?
-5/6
Let a(r) = 5*r**2 + 37*r - 2. Let s be a(-6). Is s at least -47?
True
Let q = -1554 + 1327. Which is greater: q or -226?
-226
Let f(k) = -k + 6. Let y be f(5). Suppose -4*d - 2*h = 2*h + 24, 0 = 2*d + h + 7. Let r be (-7 - -3)/(d + (-22 - -1)). Are y and r equal?
False
Let k = -8631/8 + 1078. Let t be (-2)/4 + (-2)/4. Which is greater: t or k?
k
Suppose 0 = -2*w + d - 112, -4*w + 33*d - 32*d = 230. Suppose -75 = 5*q + 220. Is q < w?
False
Let b be (-25)/(-15)*(-9)/(-10). Suppose 0 = -v + 6*v + 10. Let p be 1/(-2)*(0 + v). Which is greater: b or p?
b
Suppose -4*t + 4 = 2*f, 5*f - 2*t - 22 = -0*t. Suppose -f*n + 6 + 6 = 0. Which is smaller: 6 or n?
n
Suppose 5*f - 20 + 334 = 3*i, -3*i + 4*f + 313 = 0. Is 105 bigger than i?
True
Suppose -4 = -2*w - 0. Let g be 4/132*(w + (-14)/4). Is 1/2 > g?
True
Let o = 1.5 + -1.7. Let l(k) = k**3 + 6*k**2 + 6*k + 4. Let r be l(-4). Suppose 0 = 3*g - h - r, -2*h - 2 = 4. Is o less than g?
True
Suppose -110*f = -122*f - 756. Does f = -58?
False
Let w = -9/8 - -7/8. Let o = 24.08 + -20.08. Is o less than w?
False
Let c(o) = 14*o**2 - 1 + 3*o + 16*o**2 - 29*o**2. Let r be c(-4). Is 13/6 != r?
True
Suppose 4*v - 14 = 6. Suppose 0 = 3*f + f - v*p + 36, 0 = 5*f + 5*p. Is -1 equal to f?
False
Let t(n) = -4*n - 2*n**3 - 31*n**2 - 3*n + 1 + 23*n. Let s be t(-16). Let d be 0/(2/(-2) + -1). Do d and s have different values?
True
Let m = 43 - -36. Is 81 bigger than m?
True
Let w = -12 + 16. Suppose -w*k + 5 - 1 = 0. Let g = k - 16. Is -15 at least as big as g?
True
Suppose 0 = -4*w + 25 - 21. Suppose -4*y - w = 11. Which is smaller: 1 or y?
y
Let z = -20 + 20. Let i = 1151/28 + -161/4. Which is smaller: i or z?
z
Let n = -0.041 - 0.059. Let m be (2/(-6))/(1/(-6)). Let c be (2 + -4)/(-1) - m. Is n bigger than c?
False
Let m(t) = -21*t**3 + 5*t**2 - 3*t**2 + 3*t - 3*t**2 - 1 - 4*t. Let p be m(-1). Suppose -p = 6*x - x. Which is greater: -1 or x?
-1
Let h be ((-3)/(-7))/((-42)/56). Suppose -3*x = -2 + 5. Is h smaller than x?
False
Let q = -0.01 - 0.03. Let p = -2.96 + q. Let h = 2.4 + p. Is h >= 1/2?
False
Suppose 0 = -5*z + 15 + 10. Suppose y = z*k - 20, 0 = -0*y - 2*y + 10. Suppose 5*n - 3*n + k*r - 11 = 0, -4*n = -2*r + 38. Which is smaller: n or -8?
-8
Let w = -396 - -458. Is w not equal to 2/3?
True
Let h = 7 + -6.3. Let d = 0.6 - h. Let q = d + 0.1. Which is bigger: 2 or q?
2
Let r be 42*13/91 - 88/14. Which is greater: r or -1/1732?
-1/1732
Let r(o) = -o - 6. Let g be r(-8). Let p be g/(12/15)*8/(-650). Which is smaller: p or -1?
-1
Let g(s) = -s**3 + 13*s**2 + 17*s - 11. Let p be g(14). Suppose 7 = 6*x + p. Which is smaller: 0 or x?
x
Suppose 7 = p + 2*g, -20*p - 3*g = -17*p - 9. Which is smaller: p or 123/19?
p
Let u(l) = l**3 + 9*l**2 + 8*l - 4. Let p be u(-8). Let d = 20.65 - 20. Let b = d - -0.35. Which is bigger: p or b?
b
Let k be (18/120)/((-24)/(-10)). Suppose 2*v = 8 + 4. Suppose 4*a + 0*s = s + v, 3 = 5*a + s. Do a and k have the same value?
False
Let h = -0.4331 + 0.0331. Which is smaller: -26/3 or h?
-26/3
Let s = -4.5 - -4.5. Are 0.473 and s unequal?
True
Let c(p) = -p**2 - 6*p + 2. Let r be c(-6). Let a = 1 + -1. Suppose a = r*g + 2. Is g <= -1?
True
Let t(m) = -m**2 - 82*m + 623. Let i be t(7). Is -11/14 bigg