*s = 25*s + 40. Suppose 15*z - s*z = -10. Which is bigger: i or z?
z
Let h = 2866 - 2906. Which is bigger: -3 or h?
-3
Suppose 4*m + 233*g = 231*g, 2*m - 6 = 2*g. Are 3/823 and m unequal?
True
Let r(p) = -p - 17. Let a be r(-3). Let q be (2/a)/(20/(-140)). Which is smaller: 1/1319 or q?
1/1319
Let i = -0.273 - -0.273. Let g = -308 - -551. Is g greater than or equal to i?
True
Let w = -737 + 744. Let m = 4 - 1. Let l = m + -3. Which is greater: l or w?
w
Let z(x) be the first derivative of -4*x**3 + 7*x**2/2 + 5*x + 38. Let h be z(-2). Which is greater: -56 or h?
-56
Suppose 4*g + 4*u = 8, -9 = 3*g - 2*u - 35. Let y(r) = r - 6. Let m be y(g). Let p = -817 + 113561/139. Which is smaller: m or p?
p
Let a = -6/4223 - -10265/4252561. Let s = a + 83576/5035. Are s and 16 equal?
False
Let n = 2.873 + -5.358. Is 1 equal to n?
False
Let j = -163 + 157. Let k be (-1265)/j + (473/66 - 7). Is 1/3 != k?
True
Let n = 250 - 166. Let c = n - 17. Let m = c - 66. Which is greater: m or 2/15?
m
Let o = -136 + 193. Let t = 5946 + -5944. Is t smaller than o?
True
Suppose -798 = -4*w + 11*w. Let u = 12 - 12.1. Which is smaller: u or w?
w
Let x = 6945 - 6943.2. Which is smaller: -0.9 or x?
-0.9
Let x = -291795/1513256 + 1/18232. Is 0.1 less than or equal to x?
False
Let l = 2016.2 - 2483.2. Is 0.09 greater than or equal to l?
True
Let z be (-84)/(-56) + 5/10 + (-186080)/93035. Is z >= 1?
False
Let p = -415/638394 - -1/618. Let y = p - 1110/79541. Are 0 and y equal?
False
Let x = -106 + 177. Let k = x + -71.4. Let j = -15 + 5. Is k less than j?
False
Suppose -164124 - 214840 = 68*c. Are -5572 and c equal?
False
Suppose 0 = -42*l + 37*l - 4*w - 15415, 5*l = 3*w - 15415. Do l and -3083 have the same value?
True
Let l be (2 - -287)/(5/(-10)). Let m = l - -210. Let r be m/(-12) + 6 - 4/6. Is 37 smaller than r?
False
Let a(x) = -3*x**2 + 9*x - 10. Let t be a(3). Let w = t - -67. Let b = w - 75. Do -17 and b have the same value?
False
Let t = 1862 + -1931. Which is smaller: t or -64?
t
Let x = -3 + 4. Let c be 36/816*(-41177)/3. Let q = 1211/2 + c. Which is bigger: q or x?
x
Let q = -60.852 - 0.148. Let r = q + 84. Let m = 21 - r. Which is smaller: m or -33?
-33
Let u = 2550 - 2376. Is 166 at most as big as u?
True
Let d be (-6 + (-27)/(-6))*18722/69. Is d not equal to -398?
True
Let x(y) = y**2 + 78*y - 604. Let l be x(0). Is l > -603?
False
Let z be 10/(-16) + 30/40. Suppose u = 7*u + 114. Let t = -19 - u. Is z at most as big as t?
False
Let s = 600 + -175. Suppose -s*q + 415*q - 10 = 0. Is q greater than -1/558?
False
Let w be (48/216 + (-266)/144)/(3/(-4458)). Is 2416 at least as big as w?
True
Let o = 2.118 + -23.318. Which is bigger: o or 23?
23
Let w = -81 - -80. Let x = 105.7 + -111. Which is bigger: x or w?
w
Let r = 6 - 5.6. Suppose -17*s - 70 = -19. Let x be 60/(-200)*(-4)/s. Is x less than or equal to r?
True
Let n be (-3)/(-9) - (3 + 5905/(-15)). Suppose 0 = -21*h - 2*h - n. Which is smaller: -14 or h?
h
Suppose -4*k - s = -4*s - 34, 4*k + 4*s - 20 = 0. Let p be (-32 + 30)/(3/(-9)) - 0/(-2). Suppose 0 = -p*o + k*o + 2. Does o = -12/5?
False
Let b be ((1 - -5) + -1)*1 - (-3290 + -222). Is b < 3518?
True
Let f = 72 - 74. Let u(d) = -3*d**3 - 3*d**2 - 2*d - 4. Let k be u(f). Let b be -9*(-8)/k + 3 + -4. Is b at least as big as -8?
True
Let o be 13/(-13)*(-115)/20 + -9. Is o smaller than 15?
True
Let m = 335/18 - -161/9. Let t = 35 - m. Suppose -3*v + h = 3*h + 9, 3*h + 7 = 2*v. Which is bigger: v or t?
v
Let s = -1/29 + 61/87. Let n = 445 + -457. Let v be 15/(-100) - ((-15)/n)/(-5). Is s at least as big as v?
True
Let a(u) = -2*u**3 - 31*u**2 - 15*u + 2. Suppose -1 = -6*t + 11. Let m(c) = -11*c + 7. Let n be m(t). Let j be a(n). Which is greater: j or 23/8?
23/8
Let a(d) = 2*d**3 - 17*d**2 + 15*d - 4. Let c be a(6). Let z = 94 + c. Is z less than 1/226?
True
Suppose -148*m - 20 = -143*m. Let q(n) = -n**3 - 10*n**2 - 21*n + 10. Let w be q(m). Which is smaller: 6 or w?
w
Let q be -7*120/(-84) - 906/90. Is q > -23?
True
Let t be (0 - 0)/(-7 + 4 + 0). Suppose -6*y + y + 3*d + 35 = t, 5*y = d + 35. Is y at most 10?
True
Suppose q + 2560 = 9*q. Suppose -4*o - u - 329 = -0*o, q = -4*o - 4*u. Let k = 87 + o. Is k smaller than 0?
False
Let b = -2786 + 2792. Which is greater: b or -18?
b
Suppose 86*m = 6*m + 4*m - 12768. Is -500/3 equal to m?
False
Let i be (-42)/(-56) - (-4401)/4. Let y be i/36 + (-14)/21. Let l = -92/3 + y. Which is bigger: l or 0?
0
Let s = -363 + 414. Let l = -52 + s. Which is bigger: l or -35/19?
l
Suppose 18 = 3*i - w, 0*w = -2*i - 4*w + 12. Suppose 17 = 5*d - 4*t, 75 = 5*d - 3*t + 56. Is i bigger than d?
True
Suppose -96*a = 3*j - 91*a + 22, -a - 9 = -4*j. Which is bigger: j or -1/126?
j
Suppose -b - 4*b - 70 = 0. Let l = b + 19. Suppose 3*i - l*i - 2 = 0. Is 1/8 smaller than i?
False
Let v(r) = -3*r**3 + 14*r**2 + 9*r - 10. Let q be v(5). Let m be (((-60)/18)/q)/(1/6). Is m less than or equal to -12/17?
True
Let g = 315/263 + -97885/70747. Which is greater: g or -1?
g
Let b(v) = -2*v - 46. Let j be b(-24). Suppose j*k - 5*q = -206, k - 2*q + 68 + 33 = 0. Is k less than or equal to -92?
True
Let m be 3*((-8455)/(-2815) + -3). Let r = -1108/1689 - m. Is r bigger than 336?
False
Let i be (-615)/1224 + 112/210 + (-2)/10. Which is smaller: -1 or i?
-1
Let h = -5.445 + 34.477. Let r = 0.032 - h. Let c = r + 35. Is -1 at least as big as c?
False
Let k = 4584 + -41314/9. Are k and -3 nonequal?
True
Let w = -75 + 85. Suppose 3*j + 1 - 9 = -4*q, -5*q + w = 3*j. Suppose 0*m + 2*m = -3*g - 4, -2*g = -4*m - 24. Is g != q?
False
Let u = 41 + -209/5. Let j = 0.4944 + -0.0944. Is j greater than u?
True
Let g = -65 + 75. Let n be g/(-16)*(-4)/(-4). Let r(s) = -s**3 + 2*s**2 + s - 2. Let v be r(2). Is n smaller than v?
True
Let u(l) = -4*l + 25. Let r be u(-17). Let v = r + -210. Is v < -233/2?
True
Let t = -216.0514 - -1.0514. Which is bigger: 7 or t?
7
Suppose -3*o - 3*f = -91 + 319, 4*o + 280 = 2*f. Which is bigger: o or 8?
8
Let a = 29519 - 30824. Which is smaller: -1308 or a?
-1308
Let g(f) = -4*f + 19. Let m be g(-14). Let o = 53 - m. Let d be o/(-30)*5/2. Is d at least -0.1?
True
Suppose 67*k = 79*k - 43534 + 126346. Are -6901 and k equal?
True
Let d be (-876)/146*4/40938. Is d at most 1?
True
Let o(y) = 21*y + 112. Let r be o(8). Suppose -3*x = -2*a - 911 + r, x - a = 212. Which is greater: x or 206?
x
Let k = -65.3 + 1.3. Let x = k - -63.56. Let u = 1.06 - x. Is 0 < u?
True
Let v = -37 + -216. Let i = v + 255. Which is greater: 8/3 or i?
8/3
Let z(t) = t**3 - 14*t**2 + 14*t - 6. Let c be z(13). Let v(f) = -8*f**3 + 55*f**2 + 9*f - 3. Let o be v(7). Is c bigger than o?
False
Let y = 10/9 - 17/18. Let s = -16.119 + 18.119. Which is smaller: y or s?
y
Suppose -9*z = -2007 + 3150. Which is smaller: z or -173?
-173
Let h = 1908.87138 - -0.12862. Which is smaller: 1/3 or h?
1/3
Let v be (-248)/(-174902)*(-28)/312. Is 1 less than or equal to v?
False
Let q = -49.4 - 622.6. Let o = q + 657. Is o smaller than -15?
False
Let q(b) = b**3 + 5*b**2 + b - 9. Let c be q(-4). Suppose 5*u = -2*k - 10, 3*u - 8 = -0*k - 4*k. Let x = k + -2. Is x smaller than c?
False
Let q = 3690.3 + -3690. Which is bigger: q or 1191?
1191
Let z = -11347/33 - -1031/3. Which is greater: z or -122?
z
Let y(i) = -7*i - 24. Let d be y(-3). Let h be d - (-5 - 1)/3. Let r be 90/70 - h*(-2)/7. Which is greater: 2/235 or r?
r
Suppose t + w - 8 = -0*t, 16 = 2*t - 5*w. Suppose 5*c + t = -3*o, -3*c = -4*o - 7*c - 8. Let d be -4*o/14 - 74/161. Which is smaller: 0 or d?
d
Let x = -19030 + 19030. Do 1/693 and x have the same value?
False
Let f be (-20)/(-6)*6/4. Suppose 2*s + 5*k + 26 = 4*s, k - 11 = -f*s. Which is smaller: -1 or s?
-1
Let y = 207 + -119. Suppose -h - 6 = -2*c + 5, y = -5*h - c. Is -17 at most as big as h?
True
Let g = -686 - -26756/39. Is g <= 0.56?
True
Let z = -16010 + 15824. Which is smaller: -5.8 or z?
z
Suppose 9*i + 6 = 78. Let m = i + -47/6. Which is smaller: m or 0.12?
0.12
Let u(w) = -3*w + 19. Let a be u(5). Suppose 4*v + 5 = 5*d, -4*v + 3 - 7 = -a*d. Is -1/23 greater than or equal to d?
False
Let u be 4 + 20/(-6)*(-65 - 4). Suppose -550*n = -556*n - u. Which is bigger: -45 or n?
n
Let n be ((-2)/(-82))/(3/(-18)). Let u = 71/205 + n. Do 1 and u have the same value?
False
Su