-0.3
Let c = 0.1 - -0.5. Let t = c + -0.2. Which is bigger: t or 2?
2
Let a = 11 + -8. Suppose m - a = 0, 0*m = -4*j - 3*m + 17. Let l be j/4*(-4)/(-5). Which is greater: l or -3?
l
Let p = 200902/33 - 6087. Let n = p + -14/11. Let b = -27 - -28. Which is smaller: n or b?
n
Suppose 2*i = -4*k - 30 + 2, 2*i = 2*k + 26. Let q be 8/(-6)*k/(-3). Let c = 177/4 + -44. Do c and q have the same value?
False
Let l = 12 - 13. Let t be -2 - (30/(-33) + l). Suppose -5*v + 7 = 5*h + 32, 5*v - 5 = h. Are v and t non-equal?
True
Let u(k) = -4*k**2 - 2*k. Let r be u(2). Let d be (-4)/r + (-38)/(-10). Let p be (1/d*-3)/3. Which is bigger: 0 or p?
0
Let w be 11 + 2 + -2 + -3. Let q = 8 - w. Let c be 8/(3/(q - 3)). Which is smaller: -9 or c?
-9
Let p = -3 + 3. Let t = 0 - -1. Let f = t + p. Is f < 2/5?
False
Let a = 208.03 + -209. Let y = -0.03 + a. Is -0.04 greater than or equal to y?
True
Let f = -40 - -28. Is f less than or equal to -13?
False
Let p = -1.8 - 0.2. Let b = p - -2.1. Let c be 10/25*(1 - 0). Which is smaller: c or b?
b
Suppose 0*x = x + 1. Which is smaller: x or 2/11?
x
Suppose -2*i - 1 + 3 = 0. Suppose -3*d + 0*l - i = 2*l, 5*d = -2*l + 1. Which is bigger: 1/5 or d?
d
Let o = 8 - 8.3. Let j = -1.01 + 0.01. Let z = 0 + j. Which is smaller: o or z?
z
Let f = -1.8 - -1.8. Let m = 4 - -2. Is m at least f?
True
Let m = -13.1 + 13.3. Which is bigger: m or -53?
m
Let f be (-1)/(-5) + 182/(-10). Let p be (-2)/(-4)*(-8)/f. Is -1 >= p?
False
Let a = -811 + 16930/21. Let u = 36/7 + a. Are u and -5 equal?
False
Let j(x) = -4*x**2 + 6*x + 1. Let b(i) = -11*i**2 + 18*i + 2. Let d(a) = -3*b(a) + 8*j(a). Let q be d(6). Let u = 30 + -28. Is q less than or equal to u?
True
Let b = -1.8 - 2.2. Which is greater: -2 or b?
-2
Let f = -16 - -22. Suppose f*j + 14 = 4*j. Which is smaller: j or -9?
-9
Let u(s) = -s**3 - 5*s**2 + 3*s + 7. Let j be u(-5). Let k be (7 + -10)*j/6. Is k <= 0.1?
False
Let k(o) = -o**2 + o + 16. Let i be k(0). Which is smaller: i or 12?
12
Let o be (-1)/(-3 + (-50)/(-17)). Suppose -5 + o = -2*q. Let w = 0.2 - 0.3. Which is smaller: w or q?
q
Let u(f) = -f**3 - 7*f**2 - f + 3. Let w be u(-7). Suppose -c + v - w = 0, 3*c + 3*v + 6 = -0*v. Let l = -7 - c. Is -3/7 at most as big as l?
False
Suppose 4*j + 17 + 15 = 0. Let d be j/12*(-15)/2. Suppose -4 = 2*s - 2*b, d*s = -7*b + 2*b. Which is greater: -1/5 or s?
-1/5
Let m be (-1 - ((-252)/57)/4)*-3. Is m != -2/7?
True
Suppose -s + 3*w - 5 = -4, 2*w - 3 = 3*s. Let n be 2*((-3)/(-6) - s). Let k(d) = d**3 - 2*d**2 - 2*d - 4. Let z be k(n). Which is bigger: 3/7 or z?
3/7
Let s be 32/12*666/(-8). Let l = -1562/7 - s. Is -2 less than l?
True
Let l be -13 + 0 - (-6 + 9). Is -15 < l?
False
Let f(l) = -l**2 + 5 - 5*l + 4*l**2 - 2*l**2 - 3. Let r be f(5). Is r greater than or equal to -0.1?
True
Let q = -243.98 - -242. Let s = 0.02 - q. Are -2 and s unequal?
True
Let w = -4171/9 + 463. Let a(n) = n - 3. Let b be a(4). Is w >= b?
False
Let p(g) = -g**2 + 8*g - 8. Let j be p(6). Suppose j = -3*r + r. Let y = -166 + 657/4. Is y greater than or equal to r?
True
Let t = 80814/247 + -1899/13. Let b = 181 - t. Are b and 1 equal?
False
Suppose -4*s + 45 + 35 = 0. Let m be (24/(-260))/(6/s). Which is smaller: -1 or m?
-1
Let z = -111 + 110. Let a = 2.6 - 2. Which is greater: a or z?
a
Let y(t) = t**3 + t**2 + t. Let r be y(-1). Let c be ((-1)/(-3))/(10/(-3)). Is c less than r?
False
Suppose 0*y + 5*y = 0. Suppose y*d + 2*d = 4. Which is bigger: d or 1?
d
Let b be 0/(3/(3/2)). Is 4/5 at least as big as b?
True
Let p be (-1)/3*(-3)/2. Suppose -4*o - 15 = -5*o. Let t = o + -13. Which is smaller: t or p?
p
Let z be (-1 - 4)*(-4 + 3). Suppose 0 = -z*g + n - 7, g - 5*n - 5 = -4*g. Is g at most as big as -3?
False
Let s(h) = -h**3 + 32*h**2 + 2*h - 64. Let j be s(32). Which is bigger: j or -14?
j
Let f = -2155/14 + 154. Is -1 at most f?
True
Let d = -24 + 26. Are d and 1 non-equal?
True
Let j(u) = -u**3 + u**2 + 3*u + 3. Let s be j(3). Let n be s/9 + 50/(-6). Let r be ((-21)/n + -2)*3. Is 2 < r?
False
Let x = 17 + -22. Is x <= -17/4?
True
Let t be -11*4/(-112)*-4. Let m = t - -3/2. Are m and 1 non-equal?
True
Let x(f) = f - 7. Let j be x(3). Let l = -5 - j. Let z be (-2)/5 - (-42)/(-45). Which is smaller: z or l?
z
Suppose -2*z - 34 = -3*t, 0 = 4*t + 5*z - 8 + 1. Let d be 14/18 + t/(-24). Which is bigger: d or 0?
d
Let c(z) = -8*z**3 + 3*z**2 - 2. Let o be c(2). Let t = o - -160/3. Suppose -2 = 2*d + 2. Is d at least t?
False
Suppose 6*t = 4*t + 4. Suppose 2*i = -t*k - 8, -4*i - 2*k + 12 - 34 = 0. Which is greater: -5 or i?
-5
Suppose 0 = 4*b + 14*b + 468. Are b and -26 non-equal?
False
Let a be (-30)/(-8) - (-2)/8. Let u = a - 10. Let m be -1*((-10)/u)/(-5). Which is greater: 2 or m?
2
Let x be 4/(3/6*4). Let h be -1 - (1*-6 + x). Let b(l) = l**3 - 8*l**2 + 6*l + 11. Let f be b(7). Is f not equal to h?
True
Let c(t) = -t + 8. Let h be c(8). Suppose f - 3 + 2 = h. Is f at most 2/3?
False
Suppose 8*b - 6 = 5*b. Suppose 0*v - 3*v + b*y + 3 = 0, 0 = -4*v + 2*y + 2. Which is smaller: -2 or v?
-2
Let k = 7.7 + -8. Let i be ((-70)/(-6))/7*18/20. Is k <= i?
True
Suppose 2*x = -3*x - 75. Let r be 6/x + 54/10. Suppose -w + 3*i = 2, -r*w = 3*i - 5*i - 3. Is 2 smaller than w?
False
Let m = 2040/43501 - -2/1061. Let w = -0.22 + 0.12. Are w and m nonequal?
True
Let b(d) = 15*d**2 + d. Let m be b(-1). Let u = m - 10. Suppose u*t = -t. Is t bigger than 2?
False
Let b be ((-3)/(-3))/((-1)/(-6)). Let d(k) = 5*k**2 + 4*k**3 + 6*k + b + k**2 - 3*k**3. Let x be d(-5). Is -0.2 at most as big as x?
True
Let v(l) = -l - 3. Let n be v(6). Let t = n - -4. Suppose -5*b = a + a + 27, b + 9 = -4*a. Is t > b?
False
Let r(m) = m**2 - 4*m - 47. Let a be r(9). Which is greater: a or -4?
a
Let w = 96 + -128. Which is greater: -33 or w?
w
Let p(z) = -z**2 - 9*z - 9. Let m be p(-9). Let d = -11 - m. Is d less than -2?
False
Let y = 15 + -3. Let x = 11 - y. Is x less than -2?
False
Let d = 55 - 38. Is 19 < d?
False
Let s(o) = o + 1. Let d be s(-1). Let g = 4.2 + -3. Let k = 1.1 - g. Which is greater: k or d?
d
Let b = 4 - 6. Let q = 4 - b. Let z = q + -6.04. Which is smaller: 1/3 or z?
z
Let a = 0.6 - 0.52. Is 0.1 smaller than a?
False
Let n = 7 - 5. Let j be (n/2)/(4 + -3). Suppose 0 = 2*d - 4*d + 2. Is d at least as big as j?
True
Let j be (-2910)/105 + 4/(-14). Is j >= -28?
True
Let b(d) = d**2 + 15*d - 2. Let r be b(-15). Are r and 0 non-equal?
True
Let b = -4.1 + 3.64. Let z = b + 0.06. Which is bigger: z or -0.1?
-0.1
Let l(r) = r**2 + r + 8. Let z be l(0). Suppose -g = 3 - z. Which is smaller: g or 4?
4
Let y = 60619411 - 220654657681/3640. Let d = -3/280 + y. Suppose -5*g - 35*g = 0. Are g and d equal?
False
Suppose -3*u + 4*o - o = 6, -u = 2*o - 7. Let s be (-24)/(-27) - u - 0. Is 0 at most s?
False
Let w(g) = -g**2 - 5*g + 6. Let v be w(-6). Suppose -3*u = -v*u - 6, -2*u + 5 = -n. Let j = -3/16 + 7/16. Is n smaller than j?
True
Let s = -1.99 + -0.01. Suppose 2*y - y = 5. Suppose -2*z - 11 + y = 0. Is s at most z?
False
Suppose 15 = t - 2*t. Let r = t - -14. Which is greater: -3/4 or r?
-3/4
Let c = -95 + 477/5. Is -1 <= c?
True
Let q = 113444/133875 - 130/153. Let r = -521/1750 + q. Do -1 and r have the same value?
False
Let u be (-4 + 5)*(-4)/(-52). Is -0.1 bigger than u?
False
Let m be (-43)/(-9) + 8/36. Suppose -5*q + 3*s + 1 = 16, -q - 2*s = 3. Let p be m/q*(-1)/(-5). Is 3/7 less than p?
False
Let t = 1 - -11. Let f be (-6)/(-9)*1/2. Which is smaller: f or t?
f
Let q = -7 - 0. Are -4 and q equal?
False
Let w = -4708/13 + 362. Let n be (-1)/(-2)*(-6 + 4). Let g be (0 - -4)/4*n. Which is bigger: w or g?
w
Let p = -12 - -13.1. Let m = -2 - -1. Let f = m + p. Is f greater than or equal to 0.1?
True
Let m be 2/(-4)*(1 + -3). Suppose -t = -2*t - m. Let p be (t/6)/((-2)/4). Is 0.1 bigger than p?
False
Let c = -0.31 - -25.31. Let h = -24 + c. Which is smaller: h or 4?
h
Let t = -2 + 3. Let u = 191/4 + -48. Does u = t?
False
Let o = -6611/4135 + -1/827. Suppose -11*r = -6 + 17. Which is smaller: o or r?
o
Let v = -23 - -8. Let d = v - -8. Let w = d + 6.9. Which is smaller: w or -1?
-1
Let v = 568/3 + -191. Suppose -5 = -6*i + 5*i. Suppose -i*g = 6 + 9. Is g greater than v?
False
Let h(w) = -w - 9. Let r be h(-8). Suppose -v + 174 = 2*v. Let o = 113/2 