+ 1. Let k be y(-5). Let s be (-12)/4 - -2 - -1. Suppose s = -2*z - 3*o - 6, 2*z + 2*o + 6 = -2*o. Is z > k?
False
Let o(v) = v**2 - 5*v. Let l be o(5). Suppose -4*a = -l*a + 4*x + 20, 4*a - 3*x - 15 = 0. Let q be 11/(-4) + (a - -2). Which is smaller: q or 0.1?
q
Suppose -5 + 27 = -2*d. Let y = d + 18. Is y <= 2?
False
Let o = 2/1611 - -4811/17721. Which is smaller: 1 or o?
o
Suppose -3*s + 2*s = -3. Let o be 2/((2 - s)/(-2)). Suppose 2*j - 6*j = o. Which is smaller: -2/9 or j?
j
Let x = 6 - 10. Let b(w) = -w**3 - 4*w**2 - 2*w - 1. Let r be b(-3). Is r at least as big as x?
True
Suppose 0*b = -2*b. Let q be (-2)/8 + (-2)/(-8). Suppose 5*m - 15 + 5 = q. Is b at most as big as m?
True
Let f be (-10)/3*78/8. Let y be -2 + 2 - (-33 + 1). Let u = y + f. Which is bigger: u or -1?
u
Let d(c) = -5*c**3 + c**2 - 8*c. Let w(j) = -11*j**3 + j**2 - 17*j. Let f(r) = -9*d(r) + 4*w(r). Let a be f(4). Is 0 at most as big as a?
True
Let n be (-12)/(-3) - 2*-1. Suppose -5*t = -h + 27, -3*h + 2*t - n*t = 14. Let b be ((-4)/h + 5)/2. Is 1 bigger than b?
False
Let j = 2/8255 + -33122/421005. Is j less than -1?
False
Suppose -l = 4*l. Suppose -3*a + 0 + 6 = l. Suppose 4 = a*c - 0. Is c >= 2?
True
Let q be (27/(-12))/((-39)/16). Is q at most 1?
True
Let g = 1.1 + 1.9. Which is bigger: g or -2?
g
Let b = 111 - 124. Which is bigger: -14 or b?
b
Let b be (-68)/18 - 76/342. Is -3 < b?
False
Let j(v) = v**2 + 4*v - 3. Let d be j(-4). Let b = 7 + -7.7. Let m = -0.3 + b. Is d not equal to m?
True
Suppose 0*c + 20 = 4*c. Suppose 3*f + 3*b = 6, 2*b = c*f + b + 8. Which is greater: -2/29 or f?
-2/29
Let l(g) = -g**2 - 2*g. Let b be l(-3). Let z be -2*(-5)/(-2)*-1. Let h = -8 + z. Do h and b have different values?
False
Let o = 60 + -55.2. Let p = 0.8 - o. Let f = p + 2. Which is smaller: 0 or f?
f
Let t = -4 + 7. Let j = -1 + t. Let g = -1 - -3. Is j less than g?
False
Suppose -2*c + 2 = 4*s + 8, 2*s = -4*c + 18. Suppose 5*u - 2 = c*u. Is u <= 0?
True
Let l = 7 - 10. Let v be 401/l + (-1)/3. Let u = 672/5 + v. Which is smaller: 1 or u?
u
Suppose -5*f + 2 + 3 = y, -20 = -3*f - 4*y. Let q = 7 - 4. Suppose 0 = -4*u + 3*h + 9, -3*u + 8*u + q*h = -9. Is u equal to f?
True
Let z(m) = -m**2 - 4*m + 5. Let y be z(-5). Let w = -0.16 + -1.24. Let c = w + 0.4. Which is bigger: y or c?
y
Let f(p) = -2*p - 7. Let h(r) = -1. Let z(c) = f(c) + 6*h(c). Let l be z(-11). Let w be (-1)/3*l/12. Which is smaller: 1 or w?
w
Let g = -13 + 22. Suppose g = 3*h + 4*a, -12 = -4*a - 0*a. Let z = -3 - -3. Is h bigger than z?
False
Let h = -5 - -11/2. Which is smaller: h or 0.04?
0.04
Suppose j + 18 = -j. Which is smaller: -11 or j?
-11
Suppose 4*b - 65 = 5*z, b - z = -b + 25. Let f be ((-2)/b)/((-12)/15). Is f smaller than -1/5?
False
Let h be 2 + -4*2/(-4). Suppose -5*n - s = -9 - 3, h*n - 15 = s. Let u be 2*n/6*-1. Which is smaller: 2/7 or u?
u
Let h be ((-1)/3)/(-19 + 34). Which is greater: 0.2 or h?
0.2
Let z(u) = u**2 + 5*u + 2. Let p be z(-5). Suppose -3*s = p*s - 15. Suppose 4 - 12 = -4*b. Is b at most s?
True
Suppose 4*s + 0*s = -4. Let b = 0.17 - -0.03. Is b smaller than s?
False
Let n be (2 - 1413/305) + 3. Let q = n - -2/61. Let p be (-2)/(-2) - (0 - -1). Is q less than or equal to p?
False
Suppose -2*s + 4*b = -2, -6*s + s + 5*b = 0. Suppose 15 = -u - 5*h + 7, 19 = u - 4*h. Let x be (-2)/u - 15/(-21). Do x and s have different values?
True
Suppose 0 = 4*b - 5*y - 41, -b - 4*y = -2 - 3. Let a be (-2)/4 - b/18. Suppose -w + 3 = 2, -h - 4*w + 3 = 0. Is h smaller than a?
False
Let f be 58/15 - 4/(-30). Suppose -f*y + 3*y - 1 = 0. Which is smaller: -1/4 or y?
y
Let i(o) = o**3 - 4*o**2 + 2*o - 6. Let n be i(4). Suppose 2*h = -5*u + 17, -5*u + 7*u - n*h - 4 = 0. Let t = u + 0. Which is smaller: t or -1/2?
-1/2
Suppose 5*w = -6*w - 110. Which is greater: -2 or w?
-2
Let t be 4/(-14) + (-48)/28. Let y be (-10)/(-5)*t/(-4). Which is smaller: 0.06 or y?
0.06
Let x = 128 + -127. Let d = 0.3 + -0.1. Are x and d equal?
False
Let v be (-3)/(-2)*20/(-195). Is 27 at most v?
False
Let x be 99/(-252) + 2/4. Are 1 and x non-equal?
True
Let q = -37 + 37. Is q < -8/3?
False
Let t be (-2)/(-12) + (-387)/54. Do -6 and t have different values?
True
Let h(r) = r**2 + 15*r + 6. Let u be h(-14). Which is bigger: u or -10?
u
Let q = 88.01 + -0.01. Which is smaller: -1 or q?
-1
Suppose 0 = -4*h + 3*h - 5, 2*o = -2*h - 104. Which is smaller: o or -142/3?
-142/3
Suppose 0 = 5*s + 3*p - 12, 3*p = -s + 2*p + 4. Which is smaller: s or 1/151?
s
Suppose 0 = 4*r + 125 + 215. Is r at most as big as -85?
True
Let l be (4 - 3)*-1*1. Let i = 0 + l. Let h be 3*(-2)/(-8) - 1. Is i at most h?
True
Let f be (-1 + -1)/((-2)/1). Let n = -56 + 223/4. Is n at least f?
False
Let k(v) = v**3 - v**2 - v - 3. Let b be k(3). Let h be (-2)/b*-3*-2. Let y be 0 + -2 + 1 + 1. Is h > y?
False
Let a(b) = -b**2 - 9*b - 4. Suppose 3*v = 2*v - 9. Let x be a(v). Is x at most as big as -4?
True
Suppose -1 - 67 = -4*b. Let w be -2 - b*(-2)/15. Which is smaller: w or 0?
0
Suppose 3*m - 20 = 7*m. Let g = 2 + m. Which is smaller: g or -2?
g
Let z = -9 + 7. Let h be 1 + z/(-7) + -1. Is -1 >= h?
False
Let k = 15.9 + -16. Which is smaller: k or 40?
k
Let b = -8.15 + 8. Is b != -1/2?
True
Let s(o) = 2*o**2 + 1. Let u be s(-2). Let v(p) = -p**3 + 7*p**2 + 11*p - 14. Let q be v(8). Which is smaller: u or q?
u
Suppose 0 = -3*t + 12 - 0. Suppose z - t = -z. Suppose -z*u = 4 + 2. Which is smaller: u or -4?
-4
Let j = 0.15 + 0.4. Let f = j + -0.05. Let k = f - 1.5. Which is smaller: 0 or k?
k
Let f be 12*-4*(-1)/12. Suppose 5*j + f = -1. Are -2 and j non-equal?
True
Let q = 1 + 0. Let l be (q/3)/((-5)/(-45)). Is l greater than or equal to 3?
True
Let u = -55 - -278/5. Which is bigger: u or 2?
2
Suppose -3*s - 8 = 2*r, -r = s + 3*s - 6. Let b = 41/4 + r. Let n be -3*5/(210/4). Is b greater than n?
True
Let d = -1.67 - -1.6. Let m = 1.07 + d. Is m < 4?
True
Suppose 7*c = -c - 16. Which is greater: c or -4/3?
-4/3
Let h be (5/1)/(1 - 3). Do -2 and h have different values?
True
Let i = -0.08 + -7.92. Let d = 0 + i. Let a = -11 - d. Which is smaller: a or 2/3?
a
Let i = -27 + 29. Is i smaller than -0.4?
False
Let g be (-21)/(-9)*6/(-21). Let u = 8 + -2. Suppose 4*l = l - u. Is l != g?
True
Let b be (3/(-16))/((-3)/12). Which is greater: 1 or b?
1
Let r = -6 + 59. Let q be (-1)/(-5)*528/2. Let d = r - q. Is 1 at least d?
True
Suppose -2*a + 7*a - 25 = 0. Suppose -4*d - v = -4*v - 39, -3*d + a*v = -43. Let x = d - 5. Is x not equal to 2?
True
Let i = 27 + -19. Let u = i + -6. Suppose -5*p + 7 = 3*q, 4*q - u*q + p = 0. Which is smaller: 0 or q?
q
Let i be (16/128)/(19/(-2) + 1). Which is smaller: -0.1 or i?
-0.1
Let j be 9/36 + (-306)/(-8). Let h = 40 - j. Which is greater: h or 3?
3
Let x(c) = -29*c + 45. Let v be x(6). Which is bigger: v or -128?
-128
Let a be 4/(-14) - (-58)/7. Let v(f) = f - 6. Let i be v(a). Let u be ((-2)/(-3))/(6/9). Is i at least as big as u?
True
Suppose v - 1 = -5*j, -2*v = 3*j - 6 + 32. Do -18 and v have the same value?
False
Let v be ((-4)/5)/(2/(-10)). Suppose -12 = 4*l, -l - l = 4*q - 14. Suppose v*s = q*g - 3, 4*g = -2*s - 9 + 1. Are 0 and g unequal?
True
Let n = -0.7 - -2.7. Let a be 33/27 - (-4)/(-18). Let m be (0*2/4)/a. Is n > m?
True
Let t be 18/(-372)*(-12)/(-9). Which is smaller: t or 0?
t
Let p be (2/8)/((-3)/(-12)). Let g be (-2)/(-6) - (-7)/(-39). Do g and p have different values?
True
Let l = -8 + 6. Let h be (-3 + 4)/((-1)/l). Suppose -5*f + s - h = 13, -12 = -4*f - 4*s. Which is bigger: f or -4?
f
Let z = -5 + 4. Let p be (4/(-12))/(z/6). Is p greater than 2?
False
Suppose -5*i = -25, -5 = 2*s - i + 4*i. Let h(l) = -l**3 - 11*l**2 - 9*l + 14. Let y be h(s). Suppose -29 = -y*c - 9. Is c > 5?
False
Let w(h) = h. Let v be w(1). Let g = 1 - -2. Which is smaller: v or g?
v
Let o = -7 - -10. Let g be (o/(-2) + 1)*-2. Let m(h) = -2*h**2 - 33*h - 18. Let u be m(-16). Is g at least u?
True
Let w = 10 - 10. Is w at least 0.6?
False
Let r be 85/(-25) - (-2)/5. Let j be 0 + 0*(-3)/r. Is 1 not equal to j?
True
Let d = 6 + -4. Let o(r) = -r**3 + 2*r**2 - r + 1. Let v be o(d). Which is greater: -1/7 or v?
-1/7
Let c = -40/427 - 3/61. Let z(k) = k - 10. Let m be z(10). Which is bigger: m or c?
m
Suppose -10 = -4*h + g, -4*h - 7*g = -3*g. Suppos