y be (1 + b)*(-4)/u. Is -2 > y?
False
Let v(k) = k**2 - 5*k + 2. Let u(b) = -b**2 + 4*b - 1. Let n(y) = 4*u(y) + 5*v(y). Let c be n(9). Suppose -3*z + 0 = c. Do -1 and z have the same value?
False
Let y(j) = j**2 + 9*j + 1. Let g be y(-8). Let m = g - -7. Which is bigger: m or 2?
2
Let v = -0.1 + 0.1. Let y be (-5)/(-2)*4/25. Which is greater: y or v?
y
Let m = 107/78 + -4/3. Is -1 bigger than m?
False
Let x be (2/4)/(1/18). Let u be 12/15 + 1 + (-8)/10. Which is bigger: x or u?
x
Let x = 30 - 31. Which is bigger: x or -20/13?
x
Let l(v) = 2*v**2 + v + 2. Let a be l(-2). Suppose -4*s + 25 = 65. Let k be -2*s/a - 2. Which is greater: k or -4?
k
Let r(a) = 9*a - 7. Let c(v) = -5*v + 3. Let m(g) = 7*c(g) + 4*r(g). Let l be m(5). Let q be l*31/20 + 3. Which is smaller: q or -1?
-1
Let i be (6/(-9))/((-2)/(-12)). Which is bigger: i or -2/11?
-2/11
Let l(b) = b**3 - 3*b**2 - 4*b + 2. Let a be l(4). Let g be ((-10)/6)/(0 - 2). Which is smaller: a or g?
g
Let g(j) = -j + j - 5*j**2 + 3 - 4 + 4*j + 3*j**3. Let b be g(3). Suppose -17 = -5*r - b. Are -4 and r non-equal?
True
Let r be (-4)/10 + (-312)/(-30). Is 6 equal to r?
False
Suppose n - 3*n - 54 = -4*z, z + 5*n = 8. Is 14 smaller than z?
False
Suppose t + 330 = -2*t. Let f be (-75)/t*8/6. Which is smaller: 2 or f?
f
Let x = 3 + -2. Let z = -36 + 38. Is z < x?
False
Let a = -17 - -25. Let t = 5 - a. Do 1 and t have the same value?
False
Let o = -5 - -2. Is 2/15 > o?
True
Suppose 0*m - 3*m = 3, 8 = -3*k - 5*m. Which is bigger: k or -4/11?
-4/11
Let h be (-35)/7*(-1)/1. Let r = -3 - -9. Which is bigger: r or h?
r
Let s(a) = a**2. Suppose -5*y + 0*y = 3*o + 2, 4*y = 2*o + 16. Suppose 0 = -k - 1, i + y*k + 1 = -2. Let t be s(i). Is -2/7 greater than or equal to t?
False
Let i = 58/23 + -2215/851. Let b = 109528/263403 - 10/7119. Let s = i + b. Which is smaller: s or 1?
s
Let u be 2 + -1 - (1/3 - 0). Let v be (1 - 1) + 0/1. Which is smaller: v or u?
v
Let m = -64.3 + 64. Which is greater: -1/4 or m?
-1/4
Let k be 4*(3 - (3 - 2) - -7). Is k less than 35?
False
Let p = 20283/26 - 780. Is 0 less than or equal to p?
True
Let i = 3 - 0. Suppose -8 = -2*s - i*q, 0 = s - 4*q + 10 - 3. Which is greater: 0 or s?
s
Suppose 6*v - v - 30 = 0. Let k be v/(-27) + (-58)/(-18). Suppose -3 + 9 = 2*x. Is k equal to x?
True
Let u = -47 + 38. Which is smaller: u or 0.1?
u
Let y be 3/(-2)*(-8)/6. Which is smaller: y or 3?
y
Suppose 2*s + z = 13 - 3, 2 = s + 2*z. Let t = 3 + 0. Suppose 0 = -3*q - 0*q - 2*y - 8, 3*q - 12 = t*y. Is s equal to q?
False
Let x(p) = -p**3 - 11*p**2 - p - 10. Let l be x(-11). Let k be 0 - l*(-2)/(-2). Which is bigger: k or 1?
1
Let t be (-3 + 1)/(1 - 0). Let f be 5/(30/4) + t. Let w be (-1)/(-1) + (-4 - -1). Which is smaller: f or w?
w
Suppose 0 = -3*x + 12, 0 = -3*k + x - 2*x + 58. Which is greater: k or 17?
k
Let s = 2.8 + 0.2. Is s <= 0?
False
Suppose p + p = -5*o - 7, 0 = 2*o - 5*p + 26. Let y be o/(-9) + 2/(-6). Let f(q) = q**3 - q. Let u be f(-1). Is y at least as big as u?
True
Let f(t) = -t**3 - 6*t**2 - 4*t + 3. Let o be f(-5). Let i = o - -1. Suppose 0*q - 10 = 5*q. Is q less than i?
True
Let q = -28 - -27. Suppose -4 + 2 = -b, 3*g = b - 8. Is g equal to q?
False
Suppose 3*m + 33 = -0*m. Let h be (-8)/((-4)/2)*(-185)/74. Which is smaller: m or h?
m
Suppose -2*g - 3*k - 2*k - 11 = 0, g - 14 = 4*k. Let s be 3/6*-2 + g. Which is smaller: s or 1/4?
1/4
Let f = 2 + 0. Let g be (-1 + 1)*f/(-4). Let h = -338/7 - -48. Is h less than or equal to g?
True
Suppose -4*w = w - 10. Let o(l) = -l**3 + 17*l**2 - l + 15. Let c be o(17). Which is smaller: w or c?
c
Suppose 4*c - 4 = 3*c. Suppose 0*x - c*x = -8. Do -1 and x have the same value?
False
Suppose 0 = -2*w + 4. Suppose 2 = -w*n + 6. Suppose n*f + 6 = 0, -3*u + 2*u = f + 8. Is -5 bigger than u?
False
Let m(c) = -c**2 + 9*c + 9. Suppose 4*t - 50 = -5*f, f + 34 = 4*t - 2*f. Let n be m(t). Are -6 and n equal?
False
Let b = -29/4 - -7. Does b = -1?
False
Suppose -b - 3 = -4. Let r be 3/(-17)*6509/(-3). Let z = r + -383. Does b = z?
False
Let m = 67 + -80. Which is bigger: m or -1/6?
-1/6
Let a(u) = -u**2 - 2*u - 1. Let c be 0/((-3)/(6/(-4))). Suppose -6 + c = 3*v. Let l be a(v). Is l greater than or equal to 0?
False
Suppose 13*v - 14*v = -12. Which is greater: 11 or v?
v
Let c be 4/(4*1/2). Suppose c*q + 5*o - o = -12, -2*q + o = -8. Is 2 > q?
False
Let d = 4.13 + -4.3. Which is bigger: d or -1?
d
Let q(f) = f**2 + 8*f + 4. Let b be q(-5). Is b greater than -12?
True
Let n = 40 - 41. Suppose 0 = -g + 2 + 1. Suppose u + t - 11 = g*u, 2*t - 7 = -u. Is n at least as big as u?
True
Let f = -4063/9 - -452. Is f greater than -2/5?
True
Let z = 385/4 + -99. Do z and -2/13 have the same value?
False
Suppose 5 = 5*i - y, -4*i - 5*y - 25 = -0. Let x be (2/(-4))/((-5)/6). Is x > i?
True
Let b be (1/(-3))/(13/(-3) - -4). Let t be 0 - 1/(11/4). Is t at least as big as b?
False
Let l(c) = c**2 - 8*c + 12. Let p be l(7). Let h be 3/((-2)/((-8)/3)). Let v be (-25)/(-4) + h/(-16). Which is bigger: v or p?
v
Suppose 0 = -2*a - 2*y + 6, -5*a + 0 = 4*y - 15. Which is smaller: a or 1?
1
Let r be 0*2*1/(-2). Let v = -36 - -17. Let o = v - -18.93. Which is bigger: r or o?
r
Let x be (-4 - 20/(-5))/(-1). Which is smaller: 2/9 or x?
x
Let x(y) = -y**2 - 13*y + 6. Let f(s) = -s**2 - 14*s + 6. Let b(w) = 4*f(w) - 5*x(w). Let m be b(-10). Is m < 3?
False
Let x(h) = 2*h + 7. Let o be x(5). Suppose 0*n + n + 10 = 5*w, -n = 2*w + o. Which is greater: -16 or n?
n
Let w(m) = -m**2 - 8*m - 1. Let s be w(-8). Which is smaller: s or 3/7?
s
Suppose -f = -6*f + 70. Let y be (2 - f/4)/99. Let c = -145/858 - y. Which is smaller: -1 or c?
-1
Suppose 5*p + 15 = 2*p. Is -5 at least p?
True
Let z(u) = -u**2 - 10*u + 10. Let q be z(-8). Suppose 4*k - 4*o - o + q = 0, -10 = k - 3*o. Do k and -5 have the same value?
False
Let k be -8*(-2 - 15/(-10)). Which is smaller: 7 or k?
k
Suppose o = -2*o - 6. Let g be -1 + 0 + 375/(-525). Which is smaller: o or g?
o
Let x = -65.116 - -0.116. Are x and 1 nonequal?
True
Let z = 4 + -10. Which is smaller: -1/2 or z?
z
Suppose 2*i = 4*b - 3*i - 37, 5*b - 3*i - 30 = 0. Suppose 2*v + v - b = 0. Let j = v - 1. Are j and -1/5 non-equal?
True
Let p(u) = u - 3. Let r be p(3). Suppose 2*m + m = r. Is 8 greater than m?
True
Let k be (-8)/4*2/4. Let c be 3/(-6)*-2*1. Is c less than k?
False
Let n(j) = j - 5. Let w be n(6). Is w < -2/17?
False
Let o(i) = -3*i - 13. Let u be o(-10). Is 17 != u?
False
Let o = -1.95 - -2. Let r = -368 - -367. Which is bigger: o or r?
o
Let r be 1/(-3)*-3 - 2. Which is smaller: r or -1/54?
r
Suppose 5*s = -20, 8 = -3*w - 2*s - 0*s. Which is greater: w or 4/75?
4/75
Let b be ((-4)/(-8))/((-10)/(-4)). Suppose -5*c + 2*j - j - 3 = 0, 2*c + j = -4. Let p = 2 + c. Is b greater than or equal to p?
False
Let s = 391/13 + -30. Which is smaller: 1 or s?
s
Let c = -4.051 + 0.051. Is c greater than or equal to 0.06?
False
Let b = 10 - 5. Let g = -5 + b. Is 0.1 equal to g?
False
Let w = -2.7 - -2.2. Which is smaller: 0.11 or w?
w
Let f be 2/6 - 40/(-15). Suppose f*u - u - 2 = 0. Is 6/11 < u?
True
Let a be (5 - 3)*(-1)/2. Let d be 1*a/(1 + 0). Let y = d + 5. Which is smaller: y or 3?
3
Let z be 0*(0 + 1/3). Suppose z = -5*a + 4 + 6. Is a > 3/2?
True
Let z = 16/15 - 2/3. Let t(l) be the second derivative of l**3/6 + l**2 + l. Let u be t(-1). Is u less than z?
False
Let p = -1.86 + 1.7. Let t = p + -0.04. Let i = 0.1 - 0.1. Is t less than i?
True
Let g be (-9)/15 - (-8)/30. Which is smaller: g or 2/11?
g
Let x be ((-7)/(-2)*2)/1. Let h = 27 - 18. Is x greater than h?
False
Let l = -49.6 + 50. Is 2/13 greater than or equal to l?
False
Let n(b) = b**2 - 6*b + 1. Let l = 4 - -2. Let u be n(l). Let y be ((-8)/(-10))/(u/(-5)). Is -4 smaller than y?
False
Suppose -2*r = 1 - 9. Let i be r/(-24) + 57/(-36). Suppose 0 = 2*m - 0*m + 4. Which is smaller: m or i?
m
Suppose -c - 3*c - 28 = 0. Let m(v) = v + 8. Let b be m(c). Which is smaller: -2 or b?
-2
Let s be ((-6)/(-435))/((-3)/15). Which is smaller: 0 or s?
s
Let v(y) = y**3 - 2*y**2 - 8*y + 1. Let n be v(4). Does n = 1/73?
False
Let b be 2*(2/13 + 54/156). Which is greater: -2/171 or b?
b
Suppose 4*k = 5*b + k - 80, -2*k = -3*b + 49. Are b and 12 nonequal?
True
Let o = -3/40 - -61/280. Suppose -35 = 6*k + 31.