er than p?
True
Suppose 3*g + 153604 = g. Let x = -13440254/175 - g. Let b = -3/25 + x. Which is greater: 0 or b?
b
Let v = -0.7 - -5.7. Which is smaller: v or 0?
0
Let r = 4/9 + -1/3. Does r = 6?
False
Suppose -s + 6 = s. Let h be 0 + -2 + s + 2. Suppose -6 = h*q - 3. Which is smaller: -2/7 or q?
q
Suppose 0*g - 5 = -5*g - 5*m, 2*m + 4 = g. Let b be ((-1)/g)/((-9)/(-18)). Which is bigger: -2 or b?
b
Let u be (-1)/(-2) + (-9)/6. Let h = 105/4 + -27. Which is smaller: u or h?
u
Let b be -33*(4/(-12) - -1). Are -22 and b equal?
True
Let b be (15/(-35))/(8/(-28)). Let j = 7 + -5. Is j less than or equal to b?
False
Let h = 5.5 - 6. Let j = h - -0.1. Which is smaller: 2/7 or j?
j
Let h(c) = -c**3 + 5*c**2 + 7*c - 5. Suppose -16 = -4*q + 8. Let o be h(q). Which is greater: -6/13 or o?
o
Let y(l) = l. Let x be y(0). Let z be (-5)/(-3) + -5*8/40. Which is smaller: z or x?
x
Suppose -z + 2*z - 3 = 0, 171 = -5*u - 3*z. Which is greater: -35 or u?
-35
Let g = 5 + -5.2. Is g < 0.7?
True
Let t be -4*1 + 996/160. Let p = t + -8/5. Which is smaller: p or 1?
p
Suppose 6*q - 4*q - 5*w + 11 = 0, -5 = -5*w. Which is smaller: -6 or q?
-6
Suppose -3*z - z = -60. Let t be 4/6*z/(-10). Which is smaller: 2/5 or t?
t
Let d be 2 - 1 - (-5 + 6). Let x(t) = t - 1. Let f be x(d). Which is greater: f or -4/7?
-4/7
Let b(q) = -q**2 + 2*q + 7. Suppose 0 = 3*v + 5*c - 25, -1 = -c + 1. Let h be b(v). Are h and -8 non-equal?
False
Let r = 3 + -9. Let t = 7 + r. Which is smaller: t or 6?
t
Suppose -4*x + 0 = 2*i + 6, -x - 14 = 3*i. Which is smaller: -7 or x?
-7
Suppose -3*a - 2 + 11 = 0. Let t(f) = -2 + a*f + 3 + 0*f. Let r be t(-1). Is r < -1/2?
True
Let t be ((-7)/((-35)/4))/((-76)/30). Which is greater: t or 1?
1
Suppose n + 25 = 5*w, 2*w + 22 = 5*w - 2*n. Is w > 4?
False
Let g(c) = -c**2 - 5*c + 2. Let n be g(-5). Suppose 0 = -n*w - 4 + 6. Is w at least as big as 0?
True
Let i(r) = -r**3 + 5*r**2 + 1. Let t be i(5). Let p be (-10)/3 - t/(-3). Let n = -5 - p. Is n greater than or equal to -3?
True
Let l(n) = n**2 + 2*n + 1. Let d be l(-2). Which is smaller: 1/20 or d?
1/20
Let u be 18/24 + 2 + -2. Is 0.1 < u?
True
Suppose 2*a = 4*x - 34, 5*a - 6*x + x + 65 = 0. Is a at most as big as -9?
True
Suppose -3*u = -2*u. Suppose -3*s + 5*y - 11 = u, 2*y = s - 6*s + 23. Which is bigger: 2 or s?
s
Let v(p) = -p**3 - 5*p**2 - 3*p - 1. Let w be v(-2). Is -6 less than w?
False
Suppose -3*g - 7 = -1. Which is bigger: g or -1/8?
-1/8
Let f(n) = n**2 - 3*n - 7. Let c be f(5). Suppose 0 = -c*g - 1 - 5. Let r(y) = -4*y + 43. Let m be r(11). Is g > m?
False
Let k = -15 - -21. Suppose -k*l + l = -45. Suppose 25 = -4*g + l. Which is bigger: -1 or g?
-1
Let y = 3 - -3. Let h = -13 + y. Let f = h + 6.9. Which is smaller: f or -2/9?
-2/9
Let i = -11 - -13. Suppose 7 = -4*m - 1, i*m + 5 = -r. Which is bigger: r or -1/4?
-1/4
Let z = 18 - 26. Let h = 7.9 + z. Which is greater: h or 0.05?
0.05
Let i be (-36)/(-9) + 16/(-6). Which is bigger: 0 or i?
i
Suppose -v = -3*l - 5, 0 = -l + 3*l. Let p = v + -2. Suppose 0 = -g - p - 5. Do -8 and g have the same value?
True
Let n = 1 - -5. Let j = n - 9.4. Let r = j - -3. Is r at least 0?
False
Let z = 4 + -2. Suppose -3*t - 3*q = 2*q - 12, -z*q + 11 = -5*t. Let b be (4/(-1))/2 + (-65)/(-40). Is b bigger than t?
True
Suppose 0*l - 3 = l. Let y be 6/l*(-2)/4. Let m be 6/45*-3 + y. Which is smaller: 0 or m?
0
Suppose 4*y - 67 = 3*z, -2*y + 16 = 2*z - 0*z. Is 13 <= y?
True
Suppose 12 = 3*u + 5*z - 11, -2*u - z + 13 = 0. Which is greater: 8 or u?
8
Suppose -m + t = 0, -8 = 2*m + 5*t - 22. Suppose 4 = -0*b + m*b. Which is bigger: b or 5?
5
Suppose -a + 4*m - 2 = 9, -5*a = 3*m - 37. Is a at least 3?
True
Let q = -4 - 3. Let x = -6 - q. Are x and 2/9 unequal?
True
Let j be 10/(-6) - 3/(-3). Is 0 equal to j?
False
Suppose -5*n - 2*i = -5*i + 173, 4*i = -4*n - 164. Which is smaller: -1/2 or n?
n
Let s be 2/(2 - 1)*2. Suppose h - 1 = 4*p - 4, s*p - 5*h = -17. Suppose 3*o - 7 = -4*i - 0*o, o = -p*i + 3. Are i and -1/3 equal?
False
Suppose -2*b + 3*b = 0. Suppose 4*w + 5*m + 3 = -6, -2*m - 26 = -4*w. Suppose b = p + w*p. Which is bigger: -1/4 or p?
p
Let q = -0.01 - -9.01. Let g = q - 3. Let v = g + -6.1. Is -2/11 < v?
True
Let d(b) = -b + 10. Let n be d(8). Suppose -2 - 2 = -n*r. Let u = -3 - -2.9. Is r greater than or equal to u?
True
Suppose -2*d = -5*d. Let i be (-2)/(-5) - (-280)/50. Which is bigger: d or i?
i
Let q = -109 + 110. Which is smaller: q or 2/257?
2/257
Let p be -1 + (1 - (5 + -10)). Which is bigger: p or -2?
p
Let n(c) = -2*c + 2. Let g be n(3). Let k be 0/(-6) + (-1)/g. Which is greater: k or -1?
k
Suppose 0 = 5*y - 10, -5*y = -2*r - 3 + 9. Suppose -v - 5*f + r = -2*f, 2*v - 5*f = 27. Are v and 11 nonequal?
False
Let q = -5.5 + 0.5. Let o = 6.8 - -0.2. Let l = q + o. Is l equal to 1?
False
Let j = 72 - 70. Which is bigger: 1 or j?
j
Let x = 7 + -6. Let g be (x - 0) + 21/(-15). Are 0 and g equal?
False
Suppose -9*y + 6 = -12. Is 32/11 greater than y?
True
Let l = -1 - -3. Let b = 2 - l. Let w be 4/6 + (1 - 1). Is w bigger than b?
True
Suppose 2*m + 4*v - 16 = 0, 3*v = -4*m - 0*m + 12. Suppose 3*h - 5*h + 14 = m. Let s(t) = 3*t**2 + 4*t + 3. Let y be s(-2). Is h at most as big as y?
True
Let g = -150 - -1354/9. Is g > -1?
True
Let k = -1 - -1. Let x = 2305/3 - 779. Let o = x + 163/15. Which is bigger: o or k?
o
Let q = 2 - 0. Suppose 0*n - 4 = q*n. Let g be (-1)/(-3) - 8/6. Which is greater: g or n?
g
Let w = -6 - -11. Suppose 5*j + 20 = r - 10, j - 18 = w*r. Are -7 and j equal?
True
Let w be ((-33)/2)/((-119)/(-34)). Which is bigger: w or -6?
w
Suppose 0 = -9*a + 14*a - 790. Is 159 bigger than a?
True
Let p be (2*(2 + -3))/(-2). Suppose -4*z - 330 = z. Let t be (-98)/z + (-6)/(-33). Is t <= p?
False
Let u(f) = f + 2. Suppose 3*m + 0*h + 25 = 2*h, 10 = -5*m - 3*h. Let d be u(m). Let x = -6 - d. Is x at least as big as -3?
True
Let i be (-15)/18 - 4/(-12)*-1. Which is smaller: i or -1?
i
Let r(j) = j**3 - 18*j**2 + 15*j + 13. Let n be r(17). Which is smaller: n or -22?
-22
Let a be ((-18)/(-8))/((-4)/32). Let h be ((-3)/a*2)/(-1). Let m be ((-1)/(-1))/((-2)/2). Is m not equal to h?
True
Let f(l) = l**2 - l - 2. Let m be f(2). Let q = -92 - -177/2. Let b = 3 + q. Which is greater: m or b?
m
Let a be 1/(4/(-8)*-41). Which is bigger: a or 0?
a
Let s = -101/52 + 22/13. Are 0.005 and s equal?
False
Let x = -0.41 + 0.79. Let w = x - 0.08. Let h = w - 1.3. Is h >= -2?
True
Let m(y) = -2*y + 25. Let v be m(14). Is v at least -1?
False
Let o be (-11)/6 - 5/(-30). Suppose 2*h + 4*x + 20 = 0, -h = -4*h + 5*x + 14. Is h at least o?
False
Let s be 2/24 - (-2)/(-6). Is s greater than or equal to 0.1?
False
Let d = -9 - -9.1. Is d greater than or equal to 1/3?
False
Let y(w) = -w**3 + 2*w**2 + 6*w - 1. Let z(o) = -o**3 + 3*o**2 + 7*o - 1. Let d(b) = -7*y(b) + 6*z(b). Let p be d(-3). Is p bigger than 10?
False
Let n be ((-1 - -6) + -4)/((-52)/(-2)). Which is greater: n or -1?
n
Suppose -5*g - 4*y + 250 = 0, -22 = -g + 5*y + 57. Is g at most as big as 53?
False
Let v = -3 - -2. Suppose 3*n - 16 = 11. Suppose -4 - n = -3*t + 4*c, -c = -3*t + 1. Are t and v unequal?
False
Let a = 0 + 1. Suppose 4*q - 6 = 3*j + 11, 10 = 5*q. Let i = -2 - j. Is a less than i?
False
Let y = 1 - 3. Let a = 3 + y. Let m be a - 2/(-2) - 1. Is -1 bigger than m?
False
Let a = -9 - -26/3. Suppose 0 = w + 3*v + 1 + 6, v = w - 5. Suppose 2*y + 6 = t - 3*t, w*t - 4*y - 18 = 0. Which is bigger: t or a?
t
Let a be (-4)/(-22) + 608/44. Suppose -3*t + 2 = a. Let r = t + 9. Which is smaller: 6 or r?
r
Let h be (-87)/(-52) + (-3)/4. Let k = -61/52 + h. Let s = -4 + 3. Is k smaller than s?
False
Let x = -2 - -2. Suppose -10 = -2*a, z + 0*z - 3*a + 13 = x. Let j(o) = -o + 2. Let r be j(z). Is 1 at least r?
True
Suppose -5 = -4*q + 3. Let x = -10 + q. Is x <= -8?
True
Let d = -3 + 0. Let n be (-6 - d)*(-8)/6. Is n equal to 3?
False
Suppose 0*w - w + 4 = 0. Is w greater than 5?
False
Let l = 2/1807 - -101186/5421. Let q = l - 64/3. Let x(w) = -w - 6. Let i be x(-2). Which is smaller: q or i?
i
Let m(q) = 7*q - 3. Let s be m(-3). Is s >= -23?
False
Let a(k) = 9*k - 7. Let f(s) = s - 1. Let y(h) = -a(h) + 6*f(h). Let j be y(5). Let p be (-4)/(-6)*6/j. Which is greater: -1 or p?
p
Suppose -x = -4*l + 5, 132 - 39 