-67.5 - -67.5. Which is bigger: i or 35?
35
Let w be (-1127)/(-437) + 0 + -1. Let m = -131/95 + w. Which is bigger: 4 or m?
4
Let v = -64 + 747. Is 681 != v?
True
Suppose 8*q - 205 = 27. Are 29 and q non-equal?
False
Let h = 198 - 205. Is h smaller than 16?
True
Let d = -4/3253 - 273200/42289. Is -6 not equal to d?
True
Suppose 0 = 2*b + 2*b + 24. Let s(r) = r**3 + 7*r**2 + 4*r - 1. Let l be s(b). Suppose -3*p + 2*c + l = 0, -p = 4*p + c - 1. Which is smaller: p or 1/2?
1/2
Let b(k) = -8*k - 235. Let y be b(-31). Which is smaller: y or 2/131?
2/131
Let c(t) = -2*t**2 - 4*t - 1. Let p be c(-3). Let b = 11 + p. Let k = 100 + -399/4. Is b less than k?
False
Let p(a) = -a**2 - 9*a - 22. Let n be p(-6). Let x be 34/(-4) - (-2)/n. Is x greater than -57/7?
False
Suppose -4*o - 3*s + 1 = 0, 0*o = -o + s + 9. Let p(r) = -r**3 + 4*r**2 + r - 2. Let i be p(4). Suppose i = -o*w - 6. Which is smaller: w or -3/4?
w
Let h = 2149 - 242835/113. Let g(w) = w**2 + 3. Let r be g(0). Suppose 4*x - z - 6 = 0, 3*x + 3 = -0*z - r*z. Which is smaller: x or h?
h
Let k = 0 - 0.1. Let f = 0.242 + 0.758. Let a = k + f. Is a smaller than 0.1?
False
Let i(s) = -s - 1. Let l be i(-1). Suppose -5*r + 43 - 13 = l. Let w be 3/17*r/9. Is 1 less than w?
False
Let q = -33 - -29.84. Let p = 1.34 - q. Which is smaller: p or 1?
1
Suppose -m + 5*d + 5 + 17 = 0, 2*m - 4*d = 14. Let i = -0.0103 + 0.3103. Which is smaller: i or m?
m
Let y be ((-958)/(-7) - 1/(-7)) + 0. Is 137 at most y?
True
Suppose -2*v + 75 = -5*a, -5*a - 95 = -3*v - a. Suppose v = -y + 25. Which is bigger: y or 1/90?
1/90
Let n be (2*-2)/((-10)/((-1440)/(-3))). Are 192 and n equal?
True
Let j be (2/(-6))/(17/102). Let m(y) = -5*y - 10. Let n be m(j). Is 1/96 > n?
True
Let a(x) = x - 4. Let k be a(6). Let j = -18 - -17.93. Let f = 1.93 - j. Is k <= f?
True
Let x = 40 - 33. Suppose -q - 2*h = -x*h - 10, -5*q = -3*h - 6. Suppose -8*n + 10*n + 6 = q. Is n greater than or equal to -3/2?
False
Suppose 83 = 11*x - 368. Is x smaller than 40?
False
Let g = -555868594/319995 - -10571/4923. Let l = g + 1735. Suppose 0 = 5*c - 2*c + 3. Is l != c?
True
Let u = -30 - -24. Let a be ((-8)/u)/(4 - (-39)/(-9)). Which is smaller: -44/9 or a?
-44/9
Suppose 86 = -5*u + 4*d, 7*u + 2*d - 36 = 9*u. Is 1 >= u?
True
Let s(t) = -3*t + 12. Let v be s(3). Suppose 4*n = 5*n - v. Do 5 and n have different values?
True
Let v = 25.71 + -0.61. Let c = -25 + v. Let s be (-3)/(-6) - (-2 - -2). Which is smaller: c or s?
c
Let q(x) = x**2 - 9*x + 8. Let z be q(8). Let i be ((-9)/3)/(4/(-36)). Let s be (-16 - -15) + 29/i. Which is bigger: z or s?
s
Let j = 71 - 51. Suppose -4*i - 60 = 5*z, -4*z - j = -4. Let v be (12/i)/((-39)/(-130)). Is v at least as big as -6?
True
Let w(r) = 27*r + 162. Let h be w(-6). Is h at least -6/155?
True
Let g = 9 + -24. Suppose 4*z = -5*h - 57, -67 = 5*h - 0*h - z. Which is smaller: g or h?
g
Let o = -378/661 + 2/4627. Suppose -5*r + 5*z + 60 = 0, -3*z = -3*r + 4*r. Is r < o?
False
Let x = -10269/4 + 2596. Are 30 and x equal?
False
Let o = 0.073 - 4.073. Let p = 8522/13 - 656. Let m = -4/65 - p. Which is bigger: o or m?
m
Let i = -5.4 - -26.4. Let l = -43 + i. Let p = 22.13 + l. Is p not equal to 0.1?
True
Suppose 0 = 2*x + 3*x - 140. Suppose 0 = -6*n - x + 64. Let j = 26 - 24. Which is bigger: j or n?
n
Let a = -37 - -31. Let w be (-133)/(-42) - (-1)/a. Suppose x - 3 = -4. Which is greater: w or x?
w
Let o = -5.076 - -5.2. Which is greater: o or -2/5?
o
Let z = 0 + -0.5. Let s = -0.5 + z. Let w = 1.5 - -5.5. Are w and s non-equal?
True
Let r = 423.9 - 444. Let v = 94 - 114. Let i = r - v. Is 0.7 >= i?
True
Let i = -25/6 + 11/3. Let b(t) = 7*t - 3. Let u be b(0). Let p be (-2)/(-6)*(16/(-4) - u). Which is greater: i or p?
p
Let d = 21658 + -779615/36. Let g = d - 25/12. Which is smaller: g or -1?
-1
Let a be (-2)/(-7) + (-1426)/(-7) + 5. Suppose -13*g = -2*g - a. Is 19 smaller than g?
False
Let r = 52 - 45. Let h = 3 - r. Is -4 bigger than h?
False
Let c = 0.2 + -0.3. Let r = -491 - -478.65. Let s = 12.3 + r. Is c greater than or equal to s?
False
Suppose 15*u - 7*u - 32 = 0. Suppose 5*c + 37 = v, c + 3*v - 27 = u*c. Is c greater than or equal to -9?
True
Let q = 7 - 48. Let u(w) = -2*w - 149. Let y be u(-54). Does q = y?
True
Let i = 2.34 - -0.26. Let y = -0.31 + 0.91. Let d = i - y. Is d at least as big as 1?
True
Let g = -4877/11396 - 1/1628. Let y be (-3*2/(-21))/(-1). Which is smaller: g or y?
g
Let g = 13.524 + -0.024. Let z = g - 72.5. Are 1 and z non-equal?
True
Let k = -64.1 + 48. Let u = k + 16. Which is greater: u or 3?
3
Let u = 180 - 177. Is u <= 4/37?
False
Let z be 2/8 - 124/(-144). Let j = 24 + -24. Is z less than j?
False
Suppose -h + 3*c = -0*h - 2, -c - 10 = -5*h. Suppose -96 = -5*g - 2*n - 40, 27 = 3*g - n. Suppose 3*s - 5*q - 30 = 10, -2*q = g. Is s at most as big as h?
False
Let m = -1382 + 1412. Which is smaller: m or -4/3?
-4/3
Suppose 2*j = -3*a + 5, 4*a = -0*a - 5*j + 2. Suppose -8 = a*x + 1. Let i be 2 + -2*(x + 4). Which is smaller: -2/3 or i?
-2/3
Suppose 114 = -3*m + 1563. Let z be (m/(-60))/1 - 6/(-24). Which is greater: z or -8?
z
Let i = 7673 + -99807/13. Do i and -3 have the same value?
False
Let p = -59/4 + 287/20. Which is bigger: -1 or p?
p
Let q be (-6)/(-264)*8 + 14440/(-44). Is q at most -329?
False
Let q(u) = u**2 + 12*u + 16. Let a be q(-12). Let g be (-4)/(-2)*a/32. Is g at most 1?
True
Let u(d) = 15*d - 18. Let k be u(4). Is -2 at least as big as k?
False
Let o = -0.2 - 15.8. Let l = -14 - o. Which is smaller: l or -2?
-2
Let w(o) = 10*o**2 - 3*o + 2. Let v(h) = h**3 + 11*h**2 + 2*h + 23. Let f be v(-11). Let q be w(f). Is 8 < q?
True
Let g be ((-4)/(-140))/(772/260 + -3). Is g less than or equal to 0?
True
Let j(m) be the second derivative of m**3/3 - 3*m**2/2 - 6*m. Let h be j(3). Let o be (-10)/25 - (-44)/10. Which is greater: h or o?
o
Let x(j) = 2*j**2 - 51*j - 65. Let l be x(24). Is -137 bigger than l?
False
Let a be 12/9*33/88. Is a bigger than -6/19?
True
Let o(m) = -m**3 - m**2 + 3*m + 3. Let h be o(-2). Let v be h/5 - 59/20. Which is smaller: v or -3?
-3
Let t(y) = y**2 + 10*y - 11. Let r be t(-11). Suppose 2*b + 32 = -3*w + b, r = -5*w + 2*b - 68. Let c be (-1 - 0/2)/w. Which is smaller: -0.2 or c?
-0.2
Let f(n) = n**2 + n - 57. Let h be f(-8). Which is bigger: h or 2/401?
2/401
Let z be 44/(-32) + (-4 - -6). Let o be (-4)/(-14) - (-278)/(-336). Let q = z + o. Is 0 greater than or equal to q?
False
Let d(l) = -l**2 - 2*l - 1. Let k be d(-2). Let c = -22 + 28. Suppose -5*p = -v - c, 5*p - 2 = 3*v + 6. Do v and k have different values?
False
Let f = 3.6 - 5.6. Let u = -2.1 - f. Let i = 3.1 + -3. Is i != u?
True
Suppose 3*f - 2*p - 5 - 3 = 0, -4*f = 4*p + 16. Which is smaller: 5/102 or f?
f
Let p(v) = v + 0 + v + 4*v - 2. Suppose 0 = 2*n - 3*d - 9, 8*d = -2*n + 4*d - 26. Let r be p(n). Do r and -20 have different values?
False
Let o = 622 + -677. Which is greater: -604/11 or o?
-604/11
Let w = 2/2593 + -5208/28523. Are 1/5 and w equal?
False
Suppose 82*w + 3 = 79*w. Which is smaller: w or 2/763?
w
Let r = -3891 + 3836.94. Let p = -54 - r. Is p bigger than 3/4?
False
Let r = -38 - -34. Let y be 1*35/(-100)*r. Let q be 2/(-2*2)*0. Is y greater than or equal to q?
True
Let d(f) = -f**3 + f**2 + 10*f - 1. Let u be d(-2). Let a be (-1)/1 - (-52)/(-6). Are u and a non-equal?
True
Suppose -2*a + 6*a = 44. Let g be 2/3*12/a. Let b be 2 - 10 - (57 + -67). Which is smaller: g or b?
g
Let j = -26.6 - -17.6. Which is smaller: j or 2/7?
j
Let n = 278 - 314. Is -71/2 <= n?
False
Let w(r) be the first derivative of -r**3/3 + 5*r**2 - 7*r - 11. Let g be w(6). Which is smaller: 18 or g?
g
Let z be 2*((-45)/(-2))/3. Suppose f - 16 = -14*y + 15*y, -4*f + 3*y = -68. Let b = z - f. Which is greater: 0 or b?
0
Let p = -193/120 - -5/24. Which is smaller: 9/8 or p?
p
Let z(n) = -n**3 + 5*n**2 + 7*n - 2. Let f be z(6). Let b = -4 - -9. Let u = b + -2. Is f at least as big as u?
True
Let m be (105/9)/(-5) + -5 + 3. Is m smaller than -5?
False
Suppose 118*v + 774 = 100*v. Suppose 0 = -3*n - 114 - 12. Which is bigger: v or n?
n
Let m = -1 + 1.1. Let p = -27.47 - 8.61. Let h = 36 + p. Which is bigger: h or m?
m
Let p = -446 + 497. Which is smaller: p or -1/2?
-1/2
Let h(u) = 7*u**2 - 49*u - 37. Let 