 -2?
-2
Let c be ((-1)/2)/((-12)/5816). Which is greater: c or 243?
243
Let c = -1060 - -1150. Which is smaller: c or 91?
c
Suppose 5*i = i - 36. Let w be 3/5*((-240)/i)/(-5). Is -3 equal to w?
False
Let a(r) = -5*r**2 + 2*r - 13. Let d be a(3). Let v = 53 + d. Which is bigger: 4/39 or v?
v
Let v be ((-2)/(-1))/(2*-1). Suppose -3*f = 4*p - 0*f, -4*p - 4*f + 4 = 0. Let h be 1 + (p - (-6 - -4)). Which is greater: h or v?
h
Let f be -2*18/15*(-6 + -54). Suppose -2*t - f = -2*i, 0 = 5*i - 0*i + 3*t - 328. Is 68 less than i?
False
Let j = -7.72 - -0.12. Let s = j - -6.6. Which is bigger: -34 or s?
s
Suppose z - 4*z = -18. Suppose -16 = 2*h - z*h. Suppose 0 = 9*l - h*l. Which is greater: 2/53 or l?
2/53
Let r = 215/3266 - -3/142. Are -0.1 and r nonequal?
True
Suppose 13*m - 16*m = -6. Let h be (-318)/(-108) - 1/(-6). Which is smaller: m or h?
m
Let h be (2 - 4) + (-1 - -22). Let y = -27.2 - -26.2. Is h at least y?
True
Let k = 502.93 + -484. Let u = k + -19. Which is smaller: u or -5?
-5
Suppose -4*a = -a + 108. Let f = -0.711 - -0.711. Are a and f unequal?
True
Let i = -102 + -2. Let n be i/14 + 4 - -1*4. Which is bigger: n or 0.07?
n
Let b(l) = 3*l + 17. Let v(z) = -10*z - 50. Let s(g) = -7*b(g) - 2*v(g). Let n be s(-12). Which is bigger: n or -6?
-6
Let w(i) = i**3 + 4*i**2 - 5*i + 2. Let j be w(-5). Let u be (-4 + j)*-1 - 13. Suppose 3*y = -2*y - 3*d - 54, 12 = -2*y + 2*d. Is u < y?
True
Let z(c) = c + 31. Let s be z(-28). Is 12 < s?
False
Let q be 5/(5/(-12))*322/28. Are q and -418/3 non-equal?
True
Let q = -24 - -23. Let j = 0.399 - 0.049. Which is bigger: q or j?
j
Let d be (4/(-16))/((-3)/12). Let j = 155/18 + -17/2. Which is bigger: j or d?
d
Let d = 90 - 14. Let w = d - 88. Is 5 < w?
False
Let m be (-2)/(-2 - (-45)/21). Let r be (950/105)/(6/m). Let f = 1547/72 + r. Which is greater: -2 or f?
f
Suppose n = 4*i + 255, -129 = 2*i + 2*n - 3*n. Is -61 >= i?
True
Let u = 1601/2 - 4241/6. Is 93 greater than u?
False
Let k be 5*(-5 - 0/(-6)). Suppose -5 - 5 = 2*m - 2*y, 2*y + 2 = -4*m. Let f be m/(-8) - (-582)/(-24). Is k greater than or equal to f?
False
Let u be (48/(-30) + 4)*10/21. Is u greater than or equal to 0?
True
Suppose -5*u + 19 = -o, -o + 4 = 4*u + o. Suppose 0 = 4*t + u + 21. Let g = -55/207 - -1/23. Which is smaller: t or g?
t
Suppose 4*s - 74 = -18. Suppose -4*m = -7*m - 54. Let f = m + 31. Is f at most as big as s?
True
Let f be (-4)/(-36) - 250/225. Let t = -6 - -4. Is t at most as big as f?
True
Suppose 2*n - 4*l = 10 - 0, -13 = -3*n + 4*l. Suppose 3*j = 2*h, -n*j = -h - 0*h. Is j at least -6/49?
True
Let q = -47 + 47. Which is smaller: q or 2?
q
Let a = 0 - -0.16. Let r = -10.84 - a. Let t = r - -3. Is -1 <= t?
False
Let r = -171 + 169. Is r at most as big as -12/7?
True
Suppose 88 = -6*x + 7*x. Which is smaller: x or -1?
-1
Let o be 1*2*1*23/(-92). Is -1/12 greater than o?
True
Suppose -8 = -2*m - 2. Let f be (-19)/(-4) - 4/(-16). Suppose 7 = i - f*b, m*i - b = -3*b + 38. Are i and 12 unequal?
False
Let s(g) = -g**3 + g**2 + g - 1. Let q be s(1). Suppose 5*v - 20 + 0 = q. Suppose -v*n + 3*b = -6, b + 4 = -n + 2. Which is smaller: n or -1/8?
-1/8
Suppose 66 = 34*f - 67*f. Which is smaller: -5/9 or f?
f
Suppose 0*x + 3*x = 3. Let k(s) = 5*s**2 - 2*s + 1. Let q be k(x). Suppose -3*c - 16 = 3*l + c, 2*c = -q*l - 8. Which is smaller: l or -2?
-2
Let t = -742 - -5196/7. Which is greater: t or 186?
186
Suppose 3*g = 4*x + 13, -2*x + 17 = 4*g - 7*x. Suppose 2*c = -5*d - 25, g*c + 19 = -2*d + 4*c. Which is smaller: d or -8?
-8
Let n(r) = r**3 - 7*r**2 + 2*r - 9. Let c be n(7). Suppose 0 = c*l - 2*l - 477. Let x = l - 1433/9. Is 1 bigger than x?
True
Let t be (-24)/42 + 6320/35. Is 179 at most as big as t?
True
Let x be (-5 - (-13352)/2672)*(-6 - 0). Which is smaller: x or -4?
-4
Let h = 4.1 + -11.1. Let r = h + 27. Is r greater than or equal to -1/4?
True
Let r be 1*(-90)/(-12) + 2/4. Let l be r/((-24)/99) + -3. Is -35 at most as big as l?
False
Suppose p - 5*n = 22, 5*n = 4*p + 2*n - 20. Suppose -20 = -5*f - p*i, 3*f - f + 5*i = -13. Which is smaller: 24/5 or f?
24/5
Let z(x) = -5*x - 4. Let r be z(2). Let o(t) = -15*t**3 - t**2 + t. Suppose 4*c = l - 1, -c + 4 = 4*l - 0*l. Let f be o(l). Does f = r?
False
Let a = -5 - -12. Let x be 5/580*(-8)/a. Let k = x + 223/2030. Is k smaller than 0?
False
Let s = -8 + 3. Let y = s + 6. Is 4 bigger than y?
True
Let j = -231 + 231. Let w = 2 + 0. Let z be (-1 - -1) + 0 - w. Which is bigger: z or j?
j
Let q = -16 - -21. Suppose -q*d - 3*m + 74 = 0, 6*m + 36 = 2*d + 4*m. Suppose 0 = -4*j + 8, y + d = -y + j. Which is greater: y or -5?
-5
Let o = 0.745 - 0.616. Is o at most 2/3?
True
Let c = 4.009 - 0.009. Let k = -0.99 + -0.01. Let j = k - -1.1. Which is bigger: c or j?
c
Let f be (-14)/4 - (-5)/(-10). Let t be (2/f)/((-1)/32). Let z = -17 + t. Are -2 and z equal?
False
Suppose 198 = -9*n - 0*n. Let f be (8 - 7)/((1/21)/(-1)). Which is smaller: f or n?
n
Suppose t - 50 = -5*z, -5*z + 11 = -9. Suppose 2*k + 2 + 4 = 0, 9 = 4*s + k. Suppose -p + 5*p - 22 = -s*h, -4*p + h + t = 0. Which is smaller: p or 5?
5
Let f = 6725/352 + -69097081/1760. Let i = f - -39096. Let n = 147 + i. Do n and 2 have the same value?
False
Let y = 474 - 473. Which is smaller: 21/29 or y?
21/29
Suppose -3*k - 46 = -4. Suppose 3*y + 5*b + 9 = 0, y - 4*b = 2*y + 10. Suppose -5*r + 20 = -4*w + 86, -4*r = -y*w + 54. Are k and r nonequal?
False
Suppose -13 = 4*b - 2*b - 5*u, -b - 3*u + 10 = 0. Which is bigger: b or 31/24?
31/24
Let p = 7337203115828642/6267885 + -228267534059/195. Let c = -1/32143 - p. Let l = c - 3243/91. Is 2 > l?
True
Let x = -3 + -2. Let j(a) = -9*a**2 + 48 + 24*a + 0*a**2 + 8*a**2. Let y be j(26). Does y = x?
False
Let k be 8*41/(-2) - (-7 + 4). Is -160 > k?
True
Let x(w) = 6*w - 4. Let j be x(1). Let g be (3 - (101 - 2))/(3/j). Are -64 and g unequal?
False
Suppose 3*j + 148 = 4*g, 4*j - 21 = -4*g + 127. Let m = -38 + g. Do -9/5 and m have the same value?
False
Let k = -3 - -3. Let l = -0.1 + k. Let i be (-10)/(-8) + -2*6/12. Is i >= l?
True
Let h = 2 + -7/3. Suppose -r = 4*o + 68, 2*o = 4*r - 0*r - 52. Let w = 18 + o. Do w and h have different values?
True
Let l be 20/10 + -1 + -4. Let a be 4*7/2 - (l - -2). Which is greater: a or 19?
19
Let f(j) = 9*j**3 + 26*j**2 - 16*j - 31. Let t(g) = 5*g**3 + 13*g**2 - 8*g - 16. Let u(b) = -6*f(b) + 11*t(b). Let x be u(12). Is x <= -38?
True
Let a = 1917/2354 - -15/107. Let i = a + 49/110. Which is smaller: i or -3?
-3
Let q = 489.8 + -490. Do q and -50 have the same value?
False
Let i = -623/3 - -206. Suppose 149 = -88*b - 115. Is i less than b?
False
Let q be 745/18*(-280)/(-50). Let u = -232 + q. Which is bigger: -8 or u?
u
Let q(d) = -d**2 + 3*d + 3. Let n be q(-1). Let f be n/(1/(-8 - -4)). Are f and 0 unequal?
True
Let g be ((-2)/6)/(1/3). Let n be -3*1/(2/(-10)). Suppose -5*t + 10 = -t - 2*m, -2*t + 3*m + n = 0. Which is smaller: t or g?
g
Let y = 3 + -3.3. Let r = 3099/956 - -2/239. Let g = 47/12 - r. Which is smaller: g or y?
y
Let a = 748 + -842. Which is greater: -97 or a?
a
Suppose n + 1 = -0. Let y(l) = -2*l**3 - 2*l**2 + 1. Let m be y(n). Let d = 0.27 - 0.27. Is m less than or equal to d?
False
Let l = -388 + 801/2. Let g = l + -12. Which is bigger: 3 or g?
3
Let c(a) = -7*a**2 + 4*a + 2. Let f be c(2). Let n be (f/(-15))/6*-2. Which is smaller: n or -5.6?
-5.6
Suppose -17*g - 203 = 307. Which is bigger: -2/17 or g?
-2/17
Let r be ((-348)/20)/((-405)/(-2850)). Which is smaller: r or -122?
r
Suppose -11*u + 32 + 23 = 0. Let h = 1 - -4. Suppose 0 = -u*n + 4*b - 10, -2*n - h*b = n + 6. Is -2 smaller than n?
False
Let m = -54 + 54. Is 31 != m?
True
Let j be (-214)/(-5)*(-750)/(-700). Is 45 <= j?
True
Let z = -608 - -319. Which is bigger: -288 or z?
-288
Suppose 2*s - 3*v - 7 - 6 = 0, -2*v = 5*s - 61. Which is bigger: 45/4 or s?
45/4
Let v(l) = -55*l + 7. Let f be v(-6). Suppose f = -10*c + 67. Which is smaller: c or -24?
c
Suppose -4 = -2*w - 3*x + 7, 3*x - 15 = 0. Let u be (-3)/15 - (w + 2 + 2). Which is smaller: u or 2/5?
u
Let q = 51 + -203/4. Let t = 10 + -33.5. Let f = 23 + t. Which is smaller: f or q?
f
Suppose -3*w - 2*w - 70 = 0. Let q be ((-2)/3)/(4 + w/3). Which is greater: q or -1/3?
q
Suppose -2*c - 648 = -8*c. Let j = c - 107. Which is greater