38, 0 = -2*m + 2*q - 6. Suppose -3*g + 5*x = -7, 2*x - x - m = 4*g. Which is smaller: g or -1/14?
g
Let v = -297 - -4161/14. Suppose -3*d - 825 = -3*u, 4*u - 5*u - 3*d + 287 = 0. Let t = u - 277. Is v smaller than t?
True
Suppose 2*l + 0*b + 3*b = 0, 0 = -l + b. Suppose -4*n - n - 60 = l. Is -13 greater than n?
False
Suppose 31*w + 6649 + 41897 = 0. Is -1566 not equal to w?
False
Let p(n) = n**3 - 20*n**2 - 12*n - 14. Let f be p(18). Let a = f - -1389. Which is smaller: a or 510?
510
Let w be (-184)/(-40) + -5 - 13/5. Let l be (-1)/w + 26/(-6) + 2. Is l smaller than 3?
True
Let c be 1260/2170 + (-3)/5. Suppose -4*j - 6 = 2*j. Is c equal to j?
False
Suppose -43*m = -7790 - 3536 + 68860. Which is smaller: -1340 or m?
-1340
Let r = 3647.599 - 3649. Is -1 at least as big as r?
True
Let n(f) = -f**2 - 5*f + 14. Let m be (2 + 1)*(14/3)/7. Let l(g) = -g - 5. Let p be l(m). Let j be n(p). Is 0 < j?
False
Let i be ((-12)/10)/(2224/3730 - 372/620). Is 321 at most i?
False
Let v be ((-12)/4 + 18)*2/6. Suppose -4 = -r + 1, r + 5 = -v*o. Is o less than -3.9?
False
Suppose -2*n + 11*r = 14*r, 4*n - 5*r = 0. Which is smaller: n or -48/107?
-48/107
Let x = 253 - 2027/8. Let h be -1 + ((-2)/(-12))/((-5)/(-30)). Suppose -2*k - 4 = 3*n, h = -3*n - n + 5*k + 10. Does n = x?
False
Suppose 0 = 3*h - 4*h + 2*l + 4, 34 = h + 4*l. Let d be ((-16)/h - -1)/((-3)/6). Which is greater: d or 0.281?
d
Suppose 4864*l + 54 = 4891*l. Which is smaller: l or 15/26?
15/26
Let g be 1/(3*-4*(-2)/48). Suppose -3*q - 4*z = -q - 2, 5*q = g*z + 41. Let s(c) = -c**2 + 7*c. Let j be s(5). Is q equal to j?
False
Let n be (-1)/(-7)*-2 - 25/((-5425)/(-6448)). Suppose 0*i - 52 = 2*i. Is n at least i?
False
Let n be (407/(-2090))/(420/25 - 12). Which is greater: -1 or n?
n
Let p(n) = n**3 + 18*n**2 - 14*n - 44. Let d be p(-19). Let f = 165 + d. Suppose f = 3*s + 23. Is s at least as big as 3/10?
True
Let b(k) = k**2 - 5*k. Let i be b(4). Let p be i*((-33)/(-12) + -3) - -2. Suppose -2*j - p + 1 = 0. Is 3/17 less than j?
False
Suppose -58*y - 30 = -53*y. Let k(x) = -x**3 - 5*x**2 + 8*x + 7. Let i be k(y). Are -9/5 and i unequal?
True
Let f be (-8204)/105 - -4 - (-20)/(-450)*-3. Suppose 0 = 4*c - 9*c - k - 358, -k = -5*c - 362. Which is greater: c or f?
c
Let t = 18.3 - 20.7. Is -49 at least t?
False
Let b = -0.0227 + 0.1227. Do b and 7/1578 have the same value?
False
Let q(w) = -14*w**3 + 6*w**2 + 5*w - 10. Let b be q(2). Does -74 = b?
False
Let r = 11 - 22. Let j(z) be the third derivative of z**4/8 + 17*z**3/3 + 260*z**2. Let c be j(r). Which is smaller: c or -2?
-2
Let n = 241.6 + -279.6. Which is smaller: 23 or n?
n
Let d = -24.3 + 29.4. Let z = d - 5. Which is greater: -78 or z?
z
Let j(z) be the first derivative of 2*z**2 - z + 23. Let n be j(1). Suppose d = -8 - n. Is -8 at most as big as d?
False
Let o = 134 + -43. Suppose 96*s - 140 = o*s. Which is smaller: 30 or s?
s
Let w = 47 + -1. Let n = 55 - w. Suppose 0 = -n*p + 8 + 1. Is p < -3/59?
False
Let j be (33/2)/(33/572). Let n = 287 - j. Is -1/769 at most n?
True
Let j = 114 + -114. Suppose v + i + 2 = j, 8*i - 3*i = 0. Which is greater: v or 0.013?
0.013
Let s = -1252 + 1258. Suppose -4*a - 9 = -125. Let x be a/(-66) - (-3)/s. Is 0 at least as big as x?
False
Suppose -9*v + 450 = -36. Suppose 0*q = -2*r + 2*q + v, 4*r + 2*q = 108. Let o be ((-1 - -36) + -2)/(r/(-36)). Is o <= -43?
True
Let f = 91 - 162. Let d be (-69)/f + (4 - 5). Suppose 27 = -3*g - 4*q, 2*q + 16 = 48*g - 52*g. Which is smaller: g or d?
g
Let m(f) = 5*f**2 - 2*f - 2. Let b be m(3). Let p = 22 - b. Let h be 3/p + (-352)/(-60). Is h smaller than 6?
True
Let k = -3788 + 208341/55. Which is smaller: 132 or k?
k
Let j be (3 + (-3)/6)*18/45. Let z be 75/(-3) + -12 + (-5)/j. Which is smaller: z or -49?
-49
Suppose 5*f = -4*k + 15, -k + 3*k + 15 = 5*f. Let d be (-3 - f) + 3 - -3. Is d at most -1/13?
False
Let y = -4225 - -4310. Is 84 greater than y?
False
Let v = -2682.981 - -2683. Is 8/5 at most v?
False
Let c = 358.8 + -358.7. Are -0.8065 and c unequal?
True
Suppose -2*a - 89*a = -3640. Which is bigger: 43 or a?
43
Suppose 13 = 2*o - 5*t, -5*o + o = -4*t - 8. Let n = 24 - 13. Let w = n + -11. Which is greater: o or w?
w
Let r be (128/(-96))/(-4 + -1 + -222). Which is bigger: -0.2 or r?
r
Let n be 2/2*6/2. Suppose -5*u + 14 = n*z, -z + 8 = 4*u - 6. Let g(r) = -r**2 + 4*r + 1. Let x be g(u). Which is smaller: 6/47 or x?
6/47
Let y(j) = -j**3 + 3*j**2 + 19*j + 4. Let v be -1 - -4 - 105/(-35). Let p be y(v). Which is greater: p or 104/11?
p
Let g = -64149 + 21361616/333. Let m(a) = a**2 + 4*a - 6. Let y be m(-5). Is y <= g?
True
Let i = -0.1 - -1.1. Let l be 10 + 81/(-9) + 1. Let h be l/3*3*(-153 + 162). Which is smaller: i or h?
i
Let m(q) = -q**3 - 15*q**2 + 3*q - 15. Let k be m(3). Which is greater: -4 or k?
-4
Let o(q) = q**3 - 6*q**2 + 3*q + 13. Let u = -705 - -710. Let v be o(u). Is v not equal to 55?
True
Let g = -793 + 794. Which is smaller: -6.329 or g?
-6.329
Let v be (-459)/12*416/(-24)*2. Let x be (-30)/(-45) - 896/v. Which is smaller: -3 or x?
-3
Let j be (-7)/2*((-184)/80 + 0). Is 9 less than j?
False
Let t(d) = 6*d**3 - 1. Let v be t(1). Let u = v + -2. Let i be (-11 - -13) + 20/u. Is i not equal to 9?
True
Let i(s) = 21*s + 25*s**2 + 36 - 43*s**2 + 8*s + 23*s**2. Let q be i(-7). Is 78 greater than q?
False
Suppose -5*n + 3*t - 117 = 0, t - 144 + 1 = 6*n. Does 2 = n?
False
Let p be (-10)/(-35) - (-36576)/(-28). Let c = -83826783/63826 + 9885/1358. Let t = p - c. Is t less than 0?
False
Let u = -251 + 257. Suppose -23 + 11 = u*o. Is -36/11 at most o?
True
Suppose d - 20 = 2*h + 62, -2*h - 2 = 0. Which is bigger: d or -16?
d
Let g be (-2)/((-381)/(-129) - 3). Let h(u) = -4*u - 22. Let m(q) = -3*q - 22. Let j(n) = 2*h(n) - 3*m(n). Let v be j(20). Does g = v?
False
Let n = 0.2 + 0.2. Let m = 13152/13 - 39482/39. Is m != n?
True
Let m be (246/(-123))/((6/24481)/3). Which is smaller: -24482 or m?
-24482
Let v = -710 + 614. Which is greater: v or -89?
-89
Let f = 12/31 + -146/217. Let h = -15.795 + 12.985. Which is smaller: h or f?
h
Let z = -0.0071 + -208.9929. Let q = z + 229. Let x = -10 - -8. Is x at most as big as q?
True
Let f = 78 - 76. Suppose 21*h + f = 20*h. Is h at least 1?
False
Let w be 3235*((-1964)/140 + 14). Which is bigger: w or -91?
-91
Let i = -10715/24 - -1793/4. Is 2 smaller than i?
False
Suppose 0*l = x + 5*l - 22, 0 = 5*l - 15. Suppose 5*v = x*v. Suppose 2*h - 5*d + 33 = v, -2*h - 5*d = -3*h - 29. Is -3 less than h?
False
Suppose -15*v + 3*v + 142015 + 11249 = 0. Which is greater: -1 or v?
v
Let o be (-3)/(-6)*2240/(-6 - -2). Let r be 30/(7/o*6). Is 1 less than or equal to r?
False
Let o be (-2)/5 - (3021/(-15) - -1). Suppose 7*s = 2*s + o. Is s equal to 40?
True
Let h be 2/(-4) - (-339)/18*-57. Let a be (h/(-27) - 2/(-9))*-1. Let w be 16/a + 11/15. Is w less than 0?
False
Let c = 150.47 - 511.47. Does c = -2?
False
Let t(j) = 2*j**2 + 7*j - 267. Let n be t(-14). Is n != 37?
True
Let t be 37/3*78/5. Is 192 at least t?
False
Let t = 7 + -10. Let o(i) = -i**2 + 2. Let f(v) = 8*v**2 + 3*v - 8. Let c(w) = f(w) + 6*o(w). Let y be c(t). Which is greater: y or 8?
y
Suppose 3*r - 718*a = -713*a - 6, -8 = 4*r - 5*a. Is -273/256 greater than r?
True
Suppose 0*y + 8*y = 32. Let w be ((-18)/(-36))/(y/2). Is w greater than -8?
True
Suppose 0*a + 924 = 4*a. Let n be (-8 - (-6 - 6))*(-690)/(-12). Is a less than or equal to n?
False
Let r = -1238 - -1261. Let p = -4 + 9. Suppose -r = 6*o - p*o. Are o and -24 unequal?
True
Let l be (364 - 365) + (-11)/((-22)/(-24)) - -15. Let z(q) be the second derivative of -q**4/12 + q**3/3 - q**2 - q. Let h be z(4). Which is smaller: l or h?
h
Suppose -267 = 8*j - 131 - 128. Is j greater than or equal to 3/2707?
False
Let r be ((-299)/(-2691))/((-1)/(-9)). Which is smaller: -27/121 or r?
-27/121
Let r(v) = -v**2 + 17*v + 30. Let k be r(11). Let g = 94 - k. Is g at most -25/28?
True
Let p be 72121/(-24059) - (-3 + 5 + -5 - 0). Are -1 and p equal?
False
Let b = 87805622/279 + -314716. Is -1 bigger than b?
False
Let u = 825/1292 + 14303125/9044. Let h = -1586 + u. Is h != 0?
True
Let k = 1.01 + -0.01. Let u = -30 + 596. Let o = -500 + u. Is k equal to o?
False
Let y(k) = -5*k**3 - 486*k**2 - 97*k - 35. Let c be y(-97). Which