 2*l**3 - l**2 - 16*l - 32. Let f be u(-2). Let r be j(f). Which is smaller: r or -4?
-4
Suppose -6 = 5*u + 3*m, 4 = -2*u + m - 5. Let t be 1/u + 24/18. Let b be 14*2/35*(9 - 4). Is b < t?
False
Let o = -91 - -127. Suppose -4*i = 20 - o. Suppose 0*g = 2*g - 8. Is g at least as big as i?
True
Suppose 0 = -330*d - 212 - 118. Is d less than or equal to 106/431?
True
Let o = -93.398 - -1.398. Do 6 and o have the same value?
False
Let r be 1 + 2 + -4 + 89. Suppose -22*n + r - 374 = 0. Let q(i) = -6*i + 1. Let z be q(2). Which is smaller: n or z?
n
Let m = 82 + -86.9. Let i = 5348357/4 - 1337089. Is i less than or equal to m?
False
Let i(o) = -248*o + 237. Let w be i(-13). Is w at most as big as 3462?
True
Let i be (-74)/12 + (3/6 - 1). Let p = -11 - -14. Suppose -3*g + 5*r - 24 = 2*r, p*g + 2*r = -24. Is g at most i?
True
Let i be (-1960)/472 - (5 + (-9 - 2)). Which is smaller: 2 or i?
i
Let d(f) = f**3 + 74*f**2 + 604*f + 286. Let b be d(-65). Which is greater: -945 or b?
-945
Let d(l) = 6352*l**3 + l**2 + 223*l - 223. Let a be d(1). Which is greater: 6352 or a?
a
Let r = 5495 + -5586. Which is greater: -46 or r?
-46
Let y = 18.6 - 18. Let q = y + 2.4. Is q less than 4/29?
False
Let y be (-30)/(-4) + -2 + -145 + 139. Which is smaller: -481 or y?
-481
Suppose -2*s + 4*s + 24 = 0. Suppose 8 = 2*w, 3*b + b - 80 = -4*w. Let t be (2/s)/(4/b). Is 0 greater than t?
True
Let o = -15 - -21. Let t = 51 + -33. Let c = t - 12. Are c and o non-equal?
False
Let d = 5143.7 - 5154. Which is greater: d or 14?
14
Let b be 45/(-26) + (-204)/(-136). Suppose 3*f + f - 2 = -3*j, 0 = -4*f + j - 6. Is b equal to f?
False
Let t be (-981)/12 + 3/(-12). Let u = t + 89. Let w be -2*u/14 + 118/114. Which is smaller: 0 or w?
0
Suppose -40*l + 43*l = -8265. Are l and -2756 equal?
False
Let u = 7192.144 - 7198. Is 0 greater than u?
True
Suppose 367 = 2*p + 365. Let j be 0/(p - (-11 + 8)). Which is bigger: j or 25/33?
25/33
Let r = -54401/136 + 400. Let n = r + -197/10200. Which is greater: n or 0?
0
Let h(b) = 22*b + 1. Let s be h(-1). Suppose -4*w = -9*g + 201, -30*w + 32*w = -3*g + 57. Let z = g + s. Do 1/72 and z have the same value?
False
Let j be 1/(-5) - (71/(-40))/(30/40). Which is smaller: 0.04 or j?
0.04
Let f = -56.56 - 0.44. Let y = f + 57.09. Let k = 0.91 + y. Which is smaller: k or -0.05?
-0.05
Let f(i) = 3*i**3 - 39 + 113414*i**2 + 10*i - 2*i**3 - 113407*i**2. Let s be f(-8). Are -185 and s nonequal?
True
Let f = -174.7 + 13.7. Let a = f + 178. Is -1/2 less than a?
True
Let m = 22 - 0. Suppose -27*y + m*y = -245. Suppose -5*w + 5*r = -w - y, -4*w - 3*r + 41 = 0. Are 49/5 and w unequal?
True
Let y(s) = 12*s**2 - 112*s - 7*s**2 - s**3 + 107*s + 6. Let o be y(4). Is o <= 50?
True
Let o = 35429 + -424609/12. Is 46 != o?
True
Let r(u) = -24*u**2 + 339*u + 62. Let g be r(13). Which is smaller: g or 412?
412
Suppose 24*n - 606 = -630. Which is smaller: -12.7 or n?
-12.7
Let c = 7529 - 8354.1. Let j = c - -825. Which is bigger: 1.1 or j?
1.1
Let f = -4 - -6. Let t = 175 + -166.9. Let i = t - 18.1. Which is smaller: f or i?
i
Let k(t) = 14*t**2 - 2*t + 9. Let f be k(0). Suppose -3*x - 5*x = f*x. Is -1/431 at most as big as x?
True
Let i(u) = u**3 + 4*u**2 + 2*u - 3. Let w be i(-3). Let n be 1124/(-16)*(-117)/7 + -4. Let h = n - 1170. Which is greater: h or w?
h
Let f = -10735 - -11928. Is f less than 4/7?
False
Let d be (63/2)/(7/(-28) - -1). Suppose -d*r - 6 = -43*r. Suppose y - 3*b - 2 = -3*y, 0 = -2*y + 5*b - r. Which is greater: -2 or y?
y
Suppose -63*z + 3*q = -60*z + 1932, 1942 = -3*z - 2*q. Which is smaller: z or -642?
z
Suppose 3*q = 2*n + 2914, 3*q + 4718 = -4*n - 1092. Are -1454 and n non-equal?
False
Let q be (-85)/175 - 1/(-5). Let o(r) = -6*r**2 - 2*r - 1. Let n(y) = -y**2 - y. Let b(f) = 5*n(f) - o(f). Let w be b(3). Which is bigger: w or q?
w
Let c be (-1 - 6) + (-576114)/(-189). Let g = -3045 + c. Suppose -4*u - 10 = 2*s, -5*u - 17 = s - 3*s. Which is smaller: g or u?
g
Let o be 4/(-28)*(-28)/2*(-1)/4. Is 71/10 equal to o?
False
Suppose 452*u - 3645 = 497*u. Is u greater than or equal to -62?
False
Suppose -19*n = -58*n. Are -10/2471 and n equal?
False
Suppose 95*r + 611407 = -104*r + 203258. Which is greater: r or -2052?
r
Let r(u) be the first derivative of -u**2/2 - 8*u - 1. Let c = 57 + -65. Let z be r(c). Is 4/5 greater than or equal to z?
True
Suppose 8 = 3*d - 1. Suppose 5*t - 3 + 0 = -2*o, -d*t = -o - 4. Suppose 21*c - 22*c = t. Which is greater: c or -8/13?
-8/13
Let g(a) = 0*a - a**2 + 3*a**3 - 6 + a**3 + 0*a. Let r be g(3). Let y = 92 - r. Which is greater: y or -4?
y
Let b(p) = -2*p**2 + 14*p + 18. Let q be b(8). Suppose m - 43 = -k - 40, -q*m = 4*k - 14. Is -1/25 < m?
False
Let a be (2/(-3) - 770/(-75))/(-2). Suppose -4*w - 18 = -4*c + 18, c = 3*w + 19. Is w at least a?
False
Let p = 0.2122 + 6.4978. Is -1 less than or equal to p?
True
Let i(t) = 3*t**3 + 12*t**2 - 6*t - 45. Let q(y) = 14*y**3 + 50*y**2 - 26*y - 179. Let n(s) = -9*i(s) + 2*q(s). Let u be n(8). Which is smaller: u or 60?
60
Let m = 3654.1 + -3654. Which is greater: 229/2 or m?
229/2
Let k = 341.07 + -339. Let w = -167.23 + 168. Let u = w - k. Is 0 >= u?
True
Suppose -513 = a + 2*s, a - 2056 = 5*a + 4*s. Which is bigger: -512 or a?
-512
Let l be 5/((-30)/4) - (-48)/18. Suppose -4*d + 5*d - 4*u = 19, -11 = -d + l*u. Suppose -1 = d*r + 5. Do -2 and r have the same value?
True
Let i be -2 - (-5*(-2)/45 + 539/(-441)). Which is smaller: -235/17 or i?
-235/17
Let l(c) = -c**3 - 5*c**2 + c - 2. Let x = -232 - -228. Let t be l(x). Which is greater: t or -25?
t
Let n be (1*6/126)/((-10)/60). Are 61/71 and n non-equal?
True
Let t = -1479 + 1479.4. Is t <= -268?
False
Let w = -1407 + 1314. Let d(l) = l**3 - 4*l**2 - 9*l - 4. Let y be d(-4). Which is smaller: w or y?
y
Let r be ((-69)/(-21)*-10)/4. Let f = r - -17/2. Which is smaller: 4 or f?
f
Let c be (-34)/(-51) - 6/(-9)*8. Suppose -c*j - 204 = -216. Suppose -z - 9 = -4*z. Which is smaller: z or j?
j
Let w be -3*((-10)/18)/(385/(-263802)). Which is smaller: -6859/6 or w?
-6859/6
Let q = 28.32 - 29. Let n = -80.4 + 94.08. Let b = q + n. Which is greater: 0 or b?
b
Let n = -11/469 - -15451/638778. Is n less than or equal to 1?
True
Let j be 70*(0 - (-1)/2). Suppose -142 - 317 = -17*k. Suppose n - 41 = -3*w, -3*w - w = -n + k. Are n and j equal?
True
Let r = -144 - -1010/7. Let k(t) = t**2 + 33*t + 292. Let d be k(-21). Suppose 0 = d*s + 31 + 9. Which is smaller: s or r?
s
Suppose 5*k - 182 = b - 4*b, 2*k + 293 = 5*b. Let n = b + -55. Suppose 0 = -4*h + 3 + 17, -3*g - 14 = -n*h. Is 7/9 at most g?
True
Suppose -3*a + 3203 = -2*r + 9207, 5*a + 12006 = 4*r. Are 2999 and r unequal?
False
Let n(h) = h**3 + 13*h**2 - 18*h - 40. Let u be n(-14). Let b be u/20*-5 + (-19 - 1). Which is smaller: -22 or b?
b
Let f = -0.0849833 + -0.0150167. Let b = -118 - -521. Is b >= f?
True
Let d be ((-38)/(-95))/(6/165). Suppose 56 = -d*t + 1. Which is bigger: -24 or t?
t
Let b(s) = -69*s + 9038. Let a be b(131). Suppose 0 = -h - 3 + 1. Is a equal to h?
False
Let c(v) = v**3 + 11*v**2 - 12*v + 6. Suppose 18 + 9 = -3*u. Let h be 1 + -4 - (0 - u). Let w be c(h). Which is smaller: 5 or w?
5
Let r = -109/13046 + 2624657/15903074. Let v = 469 - 10788/23. Let c = r + v. Which is greater: 1 or c?
1
Suppose -117 = -194*r - 22 + 99. Are r and -64/299 unequal?
True
Suppose 2*c + 87 = -4*b - 325, 4*c - 2*b + 784 = 0. Let r = c + 192. Which is smaller: r or -16?
-16
Let p = -1115 + 1114.281. Let a = p + -0.281. Which is greater: a or 0.081?
0.081
Suppose 0 = 6*f - 68 - 70. Suppose -23 + f = -7*g. Let z = -17572/17 + 1034. Is z at least as big as g?
True
Let s = -2663 - -2662. Which is greater: s or 8/1069?
8/1069
Let r = -181330 + 2360365/13. Let o = -237 + r. Which is smaller: 1 or o?
o
Let b = 6 + -5. Suppose 0*x = -4*x. Suppose 6*f + 4 + 2 = x. Which is smaller: f or b?
f
Let o be (-3)/5 + 254/(-10). Suppose 79 = -3*r - 5*l, -3*r - 73 = 138*l - 136*l. Is o at most r?
True
Let k be 2*8*(-2)/4 - (-177)/24. Let l = -2 - -0.5. Is k at most l?
False
Let z(i) = -i**3 - 10*i**2 - 22*i - 7. Let w be z(-6). Let y = 13 - w. Suppose 3*a - s = -4*s + 93, -4*s = -5*a + 164. Is y at most a?
True
Let z(w) = w + 87. Let v be z(-12). Let c be 0 - (-12)/v*(1 + -156). Which is smaller: c 