Is 0 less than u?
False
Let r = -539.6 + 540. Are -24 and r non-equal?
True
Let r = -0.02902 + -34.94098. Let c = 35 + r. Which is smaller: 0.1 or c?
c
Suppose c + 3*i - 305 - 110 = 0, -3*c + 1237 = 5*i. Which is smaller: -2/7 or c?
-2/7
Let u(g) = 7*g**2 + 7*g - 56. Let a be u(-9). Which is bigger: 450 or a?
450
Let l(r) = 9*r + 7. Let i be l(-7). Which is greater: i or 1/6?
1/6
Let q = -3.98 - -0.48. Is 0.1 >= q?
True
Suppose -3*p = -5*j + 231, 0 = 4*j - 12. Let y = -2/3935 + 869641/11805. Let o = y + p. Is o <= 2?
True
Let i = 14 + -19. Let m(u) = -u + 5. Let a be m(i). Let b be -5*(1 + (-14)/a). Are b and 2 non-equal?
False
Let a = -53 + 69. Suppose b + b = 4*q + 44, -5*q = 3*b - 44. Which is smaller: a or b?
a
Let q = -223 - -222. Suppose -2*s - 4 + 10 = 0. Let c be s - (2 - (-4)/3). Is q < c?
True
Suppose -9*p = -11*p + 18. Suppose 5*r = -l - 3, 3*l + p = -0*l. Let z = -6502/25 - -260. Is r smaller than z?
False
Let l = -0.1 - -0.1. Let y be (9/24)/(-3) + (-9770)/(-208). Let q = y - 47. Is q > l?
False
Suppose 5*t = -3*z + 32, z - t = -0*t. Let b(g) = g**2 - 3*g - 4. Let i be b(z). Is -1/137 smaller than i?
True
Suppose 2*g + 5 = l - 6, -2*g - 13 = -3*l. Which is bigger: -4/5 or l?
l
Let w = 327 + -339. Which is smaller: w or 0?
w
Let y = -682 - -682. Is 36/23 > y?
True
Let y(k) = -k**3 + k**2 - 2*k + 2. Let j be y(1). Let m = 96/7 - 93/7. Which is smaller: j or m?
j
Let k be 35/(-50) - ((-64)/20 - -4). Does k = 132?
False
Let j(a) = a**3 + 6*a**2 + 5*a + 6. Let b be j(-6). Let i be (-17)/(-5) - 18/b*-4. Is 0 < i?
True
Let m be (-14)/1*-1 + 4. Suppose 3*g = 4*g + m. Which is greater: g or -19?
g
Let y(s) = -s + 48. Let r be y(1). Which is smaller: 49 or r?
r
Let l = -82 + 82.1. Let i = -3.03 + 3. Is i > l?
False
Let u be (-1)/(1*3/(-57)*1). Let m = -13 - -33. Which is bigger: m or u?
m
Let n(l) = -l**3 - 13*l**2 - 12*l + 5. Let j be n(-12). Suppose -j*s = 7*s - 528. Is -2 greater than s?
False
Let c = -1527 - -1528. Which is smaller: -0.0043 or c?
-0.0043
Let c = 1729 - 250713/145. Is c at most -1?
False
Let s = -77 + 37. Let y = -519/13 - s. Let z(i) = -2*i + 21. Let g be z(11). Do g and y have different values?
True
Let z = -0.12 + 7.12. Let o = -15 - -16. Suppose 4*l + o = 3*l. Is l > z?
False
Let b be (-18)/(-162) + 146/306. Is 2 less than or equal to b?
False
Let p = 103789/124 - 837. Is p < 0?
False
Suppose h - 8 = -5*k + k, 0 = 4*k - 8. Suppose -4*t + 2*x = -2*t + 10, -5*x + 18 = 2*t. Which is bigger: t or h?
h
Let l be 736570/(-1716) + (5 - 2). Let d = 8396/39 + l. Let z = -211 - d. Is 0 less than z?
False
Let l be 4/(-3)*(-27)/18 + -11. Is -10 at least as big as l?
False
Let l be 3 + -6 + 614/206. Suppose 0 = 5*c - 10, c = -r + 6*r + 2. Is r less than or equal to l?
False
Let y(a) = -a**2 + a - 60. Let v be y(0). Let o = v + 84. Let x be (-49)/140*o/(-3). Which is smaller: x or 4?
x
Let v(d) = d**2 - 11*d - 11. Let s be v(12). Let t be 4 + (s - (-4 + 5)). Is t less than or equal to 13/5?
False
Suppose m = 3*m + 8. Let u be ((5 + m)*0)/1. Is u >= 0?
True
Let t be 0*(-1)/9*3. Which is smaller: 50/37 or t?
t
Let h = 51 - 7. Let d = h + -38. Is d < 3?
False
Suppose -1122*n = -1115*n + 189. Is -28 <= n?
True
Let j = -1.1 - -1. Let u = -4062 - -4068. Which is smaller: u or j?
j
Let o(l) = l**2 + 13*l + 27. Let g be o(-11). Suppose i + 2*c = c - 2, g*c + 10 = -i. Which is greater: i or 7/16?
7/16
Let p = 0.13 - 17.13. Let m = p + 17. Suppose -3*i + 4*i - 3*o - 8 = 0, -i + 8 = -o. Are m and i non-equal?
True
Suppose 5*q = -2*h - 25, -q = -4*h - 2*q - 5. Suppose -4*o = -h + 4. Let u(c) = -c**2 + 2*c - 1. Let n be u(2). Is n at least o?
True
Let y = 546 - 547. Does 1/41 = y?
False
Let c = -109801/2011 + 2/10055. Let l = 55 + c. Suppose 0 = 4*p - v - 5, 20*p - 21*p = -3*v - 15. Do p and l have different values?
True
Let y be 6971/19 + (-146)/(-1387). Which is bigger: y or 368?
368
Suppose -8*x - 2*x = -6*x. Suppose -h = -x*h - 5*l - 15, 2*h - 12 = 4*l. Is h less than 2/95?
True
Let i = -65 - -182. Let h = 162 - i. Which is smaller: h or 1?
1
Let w = -2791/2 + 1382. Is -6 equal to w?
False
Let s(p) = -2*p**3 + p**2 + 5*p - 8. Let g be s(3). Suppose -4*h - 3*x - 178 = h, x = 2*h + 80. Is h at most as big as g?
True
Let q = -3247781/17 + 191197. Let n = q + -151. Which is smaller: 0 or n?
0
Let g(h) = -h**3 + 3*h**2 + h - 1. Let y(s) = -2*s - 1. Let k be y(-11). Let d be -3*k/(-9) + -4. Let l be g(d). Are 8/5 and l equal?
False
Suppose 3*l - 7 = -1. Suppose 9*h + l = 10*h. Suppose -4*q - h*o + 8 = -6, -o + 9 = 3*q. Which is greater: q or 3?
3
Let z = -6.194 + 0.194. Suppose 0 = 3*s - 2*j - 4, -5*s - 2*j + 4 = -4*j. Which is smaller: z or s?
z
Suppose -21 - 41 = 5*q - 2*y, q = 5*y + 6. Let a = q + 12. Let t be (2 + -4)/a + 0. Which is smaller: t or 4/11?
4/11
Let l(x) = -x + 4. Let y be l(2). Let o = 2 - y. Let n = 89/404 - -3/101. Which is smaller: n or o?
o
Let w be (-1 + -3)*((-15)/(-18) + -1). Let o = -0.2 + 0.25. Which is bigger: w or o?
w
Let f(g) = -g + 1. Let w be f(0). Let h(l) = -l**2 + 14*l - 28. Let t be h(12). Let q(a) = -a**3 - 3*a**2 + 2*a - 8. Let u be q(t). Is u at most w?
True
Suppose -155 + 21 = 2*b + 4*m, 0 = -2*b + 2*m - 116. Do -57 and b have different values?
True
Suppose 5*o - 2*u + 1 - 5 = 0, -2*o = 2*u - 10. Suppose -7*g = -o*g + 3*z - 117, -5*g = 5*z - 115. Let j be (-16)/g*(-2 + 1). Which is greater: 2 or j?
2
Suppose -12*u + 50 = -2*u. Suppose 4*i + 25 = u*n, 4*n = 6*n + 4*i + 18. Suppose 0*o = o - 1. Is n not equal to o?
False
Let a be (1/(-3))/(2/12). Let d be a*((-15)/(-6) + -2). Which is smaller: -1/3 or d?
d
Let h = 176 + -177. Which is greater: h or 6/149?
6/149
Suppose -23*b + 16*b - 35 = 0. Let l be b/44*-2*(-3)/(-45). Is 1 equal to l?
False
Suppose 0 = -3*v + 9, -3*x = -5*v - 1 + 13. Let r = 3 + -5. Is x at most r?
False
Let z(v) = -2*v - 6. Let m be z(-5). Suppose -m*t + 5*q = -132, 2*t + 0*q = q + 66. Is t greater than 34?
False
Let s = 0 + 0. Let b be 0/2 + -3*(-5)/70. Let k = -101/406 + b. Which is bigger: s or k?
s
Let u = 41 + 0. Let b = 40 - u. Is -9/5 greater than b?
False
Let k(d) = 7*d - 13. Let u(a) = 13*a - 25. Let i(l) = 11*k(l) - 6*u(l). Let y be i(-5). Which is smaller: 11 or y?
11
Let i = -1438 + 4319/3. Do i and 3.5 have the same value?
False
Let c = -6323/427 + 104/7. Are c and -1 nonequal?
True
Let z(m) = 2*m + 7. Let y(s) be the second derivative of -s**3/2 + s**2/2 + 7*s. Let x be y(3). Let b be z(x). Is -9 smaller than b?
False
Suppose 0 = -5*c + 3*w + 15, w = c + 2 - 7. Which is greater: c or -2/201?
c
Let g = -2054 - -2020. Which is greater: -308/9 or g?
g
Let c be (3/3 + 1)/1. Suppose 2*d + c*d = 144. Let f be 8/d - 25/(-9). Which is smaller: 2 or f?
2
Suppose -5*n = -10*n. Let r be ((-216)/(-60))/(1/(-10)). Let q be -9 + 7 - r/19. Do q and n have the same value?
False
Let w be (-10 - (-1 - 5)) + 2. Let n be (-30)/7*(-3)/(-9). Which is bigger: w or n?
n
Suppose 3*r + 5*y = 106, -59 = -2*r - 5*y + 4*y. Let b = r + -24. Let i be (6/(-45))/(2/(-40)). Is b greater than i?
True
Let h = -3523/15 + 235. Let m be (-45)/(-12) - 3/(-12). Let x = 3 - m. Which is greater: h or x?
h
Let l = -2512 + 10049/4. Which is smaller: -1 or l?
-1
Let z = -71/6 - -61/6. Which is smaller: 0 or z?
z
Suppose 4*w - q = q + 288, 0 = -5*w - 2*q + 351. Does w = 71?
True
Suppose 2*s - 4 - 8 = 2*m, -5*m + 33 = 4*s. Is s not equal to 12?
True
Let o be (6/3)/(110/2805). Which is bigger: 417/8 or o?
417/8
Let m = 3 + -2. Suppose -m = -y - 4. Let f(p) = -p**3 - 75*p**2 + 77*p + 76. Let h be f(-76). Is y < h?
True
Let a = 4101/14329 + -1/2047. Which is greater: 752 or a?
752
Let f = 2.18 + -0.18. Let j = 3 - f. Let u = -1.3 + j. Which is bigger: 0 or u?
0
Let o = -1439 - -2879/2. Is o less than or equal to -58?
False
Let g = 0.21 + 54.47. Let h = g - 56. Let y = h - -1.3. Is -2/9 at least as big as y?
False
Let g be (0 + (-28)/(-8))*2. Let f = 0.035 + -0.235. Is g less than f?
False
Let m = 102.9 - 103. Is m smaller than 5/13?
True
Let d(p) = p**3 + 17*p**2 + 18*p + 62. Let j be d(-16). Is 208/7 >= j?
False
Let c be (-64)/110 - (-16)/88. Let a = 58 + -57.98. Is c not equal to a?
True
Suppose 2*r = -c + 3, -c - 4 = -1. Suppose 2*s = 2*l + 54, s - l + 69 = 3*s. Suppose -5*j - 12 = -s. Is r at least as big as j?
Fals