Let v be i(-8). Which is smaller: c or v?
v
Let o be -18*(52/(-12) + 0). Let z = -108 + o. Which is smaller: z or -29?
z
Let k = -2.02 - -2.42. Which is smaller: -0.1 or k?
-0.1
Let p(j) = -j**3 - 8*j**2 - 6*j - 9. Let o be p(-7). Let h = -13 - o. Suppose -4 - 2 = -h*x. Which is smaller: x or 0.5?
0.5
Let j = 29 - 26. Let o(i) = 4*i - 10. Let d be o(j). Suppose d = 2*s + 4. Is -3/23 smaller than s?
False
Let c(n) = 5*n - 17. Let k be c(-5). Let q = -45 - k. Let m(w) = w - 6. Let u be m(4). Which is greater: u or q?
u
Let a be (-6)/3*(0 + -2). Suppose 0 = -7*p + a*p + 9. Suppose p*h = -11 + 2. Is -3 at most as big as h?
True
Let o = 450 - 448. Let k = -1.3 + 0.3. Do k and o have the same value?
False
Let i(s) = -10*s - 86. Let u be i(-5). Is u <= -37?
False
Suppose 5*u + 2*x - 321 = 0, -4*u - 3*x - x + 264 = 0. Let v be 25/7 - (-27)/u. Let b be v - (1 - 4/(-2)). Do 3/8 and b have different values?
True
Let h be 5/(30/4) + (-7563860)/1434. Let s = 5274 + h. Which is greater: 1 or s?
1
Let k(f) = -f**3 + 12*f**2 - 3*f + 12. Let v be k(12). Let a = v + -34. Is a < -58?
False
Let d(o) = -o**2 - 9*o + 35. Let b be d(-12). Which is greater: b or 1/372?
1/372
Let d = -2.67 - 0.03. Let a = -1.7 - d. Is -2.9 greater than a?
False
Let j = 79.91 - -2.09. Is j > -3?
True
Let f = 828 - 826. Let x(t) = -t**3 + 2*t + 1. Let j be x(2). Which is smaller: j or f?
j
Suppose 4*w - d - 58 = 0, -2*w + 6*w - 64 = -2*d. Let l = w - 14. Suppose 0 = o + l. Which is smaller: 0 or o?
o
Let p = 10.02 + -38.5. Let g = p + -0.52. Let f = g - -30. Is 4 greater than f?
True
Let z = -160 - -88. Let v = -66 - z. Is 6 at least v?
True
Let c be 116 + -123 - 57/(-5). Let u be (5 - 2) + (3 - 2). Which is smaller: u or c?
u
Let c = 569150 - 227090992/399. Let j = -4/57 - c. Is 2/3 smaller than j?
False
Let v = -112 + 197. Let w be 43/(-215) + 7/v + 0. Is 1 smaller than w?
False
Let n(d) = 3*d - 4. Let g(q) = -3*q + 4. Let y(l) = 2*g(l) + 3*n(l). Let k be y(2). Let h = -9 - -13. Is h at least k?
True
Let h = 29 - 31. Let t = -6 - -5. Are t and h equal?
False
Let p be 10/4*80/(-50) + 97. Let k = p + -79. Is k > 27/2?
True
Let s = 1 + -3. Suppose -p + 15 = -4*p. Let i be (-5 + p)*(-2)/(-24). Which is greater: s or i?
i
Suppose 52*f + 147 = 49*f + 3*q, -4*q + 250 = -5*f. Which is greater: 1/4 or f?
1/4
Let w = 733 + -16849/23. Is -1 at least w?
False
Let s be (3 - 6)*4/(-6). Suppose 0 = -j - 3*x + s, -x = -5*j + 10. Suppose f = -j*f - 3. Are f and -1 non-equal?
False
Let p = -130 - -142. Let s(l) = 4*l**3 - l**2 - l + 1. Let n be s(1). Is p at least as big as n?
True
Suppose 239*j + 30 = 233*j. Is j greater than -55/14?
False
Let z(t) = -3*t + 17. Let r be z(10). Are r and -49/4 equal?
False
Let n be (0 + 0)/(1/(-1)). Which is greater: n or 5/42?
5/42
Let t = 4 + -1. Let h be (-6)/(-15) - t/(-5). Suppose s = h + 9. Do s and 9 have the same value?
False
Let r be 93/423 + 70/90 + -1. Is r smaller than 1?
True
Let l = 10/99 + -356/2871. Let v be -4 - (-1)/2*6. Which is greater: l or v?
l
Suppose -w + 4*w = -6. Let a be w*(2 - 6/(-4)). Let h be 561/77 - (-2)/a. Are 7 and h non-equal?
False
Suppose 6*j + 4 = 2*j. Let w(u) = -6*u + 1. Let t be w(j). Is 7 greater than or equal to t?
True
Let c(l) = l**2 - 2*l + 1. Let u = -15 - -7. Let t be (1 - u/(-4))*2. Let w be c(t). Is w < 8?
False
Suppose m + 1 + 0 = 4*z, -2*z = 5*m - 39. Let u be ((-8)/14)/((-2)/m). Let l be (-21)/14 + (-7)/(-2). Is u less than or equal to l?
True
Let b = -30.039 - -0.039. Let c = b + 56. Let s = c - 33. Is s >= -1?
False
Suppose 4*g + 15 = 23. Is g > 3?
False
Suppose 2*u + 0*u = 18. Suppose 3630*g - 3642*g + 108 = 0. Is g equal to u?
True
Let j be 2 + 14 - (7 - 8). Suppose 0 = -5*c - 7 + j. Suppose -4*l = -6 - c. Are l and 5/6 non-equal?
True
Let t = 0.303 + 3.697. Which is smaller: 6 or t?
t
Let h = 0.5 - 0.7. Let i = 23.963 - -0.037. Let g = i + -24.1. Is g less than h?
False
Suppose -3*c + 6 = -0*c. Suppose 157 + 123 = 20*p. Are p and c equal?
False
Suppose 0 = -3*x + x - 2*o, -6 = 3*x - 3*o. Which is smaller: 1/538 or x?
x
Let l = -28 - -35. Let a be -1 - 3/(-6)*-2. Let k be a/(-3)*63/6. Do l and k have the same value?
True
Let j be -3*85/(-675) + (-3)/5. Let c = -1.05 + 0. Let o = c + 0.05. Which is bigger: o or j?
j
Let c(s) = -5*s + 16. Let r be c(3). Let p = -729/2 - -19703/54. Is r not equal to p?
True
Let a = -1114.001 + 1114. Is a != 10?
True
Let n(j) = 2*j + 15. Let y be n(0). Suppose -x = 2*x - y. Suppose x*l = -2*i + 4*i - 20, -l + 3*i - 4 = 0. Is -11/4 smaller than l?
False
Let q be (-4 - -3)*-2 - 1804/(-11). Is q at least 166?
True
Let g = 5843/23 + -254. Let n = -25/46 + g. Is n at least as big as -1?
True
Suppose w = 4*w - 9. Let c be -5 - (2 - 3 - w). Which is smaller: -25 or c?
-25
Let a(q) = 2*q**3 + 9*q**2 + 9*q + 8. Let o be a(-5). Let b be 5/(-10)*o/(-4). Which is greater: -7 or b?
-7
Let l = -776 - -768. Is -95/12 greater than l?
True
Let u be 7/(-14)*0/(-1). Suppose u*a = -4*a - 16. Let p be ((-20)/6)/(a/3). Does p = 3?
False
Suppose -4*d + 150 + 50 = 0. Suppose -c - 2*c = 15, -3*y - 5*c + d = 0. Is 25 <= y?
True
Suppose 4*z = 2*j + 48, -z + 1 = -3. Are j and -14 equal?
False
Let w = 2414109333/17864 - 1486546/11. Let m = -12/203 + w. Which is greater: -3 or m?
m
Let y = 94 - 57. Suppose -q - y = -4*n, q + 0*q + 2*n + 25 = 0. Does -30 = q?
False
Let u = 254 - 1272/5. Is u != 8?
True
Suppose -152*a + 147*a = 5. Which is bigger: 3/20 or a?
3/20
Suppose 0*r - 16 = -r + 3*u, -3*r = -5*u - 28. Let k be r/(-7) - 72/(-112). Let o(m) = -m + 3. Let p be o(3). Which is bigger: k or p?
k
Suppose 5*g + 0*n = -2*n + 245, 4*n = -g + 31. Is g less than or equal to 9?
False
Let g = -0.623 - -0.003. Let t = -0.52 - g. Is -26 >= t?
False
Let d(w) = w**2 - 11*w - 22. Let t be d(13). Suppose 4*r = 7*r + x, 2*r - t*x = 14. Let u be (1 + r)*(-1)/(-2). Do u and 1/27 have different values?
True
Let c = 20 - 2. Let k = 15 - c. Are -2 and k non-equal?
True
Let x = 14 - -3. Suppose 5*k = 21 + 4, -2*s + x = 5*k. Is -3 at least as big as s?
True
Let v be 42/(-15) + 12/30. Let n = v - -14/5. Is n greater than 0?
True
Let z be 4/(-138)*(5 + -14). Let y = 2770/7 - 396. Which is smaller: y or z?
y
Let d = -1 + 4. Let y = -298 - -334.9. Let b = y - 37. Which is smaller: d or b?
b
Let t = 60 - 59. Let h be 4*(-3)/(-12)*t. Which is smaller: h or 1/7?
1/7
Suppose 0 = -2*k + 5*n - 123, 4*k + 4*n + 103 + 73 = 0. Which is greater: -0.2 or k?
-0.2
Let d = 11153476/643 - 17346. Which is bigger: d or 1?
1
Suppose 6 = 2*n + 4*m - 2, -n - 2 = -m. Suppose -2*i + n*i - 6 = -5*j, j = -2*i - 6. Which is greater: j or -0.18?
j
Let r be (1 + 1)*(-14 - -17). Let z be (4/r)/((-12)/36). Which is smaller: -1.7 or z?
z
Let g = 229 - 228. Is 4/115 > g?
False
Let i(s) = -33*s - 231. Let f be i(-7). Which is greater: f or -10/13?
f
Let z(x) = x**3 + 5*x**2 - 3*x + 14. Let v be z(-6). Let n be (-1943)/(-116) - (-3)/v. Which is bigger: n or 14?
n
Let s be (-8 - 1) + 65909/7327. Which is greater: 1 or s?
1
Let t = -254 + 221. Is t >= -36?
True
Let g = 0 + 6. Suppose -y + g*y = -2*s + 323, 3*y - 192 = -3*s. Let v = y + -328/5. Which is bigger: -0.1 or v?
-0.1
Let r = -14 + 7. Let f be 2/12*2*12. Suppose f*g = 5*s + 30, -4*s + 0*g = 5*g + 24. Is r greater than s?
False
Let z = -0.3 - 8.7. Let a = z + 9.15. Let g = a + -1.15. Which is greater: g or 4/5?
4/5
Let z be 1 + (-6)/(-3) + -1. Let f be 2/(-3)*(-6)/z. Suppose d - p + 6 - 2 = 0, -3*p + 12 = d. Is d <= f?
True
Suppose 2*o = -3*o + 820. Suppose x + 19 = -p, 5*p - 49 = 5*x - o. Let u = -19 - p. Which is smaller: u or 0?
0
Let i(a) = 3*a + 21. Let b(o) = -3*o - 21. Let s(k) = -7*b(k) - 6*i(k). Let j be s(-16). Let h = 8 + -35. Is j < h?
False
Let f = 1085 + -1084.1. Is f greater than -1/2?
True
Let g = -7340/9711 - 10/747. Let f = -3 - -3. Which is greater: f or g?
f
Let o = 7 + -2. Let c be (-25 - 4906/(-198))*1/2. Which is bigger: o or c?
o
Let b(f) = -f**3 - 2*f**2 + 2*f + 4. Let g = -16 - -14. Let m be b(g). Let c be 84/(-39) - (-4)/2. Which is smaller: c or m?
c
Let d = 0.23 + -0.91. Let g = 0.66 + d. Which is smaller: 2/13 or g?
g
Suppose 5*r - 386 = -4*j, 140 = 3*r - r - 2*j. Suppose 1636 - 436 = 16*z. Which is smaller: z or r?
r
Let p = 4261358/18027 + 114/2003. Let y = 236 - p. Are -2 and y 