
Let v = -2/51 + 5/51. Let g(y) = y**2 - 2*y + 9. Let k be g(0). Let b be (6/(-9))/(6/k). Which is bigger: v or b?
v
Suppose 18 = -3*b + 2*b. Let x = b - -19. Does x = 2?
False
Let d = -39253/4206 + -1/1402. Is -10 > d?
False
Let h = 0 - 0.2. Let k = -0.8 + h. Let c(m) = 2*m**3 - 7*m**2 - 16*m + 37. Let w be c(4). Is w greater than or equal to k?
False
Let v = 13 - 19. Let g = -126 + 119. Is v != g?
True
Let c(t) = -t**2 + t - 39. Let g be c(0). Let y = -39 - g. Is y less than 0?
False
Suppose 0 = 2*p + 65 + 115. Let d be (-5)/p - 1/(-3). Let c = -5/6 + d. Is c > 1/3?
False
Let r = 11 + -5. Let h = r + 3. Suppose 0 = -3*l + h + 12. Do 8 and l have different values?
True
Let d(l) = -4*l**2 - 5*l + 9. Let b(z) = -7*z**2 - 10*z + 18. Let c(s) = -3*b(s) + 5*d(s). Let f be c(-6). Is -0.7 less than f?
False
Let i = -221 - -224. Is 5 at least i?
True
Let m(r) = -2*r**3 - 3*r**2 - 5*r - 2. Let w be m(-3). Suppose 3*g = 5*t + w, -20 = 3*t + t. Which is bigger: g or -1?
g
Let k(u) = -u**3 + u + 3. Let l be k(0). Let a = -0.78 + 80.78. Let m = -83 + a. Which is greater: m or l?
l
Let r be ((-9)/12)/(45/24). Let w = -15 - -11. Let o be w/(-9) + (-16)/(-72). Do r and o have the same value?
False
Suppose -2*d + d = d. Let j be (-34)/136*(16/6 - d). Which is greater: 11 or j?
11
Suppose 16*i = -1318 + 102. Which is smaller: -74 or i?
i
Let a be 162/8 + (-18)/(-24). Suppose a = -4*v + 9. Let j be (v/16)/(108/240). Which is bigger: j or -1?
j
Let i = -69 + 49. Let b be 6 - (3 + i/5). Which is greater: b or 9?
9
Let w = 443 - 730. Which is greater: -286 or w?
-286
Let k be (-1)/(-2) - (-732)/(-24). Suppose -168 = 6*f + 6. Is f at most as big as k?
False
Let h = -4.3 - 9.7. Let w = 13.9 + h. Which is smaller: 2/53 or w?
w
Let k(a) = 7*a + 5. Let f be k(5). Let o(q) = 7*q + 47. Let h be o(-7). Let y be h/(-8) - (-6)/f. Which is bigger: y or 5?
5
Suppose -43 = -5*b + 47. Let z be (2/(-288)*-6)/(4/b). Which is smaller: 1 or z?
z
Let p = -15.7 - 1.3. Let m = 76/55 - 13/11. Which is bigger: m or p?
m
Let m = -461/11 + 14533/341. Is m at most 0?
False
Let o(c) = 21*c**2 + 5*c - 4. Let r be o(-3). Is 169 < r?
True
Let c(f) = -f**2 + f - 349. Let l be c(0). Let q = l - -52. Let v be q/(-90) + (-3)/(-2). Which is bigger: v or 5?
5
Suppose 0 = 53*j - 80*j - 27. Let i be 2/(1*(-10)/1). Is j at most i?
True
Let a = 0.74 - -1.76. Let h = 6.5 - a. Is h equal to 5?
False
Let j be (-39846)/9963 - ((-40)/4 - -6). Which is greater: 1 or j?
1
Let t be ((-3)/(-4))/((-159)/(-2332)). Which is smaller: 107/9 or t?
t
Let d = 2 + -3. Is d at most as big as -1/149?
True
Let d(l) = l + 3. Let m be d(4). Suppose -m*z + 4*z - 120 = 0. Let c be 5/z - (-1 + 1). Which is bigger: c or -1?
c
Let r(z) = z**3 - 6*z**2 + 3*z - 18. Let j be r(6). Which is smaller: 2/59 or j?
j
Let r be (-37)/(-7) - (-2)/(-7). Suppose -r*t + 0*l + 91 = l, -5*t = -3*l - 87. Let f = t - 17. Which is smaller: f or -1/3?
-1/3
Suppose 3*z = 3*y, 0 = -3*y - 0*y + z. Which is smaller: y or -2/29?
-2/29
Let l(r) = r**2 - 12*r - 13. Let h be l(13). Let u be (-1)/4*(-18)/15. Is u at least as big as h?
True
Let z = 29 - 29. Suppose -212*t + 215*t - 36 = z. Is 13 greater than t?
True
Let a be (-1788)/184 + 2/(-6). Let m = a - -33/46. Which is smaller: -8 or m?
m
Let o = 86.49 - -0.51. Let x = o + -86.945. Which is smaller: x or -0.1?
-0.1
Let h be (2/(-95))/(4/(-5)). Which is bigger: -1 or h?
h
Let p = 36 + -35. Let m(u) = -3*u**3 - 5*u**2 - 8*u + 3. Let w(n) = n**3 - n**2 + n. Let d(t) = p*m(t) + 2*w(t). Let i be d(-5). Is -16 >= i?
True
Let r = -9.86 - 0.14. Let q = -15 - -24. Let i = r + q. Do i and -0.6 have the same value?
False
Let d = -179 + 201.6. Let r = -23 + d. Let t = -11 + 14. Is t less than or equal to r?
False
Suppose -5*l + 83 = i, -4*i = -7*l + 4*l + 36. Let c be 0 - 2/(l/89). Let j = c - -2419/216. Is j != 0?
True
Let i be -3 - -24 - 2/2. Let h(p) = -p**3 + 7*p**2 - 4*p + 2. Let r be h(5). Let z be (2/i)/((-2)/r). Which is greater: z or -2?
z
Suppose -2*n = 6*n - 56. Suppose n*t = 13 - 6. Is t < 2/89?
False
Let p(x) = -x - 9. Let d = -14 - -14. Let m be p(d). Is m greater than -10?
True
Let b = -7 + -3. Let p be ((-24)/b + -1)*5. Let x = p + -8. Which is bigger: x or 1?
1
Let a(m) = -35*m**2 - m - 1. Let n be a(-1). Let w = -35 - n. Let h be 0 - 1 - (-15)/13. Which is bigger: w or h?
h
Let o = -15 - -18. Let l be (-3 - 0)/((-2)/2) - o. Is l at least as big as 10/7?
False
Let t = 1.1 + -1.8. Let u = t + 0.8. Suppose 3*k + k = -12. Which is smaller: u or k?
k
Let j = -4/1317 + -11645/68484. Let v = 1/13 - j. Which is greater: -1 or v?
v
Suppose -2*b - 2371 = 17. Which is bigger: b or -1193?
-1193
Let n = 1706/7 + -234. Let z be (0 - 2 - -13)*1. Which is greater: n or z?
z
Let v be 4 + -6 + 37 - (4 + 3). Which is smaller: 242/9 or v?
242/9
Let p = -24 + 25. Which is greater: p or -3/79?
p
Let v = 86.7 + 4.3. Let h = 89.3 - v. Is 2/7 less than or equal to h?
False
Let t = 77.61 - 78. Let m = -0.01 + t. Does m = -0.1?
False
Let p = 63 - 58. Which is smaller: 6 or p?
p
Suppose 4*z + 3*l = -0*l - 43, 5*l + 25 = 0. Let k(m) = m**2 + 9*m + 10. Let i be k(z). Is -6 > i?
False
Let k = -23.85 + 32. Let i = k + -0.15. Which is greater: 1/4 or i?
i
Let y(i) = -i**2 - 13*i - 12. Let a be y(-11). Let d = a - 10. Let f = 34 - 103/3. Which is smaller: d or f?
f
Suppose 0*c - 15*c = -360. Which is bigger: 28 or c?
28
Let j = -1999 - -1998. Let g = -2019/8 + 252. Is j > g?
False
Let p(r) = 4 - 7*r - 4*r - r. Let v be p(3). Which is bigger: v or -31?
-31
Let j = 385 + -390. Which is smaller: -33 or j?
-33
Suppose 2*k + 3*k = 4*k. Suppose 3*g + 7 - 7 = k. Is -3/4 at most as big as g?
True
Let x = 28 - 40. Suppose 169 = 28*i - 41*i. Which is bigger: x or i?
x
Let j(t) = t**3 + 11*t**2 - 2. Let a be j(-11). Let c be 6/a*3/9. Let z be (-2 + c)*(-2)/(-30). Which is bigger: 1 or z?
1
Let t be 84*(-2 - (-79)/(-26)). Let a = -423 - t. Which is smaller: 2 or a?
a
Let k = 22.97 - -909.03. Is k less than 1?
False
Suppose 5*m + 13 = -3*y, -m - m - 22 = -3*y. Let c be 1/(-5) + ((-301)/(-105) - y). Does 0 = c?
False
Let p(l) = l**2 - l + 115. Suppose -v = b + 2, 0 = -2*b + 6*b + 8. Let i be p(v). Let f = 803/7 - i. Which is smaller: f or 0.18?
f
Let h be ((-1100)/(-440))/(5/(-12)). Let r = -12131/6 + 2016. Is h > r?
False
Let f be (8/2730)/((-8)/20). Let o = 113/3003 + f. Let b = 11 + -10. Which is bigger: b or o?
b
Let n = 3 - 1. Suppose 0 = -z - n*z. Let x be (-428)/84 + (-25)/(-5). Which is smaller: z or x?
x
Let a = -1.24 - -76.74. Let l = 76 - a. Is l at least as big as 0.05?
True
Suppose y = -0*y - 2*n, -3*n = y - 4. Let a = y - -11. Let d = -15 + a. Is -11 smaller than d?
False
Suppose -22*o + 1 = -43. Is -9 < o?
True
Suppose -3*i + 5*q + 284 = 9, i = -4*q + 86. Let o be i/(-171)*(-4)/(-10). Which is smaller: o or -1?
-1
Suppose 0 = 5*p + 2*s - 5, 27*p + 13 = 29*p + 3*s. Which is greater: 2/1625 or p?
2/1625
Let j be 1/4 - (-30)/(-136). Let n(b) = -4*b - 11. Let f = 130 + -133. Let r be n(f). Which is smaller: r or j?
j
Suppose 4*p - 86 = -2*k + 5*k, 3*p - 158 = 5*k. Is k at most as big as -30?
True
Let n be 3 + -3 + 3 - -5085. Suppose -5*s = -3*a + n, 5*s + 1001 = -4*a + 7820. Let c be a/(-135) - (-2)/(-5). Is -13 bigger than c?
False
Let f = -6 - -3. Let q be (-275)/125 - (-4)/10. Which is smaller: q or f?
f
Let y(q) = q**2 + 26*q + 17. Let a be y(-25). Let x be (a/270)/(4/10)*2. Which is greater: 1 or x?
1
Suppose z - 8 = 4*s, -4*s - 38 + 6 = -3*z. Let q be (-298)/(-204) + z/(-8). Which is bigger: q or 0?
0
Let c = -2 + 1.945. Let k = c - -2.755. Let v = -3 + k. Is 3 less than or equal to v?
False
Let g(b) = 4*b - 6*b - 6*b + 5*b - 13. Let r be g(-6). Which is smaller: 4 or r?
4
Let b = -24/143 + 1/13. Suppose -4*m - f + 12 = 0, 2*m - 21 - 3 = -5*f. Let w be ((-2 + 2)*-1)/m. Is b smaller than w?
True
Suppose 0*t - 3*m = t + 14, 4*t + 5*m = -28. Let v be (-468)/45 - t/5. Is v at most -8?
True
Let l = -47 + 69. Suppose -o = y - 8 - 10, 0 = -o + 2*y + 33. Is o smaller than l?
False
Let d(h) = 24*h**2 + 156*h - 5. Let p be d(-6). Which is smaller: -0.1 or p?
p
Let i be (-3 + (-2)/(-3))*9. Let s(y) = y**2 - y + 140. Let d be s(0). Let l be (-9)/i + (-4)/d. Is 0 <= l?
True
Suppose 2*h = 4*p - 28, 3 + 4 = p + h. Let j be (-2)/4*(p/(-14))