-5*i + 10 = -2*p, -4*i - 5*p - 25 = -0*i. Suppose m + i*m = 2. Let d = m - 1. Is d greater than or equal to 2/9?
True
Let i = 640237/53 + -12079. Is i <= 2?
True
Let u be ((20/15)/((-84)/(-315)))/53. Let o = 2 + -1. Which is bigger: o or u?
o
Suppose s = 2 + 3. Suppose -2*v + 4*g + 158 = 0, -4*g - 281 - 84 = -s*v. Is v less than 69?
False
Suppose -2*b - 5 = 3*b. Let g be (-48)/52*b/(-2). Let t = 336 + -337. Which is greater: g or t?
g
Let h = 16 + -107. Is -89 <= h?
False
Let u = 0.421 + -0.011. Let j = u + 5.59. Which is smaller: -4 or j?
-4
Suppose 2*q - n + 4*n - 28 = 0, -5*n - 28 = -2*q. Let f be (-8)/30 + q/21. Let i = -0.174 + -0.026. Which is bigger: i or f?
f
Let n be ((-5)/(-10))/((-2)/(-88)). Suppose -n*l = -6*l + 592. Is l bigger than -151/4?
True
Suppose 0 = 124*z - 145*z - 105. Which is smaller: -9 or z?
-9
Let q = -3.349 + 51.349. Let o = -0.2 - 0.8. Are o and q nonequal?
True
Suppose -5*p - 5*v - 230 = -240, v - 2 = 0. Suppose -3 + 11 = -2*u. Let l be 2/u - (-2)/4. Are l and p unequal?
False
Let v be (5400/(-430))/(-4) - 3. Is v != 4?
True
Let g be (486/(-33))/(-9)*58/(-3). Is 1 smaller than g?
False
Suppose -4*s + 177 = -4*x - 3*s, -135 = 3*x - 3*s. Suppose 0 = -2*d - 2*h - 86, 13*h - 8*h - 199 = 4*d. Which is smaller: d or x?
d
Let b be 0/((5 - 2) + -1). Let z be 4/(-263)*(-3)/(-6). Is z > b?
False
Suppose 0*w - 552 = 2*w. Let p = -190 - w. Which is smaller: 87 or p?
p
Suppose 0*r = -5*r - 180. Let n = -18 - r. Let g = 45 + -26. Which is smaller: n or g?
n
Suppose 4*u + 60 = 2*u. Let d = u + 30. Suppose l + 5*p = -17, -5*l + 10*l = -p + 11. Which is smaller: d or l?
d
Suppose 22*m + 32 = 26*m. Let x = -22 + m. Are x and -0.2 equal?
False
Suppose -488*i - 1944 = -494*i. Which is greater: 322 or i?
i
Let d = -628 - -634. Which is smaller: 3 or d?
3
Let v be 41 - 44 - (1 + -173 - 0). Which is bigger: v or 170?
170
Let w(h) = -3*h + 5. Let k be w(3). Let a be 6/117*6/k. Do a and -1 have the same value?
False
Suppose 3*g - 2*r = -41 + 58, 0 = -2*g - 5*r + 24. Suppose -v + 2*q + 13 = -3*q, 38 = 5*v + 2*q. Are v and g non-equal?
True
Let c(d) = d**3 - 6*d**2 + 14*d - 3. Let b be c(4). Which is smaller: 24 or b?
b
Suppose u + 42 = 19. Let t = u - -26. Is t greater than 14/5?
True
Let x = 144 - 2737/19. Let o(u) = -3*u - 89. Let a be o(-30). Is x not equal to a?
True
Suppose -4*h = -3*m - 34, -3*m - 4*h = m + 92. Let b be 25/(-10)*(-48)/(-3). Let l be 3*(1 + b/6 + 0). Is l != m?
True
Suppose 876 = 13*u - 4896. Let d be 4 - -1 - u/84. Is d <= -4?
False
Let z(t) = 13*t + 31. Let o be z(-7). Let q be ((-9)/24)/(5/o). Which is greater: q or 5?
5
Suppose 1753 - 143 = -23*m. Which is smaller: m or -2/3?
m
Suppose 4*g + 127 = 51. Let n = g - -22. Let s be (-10)/(-55) - 234/(-165). Is s not equal to n?
True
Let r(k) = -k**3 + 2*k**2 + 5*k - 9. Let w be r(3). Is 33 < w?
False
Let x = 65 + -37. Let a = x + -43. Let k be 1/(-2) - a/18. Which is smaller: 0 or k?
0
Let k be (-3)/(-12) + 12/(-48). Which is smaller: -17/20 or k?
-17/20
Let s = 25 - 24. Let l be 12/((-9)/6 - 0). Let m = l + s. Which is greater: -6 or m?
-6
Let f be ((-9)/(-4))/(174/(-48) - -4). Let m be (-7)/f + 1 - (-92)/(-24). Is m != -4?
False
Let t(d) = -d - 9. Let r(q) = -q**3 - 5*q**2 + 3*q - 7. Let o be r(-6). Suppose -3*f + o - 35 = 0. Let l be t(f). Is l < -1?
False
Suppose -9 = -3*o, -17*c + 14*c + o = -54. Is c less than or equal to 19?
True
Let n be (24/20)/((-2)/(-5)). Let p be n/2*(-44)/66. Let d(y) = -4*y**3 - 2*y**2 - 2*y - 1. Let g be d(p). Is g != 0.3?
True
Let c be (-88)/88*(0 - 1)/(-1). Is -1/50 equal to c?
False
Suppose -28*u = -29*u + 5, 0 = -4*l - 3*u + 111. Let a = -27 - -50. Is l greater than a?
True
Let f = 3 + -3. Let x = 284 - 15050/53. Which is smaller: x or f?
f
Let r be 1765/1770 - (-6)/(-6). Which is smaller: 1 or r?
r
Let d = 29.04 + -36. Let a = -17 - -10. Let y = a - d. Which is smaller: 1/3 or y?
y
Let g be (-21)/((-420)/25)*(6/15 - 0). Suppose -4*n + o = -3*n - 4, 2*o + 13 = 3*n. Let p be ((-4)/n)/((-4)/(-30)). Are g and p equal?
False
Let c(g) = g**3 + 2*g**2 - 6*g - 5. Let o be c(-4). Let m = o + 16. Suppose 4*r = 7*r - m. Which is smaller: 2/39 or r?
2/39
Let w(h) = -h**3 + 18*h**2 + 8*h - 10. Let b be w(18). Are 134 and b non-equal?
False
Let u = -722 - -722.089. Which is bigger: u or -1?
u
Let g be (-1)/(-3)*360/20. Let q(y) = -2*y. Let b be q(-3). Let v be 3*((-14)/b + 2). Which is bigger: g or v?
g
Let y = 8082/9145 - 51/59. Which is smaller: y or 1?
y
Suppose 214 = -2*u - 4*c, 5*c + 218 = -3*u + u. Is u smaller than -100?
False
Let n be (-6)/9 + 82/(-3). Is n less than -26?
True
Let k be 3/12*(-24)/38. Let h(r) = r**2 + 6*r - 1. Let l be h(0). Is k at most l?
False
Let s be (-6 + 11480/(-15))/(-8 - -6). Which is bigger: s or 385?
s
Let i(l) = 4*l - 84. Let d be i(20). Let v be (-2)/d*-2 - 11. Is v greater than -11?
False
Let g = 1012.87 - 1017. Let p = g + 4. Let q = p - -0.03. Is 0.07 not equal to q?
True
Let f be 1*4/(-2) + 6/(-3). Let n = -3253/888 - 1/296. Do f and n have the same value?
False
Suppose -t - 6 = -2*g, 5*t - g = -6*g + 15. Which is smaller: t or 1/641?
t
Let p be 9 + (-7)/(-1) + 45/(-3). Let x = 1/28 + 13/28. Which is bigger: x or p?
p
Suppose -3*o - 44 = 3*b - 11, 0 = -5*o - 15. Let j be (-1 - -5)*(-2)/b. Which is smaller: 2/59 or j?
2/59
Let f = -5.32 + 5.32. Is -16 >= f?
False
Let b be (-3)/(-6)*(-34)/(-85). Is 0.079 > b?
False
Let l(p) = -3*p + 30. Let j = 8 + -3. Let w be l(j). Which is greater: w or -1?
w
Suppose 3*k = 2*v - 574, 2*k = 4*v - 7*v - 361. Which is smaller: 3 or k?
k
Suppose -34 = -2*r + d, 3*r = -0*r - 3*d + 42. Let z = r + -4. Are z and 13 non-equal?
True
Let v be (2/2*-33)/1. Let d be v/(-275) + (-2 - -2*1). Is d < 0?
False
Suppose -21*j - 162 = -19*j. Is j >= -83?
True
Let i(p) = p**2 + p + 3. Let d be i(-4). Let r be (-15633)/(-1215) + (-4)/(-30). Is r at least as big as d?
False
Suppose 0 = 5*o - 2*h + 853, 3*h - 16 = 2*o + 334. Which is smaller: -171 or o?
-171
Let w = 7087/11 + -645. Let m be 2736/(-616) + 8/2. Let l = m - w. Is l less than 1?
True
Let r(u) = u**2 + 11*u + 10. Let b be r(-10). Suppose -g - 3 = -b. Let l be 0/(0 + 0 + g). Are 1 and l unequal?
True
Let w = 4.5 - -29.5. Let n = 30 - w. Let o = 1/8 + 13/24. Which is greater: n or o?
o
Let g = 469 - 469.956. Let p = 0.044 - g. Is p != 5/13?
True
Let p(v) = -v**2 - 20*v - 18. Let q = -29 - -10. Let i be p(q). Is i < -2/115?
False
Let z = 2591/4255 + 8/185. Which is greater: 1 or z?
1
Let p be 54 + (-16)/(-4 - 0). Let j = p + -52. Which is smaller: j or 24/5?
24/5
Suppose 4*m - 11 = -x + 8, 0 = -m - 5*x. Suppose -f - m*q + 5 = -6*f, 5*q = -2*f + 26. Suppose -f*k - 4 = k. Is k at most -1?
True
Let x be (-2 + 1008/30)/(12/10). Which is smaller: 25 or x?
25
Let a be (-2)/18*3*12. Let o be (24 - 3/3) + -1. Let m be o/(-4) + 1/2. Do a and m have the same value?
False
Let b be (-902)/(-170) - (135/9 + -10). Do b and 1 have the same value?
False
Let x = -3819 + 49597/13. Is -3 at most x?
False
Suppose -5*t = 4*m - 0*t - 23, -m = 5*t - 17. Suppose -h = -5*u - 40, m*u + 3*h - 1 + 0 = 0. Is -7 less than u?
False
Let r be 3/(-1 - 20/(-8))*11/22. Suppose 0 = q + 2*s + 5 + 15, q - s + 5 = 0. Is q <= r?
True
Suppose -3*d = -3*g + 282, 11*d = 9*d + 10. Are g and 103 equal?
False
Let p be 2/((-7)/((-147)/(-1876))). Which is smaller: p or 1?
p
Suppose 5*p = 2*j + j - 498, 664 = 4*j - p. Is 166 != j?
False
Suppose -1 + 10 = -3*g. Let w = -87 + 100. Suppose -8*l = -w + 37. Are l and g nonequal?
False
Let v be 427/(-12) + 2/(-3). Which is greater: v or -35?
-35
Let s(y) = 3*y**2 + 7*y + 1. Let l be s(-2). Which is smaller: -5/128 or l?
l
Let b = 113 - 109. Let k = 10.037 - 0.037. Which is smaller: b or k?
b
Let f = -60 - -107. Let j = f + -44. Which is smaller: 2 or j?
2
Let q be (6/(-28))/(9/(-4)). Let i be (-18)/(5*(-6)/(-20)). Let z be (-8)/i*9/(-6). Is q not equal to z?
True
Let v = 1037 + 102. Let n = 35306/31 - v. Which is greater: n or 0?
0
Let p = -98 - -102. Suppose -2*a + p*v = 16, -a - 4*v = 4*a + 54. Is -13 greater than a?
False
Let r(q) = q**2 + 5*q + 5. Let i be r(-5). Suppose 3*h = i + 1. Suppose h*t - 7 = 21. Is t at least as big as 15?
False
Suppose -8 = 3*i + 2*g, 1 - 12 = i - g. Let k(y) be the second derivative of -y**4/12 - y**3 +