 2313.9. Is c > 44/57?
False
Let f be (-20464)/(-17120) - 12/10. Which is smaller: 0 or f?
f
Let b be (-986)/18 - (-5 + (-235)/(-45)). Let i be -2*(-1)/(-15)*b/88. Which is smaller: i or -3?
-3
Let i be 1 - 1/1*2. Let v = 22 - 35. Let l be v + 9 - 52/(-14). Is i bigger than l?
False
Let i = 2938 + -14627/5. Let q be (-9 + -4)*(-2)/2. Is i less than or equal to q?
True
Suppose -5*n - 56 = 14. Are -10 and n non-equal?
True
Let z = -9.6 - -27. Let v = z - 110.4. Is 1 greater than v?
True
Let d = 0.17 - 0.3. Let f = -49.7 - -72.8. Let b = f + -23. Are b and d unequal?
True
Let k = -3.437 + 0.177. Let d = k - -0.26. Is d greater than -0.1?
False
Let y(k) = k**2 + 48*k + 139. Let h be y(-30). Which is smaller: h or -402?
-402
Let r = -5337/11 + 485. Are 2/5 and r equal?
False
Suppose 806 = -8*k + 278. Let y = k - -129/2. Which is greater: -3 or y?
y
Let z be ((-5)/(-10))/(21/(-105)). Let m = 0.2 + -0.3. Is m smaller than z?
False
Suppose -3 - 5 = 2*p. Suppose 4*w - 6*w = -g + 1, 3*w = 0. Let b = p + g. Are -4 and b non-equal?
True
Let p be (-8)/3*3795/110. Is -92 bigger than p?
False
Suppose 5*i = -10*i + 120. Suppose -1 = -s + i. Is s at most as big as 6?
False
Let h be ((-5)/(225/(-20)))/(-4 - -614). Are h and 1 non-equal?
True
Let o be (2 - -6)/((-2)/(-12)). Suppose -o = 4*b - b. Let n = b - -50/3. Which is smaller: 1 or n?
n
Let k(x) = -5*x**2 - 2*x - 1. Suppose -2*r = 0, -4 - 4 = -4*t - 3*r. Let p be k(t). Are -24 and p nonequal?
True
Let d = -78 - -50. Let b = -133 - d. Let g be (-5)/6*b/50. Is g less than 2/7?
False
Suppose -4*z + 5*w = -350, 2*w + 2*w = -2*z + 162. Are z and 253/3 equal?
False
Suppose -x = -12 - 5. Let i be x*((-4)/(-16))/1. Suppose -2*k - z + 4*z = -12, 0 = 5*z + 10. Which is smaller: i or k?
k
Let g(o) = -o**2 - 23*o - 30. Let d be g(-15). Let w = d + -81. Which is greater: 10 or w?
10
Let n = -130 + 116. Is -16 < n?
True
Let m(v) be the second derivative of v**5/20 + 7*v**4/12 - v**3/3 + 3*v**2/2 + 16*v. Let c be m(-7). Do c and 17 have the same value?
True
Suppose -6 = -3*u + 8*b - 7*b, 4*u + 3 = 5*b. Which is bigger: u or 19/7?
u
Suppose -b = 5*p - 5, 33*b - 38*b = 0. Let k = -0.45 + 31.45. Is k greater than p?
True
Suppose 2*z - z + 5 = 0. Let h = 2 - z. Let k be -1*(-4 - -3) - 18/(-3). Is h at least k?
True
Let g(q) = -q - 3. Let b be g(-7). Let a(j) = j**3 - 9*j**2 + 6. Let z be a(9). Let x = -3 + z. Is x smaller than b?
True
Let h = 285 + -260. Which is smaller: h or -0.1?
-0.1
Let n be (-10)/(-135)*-3*-909. Which is bigger: n or 201?
n
Let d = -120781817/825657 + -1/117951. Which is smaller: 1 or d?
d
Let q = 1703 - 977. Is 727 at least as big as q?
True
Let y = -0.1 + -1.8. Let b(x) = x**3 + 32*x**2 + 6*x + 193. Let i be b(-32). Are y and i equal?
False
Let g be (0 - (-1)/(-3))/(28/(-2940)). Is 40 <= g?
False
Let g(q) = q**2 + 10*q + 24. Let h be g(-6). Let c be 44/12 + -4 - h. Which is bigger: c or 0.4?
0.4
Let p(b) = 20*b**3 + 2*b**2 + 3*b - 3. Let t be p(-2). Let u = t - -178. Do 15 and u have different values?
True
Let z be 18/(-24) - -11*1/4. Which is smaller: 66/65 or z?
66/65
Let m(d) = 4*d**2 + 8*d + 1. Let s be m(-3). Which is bigger: s or 12?
s
Let y be (0 + 8/(-36))/((-4)/(-6)). Let d(h) = -2*h**2 + 2*h - 1. Let a be d(1). Which is smaller: a or y?
a
Let q be (-39)/(-13)*(-4)/12. Which is smaller: q or -54/19?
-54/19
Let s = 327 - 330. Which is bigger: s or -10?
s
Let b = 371/9 + -349/9. Let i be 1/(-18) + (-2 - 6/(-1)). Let z = i - b. Is 0.1 at least z?
False
Let f = -85.89 + 86. Let d = 0.89 + f. Which is greater: d or 114?
114
Let f = -3084283513/5875090 + -49/136630. Let z = -525 - f. Is 1 at least as big as z?
True
Let f(l) = -6*l**2 + l - 28. Let h be f(-8). Let w be (1 + 5/(-2))*70/h. Is w >= 1?
False
Let d(j) = -4*j - 11. Let u(q) = -11*q - 32. Let l(s) = -8*d(s) + 3*u(s). Suppose 21*n - n = -160. Let a be l(n). Which is bigger: a or -2/7?
a
Suppose 0 = -4*s + 2 - 10. Suppose -2*v + k + 0*k - 44 = 0, 4*v = -4*k - 112. Let n be (((-10)/v)/(-1))/((-14)/(-21)). Which is greater: s or n?
n
Let b(n) = -n**2 - 5*n - 10 - n**2 + 0*n. Let h be b(-5). Is h < -36?
False
Let k = 1257 + -666. Let y be 2 - k - -1 - 2. Let s = y + 2959/5. Which is smaller: s or 3?
s
Suppose 8*o + 10 = 10*o. Let i(a) = -3*a - 24. Let q be i(-8). Suppose -4*y - 5*t = -45, 2*y + q*y - 15 = -t. Is o > y?
False
Let z(f) = -f**3 - 13*f**2 - 13*f - 7. Let h be z(-12). Suppose 4*y - h - 7 = -3*w, -3*w + 3 = y. Which is greater: 3/59 or w?
3/59
Let y = -0.1 + 0.1. Let r = -47.25 - -25.25. Is y not equal to r?
True
Suppose 24 = 2*y - 2*b, -y + 3*b + 3 = -1. Let j be y/12 - (-2)/(-6). Which is smaller: j or 2?
j
Let l = 6 - 21. Let m = 7 + l. Let k be 8/32 + (-6)/m. Is -6/31 less than or equal to k?
True
Let x be 113/5 + (-4)/(-10). Let k = x + 19. Let o = k + -253/6. Which is smaller: o or -1?
-1
Let u be 4/3*23562/336. Are u and 94 non-equal?
True
Let k(p) = -p**2 - 11*p + 4. Let y be k(-11). Let b = -7 + y. Let r be (-3)/b - 2/1. Which is smaller: -1/9 or r?
r
Suppose 4*j - 3*x = -0*j + 454, -4 = 2*x. Suppose 0 = 2*a + 2*a + j. Let c be (-2)/(-6) + a/12. Are -3 and c equal?
False
Let o = -137.3 + 18.3. Let i = o - -108.3. Let b = 11 + i. Do b and -0.2 have the same value?
False
Let s be -5 - 6/((-18)/15). Is -1/40 equal to s?
False
Let d = -395/8 + 4113/88. Which is bigger: d or -2?
-2
Let d be 10/55 - 466/22. Let t = -6 + d. Is -27 less than t?
False
Let s(x) = -7*x. Let u be s(-2). Let z be 1/(2/(-2)*2/u). Which is smaller: -6 or z?
z
Let q be ((-194)/(-3395))/((-2)/(-10)). Let v(j) = -j**3 - 7*j**2 + 3 - 8 - 7*j - 1. Let x be v(-6). Is q greater than x?
True
Let z be 31395/(-2002) - (0 - 16). Let b be -2*2*(-1)/4. Is b != z?
True
Let t be (-2)/(-4)*-1*-2. Let f = 1273 + -29283/23. Is t <= f?
False
Let k be (6/4)/(9/(-204)). Is -39 <= k?
True
Suppose 4*y = 8*y - 24. Let f be y/(-68)*603/(-6). Let o = -35/4 + f. Which is greater: 1 or o?
1
Let l = -118876/3 - -40660. Let h = l - 1046. Let q = -11 - h. Is q not equal to 5/4?
True
Let a = 75847268/33 - 2300025. Let x = a + 1622. Let w = 3/11 + x. Which is greater: -0.09 or w?
-0.09
Suppose 6*a = 4 + 14. Suppose 5*i + 40 = a*i. Let r = i + 25. Does 5 = r?
True
Let n = -3045/16 + 13219/112. Suppose -4*s - s - 360 = 0. Let i = n - s. Are -0.3 and i equal?
False
Let n be 2 + 2*12 - 1. Suppose n = 5*s - 0*s. Suppose 0*k + 1 = s*k - 4*z, -k + 3*z - 2 = 0. Which is smaller: k or 2?
k
Let o(w) = -4*w**3 + w**2 - 2*w + 2. Let n be o(2). Let v = -33 - n. Which is greater: -5/3 or v?
-5/3
Suppose q = -2*k - 43, 2*k + 31 = 3*q - 0*q. Let p = k + 20. Suppose 33*z - 30*z = p. Are -1 and z nonequal?
True
Let l be ((-12)/(-2))/((-6)/30). Let c be 2/(-10) + (-36)/l. Suppose x = -4*x. Is c at least x?
True
Let p = 23 - -69. Let l be (-1*1 - -4) + p/(-23). Do l and -2 have the same value?
False
Suppose -14*z = -17*z. Let s be 212/(-70) - (-3 + 0 - z). Is s smaller than 0?
True
Let o(u) = -u**3 - 6*u**2 - 3*u + 15. Let y be o(-5). Suppose -y*s = -5*m - 113 + 3, -3*m - 4*s = 38. Are -17 and m unequal?
True
Suppose -3*i = -4 - 5, -4*i = -3*u - 105. Let h = 29 + u. Which is smaller: h or -13/6?
-13/6
Suppose 0 = -2*z + 6*z - 16. Suppose z*k = 5*k + 28. Which is smaller: k or -0.1?
k
Let i be (-12)/(-54) - (-25)/9. Let j = -8 + 17/2. Let m = 2 - j. Which is smaller: m or i?
m
Let x = 76.294 - 1.194. Let n = x - 75. Let s = -1.4 + -10.6. Is n less than or equal to s?
False
Let k = -4 - 16. Let x = -15 - k. Let d be -3 - 1*(1 + -4). Which is greater: d or x?
x
Suppose -3*m = -3*q + 447, -3*m - 2*m - 157 = -q. Let n = 144 - q. Let r be 3/(-1)*4/3. Is n != r?
True
Suppose 0 = 3*x - 24 + 9. Suppose -o + x*n = 2*o - 2, 4*n + 2 = 2*o. Let j = -295/198 + 13/9. Is o at least as big as j?
False
Suppose -48*q + 83 = 35. Which is bigger: 1/841 or q?
q
Let q be 153/1*(-172)/(-129). Is -1/3 <= q?
True
Let h = -783 + 840. Which is smaller: h or 0.1?
0.1
Let t = 353/276 + -2/69. Let h be 20/((-20)/2) + 2. Is h bigger than t?
False
Suppose -j = 3*p - 8, 4*p - 9 = -1. Suppose 5*o = -j*n - 5 + 25, 2*n + o = 4. Let x = -2 - -1. Is n bigger than x?
True
Suppose -6*o - 1 = -5*o. Let w be (17/3)/(o + 7/6). Is 32 < w?
True
Suppose 100 = 2*y + 102. Is 1/187 != y?
True
Let r be 4/16 - 113/4. Let p be (-62)/(-70) - (-8)/r. Let i 