r = 730 + -952. Let u = 254 + r. Is 34 at most as big as u?
False
Let c(h) = 10*h**2 + 6*h + 3. Let x be c(-2). Let g = -16 + x. Let v be ((-6)/g)/(2/140) + -1. Are -28 and v unequal?
True
Suppose -13 = 11*g - 68. Let y be 6/60*g*-1. Which is smaller: -63/5 or y?
-63/5
Let j be 1/18*(-31578)/76. Is j at most -23?
True
Let w = 0.01831 + -75.79831. Let h = w - -1.78. Is h <= 0.1?
True
Let r = -7549 + 7531. Let n(t) = t + 10. Let o be n(-8). Suppose 3*q - o*q = -17. Which is smaller: r or q?
r
Let o be (-41454)/12432*(-2)/6. Let g = -8636/259 + 230/7. Let z = o + g. Which is smaller: z or 1?
z
Let z = -59 + 34. Let k = z + 30. Suppose -71 = 2*t - k. Is -34 smaller than t?
True
Let m = 13312 + -13314. Is 172 at most as big as m?
False
Suppose -3*r + 6 = -4*r. Let x be (-1)/r - 27/154. Let z be (-2)/(-16) - (45/6 - 11)/(-28). Which is smaller: z or x?
x
Let b be 3051/(-54)*(-100)/2. Let u be 2 + b/(-1160) - -1. Let p = -9/29 - u. Which is smaller: p or 0?
p
Let p(m) = -11*m - 28. Suppose 12*x + 5*x - 68 = 0. Suppose x*w = -20, 4 + 14 = -4*s + 2*w. Let r be p(s). Is r at most 50?
True
Let h = 14530/87 + -167. Let l = h - -26/261. Which is bigger: 1 or l?
1
Suppose -1808 = -3*f + 5*o, -1799 = -2*f - f - 4*o. Which is greater: 2405/4 or f?
2405/4
Let g be (-13260)/19312*8/(-6). Which is smaller: g or 1?
g
Let c = -161 - -172. Suppose 3*z = t - c, -5*z - 15 = -2*z - 3*t. Which is greater: z or -6?
z
Let p(b) = b**2 - 112*b + 635. Let u be p(6). Is u at most 6/1799?
True
Let z(h) = 21*h**2 - 123 - 116 + 244 - 13*h. Let x be z(3). Which is greater: 156 or x?
156
Let w(u) = 16*u**3 + 8*u**2 - 380*u + 1456. Let j be w(4). Are 1084 and j non-equal?
True
Let w be 30/(-55) - (-464)/44. Let m be (27/3 - w)*84. Which is smaller: m or -251/3?
m
Suppose -26*j + 15980 = -5*r - 21*j, 0 = 5*r + 3*j + 15996. Is -3202 > r?
False
Let b be (-4)/((-16)/75) - (-11)/44. Suppose 2*h = -4*s, 24*s = b*s + 5*h + 15. Which is greater: -3/241 or s?
s
Let d(b) = b**2 - 16*b + 12. Let g be d(12). Let f = -55 - -15. Is g equal to f?
False
Let u(j) = 4*j - 89. Let l be u(22). Let w(s) = s - 8. Let z be w(l). Is z equal to 2?
False
Let v = 153 - -89. Let i = v - 227. Is i at least as big as 20?
False
Let c(h) = -21*h + 439. Let m be c(-19). Which is smaller: 1677/2 or m?
m
Suppose -4*z + 15299 = w, -5*w = 118*z - 121*z + 11457. Which is smaller: z or 3823?
3823
Let a(t) = 5*t**3 - t + 3. Let c be a(3). Let s = -31432 - -31567. Is c at most s?
True
Suppose -9*k + 6*k - 4*d + 5738 = 0, 3*k - 5745 = 3*d. Suppose -8*o = -538 + k. Which is greater: -170 or o?
-170
Let t = -0.08911 + 0.18911. Is 5273 <= t?
False
Let m = -8641.79897 - 0.20103. Is -1/4 smaller than m?
False
Let f be (6/14)/(9/63). Suppose i = -3*i + 4. Let c(u) = -9*u + 9. Let l be c(i). Which is greater: l or f?
f
Let r = -0.31404 - -0.41104. Is 0.3 not equal to r?
True
Suppose -2*a + 86 = -a. Let s be (a/(-30) + 3)*-2. Let g = 130/7 - 527/28. Which is smaller: g or s?
s
Let w = -53 - -51. Let p be ((-64)/(-8) - 8) + 697 + w. Do p and 694 have different values?
True
Let r(p) = 11*p**2 + 201*p - 59. Let q be r(-23). Which is greater: q or 1139?
1139
Suppose -5*k + 2*t = 1795, k = 2*k - 2*t + 367. Let j = k + 3209/9. Suppose 8*b = 6*b + 2, -4*o = -b + 5. Are j and o equal?
False
Suppose -4*s + 2 = x - 5, -x = 5. Let h(j) = 3*j**3 + 3*j**2 + 9*j - 5. Let g be h(s). Let w = g + -137. Which is smaller: -4 or w?
w
Let m = 946 - 943. Suppose -l - 3*v - 77 = 0, m*v + 429 = -5*l - v. Which is bigger: -87 or l?
-87
Suppose q - 12 = -3*m - 0*q, q = 4*m - 16. Suppose -2*d - 3*l = 6, -5*l = d + 6 + m. Which is greater: 2/403 or d?
2/403
Let q be (-12)/21*2*-331*5/(-10). Is -189 less than q?
False
Suppose w - 35 = 2*q + 7, -78 = -2*w + 2*q. Suppose -w + 18 = 3*u. Let r(o) = -o**2 - 7*o - 5. Let i be r(u). Which is smaller: i or 5?
i
Let b be 2 - -2 - -21*(-5)/15. Let w = -712 + 694. Is w greater than b?
False
Let h = 551/8 - 69. Let c(l) = l**2 - 31*l - 37. Let t be c(32). Let a be (-3)/(-6) - t/10. Which is smaller: h or a?
h
Let v = -324.15 - -323.15. Let p be ((-1)/2)/((-1)/(-10)). Let r = -20/3 - p. Is v at least as big as r?
True
Let o be (-12)/(-20)*295*1. Let f = 168 - o. Which is greater: f or -10?
f
Let t(j) = 356*j + 378. Let a be t(-1). Which is smaller: a or -12?
-12
Suppose 40*q - 37*q - 234 = 0. Suppose -q = -6*x - 66. Which is bigger: 10/19 or x?
x
Let x = 249 - 224.7. Which is greater: x or -9?
x
Let d = 5908 - 35363/6. Suppose 0 = 2*t - 8 - 20. Which is bigger: d or t?
d
Let v(q) = q**2 - 5*q - 9. Let o be v(4). Let t(x) = -x**3 - 12*x**2 + 9*x - 20. Let j be t(o). Let c = 1950/61 - j. Is 0 less than c?
False
Let o be -2 + -27 - (-2)/2. Let u(h) = 11*h**2 - 401*h - 2077. Let z be u(41). Which is bigger: z or o?
z
Let f be -2 - (-18996)/8806 - (180/35 - 5). Which is smaller: f or 1?
f
Suppose 16*f = 389 + 235. Let q = -40 + f. Which is bigger: 2/11 or q?
2/11
Let m be ((-630)/336)/(3*355/(-36)). Is m at least as big as -1?
True
Suppose 12485 = b - 6*b - 790. Is b at most as big as -18584/7?
True
Let u = 1921 - 1186. Let d = 397 - u. Let s be 3/(17 + -2) + d/(-10). Which is greater: 35 or s?
35
Let g = 814 + -814.092. Let r be (-12)/45 - (-9)/(135/10). Which is bigger: g or r?
r
Let a be -3 + 8 - (-18)/(-4) - 9/2. Is -93/22 at most as big as a?
True
Let v = -243554 - -243555. Let l = -363 + -205. Let r be (-6)/(-15) + l/1470. Is v > r?
True
Suppose 143 = -8*x - 241. Let j = x - -45. Let w be 2*j/(-18)*15. Is 5 greater than or equal to w?
True
Suppose j + 2 = 0, -v + 3*j = -2*j - 11. Are v and 6/37 non-equal?
True
Let m(o) = o**3 + 27*o**2 - 24*o + 25. Let y be m(-28). Which is greater: -78 or y?
-78
Suppose 136*x - 160*x + 552 = 0. Let h be (6/(-7))/((-4)/28). Let v(a) = a - 4. Let n be v(h). Which is bigger: n or x?
x
Let q = -1381 + 1340. Which is greater: -61 or q?
q
Suppose 29*z = -174 - 116. Suppose 0 = -2*f - 2 + 14. Let n(p) = -p**2 + 4*p + 2. Let r be n(f). Is r != z?
False
Suppose g = -0*g + 2. Let d = -124.052 - -124. Let h = d - -1.152. Which is smaller: h or g?
h
Suppose 174 = -69*m + 81*m - 4458. Which is bigger: 389 or m?
389
Let n = -6037 - -6033. Which is greater: -207/41 or n?
n
Let j = -0.0062 - -0.3462. Is -22 at least as big as j?
False
Let r(q) = -164*q**3 + 70*q**2 + 10*q - 20. Let c be r(2). Are 13 and c nonequal?
True
Let f(a) = a**2 + 8*a + 1. Let r be f(-5). Let i = -257 - -260. Suppose 0 = 4*v, -i*v = 5*g + v + 65. Which is greater: r or g?
g
Let d = -8055 + 249601/31. Is -3 <= d?
False
Let n = 0.45 + 5.55. Let u = n + -26. Let q = u - -21. Is q at most -12?
False
Let b = 13 - 38/3. Let x = -57634.3 - -57657.3. Is b > x?
False
Let k(t) = -t**2 - 6175*t + 18534. Let p be k(3). Let g(v) = -v**2 + 7*v + 1. Let f be g(6). Are f and p equal?
False
Suppose 0*k - 84 = -4*k. Suppose 0 = y + 6*c - c + k, -4*y - 9 = 5*c. Let x be (-1 - 1)*(-2)/y. Which is smaller: x or 8/7?
x
Let n = -4307 + 107673/25. Which is greater: 692 or n?
692
Let r(s) be the first derivative of s**5/30 + s**4 - 20*s**3/3 + 8. Let m(f) be the third derivative of r(f). Let t be m(-6). Which is bigger: 2/3 or t?
2/3
Let g = -257 - -260. Suppose 187 = 3*h + f - 28, 5*f = -g*h + 235. Which is smaller: h or 71?
h
Let h(t) = -4*t + 148. Let d be h(29). Suppose 3*q = -2*k - 34, d*q - 4*k = 28*q - 12. Let f = 3 + -2. Which is smaller: q or f?
q
Let l = 13148 + -302406/23. Let z be (-4)/6 + 22/33. Are z and l equal?
False
Let d = 3550.8 + -3550. Which is smaller: d or -417?
-417
Let a = 390 + -158. Let y = 2008 - 1774. Which is bigger: a or y?
y
Let b = -479 - -707. Let v be (2/(-6))/(4/b). Let j be -23 - ((6 - 13) + 1). Is v bigger than j?
False
Let y = -4360 + 4374. Which is bigger: 0 or y?
y
Let f(v) = -2*v**2 - v + 205. Let s be f(8). Which is smaller: 75 or s?
s
Let s = -25.319 + -0.281. Let u = -32 - s. Let g = u - -7. Which is bigger: g or 4?
4
Suppose -4*r + 8 = -8. Let f = r + 9. Is 20 bigger than f?
True
Let t = -1719 - -1716. Let p = -27 - -48. Let g = 21 - p. Is t != g?
True
Suppose 0 = -2307*f + 17821 - 80110. Suppose 5*k - 31 = 4*w + 84, -2*w + 5*k = 65. Which is bigger: w or f?
w
Let d = 15139 - 9659. Is 5481 at most as big as d?
False
Let s(y) = y**2 - 8*y - 45. Let k be s(13). Let n be (38/(-513))/(k/6). Which is greate