*k = -2*q. Let w(x) = -x**2 - 3*x + 2. Suppose -14*d - 16 = -10*d. Let s be w(d). Is s bigger than q?
False
Let x = -0.06 - 0.04. Which is greater: x or -5/8?
x
Let k be ((-2)/(-6))/(-5 + (-42)/(-12)). Do k and 1 have different values?
True
Suppose -2*f - 1 - 1 = 0. Let j be ((-2)/(-2))/f*0. Let h be 3/(-4)*(-2 - 13/(-6)). Which is greater: j or h?
j
Let b = 3 + 1. Let u = b - 0. Let k be (-3)/(-4) - 1/u. Which is smaller: -3 or k?
-3
Suppose -2 = 5*v + 13. Let t be (76/(-28) - v)*1. Is t at least as big as 1?
False
Suppose 5*n - 8 = 13*n. Suppose -k - 2 = -3*k. Which is smaller: k or n?
n
Let q = -13 + 22. Suppose t = 2*z + q, -3*t - t = 3*z - 3. Which is smaller: 0 or z?
z
Suppose 0 = -5*g + 4*g + 3*j + 13, 17 = 5*g - 3*j. Let s be 1 + (-4)/10*g. Let p(u) = 2*u**2 - u. Let o be p(0). Do o and s have the same value?
False
Suppose 0*c + 11 = 2*g + 5*c, 3*g + 5*c = 14. Suppose -2 + g = -a. Suppose -z - 2*z = 4*s + 16, 2*s + 4*z = -18. Is s <= a?
True
Let r = 0.04 - 0.13. Which is smaller: r or 1/2?
r
Let h be 42*(4 + (-55)/15). Let i be 14 - -1 - 0/(-2). Is i smaller than h?
False
Let i = -490 + 12252/25. Let y(r) = r + 5*r + r**3 - 2*r - 8*r**2 + 6 + 2*r. Let g be y(7). Is i less than g?
False
Suppose -i + 5 = 3*u, 2*u = -5*i - 3*u - 5. Is -3 bigger than i?
True
Let a be ((-24)/15)/(4/(-10)). Let l be a/2 - 2*5. Which is greater: l or -7?
-7
Let a be 4/6*9/6. Let x(b) = b**2 + 6*b + 3. Let c be x(-5). Let o = c - a. Which is bigger: o or -2?
-2
Let i be (-2)/5 - 77/(-5). Let m = i - 8. Suppose 0 = -0*z - 4*z + o - m, 5*o + 9 = -2*z. Does -2 = z?
True
Let k be (-4 - -1)*3/(-36). Which is greater: 1 or k?
1
Let b = 2.322 + 15.608. Let v = -18 + b. Let o = 0.03 - v. Which is greater: o or -2/13?
o
Let f be (-2 + 22)*(-3)/(-2). Suppose x = -2*x + f. Let r be ((-1)/(-3))/(x/(-6)). Is r at least as big as -1?
True
Let k be ((-3)/(-105))/(1/(-4)*-1). Is k greater than or equal to -1?
True
Let f = -2.2 - -0.3. Let s = f + -0.1. Let t = s - 1. Which is smaller: t or -1?
t
Let o = 12 + -11. Is -1 at least as big as o?
False
Let a = -3 + 3. Suppose 0 = -a*o + 5*o - 10. Suppose 0 = 18*v - 12*v - 18. Is o greater than v?
False
Let b = -15.9 - -16. Suppose -f = 3*o - 5, 0*o + o = -3*f + 15. Which is smaller: b or f?
b
Let n(l) = l**3 - 13*l**2 - 3*l + 8. Let a be n(13). Which is smaller: -33 or a?
-33
Suppose -2*w + w = 0. Suppose 4*g + w*v = -v + 16, -5*g + v + 20 = 0. Is g < 4?
False
Let y be 3 - (5767/1772 + 8/(-32)). Which is smaller: y or 0?
y
Let a(z) = 2*z**2 + z + 1. Let u be a(-3). Suppose -4*o = -2*o - u. Which is bigger: 7 or o?
o
Suppose -4*d = -4, -s - 2*d - 1 = 1. Let a be (1 - -1)*s/12. Let w(c) = -c**3 + 14*c**2 + 14*c + 14. Let q be w(15). Is q smaller than a?
True
Let s be (-34)/66 + 2/11. Which is smaller: s or -0.5?
-0.5
Let l(d) = -d**2 - 3*d + 2. Let o be l(-3). Let s(q) = q**3 + 8*q**2 + q. Let z be s(-8). Let w(g) = g**2 + 8*g + 2. Let u be w(z). Is o at most as big as u?
True
Let w be 0/(-3 + 3 - -1). Suppose w = -a - 4*a. Is 0 not equal to a?
False
Let j = -1/263 - 517/2367. Is j >= 1?
False
Let x be 2/6 - (-16)/(-3). Is -8 <= x?
True
Let l = -28.9 - -23. Let u = l - -6. Let t = 3 - 3.1. Which is smaller: t or u?
t
Let w = 60.9 - 61. Is -6 equal to w?
False
Let k(c) be the third derivative of c**5/60 + c**4/8 + c**3/2 + 2*c**2. Let j(m) = -m - 11. Let o be j(-9). Let w be k(o). Which is greater: w or 2/11?
w
Let w = -199/3440 - 1/215. Which is smaller: 4 or w?
w
Suppose 4*l - 5*l + 4 = 0. Suppose 4*n + 16 = 4*d, 0*d + l*n + 19 = d. Which is smaller: 1/6 or d?
d
Let j(q) = q**2 - q - 11. Let c(r) = -r**2 + r + 10. Let v(n) = 6*c(n) + 5*j(n). Let w be v(0). Suppose 4 = w*x - 1. Which is smaller: -1/7 or x?
-1/7
Let p = 0 - 3. Let b = -466 - -467. Which is bigger: p or b?
b
Let o = -20/371 - -11322/196259. Which is smaller: 1 or o?
o
Let o be (-2)/(1 - 3)*1. Let d = 2 - o. Are d and 1 unequal?
False
Let r = -1.1 + 0.1. Suppose 2*u = -0 + 8. Let h = 4 - u. Is r greater than h?
False
Suppose 2*s = s - 1. Which is greater: s or -5/4?
s
Let y(j) = 5*j**3 - j**2 + 2*j - 7. Let z be y(3). Let s be (-379)/(-1)*(-1)/3. Let x = z + s. Is x smaller than 0?
True
Let f = 0.03 - -2.97. Let v = f + -3.1. Which is smaller: 0.03 or v?
v
Let m = -27 + 17. Is 0.2 bigger than m?
True
Let p = 27 + -28. Which is bigger: p or -0.4?
-0.4
Let k = 12 + -12. Suppose k*u + 12 = 3*u. Let c(s) = -s + 11. Let p be c(7). Is p bigger than u?
False
Let n = 25 + -18. Suppose -2 = -n*y + 5. Which is bigger: y or 7/5?
7/5
Let m(x) = x**2 - x. Let n be m(0). Let g be (-12)/(-54) + (-4)/18. Suppose g = -3*h + h + 2. Is h at least as big as n?
True
Let m(g) = -g**3 - 2*g**2 + 4*g. Let d be m(-4). Suppose 3*z - 20 = -2*w, -2*z = -3*w - 3*z + d. Suppose -5*r = -4*v - 3, 2*v - v + w*r = 15. Is v less than 3?
False
Let v be -3*((-272)/12)/2. Suppose 3*i - v = -i + 2*d, 0 = -i + 2*d + 16. Is 5 smaller than i?
True
Suppose -3*d - 15 = 0, 0 = 5*n - 0*n + 4*d + 65. Let c be ((-6)/n)/(14/(-9)). Let w = -68 + 69. Which is smaller: w or c?
c
Let b = -8 - -8. Which is smaller: b or 3?
b
Let i = 31 - 17. Do 14 and i have the same value?
True
Let k(t) = -6*t + 21. Let r(g) = 13*g - 43. Let u(z) = -9*k(z) - 4*r(z). Let f be u(6). Which is smaller: f or -19/5?
f
Suppose 8*z - 3*z + 210 = 0. Is -43 less than z?
True
Let k = -0.956 + 0.056. Let t = 0.1 - 0.1. Is t <= k?
False
Suppose -3*d = 4*x - 5*x - 4, 2*x + 8 = 0. Is 1/2 greater than d?
True
Let q be ((-3)/(-2))/((-3)/(-6)). Suppose -3*r = 4*i - 7, 4*r + i = 8 - q. Which is smaller: -1/6 or r?
-1/6
Let c = -44 - -44.02. Which is greater: -0.2 or c?
c
Suppose -4*w = -8*w, 5*w - 1338 = 3*z. Let c be (2/((-36)/z))/(-17). Let p = c - -21/17. Which is bigger: p or 0?
0
Let n be 2 - (-2)/(-2)*-2. Suppose 2 = 4*s + 5*h - n, -h + 2 = 0. Which is smaller: 6/19 or s?
s
Let l = -945/7843 - -6/253. Which is greater: 0 or l?
0
Suppose 0*b = -2*b + 4. Suppose 76 = -5*x + x. Let j be 2/(-5) + x/(-10). Which is bigger: b or j?
b
Let g = 1.2 + 1.3. Let s = -0.5 + g. Is 1/4 greater than s?
False
Let r be 3/5 + (-4)/(-10). Is 18 at most as big as r?
False
Let g be 3 + 0 - -3*5. Let y be (-16)/(-3)*g/(-12). Is y != -7?
True
Let g = 1.27 - -0.03. Are 0.1 and g non-equal?
True
Let w = -35 + 41.1. Let g = 1.1 - w. Which is bigger: 0.1 or g?
0.1
Let u = -25 - -42. Is u greater than or equal to 17?
True
Let o = -13 + 14. Which is bigger: -0.2 or o?
o
Let s be 1/10*(3 + -1). Which is bigger: s or 0.1?
s
Let v = 0.4 - 0. Let b = v + -0.3. Which is smaller: -6 or b?
-6
Suppose 5*r + 36 + 39 = 0. Let o be (18/15)/(3/r). Let i = o + 4. Is i greater than or equal to 1?
False
Suppose 0 = 4*g - 2*j - 8, 1 = -3*g + 4*j + 17. Let s be (-2)/10 - (1 + -1). Is s >= g?
False
Let q be (3/2)/(3/(-4)). Let b = 37 + -40. Which is greater: b or q?
q
Let r(n) = 3*n + 1 + 9*n**2 - n + 2. Let k be r(-2). Let m = k + -141/4. Which is smaller: 0 or m?
m
Suppose 4*t - 3*t = 0. Let d = 81/4 - 721/36. Does d = t?
False
Suppose 4*f + 3*p - 15 = 0, f - 2*f - 5*p = -25. Are f and 14 non-equal?
True
Let y be 552/28 + (-4)/(-14). Suppose -5*i = y, g + 3*g + 5*i = -24. Which is bigger: g or -5/4?
g
Suppose -10 = 4*f - 3*f. Let a(v) = 2*v**2 - 6*v + 9. Let n(d) = -3*d**2 + 13*d - 17. Let i(l) = 5*a(l) + 3*n(l). Let c be i(f). Which is greater: 5 or c?
5
Suppose -5*b = 2 + 23. Is b at most -1?
True
Let t = 95/1288 - 9/56. Suppose -2*w - 2*b = -w + 9, 4*b = 2*w + 2. Let k = w + 6. Which is smaller: k or t?
t
Let v = 1/79 - 161/237. Which is greater: v or -1?
v
Let i(b) = b**3 + 8*b**2 + 7*b + 4. Let s be i(-7). Suppose 2*f - s*j - 4 = -6, 4*j = 4. Let x be 26/20 + 1/(-2). Which is bigger: x or f?
f
Let o = 2 - 2.4. Let w = 0.3 + o. Suppose 0 = -4*g - 2*r + 8, -5*r - 22 = 3*g - 7*g. Which is smaller: g or w?
w
Suppose 1 = -5*m + 16. Suppose -m*s - 4*t = -11 + 33, t = -4*s - 12. Which is greater: s or -6/7?
-6/7
Let s = 7 - 3. Suppose s*m = m - 24. Let h = -15 - m. Are h and -6 equal?
False
Let m(q) = -q - 2. Let k = 3 - 3. Let s be m(k). Let i be 0*(0 + s/(-4)). Is 0 at most i?
True
Suppose 0*u - 4 = -4*u. Let v be (-1 - 1)/u - -2. Suppose 0 = -3*t - 5*r + 20, v = -4*t - 2*r - 0*r + 8. Do t and 1 have different values?
True
Let h = -216.9 - -118.8. Let f = h - -90. Let m = f - -8. Which is sm