t c(b) = -3*b + 33. Let n be c(11). Which is bigger: n or 2/649?
2/649
Suppose -12*q = -11*q - 5. Suppose -9*g - 4 = q. Let t = 2/87 - 11/58. Is g greater than t?
False
Let n = -15.09 - -0.09. Let o = n + 15.05. Let d = 9 + -10. Are d and o nonequal?
True
Suppose 0 = 2*x - 3*h + 44, -1 = x - 4*h + 16. Which is bigger: x or 0.2?
0.2
Let z be (-1 + 355/340)/((-15)/10). Which is bigger: z or 1?
1
Let q be ((-2)/(-5))/(8/10). Suppose 6*y = y + 5. Suppose -y + 2 = c. Which is bigger: q or c?
c
Suppose 108 - 36 = -8*u. Let b(w) = 2*w + 20 - 19 + 9*w. Let d be b(-1). Which is bigger: u or d?
u
Let r = -462841/63 - -7347. Which is bigger: -1 or r?
r
Let j be (-22)/66 - 607/15. Is -41 bigger than j?
False
Let u be -25*(-4 + 138/30). Which is bigger: 31 or u?
31
Let u be (-62)/3*84/(-8). Which is bigger: u or 218?
218
Let x be -135*(2 + (-36)/15). Suppose 5*v + 4*b = x, -4*v - 2*b + 44 = -4. Let w = v + -16. Is -2/3 bigger than w?
True
Let s = -516/11 - -8816/187. Let d = s + -33/68. Is -1 bigger than d?
False
Let p = 15 - 36. Let b = -39 + 72. Let s be ((-16)/(-12))/((-2)/b). Is p not equal to s?
True
Let f = 398 + -407. Does f = -31?
False
Let q be (441/660)/((-801)/(-42)). Let g = 3/178 - q. Is g > -1?
True
Let d = 4.888 - 4.9. Let t = 0.212 + d. Do t and -0.1 have the same value?
False
Let z be (-129)/(-215)*((-22)/42 - -1). Let s be 2 + (402/(-207) - 0). Let f = 158/345 - s. Which is smaller: f or z?
z
Let g = 1 - -12. Let q = 13.2 - g. Let f = 0 - 2. Is f equal to q?
False
Let q(t) = 2*t + 32. Let u be q(7). Is u > 47?
False
Let d(n) = -6*n**2 - 34*n + 19. Let u be d(10). Is -921 less than or equal to u?
True
Let k be (-8)/4*(-7)/28*0. Which is smaller: k or 92?
k
Suppose 98 - 21 = k. Suppose -2*j - k = 3*t, 3*j + 108 = 2*t - 4*t. Which is greater: j or -33?
-33
Let u be -4 - 18/52*-10. Which is smaller: -2 or u?
-2
Let o = -13 + 12. Let c(x) = -4*x**3 + x**2 - 1. Let i be c(o). Suppose -4*q + b = 6, 3*q + 0*q + i*b = -14. Which is smaller: -16/7 or q?
-16/7
Let a(z) = 31*z - 46. Let l be a(-4). Which is smaller: l or -172?
-172
Let p(b) = 3*b**3. Let l be p(1). Let j = 11 + -8. Suppose -4*g + 14 = -j*s, 0 = -3*g - s + 4. Is g less than l?
True
Let d = -151.8 + 135. Let z = -90 - -107. Let y = z + d. Which is smaller: y or -4?
-4
Suppose 0 = -27*f + 90 - 117. Which is bigger: -1/2419 or f?
-1/2419
Suppose 302 = 7*t + 260. Is -2/5 > t?
False
Let i = 0 + 4. Let c = i + -4. Suppose c*o - o = 1. Is -1 less than o?
False
Suppose -i + 5*i - 4 = 0. Let a be (0 + 3/6)*-6. Let h be 2 + 1/(a/45). Which is greater: i or h?
i
Let v = -65/116 - -9/29. Which is greater: v or 1.8?
1.8
Let c = -3.7 + 5.7. Let s = 0.2 + -0.1. Which is smaller: c or s?
s
Suppose -j + 40 = 3*j. Suppose 5*l = 3*l - j. Let o be (-16)/40 - 32/l. Which is greater: o or 1?
o
Let q = 158 - 161. Is q != 0.28?
True
Let q be (-28)/(-7) - (0 - -4). Suppose 2*y - 2*h + 10 = 0, -12 = 2*y - q*y - 4*h. Let l = 0.03 + -0.03. Are y and l nonequal?
True
Let h = 2 + -2.05. Let g = h + -0.05. Let p be (-9)/6 + 2 - 164/344. Which is smaller: p or g?
g
Let u be (1/3)/((-46)/(-138)). Which is smaller: u or 1/10?
1/10
Suppose 5*v - 4*x = -54, 3*x = 8 - 20. Which is bigger: v or -15?
v
Let z(f) = f**3 - 17*f**2 - 20*f + 39. Let b be z(18). Suppose -2*u = -s - 14, -5*s - 20 = -b*s - 2*u. Which is greater: -9/2 or s?
-9/2
Suppose -5*v + 4*k + 9 = 15, 3*v + k + 7 = 0. Let p = 0.3 - 0.31. Which is smaller: p or v?
v
Let z(c) = 21*c + 10. Let d be z(-7). Let u = -241 - d. Let g = -1041/10 - u. Does -1 = g?
False
Suppose -3*h + 20 = 2*f, 3*f + f - 36 = -5*h. Let a be 9/f*8/3. Which is smaller: 3 or a?
3
Let n = -33 - -36. Suppose 5*j - 7 = -2*y, -2*j - n*y = -5*j. Which is smaller: -2/219 or j?
-2/219
Let v = 1/1432 + 48683/7160. Let n(w) = w + 16. Let z be n(-9). Which is bigger: z or v?
z
Let r be 70/812*8/10. Let o = -10 - -6. Is o >= r?
False
Suppose 0 = z - 4, -3*x - 6*z + 9*z - 12 = 0. Which is greater: x or 1/211?
1/211
Let a be 8*-1*16/4. Let u be (-440)/a - (-1)/4. Let x be u/(-7) - (1 + -1). Is -2 at least as big as x?
True
Let y be 1/(1/(-5)) - 58. Is -249/4 at least y?
True
Let m = -6219/13 + 479. Which is smaller: 2/27 or m?
2/27
Let a = 2736 + -38343/14. Is a at least -1?
False
Let p(k) = k**2 + 5*k + 3. Let y be p(-7). Suppose -y*s + 19*s = -50. Is -25 smaller than s?
False
Suppose 4*j + 50 = 5*u - j, 0 = u - 2*j - 14. Suppose u = -7*a + 20. Let x be 4/(-14) + (-12)/(-14). Which is smaller: a or x?
x
Suppose -2*c + 0 = -2. Suppose -2*v + y + 2 - c = 0, 4*v + y + 13 = 0. Let m be 5/(-20)*40/18. Is m equal to v?
False
Let f be 101 - 288 - 1*4. Is -193 <= f?
True
Let h = 72.65 + -70. Let q = -0.65 + h. Which is bigger: q or -12?
q
Let q = -0.038 - 33.962. Let a = q + 33.9. Which is smaller: a or 0.08?
a
Let i = 1510 + -1508.1. Is -2.2 at least as big as i?
False
Let b = -13.28 - 6.72. Is b >= 8?
False
Let h be ((-65)/13 + 55)*4/5. Let k = 2 - 5. Let z be h*k/12*2. Is -19 at most z?
False
Suppose 7*h = -22 + 15. Let b be ((-10)/6)/(2/(-372)). Let t = b - 4032/13. Do t and h have the same value?
False
Suppose 11*y - 9*y = -2*f + 70, 4*y - 2*f = 128. Is 13 >= y?
False
Let f = 0.21 + -16.21. Let i = 10 + f. Let s = -8 - i. Is s less than 2?
True
Let a be ((-2)/(-4))/(4/8). Suppose 5*x = t - 13, 0*t + 4*t - a = 3*x. Suppose 3 = 3*h, 3*h + 8 = -5*i - 4. Is i greater than or equal to t?
False
Let t = 3298/21 + -1096/7. Which is smaller: 1 or t?
t
Let w(k) = -2*k + 19. Let i = 34 + 2. Suppose -7*v + 3*v = -i. Let n be w(v). Is 1 >= n?
True
Let y = 2.5 + 135.5. Let m = y + -134. Is -1 >= m?
False
Let f(l) = -5*l**2 - 8*l - 22. Let g(m) = -11*m**2 - 17*m - 45. Let d(y) = -13*f(y) + 6*g(y). Let w be d(5). Which is smaller: w or 4/21?
4/21
Let f be 70/7*35/14. Which is greater: -10 or f?
f
Let b(c) = c**3 + 8*c**2 + 8*c + 6. Let m be b(-6). Let d be 2/(496/m) + 44/(-176). Which is bigger: d or -1?
d
Let t = 7 + 2. Let h = -0.11 - -7.11. Let q = h - 6.9. Are t and q equal?
False
Suppose 0 = -i + 5*i - 12, 4*d = -3*i - 155. Which is greater: d or -38?
-38
Let c be (-23 - -25)/((-2)/88). Which is smaller: c or -90?
-90
Suppose 0 = -14*o - 403 + 25. Is -34 less than or equal to o?
True
Let t = 30 - 14. Let s(r) = 3*r - 48. Let h be s(t). Which is bigger: 2/73 or h?
2/73
Suppose -2*z = -v - v - 14, -2*z = v - 8. Let h = 16 + -14. Suppose -4*j + h*q - 26 = 0, -q + 7 = 2. Is v <= j?
False
Let h = -74.955 + -0.045. Which is bigger: h or 9?
9
Let u be (2 + -1)/(5/25). Suppose 30 = 4*o + u*l, 0 = -4*o + o + 3*l + 9. Suppose o*z = 5 - 0. Which is smaller: -1 or z?
-1
Suppose -3*u + 5*m + 3 = -12, -3*m = 4*u + 9. Let o be 2/3 - 384/(-18). Let v be 3 + -4 - o/(-16). Is v at least u?
True
Suppose -2*d = u + 6, -u = -d + 3 + 3. Let p be (-2)/(4 - (-38)/(-10)). Is p <= u?
True
Let w(z) = z**3 + 19*z**2 + 75*z + 1434. Let l be w(-19). Suppose 50 = b + 4*b. Which is bigger: l or b?
b
Let q(i) = -2*i**2 + 23*i + 188. Let p be q(17). Is p greater than or equal to -1/1040?
True
Let b(k) = -3*k - 4. Let j = 25 + -31. Let p be b(j). Which is greater: 15 or p?
15
Let v(u) = -2*u - 4. Let j be v(-2). Suppose j = -4*g + g - 5*m - 12, g - 5*m = 16. Suppose 3*b + o - 19 = b, 2*b + 5*o + g = 0. Which is smaller: 11 or b?
11
Let w(a) = 3*a - 4 + 12 - 5*a. Let n be w(6). Let r = 59 + -62. Is n smaller than r?
True
Let r(s) = s**2 - s - 134. Let j be r(0). Let t = j - -129. Is t <= -4?
True
Suppose 0 = 4*d - a + 2*a - 13, -4*d + 3*a = 7. Let w(n) = -n + 10. Let s be w(7). Suppose -2*m = -0*k + 2*k, 5 = s*m - 2*k. Is m != d?
True
Suppose 3*t = -27 - 12. Let v = t + 23. Suppose 0 = 5*q - v + 25. Are q and -2 equal?
False
Let g(m) = 17*m**3 - 5*m**2 + 16*m - 19. Let x(l) = 9*l**3 - 3*l**2 + 8*l - 10. Let d(a) = -6*g(a) + 11*x(a). Let o be d(-3). Is 81 equal to o?
False
Let d be 17/6 - 1/(-6). Let j(c) = 2*c**2 - 29*c - 82. Let z be j(17). Is z < d?
False
Let m(r) = r**2 - 2. Let y be m(-2). Let d be 1/y*(1 - 0)*-4. Is 12 bigger than d?
True
Let t = 1 - 4. Let u(p) = p**2 + 6*p + 3. Let j be u(-5). Are t and j non-equal?
True
Let h = -2141.2 - -2141. Is h at most 0.0642?
True
Let v be (-1 - 1)/(((-117)/364)/(-9)). Which is smaller: v or -59?
-59
Let y = 25 - 25. Which is bigger: -1/12 or y?
y
Suppose 0 = l - 2*h + 10, 5*l + 9*h - 6*h - 2 = 0.