*3 + 4*w**2 + 4*w + 1. Let g be x(-3). Let r be 2/(-15) + g/(-450). Let m = -28/3 - r. Is -2 equal to m?
False
Let d = -0.68 + 1.66. Let u = 4.08 - d. Which is smaller: u or 2?
2
Let i = 17 - 17. Let s = i - 31. Is -31 bigger than s?
False
Let w = -47/96 + -1/96. Let f = -2.39 - -0.19. Let j = -2.3 - f. Which is greater: j or w?
j
Let w(o) = o**3 - 14*o**2 + 13*o - 4. Let g be w(13). Let b = g - -18. Suppose 3*z + b = 2*z. Do -14 and z have the same value?
True
Let g be ((-6)/(-8))/((9/16)/((-69)/(-230))). Does g = -0.07?
False
Let v = 2679 - 3159. Is -1925/4 at least as big as v?
False
Let m = 193 + -191. Suppose m*x + 465 = -2*x - i, -4*i = -5*x - 555. Which is smaller: x or -116?
-116
Let j = 26 - 26.1. Let a = -1/657 + -1277/24309. Which is greater: j or a?
a
Let f be 2/(-7) - (66/14 + 1). Let h(j) = -j**3 - 5*j**2 + 10*j + 13. Let r be h(f). Does r = -10?
False
Let o be 24700943/(-12357075) - ((-21)/3 + 5). Let m = 1/5475 - o. Which is greater: m or 1?
1
Let k be 1488/(-192) + (10 - (4 + -2)). Let j = 72 - 71.67. Let v = 30.33 - j. Is k != v?
True
Let y = 2897 + -2896. Is y smaller than 32/17?
True
Let b(v) = -v**3 + 3*v**2 + 3*v - 4. Let x be b(8). Let k be (-2)/3*x/(-8). Let p be (90/k)/(99/(-30)). Which is greater: p or 1/3?
p
Suppose -19*g + 265 = 208. Which is greater: g or 9?
9
Let f = 6628 + -4278. Let g be f/282*(-9)/(-5). Do g and 13 have different values?
True
Let d = -8.421 + 0.421. Which is greater: d or 40?
40
Let o = 798 + -795. Let y be ((-286)/(-26))/(o/129). Which is smaller: y or 474?
y
Let n be ((-10)/(-40)*(-8444)/(-5))/((-8)/20). Is -1056 less than n?
True
Let p(j) = 106*j - 1028. Let g be p(10). Suppose 0*i - 8 = -2*i. Suppose 2*m - g = i*c, -4*c = -0*m + 2*m + 48. Is c at least as big as -4?
False
Let p = -38246 - -31180. Is p at least -7067?
True
Suppose 2*j - 242 + 210 = -3*m, -m = 2*j - 8. Is 256/19 >= m?
True
Suppose 84*m = 85*m - 233. Suppose -226*v + m*v = -189. Is v < -194/7?
False
Let v = 7136 + -7135. Is 2123/4 greater than or equal to v?
True
Let r = -20621 - -20621. Does r = 1/987?
False
Let q be 42 + 442480/(-11480) - 1/(2/8). Is q greater than -2?
True
Let o = 4/267 - -155/7476. Let s = 89 - 8. Let b = -80.9 + s. Which is smaller: o or b?
o
Let k be (-3)/1 - 594/(-8). Let c be -12829*1/(-30)*4/(-24). Let w = c + k. Is w at least as big as 0?
False
Let k(z) = 5*z**2 - z + 86. Suppose -4*x - 19 = 5*j + 6, 10 = 3*x - 2*j. Let m be k(x). Is m less than or equal to 85?
False
Suppose -3*x = 2*x + 275. Let s = x + 61. Let q be s/10*(-15)/(-6). Is q greater than 3?
False
Let o = -1984769428105813 - -4422066395654200193/2228. Let w = 49297328 - o. Let a = 2/1671 + w. Is 0 at least a?
True
Let c be (14/(-2))/(-1) - (-314824)/(-45548). Is c less than or equal to 0?
False
Let a = -418 + 420. Suppose -a*f + 26 = 26. Are f and -2/25 equal?
False
Let l(i) = -5*i**2 + 218*i + 438. Let d be l(-2). Which is bigger: d or -14?
-14
Let h = -1/388 - -855/30652. Let v = 255 - 254. Which is greater: h or v?
v
Let o be (-15 - -12 - 3522/(-394)) + -6. Which is smaller: -1 or o?
-1
Let j(v) = 23*v + 11. Let s be j(0). Suppose -4*a - 3*w = -s, -a + 5*w + 0 = 26. Which is smaller: a or -3/409?
a
Let s(v) = -450*v + 1192. Let b be s(2). Is 294 < b?
False
Let z be ((-10)/(-30) + 124/(-84))/(4/(-406)). Is 119 < z?
False
Let n = -258 + 255. Let o be 2*(n/(-5))/(15 + -12). Is 8/5 less than or equal to o?
False
Suppose -9 + 15 = t. Let v be (-5)/((-225)/40)*(-93)/(-12). Which is bigger: t or v?
v
Let i = -3.6304 + 1.6304. Which is greater: -1/59 or i?
-1/59
Let t be 1/2124*102534/13215. Let p = 1/8810 + t. Let o = 1609/4248 - p. Are o and 1 unequal?
True
Let b(k) be the third derivative of -k**6/120 + k**5/60 - k**4/6 - 11*k**3/3 + 40*k**2. Let v be b(-4). Is v greater than or equal to 73?
True
Let r(o) = -o**2 + 2*o + 2. Let u be -5*10/(-25)*1. Let z be r(u). Let v be (-224)/(-36) - z/9. Do v and 8 have the same value?
False
Let p = 3645 - 3717. Which is smaller: p or -0.1?
p
Suppose -10*u + 23 = -5*u + 18*u. Are u and -3/1178 equal?
False
Let h = 16 - 19. Let y(r) = 2*r**2 - 7*r - 6. Let z be y(4). Let w be (z - -2)/4*h/(-6). Are 5 and w unequal?
True
Let y be -2 - (3414/(-1713))/1. Is y bigger than -1?
True
Let x(b) = -b**3 + 21*b**2 + 23*b - 33. Let q be x(22). Let i(v) = v + 18. Let j be i(q). Let k be ((-8)/96*-6)/(j/(-24)). Which is greater: -1/3 or k?
-1/3
Suppose -14*x + 1501 = -263. Let t = 131 - x. Is t bigger than 7?
False
Suppose -9*d - 98 = 5*d. Let l(p) = 2*p + 15. Let f be l(d). Is f < -3/10?
False
Let f be 62088/(-7644) - -2*5. Is 3 <= f?
False
Let d(s) = 3*s**2 + 92*s + 105. Let h be d(-30). Is h < 45?
False
Let c be ((-98)/(-105))/(296/78). Let q = 2/37 + c. Which is bigger: q or 7?
7
Let b be 8 + -15 - (29 - 4). Is -49 greater than b?
False
Let y(u) = -u**2 - 6*u - 5. Suppose -6*b = -8*b. Suppose z - 3*q + 5 = b, -z - 5*q + 0*q - 5 = 0. Let o be y(z). Which is bigger: o or 1?
1
Let j = -1363.6 - -1264.6. Which is greater: j or -1.13?
-1.13
Suppose 0 = -8*i + 13*i - 4*p - 145, -5*p + 145 = 5*i. Let r be (203/42)/i*(-8)/(-854). Which is bigger: r or 0?
r
Let a = 7081 + -6419. Is a >= 662?
True
Let y = -2.16 + 85.16. Let i = -103 + y. Which is smaller: i or 0?
i
Suppose 4*q - 43 - 229 = -4*o, o = q + 70. Let y be 5 - (6/o + (-810)/(-207)). Which is bigger: 11/20 or y?
y
Let i = 34 + -13. Let v = -16 + i. Suppose 0 = 2*m - 4*w + 46, 0 = -4*m - v*w + 2*w - 136. Which is bigger: m or -32?
m
Let a be 3/9*772 - (-9)/(-27). Suppose -g + 25 = -6*g, -a = -2*h + g. Let c = -131 + h. Is c < -5?
False
Let o be (-1248)/1872 - 748/(-6). Let r = 4 + -4. Is r at least as big as o?
False
Let g be (7 + (-7 - -1) + 6)/(2 + 0). Which is greater: g or 0.07?
g
Let n be (1 + 0)*(171 - -19). Let y = 226 - n. Let w = 26 + 9. Which is smaller: w or y?
w
Let b(w) = -96*w**3 - w**2 - 4*w + 4. Let q be b(1). Suppose -2*i - 194 + 2 = 0. Which is smaller: q or i?
q
Let s(k) = k**3 + 26*k**2 - 21*k + 166. Let n be s(-27). Let y(d) = -d**2 + 5*d + 1. Let a be y(4). Suppose 9*c - a = n. Does 1/31 = c?
False
Let z(l) = -14*l. Let i be z(4). Let h be 58/i + (-27)/(-36). Let v be (60/490)/((-1)/(-7)). Is v smaller than h?
False
Let i = 25046.05 + -24340. Let y = i + -706. Which is smaller: y or 27?
y
Let p = -80.8137 + -18.1633. Let z = p + 99. Is 1 at least z?
True
Let c = -14671.167 - -14682. Let d = c - -0.167. Which is bigger: 4 or d?
d
Suppose 4*m + m = 345. Let h = -61 + m. Suppose 28*b + 126 = 42*b. Which is smaller: h or b?
h
Suppose v - 710 - 4145 = 3*a, -3*a = 3*v - 14577. Is v at most as big as 4857?
False
Suppose -6447 = -n + 5*h - 24869, 0 = -2*n + 3*h - 36837. Let g = -202443/11 - n. Which is smaller: g or 14?
g
Let s = 9/422 + 781/2954. Which is greater: 0.108 or s?
s
Suppose 39 = 7*i + 18. Let g be 3 - (i/1 + 15/3). Let s(a) = a**2 + 4*a + 6. Let m be s(g). Is m equal to 10?
False
Let i = -342 - -359. Suppose 14*v + 31 - i = 0. Do v and -4/11 have the same value?
False
Let s be ((-6842)/25995)/(-2) - (-1014)/(-7605). Is 0 at least s?
True
Let q = -327 + 329. Suppose -3*l = -q*w - 264, 0 = -3*w - 0*l - 5*l - 396. Which is smaller: w or -2/7?
w
Let h be (-122810)/(-75) - (13 + -14 - 4/(-6)). Which is greater: h or 1639?
1639
Let y = 113.81 - 227.81. Are y and 0.02 equal?
False
Suppose -w = -2*d - 255, -w - 22*d + 283 = -17*d. Is 1311/5 > w?
False
Let w = -44650 - -35139558/787. Are -1 and w nonequal?
True
Let f = -452764/105 - -4312. Is -3/7 equal to f?
False
Let i be (2 + 1)*-6*(-205)/17425. Which is smaller: 1 or i?
i
Let p = 9214 + -5408616/587. Which is smaller: p or -1?
-1
Let h = -15 - -103/7. Let j = -456/7 - -1424/21. Which is bigger: j or h?
j
Suppose 12*r - 6 + 54 = 0. Let z be (-52)/(-10) - (-6)/(-9). Let a = 14/15 - z. Which is smaller: a or r?
r
Let m = 45 + -42. Let w be (-4)/(-104)*2/3*129. Is w < m?
False
Let a(g) = -15 + 8*g - 310*g**2 + 0*g - 308*g**2. Let z be a(2). Let s = z - -116143/47. Is s less than 1?
True
Let q = -8499 - -9571. Which is greater: q or 1068?
q
Suppose 4607 = -4*m - 3*q, -m + 22*q - 19*q = 1133. Is m at least as big as -1148?
True
Let z(j) = -5*j**3 + 3*j**2 + 4*j + 2. Let y be z(-1). Suppose 0 = y*t - 0*t. Let l = -153 - -3212/21. Is l at most as big as t?
True
Suppose 37*m - 3 = 38*m. Let c be (-