than z?
True
Suppose -15 = z - 3. Let y = z + 34/3. Are y and -9 equal?
False
Suppose -2*j = -5*c - 27, j + j + 23 = -5*c. Let h(t) = 2*t. Let v be h(1). Suppose -v*f - 6 = -0*f. Which is bigger: c or f?
f
Let f = -30.9 + 23. Let y = f - -8. Which is smaller: -1/3 or y?
-1/3
Suppose 5 = 3*d - 4. Suppose d = 5*v - 7. Let w be (-1)/(-2) - v/4. Is -1/6 equal to w?
False
Let g = 1.1 + -0.8. Let a = -0.7 + g. Let r = -2 - -1. Which is smaller: r or a?
r
Let w be (-5)/25 + 4/(-5). Which is smaller: w or 0.3?
w
Suppose -18 = -3*d + 6. Let z = d - 13. Let b = z + 5. Which is bigger: 2/3 or b?
2/3
Let v(g) = -g**3 + 4*g**2 + 5*g - 1. Let t be v(5). Let o = 92/3 - 29. Which is smaller: t or o?
t
Let g be ((-28)/(-21))/((-1910)/(-15)). Which is bigger: g or 1?
1
Let w = -530/7 + 76. Which is smaller: -1 or w?
-1
Let t be (300/16)/(2/8). Let q = t + -374/5. Let d(u) = u**2 + 6*u + 1. Let p be d(-6). Is p at most q?
False
Let r be 42/(-7)*(-1)/2. Suppose 3*p - 2*v + 6 = 0, 0*p - 2*p - r = -v. Which is smaller: 1 or p?
p
Let s be (-15)/24*(-6)/15. Which is smaller: s or -1?
-1
Let j(k) = -k**2 - 4*k + 4. Let q be j(-5). Let d be (-1 - q)*(-6 - -5). Which is bigger: d or -1?
d
Suppose -u = 4*j - 22, 0 = 4*u + j - 3 - 10. Is u bigger than 4/3?
True
Let s be (2/3)/(4/18). Let l be s/12*(1 - -1). Let j be 8/(-6)*(-12)/8. Is j at most as big as l?
False
Suppose 2*v - 2*x - 8 = 3*v, -8 = 2*x. Suppose 2*d = 5*o + 8, -4*o - 23 = -5*d - 3. Let n be (d/(-8))/(1/2). Which is bigger: n or v?
v
Let s = -0.1 - 16.9. Let f = s + 11. Let d = f + 6.2. Is 0.3 at least d?
True
Let a = 2.5 + 7.5. Let m = a + -14. Is 1/4 != m?
True
Suppose -3*h - h + 12 = 0. Let f be h - (-7 + 4)*-1. Which is bigger: -6/19 or f?
f
Let d be 3/9 + 53/(-132). Let k = 2/11 - d. Let q = 91/4 - 811/36. Is k greater than or equal to q?
True
Let q be (1/3)/((-4)/(-84)). Suppose -4*t + 5 + q = 0. Suppose 0 = 4*j - t - 13. Which is smaller: j or 5?
j
Let j = 1.05 - 0.05. Let t = -89/20 + 26/5. Which is bigger: j or t?
j
Let h = -7 - -3. Let n = h + 3. Which is bigger: n or 1?
1
Let f = 54 - 53. Is f less than 22/9?
True
Let w(t) = t**2 - 3*t + 1. Suppose 3*i + 18 = 4*q + 3, -3*q = -5*i - 14. Let l be w(q). Let n = -30 - -30. Which is smaller: l or n?
n
Suppose -12*p = -9*p + 6. Suppose -6 = -4*i - 18. Let a be 2/24*i/p. Is 1 >= a?
True
Let g be (1 - -1) + 7/(-2). Let t be (1/3)/((-1)/3). Is t < g?
False
Let c = 8.5 - 22.5. Is -0.3 greater than c?
True
Suppose -2*u = u + n + 10, -4*u - n - 12 = 0. Is u > -9/5?
False
Suppose 0*m + 5 = m. Let s be (-112)/(-18) + 2/(-9). Is s at most m?
False
Let b(m) = m**3 + 10*m**2 + 2*m - 8. Let h(c) = 2*c**3 + 21*c**2 + 5*c - 16. Let g(x) = -7*b(x) + 3*h(x). Let z = -13 - -6. Let w be g(z). Is 2/3 equal to w?
False
Let j(f) = -f**3 - 3*f**2 - 4*f - 2. Let t be j(-3). Suppose -6*k = -k + t. Is k at most as big as -13/5?
False
Let c = 6.81 - 20. Let p = -0.19 - c. Is p greater than 1?
True
Let r = 1.64 - 1.4. Let q = 0.06 + r. Is 2/9 smaller than q?
True
Let z be (3 - (1 - -1))*1. Let b be z + (-1 + 1)/2. Let a be (-1)/(b/(-1)*-1). Which is smaller: a or 2/7?
a
Let a be 2/1 - 0 - 6. Let r be 0 - (a - (-2 + 3)). Suppose 5*j = -5*f + 10, -4*f + 8 = j - r*j. Is -1 greater than j?
False
Let m = -348893 - -61753834/177. Let t = m + -3/59. Suppose u - c = 2*u + 4, 5*c = -2*u - 17. Are t and u non-equal?
True
Let m(y) = y**3 - 2*y**2 - 2*y - 2. Let a be m(3). Let z = -6/97 + -243/776. Is z bigger than a?
False
Suppose -b - 55 + 3 = y, -4*y - 108 = 2*b. Let o be (-4)/b*-5*1. Is o at most as big as 1?
True
Suppose 6*q = 2*q. Let l = -48 - -334/7. Is q at least l?
True
Suppose 0 = -2*q + 2*k + 1202, -4*q = -9*q - 4*k + 3014. Let o = q + -3635/6. Let s = 7/2 + o. Is 1 bigger than s?
True
Let l = 17/14 - 3/2. Let d = -525 + 525. Which is bigger: l or d?
d
Suppose 36 = 2*u + 5*l, 7 + 1 = 4*l. Let p(z) = -z**2 + 13*z - 5. Let g be p(u). Does g = -4?
False
Let y be 76/10 - (7 + -7 + 4). Which is bigger: y or 3?
y
Suppose -f - 16 = 3*x - 5*f, 0 = 4*x + f - 4. Let y be -2 - (x - 0/(-2)). Let s be y - (1 + 9/(-3)). Which is smaller: 2 or s?
s
Let w(q) = -q**2 - 4*q + 2. Let p be w(-5). Is 0.05 greater than or equal to p?
True
Let h be (1/(-2))/(3/(-30)). Let t = -3 + 5. Let g be 17/3 - t/(-6). Is g less than or equal to h?
False
Let l = 0.2 - -1.8. Let j = -1.98 + l. Let m = 0.02 - j. Which is bigger: 1/2 or m?
1/2
Suppose -7*b + 2*m = -3*b + 30, -2*b = -2*m + 18. Let j(y) = y**2 + 4*y - 6. Let c be j(b). Is c > 6?
False
Let s be ((-8)/(-84))/((-4)/(-30)). Suppose 5*g - 5*b + 6 = -3*b, 3*b - 9 = -3*g. Are s and g nonequal?
True
Suppose 2*u + 0*u - 4 = 0, 2*p = 5*u - 30. Is p at least -13?
True
Suppose 2*u - 42 = -u. Which is smaller: 17 or u?
u
Let v be (3/(-6))/((-1)/(-2)). Let q = 7 + -6.2. Let i = 1.8 - q. Which is smaller: v or i?
v
Let t be (-1 - 0)/(-2)*0. Let n be (20/(-11) - -2)*-1. Which is bigger: t or n?
t
Let k be (-18)/120 + (-1)/4. Let i = 6 - 4. Suppose i*x = -2*x. Are k and x non-equal?
True
Let q(u) = u - 7. Let o be q(9). Suppose -h = -5*d + 7 - 2, 3*h = d - 1. Is d < o?
True
Let f be 74/(-24) - 5/20. Is f greater than or equal to -3?
False
Let s(y) = -10*y + 24. Let j be s(7). Which is smaller: j or -47?
-47
Let h = -0.8 + 11.8. Let a = h - 11. Which is smaller: a or 1?
a
Suppose -4 = 5*g - 14. Let b be (0 - 2) + (g - 0). Are b and 1 equal?
False
Let y = -15 - -15.9. Let n = -1 + y. Which is greater: n or -1/3?
n
Let r be ((-127)/35)/((-36)/45). Let x = r + -30/7. Is x smaller than -1/2?
False
Let d be 11 - (-5 - -4)*2. Let v be ((-6)/4)/(d/26). Is -1 > v?
True
Let n = -33 - -20. Let k = 13.1 + n. Is k <= -1?
False
Suppose 3*d + 7 = -2. Let h(w) = 5*w**2 + 6*w + 5. Let y(l) = -11*l**2 - 13*l - 11. Let m(g) = 9*h(g) + 4*y(g). Let p be m(d). Which is bigger: p or 3?
p
Suppose 13*h - 10*h = -3. Which is smaller: h or 6/17?
h
Let z(h) = -2*h - 6. Let v be z(-14). Suppose 5*c - v - 27 = -2*i, -5*c + 3*i = -39. Is c > 9?
False
Let f be ((-26)/(-39))/(4/18). Which is greater: 0 or f?
f
Suppose 0 = i + 3*n + 88, 0 = 3*n - 2*n. Let g = 173/2 + i. Do -2 and g have different values?
True
Let g(s) = s**3 + 8*s**2 + 8*s + 5. Let o be g(-7). Let c = 0 - o. Which is smaller: c or -5?
-5
Let d be 46/3 - (-8)/(-24). Let z be 4/10 - 21/d. Which is smaller: -2 or z?
-2
Let l(p) = -p**2 + 7. Let y be l(3). Which is smaller: y or -0.09?
y
Let d = -92 - -193. Which is smaller: d or 100?
100
Suppose -2*z = -4*s + 7*s + 27, -z - 4*s = 26. Which is smaller: -5 or z?
z
Suppose 0 = -4*j + 2 + 6. Let p be j/13 - (-6)/(-39). Is p at least as big as 0?
True
Let i = -5 - 0. Let k = 2 - -2. Suppose -f + 2*u = 0, -26 = 3*f + 5*u - k. Do f and i have different values?
True
Let o be (-1 - -2)*3/(-6). Suppose 3 = -4*v - 3*t, -3*t - 3 = -7*v + 3*v. Which is bigger: v or o?
v
Let d = 15 + -12.9. Let s = d + -2. Which is smaller: s or -0.08?
-0.08
Suppose y = -y. Suppose 3*m = -3*z + 5 + 4, y = 5*m + 3*z - 13. Suppose 0 = 5*i - r - 2, -3*i + 4 = m*i - 2*r. Is -2/9 greater than i?
False
Let b be (-11)/(3 - 16/6). Let j = -12 - b. Let g be 6/j - 41/21. Is -1 greater than or equal to g?
True
Let z = 9 + 8. Let b = z + -23. Is -4 at most as big as b?
False
Let y be ((-16)/(-6) - 2)*1. Let j be 6/(-28) - 2/(-4). Do j and y have the same value?
False
Let p = -3.8 - -5.7. Let m = -3.5 + p. Is 1 bigger than m?
True
Let x = -13 - -7. Let v = 6 + x. Is -0.1 <= v?
True
Suppose -47 - 449 = 4*b. Is b greater than or equal to -123?
False
Suppose -8*y = -7*y. Let h(z) = z**3 + 2*z**2 - 2*z - 2. Let s be h(-2). Let a be (y - s)*1 + -2. Is a >= -2?
False
Let w = -8 + 8.2. Let r = -7 + 7.3. Let y = r - w. Is -1/2 smaller than y?
True
Let y = 3.98 + 0.02. Which is smaller: y or 0?
0
Let l = 0.6 + -0.5. Let c = -0.4 + l. Let n = c - -0.1. Which is greater: n or 0.1?
0.1
Let n = 0.5 + 0.7. Let a = n - 0.2. Is 5 < a?
False
Let x(d) = -d**2 - 6*d - 7. Let v be (3 - 1 - -1) + -8. Let b be x(v). Suppose 2 = -2*l - 0. Which is bigger: l or b?
l
Let u = -11.14 - -11. Let i = u - 5.86. Let h = i + 8. Which is smaller: h or 0.2?
0.2
Let a = -0.168 + 0.068. Which is smaller: 3 or a?
a
Let p = -4 + -3.8. Let m = p + 8. Which is smaller: -2/3 or m?
-2/3
Suppose -4 = 4*l + 8. Let y(x) = -x**2 - 4*x + 29. Let a be y(-8). Is l at most a?
