z. Let n be (z + -3)*(-2)/8. Let q(t) = -t + 1. Let o be q(0). Are o and n nonequal?
False
Suppose -68 = 5*k - 2*b, -6*k + 5*b - 51 = -2*k. Which is smaller: k or -12?
k
Let r = -1.037 - -0.037. Is -15 not equal to r?
True
Let r = 2 - 3. Let x be r*(2 + 0 + -2). Suppose -2*w + x + 4 = 0. Is 1 equal to w?
False
Let b be 2/6 + (-2)/(-3). Which is smaller: 3 or b?
b
Let h be (-2)/8 - 9/60. Let s = -4 + 4. Let j = s + 0. Which is bigger: j or h?
j
Let s = -0.21 + 0.06. Let l = s - -6.15. Let y = l + -8. Is 2 equal to y?
False
Let h(a) = 3*a**2 + 7*a + 12. Let j be h(-4). Which is smaller: 33 or j?
j
Let q be 1/6 - (-14)/60. Which is bigger: q or -0.05?
q
Let h = -13 - -39. Is 27 greater than h?
True
Let m be 7 - 3 - (-3 - -7). Which is smaller: 1 or m?
m
Let o = 2.6 + -4. Are 1 and o equal?
False
Suppose 5*c + 0*k + 3*k = 66, 0 = -5*c + 3*k + 84. Is 1 at least c?
False
Suppose 8 = -5*b + t, 2*t = -3*b + 3*t - 6. Let g be (6/(-7) + 1)/b. Is g bigger than -1?
True
Suppose 0 = 3*v - 2*a - 1, -3*v + 0*a + 5 = 2*a. Let y = v - 10. Is y not equal to -9?
False
Let g be 5 - (-2 - (-1 - 2)). Do 4 and g have the same value?
True
Let z(g) = -g**3 - 2*g**2 - 2*g - 2. Let d be z(-1). Is 1/9 at most as big as d?
False
Let z = 0.15 - -0.85. Is 1.9 bigger than z?
True
Let p(u) = -u**2 + 7*u + 8. Let t be p(8). Suppose 10 = 3*g - i, -2*g - g + 2*i + 11 = t. Suppose -4*b = -5*b + 1. Is g greater than b?
True
Suppose 4*f - 20 = 4*a, 3*a - 2*f = -a - 10. Suppose z + 17 = 5*b + 41, 5*z + 10 = -b. Which is greater: a or z?
a
Let o = 0 + -3. Suppose y - 1 + 0 = 0. Let n be (y + (-3)/9)/o. Is 0 at most n?
False
Let u(m) = -m + 4. Let p(h) = -1. Let x(g) = 2*p(g) - u(g). Let a be x(6). Which is greater: 6/13 or a?
6/13
Let o be 42/(-5) - (-1 + -2). Is -5 > o?
True
Let n be (24/490)/((-6)/(-21)). Is n >= 1?
False
Suppose -4*v - 5*w = 15, -w - 2 = 3*v + 1. Suppose 4*k + 106 = n, 5*k + v*k + 380 = 4*n. Let c = n + -452/5. Which is smaller: c or -1?
-1
Let t = 0.97 - -0.03. Let w = t - -1. Which is smaller: w or 1?
1
Suppose 6*p = 2*p + 48. Suppose -5*z + p = -z. Suppose -4*d + d = -z. Is d bigger than 1?
False
Let k = 30 - 30.3. Is k at least 1?
False
Let y(c) = c**2 + 2*c - 5. Let a be y(-4). Suppose z - 2*z - a = 0. Is -3 < z?
False
Suppose 8*w - 36 = 4*w. Is w equal to 8?
False
Let n(z) = -2*z - 4. Let v be n(-2). Suppose -10 = f + 3*f + x, v = -f + x. Do f and -4/7 have the same value?
False
Let h = 4 - 1. Let f be 1/h - (-3)/9. Let n be 4/(-18) - (-20)/9. Is f >= n?
False
Suppose -5*p + 3 + 17 = 0. Is 2 at most as big as p?
True
Let q(m) be the first derivative of m**4/4 - 4*m**3/3 - 5*m**2/2 + 5*m - 3. Let s be q(5). Are 5 and s equal?
True
Let m = 85/76 - 140/19. Let z be 33*(-33)/(-108) - 4. Let r = m + z. Which is bigger: -1 or r?
r
Suppose 0*m + 17 = -m. Is m not equal to -17?
False
Let j(x) = -x**3 - 9*x**2 + 10*x + 1. Let z be j(-10). Which is bigger: z or 4/45?
z
Let o be 3 - (0 + 0 + 3). Suppose o*i = -i. Let l = 2/239 - -1424/1195. Which is smaller: l or i?
i
Suppose -2*u - 3*p = 19, -2*u - 4*p - 29 = p. Is u less than or equal to -2?
True
Let w = -5 - -9. Suppose -1 = w*j + 3. Let o be 2/6 + 34/(-66). Which is smaller: o or j?
j
Let b = 13 - 11. Suppose 20 = -2*s - 4*h, 6 = -b*s - 2*h - 12. Which is bigger: 0 or s?
0
Suppose 76*y + 6 = 73*y. Let f be 5/(-4) + -2 + 2. Is y > f?
False
Let o = -38 + 33. Let q(s) = s**3 - 5*s**2 - 2*s + 4. Let x be q(5). Is x equal to o?
False
Let n = 0 + 1. Let m = 0.9 - n. Let k = -4.1 - -4. Are k and m non-equal?
False
Suppose 2*g - 3 = 3. Let o(q) = -q - 1. Let a be o(g). Suppose c - 2*c + 5*b - 13 = 0, -4*b = -2*c - 14. Which is smaller: c or a?
a
Let v = 1.2 - 0.2. Which is bigger: v or -8?
v
Let f(r) = -4*r - 1. Let o be f(-1). Suppose -2*y + 2 = 2*c - 3*c, -o*c + 5*y - 6 = 0. Is c smaller than -2?
False
Let k be 159/(-18) + 1/(-6). Let s be (4/(-12))/((-3)/k). Suppose -2*m - 14 = -0*m + 5*g, 5*m = 5*g. Which is greater: m or s?
s
Suppose -2*m - 9 = -m. Do m and -11 have the same value?
False
Let r(i) = -i - 12. Let o be r(-9). Let y be (o/(-2))/((-3)/(-20)). Suppose 6*b - b = -y. Is -3 bigger than b?
False
Suppose -1 = -g - 0*g. Suppose -4*z - 15 + 39 = 0. Let f = z - 6. Which is greater: f or g?
g
Let h = 254 + -1707/7. Let z = h - 75/7. Suppose 0 = -p - 4*i + 20, 9 + 6 = -5*p + 3*i. Which is bigger: z or p?
p
Let c(j) = -8*j**2 + 13*j + 1. Let x(o) = 7*o**2 - 12*o - 1. Let a(d) = 6*c(d) + 7*x(d). Let f be a(7). Does 19/3 = f?
False
Let j(s) = -s**2 - 6*s - 1. Let x be j(-6). Let m(f) = -2*f**3 + f. Let l be m(x). Which is smaller: -2 or l?
-2
Let t(i) be the second derivative of -i**4/12 + 2*i**3/3 + 5*i**2/2 - i. Let v be t(5). Which is smaller: v or -1/4?
-1/4
Let o = -1769/9 - -197. Is o < -1?
False
Let l be (-1*2)/2 - 1. Suppose 0 = 5*a - 0*d - 5*d - 15, a - 5*d = -5. Let b = -9 + a. Which is smaller: l or b?
b
Suppose 3*c = -2*c. Let w be 1 + 2/4*-4. Which is smaller: w or c?
w
Suppose -5*x + 0*z = 2*z - 16, 0 = -2*z + 6. Let i be ((-30)/(-9))/(x/3). Suppose 1 = -2*d + i. Is d smaller than 0?
False
Let u = -43.8 + 44. Let j = 18 - 13. Let p = j + -5.3. Which is smaller: p or u?
p
Let w(q) = 6*q**3 + q**2 + q. Let n be w(-1). Let m be 0 + -7*(4 + -3). Which is smaller: m or n?
m
Suppose -8 = 3*q - 5. Is q > -1/4?
False
Suppose 1 = r - 2. Suppose -2 = o + r*h + 9, h = -5*o + 1. Are 1/5 and o nonequal?
True
Let h = 8 + -9. Let t be (-4)/16*h/(-1). Is 0 less than or equal to t?
False
Let n = -10.89 - -11. Let h = 4.11 - n. Which is greater: -0.2 or h?
h
Let m = 157 - 147. Which is smaller: -1 or m?
-1
Let j = -2 - -10. Let g = -7 + j. Which is smaller: -1 or g?
-1
Suppose -k + 93 = 4*a, 4*k - 12 = -a + 15. Is a at most 22?
False
Let n(x) = -x**3 + 7*x**2 + 2*x - 3. Let v be n(7). Let h be v/44 + 6/(-56). Which is bigger: 0.1 or h?
h
Let d(b) be the second derivative of -b**5/20 + b**4/2 + b**3/3 - 3*b**2/2 - b. Let l be d(3). Suppose -2*q + 2*y = 6, l = 4*y + 10. Is q bigger than 0?
True
Let t be (-42)/18 + 1/3. Let q be t/3 + (-56)/(-3). Is q bigger than 2/3?
True
Let j be 7/21*(-6)/(-5). Let m = 1 - 1. Which is smaller: j or m?
m
Suppose 0 = -4*d - d. Which is greater: d or 9?
9
Let k = -187 - -262. Let s = k - 27. Suppose -2*l = -4*p - 44, 4*p - 4*l + s = -l. Is -9 < p?
False
Let d = 62/7 - 268/35. Which is bigger: d or 0?
d
Suppose 4*p + 20 = -x, 0 = -p - 3*x + 5 + 1. Let l be 0 - p*3/(-8). Which is bigger: -3 or l?
l
Let f = -5 + 1. Let v be 15 - (f + 1)/3. Suppose -4*p + v = -4. Which is bigger: 3 or p?
p
Let j = -0.035 - 0.205. Which is smaller: -0.1 or j?
j
Let p = 24 - 20. Let m = -2 + p. Which is smaller: m or 0.04?
0.04
Suppose 0*j + 3 = 3*j. Let s be 2 - (-2 + 2/j). Suppose s = 3*g - 2*g. Which is smaller: 1/2 or g?
1/2
Let o = 2.16 + -3.13. Let h = -0.03 + o. Let y be (-7)/20 + 2/(-8). Is y at most h?
False
Let c = 68 + -474/7. Suppose o = 4*o - 3. Which is smaller: c or o?
c
Let a be 9 - (0 + (-9)/3). Is a bigger than 12?
False
Let k = -2 - -5. Suppose k*m - 2*f = -5*f + 9, 0 = -2*f + 2. Which is smaller: 0 or m?
0
Suppose 8*u = 2*u - 6. Which is smaller: -0.22 or u?
u
Suppose -2 = -4*y + 2. Suppose 3*g + 2*g + 235 = 0. Let t = -187/4 - g. Is y bigger than t?
True
Let i be (-8)/6*(-18)/4. Let w(j) = -j**2 + 5*j + 5. Let m be w(i). Let r be (-8)/36 + (-4)/63. Which is bigger: r or m?
r
Let j = 28 - 29. Which is bigger: 1 or j?
1
Let p be (13 - 12) + (-11)/13. Is 2/7 equal to p?
False
Suppose 2*v - 6 = -3*v + 4*t, 2*v = t. Is v equal to -4/3?
False
Let d = -129/310 + 1/62. Let k(z) = -2*z - 5. Let f be k(-7). Suppose 5*s - f = j, j + s = -0*s + 3. Which is bigger: d or j?
j
Let h = -7622 - -7657.17. Let u = -35 + h. Let a = -0.87 + u. Does 0 = a?
False
Suppose -4*r = -0*r. Suppose -5*f = n - 0*n + 20, -5*f - 20 = 0. Let z(p) = p**3 - p**2 + 2. Let j be z(n). Which is smaller: r or j?
r
Let z be 1/(-2)*0*1. Let f be (-276)/15 - 8/(-20). Let d = 19 + f. Which is smaller: d or z?
z
Let t = 2.37 - 2.5. Let r = 4 - 4.03. Let w = r - t. Which is bigger: w or -0.1?
w
Suppose 11 = -2*f + 9. Let d be (0 - 3)/(1 + -11). Which is bigger: d or f?
d
Let c(o) = -o**2 + 10*o + 11. Let m be c(11). Suppose u = -m*u. Are u and 2 unequal?
True
Suppose -3*f = 3*v + 9, -v - 2*f = f + 9. Suppose 3 + 6 = 3*y. Suppose -y + 0 