 3*o - 55 = 0. Which is greater: o or -12?
o
Let u(z) = -16*z - 15. Let a be u(-3). Which is greater: a or 32?
a
Suppose -3*q + 4*t - 26 = 0, 5*t = -4*q + 3*t + 2. Let x be 88/(-30) + (-2)/((-80)/24). Which is bigger: x or q?
q
Let g = 1.5 + -0.5. Let d = g - 1.1. Is d < -7?
False
Let a(t) = 5*t**2 - 4*t + 3. Let r be a(2). Suppose -4 = 2*p, 0 = -j - 0*p - 4*p - r. Which is smaller: j or -8?
-8
Let b be (-162)/126*(-2)/(-4). Which is smaller: b or -2?
-2
Let l = 1 - -3. Suppose -l*i + 2*q = -4, i - 3*i = 4*q - 2. Are i and 8/5 equal?
False
Let u = -9109/1045 + 96/11. Which is greater: -1 or u?
u
Suppose 38 = 74*n - 75*n. Are n and -39 equal?
False
Suppose 4*t - 4*s + 64 = 0, -5*s - 25 = -t + 3*t. Which is bigger: t or -14?
-14
Let l = -9249 + 120297/13. Is l less than 5?
True
Let q be 59/14 - (-10 + 14). Are q and -1 unequal?
True
Let z be (0 - (-2)/(-4))*0. Suppose 0 = -2*p - 5*b + 1, 5*p = -7*b + 3*b + 11. Suppose 0 = -3*w + p. Is w equal to z?
False
Let v = -1.34 - -0.34. Let w = 2 + -4. Let q = w - v. Is -1 at most as big as q?
True
Suppose 0 = 8*t - 4*t + 4. Let c = 2 + t. Let w be ((-2)/117)/(1/(-3)). Is w smaller than c?
True
Let v be -1*11/(-3) + -4. Is v equal to 1?
False
Let a(w) = w + 9. Let o be a(-7). Suppose -10 = -4*b + 6*b - o*u, 23 = -4*b + 5*u. Let s be 4/6*(-4 + 1). Is s less than b?
False
Let b = -8 - -3. Suppose -5*x + 12 = 42. Is x bigger than b?
False
Let f(m) = m**2 - 4*m - 4. Let h be f(5). Is -1/4 >= h?
False
Suppose -176 = -x - 3*x. Let j be (-80)/x - (-4)/(-22). Which is greater: -1 or j?
-1
Let c = -11 + 9.9. Let b = 0.1 + c. Let s = -98 - -689/7. Which is smaller: b or s?
b
Let s be 63/102 - 2/4. Which is smaller: 1 or s?
s
Suppose 6*c - 10 = -m - 0, 2*m = 4*c + 4. Suppose -4 = 3*r - 1. Let j be (-18)/(-16) - (0 - r). Which is smaller: j or c?
j
Let o be (-2)/3*9/3. Let u(h) = h. Let y be u(0). Which is smaller: o or y?
o
Let c = -72 + 23. Does -47 = c?
False
Let u be -4 + 6 - (-312)/(-158). Which is bigger: u or -1?
u
Let s be (3 - 1) + 0 + -11. Let j = s - -8. Which is smaller: -1/5 or j?
j
Let c = -20 - -17. Let p = -6 + c. Is -10 <= p?
True
Let t be ((-2)/(-8))/((-20)/16). Which is smaller: 0.1 or t?
t
Let f be 7/6 + (-6)/36. Does 1/3 = f?
False
Suppose -m - 7*m + 16 = 0. Is m bigger than 8/11?
True
Suppose 0 = 4*n - 2*n - 4*s, -3*n - 4*s = -20. Let q = -6 - -16. Suppose 0*v - 5*v + q = 0. Is v <= n?
True
Let r = -6.08 - -0.08. Let c = 8 + r. Are -2 and c nonequal?
True
Suppose -5*d + 3*c + 94 = 0, 4*d - 4*c - 28 = 52. Which is smaller: 18 or d?
d
Suppose 0 = -3*a + o + 9, -3*o + 6 - 15 = 0. Suppose 0*j - a = 2*n - 2*j, 2*n - 3*j = -7. Suppose -3*x - n*p - 15 = 4, 4*x + 22 = -2*p. Is x smaller than -5?
False
Let p = -307/28 + 45/4. Is p less than or equal to 1?
True
Let p(z) = z**3 - 4*z**2 - 4*z + 5. Let x be p(5). Suppose -5*f - 2*j - x = -0, 5*j + 6 = -3*f. Let q = -9/17 - 7/51. Is f equal to q?
False
Let m be (-4)/10*(-5)/11. Let j = -0.1 + 1.1. Which is greater: m or j?
j
Let j be (2 + 0)*(-9)/18. Is -1/111 <= j?
False
Let u = -8 - -9. Let h be (15/9 + -2)/u. Suppose -7 - 3 = 4*b - 5*o, 5*b - 4*o = -8. Which is smaller: b or h?
h
Let m(f) = -f. Let x be m(0). Let a = x - 1. Which is smaller: 2/3 or a?
a
Let q = -0.115 + -21.885. Is q < 2?
True
Let w = 62 - 40. Let z = w - 20. Is z > -2?
True
Let w be 3/(2 + 1) + 9. Suppose 11*v + w = 6*v. Is v < 0?
True
Let d(j) = -15*j**3 + 2*j**2 + 2*j + 1. Let b be d(-1). Suppose b - 4 = -4*t. Is -3 < t?
False
Let b = 0.14 + -2.14. Let q = b + 2.4. Let v = -1 + 1. Which is greater: v or q?
q
Suppose 16 = -a - 10. Which is smaller: -27 or a?
-27
Let x be 1/((-6)/8 + 57/12). Which is greater: 0 or x?
x
Suppose 2*s + 3 = 2*x + 7, -3*s - 3*x = -18. Suppose s*h - 3*h + 3*n = -11, -2*n - 4 = -h. Do 0 and h have the same value?
False
Suppose 0 = -p - 5*q - 9, p - 4*p + 2*q = -24. Let r be (-1)/(1/((-3)/p)). Is 2 greater than or equal to r?
True
Let d = -0.4 - -0.3. Let y = 0.24 + -0.24. Which is bigger: y or d?
y
Let o = 121 + -113.04. Let y = o - 8. Let d be 17/36 - 8/36. Are y and d non-equal?
True
Let t = 3 - 4. Let l = 9/25 + -4/25. Which is smaller: l or t?
t
Let h = -46 + 47. Which is smaller: 8 or h?
h
Let n(o) = o**3 + 11*o**2 + 8*o - 12. Let s be n(-10). Which is greater: s or 7?
s
Suppose -3*z - 2*z - 65 = 5*p, -4*p + z = 77. Which is greater: p or -17?
-17
Let u = -0.01 + -0.29. Let y = u - -0.3. Suppose f + 1 = -0*f. Which is smaller: y or f?
f
Let i = -664/5 + 132. Let z be -2*4/16 + (-2)/(-4). Is z <= i?
False
Let h = -0.88 - -6.28. Is -1 at least as big as h?
False
Let s = 29/78 - 1/26. Do s and 1 have the same value?
False
Let u(z) = 2*z - 14. Let v be u(7). Is v > 1/4?
False
Let m be ((-6)/(-20))/(3/(-4)). Let a be 0/(3 + 0)*-1. Is m at least as big as a?
False
Let p be 7/(-4 - (-578)/146). Let d = 169 + p. Which is smaller: 0.1 or d?
d
Let z(r) = 3*r**3 - 42*r**2 + 2*r - 28. Let q be z(14). Let n = -2 - -2. Suppose 4*h = 4*t - 8, n = -2*t + h + 2*h + 5. Which is smaller: t or q?
q
Let l(g) = -g**3 - 2*g**2 + g. Let r be l(-5). Let a = -25 - -23. Let o be (-8)/r - a/(-7). Which is smaller: -1 or o?
-1
Let b be 2/6 + (-500)/(-30). Let l(o) = -o**3 + 16*o**2 + 18*o - 24. Let y be l(b). Is -7 >= y?
True
Let i be -2*(9/(-12))/((-84)/40). Let k = 1 + -2. Is i at most as big as k?
False
Suppose 0 = -2*b + 3*y + 3 + 1, 0 = -3*y. Let z be (6 + -6)/(6/b). Is 0 <= z?
True
Let g(z) = z**2 - 1 + 0*z**3 + z**3 + 2*z - 4*z. Let n = 2 + -4. Let y be g(n). Are 1 and y unequal?
True
Let f be ((-15)/(-10))/(18/16). Is f greater than 0?
True
Let l(r) = r**3 + r**2 - 2*r. Let n be l(-2). Suppose n = -2*c + 4*c. Are -1/2 and c nonequal?
True
Let j = -18 - -17. Is j > 2/33?
False
Let j = -3 - 5. Let v be (4/j)/((-10)/(-4)). Let o = v + -2/15. Is 0.2 greater than o?
True
Suppose -a + 13 = 4*z, -z + 0*a + 16 = -4*a. Suppose -3*k - 2*m = -0*m - 22, -5*m = -z*k + 14. Is 6 equal to k?
True
Let l(d) = -d**2 - 4*d - 3. Let n be l(-2). Let c = 11 - 6. Suppose -5*q + 14 = 5*t - 21, -c*t + q = -5. Which is smaller: n or t?
n
Suppose 0 = -j - 0*j. Let f be (-3)/15 + 18/15. Which is smaller: f or j?
j
Let k be (5/3)/(2/18). Let a be 3/k + 14/5. Which is smaller: a or 4?
a
Let h = 2.01 + -0.01. Let x = 10 - 8. Let z = x - 1.8. Is h >= z?
True
Let v = -112 - -164. Is v > 50?
True
Let z = -3 - -11. Let u = -8.2 + z. Which is smaller: u or -0.4?
-0.4
Suppose 4*k + 8 = -3*p, -p - 1 + 0 = k. Suppose l + 5*v - 11 = 9, -2*v = -p*l - 8. Are -4/3 and l equal?
False
Let x = 171/26 + 7/78. Which is bigger: x or 7?
7
Let h = -673492 + 660695843/981. Let x = h + 3/109. Which is bigger: x or 0?
x
Let m be 18/(-4)*6/(-9). Which is bigger: m or 2?
m
Let p be (15 - -3)/(3*1/2). Which is bigger: p or 6?
p
Let p(k) = -k**3 + 4*k**2 - 2*k - 2. Let x be p(3). Let a(q) = q**2 - 18*q + 1. Let o be a(18). Do x and o have different values?
False
Suppose -4*t - 4 = -4*a, -2*a + t = 4*t + 13. Let z = -3 + a. Let d be (z/10)/(1 + 1). Which is bigger: d or 0?
0
Let n = -575 - -6307/11. Is -2/5 greater than n?
True
Let d be (1*-1 + 0)/(-1). Let j(y) = y**2 - y. Let p be j(0). Let m = p + d. Is 2/3 equal to m?
False
Let w = -9 + 6. Which is smaller: 2 or w?
w
Suppose -3*k + 6 = -k. Suppose 0 = -3*q - 3*d, -k*q + d - 2*d = 0. Let g = -5.7 - -5.7. Do g and q have the same value?
True
Let h = -1.46 + 1.36. Is h at least as big as -2/57?
False
Let v = -24 + 5. Is v > -19?
False
Let l = -214 - -47. Does -167 = l?
True
Suppose 4*g = -0*g. Suppose 1 = -g*f + f. Let y = f - -2. Is y at most as big as 4?
True
Let p = 12 + -22. Let y = p + 15. Is 4 > y?
False
Let d be (-630)/161 - (2 - 6). Suppose 3*u = -2*u - 5. Is d greater than or equal to u?
True
Let p = 13 - 4. Let x = -24 + p. Is -16 greater than x?
False
Let w be 1/(-18)*678/21. Let h = -20/9 - w. Do h and 0 have the same value?
False
Suppose 3*m + 10 = 3*q - 2, 2*m = 3*q - 4. Let j be (1 + -5)*(-4)/m. Is -2 bigger than j?
False
Suppose -3*z - z - 8 = 0. Let m be (z/6*0)/1. Which is bigger: -2/17 or m?
m
Let y be 2/2*-1 - -6. Suppose y*v = v - 4. Is -5 <= v?
True
Suppose 0*i + i - 2 = 0. Let v = i + 0. Suppose u + v = -1. Is u not equal to -3?
False
Let i(q) = q**2 + 4*q - 5. Let y be i(-7). Let j = y + -13. Is -0.1 >= j?
False
Let p(l) = -l**2 + 15*l - 28. Let c be p(7).