t x(j) = j**3 + 98*j**2 + 95*j - 195. Let m be x(-97). Which is smaller: y or m?
m
Let u = -116918259719/1671 + 69969032. Let z = u - -2/557. Suppose -9 = 3*n + 5*g, -2*n + g - 5*g = 6. Is z greater than n?
False
Suppose -8*o + 64 = 8*o. Suppose -2*u + o*a - 106 = 0, -2*u - 107 = -7*a + 4*a. Suppose 4*x = 109 - 329. Is x equal to u?
True
Let g = 101.72 - 0.12. Let c = g + -102. Which is greater: c or -0.01?
-0.01
Let d = 471 - 500. Let b be (-266)/80 + (d + 16)/(-104). Suppose 18 = 2*i - 4*v, 3*v + v + 24 = -4*i. Is b greater than or equal to i?
False
Suppose 3*j - 9*j = -48. Suppose 10*h = j*h - 20. Let y = -8 - h. Which is bigger: y or 5/2?
5/2
Let q = -2280.424 - -2281. Which is smaller: -5 or q?
-5
Let b be 751 + 0 - 38/2. Which is bigger: 731 or b?
b
Suppose 2*f - 5*f = -630. Let o = f + -263. Suppose 0 = 4*k + g + 141 + 76, -3*g = 3. Which is smaller: k or o?
k
Suppose 8*i - 6 = 14*i. Let q be 26/7 - (i + 2). Which is smaller: q or 2?
2
Let d be (-2212)/35 - (-1)/5. Suppose -3*g = -g + 5*j - 129, -3*g + 4*j = -182. Let r = g + d. Which is smaller: r or -3/49?
r
Let s = 2926 - 3168. Is s at least -235?
False
Let r be (18 + -4)*216/28. Let x = -98 + r. Suppose 74 + x = -6*h. Which is greater: -17 or h?
h
Suppose -u = 4, -91*u + 97*u + 109 = 5*m. Which is smaller: 247 or m?
m
Let q = -16343 + 16303. Let w = -143 - -205. Suppose 3*p = -55 - w. Which is smaller: q or p?
q
Suppose 0 = -18*h + 583 - 3301. Let q = 154 + h. Let v be 1*1/(3/q). Which is bigger: v or -2?
v
Let m(x) = 2*x**3 + 56*x**2 - 60*x - 102. Let u be m(-29). Which is smaller: -89 or u?
-89
Let c be 1/(5/(-4))*(-85)/(-34). Let g be 4/(-3)*(-21)/c. Which is smaller: g or -61/4?
-61/4
Suppose -i + 592 = 15*s - 13*s, 0 = s + i - 293. Is 296 != s?
True
Let a(n) = -n**3 - n**2. Let o be a(0). Suppose 0 = -21*u + 5*u + 40912. Let z = -242917/95 + u. Which is bigger: z or o?
o
Let t = -362/17 - -461/17. Is t at least 7?
False
Suppose 0 = -4*f + 3*f. Let c = -39236 - -39240. Which is greater: c or f?
c
Let l(s) = -s**2 - s - 7. Let g = -477 + 475. Let z be l(g). Is z < -8?
True
Let h = 222 + -222. Suppose -2*v - 268 = -0*v - 4*c, h = 5*c + 15. Are -2 and v nonequal?
True
Suppose 10614 = -1714*b - 1713*b + 3429*b. Do b and 5307 have the same value?
True
Let i = -8 + 72. Suppose 5*o - 330 = -s, -3*s - 330 = -5*o + 2*s. Is i <= o?
True
Let z(o) = 2*o**2 - 3*o - 32. Let u be z(12). Let q be (-11)/(u/8)*-375. Is 150 > q?
False
Suppose 4*y - 686064 = a + 897867, -2*y + a = -791963. Let k be y/672 - (-2)/(-7). Let o = k - 589. Are o and -1 equal?
False
Suppose -3*f = -5*d + f - 12, 3*d + 12 = 4*f. Suppose -5*h = 10, -4*u - 3*h - 2 - 4 = d. Which is smaller: 54 or u?
u
Let u(a) = a**3 + 11*a**2 + 10*a + 5. Let b be u(-10). Suppose -8 = o - 3*o, b*o = v + 20. Suppose -2*r - 3*r - 110 = v. Which is smaller: r or -21?
r
Suppose -2*p = 4*h - 258, -h + 134 = h + 2*p. Let c = 64 - h. Let s be ((-16)/20)/((-7)/(35/c)). Is -11 greater than s?
False
Suppose 162*m = 157*m + 45. Which is bigger: 215 or m?
215
Let q = 573.2 - 630. Let v = -56.8542 - q. Which is bigger: v or 0?
0
Let g(i) = 2*i**2 + 1064*i + 3174. Let u be g(-3). Let h = 71 - 35. Which is greater: h or u?
h
Suppose 5950 + 4370 = -24*z. Let q = -384684 + 4236263/11. Let j = z + q. Which is greater: j or 0?
j
Suppose 18*b - 90454 - 56912 = 48456. Is 10878 < b?
True
Let p = -0.01 - -0.038. Let u = -0.2873 + 1.3153. Let k = p - u. Which is smaller: k or -1/4?
k
Let t = 250.057 - 250.03. Does -4/17 = t?
False
Suppose -45*r - 4921 = -1501. Which is smaller: r or -79?
-79
Let i be ((-65)/39)/(6/468). Let f(d) = -130*d**2 - d - 1. Let v be f(-1). Is i greater than v?
False
Suppose -5*s + 0*q = -3*q - 236, -3*s + q + 140 = 0. Let c = s + -46. Let w = -152 + 4407/29. Is w greater than or equal to c?
False
Suppose -3*x = 3*j + 75, -j - 127 = 5*x + 2*j. Let w be ((-22)/8)/(13/x)*-1. Which is greater: w or -7?
w
Let a = 13839 - 19441. Let c = -845896/151 - a. Are c and -1 equal?
False
Let c = 705 - 307. Let s = 543 - c. Which is bigger: s or -3?
s
Let q(o) = -45*o**2 - 65*o + 229. Let g be q(8). Is -3171 at least g?
True
Suppose p + 38 = -49. Let o = -21896 - -22694. Let b be 4 + o/p + 5. Is -1 equal to b?
False
Let q(g) = 2*g**2 + 13*g - 11. Suppose 20 = -2*w - 2*w - 4*p, -p = 2*w + 12. Let v be q(w). Let l be 2 - (0 - (-6)/((-12)/v)). Does l = -0.62?
False
Suppose 0 = -41*h + 26984 - 102346 - 13895. Is h at least -2176?
False
Suppose -4*j + 5 = j. Let t = -10614 + 116656/11. Let i = t + 316/33. Is i > j?
False
Let b(j) = j**2 + 29*j + 181. Let c be b(-9). Suppose -q - 453 = 3*o + 71, 0 = -5*o - 4*q - 864. Let y = 533/3 + o. Is c greater than or equal to y?
False
Suppose -5*b = -4*f + 10, -2*f - 2*b + 4 = -5*b. Suppose 2*r - f = 1. Suppose r*c + 19 = 34. Which is smaller: c or 11/2?
c
Let s(r) = -6*r**2 - 14*r + 18. Let q be s(8). Which is greater: -483 or q?
q
Suppose -232 + 61 = 4*m - k, 5*m = -2*k - 204. Is -51 bigger than m?
False
Let t(r) = r + 3. Let c be t(13). Suppose -2*z - g + 6 = 0, 4*z + 4*g - c = 3*g. Let m be (14/z)/(45/(-25) + 2). Which is smaller: 2 or m?
2
Let k = 1.4 + -5.7. Let u = 1649 + -1649.4. Which is bigger: k or u?
u
Let o = -3721 - -3812. Do -3.5 and o have the same value?
False
Let j(z) = 423*z - 343. Let d be j(1). Which is smaller: 0 or d?
0
Let s = -273 - -282. Let z = s - 26. Which is greater: -1/4 or z?
-1/4
Let r(u) = u**2 + 28*u - 79. Let v(g) = -15*g + 39. Let w(p) = -3*r(p) - 5*v(p). Let q be w(-6). Is q > -5?
False
Suppose -d - 12 + 33 = -5*r, 5*r + 23 = 3*d. Is -10/389 < d?
True
Suppose -4*w + 8 = -32. Let x be ((-2)/w*0)/(-1). Is x smaller than 0?
False
Suppose -3*f = -4*g + 7, 5*f = 5*g - 15 + 5. Let i be 50/30 + (-17)/9 + (-2104)/(-9144). Is i >= g?
False
Let y = 9 + -5.4. Let b = -3.14 + -0.26. Let p = y - b. Are p and 1/4 equal?
False
Let k = -137 - -142. Suppose -b - k*g = -4*g + 2, -5*g - 10 = 2*b. Is b not equal to 2/349?
True
Suppose 10 = 5*y - f, 0 = 4*y + 77*f - 81*f - 24. Which is smaller: y or -2/1887?
-2/1887
Let y = -1081 - -1078.9. Which is greater: -256 or y?
y
Let p = -4028 - -1091586/271. Let q = -2506 - -2504. Which is bigger: p or q?
p
Let u = 141 + -631. Let i = u + 504. Let d = 4 + 8. Which is greater: d or i?
i
Suppose 0 = -8667*i + 8691*i - 5592. Is i greater than 3984/17?
False
Let u = -129 + 68. Let d = 394 - 395. Is d less than u?
False
Suppose -2*s - 14 = -4, 2*u + 10 = -2*s. Suppose -4*p = -4*v - p - 258, -v = -4*p + 58. Let f be 8/(-24) + (-10)/v. Which is smaller: u or f?
f
Let h = 9323/11 - 847. Let c = 41 + -19. Suppose 4*x - 24 = -4*k, -2*x + 5*x = -4*k + c. Is h at least as big as x?
False
Suppose 74*k = -88*k + 143*k + 8778. Is 463 greater than k?
True
Let i = -137017/17565 - -2/3513. Suppose -4 + 22 = -2*d. Which is smaller: d or i?
d
Let q be (204/(-54))/(1524/54*(-15)/10). Which is greater: 0 or q?
q
Suppose -25323 = 54*f + 15*f. Which is bigger: f or -359?
-359
Suppose -6*v + 5*v + 7 = 0. Suppose 5*g = h + 67, 3*g - 5*h - 33 = -2*h. Let i = g - 8. Which is bigger: i or v?
v
Let j(g) = 71*g**3 + 24*g**2 - 35. Let t be j(7). Which is bigger: t or 25493?
t
Suppose 0 = -3*r - 0*r - 15, -4*r = 2*a - 304. Suppose 159*w - a*w - 102 = 0. Which is smaller: -24 or w?
w
Let v = -8541 - -8536.738. Is v smaller than -0.1?
True
Let q(d) = -d**3 - 11*d**2 - 20*d - 2. Let j be q(-9). Suppose -4*h = 0, 2*x + h - j = -h. Let s be (30/16)/(-3) + 4/x. Which is smaller: s or 1?
s
Let a be 145 + (3 - 3) + -2. Let n(q) = -5*q**3 + 33*q**2 + 14*q - 48. Let i be n(6). Which is greater: i or a?
i
Let v be (-18)/2676*68/(-714). Are v and -1 unequal?
True
Let j(f) = -f**2 - 6*f + 2. Let b(n) be the second derivative of n**4/12 + n**2/2 + n. Let i(k) = -2*b(k) - j(k). Let a be i(4). Which is smaller: a or 2?
2
Let k = -768.2 + -253.8. Let b = k - -1022.02. Let z be 2/3 + 50/6. Which is greater: b or z?
z
Let x = -144/1643 + 1203526/13694405. Are 1 and x non-equal?
True
Let v = -218.7 + 3.46. Let b = v + 215. Which is bigger: 0.9 or b?
0.9
Let q(t) = t**2 + 2*t + 1. Let l(z) = -4*z**2 + 15*z + 10. Let k(i) = l(i) + 5*q(i). Let v be k(-22). Do -301/6 and v have the same value?
False
Let n(t) = 19*t - 40 - 42 - t + 94. Let q be n(-4). Is -61 greater than q?
False
Suppose 2*h + 3*h - 315 = 0. Let s 