et j = 1 + -2. Do j and s have different values?
True
Suppose -15*y = -10*y - 35. Let n(g) = -3*g + 11*g - g**3 + 6*g**2 + 8 - 2*g. Let j be n(y). Is j at most as big as 1?
True
Suppose z + 7 = 4. Let w(j) = -j**3 - 3*j**2 - 2*j. Let k be w(z). Let f(t) = t**3 - 5*t**2 - 7*t + 6. Let l be f(k). Is -2/5 <= l?
True
Suppose -10*m - 17*m = 378. Which is smaller: 0 or m?
m
Let j = 5599/29 - 193. Which is greater: j or -2/3?
j
Let i = 15238 + -350572/23. Is i greater than -4?
False
Suppose 2*f = 2*n + 4, 7*n = 5*n + 4*f - 6. Which is smaller: n or -42/29?
-42/29
Let a(p) = 17*p**3 - p**2 + p + 1. Let l be a(-1). Let f be l/(-63) + (-942)/(-231). Which is bigger: f or 3?
f
Let x = -818 - -944. Are x and 126 non-equal?
False
Suppose -3*d - 3 = -0. Let o be ((-6)/20)/(45/(-20)). Are d and o equal?
False
Suppose -4*b + 0*b = 3*k + 11, 2*k - 6 = 4*b. Let l be -4*b/8 - 2. Which is smaller: l or 0?
l
Let m be (2/1)/(-12 + (-11412)/(-954)). Which is smaller: 3 or m?
m
Let o be (-33)/(-22)*40/370. Let l = -3 + 4. Is o at most l?
True
Suppose 4*b - u - 45 = 0, -b + 41 - 14 = 5*u. Suppose -b = -3*n + n. Let f = 7 - n. Which is smaller: -1/6 or f?
-1/6
Let j = 48 - 28. Let m be (3/(12/j))/7. Let x = -59/63 + m. Which is bigger: x or -0.1?
-0.1
Let d be 12/(-36)*(1 - 19). Let o(s) = s**3 - 6*s**2 + 2*s - 7. Let g be o(d). Suppose 0 = -0*n + 5*n - 30. Is g greater than n?
False
Let w be 1*(-1)/2*26. Is w not equal to -130/9?
True
Let f = 31 - 7. Suppose -5*b = -b + f. Which is greater: -7 or b?
b
Let g be 4/110*10/2. Let f = -70 + 45. Let i = -29 - f. Is g > i?
True
Let m = 2656 - 2854. Is -198 != m?
False
Let g = -10203/4472 - 9/344. Let c = 1 + -4. Which is smaller: g or c?
c
Let t be 3/(-3 - 9/(-2)). Let d be (-1)/(t/2 - 7). Let s be ((-35)/14 - -3)*1. Is s smaller than d?
False
Let v be (-9)/15 + 2/(-5). Let i(h) = h - 9. Let c be i(9). Let q be 0 + c + (-4)/58. Which is bigger: q or v?
q
Let m = -19 + 10. Let g = 0.485 - -0.515. Is m greater than g?
False
Let p = 10671 - 2006129/188. Let m = p - -11071/2068. Is 6 > m?
True
Suppose x = -4*x - 110. Let y = 4 + x. Let w = y + 21. Is w at least 3?
True
Let o(n) = 2*n**2 - 24*n - 2. Suppose -3*u = 5*x - 72, 20 = -2*u + 7*u. Let m be o(x). Is m less than or equal to -2?
True
Let s(q) = -3*q - 7. Let c be s(-3). Suppose -c*j + 21 = 3*y, y + 3*y = j - 5. Is 5 smaller than j?
True
Suppose -f = 3*l + 11, 4*f - 6 = 4*l + 14. Let u be (-42)/(-198)*l/(-14). Let z = -14/11 - u. Which is bigger: 0 or z?
0
Let n = 16543/86 + 5/344. Let v = 193 - n. Which is smaller: 1 or v?
v
Let w = -628 - -647. Is w <= 1?
False
Let v = 3/145 + 127/870. Which is bigger: 24 or v?
24
Let c be -1 + (1 - (-4)/(-18)). Let u = 136 - 135.8. Which is bigger: u or c?
u
Let r = 10.9 - -0.1. Let c = r + -12.4. Let f = -0.4 - c. Is -1 bigger than f?
False
Let g = 930.9 - 931. Are g and -1/286 nonequal?
True
Suppose -4*i - 7 = -5*i - 2*s, -5*i + 2*s - 1 = 0. Let z be ((-2)/(-3))/(i/33). Let r be (-5)/(-20)*(-8)/z. Is r > 0?
False
Let y = -1339 - -1332. Is y less than or equal to -0.012?
True
Let d = 154 + -148. Does d = 1?
False
Suppose -1569 = -25*f - 4319. Do -110 and f have the same value?
True
Let p = 546751/13 - 42103. Is -45 greater than p?
True
Let j be (-4632)/(-5 - 1)*-1. Are j and -773 equal?
False
Suppose -5*i + 1529 = -4*q, -i - 104 = q + 285. Which is greater: q or -385?
-385
Let s be 2/(-4)*(-8)/(-6). Let n(p) = -p**2 - 2*p + 2. Suppose 0 = -12*r + 4*r - 24. Let g be n(r). Which is smaller: g or s?
g
Let h be ((-30)/(-6980))/((-3)/(-4)). Let b = 299/8725 + h. Is -1 greater than b?
False
Suppose -2*n - f = -91, 2*f - 31 = -n + 19. Let u = 16 + n. Suppose 3*l + 4*p = -64, -u = 4*l + 4*p + 20. Is l greater than -2?
False
Let a be -5*5/(-75)*474. Which is smaller: a or 157?
157
Let i = -712 - -536. Is i > 3?
False
Let f be (-125)/1675*(-48)/(-15). Which is smaller: -1 or f?
-1
Suppose 3*w - 2*t + 7*t - 50 = 0, 0 = t + 5. Let s = -22 + w. Let q be 3/12 + 11/4. Is s at most as big as q?
True
Let i = 32/115 + -464/345. Let v = -2/3 - i. Which is smaller: 0 or v?
0
Suppose 10 = 3*q - q. Suppose 3*r - q*r + 6 = 0. Which is bigger: 5/2 or r?
r
Let t(z) = z**2 - 16*z - 15. Let a be t(15). Is a <= -30?
True
Let a = 11 - 11. Suppose -37*d + 36*d - 25 = a. Is d greater than or equal to -24?
False
Let u be (-9)/((-225)/(-10))*-2695. Let h = -14006/13 + u. Which is greater: h or 1/3?
h
Let o = -1/5 - -27/35. Is -0.05 at least as big as o?
False
Let g = -86.13 + -1.87. Let t = 90 + g. Which is greater: t or 8/3?
8/3
Let o be (-2 - -2) + (-4)/(-14). Suppose 4*d + 2*w = 2, 3*d + 4 = d - 2*w. Let r = d - 2. Is r greater than or equal to o?
True
Let c = 172.5 + -171.6. Is c greater than -7/8?
True
Let b(m) = -24*m + 71. Let w be b(3). Which is smaller: w or -45?
-45
Let w be 6*(4/22 + 5/33). Let u be ((-72)/20)/(w/5). Which is greater: -8 or u?
-8
Let t(v) = -v**2 + 18*v - 49. Let j be t(10). Which is smaller: 27 or j?
27
Let i = 82/91 + 44/13. Which is smaller: 2/15 or i?
2/15
Let t = -63 + 67. Is 0 equal to t?
False
Let v be 0 + 0 + 80/238. Let o = -3067/102 + 185/6. Let m = o - v. Which is bigger: -1 or m?
m
Let p = 84.0828 + -0.0828. Which is smaller: p or -4?
-4
Suppose p + 1 = 2. Let r be ((-120)/3)/(p - 0). Let s be r/(-18) + (-2 - 0). Which is bigger: -1 or s?
s
Let s = 34 + -24. Suppose 0*x - 5*x = -s. Is x greater than 2/3?
True
Let n be (-7 - -4) + (-138)/(-26). Let u be 5118/2184 + (-1)/(-4). Let r = u - n. Is r != -2?
True
Let c = 2929 + -3510. Is -579 <= c?
False
Let j be (-2)/3 - 1/3. Let v(u) = u**2 - 10*u + 4. Suppose 26 = 5*o - 19. Let f be v(o). Which is smaller: f or j?
f
Let x = -0.3 - -0.2. Let g be 145/210 - (-2)/(-4). Let r = 10/21 + g. Do r and x have the same value?
False
Let k = 9.22 - 3.62. Let u = -0.52 + -0.08. Let o = u + k. Is -0.2 less than or equal to o?
True
Let m = 870 + -870.1. Is -255 != m?
True
Let q = -15 - -24. Let f = -366 - -366.2. Which is smaller: f or q?
f
Let p be (7/((-70)/160))/14. Is p < -2/7?
True
Suppose -5 = -5*a + 2*k - 13, 2*k = -4*a - 10. Let r be (a/16)/((-1)/((-4)/(-37))). Which is smaller: 1 or r?
r
Suppose -4*j = 44*u - 41*u - 45, 27 = 2*j - 3*u. Let r(m) = 3*m**2 + 2 + 6*m - m**3 + 3*m**2 + 2*m + 3. Let i be r(7). Is i < j?
False
Let d be 8/(-12) - (-778)/240. Let b = -3/40 + d. Is -1 less than or equal to b?
True
Suppose 0 = -0*r - 3*r + 4*m - 7, 5*m - 10 = 5*r. Let n be 53/42 + 3/18. Let s = 116/91 - n. Is s > r?
True
Let t = -504 + 496. Let v be (-2)/(-56) + 2/8. Which is greater: t or v?
v
Let p = 32 - 31. Let y = -0.7 + p. Let x = 0.1 - 0.2. Which is smaller: y or x?
x
Suppose -5*p = 2*m - 110, 5*p + 2*m - m - 115 = 0. Suppose 0 = 147*c - 151*c - p. Is -7 > c?
False
Let y be ((-6)/(-7))/(3/21). Let m(x) = 2*x**2 + 14*x - 65. Let p be m(y). Is p less than 90?
False
Let f(t) = -t**3 + 4*t**2 + t - 4. Let y be f(4). Let s be (-68 - -103)*1/(-5). Which is bigger: s or y?
y
Let h be (84/(-34) - -2)*(-4)/(-16). Suppose l - 3*l = 0. Which is smaller: h or l?
h
Let l = -1 + -20. Let n = l - -23. Is n bigger than -2/15?
True
Suppose -2*c - 200 = -z, 0 = 2*c - 2*z + 194 + 2. Which is greater: c or -302/3?
-302/3
Let c be ((-4)/(-6))/(1/45). Let x be (-45)/(-25)*c/9. Suppose 33 = 5*l - 7. Which is greater: x or l?
l
Let o = 5 + -4. Let t(q) = -q**2 + 19*q - 3. Let u be t(19). Let f(y) = 2*y + 3. Let s be f(u). Does s = o?
False
Let u = 184/5 - 37. Are u and 0.32 nonequal?
True
Suppose 5*x = 4*x - 22. Let c be (-1)/(x/(-6) - 4). Which is bigger: 30/19 or c?
c
Let b = -51.1824 + 0.1824. Which is greater: -1/4 or b?
-1/4
Let r = -2743/15 + 183. Let g(l) = -2*l**2 + 36*l - 13. Let m be g(17). Suppose 5*y + 2*v + 1 = v, 0 = -y + 5*v - m. Which is greater: r or y?
r
Suppose 3*u - 40 = 4*i - 0*i, 4*u - 16 = 0. Suppose -5*n + 4*k + 46 = 0, 4*n + 5*k - 1 - 3 = 0. Suppose 3*v = 2*v - n. Is v not equal to i?
True
Let t = -81.557 + 0.057. Let s = 78 + t. Is 1/4 greater than or equal to s?
True
Suppose h - 2*j + 130 = 0, 2*h + 3*j = 5*h + 390. Which is smaller: h or -129?
h
Let i = -244 - -189. Is 1/3 greater than or equal to i?
True
Suppose i = -2, -4*z + 5*i + 0*i = -50. Let h be ((-4)/z)/(185/25). Which is bigger: -1 or h?
h
Suppose 4*x = -2*r - r + 6, -x - 5*r = 7. Suppose 3*w = -q + 4, w = x*w + 2*q. Is 1/2 