?
False
Let n = -12.02 - -12. Is -0.2 at most as big as n?
True
Let w = 5 - 1. Are -2 and w equal?
False
Let b be (-268)/(-52) - 2/13. Suppose 5*t + 8 = -3*u, -b*u - 1 = 2*t + 6. Which is smaller: -2/5 or t?
t
Let q = 12 + -12. Suppose q = -4*g + r, -g + 2*r = 3*g + 4. Is -0.06 <= g?
True
Suppose 0 = 2*n + 5*m - 20 - 3, 4*n - 4*m - 4 = 0. Suppose -5*s + 10 = 4*w, 0 = -5*w - 2*s + n. Let q = 85/261 + -3/29. Which is bigger: q or w?
q
Let u be (-4)/2 + 25/5. Suppose p = -u*p. Suppose 4*x + 2 = -n - 2, -5*n - 20 = 0. Is x at most p?
True
Let b = -0.014 - -0.114. Do b and 1/57 have different values?
True
Let j = -3 + 5. Suppose j*m + 1 = -p, 2 + 2 = 3*p - m. Is 3/8 greater than or equal to p?
False
Suppose 0 = -4*r - 20, 4*h + 3*r + 5 + 14 = 0. Let l = 35 - 104/3. Is l >= h?
True
Suppose -6*q + 0*q - 36 = 0. Do -7 and q have the same value?
False
Let f = -28/33 - -13/33. Let j = f - -13/77. Which is smaller: 13 or j?
j
Let d(y) = 4*y**2 + 2*y - 1. Let q be d(1). Suppose s = -4*b - 9, -3*s + 5 = -q*b + b. Let o(p) = -2*p**2 - p - 1. Let f be o(-1). Which is greater: s or f?
s
Suppose 4*w - 4*y - 33 = w, 0 = -5*w + 5*y + 50. Which is smaller: w or 1?
1
Suppose 3*x + 1 = -11. Let j be (-1)/35*x/(-2). Is -1 not equal to j?
True
Let j(k) = -k**3 - k**2 - k - 1. Let p be j(-1). Suppose p = 4*m - 3 - 1. Is -1 at most m?
True
Let f = 545/1377 - 13/81. Which is greater: 0 or f?
f
Let k(f) = -12*f**3. Let r be k(-1). Suppose w + 4 = r. Let d be (w/20)/((-1)/15). Which is greater: -7 or d?
d
Let m = -100 + 99. Which is bigger: -2/43 or m?
-2/43
Let v be 3*1 - 1036/21. Let u = v + 46. Which is bigger: 3 or u?
3
Let b be (-31)/3 - 6/9. Which is smaller: -10 or b?
b
Suppose -22*z = -20*z + 2. Suppose 40 - 106 = 3*d. Let b = 43/2 + d. Is z > b?
False
Let b be (-63)/(-12) + (-1)/4. Suppose -6 = b*v - 2*v. Let h = 82 - 248/3. Are v and h non-equal?
True
Let l = 59 - 63. Are -4 and l equal?
True
Suppose -10*v + 13*v - 63 = 0. Is 24 <= v?
False
Suppose 4*q + 0*q + 8 = -3*l, -5*q - 29 = -l. Which is smaller: q or -42/11?
q
Let v be ((-12)/(-24))/(1/18). Let k = v - 1. Is 8 not equal to k?
False
Let r = 110177/113 - 975. Which is bigger: r or 1?
1
Suppose -w + 5*c = -19, 3*w - 5*c = 4*w + 31. Do w and -6 have different values?
False
Suppose -13*n + 8*n - v - 19 = 0, 20 = -5*v. Is n at least -2?
False
Let p(v) = 3*v**2 - 10*v - 11. Let h be p(4). Suppose -12 = r + 3*i, -3*r + 4*i + 5 = 2. Are h and r equal?
True
Suppose 8*b + 120 = 20*b. Is b less than 18?
True
Let v = 5 - 8. Which is smaller: -2 or v?
v
Let c = -16 + 95. Is c not equal to 79?
False
Let t = -0.01 - 0.39. Let w = -16/9 - -10/9. Is w less than t?
True
Let l = 0 + 9. Which is bigger: l or 1/3?
l
Let q = -4 + 4. Suppose q = 2*x - 2*m, 0 = -x + 4*x - 4*m. Suppose -13 = 4*r - 5*u, 0 = 5*r - 2*u + 5*u + 7. Which is smaller: r or x?
r
Suppose 0 = 3*c - 2*c - 4. Suppose 4*u - 2*u - 20 = -c*y, -3*u = -4*y. Suppose 0 = 3*p - u*f - 8, 0*f - f + 1 = 0. Which is smaller: p or 2?
2
Suppose 0 = 5*q - t + 19, 5*t - 26 = 3*q - q. Which is smaller: q or -5?
-5
Let w(k) = -k - 6. Let d be w(0). Let y = -7 + 9. Is d at most y?
True
Let b = -9 + 16. Suppose 4*v = v + 5*h - 21, v + 4*h = -b. Which is smaller: v or -6?
v
Suppose 2*o + 0*o = 36. Which is smaller: 17 or o?
17
Let u(t) = t**3 + 7*t**2 - 9*t - 4. Let i be u(-8). Let m(a) = -a + 3. Let d be m(i). Are d and -12/5 nonequal?
True
Let m = 25 + -19. Suppose -4*s + 2 = 5*q, 3*s + 0 = -m. Which is bigger: q or 20/9?
20/9
Suppose -4*s - 102 = -s. Is s smaller than -34?
False
Let x(f) = -f**2 + 15*f - 7. Let c be x(17). Is -41 less than c?
False
Let o(c) = 2*c**3 - 4*c**2 - 4. Let m be o(3). Do -2/5 and m have different values?
True
Let x = 9.4 - 2.4. Is 3 < x?
True
Let f be 7/5 - 16/40. Let o(z) = -z - 9. Let r be o(-11). Which is smaller: f or r?
f
Let z(x) = x**3 - x**2 - 2*x + 3. Let p be z(-2). Let w = 6 + 10. Suppose -k + 5*l = 20, -2*k + 2*l + 0*l = w. Is k less than p?
False
Let s = -10 + 12. Let t = s + 4. Which is smaller: 7 or t?
t
Let y = 3/40 - -61/120. Which is greater: -2 or y?
y
Let o = 0.32 + -0.23. Let y = -0.89 + o. Which is bigger: y or -0.1?
-0.1
Let l(n) = n**3 - 10*n**2 + 9*n. Let y be l(9). Suppose -2*r + 5*f + 8 = -29, y = -3*r - 4*f - 2. Is r not equal to 5?
True
Let m be (18/27)/(4/(-66)). Let b be (m - -9) + 1*3. Which is bigger: b or -0.2?
b
Let a = 14 + -18. Let p be a*-1*(-2)/(-12). Which is greater: p or 0?
p
Let h = 0 + -1. Let q(u) = -u**3 + 2*u**2 - 5*u + 3 - 2 + 0 + 3*u. Let z be q(1). Is z >= h?
True
Let q = 2 - -1. Let f be (-6)/(-3) - (1 + -3). Which is smaller: q or f?
q
Let z = -1026 - -1616. Let n = -19475/33 + z. Let d = 1/66 - n. Is -1 >= d?
False
Let m(k) be the third derivative of -k**4/24 + k**2. Let i be m(11). Which is greater: i or -12?
i
Let j be (0/2 + 0)/(-2). Let a(x) = -5*x**3 - 7*x**2 + 1. Let i(s) = -6*s**3 - 7*s**2 - s + 1. Let z(u) = 7*a(u) - 6*i(u). Let b be z(6). Is j bigger than b?
False
Suppose -6 = -2*v + 2. Which is greater: v or 6?
6
Let o be (-892)/180 + -1 - 6/(-15). Which is greater: -7 or o?
o
Let u = 267 + -266.9. Let a = 17 + -2. Which is greater: u or a?
a
Let q = -66 + 44. Let i = q + 16. Is -4 smaller than i?
False
Suppose 13 = 2*x - x - 5*g, -5*x - 4*g - 22 = 0. Let h = -14 - x. Is -11 at most h?
False
Let i be (0 + -3 + 1)*35. Is -70 greater than i?
False
Suppose 0*v = -5*v + 15. Let u be 2/v - (-4)/(-6). Which is bigger: u or 3/7?
3/7
Suppose 0 = -5*o - p + 42, 4*p + 54 = 5*o + p. Let a be (-3)/o - (-23)/(-3). Is a bigger than -10?
True
Suppose 3 = g - 0. Let i = g + -3. Is -2/7 at least i?
False
Let r(o) = o - 3. Let i be r(4). Let t = -1015 - -3080/3. Let d = -12 + t. Is i at most d?
False
Suppose 0 = 5*g - 10. Let k be (-5)/((-275)/(-60)) + 1. Is k > g?
False
Let v be ((-4 + 2)*-2)/2. Let j = 0 - 0. Suppose -o + 2 + 0 = j. Is v not equal to o?
False
Let d = 0.04 - 0.84. Let g = d - 1.2. Is g at most as big as -0.1?
True
Let k be 1 - (-4)/3*-3. Let g(q) = 3*q - 9. Let h be g(7). Suppose 4 - h = 4*x. Is x less than or equal to k?
False
Let h = 10 + -10. Suppose i + 2*i - 3 = h. Which is bigger: 0 or i?
i
Let p = 30 + -514/17. Let j = 29/51 + p. Suppose 0 = 4*a - 2 - 2. Which is greater: a or j?
a
Let k be (-1)/2 + (-1)/(-2). Suppose 0 = -0*b + 5*b + 2*y - 72, b - 5*y - 36 = 0. Suppose 0 = 4*d - b, -10 = 2*v - 4*v - 2*d. Which is smaller: k or v?
k
Let r = 10/111 + 889/1221. Is r at least as big as 2?
False
Suppose 0*v = -v, 4*k = -5*v - 16. Is k smaller than -6?
False
Let s(c) = c**3 + 11*c**2 + 10*c + 3. Let p(w) = -4*w + 14. Let a be p(6). Let o be s(a). Which is smaller: o or 2?
2
Let l(h) = 4*h**2 - 43*h + 31. Let q(d) = -d**2 + 11*d - 8. Let y(r) = -2*l(r) - 9*q(r). Let x be y(8). Let g be (-6)/x + (-22)/10. Which is greater: -1 or g?
-1
Let f = 0.1 - -0.3. Let i = f + -4.4. Are i and -3 non-equal?
True
Let g(h) = -h + 10. Let s(c) = 2*c - 20. Let r(w) = 7*g(w) + 3*s(w). Let q be r(8). Which is greater: q or 5/2?
5/2
Let f(k) = -k**3 + 7*k**2 + 6*k + 9. Let i(r) = -r**2 - 7*r + 8. Let n be i(-7). Let q be f(n). Are q and -7 nonequal?
False
Let u be (-2)/(-4)*0/(-3). Let c = 2 - u. Suppose 3*h + 0 = -a + 7, 0 = -2*a - 4. Which is smaller: h or c?
c
Let o = 2.4 - 2. Let i = o - 0.5. Let k = -0.9 - -1. Which is smaller: k or i?
i
Let r = 10 + 10. Let p be 1/(r/(-2))*-4. Is 3/2 < p?
False
Let r = -105 - -34. Which is greater: r or -70?
-70
Let d be 28/20 - 3/(-5). Is 12/11 > d?
False
Let d = -4 - -6. Is 12/11 less than d?
True
Let a be (5 - 8)/(81/6). Let u be (4 + -2 + -2)/(-1). Which is bigger: u or a?
u
Let z be -4 - (9/(-3) + -2). Which is bigger: z or -3?
z
Let d = -7.04 - -7. Let c = d - 0.26. Which is greater: 0 or c?
0
Let g = -5/3 + 0. Suppose -a - 2 = -0. Which is bigger: g or a?
g
Let y = -92 + 735/8. Which is bigger: -1 or y?
y
Let n = -1 + 2. Let x = 1/78 - -23/78. Is n equal to x?
False
Let x be (-411)/27 - (-2)/9. Let m be 8*(-8)/x + -4. Which is bigger: 0 or m?
m
Let o(i) = -i**3 - 7*i**2 - 4*i - 1. Let k be o(-7). Let t = k - 16. Is 11 greater than t?
False
Suppose 5*w = -0*w + 5*y + 35, 0 = -w - 3*y + 11. Which is smaller: 7 or w?
7
Let g(s) = -3*s**3 - s**2 + s + 1. Let o be g(-1). Let a be (-40)/(-22) + o*-1. Let m = 0 - -0.1. Is m greater than a?
True
Let g = 2 - 0. Le