
Suppose 12 = 3*l - 0. Suppose l*g - 5*g + 14 = 0. Let y be (-156)/105 - (-4)/g. Which is smaller: 0 or y?
y
Suppose 6*f - 10 = 4*f. Suppose 5*i - 7 - 8 = 0. Is i < f?
True
Let r = 10168/3975 - 76/159. Let d = 478/225 - r. Which is smaller: 0 or d?
0
Let u = -53773/4 + 13548. Let k = 104 - u. Which is smaller: k or -1?
-1
Suppose 2*o = 6*o - 5*r - 137, 5*r = -25. Which is bigger: o or 1?
o
Let h(z) = -z**2 + 5*z - 2. Let u be h(2). Suppose 0 = -2*t + 2*k + 10, u*t = -5*k + 3 - 1. Which is greater: -0.1 or t?
t
Suppose 5*c - 2*c = 6. Suppose 0 = -2*s + 2*a, -a - c*a = 6. Which is smaller: 8 or s?
s
Let f = 0.4 + -0.2. Let h = f - 0.3. Let u = -0.1 - h. Is 2 at most u?
False
Let u = -5 - 1. Does -4 = u?
False
Let d be (-1)/((-3)/(-1))*1. Let g = -40/3 - -206/15. Is g at most d?
False
Let t = 2 + -3. Suppose 4*l - 3 = -s + 2, 3*s - 5 = -2*l. Let q = s + 0. Are t and q non-equal?
True
Let n(s) = -s**2 + 10*s + 6. Let u be n(9). Suppose 2*i - 2 = 2*l, 0*i = -3*l - 3*i + u. Let g = -3 + l. Is -1 less than or equal to g?
True
Suppose 4*g - 27 = g. Let n be (-21)/g + 2*1. Let m = -1 - -1. Is m greater than or equal to n?
True
Let r be 3 - (0/3 - 0). Suppose -r*z = 2*v - 6*z + 1, -5*v - 5*z = -35. Suppose -5*y + y + v = 2*a, -5*a = -20. Is y at most -0.2?
True
Let t be 20/8*3/(-15). Is t less than 0?
True
Let g = 18 - -3. Suppose 6*i + g = 5*i. Let d be 2 + 1 - (-57)/i. Is d > 2?
False
Let i be (-26)/336 + 6/21. Let q = 1/8 + i. Is q smaller than -0.05?
False
Let d = 7 + -2. Suppose 0*p = -d*p + 40. Suppose -2*i - p = -4*x + 4, -4*x - i = 0. Is x <= 1?
True
Let a(v) = -v**2 + 8*v - 5. Let g be (-2)/(-8) - (-76)/16. Let n be a(g). Let x(u) = u - 12. Let f be x(n). Is -1/2 less than f?
False
Let t = -1.08 + 0.08. Let w = 4 + t. Do w and 1 have the same value?
False
Let y = -4 + 4. Suppose 0 = 3*l - y*l + 6. Is l < -11/5?
False
Suppose -3*z = n + 4, 2*z - 4*n + 1 = 3. Which is greater: z or 2?
2
Let q(f) = f + 11. Let l be q(-9). Suppose l*z = 4*z. Which is smaller: z or -3/4?
-3/4
Let u = 11 + -22. Suppose 0 = -f + 5, -i + 3*f = -f + 32. Which is greater: u or i?
u
Suppose -2*l - h = 2*h, l = h. Let n = -3 + l. Is -2 less than n?
False
Let a be 4*(-2)/(-44) - 136/1232. Let r = 1 + -2. Do r and a have the same value?
False
Let o(p) = -p**2 - 7*p - 13. Let m be o(-3). Is m smaller than -10/17?
True
Let i = 7 + -3. Suppose -i*g + 1 = 3*q - 5, 0 = -5*g. Let x be (-4)/48 - q/(-6). Is x at least 3/5?
False
Let y = 1 + 1. Suppose 30 = 3*g + 2*g - 4*i, y*g + i + 1 = 0. Which is smaller: g or 3/4?
3/4
Let z(h) = h**2 - 2*h - 5. Let v be z(4). Suppose 0 = 2*q - 7 - v. Is 5 less than q?
False
Suppose -3*u + 6 - 3 = 0. Is u at most 1/16?
False
Suppose 0 = -2*o + 1 + 3. Suppose 0*v = -o*v + 18. Suppose 0 = -5*f + 2*x - v, -2*x + 3*x + 3 = -5*f. Is f at most -1/6?
True
Let x = 13 + -11. Suppose -h + 4*h + 6 = 0. Let o be x - (1 + -1)/h. Are 3/4 and o non-equal?
True
Let x = -96 + 97. Is x < -1/61?
False
Let v be (-4 + -2)/3 - 2. Let c(q) = q**3 + 4*q**2 + q + 4. Let k be c(v). Which is greater: k or -3?
k
Let v = -6 - -4. Let i = -2.1 - v. Do 3 and i have different values?
True
Let l = 943 + -44323/47. Is l bigger than -1?
True
Let o be ((-2)/12)/(2/56). Let j = -5 - o. Is -1/4 >= j?
True
Let v = 3 + -1. Let s = 0.4 - -2.6. Let w = s - v. Which is greater: 1/2 or w?
w
Let i = -5 + 5.1. Let y(b) = -b + 4. Let g be y(-4). Let j be (-2)/g - 15/20. Which is smaller: j or i?
j
Let h = -10 - -26. Let s = h + -6. Suppose -4*t + 2 = s. Is -3 at least as big as t?
False
Let g be 7/(-28) + 34/8. Let a = 5 - g. Suppose -2*d + 0*v = v - 5, -d - 5*v = -7. Which is smaller: d or a?
a
Let r = -2.1 - -2. Let f = -0.09 + 4.09. Let c = f - 4.4. Which is smaller: c or r?
c
Let h be (-2)/4*(1 - -1). Let c = 0.1 + -0.1. Is c smaller than h?
False
Let a = -5 + 5. Let k = a - 4. Which is greater: 0 or k?
0
Let h(o) = -o**3 - 6*o**2 - 5*o + 3. Let k be h(-5). Suppose -4*p + 6 = -2*y, -2*y + 0 = -p + 6. Suppose u = -p*u + k. Which is greater: 1 or u?
u
Let s(o) = o**3 - 5*o**2. Let r be s(5). Which is greater: r or 2/5?
2/5
Let p = -6 + 7. Is -2/5 != p?
True
Let j(z) be the first derivative of -3 + 2/3*z**3 + 3/2*z**2 + 0*z - 1/4*z**4. Let d be j(3). Is d < 0?
False
Let k(n) = -n**3 + 5*n**2 - 7*n + 12. Let v be k(4). Is v greater than 0?
False
Let d = 53/10 + -29/5. Is -1/5 >= d?
True
Let q be 12/(-15)*-5 - 10. Which is bigger: -5 or q?
-5
Let d = 10.82 - 3.96. Let p = 0.14 + d. Is -1 equal to p?
False
Let u = 131.5 + -133. Which is smaller: 2/11 or u?
u
Let p = -81/65 - -24/13. Which is smaller: -0.5 or p?
-0.5
Suppose -4*h + 16 = 2*g, -8 = -h - h + 5*g. Which is bigger: h or 3?
h
Let x(p) be the first derivative of -1 - 9*p - 1/3*p**3 - 11/2*p**2. Let l be x(-10). Which is smaller: 0 or l?
0
Let l = 114 + -1367/12. Are l and -1 equal?
False
Let f(u) = 2*u**3 + 8*u**2 + 5*u - 1. Let i be f(-5). Is i greater than -77?
True
Suppose 0 = -5*x + 2*x. Let v be ((-8)/(-12) - 0)*3/(-13). Which is smaller: v or x?
v
Let r(s) = -s**2 + 5*s - 2. Let t be r(4). Which is greater: 1 or t?
t
Let q(x) = -x**3 + 2*x**2 + 6*x - 4. Let h be q(4). Which is smaller: -14 or h?
-14
Let g = -6 - -8. Let h be g*((-5)/(-2))/(-5). Suppose -2*a + 5*a = 0. Is a < h?
False
Suppose 3*x - 30 - 18 = 0. Let l = x + -18. Suppose 2*c = 5*c + 3. Is l smaller than c?
True
Let t be 6/(-5)*(3 - -2). Let o be -3 - (-11 + t/(-2)). Is 5 at least o?
True
Let r be (-88)/(-561)*(-3)/8*2. Is r < 0?
True
Suppose -2*q + q - 4*l = 148, -3*l = 2*q + 321. Let j = q - -1174/7. Is -1 at least j?
False
Suppose 0 = -0*l + 5*l - 10. Suppose -l*w + 8*a - 3*a - 2 = 0, w - 2*a = -1. Let k be w*2/(-1) - 2. Which is smaller: -1 or k?
-1
Let b = 10 + -6. Let p be 16/b - (-1)/1. Let u = 36 - 37. Which is greater: p or u?
p
Let z be ((-24532)/(-64))/(7 + -2). Let y = -655/16 - z. Let k = y + 118. Is k bigger than 0?
True
Let h(y) = -2*y**3 + y**2. Let z be h(-1). Let a = 16 + -10. Let q(x) = -x**3 + 7*x**2 - 6*x + 4. Let g be q(a). Which is greater: g or z?
g
Let q = 5 - 1. Suppose -4 = q*w - 0. Which is smaller: w or -3/7?
w
Suppose 3*f - f + 8 = 0. Let i be 1/(-1)*f/(-8). Is -0.5 at least as big as i?
True
Let y be (-5)/(-2)*(-6 + 8). Suppose 2*b + 2*b + z = -32, -y = 3*b - 4*z. Are -6 and b equal?
False
Suppose 4*o - g + 4 = 0, -4*o + 0*g - 3*g - 4 = 0. Let p = -2 - o. Which is greater: -2/15 or p?
-2/15
Suppose -4*n + 4 = 5*y + 23, 0 = -4*y - 12. Which is smaller: n or 1/28?
n
Suppose 0 = 2*w - 5*w + 21. Let l(b) = -b + 4. Let j be l(w). Let h = -3 - j. Which is bigger: h or -1?
h
Let x = -87/160 - -8/15. Let u = -35/288 - x. Is u at least 1/2?
False
Let k(l) = 4*l - 3. Let c be (2/4)/((-4)/(-16)). Let z be k(c). Suppose 3*v = -1 - z. Which is smaller: v or -1?
v
Let x = -11 - -7. Let g = -18 - -17. Let l = g + 1. Which is smaller: x or l?
x
Let n be (-2)/1 + (-25)/(-15). Let r = n + -1/6. Is -0.3 at least r?
True
Let c = -0.13 - 0.37. Which is bigger: -2 or c?
c
Let y(o) be the first derivative of -3*o**2/2 + 4*o - 2. Let q be y(3). Suppose -5*f + 5 = -5*r, -r = -3*f - 10 + 3. Which is smaller: q or f?
q
Let z be 5 + -1 + (-9)/3. Let l be 2/2 - 5/7. Which is greater: l or z?
z
Let g = -226 - 419. Let t = -17417/27 - g. Is 0 not equal to t?
True
Let x = 0.2 + 0.8. Let l = 2.5 - 2.7. Which is bigger: x or l?
x
Let u = -4/11 + -2/55. Let r = 5 + -2. Let i be r + (-7 - (-4 + 2)). Which is smaller: u or i?
i
Let t = -44.8 + 45. Which is bigger: t or -1/3?
t
Suppose o + 3*o = 0. Let n(x) = x**3 + x**2 + 2*x + 3. Let r be n(-2). Let w(t) = t**3 + 6*t**2 + 6*t + 5. Let y be w(r). Do y and o have different values?
False
Let h = -16 + 9. Let r = h - -9. Suppose 0 = u - r*u + 1. Which is bigger: 6/5 or u?
6/5
Let y = -66/5 - -196/15. Is -1 less than or equal to y?
True
Suppose -10 = 2*m, 2*d - 3*m - 59 = 4*d. Let j = d - -20. Which is smaller: j or -1?
j
Let b = -2.2 - -2. Let d = 0.2 - -1. Let z = b + d. Is -0.1 != z?
True
Suppose 0*k - 4 = 4*k. Let f(w) = 3 - 4 + 4*w**2 - 3*w**2. Let a be f(k). Is -0.1 >= a?
False
Suppose 0 = 4*y - 2*y + 5*m + 6, -y - 2*m - 2 = 0. Suppose 0*p + 52 = y*p. Suppose 5*f = 1 - p. Which is smaller: -6 or f?
-6
Let g be 0 + -2 + 2*4. Let k(o) = o - 6. Let z be k(g). Let t be -4 + 2 - 8/(-6). Is t > z?
False
Let j be (4/(-14))/