. Let a = r - 7200/61. Is -1 less than a?
True
Suppose 0 = i + 3*u + 11, -7*i + 5*u = -3*i - 7. Suppose -2 = -2*h + 2. Let m be (7/i + 3)*h. Which is greater: 0 or m?
0
Let o = 13755 + -13795. Are o and -12 non-equal?
True
Let z = -34.91 - -34.81. Is -831/10 at most z?
True
Let r = -82.8 + 87.8. Let h = 18 - 8. Let b = -9.2 + h. Which is bigger: b or r?
r
Let r be (13/(-3))/(4/60). Let h be -5*(69/r - -1). Let a = -0.1 + 0.3. Is h greater than or equal to a?
True
Let a(t) = t**2 + 4*t - 3. Let f be a(-5). Suppose f*g - 5*g = -6. Suppose q = -g*q - 9. Is -22/9 smaller than q?
False
Let d be (6*2215/(-45))/(10/195). Is d less than 2/9?
True
Let v be (0 + -1)/((4/428)/(-1)). Let u = v - 111. Is u <= -31?
False
Let j = -73805/139 + 531. Which is greater: j or 1?
1
Let r = -579/20279 + -2/101395. Let h = 2.1 - 2. Is r > h?
False
Let f be 13/(728/(-12))*(1 + -2 + 5). Which is smaller: -3/26 or f?
f
Let h(o) be the first derivative of -o**4/4 - 7*o**3/3 - 4*o**2 - 9*o - 12. Let r be h(-6). Suppose -t = -4*d + 9, 3 = 3*t + r*d - 0. Is t less than -10?
False
Let t = 8487 - 8287. Let m = 0.6 + -0.7. Which is smaller: m or t?
m
Let z = -173 - -188. Suppose 647 = z*a + 92. Which is bigger: 39 or a?
39
Let h be 0/2 - (5 + 1). Let j be (h/(-10))/((-4)/(-10)). Let w = 297826 - 297836. Is w smaller than j?
True
Let o = 112 + -111.32. Let g = o + 5.72. Let k = 7.3 - g. Which is greater: k or -2?
k
Let p(y) = y**3 - 2*y**2 - y + 20. Let k be p(0). Suppose -6*r + k = -r. Suppose r*v + 2 = -6. Which is smaller: v or 10?
v
Suppose 9 = -34*j + 35*j. Suppose -j*w + 12*w = 12. Suppose 0 = w*u - 4, -1 = -2*f - f - u. Do 2 and f have different values?
True
Let i = -914.4342 - -926.44. Let s = 0.0058 - i. Let b = -4 + 4. Is b bigger than s?
True
Let i = 0.2073 - 0.2573. Let v = -13 + 26. Let t = 12.97 - v. Is t greater than or equal to i?
True
Let l(u) = -2*u - 2. Let i be l(6). Let k = 227.96 + -4.96. Let g = k - 223. Does i = g?
False
Let i be 116/(-609) + (-28)/(-21). Is 322 > i?
True
Let u(x) = x**2 + 14*x + 27. Let j be u(-12). Suppose -15 + 3 = j*o, o + 20 = 4*y. Suppose y*w + 12 = 3*p - 7*p, 6 = -2*w - 4*p. Is 4 less than or equal to w?
False
Let z = -123.799 + 39.736. Let w = z - -84. Let s = w - 0.037. Is s less than 1.5?
True
Suppose 845*g = 905*g - 660. Let m = -3.3 - -3. Let t = 0.4 + m. Do g and t have the same value?
False
Let j be 4 - 1*(-2 - -3). Let w(g) = -59*g**3 - g**2 + 2*g - 2. Let r be w(1). Let q be 3*5/r*(-44)/5. Is q less than j?
True
Suppose -2*o + 6*o = 3*y + 19, y + 10 = 5*o. Let w be (-29)/(-21)*y + (-1)/(-3). Which is smaller: w or -7?
-7
Let y = -493 + 464. Let s(c) = -c**3 + 3*c**2 + 6*c - 3. Let b be s(4). Suppose 3*p + 17 = -l - 24, 153 = -b*l - 2*p. Is y not equal to l?
False
Let l(y) be the second derivative of y**5/20 + 19*y**4/12 + 89*y**3/6 - 5*y**2 + 267*y. Let z be l(-10). Which is smaller: z or -6/77?
-6/77
Let v be (-5*(-9)/15)/(-35 - -53). Is v <= 3/23?
False
Let g = -505 - -534. Let o(j) = -j**3 - 4*j**2 - j - 2. Let x be o(-5). Is x greater than g?
False
Let c = -183 + 183. Let i be (-140)/84 + 82/36. Which is greater: c or i?
i
Suppose 4*w - 3*f + 18 = 0, 22*w - 17*w - 4*f = -24. Is 3/3434 at most w?
False
Suppose 0 = -3*z + 6, -5*b - z + 3482 = -0*b. Let q be b/10 - 12/(-30). Which is greater: q or 71?
71
Suppose m + m - 5*t = 0, 0 = -5*m - 4*t. Let o be 40/8 - (56/13 + 1). Is o >= m?
False
Let m = -6616 + 6615. Which is smaller: m or 8/131?
m
Let y = 72.836 + -2.836. Is y bigger than 3?
True
Suppose l - i - 3*i = -172, 3*i = -3*l - 471. Let j be 384/l*50/(-3). Is 47 less than or equal to j?
False
Suppose -5*m - 251 + 16 = 0. Let k be -3 + 363/(-9) + -3. Which is greater: m or k?
k
Let q be 0 - -1 - (-2 - 0). Suppose b = -4*y + 337 + 371, -1411 = -2*b - 3*y. Let s = b + -704. Which is bigger: s or q?
q
Let s(y) = -2*y + 14. Let k be s(5). Let l be (-963)/7 + k/7. Is -137 less than l?
False
Suppose -v + 3 = -3*q - 14, v + 2*q + 8 = 0. Let i be 0/(-5 + 2 - v). Which is greater: -1/148 or i?
i
Suppose 11*u = o + 10*u - 1433, 3*o = 6*u + 4311. Is o not equal to 1429?
False
Let c(w) = -2*w + 13. Let g be c(1). Suppose -q + 2 = -1. Suppose -2*p = -q*p + 4*k + g, -5*p + 13 = k. Are 16/5 and p nonequal?
True
Let r be (-2226)/(-112) + 2/16 + -1. Suppose 3*s - r = -19. Is s not equal to -14?
True
Suppose -25*m = -21*m - 8. Let b be -1 + -48 + 3 + 0 + m. Is b > -171/4?
False
Suppose -34*b - 1428 = -408. Which is bigger: -628/21 or b?
-628/21
Suppose -9405 = 3027*a - 2928*a. Which is smaller: a or -129?
-129
Let j be ((-2)/4 - 0)/(231/1747878). Let m = 3774 + j. Is -8 greater than or equal to m?
True
Let g = -100 + 169. Let n = g - 125. Let j = n + 56.2. Is j greater than or equal to 11?
False
Let k(h) = -2*h**2 + 129*h + 345. Let s be k(67). Let v(p) = -5*p - 10. Let y be v(-5). Are s and y equal?
False
Let f be (-430732)/(-52) - (-88)/(-286). Is 8283 greater than or equal to f?
True
Let z = 109.029 - 109. Let a = z + 27.971. Let c = 44 - a. Do c and 0.2 have the same value?
False
Let j(b) = -b**3 - 3*b**2 + 2*b + 8. Let p be j(-3). Let z = 47387/30591 - 10/2781. Which is greater: z or p?
p
Suppose -4*m = z + 2*z + 136, -4*z + 5*m - 140 = 0. Let q be (-204)/1989*(-522)/32. Let v = q + -25/13. Which is smaller: v or z?
z
Let m(t) = -7*t + 115. Let o be m(-18). Let x = 259 - o. Is x at most as big as 22?
True
Let j = 2/11959 - -23912/35877. Is j greater than 4804?
False
Let j(s) = 4*s**3 - 2*s**2 - 74*s - 22. Let y be j(10). Is y smaller than 3038?
False
Let i = 2812/39 - 946/13. Suppose 3*j = 2*j. Is j > i?
True
Let d = -188 + 184. Let w be 56/(-7) - (d - -1). Which is bigger: w or 2/9?
2/9
Let b = 10 - 11. Let f = 581 + -675. Which is smaller: b or f?
f
Let i(y) = 2*y**2 - 8*y + 60. Let g be i(5). Let k(u) = -7*u + 16. Let o be k(-8). Are g and o nonequal?
True
Let w = -10045/27 - -372. Suppose 3*x - 23 = -8. Suppose -4*n - 16 = 3*y, -2*n = x*y + n + 12. Which is smaller: w or y?
w
Let m = 0.17 - -35.83. Let a = -35.9218 - -0.1218. Let d = a + m. Which is greater: -2/7 or d?
d
Suppose 2*u + 12 = 4*u. Let z(y) = -y + 5. Let n be z(u). Let w = -60849/16 + 3803. Which is greater: w or n?
w
Let x = -7217 - -7237. Are 130/7 and x unequal?
True
Suppose -232*x + 12 = -231*x. Which is greater: x or 36?
36
Suppose 30*p = 146 - 26. Suppose 11*n + 1770 = -p*n. Is -119 <= n?
True
Let v(h) = -2 + 12*h + 26 + h**2 - 12*h + 13*h. Let q be v(-16). Is q greater than 212/3?
True
Let s be (-6)/4*(-13)/((-78)/(-24)). Let a be ((-21)/(-2926))/(s/8). Which is smaller: a or 0?
0
Suppose 0 = -18*l + 8*l + 30. Suppose 2*k = 5*k + l. Is -3/23 less than k?
False
Let a = 109 - 9. Let b = a - 100.05. Is 3 <= b?
False
Let t be ((-2)/(-1) - 4)*-1. Let d be t + (-7 - (1 - -3)). Let p = d + 16. Is p bigger than 8?
False
Let h be (-1288)/(-1884)*-3 + 2. Let r = -47296 + 47296. Is r less than h?
False
Let z = 2/1093 - -36049/10930. Let q = z - 47/10. Which is greater: -1 or q?
-1
Let z = 11 + 4. Suppose -2*v + 7*v - z = 0. Suppose 0*d = 5*d - 15, 2*c - 1 = v*d. Are c and 2 nonequal?
True
Suppose -3*i = -2*i - 4, -3*w + 13 = i. Suppose -10*q = -w*q. Let v be -1 + q - (-10 - -9). Is 11 bigger than v?
True
Suppose 0 = 2*r - 4*i + 113 - 83, -2*r - 33 = -i. Suppose n - 18 = -l + 6*n, -4*n - 72 = -4*l. Let v = -34 + l. Is v > r?
True
Let u = -1093 + 1093. Let f be 47*(-3 - -14 - 4). Is u at least as big as f?
False
Let x = -112270181/1799 + 62407. Is x < 0?
False
Let b(y) = 2*y - 12. Let p be b(7). Let o be (30/(-18) + p)*-63. Which is bigger: -20 or o?
-20
Let o = -38318 - -38152. Do o and 0.034 have different values?
True
Let s = -11082 + 188506/17. Are s and 6 nonequal?
True
Suppose 4*y - 134 = -d + 163, 88 = y + 3*d. Do 89 and y have different values?
True
Let m be -4 + 2 + -2 - -8. Let w(p) = -p**2 + 8*p. Let v be w(m). Let r = v + -15. Which is smaller: r or 18/13?
r
Let z be (72/27162)/((-20)/(-15)). Is 0.5 greater than or equal to z?
True
Let o = -39 - -36. Let r be o/4*152/2109. Let j = -107/74 + r. Is j >= -1?
False
Let b = -9.15 - 7.15. Let v = 16.24 + b. Which is bigger: -2/21 or v?
v
Let i = 0.4866 + -0.0066. Is -10/7 != i?
True
Let f = -3905 + 4251.3. Let q = 346 - f. Is 7 at most q?
False
Let t be (-1504)/(-68) + 1 - (-6)/(-51). Suppose 116 + 229 = t*k.