2*a**2 - 4*a - 7. Let v be h(-9). Let y be v/(-30)*(-1)/4. Let l = y + -21/10. Is -1 at most l?
True
Let f = -83.7 + 1.7. Let m = -65 - f. Which is smaller: 1/4 or m?
1/4
Let v(q) = -4*q**2 + 39*q + 9. Let d be v(10). Which is smaller: -61 or d?
-61
Let l be (-2)/(-9) + (-4136)/(-18). Let n = l + -2532/11. Let c = -57.3 - -57. Is n at least c?
True
Let b(f) = f**3 - f**2 - 3*f + 5. Let j be b(-2). Is j greater than -2/1023?
False
Let q = -26 + 31. Let i = -1 + q. Let v = i + -3.9. Which is bigger: 0.07 or v?
v
Let v = -43 + 98. Let b = v - 54. Is -8/5 > b?
False
Let f be (-14*(-8)/(-16) + 7)/(-1). Is -6/79 > f?
False
Let g = -81.6 + 81. Let n(s) = -7*s**2 + 3*s - 2. Let f be n(1). Is f less than g?
True
Let k(y) = y**2 + 5*y + 4. Let c be k(-4). Let s be (-3 - -5)/(4/(-18)). Let t = s - -6. Which is bigger: c or t?
c
Let a = 45 + -19. Let b = a + -24. Is 0 equal to b?
False
Let v = -17 - -24. Suppose m - 15 = -j, -3*j + 3*m - v*m = -43. Is 17 at least as big as j?
True
Let k = -17 - -28. Let v = k - 11.8. Let j = -63 - -62.9. Which is smaller: j or v?
v
Let f = -24.3 - -24.68. Is f at least -1/2?
True
Let n = -31 - -31. Suppose 0 = -2*o - 2*v + 4, 4*o + n = v - 2. Is o bigger than -1/5?
True
Let z = -152 - -242. Let f = z - 90.1. Which is greater: f or 0.65?
0.65
Let h = 2148 - 544. Let l = h + -11192/7. Which is bigger: l or 4?
l
Suppose 2*i - w + 4 = -9, 6 = -2*w. Let c be (-3)/6*16/i. Which is bigger: c or 1/11?
c
Suppose -2*x + 74 = 3*p, 4*x = -x + 3*p + 164. Is x smaller than 33?
False
Let v be 6/4*-5*(-48)/40. Are v and 41/4 nonequal?
True
Let c(x) = -x**3 + 16*x**2 + 39*x - 52. Let r be c(18). Which is greater: 3 or r?
3
Let f(n) = -n**2 + 1 - 6*n + n + 5*n + 2*n. Let u be f(-1). Which is bigger: -7/4 or u?
-7/4
Let f be (-1 + 0)/(4/(-36)). Let i = 6 + f. Suppose -5*t - 3*s - i = -0*t, 0 = -2*t + 3*s + 15. Is 4/11 equal to t?
False
Let w be 4/(-14)*(-28)/16. Let m = -46 + 57.7. Let z = m - 11. Which is smaller: z or w?
w
Let g = 1634/5 + -327. Is 0 less than or equal to g?
False
Suppose -5*a + 10 = 3*i - a, -16 = -4*i - 4*a. Let j be (-29)/i - (-2 - (-26)/12). Let y(b) = b**2 + 7*b + 6. Let t be y(-4). Which is bigger: t or j?
j
Suppose 2*l + 3*m + 185 = 0, -16 + 106 = -l - 2*m. Which is smaller: l or 1?
l
Let z(y) = -y**2 - 11*y + 9. Let i be z(-10). Suppose -5*s - 39 = -j + 4, -3*j + 5*s = -79. Is j at least i?
False
Let o be (-11)/21 - (-2)/(-6). Let n be 1/(3/13) - (119 + -115). Is n greater than o?
True
Let a(n) = -n**2 - 12*n - 10*n + 15*n + 12. Let b be a(-8). Which is smaller: 13/4 or b?
13/4
Let r = 21 - 20. Let h be (-35)/(-150) + 20/(-15) + 0. Which is greater: h or r?
r
Let r(h) = -10*h + 131. Let m be r(13). Which is smaller: 0.086 or m?
0.086
Suppose 4*f - 696 = -2*f. Let p = 10957253/94500 - -49/3375. Let h = p - f. Which is smaller: h or -1?
-1
Let p = -266 - -866/3. Let s = p + -23. Is s bigger than 9?
False
Let i be (0/52)/(6*1). Which is smaller: i or -1/18?
-1/18
Suppose c + 4*r + 10 = 0, -2*r - 94 = 4*c - 152. Suppose 0*j = -x + 5*j + 22, -j = 2*x - 33. Is c greater than or equal to x?
True
Suppose 628 = 6*j + 160. Let b = j - 77. Is 1 greater than or equal to b?
True
Let n(a) = -a**2 + 7*a. Let k be n(5). Suppose 2*c + 15 = 4*c + y, 4*c - 5*y - 9 = 0. Is k > c?
True
Let o be (1 - 0)*16/(-16). Let z be o/7 + 209/(-7). Let n be ((-16)/(-12))/((-2)/z). Is n less than or equal to 21?
True
Let y(d) = d**3 - d**2 - 16. Let q be y(0). Suppose -5*v + 3*r = 5 + 25, -4*r = v + 29. Let k be (-12)/v*(-20)/q. Is 0 <= k?
True
Suppose 5*y = -3*w - 211, -11*w = -6*w - 4*y + 401. Are -76 and w nonequal?
True
Let i(g) = 4*g**2 + 27*g - 8. Let m be i(-7). Does m = 17/35?
False
Let h = -44.2 + 0.2. Let n = -62 - h. Which is bigger: -1/2 or n?
-1/2
Suppose 0 = -5*x - 9 - 11. Let w = -2 - x. Suppose w - 3 = -o. Do o and 1/4 have different values?
True
Let z(h) = 605*h**2 + 4*h - 3. Let j be z(1). Which is greater: j or 605?
j
Suppose -2*d - 2*d = 0. Suppose -3*l - l = d. Suppose -2*w = -a - 32, -a - 2 + l = 0. Is w < 14?
False
Let d(z) = -132*z**2 - 6*z + 7. Let a be d(1). Which is smaller: -129 or a?
a
Let v = -416 - -251. Let g be ((-4)/(-10))/(117/v). Let c = -3/13 - g. Which is greater: 9 or c?
9
Suppose -t + 5 = 2*i + 2*i, 3*t + 2 = 5*i. Let c be -3 - 3/(-15)*17*t. Is 1 bigger than c?
True
Let o = -0.698 - 0.092. Does 1 = o?
False
Let f be (-238)/6 + (-8)/(-12). Let j = -38 - f. Which is smaller: j or -3/10?
-3/10
Let z = 21.2 + -0.2. Let f = z - 19. Is 4/3 >= f?
False
Let s be 9/3*4/(-6). Let j be 2/(s/(-20)*4). Suppose 2 = -m - j. Which is greater: -6 or m?
-6
Suppose 59 = 5*z + 3*d, 56 = 4*z - 0*d - 2*d. Suppose -b + z = 1. Let g(s) = -3*s + 27. Let h be g(b). Is -7 < h?
False
Let s be (-1)/(1/6*-9). Which is greater: -18/5 or s?
s
Let t(p) = 2*p**2 - 27*p + 14. Let b be t(13). Let n = -14.909 + 14.8. Which is greater: n or b?
b
Let f be ((-1)/(-3))/(2 - 113/57). Suppose -3*v - 11 = -2*r + 66, v = 4*r - f. Is -28 > v?
False
Let a be -1 + 2 + 2 + -3. Let t be 2 - 0 - a/2. Let h be t/6*(1 + -7). Which is smaller: -3 or h?
-3
Suppose 0 = 4*l - 2*k - 2*k - 240, 15 = -5*k. Which is smaller: l or 54?
54
Let g be (34 - 35)/(1 - (-2 - 5)). Let j = 52/3 + 13/6. Let f = 19 - j. Is f <= g?
True
Suppose -8 - 2 = -2*y. Let g be y + -2 - (-51)/(-18). Which is smaller: -1 or g?
-1
Suppose -1 = c - 6. Let d be 15/4 + (-5 - -7). Is c at most as big as d?
True
Let w = -52 + 66. Which is greater: w or 1/5?
w
Let s be (-9)/(-15)*(-472)/6 - -3. Let u = 44 + s. Which is bigger: u or 1?
1
Let p = -67 + 57. Let h = 52 - 54. Which is smaller: p or h?
p
Let h = -64786608/386555 + -2/77311. Do -167 and h have the same value?
False
Suppose -7*h + h = 156. Let r = h - -25. Which is bigger: r or -5/3?
r
Suppose 0 = -350*a + 346*a + 924. Is a >= 0?
True
Suppose -n - c + 21 = -5*c, -5*c - 29 = -4*n. Are 0.1034 and n non-equal?
True
Let j = -1016 + 1015.94. Let i(d) = -d + 3. Let h be i(4). Let k = 0 - h. Which is smaller: j or k?
j
Let g be ((-4)/(-8))/(5/50). Let y = 8 + -3. Are g and y equal?
True
Let q = 2.49 - 56.49. Which is greater: 1/3 or q?
1/3
Let j = -300 - -301. Is -1/55 >= j?
False
Let m = 0.2 - 0. Suppose -4*k - 2*p = -98, 5*p = -3*k + k + 61. Is m greater than k?
False
Let t(b) = -b**2 - 6*b + 74. Let n be t(6). Which is greater: 36/17 or n?
36/17
Suppose -2*i + 11*i = -45. Let g be ((i/50)/1)/((-2)/35). Which is smaller: 2 or g?
g
Let x = 422/21 + -1994/63. Which is smaller: x or -11?
x
Let d(a) = -3*a**2 + 10*a - 5. Let v be d(4). Let o = v + 17. Is o smaller than -5?
False
Let q = -422.9 + 423. Which is smaller: 2.12 or q?
q
Let g be 1/4 - 13/52. Let n = 0 - g. Let u be (2/(-12))/((-2)/4). Which is greater: u or n?
u
Let d(u) = u**3 + 8*u**2 + 16*u + 43. Let s be d(-6). Which is smaller: s or 8?
8
Suppose -p - 4*p = -190. Suppose -18 - p = -4*q. Which is bigger: q or 15?
15
Let p be 2*1/10 + (-104)/20. Let y(b) be the first derivative of b**4/4 + 5*b**3/3 + 5*b**2/2 + 2*b - 6. Let n be y(-4). Is p at least n?
False
Let j = -0.8 + 12.8. Let v = 9 - j. Let s = -3.01 + 0.01. Is v greater than s?
False
Suppose 5 = -2*h - 5*u - 3, -h = -3*u - 7. Is h less than 9/46?
False
Let b be 36/(-33)*(-18 - 3). Which is greater: 22 or b?
b
Suppose -28 = -5*s - 13. Let o(q) = q**3 + 8*q**2 - 3*q - 11. Let y be o(-6). Suppose -y*a = -73*a - 24. Is a equal to s?
False
Let o be (-1)/(249/896 - (-12)/(-42)). Which is greater: o or -1?
o
Let u = 48 - 16. Let c be ((-3)/(-4))/(1/u). Suppose -2*r = -6*r - c. Does r = -5?
False
Suppose -9*g + 15 = -8*g. Let z = g - -37. Is z smaller than 51?
False
Let o be (6/(-8))/(((-630)/(-24))/(-3)). Is o at most -1?
False
Let w = -11 + 7.3. Let m = w + 3.6. Which is smaller: m or 0.012?
m
Suppose 0 = 2*a - 0*a - 46. Let c = 41 + -17. Which is bigger: a or c?
c
Suppose 0 = i - 3, 0*u + 4 = -u + i. Let t(x) = 4*x**2 - 3. Let j be t(u). Does -7/8 = j?
False
Let o = 252 - 253. Which is smaller: -1/336 or o?
o
Suppose -2*y + 0*y + 5*n + 24 = 0, 5*n - 20 = 0. Let j be (3 + 14)*-1 + -21 + 22. Let a = y + j. Which is greater: a or 7?
7
Let s = -30 + 36. Suppose 0 = -3*j + 6*j + s. Is -8/5 >= j?
True
Let r = -0.0724 - -129.0724. Does 1/3 = r?
False
Let l be 1*11/(-4) + 2. Let m = -0.06 + 0.06. Let o = -1 + m. Is o at most l?
True
Let