89/(-910) + 2/4. Let m = g + 4610. Are -1 and m nonequal?
True
Let r = -550 + 550. Suppose -6 = 5*g + 19. Which is greater: g or r?
r
Let l = -177 - -184. Are l and 7/4 nonequal?
True
Let o = 8 + 2. Is 1 less than or equal to o?
True
Let v = 383/24 - 89/6. Let x be -1 + (-4 - -4 - -2). Is v > x?
True
Suppose -13*z + 39 = -26. Which is greater: -4 or z?
z
Let w = 860 + -866. Which is bigger: -87/13 or w?
w
Suppose h = 2*n - 3, h + 0*h - n = 0. Let a(o) = -o**2 + 4*o - 4. Let c be a(h). Do -2/133 and c have different values?
True
Let g = -23 - -23. Suppose g = p + 5*m - 12, -3*p + 7 - 1 = 5*m. Let n be -1*39*(-1)/p. Which is smaller: -12 or n?
n
Let f(h) = 26*h**3 - h**2 - 10*h + 7. Let x be f(-3). Which is smaller: x or -673?
x
Let s = 169 - 152. Suppose -340 = -21*b + s*b. Do b and 84 have the same value?
False
Let c = 0 + 55. Let g be (2/10)/((-4972)/c). Let k = g - -925/9492. Which is smaller: k or -1?
-1
Suppose 2*f + 4 = 0, -f - 11 - 11 = -4*v. Suppose 5*l = -3*x + 24, -3 = -v*l + 2*x + 2*x. Suppose -l*g = -4*c + g, -c = 4*g - 15. Is 14/5 smaller than c?
True
Let s(b) = 25*b**2 + 175*b + 12. Let h be s(-7). Suppose v = -2*v + 36. Is v > h?
False
Let s(k) = k**2 + 2*k - 4. Suppose -w - 6 + 0 = 0. Let y be s(w). Let r = y - 17. Are r and 3 nonequal?
False
Let b(w) = -w**3 + 10*w**2 - 23*w + 64. Let q be b(8). Let s = -5 + 9. Is q smaller than s?
False
Let h be (-2 + -1)/((-5)/10 + -1). Suppose -2*g + 3 = g. Let k be g*(-2 - -3) + -1. Which is bigger: h or k?
h
Let l = -2 + 1.2. Let d = -19.8 + 25. Let y = l - d. Is y >= 1/4?
False
Suppose -3*j + 4*s - 968 = 0, 26*s - 28*s = -j - 326. Which is smaller: -315 or j?
j
Suppose -g + 2 = -1. Suppose 2*t + 1 = 5*i - 20, 0 = 2*t + g*i + 45. Which is smaller: t or -16?
t
Let f = -82.6 + 82. Is -5 greater than f?
False
Let g be -165*(-1)/54*(-6)/20. Which is smaller: 0 or g?
g
Let s = 654.1 + -666. Which is smaller: s or 1/2?
s
Let c = -5 + 4.8. Let r = c - -0.3. Which is smaller: -2 or r?
-2
Let m = 7 + -7.6. Let y = 361 - 357.4. Let a = m + y. Is a >= 2?
True
Let b(z) = 7*z + 79. Let k be b(-6). Let n(x) = x**3 - 3*x**2 + 8*x - 11. Let o be n(4). Is o < k?
False
Suppose -3*z - 26 = -2*z. Let k be 2 + 0 + z/12. Let l = k - 1/2. Is -0.03 at most as big as l?
False
Let z(x) = -19*x - 175. Let t be z(-8). Which is bigger: -18 or t?
-18
Suppose 0*a = -3*a - 150. Let p be (-2)/10 - 35/a. Does -24 = p?
False
Let l be ((-4)/8)/(20/(-6)). Suppose -2*o = x + 2, -18*o + 19*o = 3*x - 1. Which is smaller: l or o?
o
Let x(j) = j**3 - 4*j**2 - 7*j + 3. Let g be x(6). Let n be g/7 + 6/21. Suppose -3*h - n*p - 11 = -4, -5*h = p - 3. Which is bigger: 6/13 or h?
h
Let b(q) = q**3 + 5*q**2 - q - 6. Let o be b(3). Which is smaller: o or 62?
62
Let r(z) = -5*z - 1. Let c be r(-9). Let q = c - 834/19. Let j = -17 - -16. Is q greater than j?
True
Let d be (3604/96)/17 - (-49)/(-21). Is 40 < d?
False
Suppose -2*f + 5*f = z + 1, 0 = -3*z + f + 29. Let m = z + -6. Which is smaller: 4 or m?
4
Let m = 60.336 - -0.664. Which is smaller: m or -1?
-1
Let w = 0 + -1. Suppose 2*h + 12 = h + 5*a, -3*a - 20 = -4*h. Let z be (-2)/5 - h/(-20). Is w equal to z?
False
Let v(m) = -m**2 + 10*m - 6. Let f be v(7). Let b be ((-12)/(-2))/(f - 1). Is b < 0?
False
Let u = 1/29 + 51/203. Let s = -12 + 22. Suppose 5*g - s = -5. Is u bigger than g?
False
Suppose -378*n + 348*n = -3270. Which is bigger: 95 or n?
n
Let o(n) = -n**3 + n**2 + 8*n - 13. Let v be o(2). Are v and -8 non-equal?
True
Let y be ((-4)/5)/(27/(-270)). Suppose i - y = a - 9, -i + 3*a - 7 = 0. Which is greater: 12/11 or i?
i
Let f = -6430/17 - -378. Is f > 21?
False
Suppose 4*t - l + 70 = t, -4*l - 45 = t. Let i = t - -26. Let x be 8/(-28)*(-2)/(-12). Are i and x equal?
False
Let n = -43/5194 - 1933793/431102. Let g = n - 1/166. Is g greater than -4?
False
Suppose -3*s + 1 - 4 = 0. Let g be ((-10)/25)/(1 + (-24)/(-90)). Which is bigger: s or g?
g
Let o be ((-15)/(-10))/(6/(-16)) - -4. Suppose o = z - 10 - 0. Is 4 >= z?
False
Let h(q) = 5*q**2 + 2*q + 2. Let l be h(-2). Let i be ((4/(-2))/l)/(7/28). Is i > -1?
True
Let p = 2 + -2. Suppose 2*q + 3*q = 10. Let s(b) = b**3 - b**2 - b + 1. Let o be s(q). Is o >= p?
True
Let x be 6/(-27) + 4/18. Let h be (-5)/55*13 - -1. Which is greater: x or h?
x
Suppose -a = -x - 194, 6*a - 7*a + 5*x + 210 = 0. Are a and 188 unequal?
True
Let a(p) = p**2 + 11*p + 1. Let q be a(-11). Suppose -2*h = -10 - 0. Suppose 0 = 4*x - 0*x + 2*y - 2, 2*y + 16 = h*x. Is q at most as big as x?
True
Let a be 42/18 - 2/6. Suppose -z - a = z. Is z less than -2/3?
True
Let y be (-4)/(-10) - (-7)/140*-18. Is -101 equal to y?
False
Suppose -5*n + 391 = 3*v, 233 = 3*n + 2*v - v. Let q = 155/2 - n. Does -2.3 = q?
False
Let q be (6/(-9))/(28/12). Suppose -5*a + 2*a + c = -11, 0 = -3*c - 15. Suppose -i = 3*g + 7, a - 3 = 5*i - 2*g. Which is smaller: i or q?
i
Let p be (3 - (-20)/(-6))/((-54)/(-36)). Which is smaller: -2/51 or p?
p
Let m be -3699*(-5)/(-700)*4/(-6558). Let b = 2/1093 - m. Which is greater: 0 or b?
0
Let g be (497*4/(-8))/((-2)/(-4)). Are -497 and g nonequal?
False
Let z = 18 - 38. Let k be ((-8)/z)/((-94)/(-10)). Suppose 0 = -m - t - 4, -6 = 2*t + 4. Which is greater: k or m?
m
Let r(z) = z**3 - 16*z**2 - z + 19. Let u be r(16). Suppose -c - 7 = -u. Is c less than -4?
False
Let z = 702 + -705.91. Let n = z + 3.8. Are 0.2 and n equal?
False
Let b(j) = j. Let s(q) = -q**2 + 7*q - 4. Let v be s(6). Let n be b(v). Is 4 equal to n?
False
Let u be -2 + -2 + 4 - -1. Let w be (-11)/66*-9 - (-347)/(-234). Which is smaller: w or u?
w
Let d = 102 - 65. Let w = d - 38. Which is greater: -8/9 or w?
-8/9
Let p(b) = -b**2 + 2*b + 92. Let j be p(0). Let n = j + -39. Which is smaller: n or 52?
52
Let q(b) = -b**3 + 13*b**2 + 93*b - 25. Let s be q(18). Let r be 3*(-3)/9*-29. Is r greater than s?
False
Let n = 153 - 156. Is n at least 15/17?
False
Let l(r) = -2*r + 14. Let a be l(9). Let b(o) = -o**3 - 4*o**2 - 2*o - 1. Let p be b(a). Which is smaller: 10 or p?
p
Suppose 4*n + 530 = -82. Do -153 and n have the same value?
True
Suppose -4*a - 38 = -4*f + 34, 2*f + 16 = -2*a. Let x = -26 - a. Let z(p) = -5*p**2 - 6*p - 4. Let t be z(-2). Which is smaller: t or x?
x
Suppose 0 = -5*r + 224 + 66. Is r at most as big as 56?
False
Suppose z = -4*n + 5*n - 5, 0 = 3*n - 15. Let f = -2/7991 + -998867/31964. Let u = -247/8 - f. Is u at least as big as z?
True
Suppose -16*g + 14*g + 1804 = -2*d, -d + 3583 = 4*g. Which is smaller: g or 896?
896
Suppose 5*w + 2*n = 13, -5*w + 21 = 5*n - n. Suppose -1 - 8 = -y. Let s be 364/(-400) - y/(-12). Which is bigger: s or w?
w
Let m = 11 - 8. Suppose -m*y = -y + 18. Suppose -86 = 7*d - 0*n - 2*n, d + 2*n = -10. Is d > y?
False
Let m = -49 + 391/8. Suppose -2*w + 0*w = -18. Suppose 4 = -5*d + w. Which is smaller: d or m?
m
Let m = 1100.45 + -1100. Are m and -0.06 non-equal?
True
Let z = -1277/33 + 116/3. Is z <= 0?
True
Suppose u - 2*i = -8, 5*u + 4*i = i + 12. Let t be (u - (-24)/(-20))/((-7)/(-5)). Which is greater: t or 0?
0
Suppose 5*t - 28 = 32. Suppose -13 = 2*r + 3. Let c be (2 - -2)/r*-26. Is c greater than t?
True
Let q = -19.5 + 20.6. Which is smaller: -0.1 or q?
-0.1
Suppose 0 = -56*v + 59*v - 15. Suppose 4*k - 10 - 6 = 0. Are v and k unequal?
True
Let c = 472 - 471.94. Which is smaller: c or 0.8?
c
Suppose 6 = -3*n + 3. Let m = 1527 - 1085. Let j = -4858/11 + m. Which is bigger: n or j?
j
Let k be 42/(-27)*189/(-42). Let o = 28 - 20. Is o smaller than k?
False
Let k be ((-18)/(-8) + -2)/(1/(-4)). Which is smaller: k or 2/561?
k
Suppose 10*n - 2*n + 3352 = 0. Which is smaller: -420 or n?
-420
Let x = -106 + -24. Let z = 91 + x. Which is bigger: z or -1?
-1
Let x be (2/(-4))/((-41)/4510). Are x and 0 unequal?
True
Let y(z) = 2*z**3 - 16*z**2 + 51*z - 345. Let t be y(11). Is t at most 943?
True
Suppose 5*n = o + 9, -4*o - 21 = -n + o. Let h = 8 + 14. Let v be 2/(-3)*(-6)/h. Which is bigger: n or v?
n
Let l = 1472 + -228157/155. Are l and 1 unequal?
True
Suppose 0 = 4*q - 166 + 494. Does -84 = q?
False
Let g = -21 - -19. Let u = 76/3 - 28. Which is smaller: u or g?
u
Let f = 72 + -72. Suppose 4*p + 92 = d + 19, -4*p - 20 = f. Which is greater: 52 or d?
d
Let o(j) = -j**2 + 137*j - 718. Let w be o(5). Which is smaller: -61 or w?
-61
Let g 