pose -5*d + 10*d = 35. Is p less than or equal to d?
True
Let q = -161 - -172. Which is greater: q or -6?
q
Let m be -43 - (1 + 10 - (11 + -2)). Let f(u) = -46*u**2 + 1. Let h be f(1). Do h and m have the same value?
True
Suppose 16*f + 5229 + 515 = 0. Which is smaller: -357 or f?
f
Suppose 3*i = 2*s - 17, 0 = -4*i - s + 5*s - 28. Let l be (-7)/(-2) + (-1)/(-2). Let x be l - (2/i + 2). Is x smaller than 3?
True
Let v = 44 - 38. Let j = 1 - v. Which is bigger: j or 0.04?
0.04
Let p be (6 - 312)/9 - -4. Which is bigger: p or -14?
-14
Let r be (1*18/309)/(6/8). Which is bigger: 0 or r?
r
Let w be 4/6 + (-245)/312. Let i = w + 1/24. Suppose 3*c = -0*c + 3. Is c > i?
True
Let l(s) be the first derivative of -s**3/3 - 2*s**2 + 2*s + 5. Let b be l(3). Let c = 14 + b. Is -6 less than c?
True
Let b(z) = -z**3 - 18*z**2 + 13*z + 26. Let o(a) = -3*a**3 - 36*a**2 + 25*a + 52. Let n(i) = -5*b(i) + 2*o(i). Let p be n(17). Does 8 = p?
True
Let n(l) = -l**2 + 2*l + 4. Let m be n(3). Let j be 36/(-2 - m) + -1. Let d be -17 + (-1 - j)/4. Is d less than -15?
False
Let p = -48 + 52. Let h = 0.28 + -0.28. Is h smaller than p?
True
Suppose 2*o = -5 + 7. Let u = 2 - 4. Let q = o - u. Is q equal to 3?
True
Let m be (-6)/55 - (-69)/759. Is m equal to -1?
False
Suppose 0 = 4*q + 2*n - 28, 4*q - 2*n = 2*n + 4. Suppose -2*k - 5 = -t + k, -t - q = 2*k. Is t != -11/6?
True
Let m be (4/8 - 0)*0. Suppose m*t + 76 = -4*t. Let v = t + 16. Is v bigger than -5?
True
Suppose 0 = -14*p + 76 - 90. Is p greater than -1?
False
Let j(b) = -3*b**2 - 9*b + 31. Let z be j(-5). Are z and 30/73 nonequal?
True
Let c be 2/(-4)*2 - 3. Let r = 17.5 + -1.5. Let y = r + -16. Do c and y have the same value?
False
Let j be (1008/20 - -6)/((-9)/(-120)). Are 754 and j equal?
False
Let h(f) = 8*f - 54. Let k be h(7). Suppose 0*r - k*r - 3*x = 9, 5*r - 2*x - 6 = 0. Which is greater: r or 1/5?
1/5
Suppose 6*z = 18 + 6. Let l be 0/(3/((-6)/z)). Is l smaller than 10/7?
True
Suppose -o + 4*r = -4, -o - 58 = -3*o - 2*r. Let h(l) = 9*l - 1. Let j be h(-2). Let s = j + o. Is 6 at most as big as s?
False
Let l = -0.6 - 0.1. Let y = -37 - -36.7. Let b = l + y. Which is bigger: b or 1?
1
Let z(m) = 53*m**2 - 54*m + 99. Let d be z(2). Is 202 less than or equal to d?
True
Let b(o) = -o**2 + 12*o + 1. Let h(z) = 15*z - 3. Let x be h(1). Let a be b(x). Which is smaller: 6 or a?
a
Let a = 12.08 - 0.08. Let f = -13 + 3. Let x = f + 11. Which is smaller: x or a?
x
Let w be 10 - 348/36 - 13/3. Is -40 greater than or equal to w?
False
Let b = 1.94 + 0.06. Let o = -12 + 12.03. Is b less than or equal to o?
False
Let t be (-6)/(-2096)*(0 + (9 - 11)). Which is bigger: t or 1?
1
Suppose 0 = 3*o - 0*k - k - 12, 0 = o - 2*k - 9. Suppose o*p - 2*a + 3 = 0, -p + 5*p - 5*a + 4 = 0. Which is bigger: p or -2/227?
-2/227
Suppose 1156 = 11*s - 373. Are s and 137 equal?
False
Let s = -60.2 - -55. Let v = s + 20.4. Let u = -15 + v. Is 1/2 at least as big as u?
True
Let o = 1665 - 2809. Which is greater: -1145 or o?
o
Let o(l) = l**2 + 3*l + 2. Let v(z) = z**3 - 4*z**2 - 2*z + 6. Let w be v(4). Let y be o(w). Let q be 3696/(-2664) - 8/(-6). Which is bigger: q or y?
y
Let w be (-5704)/(-93)*(-1 - 1/2). Is w less than or equal to -92?
True
Let v = -1.95 + -0.05. Let g = v - -2.02. Let o = -275 + 276. Which is greater: o or g?
o
Let g(y) = y + 1. Let b(u) = 6*u + 8. Let q(w) = -b(w) + 5*g(w). Let s be q(-6). Suppose s = -0*i - i + 4*n, 5*n - 6 = -i. Which is greater: i or -1/3?
i
Let y = 14 - 12. Suppose 31 - 3 = y*n. Let v = 13 - n. Which is smaller: v or -1/15?
v
Let s = 0.3 - 3.9. Let u = 3.5 + s. Which is greater: -18 or u?
u
Let h be ((-148)/185)/(5/((-25)/58)). Which is bigger: 2/7 or h?
2/7
Let q(y) = -2*y + 3. Let h(z) = -z**2 + 4*z - 7. Let l(n) = -3*h(n) - 7*q(n). Let k be l(-4). Let t = -35 + k. Which is greater: t or 4?
t
Let d be ((-2)/(-1))/(80/(-120)). Which is greater: -5 or d?
d
Suppose 0 = -5*t - 2*d + 50, t - 26 = -t - 2*d. Suppose -4*a + t*a = -36. Which is smaller: -5 or a?
a
Let i be 2/8 + (-6)/(-8). Let l be (-143)/(-242) - i/2. Which is smaller: 1 or l?
l
Let n(f) = f**3 + 7*f**2 + 4*f - 5. Let i be n(-6). Let w be 40/100 - i/5. Do w and -5/9 have different values?
True
Let s be (-3)/(-9) + 654/(-18). Let h be (9/5)/(s/(-120)). Suppose h + 3 = 3*f. Is f > 4?
False
Suppose -3*j = -18 + 12. Let m = j - 14. Which is smaller: -11 or m?
m
Suppose -5*c + 990 = -5*d, 0 = -3*c - 2*c. Are -198 and d non-equal?
False
Let i = 125 - 124. Is i <= -133?
False
Let d be (6/(-7))/((-26)/(-1456)). Which is smaller: d or -44?
d
Suppose 3*d = 14*d - 11. Let i be d/2 - (-6)/(-12). Let s(r) = 2*r**2 - 5*r + 2. Let l be s(3). Is i bigger than l?
False
Let z(d) be the second derivative of 1/3*d**3 - 2*d**2 + 1/3*d**4 + 0 + 2*d + 1/20*d**5. Let g be z(-3). Are g and -0.2 equal?
False
Let i = 65 + -63. Is i equal to -26?
False
Let o(i) = 5*i**3 - 5*i**2 + 17*i + 1. Let k(s) = -s**3 + s**2 - 4*s. Let x(q) = 9*k(q) + 2*o(q). Let h be x(2). Do h and 17 have the same value?
False
Suppose 0 = 5*l + 39 - 19. Is -4 > l?
False
Suppose 3*q + 27 = -3*d, 4*d + 0*d + 5*q + 39 = 0. Let o be (-4)/d + 4/12*-8. Which is smaller: 0 or o?
o
Suppose -n = -18 + 58. Is n < -41?
False
Suppose -2*c = 6*z - 2*z + 20, -z = -c - 4. Which is smaller: c or 2/41?
c
Let q = -50 + 72. Suppose -2*t + 3*t - 31 = 3*b, 0 = 3*t - 2*b - 72. Do q and t have the same value?
True
Let z be 0/(1 + 0/4) - -40. Suppose -6*u = -10*u - z. Which is bigger: -11 or u?
u
Let x be (-7462)/615 + (-4)/(-30). Is -12 greater than x?
False
Let u(k) = -73*k + 43. Let i be u(5). Is i > -325?
True
Let f = -6022 + 156599/26. Is f at most 2?
True
Suppose -57*v = -53*v - 52. Is v <= 15?
True
Suppose 0 = 5*w - 3*w - 3*r - 1, -3*w - 5*r + 11 = 0. Which is greater: w or 0?
w
Let a = 1.75 - 3.3. Let p = a + -0.05. Let s = 1.7 + p. Are s and 1 unequal?
True
Let z be (-7)/(-21) - ((-2228)/(-669) - 3). Is z at least 0?
True
Let s = 7 - -39. Suppose -s = -3*a - 43. Is -3 < a?
True
Suppose -20*o + 17*o + 15 = 0. Let v be (-6)/15 + 2/o. Which is bigger: v or 3/10?
3/10
Let r be (7 + -14)*-1 - 45. Which is smaller: -112/3 or r?
r
Suppose 0 = 4*s - w - 517, -6*s + 3*w - 255 = -8*s. Are s and 130 nonequal?
True
Let b(z) = z**2 + 6*z - 11. Let c be b(-11). Suppose g = -g + c. Let p be ((-33)/g)/((-6)/(-8)). Is -9/5 equal to p?
False
Let d = 1.1 - 0.1. Is d less than 277?
True
Let b be (49/(-3) - -1)*(-432)/1152. Is b > 7?
False
Suppose -27*v = -31*v + 220. Let c = v + -91. Are c and -35 equal?
False
Suppose 4*m + 7 = m + 4*b, -4*m + 2*b + 4 = 0. Suppose -2*y + m = -3*w, 0 = 3*y - 5*w - 2. Is 11 at least y?
True
Suppose 5*u + 2*m - 340 = 0, 5*u + m - 340 = -3*m. Which is bigger: u or 71?
71
Suppose 8*w + 21 = 13. Let q be (99/(-44))/(22/8). Are w and q nonequal?
True
Let i = -35 + 159. Let g = 46 - i. Which is bigger: g or -1/4?
-1/4
Let f = 2.453 + 12.547. Is f smaller than 32?
True
Suppose -5*h + 2*r = 3*r - 49, -2*r = -h + 1. Let j be (-3 - (-126)/4)*1/3. Is j > h?
True
Let u(r) = -3*r. Let c be u(-1). Let q = c - 3. Let y be (-104)/(-48) - (-1 - -2)*2. Is q >= y?
False
Suppose -9 = -3*v - 15. Let c = 0.07 - 0.12. Let p = 0.05 + c. Which is smaller: p or v?
v
Let c be ((-8)/57)/(4/6). Let k be 10*(6 + (-18)/4). Suppose 18 = 3*j + k. Which is smaller: c or j?
c
Let n be (21/28)/((-2)/48). Let a = n + 17. Let y be (a - 4/(-8))*-4. Which is smaller: 6/5 or y?
6/5
Let f be (9/((-45)/(-56)))/(2/(-10)). Let z = 54 + f. Is z equal to -3?
False
Let w be (28788/30)/2*(-2)/6. Let r = w + 160. Which is smaller: 0 or r?
0
Let t(y) = -y**2 - 9*y - 10. Let b be t(-4). Suppose 0 = 2*d + b, -18 = -5*h + 2*d + 17. Suppose 0 = -2*x - h*f - 8, 5*x + 5*f = -3 - 17. Is x at least -25/6?
True
Suppose -809*t + 18 = -815*t. Is 144 greater than t?
True
Let l be (-88)/120 + 12/9. Let f = 0 - -1. Let p = 1 + f. Which is smaller: l or p?
l
Suppose -2*q = q - 9. Suppose -5*k = 8 - q. Let r(a) = a**3 - 3*a**2 + a - 2. Let y be r(3). Which is smaller: k or y?
k
Suppose 4*j + 3*y - 301 = 0, -17 = -5*y - 2. Which is smaller: j or 76?
j
Let c = -1237157/10595 + 1518/13. Is c <= 1?
True
Let k be 0 - (0 - 0 - 54). Suppose 3*a - a + k = 4*q, -36 = -q - 4*a. Suppose -30 = -3*o + 5*b, -2*b - b = 5*o - 84. Is q equal to o?
False
Let q(p) be the se