34 = 51*i - 25*i. Which is bigger: i or 8?
i
Suppose 2*o + 8 = 2*r - 7*r, 8 = -2*o + 3*r. Let s be o - -5 - (-10)/(3 - 1). Is 7 bigger than s?
True
Let s = -183 - -188.5. Is 0 at most s?
True
Let n = -49 - -52. Suppose n*l + 5 = -10. Which is bigger: -9 or l?
l
Let p be 8 + (-4)/(3332/6667). Which is bigger: -1 or p?
p
Let y be 5938/504 - (-5 + (-12)/(-3)). Let u = 51/4 - y. Which is bigger: 0 or u?
0
Suppose 2*o - 3*s + 850 = 7*o, 2*o - 2*s = 324. Is o less than 166?
False
Let f = 6 - 30. Let s be (-1071)/(-36) - 3/4. Let p = f + s. Which is bigger: p or -1/3?
p
Let i be ((2/(-3))/((-1)/21))/(-2). Let b be (-2)/(-11) + ((-4480)/(-44) - i). Which is greater: b or 108?
b
Let y = 0.0263 - 1.2263. Is y at most -0.1?
True
Suppose 0 = 5*z - 10*z + 5*h - 3460, 2*z + 1380 = h. Is z greater than -688?
False
Suppose -2*u = -5*g - 135, -3*u - u = 4*g + 80. Which is greater: -26 or g?
g
Let d = -0.487 - 46.513. Is -15 > d?
True
Let c(q) = 2*q + 2. Let d be c(1). Suppose -5*p = -5*j + j - d, 3*p + 4 = -4*j. Is j bigger than 5/16?
False
Let n(c) = 8*c - 24. Let o be n(3). Let p be (-4)/66*18/8. Is p < o?
True
Let x = -87 + 87. Let v be 2*(-4 - x)/(-4). Which is greater: -6 or v?
v
Let n = -29.038 + 0.038. Let h = 87 + -88. Is h equal to n?
False
Let c be (1 - 0) + 0 + 1. Let w(i) = -2*i**3 - 5*i**2 + 8*i + 12. Let r be w(-5). Let p = r - 98. Which is greater: c or p?
c
Let p = -779 - -783. Which is greater: 151 or p?
151
Let s be -7 - (2 - 808/88). Which is smaller: 1/28 or s?
1/28
Let q(w) = -w**2 + 6*w + 55. Let t be q(-5). Is -28/157 <= t?
True
Suppose 2*v = -2*s - 0*s + 54, 2*s + 12 = v. Is v less than 22?
False
Let k be (18/12)/(6/(-16)) + -404. Let u be 6/4*32/k. Which is greater: 0 or u?
0
Let d = 29/4 + -317/44. Suppose -y - 4 + 7 = 0. Let o be (4 - 2) + -7 + y - -2. Which is greater: o or d?
d
Let c = -4.69 - 79.01. Let r = -85 - c. Is 3 at most as big as r?
False
Let q be ((-7 - -6) + -3)*-1*4. Is 18 bigger than q?
True
Let x be 1*-1*(-2 - -3). Let r be (-12 + x)*1/5. Let q = -2092 + 2090. Does q = r?
False
Let g be ((-1877)/567 - (-4)/14) + 3. Which is smaller: g or -1?
-1
Let c = 1328.2 + -1328. Are 1/494 and c equal?
False
Let h be ((-12)/(-20))/((15/9)/5). Is h >= -2?
True
Let a(l) = -115*l + 9. Let r be a(7). Is r > -796?
False
Let m(r) = r**3 + 6*r**2 + 3*r - 6. Let a be m(-5). Suppose -4*y + a*h + 38 = 7*h, -42 = -5*y - h. Does 9 = y?
False
Let f be (-9)/(-2)*(-8)/(-12). Let j = -6 + -3. Let v = -65/7 - j. Which is smaller: f or v?
v
Suppose -222*y = -238*y + 12400. Is 777 < y?
False
Let r = 16 + -27. Let c = 10 + r. Let v be c/(-3)*(-468)/(-60). Which is bigger: v or 2?
v
Let u = 0.26 - 1.42. Let i = 54.84 - u. Is i smaller than -1/3?
False
Let c be 0 - (-4 + 1) - -5. Let x be -2*2/c*-8. Suppose 3*y = 5*a - 0*a - 57, 3*a = -x*y + 11. Is 8 smaller than a?
True
Let k(u) = u**3 + 3*u**2 + 2*u + 2. Let y be k(-2). Let w(x) = x**3 + 5*x**2 - 10*x + 30. Let l be w(-7). Suppose 5*v = -d - 5, -2*d - y = d + l*v. Is d != 2/9?
True
Let i = -161/3 - -54. Let c = 0 + 2. Let t be 3/(-9)*(c - 1). Is i >= t?
True
Let w = 5527 - 5501. Suppose 3*l + 5*t + 3 + 4 = 0, 0 = l - 4*t + 25. Let y = l - -34. Are y and w non-equal?
True
Suppose v - 4 = 2*v. Let q = v + 3. Let h = -9/8 + 35/24. Is q bigger than h?
False
Let y = 0.192 - 0.192. Is y > -1.28?
True
Suppose 3*x + t - 179 = 0, -5*x + 6*x - 4*t - 51 = 0. Let r = -197934/7 + 28336. Let l = r - x. Which is bigger: l or 2?
2
Let s = -101 + 516/5. Let a = s + -7/3. Is 0 less than a?
False
Suppose 5*o + 2*c + 0*c - 294 = 0, 5*c = o - 48. Let s = 1880 + -1823. Is o at least s?
True
Let v(s) = -14*s**3 + s**2 - s + 1. Let o be v(1). Let z be (o - (-9)/3) + 4. Let t = -75 - -348/5. Is t greater than z?
True
Suppose 3 = -2*a - 3. Suppose 1 = -d, -9*d - 13 = 4*r - 8*d. Is r less than or equal to a?
True
Let a = -0.416 - 16.484. Let t = -17 - a. Which is greater: 0 or t?
0
Let h(p) be the first derivative of -p**3/3 + 4*p**2 + 3*p + 32. Let a be h(6). Are a and 11 equal?
False
Let g be 2 - ((-2)/4)/(-13 - -14). Suppose 2*n - 5 = n, 0 = 5*l - n. Let y be (l/3)/((-3)/(-18)). Is y at least g?
False
Let z(u) = u**2 - 10*u - 19. Let x be z(13). Let t = -20 + x. Which is greater: t or 2/77?
2/77
Let q(v) = v**3 - 5*v**2 - 9*v + 14. Let c be q(6). Which is smaller: 18 or c?
c
Let i(m) = 3*m + 22. Let j be i(2). Let p be 29/j + 12/(-42). Which is bigger: 0 or p?
p
Suppose -5*p = -7*p - 48. Is p >= -37?
True
Let p = 0.087 - 0.0853. Which is smaller: 0 or p?
0
Suppose 0 = f - 29 - 13. Suppose -6*t - 24 = f. Is t at most -14?
False
Let s = 14 - 18. Let c = -17 - -15. Which is smaller: c or s?
s
Suppose -2*r - 3*v = -66, 2*r + 0*v - 3*v - 78 = 0. Suppose -l = 4*f + 12, 0*l + 4*f + r = 5*l. Let x be ((-6)/9)/(l/6). Is 0 not equal to x?
True
Suppose 3*d - 756 = -183. Let z = d + -1335/7. Which is bigger: z or -6?
z
Let g be 2/14 - (12 - 296114/24990). Which is greater: g or 1/5?
1/5
Let m be (-114)/(-20)*(-572)/(-4323). Let o = 6/131 + m. Let i(c) = -c**2 - 12*c - 10. Let x be i(-11). Is x at most o?
False
Let b = 29 + -26. Let q be ((-7)/(-21))/(b/108). Which is smaller: 11 or q?
11
Let y = -186.4 + 36.4. Which is bigger: y or 0?
0
Suppose 12 = 4*m + 4. Let b be 0/(4*m/(-4)). Are b and 1/30 equal?
False
Let x = -75 + 102. Let n be (-6)/21 + (-15)/21*-41. Are x and n equal?
False
Suppose -3*m - 174 + 42 = 0. Let s = 23 + m. Which is greater: s or -22?
s
Let k(y) = 12*y - 80. Let m be k(6). Which is greater: -1 or m?
-1
Let f(a) = -4*a**3 + 8*a**2 - 23*a + 67. Let y be f(5). Is y greater than -348?
False
Let y = -240 + 230. Let l(t) = t**3 - 4*t**2 - 7*t + 6. Let h be l(5). Do y and h have different values?
True
Let i(g) = 2*g + 34. Let k be i(-7). Let f be (-25)/145*(-4)/k. Suppose x = 3*x. Which is bigger: f or x?
f
Let b = 186 + -165. Are -0.4 and b unequal?
True
Let k = -1082 - -1082. Do -1/171 and k have different values?
True
Let o(y) = 67*y - 335. Let g be o(5). Let a be (-1)/28*4/(-10). Is g <= a?
True
Let x be ((-225)/(-180))/(-1 + 18/(-8)). Suppose u - t - 4 = 2*u, 4*t + 15 = -5*u. Which is smaller: x or u?
x
Let x be (-2199)/54*-3 + (10 - 3). Is x >= 128?
True
Suppose -4*i + 21 = -3*x + 3, -3*x = -i + 27. Let y be ((-10)/(-100))/((-6)/x). Let l = -35 - -36. Which is smaller: y or l?
y
Let w = 157 - 156. Which is greater: w or -4/89?
w
Let s = 0.136 + 106.864. Let b = -107 + s. Which is bigger: b or -30?
b
Let j = 0.1 - 0.2. Suppose -2*u = -2*f - 6*u - 1886, 0 = 5*f + u + 4697. Let t = f - -15969/17. Which is greater: j or t?
t
Let o = 9.94 + -3.94. Which is bigger: -78 or o?
o
Let d = 1104/301 - -2/43. Which is smaller: d or -3/5?
-3/5
Let j be (12/(-12 + 0))/(1 - -438). Is j <= 1?
True
Suppose 2 = 2*s + m + m, -11 = 3*s - 4*m. Let x be 10*s/(-25) - (-87)/(-5). Is -16 not equal to x?
True
Let y = 46 - 40. Let a = y - 7.9. Is a smaller than 2?
True
Let l be (-20)/(0 + (-1)/(-1)). Let f be 3*l/42 - -2. Suppose -26*y - 65 = -91. Which is greater: f or y?
y
Let c be 40/(-6)*-30*(-3)/(-24). Suppose 0 = -x + m - c, -6*m = -x - m - 25. Is x less than -27?
False
Let i = 1 - 0. Let s = -3.33 + 3.11. Is s greater than or equal to i?
False
Suppose t - 9 = 5*s, 2*t = -0*t - 3*s - 8. Suppose -9*z + 13*z - 52 = 0. Suppose -x + 2*m - 1 = -0, -2*m = -5*x - z. Is x less than t?
True
Let p = 1.18 + -3.24. Let o = -0.21 - -0.15. Let y = p - o. Is 0 <= y?
False
Suppose 0 = 4*a + 2*g + 42, a + 2*g + 0 + 6 = 0. Let m = 2 - -22. Let q be 2/4 - a/m. Is 0.21 greater than or equal to q?
False
Let i = -44 - -24. Let r = i - -28. Let j = -9 + r. Is 1/10 smaller than j?
False
Let y(m) = m**3 - 4*m**2 + 2*m - 5. Let q = 16 - 12. Let w be y(q). Let f be (4/(-10) - 3) + w. Which is smaller: f or -1?
-1
Let t = -98 + 100. Let u = -3 - -3. Let v = -3 - u. Are t and v equal?
False
Let u(q) = -q**3 - 3*q + 135. Let w be u(0). Is 135 > w?
False
Let b be (-2)/2 - (3 - (4 + 0)). Let d be (3/(-2))/(861/(-28)). Which is greater: b or d?
d
Let c(v) = v**2 + 9*v + 25. Let y be c(-5). Is y <= 11/2?
True
Let s(p) = 51*p + 404. Let w be s(-4). Is 200 less than w?
False
Let i be 8/(-84)*35/(-205). Which is greater: i or 1?
1
Let b = -41 + 24. Let g = b - -11. Which is smaller: 1 or g?
g
Let s = -10.969 - -0.969. Is s greater than -52?
True
Let p be ((-1)/2)/((-