 Let b = p - 3. Is 1 less than or equal to b?
True
Suppose 3*w + w = 4. Let j = -33 + 34. Is w bigger than j?
False
Suppose 5*z + 21 - 1 = 0. Let c = 10 + -7. Suppose 2*r - 5*r = y + 6, 0 = 3*r + c*y. Which is bigger: r or z?
r
Let l be (2 + -2)/6 + -5. Which is greater: l or -34/9?
-34/9
Suppose 3*i + 4 + 8 = 3*a, 0 = -4*i + a - 7. Let q be 29/35 - 2/5. Are i and q non-equal?
True
Let f = 6 - 2. Suppose 5*z + x = -4*x + 25, 5*z = -f*x + 20. Is z greater than 1?
False
Let a = 1.8 - -0.01. Let w = a + 0.19. Which is smaller: 2/19 or w?
2/19
Let r = -39/4 - -33/4. Suppose 5 = 3*q - 7. Let f = 3 - q. Which is greater: f or r?
f
Let c(i) = -2*i - 9. Let t be c(-7). Let n(u) = -u**3 - 6*u**2 - 7*u - 7. Let o be n(-5). Suppose -t*j = -2*j - o. Which is greater: j or -1/5?
j
Let q be 1/(1 + 12/(-9)). Let l be (q/(6/(-4)))/(-1). Which is bigger: l or -3?
l
Let a = -0.98 + 0.08. Let d = -1 + 0. Let h = a - d. Which is bigger: h or 2?
2
Suppose 5*w - 66 = -31. Suppose 5*o + 5 = 45. Which is smaller: w or o?
w
Let s = -12 + 14. Let q = -1 + -2. Let x be (0/q)/s - -2. Which is greater: x or 3?
3
Suppose -2*l = 2*l. Suppose 3*p - 5*m + 14 = l, 2*p + m = 4*p. Let r be (8/(-2) - -2)/(-1). Do p and r have the same value?
True
Suppose -h + 1 + 12 = 0. Let y = h + -9. Suppose n + 1 = -3*d, d + y + 8 = -2*n. Is n less than or equal to -6?
True
Let h = 856/3 - 289. Suppose -2 = y, -2*c - y - 10 = -0*c. Let n = h - c. Which is smaller: 1 or n?
n
Let a be (-10)/(-2) - 2 - 2. Suppose 3*n + 2 = -5*p, -a - 7 = -4*n + 4*p. Let v be 0 - n - 1/(-1). Is v bigger than 0?
False
Let w be ((-2)/2)/((-8)/(-40)). Let g be 36/w*30/9. Let d be g/9 - (-1 - 1). Are d and -1 non-equal?
True
Suppose -s + 4*s = 6. Suppose -2*q + 4*z + 0*z + 20 = 0, 5*z = 0. Which is greater: s or q?
q
Let p = -7 - -12. Suppose 0 = 5*d - 5*h, h + 4 - p = 0. Which is bigger: d or 2/15?
d
Let v be (-4 - 0)/1 - -2. Which is smaller: -3 or v?
-3
Let x = -4 - -6. Let u be 20*(-1)/(-5 + 4). Let z = -18 + u. Is x at least z?
True
Suppose -b = 5*d + 4, -3*b - 2*d + 3*d = -4. Which is greater: b or 2/41?
b
Let o = -10 - 28. Is -0.1 < o?
False
Let x be ((0/3)/(-2))/(-2). Let r be (-2)/(1 + (x - -1)). Is r less than or equal to 0?
True
Let u = 1 + 3. Let o be (u/11)/4*-2. Which is greater: 1/5 or o?
1/5
Let m be ((-16)/(-40))/(2/10). Suppose s - 3*s = m. Is -1 equal to s?
True
Let n be (69/9 + 2)/(4/12). Is n bigger than 28?
True
Let a(n) = n**2 + 12*n + 7. Let x be a(-15). Let o be (-1)/4 - (-25)/x. Which is greater: -1 or o?
o
Let d(n) = -2*n**2 + 5*n + 8. Let f be d(5). Let t = f - -22. Which is smaller: 6 or t?
t
Let b(u) = u**3 - 11*u**2 + 9*u + 11. Let n be b(10). Is 1/9 at least as big as n?
False
Let v = 2.9 - 2.87. Which is bigger: v or -4?
v
Let g = -11 + 2. Which is smaller: -7 or g?
g
Let l(q) = -q - 2. Let w be l(-5). Suppose -3*i + i + 2 = 0. Is w at most i?
False
Let z = -24 + 261/11. Suppose -5*o = -4*u - 17, 0*o + o - 4*u - 13 = 0. Is o > z?
True
Let k = -4/25 + -13/75. Let s = -1 + 1. Which is greater: k or s?
s
Suppose -5*g - 4*p = -120, -p - 89 = g - 4*g. Which is bigger: g or 1?
g
Let p be 2*-3*(-3)/(-18). Is 2/9 at least p?
True
Let j(c) = -c**3 - 7*c**2 - 4*c + 7. Let d be j(-5). Let a = 23 + d. Which is greater: -2/7 or a?
a
Suppose i = -i + p + 14, 0 = 2*i - 2*p - 10. Let n = 8 - i. Is n less than -3/7?
True
Let y = 10.8 - 10. Let n = 0.6 - y. Is 2/11 at least n?
True
Let b = 83539/3 + -28136. Let f = -287 - b. Let a(n) = 2*n - 11. Let c be a(7). Which is smaller: c or f?
f
Let i be -1 + -1 - (-12)/12. Do i and -1 have the same value?
True
Let z = 135 - 55. Is 80 smaller than z?
False
Let t = 4/15 + -29/165. Which is greater: 0 or t?
t
Let l = 190 - 96. Which is smaller: -1 or l?
-1
Let f = -24 - -24. Which is greater: f or 4/7?
4/7
Let q be 3/((8/12)/(2/(-6))). Which is bigger: q or -2/9?
-2/9
Let z(o) = 4*o**3 + 3*o**2 - 2. Let v be z(-3). Which is smaller: v or -82?
v
Let n be (-4)/7 + (-26)/(-21). Is -11 greater than or equal to n?
False
Let t(i) = 0*i + i**2 + 4 + i**3 - 2*i - 5. Let c be t(-1). Is c smaller than -2/17?
False
Suppose 0 + 9 = 3*t + y, 2*y = -6. Let x be (0 - -8) + 2/2. Let c(s) = -s + 13. Let h be c(x). Is h bigger than t?
False
Let w = -7.92 + -0.08. Let k = 10 + w. Is 1/3 at least as big as k?
False
Let a = 5 + 0. Suppose 5*b = -0*i - i - 9, 0 = -a*i - b - 45. Let h be 4/(-14)*(-21)/i. Which is smaller: 2 or h?
h
Let f(k) = k**3 - 5*k**2 - 6*k + 1. Let v be f(6). Let z be (4 + -3)/(v - 0). Let a be (-15)/(-18) + (0 - z). Is 1 less than a?
False
Let p(y) = y**2 - y. Let f be p(0). Let x be (-1 - 0)*f/4. Is 0 <= x?
True
Let t(u) = 2*u**2 + u - 1. Let q be t(-2). Suppose -q*g - 3*f + 18 = 0, -2*f + 11 = -0*g + 3*g. Let y be 4 + g/(9/(-6)). Is 3 not equal to y?
True
Let u = 9 + -8.78. Is 2 greater than u?
True
Let l(h) = h**3 + 6*h**2 + 6*h + 5. Let p be l(-5). Suppose -3*t = -p*t - 3. Is -2/15 > t?
False
Let k be (-2)/(16/12 + -1). Let a be ((-12)/27)/(28/k). Is 1 at most a?
False
Let h = -31 - -25. Does -20/3 = h?
False
Let a = 35/176 - 3/22. Which is bigger: a or -1?
a
Suppose 41 = 4*k + 3*b, 5*k - 4*b = -0*k + 90. Suppose -5*c - 9 - 1 = 0, 4*c + k = 3*w. Is w >= -2?
True
Let j = 2/23 + -121/69. Let n = j + 17/12. Is n < 2/9?
True
Suppose a + a + 2*x - 50 = 0, 3*a - 5*x - 75 = 0. Let o be 13/(-5) - 10/a. Is -3 less than or equal to o?
True
Let h be 1*-2 + 12/42. Are h and -2 unequal?
True
Let n be -5*(0 - 4/10). Suppose 3*i - 3 = -4*p - 0, 4*p = 2*i - n. Is p at least as big as 0?
True
Let a = -3 - -7. Suppose a*g - 3 = 1. Is g >= 1/6?
True
Let t = 36 + -11. Is 25 at most t?
True
Let a be 64/112 - (-586)/(-70). Which is smaller: -8 or a?
-8
Suppose 7*b - 2*b = 0. Let h = b + 1. Which is greater: h or 1/7?
h
Let i(o) = 11*o + 8. Let q be i(-1). Which is greater: -6 or q?
q
Let q = 3 - -1. Let m = 3.8 - q. Do -0.1 and m have different values?
True
Let l = -27 - -41. Are 14 and l nonequal?
False
Suppose -5*h = -l + 12, 0*h - 2 = -2*l - h. Suppose l*m = -s - 3, 2*m = -3*m + 3*s + 9. Is m at least as big as 3/11?
False
Let s(r) = r**3 + 7*r**2 + r + 10. Let i be s(-5). Suppose -3*z + 2*n + 1 = -4*z, 5*z = -2*n + 3. Let h be 0/z - (-33)/i. Which is greater: 0 or h?
h
Let p = 115369/13 - 2842182/299. Let v = p + 631. Let h = -22 - -23. Is v < h?
True
Let l(g) = -g**2 - 12*g - 12. Let a be l(-11). Is a equal to -2?
False
Let p(y) = 6*y - 1. Let g be p(1). Suppose -5*w = -3*q + 20, -31 + 11 = g*q + 5*w. Suppose -7 = -4*f + 3*u, -f - 2*u = -5*f + 6. Do f and q have the same value?
False
Let g be -3 - (3 + -23 - -3). Suppose 2*f + 3*v + g = -0*v, -12 = 3*v. Let u be f*(1 - 2 - -2). Do u and 0 have the same value?
False
Suppose 7 + 2 = 3*s. Which is smaller: s or 4?
s
Suppose 0 = 5*g - o - 31, 4*o - 7 + 26 = 5*g. Let m be g*5/(-10) - -3. Let v = 0.37 - 0.07. Is v <= m?
False
Suppose 2*r = -1 + 3. Let z be ((-10)/(-8))/((-6)/(-72)). Let s be (-10)/z + 2/3. Is s < r?
True
Suppose 15 + 0 = 3*o. Suppose -o*v - b = -8, v + 2*b = 4*b - 5. Let t be 2/((-24)/(-10)) - 1. Are v and t equal?
False
Let b = -75 + 77. Which is smaller: 11 or b?
b
Let x be (703 + 0)*3/24. Let j be 88*(-4)/(-3 + -1). Let a = j - x. Which is smaller: a or 0?
0
Let j = 6 + 1. Let z = 9 - j. Let i = z + 2. Are 3 and i unequal?
True
Let v(s) = s**2 + 6*s. Let n be v(-6). Are n and -2/17 unequal?
True
Let v = 0.04 + 10.46. Let t = 1.5 - v. Is t not equal to -0.1?
True
Let j(h) = -h**3 + 8*h**2 - 8*h + 2. Let r be j(7). Let y be r/2 - (2 - 4). Which is smaller: y or 2?
y
Let d be (-6)/(-4)*30/9. Suppose -d*x + r = -14, 10 + 6 = -4*r. Suppose 4*o - 2*w = -4*w - x, -3*w = 5*o. Do -3 and o have the same value?
True
Let m(p) = -4 + 2 - 4 - 2 + 2*p. Let w be m(4). Are -0.9 and w equal?
False
Let i be (6*(-6)/9)/(-2). Let o be 9/5 + i/(-1). Which is smaller: 0 or o?
o
Suppose -s - 4*s + 75 = 5*q, -12 = -3*s. Let b = -4 + q. Which is bigger: 8 or b?
8
Let g = 0.3 - -1.2. Let m = -0.8 + g. Let n = m + -0.7. Is 0.3 smaller than n?
False
Let w = -12.7 + 9.7. Let x = 0.3 - 0.1. Let m = 0.3 - x. Is m > w?
True
Let p = 5.2 - 4. Which is bigger: p or 2/9?
p
Let m = -0.4 + 0.4. Let a = 1 + m. Let p = 15 + -13. Which is smaller: p or a?
a
Suppose -u = -i - 12, 2*i + 5*u = -i - 12. Let f = 15 + i. Which is smaller: 5 or f?
5
Sup