
False
Suppose a + 0 = 2, 38 = b + a. Let i be b/(-24) - 1/(-2). Is -1/20 > i?
True
Suppose 0 = -7*n + 5*n. Let u be (-1)/6*(-12)/3. Which is greater: u or n?
u
Let i(b) = b**3 + 4*b**2 - 4*b - 2. Let h be i(-5). Suppose 0 = -3*z + 3, 5*z = -k - 2*k - 52. Let c = 13 + k. Which is greater: h or c?
c
Let y = 1 + -1. Let b = -3 + 13. Let i be (-40)/(-225) + (-4)/b. Are i and y equal?
False
Let j be (-1)/(-21)*(-6)/4. Which is greater: j or 1?
1
Let g = 177/3224 + 1/104. Which is greater: g or -5?
g
Let w(r) = -r**3 - 13*r**2 - r + 11. Let s be w(-13). Is 25 bigger than s?
True
Let j be (-1)/(-1*(-3)/(-6)). Suppose j*x = -x. Does 6/7 = x?
False
Let m(l) = -l**3 + 3*l**2 + 2*l + 5. Let g be m(4). Let s be (-1 - g)*3/(-3). Let z = -2 - s. Is -1/6 equal to z?
False
Let a = -11.4 - -10. Let j = a - -0.9. Let y = -3 + 2.9. Which is bigger: y or j?
y
Let x = 7 + -4. Suppose 0 = x*k - 3*y + 30, -3*k - 4*y - 3 - 13 = 0. Which is smaller: k or -7?
k
Suppose -2*n + 6*n + 8 = 0. Let i be 2/(-10) - n/35. Is 1 < i?
False
Let k = 445 + -3125/7. Which is bigger: -2 or k?
k
Let c = -13 - -13. Which is greater: c or 4/9?
4/9
Let c be (-2)/201*(-1290)/(-84). Let j = 2/201 + c. Let h be -2*2*1/(-4). Is j smaller than h?
True
Suppose 3*u - 4*m + 5 = 0, 0 = 4*u - 3*m + 2*m - 15. Suppose -u - 4 = -3*y. Let g be 1/y - (-2)/(-6). Which is smaller: -4/5 or g?
-4/5
Suppose -10 = 2*j - 4*w, -5*j + 5*w + 6 = 16. Let c(k) = -k - 2. Let o be c(-4). Which is smaller: j or o?
j
Let k(c) = 12*c**3 + c**2 + 3*c + 2. Let u be k(-1). Let j be 32/u + (-3)/(-9). Which is greater: -1 or j?
-1
Suppose t = 5*t - 8. Suppose -3*h = -2*c + 10, h - 20 = -4*c - 4*h. Suppose -3*k + 8 + 3 = g, 0 = -c*k + g + 13. Which is bigger: t or k?
k
Let a(t) = t**3 - 19*t**2 + 20*t - 34. Let j be a(18). Let v be 20/6*6/5. Suppose -3*p + v = -p. Is p bigger than j?
False
Let g = 139.01 + -141. Let n = -2 - g. Let f = -0.11 - n. Which is smaller: f or 0.2?
f
Let t(s) = -s**3 + s**2 + s. Let b be t(0). Let g be (-3)/(3/(-3 + b)). Let p(n) = n**3 - 4*n**2 - 5*n + 4. Let y be p(5). Is y > g?
True
Suppose 0 = -p - 2 + 3. Is p at least as big as 1?
True
Suppose l - 5 = -2. Let r = 3 - l. Suppose r = -2*w + w. Is w not equal to 2/5?
True
Let o = 474 - 2371/5. Let v be 4*1*(-1)/(-1). Suppose 1 = -k + c, -v*k + 13 = -k + 5*c. Which is smaller: o or k?
o
Suppose -11 - 4 = 3*p, 0 = -4*k + 2*p - 6. Let m be k/6*12/8. Is -1/5 smaller than m?
False
Let d = 0.09 + -0.09. Is d at most 6?
True
Let b be 66/(-24) - -2 - 182/24. Which is bigger: -7 or b?
-7
Let u = -0.37 + 0.4. Let a = 16.87 - 17. Let h = u + a. Is h < -1?
False
Let v be (0 - 0)/((-46)/(-23)). Let j = -1780/9 + 198. Is j less than or equal to v?
False
Let n be (-4)/(-48) - (-1)/(-3). Let g = -2 - -5. Let d = g + -3. Which is smaller: n or d?
n
Let g = 27 - 25. Is g at least 2/15?
True
Suppose 4*w + 3 - 7 = 0. Let s be (-242)/186 + 2 - 30/45. Which is bigger: w or s?
w
Let c(n) = -2*n**2 - 2*n. Let t be c(-2). Suppose 3*q = -2*q + 20. Suppose -3*i - 19 + q = 0. Which is smaller: t or i?
i
Suppose -10 = 4*p - 6. Is p at least as big as 1/14?
False
Let v = -3/1346 + -16481/3365. Let x = -244 - -497/2. Let q = v + x. Which is smaller: q or 0.1?
q
Let k = -9.7 + 11.74. Let p = -0.04 + k. Let a = 10 + -10.1. Is p at least as big as a?
True
Let b(x) = -x**2 - 10*x - 1. Let i be b(-10). Let c be i/((-3)/(-9)) + -1. Which is smaller: -3 or c?
c
Let t be 16/(-24) + ((-5)/(-3) - 1). Is 1/50 > t?
True
Suppose 10 - 10 = -2*s. Which is smaller: s or 1?
s
Suppose 0 = b + b - 2. Let x = 9 + -5. Let q be (b + -1)/((-8)/x). Is q less than or equal to 2/5?
True
Let o(h) = -h**2 - 5*h + 4. Let m be o(-5). Suppose -4*u - 12 = -m. Let a(j) = j + 3. Let f be a(u). Which is smaller: 3/4 or f?
3/4
Let f be (20/6)/(2/3). Let t be (-1 - 2)/(2 + -3). Suppose f + t = 4*q. Is 1 < q?
True
Let p(x) = x**3 - 12*x**2 + 11*x - 3. Let i be 3/(-2)*44/(-6). Let f be p(i). Is f >= -3?
True
Suppose 10 = 2*s - 4*o, s + 3*o + 3 = 2*s. Let q = 12 - 4. Does q = s?
False
Let b be (-75)/20 - (-6)/8. Let i = b - -5. Is i less than 1?
False
Let p = -8 - -12. Which is smaller: p or -1/4?
-1/4
Let i be 1/(-4) - (-15)/(-4). Let h be (-107)/4*(2 + i). Let t = -753/14 + h. Do t and -1 have different values?
True
Let x(h) = h**3 - 8*h**2 + 8*h - 8. Let p(f) = -2*f**3 + 9*f**2 - 8*f + 8. Let i(q) = 2*p(q) + 3*x(q). Let v be i(-7). Is v at least as big as -16?
True
Let l be (-46)/(-10) + (-12)/20. Let r(z) = z**2 - 2*z - 3. Let u be r(-2). Which is bigger: l or u?
u
Suppose -4*d = -2*d. Let u be (0 + (-156)/(-14))*7. Let l = u + -544/7. Is l at most d?
False
Suppose -b - 5*v = -17, 2*b - 1 = 5*v + 3. Which is smaller: b or 0?
0
Suppose -11 = -b - f, 4*b - f + 2*f = 38. Suppose -l + 4*x - 7 = 0, -4*x - 29 = 3*l - 72. Is b less than l?
False
Let q be (33/(-12))/(-1*(-3)/(-48)). Is q >= 43?
True
Let o be -1 - 2/(-2 - -3). Suppose -3*v = 6, 3*v = 2*g + g - 15. Suppose g*n - 2*t + 21 = -6*t, 3*n + 3*t + 18 = 0. Is n < o?
False
Let g(n) = n**3 - 3*n**2 + n - 1. Let z be g(3). Let t be 15/42*z - 1. Let p = -31/6 - -5. Is p bigger than t?
True
Let i be -1 + (-1 - 1)*2. Suppose 0 = 2*r + 3 - 7. Suppose -2*m + 1 = -h, 2*m = h - r*h - 9. Is m greater than i?
True
Let w be (-603)/12 - (-3)/(-4). Let n = w - -123/2. Let g = -11 + n. Which is bigger: g or -2/9?
-2/9
Suppose 4*q = -3*i + 18, 0 = 2*i - 3*q - 2 + 7. Let w be (-7)/i + 2*2. Which is smaller: 0.3 or w?
0.3
Let s(x) = -2*x - 8. Let v be s(-4). Let c be 0 + (5 - 3) + v. Let b = 9 - 6. Which is greater: c or b?
b
Let c = 3/97 - 124/873. Let g = -5/36 + c. Which is bigger: 3 or g?
3
Let q(s) = -s**2 - 9*s + 10. Let y be q(-10). Let a be ((-1)/2*3)/(-9). Which is greater: a or y?
a
Let v(o) = -o**3 - 5*o**2 - 5*o - 4. Let l be v(-4). Are -4/7 and l unequal?
True
Let n(z) = -z**2 + 10*z - 4. Let v be n(9). Suppose 3*h = -2*h - v. Is -8/7 >= h?
False
Let w be (7 - 7)/(-1 + 2) - 3. Is w < -1?
True
Suppose -4*z - 18 = a, 0 = -0*a - a - z - 3. Suppose f + 5*v = 9, f - 4*v + 5 = -a*v. Is f at least -2/3?
False
Let l be 1/((-39)/(-14007) - 0). Let p = 359 - l. Suppose 26 - 29 = 3*b. Which is smaller: b or p?
b
Let v = -0.146 + -0.054. Do v and -17/3 have the same value?
False
Suppose -2*v + 2 + 2 = 0. Suppose -v*s = -s + 14. Are s and -13 nonequal?
True
Suppose -7*k + 4*k - 6 = 0. Is k at most -10/7?
True
Let n be (-14)/(-3) - 3/(-9). Suppose n = -5*y + 3*b, -3*b - 23 = y - 8*b. Let x be (6/9)/((-8)/(-6)). Are x and y nonequal?
True
Let g = -3 - -3. Suppose 0 = -k - k + 10, 3*u + k - 23 = g. Is u greater than 5?
True
Let k = -25 - -32. Let s = k + -6. Which is greater: s or -2/11?
s
Let t be 1/(2/(-4)) - 1. Suppose -4*y = o + 7, 0*o = 5*y - o + 2. Which is greater: y or t?
y
Suppose -123*t + 124*t + 2 = 0. Which is bigger: t or 7?
7
Let l be (-16)/(-12)*(-9)/(-42). Let q(c) = c + 4. Let m be q(-5). Is l at most as big as m?
False
Let o be (0 - 3)/(-9)*-3. Is 2/37 <= o?
False
Let i = -141 - -287/2. Let w = 24 - 17. Let y = 11 - w. Which is smaller: y or i?
i
Let g(s) = s**3 - s**2 - 3*s - 4. Let i be g(3). Let o = -1 - -6. Is i >= o?
True
Let d be (-5)/(105/(-138)) + (5 - 9). Is d less than or equal to 3?
True
Let y = -12 - -24. Is 12 greater than or equal to y?
True
Let t(c) = c**3 + 9*c**2 - 3*c - 9. Let j be t(-9). Suppose -4*m = 2*n - j, 5*m = n + 24 + 2. Which is greater: n or -2?
n
Suppose -u = -3*y - 17, -2*u - 5*y = u + 5. Suppose 5*t = 2*d - u - 1, 3*t - 4*d - 2 = 0. Which is greater: t or -3/4?
-3/4
Suppose g + 0*s = -5*s - 25, 4*g - 5*s - 25 = 0. Are 0 and g unequal?
False
Let x = -481 + 5285/11. Which is greater: x or 0.2?
0.2
Suppose -4*p + p + 4*w - 19 = 0, -5*p + 11 = 4*w. Let c be 4*p*6/8. Let n = c + 5/2. Is n <= -2?
False
Suppose -5*m - 6 = 19. Let v(y) = -21*y - 7. Let x(d) = -10*d - 3. Let i(g) = m*x(g) + 2*v(g). Let h be i(-1). Are -7 and h nonequal?
False
Let c = -5 - -1.8. Let k = c - -3. Suppose 0 = f + 2*f. Is k less than f?
True
Suppose -4*m - o = -5 + 4, -2*o + 2 = -m. Do 8/7 and m have different values?
True
Let y = 77 - 88. Is y less than -13?
False
Suppose 4*g + 18 - 2 = 0. Let v be ((-8)/12)/(g/(-6)). Which is smaller: v or 1/9?
v
Let t be -3 + 8 - (1 + 2). Suppose -2*o + 4 = t*o. Let z = o - 1. Which is greater: -1 or z?
z
Let b be (-2)/(-3)*3