 -9*l**2 + 9*l - 8. Let q be o(t). Let h = -95 - -34. Is q <= h?
True
Let v be (-10)/40 + (-18)/(-8). Suppose 40 = 4*j - v*b, -16 = -3*j + 2*j - b. Let l be 3/j + 54/40. Do l and 2 have the same value?
False
Let y(r) = -4*r**2 - 74*r + 231. Let c be y(-26). Which is greater: -548 or c?
-548
Suppose 6*t = -4*d + 26572, t + 0*t = 4*d - 26558. Is 19921/3 >= d?
True
Let b = 2/7565647 - 4100583032/8919897813. Let c = b + 2/131. Is 2 at most as big as c?
False
Suppose 4*o - 38 + 50 = -8*o. Which is smaller: o or -144/113?
-144/113
Let h(u) be the first derivative of u**4/4 + 4*u**3/3 - 9*u**2/2 - 16*u - 70. Let n be h(-7). Do -100 and n have the same value?
True
Let q(t) = t**3 + 11*t**2 + 10*t + 7. Let u be q(-10). Let p = 194 - 214. Let b(l) = -l**2 - 23*l - 57. Let g be b(p). Which is bigger: u or g?
u
Let a be -4 - -269*(0 + -4 + 3). Let d be 162/a - (-7)/98*4. Let b = 0 - -1. Is b bigger than d?
True
Let m = -145.11 + 144. Let g = 1.11 + m. Which is smaller: -38 or g?
-38
Let m be ((-831)/45)/(21/54). Let p = -226/7 - m. Let j = p - 821/55. Is j != 0?
True
Let j = 5419.5 - 5419. Is 13.92 greater than or equal to j?
True
Let f be (6 + 3)/((-13)/(-13)). Let o be 36/f + -4 + -1. Let j be -3*1/21*-1. Is j bigger than o?
True
Let b be (-39258)/21168 - (-1 + -1). Let p = -1/8 + b. Are 8 and p equal?
False
Let q = 36643/4 + -9152. Is q > -14?
True
Let y = 2.8 - 2.7. Let s = 52.9607 + 0.0393. Is s smaller than y?
False
Let x = 4517 - 5241. Which is bigger: x or -726?
x
Suppose 4*x - 58 + 2 = 0. Suppose 0 = 16*t - x*t - 30. Suppose t = 2*k - 7*k. Which is smaller: k or -5?
-5
Suppose -2*q + 4 + 4 = -2*m, 0 = 9*m + q - 14. Which is bigger: m or 2/877?
m
Let b = -417.9 + 416.9. Which is bigger: -2169 or b?
b
Let v(g) = -21 + 5 - g**3 + 6*g**2 - 1 + 4*g. Let x be v(6). Suppose 0 = 4*m + 16, -m - 189 = x*q - 2*q. Is -37 < q?
False
Let o be (27/4)/((-7)/(-280)). Suppose -8*t - 2*t - o = 0. Let l = -29 + t. Which is smaller: l or -1?
l
Let f be (-17 + 1*-1)/1. Suppose 71*k = -175*k - 128*k - 5610. Are f and k nonequal?
True
Let l(h) = -18 + h - 3*h + 3*h. Suppose 0 = -78*c + 1529 - 47. Let r be l(c). Which is smaller: r or 1/22?
1/22
Suppose 0 = -2*y + 3*d + 5, 0*y + 5*d = -5*y + 75. Suppose -y*o = -160 + 990. Which is greater: -84 or o?
o
Let r = 4508 - 4511. Are r and -50.9 non-equal?
True
Suppose 0 = 42*a - 256*a + 7062. Which is bigger: 26 or a?
a
Let l be (-34293)/13671 - (-40)/16. Which is bigger: l or 1?
1
Let g = 238 - 402. Let f be (2 - 27/12)/(g/8). Suppose 26*r = 28*r. Which is bigger: f or r?
f
Suppose -5*q + 3*s + 42 = 0, 2*q - 8*s = -13*s + 23. Suppose 3*z = 14*y - q*y - 13, -2*z - 11 = -y. Does z = -47/9?
False
Let f(g) = -g**3 + 7*g**2 + 19*g - 59. Let i be f(6). Is i < 33?
False
Let a(q) be the third derivative of q**6/120 - q**5/12 - 5*q**4/24 + q**3 + 16*q**2. Let l be a(6). Let w(v) = 2*v - 27. Let k be w(l). Are k and -2 equal?
False
Let f = -35.9 + 35. Let a = f - 1.1. Let q = 0.005 + -0.035. Do a and q have the same value?
False
Let t = 4002 + -4002. Is t less than -37?
False
Let i = 7944 + -6134. Which is smaller: i or 1806?
1806
Suppose 6*f = 2186 - 734. Let m = 243 - f. Which is smaller: 2/655 or m?
2/655
Let s = 38476716/293 + -131320. Do s and -2 have the same value?
False
Let k be (1/2)/((-9)/(-738)). Let w = k - 42. Let j be (w - (-4 - -3))/(-2). Which is smaller: j or 2/3?
j
Let v be (3 + 76/(-28))/(4 - 10292/2576). Is 62 smaller than v?
False
Suppose 906 = -4*j - 2*j. Let p = 152 + j. Is 3/22 <= p?
True
Let f(g) = 750*g + 22501. Let b be f(-30). Let h = 9364407/518 - 18078. Does b = h?
False
Let k = 3353 - 1716. Which is smaller: k or 6549/4?
k
Let b(x) = x + 10. Let k be b(-8). Let j be -40*k/2*1. Let q = -42 - j. Is -3 equal to q?
False
Let z be 0 - ((-56)/(-27) + -2). Let v be 6/108 - 438/(-1620). Let x = z - v. Which is bigger: x or 8?
8
Let w = 20773 - 20780.7. Which is bigger: w or 2/415?
2/415
Let a be (16/4)/((-13)/(11752/(-304))). Is a smaller than 13?
True
Let h be (-4 - -9) + 2 + -2. Suppose 4*a - h*a = 36. Suppose 4*t = 5*j - 133, -6*j + 8*j = -6. Which is bigger: a or t?
a
Let f(j) = -3*j**3 - 16*j**2 - 13*j - 1. Let h be f(-6). Are h and 138 non-equal?
True
Let i be (28/(-13) - -2) + (2273274/(-663))/34. Are -6 and i equal?
False
Suppose 12 = 4*w - 4*c, w - 2*c - 7 = c. Suppose -4*d - 4*n - 23 - w = 0, 5*n = -d + 10. Is d less than or equal to -12?
False
Let d(t) = 2*t**3 + 166*t**2 - 3*t - 237. Let u be d(-83). Let y = -4.94 - -5. Is y not equal to u?
True
Let d = 13861 - 13862.5. Is d at least as big as 0.298?
False
Suppose 35 = 2*a + 5. Suppose -f - 4*f = -a, 0 = -4*v + f - 203. Let o be 0/v - 1/((-1)/17). Which is greater: 79/5 or o?
o
Let q = -0.47 + 48.63. Let u = q - 65. Let s = 0.16 - u. Is -0.1 bigger than s?
False
Let o(x) = x**3 + 5*x**2 - 33*x + 3. Let h be o(-9). Which is smaller: h or -40?
-40
Suppose 873*b - 20 = -o + 871*b, 5*o + 5*b - 140 = 0. Let l = -39 + 153. Let c = -78 + l. Is c bigger than o?
False
Suppose -2*u + 136 = 334. Let q be 5/15 - ((-7045)/(-75) - -5). Let n = q - u. Which is greater: n or 0.005?
n
Let s = -3199 + 3403. Is s bigger than 3?
True
Let y(i) = 4*i**2 + 3*i - 6. Let n be y(-6). Let j be 10/(-24)*(-9)/n. Let w = -2244 + 2245. Is j >= w?
False
Let q(w) = -w - 23. Suppose -f - 8*f + 27 = 0. Suppose -f*s = -3*t - 42, -6*s = 4*t - 5*s + 71. Let p be q(t). Which is smaller: -4 or p?
p
Let c be 6/(5040/82552) - 1/((-14)/(-2)). Is 99 > c?
True
Let g(m) = 38*m**2 - 2*m + 1. Let y be g(1). Let c = 6054 - 24365/4. Let f = y + c. Do f and -1/3 have different values?
True
Let i be -1*2/(-6) - (-46458)/135*-10. Which is greater: -0.2 or i?
-0.2
Let a = 203.711 + 22.289. Is 22 less than or equal to a?
True
Suppose 102*z - 98*z - 3*n = 22, 5*z + n + 1 = 0. Does -387 = z?
False
Let r be (-240)/(-210)*(-11 + -6 + 3). Is r smaller than -439/27?
False
Let l = -1424 + 15645. Is l less than 14219?
False
Let a be (2 - (-2)/2*-3)*-110. Suppose 2*y - 198 = 3*z, -3*y + a + 187 = -4*z. Let t be (-245)/9 - (-22)/y. Which is greater: -1/4 or t?
-1/4
Suppose 3*s - s - 187 = y, -5*s = 2*y - 445. Suppose -o + 314 = 5*q - s, 0 = 4*o. Is 80 < q?
True
Let u = -40/203 + 345/6902. Is u <= -1/4?
False
Suppose 0 = 10*f + 2933 + 3347. Is -628 < f?
False
Let q be -9 + -18*16/(-32). Do -7/153 and q have the same value?
False
Suppose -14*s - 142 = 40. Let m = -1 + -3. Which is bigger: m or s?
m
Let y = 2809.694 - 2809. Which is bigger: 3 or y?
3
Let q = -552 + 21530/39. Let x = -144893 + 144893. Are x and q non-equal?
True
Suppose 0 = -2*v - 0*u + 5*u - 122, u - 4 = 0. Let h = -0.18649 + 0.08649. Is v < h?
True
Let l = 21 + -19. Suppose l = -5*z - 3*a, -4*z - 5*a = -3*a + 2. Let m = -6427/14481 - 1/1609. Is m less than z?
False
Suppose 3*u + 4*h - 3*h + 1436 = 0, 2*u + 942 = 7*h. Which is bigger: u or -480?
u
Let u(y) = y**2 - 35*y + 213. Let v be u(27). Let k = -4/527 + -9969/5797. Which is bigger: k or v?
k
Let r = -2500 - -12547/5. Suppose -2*g = 4*l - 70, 2*g = l - 1 - 4. Suppose 2*h = 1 + l. Which is smaller: h or r?
h
Let p = 400.6 - 530.8. Which is smaller: p or 0?
p
Suppose 6 = 3*y + 3*q - 6, 2*q = 8. Suppose 6*u - 5 - 1 = y. Is u greater than or equal to -13?
True
Suppose 12 = 5350*q - 5344*q. Which is bigger: q or 767?
767
Suppose 2*s + 24 = 6*s. Let q = -665 + 648. Let n be q + s - (-4 + -1 + 3). Is 3 at most n?
False
Let a(q) = 10*q**2 + q + 6. Suppose 0 = 3*y + 6. Let i be a(y). Let g = -45 + i. Which is smaller: g or 3/22?
g
Let q(i) = 64*i + 3. Let c(k) = -64*k - 3. Let g(y) = -5*c(y) - 4*q(y). Let b be g(1). Let w = b - 68. Which is smaller: 1/30 or w?
w
Let x = -219 + 195. Let r be -1 - (3/x - (-2)/(-16)). Let j = 0.28 + -0.3. Is r >= j?
False
Suppose 6 = -5*h + 7*h. Suppose p + 5*a - 12 = a, 0 = -h*p - 5*a + 29. Do 65/7 and p have the same value?
False
Suppose -4*b = -8*b. Let w be (-360469)/9999 - 2/9. Let x = 36 + w. Does x = b?
False
Suppose -10 - 14 = -8*i. Suppose i*t = 2*t + 3. Suppose -t*q + 6 = 3*q. Is q at least 9/7?
False
Let v = 6.698 + 3.302. Which is bigger: -3/50 or v?
v
Suppose 11*o = 15*o + 184. Let q = -76 - o. Let l be (0 - 8/20)/((-2)/q). Is l less than or equal to -22/3?
False
Suppose -3*d - 16 = -j, 2*j = -3*j - 2*d + 12. Let l be j/(-7) + 54/252. Is -0.2 < l?
False
Let 