 to z?
True
Let r be (-2)/(-6)*216/(-198). Which is smaller: 1 or r?
r
Let c = 11 + 1. Suppose 5*g + 17 = 2*u, u = 4*u + 5*g + c. Is -2/37 at least u?
False
Let i be (-1)/(((-2)/1)/4). Is 1/2 at most i?
True
Let l = -2 + -1. Let b be 5/l*(-104)/20. Let c = 9 - b. Which is greater: -1 or c?
c
Let g be -3 - (0 - (-1 - 2)). Let v = g - -8. Is v at least as big as 3/2?
True
Let v be -4*(-3)/20 + 4. Is v less than or equal to 4?
False
Let b be ((-12)/(-88))/(-3*1). Is 0 < b?
False
Suppose 2*z - 3*z - 5*q = -17, 2*z - 34 = 4*q. Suppose v - 13 = 3*h, -v - 5*h - z = -6. Do -1/4 and v have the same value?
False
Suppose -b - 38 - 35 = -3*z, -2*b = 5*z - 118. Is 25 > z?
True
Suppose 1 = 3*h + 5*a + 4, 5*h = -2*a + 14. Suppose 24 - 8 = h*s. Which is smaller: s or -2?
-2
Let g = 4 - 9. Let k = -9 - g. Let r(y) = y - 1. Let q be r(-3). Is q < k?
False
Suppose 68 = 2*p - 2*r, 4*p = -6*r + 5*r + 131. Is p != 33?
False
Let i be (-32)/40 + 14/30. Suppose -25 = -4*o - 0*o - 5*m, 5*o - 2*m = 23. Let v = o - 3. Is v <= i?
False
Let y = 21 + -21.2. Is -1/4 != y?
True
Suppose 0 = 4*f + 41 - 29. Is -0.9 != f?
True
Let p = 1 - 3. Let s = -3 - -5. Let n = s - 3. Which is bigger: n or p?
n
Let y be (-18)/4 - (-2)/(-4). Let b = 2 - -12. Let t be b/(-3) + (-8)/(-12). Which is bigger: t or y?
t
Let b = 5 + 1. Which is smaller: 4 or b?
4
Let o = -164 + 675/4. Are -2/3 and o non-equal?
True
Let z(c) = -c**2 - 11*c + 11. Let k be z(-12). Which is smaller: -2/23 or k?
k
Let s be (-6*(-3)/(-30))/((-1)/35). Are s and 21 unequal?
False
Let d(k) = -10*k**3 - k**2 - k. Let s be d(-1). Suppose 10 = f - 0*f + 3*a, 5*f - s = -5*a. Is f greater than or equal to -2?
True
Suppose 9*q = 4*q - 5. Suppose -106 + 26 = -5*h. Let u be ((-6)/(-8))/((-18)/h). Does u = q?
False
Let q be 12/(-8) + ((-6)/(-4))/3. Which is smaller: -1/3 or q?
q
Suppose 3*d - q = 3*q + 31, 4*d = -2*q + 12. Suppose 2*l + 2*r = 0, 3*r - 28 = -5*l + 5*r. Do l and d have different values?
True
Let t = -1.9 + 1.8. Which is bigger: 2 or t?
2
Let d = -13 + 3. Let m be ((-1)/(-2))/(d/60). Let h = 0 + -3. Is m equal to h?
True
Let y = 19 + -18. Is y bigger than -1/120?
True
Suppose -8*x + 15 = -3*x. Suppose 4*n - 12 = 0, -2*m + x*m = 3*n - 22. Does m = -14?
False
Let v = -1886 + 9473/5. Let l = v + -46/5. Which is bigger: l or -0.02?
-0.02
Let f be 42/70 - 182/220. Which is greater: 1 or f?
1
Let u be (-1 - 2/(-1))*-2. Which is smaller: u or -2/3?
u
Let b = 9 - 0. Let j = -8 + b. Let n = 21/50 - -2/25. Which is smaller: n or j?
n
Let i = 0.04 + 0.22. Let h = i - 0.06. Is h < -3?
False
Let m(g) be the second derivative of -g**4/12 + g**3/6 + g**2 - 6*g. Let u be m(2). Which is greater: 2/11 or u?
2/11
Let b(g) = 9*g**3 - 5*g**2 + 7*g + 9. Let s(p) = 4*p**3 - 3*p**2 + 3*p + 4. Let t(i) = 3*b(i) - 7*s(i). Let a be t(6). Is -2/7 > a?
True
Let m = 3 - 3. Let v = m + -0.1. Is v != 3?
True
Suppose -3*o = -2*r - 3, -o - 8 = 2*r - 1. Is o > -1/15?
False
Let o be (-3 + 19)*(2 - 0). Let z = 19 - o. Which is smaller: z or -14?
-14
Let p(l) = l**2 + 4*l - 1. Suppose 4*i = 5*i. Let g(q) = -q**3 - q**2 + q - 4. Let z be g(i). Let y be p(z). Which is smaller: y or -2?
-2
Let a = -65/6 + 11. Is a > -2?
True
Let v be (((-9754)/262)/(-1))/(-46). Let r = 7/262 + v. Let j = 152/253 + r. Are 1 and j equal?
False
Let r(q) = -q**3 - q**2 + 3*q + 2. Let i be r(-2). Suppose n + 2*n + 4*z + 17 = 0, 13 = 3*n - 2*z. Let d be 1*(n - 3)/(-2). Which is smaller: i or d?
i
Let f be (-1 + 3/2)*0. Let z be (-78)/(-18) + 2/(-6). Which is greater: f or z?
z
Suppose -f + 3*c - 22 = -3*f, -5*f = -c - 21. Let h(s) = s - 4. Let x be h(f). Let r = -1 + 1. Is r != x?
True
Let n(l) = -2*l - 4. Let k be n(-5). Let a(m) = -m**3 + 5*m**2 + 4. Let j be a(5). Suppose i - j*i + k = 0. Which is smaller: -1/2 or i?
-1/2
Let r = 2 + 1. Suppose 5*d + 1 = 3*i - 5*i, 4*d + 10 = r*i. Suppose 10 = 5*n - 5*v - 5, -4*n = 3*v + 16. Is n at least as big as d?
True
Let r = -28 + 38. Is r <= -3?
False
Let h(i) = 7*i**2 - i. Let u be h(1). Let d be ((-4)/u)/((-210)/45). Which is bigger: d or -0.1?
d
Suppose -3*z = j + 30, -3*z - 4*j - 10 = -z. Let w = -13 - z. Which is smaller: -7 or w?
-7
Let q = 41.34 + -42. Let p = q - 0.04. Which is smaller: -2/7 or p?
p
Suppose m - 5 = -2*z + 3*z, 0 = 4*z - m + 5. Suppose 5*j + 0*o + 3*o - 12 = 0, 3*j - 2*o + 8 = z. Let d be ((-1)/(-4))/(5/10). Which is smaller: d or j?
j
Suppose n - 3*s + 2 = 0, -2*s + 2 = n - 6. Suppose -1 - 3 = -n*b + c, -2*c = 0. Let o = 0 - 0. Which is bigger: b or o?
b
Let z(p) = p**3 + 8*p**2 - 2*p - 11. Let o be z(-8). Let k(f) = 3*f - 7. Let d be k(o). Let m be 1/4 - 10/d. Is m not equal to -0.4?
True
Let z = 5 + -7. Let h(t) = -t + 8. Suppose 0*v - 2*v = -18. Let o be h(v). Which is greater: z or o?
o
Let r(a) = a - 2*a - a. Let u be r(-1). Which is smaller: u or 3?
u
Let j = -0.2 - 0.1. Let o = -0.1 - j. Let d = 117 - 587/5. Is d greater than o?
False
Let c be ((-2)/130)/(24/180). Which is greater: c or 0?
0
Let o = 48 - 65. Is -16 less than o?
False
Suppose -2*y + 28 = -0*y. Let j be y/((-15)/18 + 1). Let c be (1*-3)/(j/8). Is c greater than -1?
True
Suppose -14 = -4*j + 6, j + 47 = -4*y. Let b be (-42)/104 - 2/y. Which is smaller: b or -2?
-2
Suppose b - 6*b = -760. Let u = 2/9483 + -10070960/66381. Let q = b + u. Is 0 greater than q?
False
Let i be (1 + 4)*(-1)/(-5). Let h(y) = -y**3 - 7*y**2 + 7*y - 10. Let p be h(-8). Let k be p/5*30/32. Which is smaller: k or i?
k
Let m be 0 + -1*(-155)/(-5). Which is bigger: -28 or m?
-28
Suppose 13 = 17*t - 19*t - 3*l, 2*l - 2 = 0. Let q = -3 + 2. Is t at least as big as q?
False
Let h be 15/25 + 294/10. Let v be (1190/4 + -2)/h. Let i = 41/4 - v. Which is bigger: i or 1?
1
Suppose 0 = -2*v - 3 - 5. Let c(x) be the third derivative of -x**5/60 - 5*x**4/24 - 2*x**3/3 + x**2. Let n be c(v). Is -1/4 greater than or equal to n?
False
Suppose 0 = -4*y - 3*q - 30, -3*q - 8 = q. Which is smaller: -7 or y?
-7
Let g = 7 - -7. Suppose -2*c - 5*z + 17 = -c, -2*z - g = 3*c. Which is bigger: c or -9?
c
Let b(s) = 2*s - 7. Let v be b(8). Is v less than 19/2?
True
Let a = -4/17 - -5/17. Let v = 82 + -82. Which is smaller: a or v?
v
Let q(h) = -h**3 - 7*h**2 + 7*h - 9. Let k be q(-8). Let n be k/((-1)/314*-2). Let g = -782/5 - n. Which is smaller: 1 or g?
g
Let a be ((-222)/(-56) + -4)/((-6)/7). Let g = 0.3 + -0.4. Which is bigger: a or g?
a
Let l(b) = -b + 8. Let g be l(7). Let n = -6 + 10. Let y = 4.1 - n. Which is smaller: y or g?
y
Let m = -4.02 - -0.02. Let g = m - -2. Let i = -2 - -4. Which is bigger: i or g?
i
Let r = 62 - 29. Is 32 at least r?
False
Let b = -231 + 1620/7. Let q(a) = a**2 + a + 1. Let f be q(-1). Which is bigger: b or f?
f
Let t(m) = -m**3 - 10*m**2 - 10*m - 6. Let v = -4 + -5. Let o be t(v). Suppose 0 = 2*y - o*y. Which is greater: y or -4/5?
y
Suppose 0 = -x - 5*u - 19, -3*x - 5*u = 2*x + 15. Let f = x + -2. Let k be 4/(-6) + 0 - f. Which is greater: k or -1?
k
Let w = 431/13 - 33. Let b = 0.3 - 0.4. Is w equal to b?
False
Suppose 3*i - 30 = -3*n, 3*i = -n + 4*i + 20. Which is smaller: 16 or n?
n
Suppose 0 = -5*c - 25, -2*t = 3*t + 5*c. Is t < 0?
False
Let u(k) = -k**3 + 3*k**2 - k. Let g be u(2). Let j be 2/g*3 + 7. Suppose -4*v + j = v. Is v at least -1/4?
True
Suppose -3*k + 70 = -17*k. Is k at most as big as -33/8?
True
Let r = 28 - 18. Let y = r + -10. Let t be (-1)/(-4) + 10/(-24). Is t >= y?
False
Let j be 2/3*(2 + -5). Let q(n) be the first derivative of -n**3/3 - 3*n**2 + 5*n + 1. Let s be q(-7). Is s > j?
False
Let u = -0.04 + 0.04. Which is smaller: u or 0.8?
u
Suppose -v + 0 = -13. Let b = -13 - -26. Is v greater than b?
False
Let r = 4.83 + 1.07. Let h = -6 + r. Which is greater: 0.4 or h?
0.4
Let f = 3 - 3. Is f <= 3/8?
True
Let h = -2 - -6. Suppose 3*g - 15 = 4*q, -h*q + 25 = -3*q + 5*g. Let n be -1 - (12/(-16) + 0). Does n = q?
False
Let y = -179/168 - -13/12. Which is greater: y or -1?
y
Suppose -3*s + 2*m + 2 - 5 = 0, 0 = -4*m - 12. Let h(b) = b**3 + 7*b**2 - 9*b - 11. Let k be (1 + 0)*(3 + -11). Let w be h(k). Is w <= s?
True
Let z = 24 + -23.94. Is z <= 0?
False
Suppose 0 = 3*d + 5*j - 11, 0*j = -d + 2*j - 11. Which is smaller: d or 6?
d
Let c be 0 + -1 - (-514)/12. Let z = -42 + c. Suppose 1 = g + 4, 0 = 2*h + 4*g + 10. Is h at most z?
False
Suppos