 + 1, -4*x = -4*m - 12. Let b(t) = t**3 + 10*t**2 + 8*t - 7. Let i be b(-9). Suppose -35 = -9*u + i*u. Which is bigger: x or u?
u
Let u be 2 - (-2 - 3 - -1). Suppose -10 - 6 = s + 4*b, 4*s - 1 = -3*b. Suppose s*h = 10 - u. Which is smaller: -4/9 or h?
-4/9
Let h = 590 - 582. Let w = 20 - 10. Which is greater: w or h?
w
Suppose 50*u - 40 = 40*u. Are u and 2.5 non-equal?
True
Let c = -0.3 - -0.2. Let d = 0.18273 + -0.29573. Which is greater: c or d?
c
Let r be -2 + 28/(-21)*249/2. Let n be -1 - (r/(-5) + (-2)/(-5)). Which is bigger: n or -36?
n
Suppose 4*r + r + 5*u - 140 = 0, -u = -4*r + 87. Let t(f) = -f**2 + 13*f - 21. Let i be t(10). Let c = r - i. Is c less than or equal to 14?
True
Let j = -7120/16637 - -54/131. Which is smaller: 1 or j?
j
Let a(w) = 5*w**2 - 9*w + 3. Let t(z) = 6*z**2 - 10*z + 3. Let g(q) = 5*a(q) - 4*t(q). Let d be g(6). Let l = 11 - 1. Which is smaller: d or l?
d
Suppose 5 = 4*a + 1, 3*p - 14 = -5*a. Suppose 5*r + 3*v - 5*v = 2, r = p*v - 10. Do r and 7/10 have different values?
True
Let r(d) = 2*d - 24. Let z be r(0). Let l = -23 - z. Let m = -104 - -523/5. Which is bigger: l or m?
l
Let j(n) = n**2 - 26*n - 90. Let m be j(29). Suppose 0 = -7*x + 2*x - 15. Is x >= m?
True
Let m(i) = -8*i + 5. Let k(s) = -s + 1. Let a(l) = 6*k(l) - m(l). Let x be a(-1). Let d = -35 + 34. Is d < x?
False
Let m = -46.12 + 1.12. Let g = -28 - m. Let x = -19 + g. Which is smaller: 0 or x?
x
Suppose 0 = 19*b + 33 + 24. Let w be 2 + b - -3 - (-120)/(-57). Suppose o = -o. Which is greater: o or w?
o
Suppose -5*a = -51 + 61. Let j be ((-16)/4 - -48)/a. Do j and -22 have different values?
False
Suppose -2*k - 4 = 0, 2*d = 3*d - 3*k - 44. Suppose -4891 + 901 = -105*i. Is d equal to i?
True
Let t = -155.931 - -2.031. Let h = 145 + t. Let r = -9 - h. Which is smaller: r or -5?
-5
Suppose 1 + 9 = 5*d. Suppose -4*n - 11 = -3*s - 5*n, s - d*n = -8. Suppose y + 0 = -i + 1, -4 = -4*y - 5*i. Is y > s?
False
Let p(b) = b**2 + 15*b - 10. Let a be p(-15). Let j = a + 8. Let t be 3/1*j/(-6). Which is smaller: t or 4/7?
4/7
Let o be (-6)/(-244)*(-4)/(-3). Let y = -8455.1 - -8455. Which is greater: y or o?
o
Let d = 236 + -417. Let s = 719/4 + d. Which is smaller: s or 0?
s
Let a = 704/9 - 78. Let m(y) = -y**3 + 7*y**2 + 7*y - 7. Let t be m(7). Let g be 48/t - (-1)/(-7). Which is smaller: g or a?
a
Let m(p) = -p**2 + 3*p - 4. Suppose q = 4*y - 17, -y + 5*q = 2*y - 34. Let f be m(y). Which is greater: f or -3?
-3
Let s = -593 - -594. Which is smaller: -1/870 or s?
-1/870
Suppose -8*m - 8*m + 11*m = 0. Suppose -y + 11 = -m*y + s, -3*y + 4*s + 26 = 0. Is y <= 1?
False
Let x be (-85)/(-10)*-1*(0 + 6). Let k = 28 + x. Which is greater: -24 or k?
k
Let t = 0.8 + -1. Let i = -84 + 121. Do t and i have the same value?
False
Suppose 4*t + 16*a - 7 = 17*a, -t + 3*a + 10 = 0. Which is smaller: t or 2/185?
2/185
Let b(s) be the third derivative of s**6/40 + s**5/20 + 2*s**2. Let m be b(-2). Let r be 27/m*(-1)/3. Is 3 less than r?
False
Let r = -12/23 - -117/92. Let h = -9 - -17. Let b(d) = d**3 - 8*d**2 + 2. Let i be b(h). Is r at most i?
True
Let i(m) = -8*m + 11. Let z be i(9). Do -61 and z have different values?
False
Let c(i) = 4*i + 6. Suppose -f = -5*h - 31 + 11, 0 = -5*h - 2*f - 5. Let v be c(h). Let w = -5 - v. Do w and 2 have the same value?
False
Suppose -2*a - 3*b + 14 = 0, b = 3*a + 2*b - 14. Suppose -14 = -a*c + 6. Suppose h + 72 = c*h. Which is greater: 19 or h?
19
Let b be (26/(-8))/(1/(-4)) - 1. Suppose r = -r + 4*g, -4*r = -2*g - b. Which is greater: r or 22/5?
22/5
Let i = -2/4207 + -151442/21035. Which is bigger: -8 or i?
i
Let i = -61025 - -184844/3. Let j = i - 582. Is 8 at least j?
True
Let a = -0.475 + 0.34. Let u = 0.035 + a. Is u smaller than -14?
False
Suppose -2*b + 2 = -140. Is b greater than or equal to 73?
False
Let f(g) = 14*g + 206. Let p be f(-14). Is 25 bigger than p?
True
Suppose 6 + 14 = 5*y. Suppose -2 = 2*l + 4*f - 8, -3*f + 32 = -y*l. Let j = -5 - l. Is j at most -2/13?
False
Let r = 0.1 - 0.2. Let c be 130/(-5)*(-2)/(-4). Is r bigger than c?
True
Suppose -h = c - 6, h + 0*h = 3. Suppose -c*j - 51 = 18. Let w = -19 - j. Are w and 5/2 equal?
False
Let f be 1 + (-5708)/1904 - (-7 - -5). Which is greater: 0 or f?
f
Suppose n - 98 = -10. Which is bigger: n or 351/4?
n
Suppose 2*z - 30 = -13*z. Suppose -4*y = -3*y - 4*t - 103, -5*y - z*t = -537. Is y > 107?
False
Let s = 2/11 - 79/253. Let y = -94 + 88. Let x be y/(-8)*8/6. Is s greater than or equal to x?
False
Let q = -63 - -28. Let x = q + 126. Are 90 and x non-equal?
True
Suppose -5*x - 10 = 0, 3*d = 2*x - 6*x - 20. Let p(u) = -u + 3*u - u - 2*u. Let r be p(4). Is r less than d?
False
Let g(z) = z**3 + 2*z**2 + 4*z + 2. Let r be g(-3). Let w = -27 - r. Suppose 3*y + 4*a + 0*a + 20 = 0, -4*a = -4. Is y at least as big as w?
True
Let f = 984 + -962. Which is greater: f or -3?
f
Let t(d) be the first derivative of -3 - 8/3*d**3 + 1/2*d**2 - 1/4*d**4 + 6*d. Let n be t(-8). Is -2 not equal to n?
False
Let l = -22721/8 - -2845. Is l < 4?
False
Let y(b) = -21*b + 56. Let i(o) = 2*o - 5. Let p(k) = 56*i(k) + 5*y(k). Let m be p(1). Let l(x) = 2*x - 13. Let h be l(m). Which is smaller: h or -2/21?
-2/21
Let g = 1337 + -926. Which is greater: 413 or g?
413
Let w = 159 - 158. Which is greater: -12/55 or w?
w
Let j(z) = -z**2 + 14*z - 60. Let t be j(8). Let b = 17 - 27. Which is bigger: t or b?
b
Let m be 3/(-12) - (-1050)/3848. Let v = m + 2/37. Let y(h) = -h. Let f be y(-1). Which is greater: v or f?
f
Suppose -2*g = 5*q - 38 + 128, 3*g + 25 = -2*q. Are q and -19 equal?
False
Let h be (-10 + 12)*(-10)/(-4). Suppose -h*y - 3*s + 0 + 1 = 0, 0 = s - 2. Which is smaller: 11 or y?
y
Let u be ((-3)/(-4))/((-9)/36). Let a(h) = 2*h**3 + 9*h**2 - 4*h + 1. Let b be a(-5). Is b <= u?
True
Let w = 61 + -41. Let o be w/(-6)*((-5)/(-1) - 2). Is 2/3 at least as big as o?
True
Let y be 16/(-72) + 124/585. Is y less than or equal to 0?
True
Let g = -34 - -43. Let h = 33 - g. Suppose h = 5*k - 26. Which is smaller: 9 or k?
9
Let i = -0.9035 + 0.957. Do i and 2 have different values?
True
Let j = 16 - 15.98. Let k = -6 - -5.7. Let q = -0.2 - k. Which is bigger: j or q?
q
Suppose -125 = -13*k - 34. Let q = 36/5 - k. Which is bigger: 0 or q?
q
Suppose 9*m = 13*m + 420. Does m = -105?
True
Suppose 0 = 5*f - 10 + 30. Let v be (1/4)/(1218/(-882) + (-4)/(-3)). Which is smaller: v or f?
v
Let l(i) = i**3 - 6*i**2 + 5*i + 8. Let u be l(5). Let o be (-6)/8 + (-10)/u. Let y = -4 + 6. Is y less than o?
False
Let s be (-4)/21*3/(-2). Suppose 9 = 49250*v - 49259*v. Is v less than s?
True
Let j be (-3*-4*4/(-8))/2. Is 3 < j?
False
Let n(p) = -p**3 + 4*p**2 - 4*p + 3. Let y be n(3). Suppose 23 = -2*c - 5*d - 5, -3*c - 60 = 3*d. Let l be 5/15 - 10/c. Which is smaller: l or y?
y
Let l = -27 + 17. Let d = -10 - l. Suppose d = 2*j - 2 + 4. Is j <= 3/4?
True
Let u = 2/66363 + 74857450/464541. Does u = 161?
False
Let d = -0.065 + -20.935. Let o = 20.8 + d. Is -7 bigger than o?
False
Suppose 5*s - 3*g = -7, 2*g = -3*s + 3*g - 1. Let a be (-6)/((1 - s) + -2). Suppose 3*u + 0 + a = 0. Does -1 = u?
True
Let j(d) = -d**3 + d**2 + 4*d - 4. Let q be j(3). Let t be (5/q)/(7/(-2)). Let y be (-6)/8 - (-9)/12. Which is smaller: y or t?
y
Let m(j) be the first derivative of j**2/2 - 3*j - 1. Suppose 0 = -5*d + 5, -7*d + 10*d = -r - 1. Let y be m(r). Is -1 > y?
True
Let v = -12 + 6. Let i = v - -14. Let t be 23/(-20) + (-2)/i. Which is smaller: 0 or t?
t
Let f = -0.0977 - -2.0977. Which is smaller: f or -12?
-12
Let c = 1 + 2. Suppose 2*f - 1 + 3 = 0, -c*z + 5*f = -29. Let y be (-3 - 33/(-3))*(4 + -3). Is y at most as big as z?
True
Let y = 763 - 262. Is y > 503?
False
Let q = 138 + -219. Let t = q - -73. Is t at most -9?
False
Suppose 3*l = 2*l. Suppose -2*u = -l*u + 100. Let f be (30/u)/(1/1). Which is smaller: -1 or f?
-1
Let r = 0.248 - 2.248. Which is smaller: r or -25/7?
-25/7
Let f = -215 + 391. Let d be 22/f - (1 - 66/112). Is 14/9 bigger than d?
True
Let z be ((-472)/944)/((-241)/(-4) - 0). Let k(s) = s**2 - 1. Let j be k(0). Is z bigger than j?
True
Let u(t) be the first derivative of t**2/2 + 33*t + 37. Let b be u(4). Which is smaller: 3 or b?
3
Suppose 0 = -3*n - 3 + 9. Let s be 0 - (-4)/36*n. Is -2/3 bigger than s?
False
Suppose 