2*m + m + 68 = 0. Suppose 0 = -0*c + 2*c - 72. Let x be 2/(c/d) - -3. Which is smaller: x or 0?
0
Suppose -5*s - 25 = 4*u, 4*s = 2*u - 7*u - 20. Which is smaller: -10 or u?
-10
Suppose 0 = n - 0 - 6. Suppose 2*k - n = 2. Which is smaller: k or 2?
2
Let g be (84/294)/(2/4). Which is smaller: g or 0.6?
g
Suppose 2*t - 11 = -1. Suppose -2*s - 3*s + 110 = t*i, 2*s + 3*i = 42. Let v = -119/5 + s. Is v bigger than -1?
True
Let l = 3.21 + -19.31. Let g = l + 18. Let k = 2.9 - g. Is -2/3 >= k?
False
Let c be 76/14 - 27/63. Which is bigger: c or 16/3?
16/3
Suppose -4*d - 15 + 29 = -2*x, -2*d + 3*x + 17 = 0. Which is greater: d or -6?
d
Let k = 13309/54498 - 2/879. Which is smaller: k or -1?
-1
Let k = 738 + -736. Is 48/29 < k?
True
Let p = 0.233 + 98.767. Which is smaller: p or 1/2?
1/2
Suppose 4 = k - 2. Let u(x) = x**3 - 5*x**2 - 2*x - 8. Let g be u(k). Suppose 0 = -4*f + r + 70, -r = -2*f + r + 38. Which is bigger: g or f?
f
Suppose 5*z - 3*n = 2*n - 90, -4*z - 72 = -3*n. Suppose 5*q + h + 60 = 7*q, h = 0. Suppose 24 + q = -3*x. Is x greater than z?
False
Let i = 5 - -4. Let l = i - 6. Suppose 3*s + w - 20 = -2*s, -w = -3*s + 12. Which is greater: l or s?
s
Let o = -1/467 - 5125/5604. Is 0.2 >= o?
True
Let c be -4*615/(-6)*1. Let q = c + -4925/12. Let n = q - -1/6. Is -1 greater than n?
False
Let v = 15/68 + 9/17. Suppose -2*s = -4*h + 10, -2*h - 10 = -5*h + 2*s. Is h greater than or equal to v?
False
Suppose 4*u - 2*g + 116 = 638, 3*u - 5*g = 388. Suppose 5*i + 30 = k + u, 0 = i + k - 19. Let z be 1/i*34 + -2. Is z bigger than 0?
False
Let n = -13 + 36. Let l = -23 + n. Which is bigger: l or -11?
l
Let p = -7.7 - -25.7. Let m = 22 - p. Is 4 at least m?
True
Let m be (-74)/((-9)/2*22). Let q = m - 32/45. Which is bigger: q or 1?
1
Suppose f + 4*f + 5*g = -170, 105 = -3*f - 2*g. Let s = 35 + f. Which is smaller: s or -8?
-8
Let f = -191 - -387. Is 196 at least f?
True
Let x = 51/650 + -1/26. Let d = -999 + 1000. Is d > x?
True
Let c be -4 - (0 - 1 - 5). Let s be c/(-8)*-6 + (-18)/12. Which is smaller: s or -2/35?
-2/35
Let k be (-25 - -27)*(3 - 1). Which is bigger: k or 8?
8
Suppose 11*c - 41530 = c. Let b = c + -29011/7. Is 8 greater than or equal to b?
False
Let g be (-6 + 1460/244)/(6/38). Let w = g - -4679/41541. Which is bigger: w or 0?
w
Suppose -3*f - 8 = -5*f, 0 = 2*z + 5*f - 48. Suppose 2*p - 5*k - 1 = -29, -4*k - z = p. Is -1 < p?
False
Let f = 105005/4 - 26105. Which is smaller: f or 147?
f
Let i = 50 + -61. Which is smaller: 0.07 or i?
i
Let s = 1.18 + 0.6. Is 0.1 at least s?
False
Let v = 109 + -51. Let b be (-406)/v - (-1 + (-8)/(-2)). Which is bigger: b or -11?
b
Suppose -12*z + 901 = 781. Is z equal to 135/13?
False
Suppose -18*c = -12*c - 12. Suppose c*g = -2*g + 4. Are -3 and g nonequal?
True
Let x(f) = f**2 + 36*f + 105. Let i be x(-3). Which is smaller: i or 63?
i
Let u = -3/11 + 5/11. Which is greater: -0.5 or u?
u
Let i(w) = 6*w + 6. Let d be i(-3). Let f be -3 - 5/(5/d). Let u be 12/f - 20/15. Is -1 less than or equal to u?
True
Let i = -92.244 + 92.2. Which is smaller: -1/9 or i?
-1/9
Let w = 1970 + -2045. Which is bigger: w or -10?
-10
Let t = -9/11 - -487/44. Is t <= 9?
False
Let o(i) = 3*i + 7. Let r be o(-6). Let c = -31/3 - r. Which is bigger: -6 or c?
c
Let q = -6 + -68. Suppose 3*t - 2 = 5*j - 7, 2*t = j - 8. Let h be q/(-8) - t/(-20). Is h greater than or equal to 10?
False
Suppose 18*b + 139 = -239. Is -9 bigger than b?
True
Suppose -z - 2*z = 6. Let a be (-3)/(-3*2/16). Suppose -y - a + 11 = 0. Is y != z?
True
Let d = 2.7 + -4.7. Let q = -4 - d. Are 0.07 and q equal?
False
Let l(t) = -t - 6. Let u be l(-6). Let a be (8/(-10))/((-50)/(-125)). Let b be (-22)/(-33) + a/3. Is u < b?
False
Suppose 4*n = 2*k + 32, 2*k - 3*k + 24 = 3*n. Suppose 0 = n*o - 9*o + 4. Let u = -461 - -1397/3. Which is smaller: u or o?
o
Let x be -2 + 3 + -62*(-9)/(-6). Is 1/3 less than or equal to x?
False
Let h be 1*1/((-5)/35). Let u(z) = -3*z**2 - 15*z + 10. Let o be u(h). Which is smaller: -34 or o?
-34
Let s(u) = u - 3. Suppose 0*x = x - 6. Let q = -4 + x. Let r be s(q). Is -2/5 > r?
True
Let x = 2478 - 2014. Do x and 3 have different values?
True
Suppose -6*b + 13 = -3*u - b, -u = -4*b + 9. Let a = -86 + 88.7. Is u > a?
False
Suppose -15*z = 9927 - 2562. Is -981/2 smaller than z?
False
Suppose 16*q = -14*q + 23*q. Which is smaller: -2/519 or q?
-2/519
Let a = -37.2 + 40.2. Let y = -7 + 1. Which is smaller: y or a?
y
Let j be 0 + 4 - (2 + -3 + 7). Is 69 != j?
True
Let z be 2/(5/2 - 2). Let p(q) = q**3 - 3*q**2 - 5*q + 6. Let h be p(z). Let j = 27 - 23. Which is greater: h or j?
j
Let q = 96 - 145. Is -49 != q?
False
Let x(g) = 3*g - 38*g**2 + 19 - 9*g + 37*g**2. Let z be x(-6). Is z at least as big as 18?
True
Suppose 9 = b - 0*b + y, 2*b - 2*y - 26 = 0. Suppose -31 = b*k - 12*k. Does 31 = k?
True
Suppose 10 = 3*z + c, 4*z - c + 0*c - 11 = 0. Let o be 5/(-5) - (0 + z). Let j(d) = d**3 + 4*d**2 + 1. Let i be j(o). Which is smaller: 2 or i?
i
Let l be (17/2)/(9/108). Let u be (-23)/(-10)*(-57)/l. Let q = u - -3/85. Which is smaller: q or -1?
q
Let p = -170 + 856/5. Let t be (0 + 0)*(-1)/(-4 - -2). Which is bigger: t or p?
p
Let j = -626 - -408. Is j != -220?
True
Let q(k) = -5*k - 3. Let p be q(-2). Suppose -p*r + 2*z - 50 = -2*r, -4*z = 4*r + 12. Let x = -878 - -868. Which is smaller: r or x?
x
Let s = 1/19 - -16/57. Let t(p) = -p + 16. Let h be t(-14). Let i be (h/25)/((-16)/(-30)). Is s not equal to i?
True
Suppose 5*q - 5 = 0, -5*k - q - 58 = q. Let p be ((-3)/(-12))/(k/(-112)). Which is greater: 2 or p?
p
Let m be 16/42*(57/(-2))/19. Which is smaller: 2 or m?
m
Let b = 404 + -2009/5. Is 2 greater than or equal to b?
False
Let w(o) = -o**3 + 9*o**2 + 11*o + 2. Let v be w(10). Which is smaller: v or 378/31?
v
Let v be 10 + ((-24)/3 - 3). Let h = -2 + 2.1. Let t = 0 + h. Is t at least v?
True
Let c be (-1)/(-3) + -1 - (-6954)/4446. Which is smaller: c or 2?
c
Let y(v) = v - 5. Let l be y(4). Suppose 0 = 2*p - 3*p + 15. Let c be 2/p*144/(-64). Which is bigger: l or c?
c
Let r = 116.6 - 118.6. Does r = 1/9?
False
Let x(g) = -g + 16. Let q be x(11). Suppose -265 + 85 = -q*v. Let f be (v/96)/(6/8). Which is smaller: f or 0.06?
0.06
Let l(x) = -x**3 + 3*x**2 + 13*x - 8. Let m be l(5). Suppose -4*r - 19 = -5*b, -2*r = 5*b - m - 6. Which is greater: r or 1/99?
1/99
Let t(g) = -g**2 - g. Let z(s) = -7*s**2 + 2*s - 9. Let i(u) = -6*t(u) + z(u). Let k = -139 + 145. Let a be i(k). Which is bigger: 7/2 or a?
7/2
Let c(p) = -p**3 + 3*p**2 - p - 3. Let w = -8 + 2. Let v be (6/9)/((-2)/w). Let f be c(v). Which is bigger: -1/13 or f?
-1/13
Suppose 5*i + 42 = -2*v, 36 = -10*v + 9*v + 5*i. Is v at least -27?
True
Let u = 3 - 4. Let p = -77.69 + 83.8. Let f = p - 1.11. Which is greater: u or f?
f
Let c(z) = 12*z - 143. Let m be c(12). Let i = -35479/73 + 486. Which is greater: i or m?
m
Let t be (-68)/(-85) + 1596/(-20) + 3. Which is greater: t or -75?
-75
Let d be -5*(2 + 0 + -3). Suppose 7 = -d*f + 2. Let z(r) = -2*r - 1. Let h be z(f). Is 1 bigger than h?
False
Let x be (2 - -55*(3 + -2)) + 4. Is 55 smaller than x?
True
Let u = -1.1543 + 0.1543. Which is greater: u or -2/375?
-2/375
Let z = 2 - 0. Let y = 11.0278 - 0.0278. Which is smaller: z or y?
z
Let s be (-14880)/(-42) - 4/14. Suppose 5*o + r = s + 613, -2*o = -4*r - 400. Let d = o - 1748/9. Is d != 1?
True
Let l(g) = -2*g**3 - 9*g**2 - 6*g - 6. Let i be l(-4). Suppose i*a + 39 = -a. Which is bigger: a or -2?
-2
Let u = -4305 - -13228/3. Let j = 104 - u. Suppose -2*d - 3*r - 12 = -1, 7 = -d - 2*r. Which is bigger: j or d?
j
Let v = 0.083 + 0.417. Let x = -0.39 - 0.01. Let z = v + x. Which is greater: z or -1.1?
z
Let v = 6.5 - 50.5. Let z = v + 43.975. Is z < -0.1?
False
Let q = 21197/5 + -4275. Which is smaller: -36 or q?
-36
Let l be 3 + 162/63*28/1. Suppose 4*a - 19 = -l. Are 0 and a non-equal?
True
Suppose -730 = -5*y - 4*v + 3*v, 2*v = 5*y - 745. Is 147 smaller than y?
False
Let o(b) = 120*b**2 + b + 1. Let w be o(-1). Let h = 96 - w. Is h < -24?
False
Suppose -14*j + 2*j = -4*j. Let a be (-36)/(-10) + 4/10. Suppose a*i + j*i = -4. Is i greater than or equal to 2/47?
False
Let t(j) = j**2 - 3*j + 2. Let x be t(3). Let g = 8512 - 8509. Is x bigger than g?
False
Let y = 199 + -397/2. Is -163 gr