3 - 3*k**2 + 2*k. Let u be t(-4). Suppose 0 = -3*r + u*r - 15. Is r <= h?
False
Let m = -104 + 97. Are 8 and m equal?
False
Let y be 3 - (550/45 - 9). Let b be -2*((-9)/(-10))/3. Which is bigger: b or y?
y
Let w = 35 - 106/3. Suppose -2*k + 3 = -3*s, -5*s + 4 - 9 = -3*k. Suppose k = -7*u + 4*u. Is w at most u?
True
Suppose k + 58 = 5*x, -2*k = 3*x - 0*k - 27. Let z be (2 - 1)/(3/21). Which is bigger: x or z?
x
Let s(o) = 2*o**2 + 13*o + 27. Let b be s(-3). Suppose 2*f + b = 0, -5*t + 3*f + 49 = 5. Do t and 8 have different values?
True
Let h(a) = -10*a - 3 - 9*a - 11 + 20*a. Let n be h(14). Which is smaller: 1 or n?
n
Suppose 122 = -5*w + 487. Let m be 104/130 + (-1426)/20. Let j = w + m. Which is smaller: j or 3?
j
Suppose 7 = -u - 0*d - 3*d, 4*d = u + 7. Let r = u - -7. Suppose -5*q + 2*i + 25 = i, -3*q + 5*i - 7 = r. Is q greater than -0.1?
True
Let n = 6 + 8. Let k = -19 + n. Which is smaller: -0.1 or k?
k
Let g = -3.2 - -4.2. Let n be 2/4 - 27/6. Let w(j) = j**3 + 5*j**2 + 3*j - 4. Let u be w(n). Which is smaller: u or g?
u
Let p(n) = -3*n**2 - 2*n - 4. Let x be p(0). Is -52/11 greater than x?
False
Let y = -45 - -36. Let t be (6/y)/((-12)/(-126)). Suppose -x = -3*f - 29, 4*x - 56 = 2*f - 20. Is f greater than or equal to t?
False
Let v = 3/7352 + 440997/301432. Are v and 0 unequal?
True
Suppose 3*z = 2*x + 46, -5*z + 66 = -4*x - 10. Which is smaller: 25 or z?
z
Let r = 46 + -83. Let k = 50 + r. Let v = k + -11. Is 7 at most v?
False
Let z = 599 + -1199/2. Which is greater: -0.7 or z?
z
Suppose 10*c - 6*c = 4*h - 180, 139 = -3*c - h. Is -46 > c?
False
Let s = 138.19 + -2.19. Let w = 123 - s. Is w bigger than 0?
False
Let s = -1821 - -1998. Is s greater than 713/4?
False
Let d = 0.74 + -0.83. Let k = d - -0.04. Which is smaller: -0.5 or k?
-0.5
Suppose 2 + 0 = 2*i - 3*w, 0 = i - 2*w. Let p = -2 - -2. Suppose -2*n + 3*n + i*f - 4 = p, 0 = 2*n - f + 10. Is n at most -4?
True
Let p = 4/185 + -208/37. Suppose -3 = c - y, 0 = 4*y + 11 + 1. Which is smaller: p or c?
c
Let y = 3 - 1. Suppose y = 4*v - 2*q, v - q + 3 = 4. Let n = -57/7 + 2665/329. Is n smaller than v?
True
Suppose 8*i = 5*i + 12. Let l be ((-4)/88)/(2 + (-5)/i). Which is smaller: 0 or l?
l
Let j be (-2)/4*(-360 + -6)/3. Is j at least 121/2?
True
Let k(v) be the third derivative of v**6/120 - v**5/6 - 13*v**4/24 - v**2. Let i be k(11). Let x be 2 + (0 - (-46)/i). Which is smaller: x or 1?
x
Let y(c) = 2*c**3 + 5*c**2 + 3*c. Let d = 8 + -11. Let s be y(d). Let n be (10/4)/((-9)/s). Which is bigger: n or 1?
n
Let t = 2709 + -2223. Is 2/7 greater than or equal to t?
False
Let m = 24/29 + -831/899. Let o(f) = -f + 2. Let v be o(3). Is v at least as big as m?
False
Let n = 7 - 10. Let a be (-120)/n*1/(-2). Let f = -14 - a. Is f <= 6?
True
Suppose -3*r = 0, r - 1 = -3*j + 92. Which is smaller: 32 or j?
j
Suppose 17 - 81 = -64*b. Which is bigger: b or -14/107?
b
Let f = -8.4 - -8.65. Let z = -0.35 + 0.2. Let y = z + f. Does 13/5 = y?
False
Let k(b) = b**3 + 3*b**2 - 12*b - 6. Let m be k(-5). Let l be m/14 + 72/(-105). Let c = 0.1 + 1.9. Which is smaller: c or l?
l
Let u = -12 - -13. Let g = u - 4. Let m be g/2*(-2)/12. Which is smaller: 1/3 or m?
m
Let d = 214 + -217. Is -3 < d?
False
Let m = 1069 - 1558. Which is smaller: m or -488?
m
Let r be 1 + 4 - (-25515)/(-5100). Is r != 1?
True
Let f be (63/(-2))/(-7)*2. Let h be (3/f)/((-2)/(-204)). Let u be (-1)/5 - h/(-20). Which is greater: u or 0.04?
u
Let q be 36/38 + 8/(-8). Suppose -4*t - 182*p - 2 = -180*p, -2*t - 4 = 2*p. Is t less than or equal to q?
False
Let z(c) = c**2 + 8*c - 19. Let m be z(-10). Let a(f) = 2*f - 12. Let v be a(9). Let h be v/(-14)*(-16)/(-24). Is m greater than h?
True
Let g be 6/(-3) + 12/3. Suppose -2*y - 40 = g*n - 8, 3*y - 48 = 3*n. Is -17 bigger than n?
False
Let c = 31/12 - 173/68. Suppose 0 = -29*b - 76*b. Which is greater: b or c?
c
Let a = -46.54 - -49. Which is bigger: 2/5 or a?
a
Let m = -8 - -25. Let o = m + -1. Which is bigger: o or 17?
17
Let c(n) = n + 3. Let r be c(0). Let a be (-6)/r*(-2)/4. Let l = -23 + 29. Which is smaller: a or l?
a
Let j = -157 - -284. Let c = j + -263/2. Suppose v + 4*n = -20, -2*v + 12 = -0*v - 5*n. Which is greater: v or c?
v
Suppose 9*b + 78 = 3*b. Let m(p) = -2*p + 4. Let i be m(3). Let o be (i/5)/((-5)/(-175)). Which is smaller: o or b?
o
Let s be (1/(2 + -5))/(7/21). Let y be ((-12)/(-177))/(1 + s - -2). Which is greater: y or 3?
3
Let s(t) = t**3 - 4*t**2 - 7*t + 8. Let d be s(3). Is -18 >= d?
True
Let g be (-1)/(-7) + (-12)/28. Suppose 25 = 5*y + 4*d, -5*y + 3*d = 16 - 6. Which is smaller: y or g?
g
Let q(z) = 6*z + 42. Let d be q(-7). Let u be -3 - (-1 - 0) - -1. Let h be (-4)/(-4)*(u + 1). Is h > d?
False
Suppose -823*v = -822*v - 44. Is 49 <= v?
False
Let m(l) be the second derivative of l**3/3 - 25*l**2 - 7*l. Let t(q) = q - 17. Let d(v) = 4*m(v) - 11*t(v). Let x be d(-6). Does 1 = x?
False
Let t = 2413 - 2414. Which is greater: -112 or t?
t
Let m be (-53)/(-2) + (-2)/(-4). Let v(z) = -6*z - 157. Let d be v(-31). Let p = d - m. Is p > 2?
False
Suppose 22*t = 21*t - 2. Let x be ((-44)/(-12))/(1*t/12). Let s(g) = -2*g**2 - 8*g + 2. Let h be s(-6). Are h and x non-equal?
False
Let n = 14.64 + -14.64. Let a be 10 - ((1 - 2) + -1). Which is bigger: a or n?
a
Let k(s) = -s**2 + s - 1. Let a be k(4). Let g = 28.8 - 1.8. Let i = -26 + g. Is i at most as big as a?
False
Let i = -269 + 39. Is -231 less than or equal to i?
True
Let k = -1312 - -80034/61. Let g = -14 + 15. Are g and k equal?
False
Let m = 67 + -56. Which is greater: 13 or m?
13
Suppose -4*l + 2*l = -s - 70, -4*s - 2*l = 250. Which is smaller: s or -67?
-67
Let d(u) = -2*u**2 + 2*u + 6. Let h be d(6). Suppose 0 = -5*y + 5*x - 295, 0 = 3*y - 5*x + 136 + 49. Which is smaller: h or y?
y
Let b(u) be the first derivative of u**4/4 + 3*u**3 - 5*u**2 - 5*u + 3. Let q = -42 - -32. Let n be b(q). Is n bigger than -9/2?
False
Let k be (-5 - 1)*((-26)/4 + 9). Let j be 24/(((-9)/2)/3). Which is greater: k or j?
k
Let n(d) = d**3 - 2*d**2 + d. Let u be n(2). Let h be 0/3 + u*6. Let v = -1/1502 + 1505/4506. Which is smaller: h or v?
v
Suppose 0 = 3*r - 2*d - 28, 0 = d - 2 + 7. Suppose i + w + r = 0, -2*i + 6*i + w + 33 = 0. Let p(b) = b**3 - 9*b**2 + 7*b - 3. Let j be p(8). Is i > j?
True
Let n = 2 - 2. Suppose n*y + 3*y = 3. Let j = 9 - 8. Do y and j have the same value?
True
Let x be 4/(-10) - (-1137)/2855. Which is smaller: x or -1?
-1
Let o(m) = 4*m**2 + m**2 + 24 - 6*m**2. Let r be o(0). Suppose -h = -3, a - 2*h - r = -2*a. Which is bigger: a or 1?
a
Let m = -2 + 10. Let p = 21 - m. Suppose -40 = -3*o + f, -38 - 28 = -4*o - 5*f. Is p <= o?
True
Suppose 15*g = 12*g - 3. Which is smaller: -1/55 or g?
g
Suppose 2 = 3*v - 3*y + 11, -18 = 5*v - 2*y. Let c = v - -3. Suppose -64*g - 5 = -69*g. Which is smaller: g or c?
c
Suppose 0 = 9*d - d - 80. Let h be 5/d*(-2)/(-29)*-3. Do h and 1 have the same value?
False
Let j = 0.04 + 7.96. Let k = -11 + j. Which is greater: -3/11 or k?
-3/11
Let l be (12/(-18))/(2/15). Let q be -2 + (-1 + -2 - l). Let t be 4/(-14)*(-3)/18. Is t smaller than q?
False
Suppose -4*j + 6 = -54. Let s be 2/(((-8)/3)/4)*-5. Let o = s - j. Is 3/4 > o?
True
Let w = 5237/3 - 1859. Is -113 != w?
True
Suppose -5*h - 40 = 3*y, 40 = -5*h + 4*y - 6*y. Let t be 3 - ((-3)/6 - (h + 5)). Is -15 less than or equal to t?
True
Let o = 1.2 - 0.8. Let c = -3.2 - -3.1. Let y = o + c. Is y less than or equal to 0?
False
Let c = -2/16249 + 910010/536217. Let z = c - 4/3. Is z != 1?
True
Let l be 7/28 - (-22)/8. Suppose 0 = 4*x + 8, 3*n + 15 - 1 = -4*x. Let c = n + l. Is -2/11 > c?
False
Let v(j) = j**3 - j**2 - 10*j + 6. Let d(k) = -k**3 + 9*k - 6. Let a(p) = 5*d(p) + 4*v(p). Let r be a(-5). Are -6 and r equal?
True
Suppose 2 = s + o, s - 5*s + 3*o = 20. Let q(y) = -y**3 - y**2 + y + 1. Let a be q(s). Suppose -a*p = p. Is -2/9 greater than p?
False
Let m = -3.2 + 3.3. Let g = 3.1 - 3. Let j = 2.9 + g. Which is smaller: j or m?
m
Let t(x) = x**2 + 5*x - 3. Let q be t(-6). Suppose -5*u + 34 = -3*u + 2*r, 5*u + q*r = 83. Is 16 >= u?
True
Let u(m) = m**2 + 20*m + 41. Let c be u(-17). Suppose 4 = -2*w, -g + 8 = -0*w - 3*w. Suppose -g*r = 7 + 11. Do r and c have the same value?
False
Suppose 0 = -3*k + 2*b + 82, 2*k + 2*k + 2*b