= a?
False
Let r = 19 - 18. Let g be (1 + -1)/(-3 + 2). Let h = g - r. Which is bigger: h or 0?
0
Let n(l) = 9*l**2 + 3*l - 2. Let q be n(1). Is 10 smaller than q?
False
Let w = -3 + 4. Let r be (8/6)/(w/9). Let m be r/42 - 19/(-7). Which is bigger: m or 2?
m
Let l(k) = -k**2 + k - 5. Let t be l(0). Let i be t/(-10)*(-4)/(-3). Is i greater than 0?
True
Let k(z) = -z - 8. Let g be k(-8). Let v = 8 + -7. Let y be v/6 - (-2)/(-4). Is y less than or equal to g?
True
Let c = 7 - 5. Let b = -2 + c. Let u = 20.2 + -20. Which is bigger: u or b?
u
Suppose 23*q = 22*q. Is q greater than 2/3?
False
Let y(r) = r**2 - 7*r + 4. Let t be y(6). Let g be t/(-5) + 18/30. Which is smaller: 0.2 or g?
0.2
Let z = 0 + -2. Let r = 0 + 3. Let i be (3/7)/(r/z). Which is smaller: -2/3 or i?
-2/3
Suppose 3*a - i = 8*a - 23, a = 3*i + 11. Suppose 0 = 6*o - 2*o + a*z - 52, 5*o - 4*z - 24 = 0. Does o = 8?
True
Let r(y) = y**3 + y**2 - 1. Let z be r(-1). Which is smaller: 10 or z?
z
Let p be (39/24)/((-1)/4). Which is bigger: -7 or p?
p
Let i = 11 - 15. Let l = i + 6. Is l at most 2?
True
Let w = -8 + 1. Let i(p) = p**2 + 14*p + 5. Let j be i(-13). Which is bigger: w or j?
w
Let x be 3 - 7 - -3 - 9. Let b = -41/4 - x. Which is greater: b or 1/2?
1/2
Let c be ((-40)/15)/((-4)/18). Let w be (2/(-5))/(c/(-10)). Which is bigger: -1 or w?
w
Let p = -3 + 2. Let m = -6 - -5. Let b be p/(m*(0 + -1)). Is -2 smaller than b?
True
Suppose 3*i + 2 = 8. Suppose 3*c - i*k + 11 = 0, 3*c - 3*k = 2*c + 1. Let g = c - -7. Is 2 at most as big as g?
True
Let l = -0.06 + 10.06. Let q = l - 14. Suppose -5*b + 4 = 9. Does b = q?
False
Let n be 32/(-52) - 4/(-2). Let d = -95/78 + n. Suppose 0 = 5*m - 5 - 0. Which is bigger: m or d?
m
Let k = 2 - 2.1. Let h = 60 + -58. Which is bigger: k or h?
h
Let h = 41 - 42. Which is bigger: -5/12 or h?
-5/12
Let o = -1.3 + 0.3. Which is smaller: -18 or o?
-18
Let s be 3*(8/3)/(-2). Which is bigger: -0.3 or s?
-0.3
Let m be 2/5*5*-1. Let a(r) = 2*r - 2. Let q be a(0). Is q greater than m?
False
Let q(g) = -g**2 + 3*g - 2. Let p be q(4). Let u = p + 7. Let b = 5 - 3. Does u = b?
False
Let b = 2.7 - 4.1. Is 0.1 greater than b?
True
Let w = -4/513 + -1250/513. Let x = 28/9 + w. Let v = -6 - -8. Do x and v have different values?
True
Suppose -5*j + 3*g + 32 = 0, -16 = -3*j - 0*g + g. Suppose -j*h = 3 - 11. Is 2 less than h?
False
Suppose 0 = v - 2, 5*z - 5*v = z - 26. Which is greater: z or -3?
-3
Suppose 3*f - 6*f = -6. Suppose -x = -f*x + 3. Suppose j - 2*j = -c - 5, -x*c + 1 = 5*j. Is 1/2 equal to j?
False
Suppose -3*a + 15 = -y - 2, -2*a - 2 = 2*y. Let m = y + 9. Let k = -214 + 217. Which is greater: k or m?
m
Let p = 5 + 13. Let j = 3 - 5. Let d be (-7)/21 - j/p. Which is greater: -3/2 or d?
d
Suppose r - 2*z - 7 = -6*z, -3 = -r - 3*z. Let t be 6/r*(-3)/(-17). Which is smaller: t or 1?
t
Let n(j) = j**3 + j**2 + j. Let c(k) = -2*k**3 + k**2 + k - 1. Let w(i) = c(i) + n(i). Let y be w(2). Suppose -q = 2*q - y. Is 1/14 less than q?
True
Suppose 0 = 5*y + 15. Suppose -2*a = -0 + 4. Are a and y equal?
False
Suppose -3*t = y + 2, 0 = 3*t - 4*y + 11 - 4. Which is smaller: -5 or t?
-5
Suppose 4*f = 4*i - 4, -5*f = 4*i - 2*f - 11. Suppose i*x + 3*x - 5*u + 5 = 0, -3*x + u = -3. Is 1 >= x?
False
Let k be (-4)/(-42) - 0/5. Is k <= 2/7?
True
Let s(w) = 4*w**2 - w. Let a = 3 + -4. Let k be s(a). Let z be (-3)/(-2)*10/k. Which is bigger: 4 or z?
4
Let x = 127 - 121. Let c be (8 - 4/2)*1. Is x >= c?
True
Let u = -15 + 23. Which is smaller: u or 1/4?
1/4
Let y be (-1 - -2)/(-2 - -1). Let m be 1*-4 - (9 - 13). Which is greater: y or m?
m
Suppose 0 = -3*o - o + 20. Suppose -o*y + w + 20 = 0, 2*y + w + 8 = 3*y. Suppose 0 = -0*t - 4*t + 8. Is y less than t?
False
Let i = 38/273 + 1/273. Let v(a) = 4*a**3 + 3*a**2 + a + 4. Let x(d) = 3*d**3 + 4*d**2 + d + 5. Let s(f) = 2*v(f) - 3*x(f). Let p be s(-6). Are i and p equal?
False
Suppose -3*j + 52 = -5*k, -6*j = -j - 5*k - 80. Let s = -13 + j. Is -1/24 at least s?
False
Let o = -14 + 6. Is o bigger than -8?
False
Suppose 3*y - 208 = -y. Which is smaller: y or 51?
51
Suppose 41 = 4*f + 1. Suppose 2 = -2*d - f. Which is smaller: -8 or d?
-8
Let z = -0.12 + 4.12. Is -1/6 bigger than z?
False
Let l = 4 + -1. Suppose 2 - l = z. Let o = 1/3 - 1. Is o <= z?
False
Let o = 6.3 - 7. Let g = -1.7 - o. Is 6 > g?
True
Let d = -2/159 - 308/795. Let k = -2.07 - -0.07. Let g = 1.9 + k. Which is smaller: g or d?
d
Suppose 5*b - 12 = 2*k, -b + 5*b - 12 = 4*k. Let z be -13*(-3)/(-33) - k. Let a(g) = g**3 + 7*g**2 + 5*g - 7. Let p be a(-6). Is z at least p?
True
Let d = -65.5 - 14.5. Let o = d - -75.9. Let z = -4 - o. Is 0.02 bigger than z?
False
Let n(o) = -2*o**2 - 6*o + 1. Let v be n(-3). Which is smaller: -7 or v?
-7
Suppose 0 = -4*c + 4*t, 2 = 2*c - 4*t + 6. Let s be 0/(c/(-3)*3). Does s = 1/6?
False
Suppose -4*t + t = 0. Suppose 3*w = -12 - t. Are w and -2 nonequal?
True
Suppose -2*r + 84 = -5*f + 2*r, -r = 5*f + 104. Let k be f/(-165)*3/(-2). Is -0.4 at least k?
False
Let q = -5 - -8. Suppose -12 = -k - q*k. Suppose 0 = p - k*p. Is p less than -1?
False
Suppose 5*j - 16 = 2*j + 4*p, 5*j = 2*p + 8. Which is bigger: j or -5/24?
j
Let h be (-5)/2*4/(-5). Is -3 at least h?
False
Let a = -14/19 + 116/209. Which is greater: 4 or a?
4
Suppose -t + 2 = 2*y + 3, 0 = t - 3*y - 9. Suppose t = 4*z - 1. Let w = -1053/7 + 150. Which is smaller: z or w?
w
Let f be ((-3)/(-2))/((-19)/(-38)). Let a = -8 - -11. Are f and a equal?
True
Let w = 10804/3 + -3567. Let k(s) = 7*s + 7. Let r be k(-6). Let m = r + w. Which is bigger: -3 or m?
m
Let l be ((-39)/60)/(1/11). Let s = -42/5 - l. Is s >= -1?
False
Let f be (-2)/((2/(-20))/(6/15)). Which is smaller: f or 5?
5
Let h(x) = 4*x**3 - x**2 - 13*x. Let a(l) = -l**3 - l**2 + 1. Let t(w) = 3*a(w) + h(w). Let v be t(6). Is v < 0?
True
Let b = -33 + 5. Are b and 3 non-equal?
True
Suppose 4*l - 8*l + 16 = 0. Is l != 2?
True
Let v be 10 + -2 - (2 - 1). Which is bigger: 6 or v?
v
Let r = 12.9 + 2.1. Which is smaller: r or 1/3?
1/3
Suppose 8 = 5*d - 17. Suppose -2*k - 8*n = -6*n - 14, 5*n - 29 = -4*k. Which is bigger: k or d?
k
Let x = 21 - 17. Let v be (8 - 1) + (x - 3). Is v > 8?
False
Let n(l) = l - 1. Let g(j) = -3*j + 10. Let z(c) = -g(c) - 4*n(c). Let d be z(-12). Is 2 at most as big as d?
True
Let v be 2/(-13) + (-2)/(-13). Let a be (-65)/(-60) + 1/(-3). Which is bigger: a or v?
a
Suppose 2*o - 3 = -5. Let u = -0.08 + -2.92. Which is smaller: o or u?
u
Suppose 0 = 4*k - 4*g - 52, -k = k + 4*g - 32. Let l be 6/k - (-3)/(-21). Suppose -4 = 5*j + 1. Which is smaller: l or j?
j
Let v be 42/(-8) + (-12)/16. Let g be (-2)/v + (-2)/(-3). Which is greater: g or 2/5?
g
Let y = 22.24 + -22. Let q = y + -0.14. Which is bigger: q or 3?
3
Suppose 4*z - 3*z = -5*x + 47, 1 = x - 4*z. Which is smaller: 8 or x?
8
Let y(i) = i**3 + 10*i**2 + 4*i + 8. Let t be y(-10). Is t not equal to -32?
False
Suppose 5*o + 2 = -3. Let k = 0 + 1. Let m be k/(-3) + (-3)/(-9). Do o and m have different values?
True
Let m be (-2)/(-3)*105/(-25). Which is smaller: -1 or m?
m
Suppose -4 = y + 3*y, -3*m = -3*y. Which is smaller: 1/13 or m?
m
Let d be -16*(-3)/(-6 - -3). Suppose -3*z - 51 = -0*z. Which is smaller: d or z?
z
Let o be (-1370)/(-21)*12/(-8). Let z = o + 98. Which is smaller: z or 1?
z
Let r = 0.05 + -2.05. Is 0 > r?
True
Suppose -2*u - 2*q = -0*q + 26, -3*q = 2*u + 23. Let o = 16 + u. Is o at least -5?
True
Let k be -50*3/54 - -3. Is k at least -0.6?
True
Let t = -7 + 11. Let d = -39 + 44. Which is bigger: t or d?
d
Let v = -316 - -607/2. Let f = 24 + -11. Let y = v + f. Which is greater: y or 0?
y
Suppose -5 = -3*j + 1. Suppose 3*a + j*u = 3*u + 1, 0 = 4*a + u - 13. Are a and 1 nonequal?
True
Let c(b) = 7*b**3 - b**2 + b - 1. Let v be c(1). Which is smaller: 9/2 or v?
9/2
Let n = 4516/21 + -215. Which is smaller: n or 0?
0
Let p = -52.2 - -52. Suppose -2*j - 5*k + 9 = 0, 2*j + 2*k - 6 = -0*j. Which is greater: p or j?
j
Suppose 2*g + 2 = c, -12 = 5*g + 5*c - 37. Let k be (-2*(-2)/(-20))/2. Which is greater: g or k?
g
Let s = -4 - -10. Let f(d) = d**2 - 2*d - 4. Let j be f(s). Suppose 0 = 5*l - 2*t - 3*t - j, 3*l = 4*t + 14. Which is bigger: l or 4/5?
l
Suppose 2*m - 27 = 1. Which is smaller: m or 2?
2
Suppose 2*g + 5*f - 31 = 0, f = -4 + 9.