 o?
g
Suppose 3*a = -4*w + 51, -4*a - 25 = -2*w - 5*a. Let b = 49/4 - w. Which is greater: b or 1/10?
b
Let k be (-2 - -4 - 1)/2. Let m(r) = -r**2 - 5*r - 4. Let t be m(-3). Do t and k have the same value?
False
Let j be (-6)/(-5) - 4/20. Let r be (j - 0)/(3 - -1). Which is smaller: r or 0?
0
Let u be ((-1)/3)/(-1) - 0. Which is greater: u or -8?
u
Let h = -17 - -17. Let t = -3 - -2. Let x = t + 2. Are h and x unequal?
True
Let s(q) = -q**2 + 2*q + 5. Suppose -2*n = m + n - 7, -6 = -2*m + 2*n. Let t be s(m). Let h(x) = x**2 + 3*x - 1. Let c be h(t). Which is bigger: c or -2/19?
-2/19
Let j = 22 - 19. Which is greater: j or 0?
j
Let w = -10 - -17. Are w and 7 unequal?
False
Let d be 18/(-15)*(-15)/6. Let p(l) = l**2 - 2*l - 4. Let q be p(d). Which is bigger: 0 or q?
0
Suppose 2*k = -3*n + 16, -2*k + 3*n - 8 = -0. Let r be (k/1)/(1 - -30). Which is bigger: r or 1?
1
Let r be (-4)/(-6) - 43/(-3). Suppose r = -t + 4*t. Let b = t - 11/2. Which is bigger: -1 or b?
b
Let n = 12.4 + -12. Let f = 1.4 - n. Does 3 = f?
False
Suppose i + 20 = 5*i - 5*b, 8 = 3*i - 2*b. Let o(j) = 6*j**3 + i*j**3 - 9*j - 5*j**3 + 7 - 7*j**2. Let h be o(8). Which is smaller: 2/3 or h?
h
Let o be -3 - (-6)/(-99)*-51. Do o and -0.1 have the same value?
False
Let y be 2/((3/(-2))/(-3)). Let t be 3*(-2)/(-21)*y. Is t < 0?
False
Let g = 5/8 - 19/56. Let q(j) = j**3 - 3*j**2 + j + 2. Let k be q(2). Suppose -m = -k*m. Which is smaller: m or g?
m
Let f = 0.4 - -0.6. Let m = 14.9 - 16. Let c = 1 + m. Which is bigger: f or c?
f
Suppose -8*p = -p. Which is smaller: p or 1/51?
p
Let w be (2*2/(-8))/((-11)/(-22)). Which is bigger: w or -0.2?
-0.2
Let o = -173/25 - -34/5. Let c = -23/225 + o. Which is bigger: c or -2?
c
Let r be 7/(-6)*-3*6. Let g = r - 15. Is 5 greater than g?
False
Let o be (4/24)/(2/292). Let d = o + -25. Is -3 at most d?
True
Let j be 0 + -2 + 19/4. Is j at most as big as 2/5?
False
Suppose -3*y = -5*g - 2*y - 601, 3*g - 5*y + 365 = 0. Is g less than -120?
False
Let c = -1 - -1. Let a be 4 - (-1 + 2/2). Let m(o) = o - 3. Let h be m(a). Do h and c have the same value?
False
Let m = -5 + 5.1. Do m and 7 have the same value?
False
Let n(l) = -l. Let u(c) = -3*c. Let w(a) = -8*n(a) + 3*u(a). Let q be w(-1). Which is bigger: 0 or q?
q
Let i(g) = -g**2 + 5*g + 5. Let v be i(6). Let r be v/(-1 + (-8)/(-6)). Is -3 at most as big as r?
True
Suppose -7 = -2*f - 3. Suppose -z + h + f*h = 13, 0 = z + h - 3. Let l(d) = d - 6. Let c be l(5). Is c equal to z?
True
Let q = -0.4 - 0.1. Let g = q + 0.3. Let i = g - -0.3. Do i and 3 have the same value?
False
Let p(m) = m - 10. Let b be p(6). Let x be -1 - 0/((-4)/(-2)). Which is bigger: b or x?
x
Let j be -2 - -2 - (-67 + -3). Let w be ((-2)/5)/((-7)/j). Suppose -3 = -0*p - p. Is p at most w?
True
Let o(a) = -a**2 + a + 1. Let f be o(-1). Suppose 7 = g + t, -g + 3*g = -t + 13. Suppose 4*h + 6 = s + s, -3*s + 5*h = -g. Which is bigger: f or s?
f
Let l = -34 - -440/13. Let p = -34 - -34.1. Is p at least l?
True
Suppose -3*y + 20 = 2*y. Let d = 6 - y. Which is greater: d or 3?
3
Let s(z) = -52*z - 11. Let x be s(-1). Is 41 >= x?
True
Let f be ((-116)/30 + (-3)/(-15))*3. Which is smaller: f or -14?
-14
Let r = 4.5 - -4. Let t = 8 - r. Is t at most 0?
True
Let j = 2/39 + -28/39. Which is greater: j or 0.24?
0.24
Suppose 5*k = 3*w - 7*w - 64, w + 1 = -5*k. Is w < -21?
False
Let k be 9/42*(5 + -3). Suppose 17 = -2*a - 5*f, a - 6*f + f - 29 = 0. Let h(c) = -c**3 + 5*c**2 - 4*c + 1. Let x be h(a). Are k and x nonequal?
True
Let g = -3 - -7. Let f be g/22 - 6/33. Let y be (-2)/6*(1 + 0). Which is smaller: f or y?
y
Suppose 6*k + 2*g = 2*k - 28, 5*k = 3*g - 13. Let q = -2 - k. Are 3 and q equal?
True
Let l = -21.9 - -22. Which is smaller: l or 4/5?
l
Let b be 2/(-3) + (-24)/(-45). Suppose 4*z = 3*z. Let l be (z/2)/((-1)/1). Which is greater: l or b?
l
Let h(k) = k**2 + 2*k + 3. Let d be h(3). Suppose 0 = 10*f + 7*f - 289. Is f != d?
True
Suppose 12 - 2 = 2*n. Suppose -5*t - 2*v + 78 = 0, -n*v - 20 = -t - v. Suppose 1 - t = -5*a. Is 3 smaller than a?
False
Let b = 0.015 + -0.215. Which is bigger: 0.2 or b?
0.2
Let q(d) = -d**3 + d + 1. Suppose -2*b + z - 1 = 0, -5*b + 2*z + z - 5 = 0. Let k be q(b). Let y be -3*k/(15/(-4)). Is -3 at least as big as y?
True
Suppose 0 = -v - 5*z - 10, 0*v + 4*z = 5*v - 37. Suppose w - v*c + 20 = 0, -4 = 5*w + c - 2*c. Let o be w/2*(-3 + 2). Which is smaller: o or -4?
-4
Let k be (-24)/(-20)*(-10)/(-4). Let o be (k - 47/9) + 2. Is o at most 0?
True
Let w be 2 + 7/((-14)/12). Let t be w/18*(8 - 5). Let x = -2 + 1.9. Is x less than or equal to t?
False
Suppose -7*x = -8*x + 18. Which is smaller: x or 19?
x
Let k = -10 - -16. Let v = -0.14 - -0.34. Which is smaller: v or k?
v
Let s = 8 - 6. Is 2 greater than or equal to s?
True
Let n be (-27)/18*(-16)/(-3). Is n greater than -8?
False
Let o = -93.9 + 94. Let n(y) = 10*y. Let u be n(1). Let v be u/14 + (-1 - 0). Which is smaller: v or o?
v
Suppose 3*a - 5*b = 66, -a - b + 18 + 12 = 0. Let s(t) = -t**2 + 7*t + 4. Let r be s(6). Suppose 2*o - 5*u - a = 0, 5*o = -0*o + u + r. Is o smaller than -2/5?
False
Let v be 10/25 + (-16)/(-10). Let k be -1*v - (-5)/5. Is 4 greater than or equal to k?
True
Let l = 8 + -4. Let x be 12/(-45) - l/10. Suppose -k - 4*o - 6 + 3 = 0, 3*k - 5 = 2*o. Which is greater: x or k?
k
Let h = 0.9 - 1.9. Let x be 1/(-9)*18/(-15). Is h bigger than x?
False
Let l = 782/2451 + -14/129. Which is greater: l or 0?
l
Let z(s) = s**2 - 6*s - 5. Let x be z(7). Suppose 2*a = -x*a. Are -0.2 and a equal?
False
Let z = 16 - -14. Let p be (-17)/(-4) - 9/36. Suppose z = -4*h - 3*u - 9, 0 = p*h + u + 29. Is h less than or equal to -4?
True
Let d(f) = 20*f. Let m be d(1). Suppose -19*q + 6 = -m*q. Is q less than -9?
False
Let m = 53 - 33. Let a = -19.92 + m. Which is greater: -2 or a?
a
Let y = 1 - 2/3. Is 0 > y?
False
Let t be 5/(-1 + 6)*-5. Suppose -4*q = -5 + 61. Let x be 2/t + q/(-10). Which is smaller: 1/4 or x?
1/4
Let p(s) = -2*s + 3. Let i be p(2). Let h = -6 - -7. Let c be (-1)/(h - (1 + i)). Which is greater: c or -2?
c
Let m(v) = -4*v - 1. Let l be m(-1). Is 2 less than l?
True
Suppose -159 = -5*t - 19. Which is smaller: t or 0?
0
Let d be 189/(-195) + -1 + (-6)/(-3). Which is smaller: d or -1?
-1
Suppose -44 = -5*d + 16. Suppose -8*m + 6*m = -d. Is 1/2 greater than m?
False
Suppose -2*x - 3*q - 14 = 1, -4*x - 3*q - 15 = 0. Suppose 4*s = 3 - 7. Which is smaller: s or x?
s
Let c = -0.4 + 1.4. Let y = c - 2. Let v = 2 + y. Are 0 and v unequal?
True
Let c(s) = 19*s. Let p be c(-1). Let a = p + 13. Does -7 = a?
False
Let k = 11 - 3. Let t = 12 - k. Which is smaller: t or 3?
3
Suppose d - 2*w = 15, 44 = -0*d + 4*d - 4*w. Suppose 0*o - 2*o = 0. Which is greater: o or d?
d
Let k = 13 + -26. Which is smaller: 0 or k?
k
Let p be 2/(0 + -2)*-8. Are 0.2 and p unequal?
True
Let k = 100 + -136. Are k and -2 equal?
False
Let s = 2 - 14. Let t = -12 - s. Which is smaller: -3/11 or t?
-3/11
Suppose 0 = 5*c - 4*t - 20, 3*c + 5*t = 6*c - 25. Suppose 0*d - d = c. Let m be (-1)/(-3) + (-2)/(-48). Which is smaller: d or m?
d
Let j = 202 + -2827/14. Let k = 3/7 + j. Is 0.02 smaller than k?
True
Let k = 65 + -65.3. Is k less than 1?
True
Suppose -7 = -2*q - 9. Which is greater: q or -5/4?
q
Suppose 0 = 6*z - 4*z. Let r = -89789/82 + 1095. Let m = 169/410 - r. Which is greater: m or z?
m
Let r be (-4)/(-18) - 610/(-90). Let q be 0/r - (-1)/(-1). Which is smaller: q or 1?
q
Suppose l = -3*i + 20, -3*i - 30 = -5*i - 4*l. Let m(o) = o. Let z(s) = 3*s - 1. Let v(b) = 17*m(b) - 6*z(b). Let a be v(i). Which is smaller: a or -2/5?
-2/5
Suppose 5*t = 27 - 2. Suppose t = -4*w + 3*r - 3, 0 = -4*w + r. Let a be w*-2 - (1 - 6). Which is smaller: a or 2?
2
Let w = -396208996/10145141 - -3/274193. Let o = -39 - w. Does 1 = o?
False
Let v = -782 - -1540. Let t be 2/8*v/4. Let k = 47 - t. Which is bigger: 1 or k?
1
Let i = 193/4 + -48. Is i at most as big as 7/4?
True
Let c = -5 - -9. Suppose 4*y = -3*g + 27, -y - 3*g + 9 = -9. Is y at least as big as c?
False
Let o be 5/(-6) + 3/6. Let m(f) = 2*f - 14. Let s be m(7). Is o >= s?
False
Let z(h) = 11*h - 21. Let y be z(3). Which is greater: 21/2 or y?
y
Let s(j) = j + 12. Let x be s(-5). Is x not equal to 3?
True
Suppose -6*s + 2*s = -8, s = -