/f)/(6/(-9)). Which is smaller: 0 or c?
0
Suppose 0 = -2*r + d + 2 + 8, 34 = 5*r + 2*d. Is 5 greater than or equal to r?
False
Suppose 4*c - 3*n + 12 - 1 = 0, -5 = 5*c - 2*n. Which is smaller: c or 4/13?
4/13
Suppose 3*r + x + 137 = 0, 5*r - x + 232 = x. Is -46 greater than r?
False
Let d = -12.249 - 0.151. Let b = d - -12. Do 1/5 and b have the same value?
False
Let i(n) = 0*n + 0*n + 1 - 2*n**2 - n**3. Let l be i(-2). Let a(r) = 4*r + 8. Let v be a(-2). Does v = l?
False
Let t = -1494 + 240535/161. Which is greater: 1 or t?
1
Suppose -6*o + 6 = 6. Which is smaller: o or -10/7?
-10/7
Let k(f) = -f**2 - 18*f - 15. Let z be k(-13). Is 49 at most as big as z?
True
Let n(g) = -g**3 - 4*g**2 + 4*g - 6. Let i be -10 + (3 - (-2 + 4)). Let v = i - -4. Let l be n(v). Is l > 2?
False
Let m = 231/92 - 1/92. Let o(c) = -2*c + 0*c + 3*c - 2*c. Let t be o(-2). Which is smaller: m or t?
t
Let r = 4 + -3. Suppose 5*c + 20 = -5*i, -2*i - 3 + 7 = -c. Is i less than r?
True
Let z be (1/(-2))/(25/50). Which is smaller: -3/7 or z?
z
Let k = 45.9 - 46. Let i = -4 - -9. Which is bigger: k or i?
i
Suppose k - 3*k = -6. Suppose k*f + 14 = -2*o, 4*f + 17 = 4*o + 5. Which is bigger: -9/4 or o?
o
Let g = 2 + 0. Let k = g - 0. Which is greater: k or 1?
k
Suppose 5*q - 5 = 0, -3*b = -2*b + 5*q - 23. Let f = b - 37/2. Which is smaller: f or 1?
f
Let d = -1414/9 + 158. Which is greater: 0 or d?
d
Suppose 0 = 3*x - 0*x + 21. Let q be 60/14 - (-2)/x. Which is greater: q or 5?
5
Suppose f = -2*f - 168. Is f <= -56?
True
Let h = -28.75 - -1.75. Is -1 bigger than h?
True
Suppose 8 = -n - 2*s, 3*s + 20 = -2*s. Which is smaller: n or 4/21?
n
Let f = -1 - 2.3. Let k = f + 1.3. Which is bigger: 4 or k?
4
Let c(j) be the first derivative of j**3/3 - j**2/2 - 2*j - 3. Let u be c(2). Suppose 2*p - 2*v = -u*p - 2, v = 1. Do 0 and p have the same value?
True
Let g be 2/(-6)*6/(-4)*2. Let a = -6 + 8. Suppose f - 4*j + 11 = -10, a*j = 10. Which is smaller: f or g?
f
Let s = -8719/19 - -459. Which is bigger: 0 or s?
s
Let s be 0/(1*-3 - (6 - 7)). Suppose 0 = 4*h + 3*d, 4*d = 4*h - d. Let n be h/((3 - -1)/(-2)). Is n bigger than s?
False
Let u = -0.8 + 0.3. Is -0.1 greater than or equal to u?
True
Let u = 790603/78 - 10135. Let q = u + -4/39. Is 2 at most as big as q?
False
Let v = -28 - -39. Let j = -5 + v. Let w be ((-4)/16)/(j/40). Which is bigger: w or -1?
-1
Let o = 1027/18 - 115/2. Is o greater than or equal to 0?
False
Let w = 0.1 + -0.2. Let r = 0.5 + -0.4. Let m = -0.3 + r. Which is smaller: w or m?
m
Let f = -0.08 - 0.32. Let c = -8.3 - -8. Let s = f - c. Is 1/4 >= s?
True
Let h(z) = z + 8. Let i be h(-5). Suppose i*g = 7*g. Is 1 > g?
True
Let u be 3/12 - (1 - (-49)/(-76)). Is u < -1?
False
Let n(q) = -q + 17. Let g be n(11). Suppose -3*d - 12 = -g*d. Suppose 5*f + 3*m = 16, -f = f + 5*m + 5. Which is smaller: d or f?
d
Let c = -13.93 - -14. Let l = c - 3.07. Let x = 1.9 + -2. Which is smaller: l or x?
l
Suppose 3*m + 0*m = 234. Let k = 467/6 - m. Which is greater: 0 or k?
0
Let a = -2.7 - -1.7. Is a > -1/10?
False
Suppose -3*h - 2*j + 7 = 0, -h + 3*j - 9 = -4. Which is smaller: h or -5/38?
-5/38
Suppose -5*m = -0*m - 210. Which is smaller: m or 41?
41
Let n = -0.2 + -1.1. Let a = -1 - n. Is a < 0?
False
Let i = -9 - -9. Is -3/10 greater than i?
False
Let o be (-88)/(-96) - (-4)/(-6). Which is smaller: 3 or o?
o
Suppose 4*j = 3*w + 73, 2*j - 3*w - 12 = 17. Which is smaller: 23 or j?
j
Let t = 3 + -39. Which is bigger: t or -37?
t
Let s = 9 - 3. Suppose -b = 2*b - s. Does b = 0?
False
Suppose 2*b = -3*b. Is -2 >= b?
False
Let r = -8 + 18. Let n = r + -16. Let f = n + 5. Is -1 equal to f?
True
Let q = 11.1 - -44.9. Does q = -0.2?
False
Let w be (2/(-6))/(1/3). Let a be 0 + 4/(-10) - 52/(-80). Which is bigger: a or w?
a
Let c be (2/3)/((-2)/(-9)). Let f be c*1/6*2. Is 0 < f?
True
Let v = -5/2 + 11/6. Suppose 3*g = -i - 5, -13 = 5*g - 2*i - i. Is v less than g?
False
Let n = -6147/3047 - -30/277. Let i = -10941273/5446430 - 10/49513. Let w = n - i. Which is smaller: 1 or w?
w
Let f(r) = -r - 3. Let b be f(0). Let n(s) = s**3 + 2*s**2 + 1. Let w be n(b). Let y be (-6)/28 - w/(-28). Which is bigger: y or 0?
0
Let s(i) = -i + 1. Let a be s(3). Let d = a - -2. Let o be 2 - d - (1 + 2). Are 1 and o non-equal?
True
Let l = 5 - -10. Let j be (-2)/l*(-1 + -4). Let i(k) = 8*k + 5. Let m be i(-1). Is j at most as big as m?
False
Let h = 23 + -1. Is h at least 2?
True
Let y = 12 - 14. Which is smaller: 0 or y?
y
Suppose 0*s = 4*s - 20, 0 = 4*t - s - 3. Let p be 1/(-3) + t/6. Is 1 at most p?
False
Let l(s) = -s**3 + 5*s**2 - 2*s + 6. Let j be l(5). Let u be -2*(135/10 - -1). Let d be j*(u/(-10) - 3). Which is smaller: -2/5 or d?
-2/5
Let m(a) = -a**3 + 13*a**2 - 11*a - 1. Let b be m(12). Suppose b*s + 3 = 8*s. Let l = -73/8 + 19/2. Is l at least as big as s?
True
Suppose 2*m + 4 + 0 = 0. Which is smaller: -1 or m?
m
Let i = 40 - 34. Which is smaller: 2 or i?
2
Let m(n) = n**2 + 3. Let q = -7 + 7. Let o be m(q). Which is smaller: 4 or o?
o
Suppose 0 = -2*c + 2*p + 3 + 9, 5*c = p + 26. Suppose -5 = -c*q + 10. Is q at most 2?
False
Let i(t) = t**2 + 7*t - 8. Let p be i(-8). Is p less than -2/47?
False
Let g = -24 + 23. Let m = 1.29 + -0.19. Let i = g + m. Is i at most 1/2?
True
Suppose -2*u + 3*m + 0*m + 3 = 0, 0 = -u + 2*m - 1. Let s be u/7 - 16/56. Is s less than or equal to 2?
True
Let u be (27/(-2))/(7/(84/9)). Do u and -16 have different values?
True
Let q = 21 - 12. Is q bigger than 10?
False
Let y(d) = d**3 + 3*d**2 - d. Let j be y(-3). Is 3 smaller than j?
False
Let k = 27 - 27. Suppose k = 6*z - 10*z. Is -2 > z?
False
Suppose 0*m = -3*m. Suppose m = 3*l - 5*d + 4, 2*l = 3*d + 2*d - 1. Let j be (l/(-6))/(3/(-2)). Which is greater: j or 1?
1
Let m = 17 + -36. Is m equal to -18?
False
Let u(d) = 30*d. Let j be u(-2). Let n be j/(-5)*6/9. Which is smaller: 7 or n?
7
Let u(o) = 5*o**2 + o + 1. Let k be u(0). Does k = -2/249?
False
Let x be (-3 - -7) + 1*-5. Is x smaller than -3?
False
Let k(l) = l**2 - l. Let d be k(3). Suppose -3 = 2*a - 3*r, -5*a - d*r + 55 = -r. Suppose -3*o = 3 + a. Is o at least as big as -3?
True
Suppose 3*r + 3*w - 6 = 0, 0 = -3*r - 5*w - 0*w + 10. Let s = r - -4. Suppose 0 = -2*g - 2 + s. Which is smaller: -3 or g?
-3
Let n be 6/15*(-15)/(-4). Let d be (3 - 3)/4 - -1. Is n not equal to d?
True
Suppose 2*k + 14 = -2*d, -k + 20 + 6 = -2*d. Which is greater: -12 or d?
d
Let o = 14 + 6. Is 21 > o?
True
Suppose 6*m = 8*m. Let c(o) = -o**3 - o**2 - o - 5. Let h be c(m). Is h at most 0?
True
Suppose 14 = 5*c + 29. Let n(u) = 15*u**2 - 9*u - 8. Let l(o) = -7*o**2 + 4*o + 4. Let g(q) = 13*l(q) + 6*n(q). Let v be g(c). Is 1 < v?
False
Let k(o) = -o**3 + o**2 + 4*o + 1. Let n be k(3). Which is smaller: -26/5 or n?
-26/5
Let q = 9 - 6. Suppose w - q*w = -4. Is 2 equal to w?
True
Let f(k) = 5 - 2*k - 3*k + 4*k + 2*k. Let d be f(-6). Which is smaller: -2/9 or d?
d
Let s be ((-19)/(-50))/(30/52). Let m = -1/125 - s. Let w = -4/15 - m. Is -1 equal to w?
False
Suppose -1 = 5*d + 2*h - 9, 2*d - 3*h + 12 = 0. Suppose -3*v - r = -0*v + 7, d = -v + r + 3. Is v > -9/7?
True
Suppose 25 = 6*s - 17. Which is bigger: 4 or s?
s
Suppose 5*a - 2 = -3*g + 2, g - 4 = a. Let b be (a - -3)*(8 - 3). Are 11 and b non-equal?
True
Suppose 0 = 2*q + 3*j - 5 - 2, 0 = q - 5*j + 16. Is -2/21 bigger than q?
True
Let y be -2*(3 - 33/9). Let k(i) = i + 6. Let t be (-18)/4 + 1/(-2). Let r be k(t). Is r less than y?
True
Let b = -15 + 14.6. Which is smaller: 0.4 or b?
b
Suppose 2*d + 3*x = 3*d + 4, d = -5*x + 12. Let n be (d*1)/(-2 + 0). Is 1/6 equal to n?
False
Suppose -5*b + 8 = 2*n, -2*b - 10 - 12 = -n. Let u be 18/n + 0 + -1. Let p = 27 + -27. Which is smaller: p or u?
p
Let s = 12 - 15. Let x be (-1)/4 + 6/(-40). Which is greater: s or x?
x
Suppose -11*m = -7*m - 112. Do m and 29 have the same value?
False
Let t be (-3 + (-12)/(-9))*-3. Suppose 0 = -t*g - 5*h + 2 + 3, -3*g = h - 1. Are g and 1/11 equal?
False
Let p be ((-605)/(-30))/(3/6). Suppose 14 + 1 = -3*y, -2*y = d - 30. Let x = p - d. Which is greater: 3 or x?
3
Let y = 140 + -137. Which is smaller: y or -1/3?
-1/3
Let u = 1 + -1. Let f = -0.6 - -1.22. Let r = f + -0.22. Do u and r have the same value?
False
Let a(k) = -k + 15. Let v be a(12). Let q 