(b) = -b**3 + b**2 - 1. Let c be r(1). Is c greater than v?
False
Suppose 3*q - 108 = -18. Let l = 59/2 - q. Are l and -10 equal?
False
Let g = 2306 - 39190/17. Which is bigger: 0 or g?
g
Let o = -23 + 24. Which is bigger: o or 3?
3
Suppose 16 = 2*t - 2. Let j = -5 - -14. Does t = j?
True
Let i be (0 - 3/(-1))/(-1). Is i equal to -3?
True
Let b = 23.9 + -24. Is b equal to -1/4?
False
Let a be 1 + (-3 - -1 - -3). Suppose -k - 2*k - 19 = -w, 3*k = -5*w + 5. Let q be (w/6)/(4/6). Which is smaller: a or q?
q
Let h(z) = z**2 - z. Let t be h(-3). Let g = -10 + t. Which is greater: g or 3/2?
g
Let b be (-2)/1 - 32/(-24). Which is greater: b or 0?
0
Suppose 6*y = 4*y - 16. Are y and -3 non-equal?
True
Suppose w - z - 12 = 0, -z = 2*w - 2*z - 24. Suppose 4*q - k = -0*q - 17, -4*q = 4*k + w. Let o be (-30)/(-50) + q/(-10). Which is bigger: -2 or o?
o
Let l(h) = 3*h + 3. Let n be l(-3). Let f = n - -8. Suppose f*t = -5 - 5. Which is greater: -6 or t?
t
Let f = 0.6 + -0.7. Which is greater: -5/8 or f?
f
Let w = 19 - 19. Is w greater than -1?
True
Let o be (6/(-10))/(4/(-40)). Which is smaller: o or 9/2?
9/2
Let v = 8 + -5. Let h be v/5*4/(-6). Let j(b) = -4*b - 7. Let f be j(-2). Which is bigger: f or h?
f
Let u(q) = 20*q - 7 - q**2 - 5*q - 5*q. Let w be u(10). Is -8 smaller than w?
True
Suppose -3*z + 4*g - 8 = -0*g, -5*g + 12 = -4*z. Which is smaller: z or -3?
z
Let x = -13146/5 + 86807/33. Let i = x + -13/11. Which is bigger: -1 or i?
i
Suppose 2*q + 6 = -0*q. Let d be 0 + 0 + 3 + q. Which is smaller: 1 or d?
d
Let i(o) = o**2 - 11*o + 1. Let u be i(11). Let q be (u/(-3))/((-3)/54). Let l = 8 - q. Which is smaller: 3 or l?
l
Let a be 10/10 - 1/2. Which is smaller: a or 2?
a
Let v = 6 + -4. Let m be ((-2)/(-6))/(v/12). Is m at least 1?
True
Suppose -8*l = -4*l - 8. Suppose -l*y + 10 = -0*y. Suppose 3*c + 3*z = -2*c, -5*c - y = 2*z. Which is smaller: -2 or c?
c
Let b = 2690/63 + -128/3. Which is bigger: b or 0?
b
Let b be 132/110*130/(-14). Is b at least -12?
True
Suppose 0 = -5*v - 5*w, v - 3*w = 6*v - 4. Suppose v*f + 10 = -0*f. Let h = 7 + f. Is h not equal to 5/2?
True
Let d(z) = -z + 8. Let w be d(6). Suppose -1 = w*y - y. Is y greater than -2?
True
Let a = 11/20 - -3/40. Suppose 5*d + 3*p + 4 = 0, 2*d + 5*p + 0*p + 13 = 0. Which is greater: d or a?
d
Suppose 0 = 4*q - 2*q - 2. Suppose 4*z + q = 5. Let i(w) = -w**2 - 8*w + 11. Let s be i(-9). Is z at least as big as s?
False
Let m(o) = -19*o + 5. Let s be m(2). Is s > -31?
False
Let h(u) = 2*u - 8. Let k be h(6). Let j = -1 - -3. Suppose -j*f = -3*f + 4. Is f bigger than k?
False
Let k = 5.98 + 0.02. Let w = 5.98 - k. Are w and -1 equal?
False
Let z = 231 + -1620/7. Let t = 4 - 5. Which is smaller: z or t?
t
Let h = -701.03 + 698. Let v = h + 1.06. Let f = -0.03 + v. Which is bigger: f or -0.3?
-0.3
Let w(c) = c. Let d be w(5). Suppose 2*g - 6 = -4*v + 16, -d*v = -5*g + 10. Which is smaller: 2 or v?
2
Suppose 5*u - g = 9, 4*u + 2*g + 2*g = -12. Let y(c) = 15*c**2 - c. Let n be y(u). Let l be ((-7)/n)/((-1)/8). Which is smaller: l or 3?
3
Let h be 2/56 - (-1)/4. Let d = 2.2 + 0.8. Is h <= d?
True
Let d(h) = -h**3 + 13*h**2 - 11*h - 16. Let x be d(12). Which is smaller: -6 or x?
-6
Suppose 3*t + 3 = 9. Suppose -5*b + t + 3 = 0. Are -2/5 and b equal?
False
Let u be ((2 - 4) + 2)*1. Suppose u = -s - s. Which is smaller: s or -10/11?
-10/11
Let h(f) = -3*f + 1. Let m be h(-1). Suppose i = -1 + m. Suppose 2*c = 3*c - i. Is c != 0?
True
Let i = -3.9 + 5.95. Let r = i - 0.05. Is -0.02 at least as big as r?
False
Let a = 12 + -8. Suppose 3*r + 2*f + 10 = 0, -2*r - 1 = a*f + 11. Let q be -1 - (-2 - (-2 - -1)). Is r < q?
True
Suppose -5*x = -1 + 6. Which is greater: x or 16?
16
Suppose 5*c + 2*n = -90, c - 5*c - 4*n - 72 = 0. Let k = 3 - c. Let m = k + -43/2. Which is greater: -1 or m?
m
Let j = 15.64 - 16. Let z = j - 0.04. Let f = z - -0.1. Is f > -1?
True
Let v be 6/30 + 1119/5. Let l = 2466/11 - v. Let q = -1 - -0.9. Which is greater: l or q?
l
Suppose 4*g + 2 = 2*g. Let m = 1 - g. Suppose 4 = -m*k - 0*k. Which is smaller: -0.1 or k?
k
Let q be (-3)/1 + 1 + (-36)/2. Is -19 less than q?
False
Suppose 4*w = -1 + 61. Is 4 smaller than w?
True
Suppose 5*c + 27 + 83 = 0. Let s be 4/c - (13 + -13). Is 1 equal to s?
False
Suppose 33 = 5*r + 8. Suppose m = -3*q, -q = 5*m - 9 - r. Suppose 3*l + m = k - 6, 2*k + 12 = -4*l. Do 0.1 and l have different values?
True
Let d = 7 - 1. Let x = -6.6 + d. Is x not equal to -1/2?
True
Suppose 0 = -0*f + 3*f + 9. Let a(p) = -p - 10. Let i be a(-9). Is i <= f?
False
Suppose 0*k - 5*k + 20 = 0. Suppose k*g + 5 = -g. Is 2/7 greater than g?
True
Let y be ((-75 - -3) + 3)/(-55). Let t = y + -16/11. Is -1 less than or equal to t?
True
Let a = -7370/19 + 388. Let d(g) = g - 1. Let n be d(1). Are a and n non-equal?
True
Let w = -3/92 - 323/1380. Which is smaller: 1 or w?
w
Suppose -3*a + 2*o - 14 = 0, -3*a - 49 = 3*o - 10. Let f = 8 + a. Suppose f = -x - 4*x - 25. Which is smaller: x or -7/2?
x
Suppose 0 = -3*u - 2 - 1. Suppose 4*l = -0*a + a + 3, 4*l + 3*a = 7. Do l and u have the same value?
False
Let q(l) = l - 9. Let v be q(5). Is -4 <= v?
True
Let z = -0.2 - -0.28. Let n = z - -0.22. Which is bigger: 2 or n?
2
Let z be (75/18 - 1) + -3. Suppose 5*o - 2*x - 56 = x, -52 = -5*o + x. Suppose 3*g - 8 + 1 = -2*t, o = 5*t + 5*g. Which is bigger: t or z?
z
Suppose -2 = i + 6. Let r be 8/12 - i/(-3). Is r at most -2?
True
Let f = -8 + 8.4. Let a = 0.3 - f. Is a bigger than -4?
True
Let x = 2.4 - -7.48. Let l = -0.12 - x. Which is greater: -2/3 or l?
-2/3
Let q(r) = 11*r**2. Let m be q(1). Let i = m - 7. Let y = 251/100 - 1/100. Does i = y?
False
Let t = 4 + -7.1. Let i = -3 - t. Which is greater: 2/3 or i?
2/3
Let v be (-15)/(-25) - 76/10. Is v bigger than -7?
False
Let p = -103905/58 + 1792. Let l be 64/(-174) + (-1)/(-3). Let a = l + p. Is a at most as big as -1/3?
False
Let a = -15 - -22. Let z = 3 - 10. Let j = z + a. Is 0 greater than j?
False
Let r(c) = -3*c. Let x be r(-1). Let z(p) = -p**2 + 9*p - 18. Let f be z(5). Suppose -3*a = -y - 6, f*a + 10 = 5*y - x*a. Is y less than 6?
False
Let i(w) = -w**2 - 6*w - 4. Let z be i(-5). Let v be (-1 - (-2)/3)/(4/(-24)). Which is smaller: v or z?
z
Suppose 3*i + 2*d - 6 - 11 = 0, 5*i - 25 = -5*d. Suppose -l + 5*j - i = 0, -j - 19 = -3*l - 6*j. Which is bigger: 4 or l?
4
Let z(q) = q**3 + 2*q**2 - 3*q + 1. Let f be z(-3). Let d be 9/(-9)*(f + -1). Is -8/9 at most as big as d?
True
Let d be 1/((-1)/(2 - 8)). Let l be (d/18)/(1/(-2)). Let a be (-3)/2*(-1)/6. Which is greater: l or a?
a
Suppose 2*z = -0 - 4. Suppose -5*q - 23 = -8. Which is greater: z or q?
z
Suppose -4*o - 8 = -2*d - 2*d, -4*d - o - 2 = 0. Let k be (1 - (-12)/15) + -2. Is d greater than k?
True
Let i be 1/(4/6) - 9/18. Which is smaller: 3/61 or i?
3/61
Let f = 121/63 + -15/7. Let g = -6 + 5. Is g at most f?
True
Suppose -6 = 5*s + 4*b - 18, 0 = 5*s + 5*b - 10. Let p = s + -2. Let t be (1 - p) + (-4 - -6). Is -2/9 at least as big as t?
False
Suppose 2*w + 3*w = -2*d - 16, 2 = 2*w + 5*d. Let r be (-5)/w*8/620. Let u = r - -121/186. Is u > 0?
True
Suppose 4*x = -0*x. Let g = 4472/485 + -2/97. Let w = -48/5 + g. Which is smaller: x or w?
w
Let p = -2749/3 + 1004. Let w = p - 87. Which is smaller: w or 1/7?
1/7
Let n be (-2)/3*99/(-6). Suppose -u - 7 = 5*a + n, 3*a = u - 14. Let y be (-14)/(-3) + a/6. Is y less than 4?
False
Let l(b) = b**3 - 6*b**2 - 8*b + 2. Let o be l(7). Let r be (-9)/1*o/35. Which is greater: 1 or r?
r
Let o be 9/68 + (-1)/4. Suppose 2*a - 6 - 4 = j, -4*a = -20. Does j = o?
False
Let o = -38/3 + 412/33. Let m = -18 + 19.9. Let t = -2 + m. Which is smaller: o or t?
o
Let l(n) = 3*n + 3. Let g be l(6). Is 22 less than g?
False
Let g be 17/(-30) - (-12)/18. Let p = 0 + 0. Is g not equal to p?
True
Let y be 3 - (0 + 0 + -3). Let i(q) = -4*q - 3. Let w be i(-2). Which is bigger: w or y?
y
Let z = 3/9230622860 + -195946891315071307/359994291540. Let a = z - -544340. Let l = a - 69/2. Which is smaller: l or -1?
-1
Let i = 6 + -6.3. Is i >= -2?
True
Let j = 0.3 - 0.2. Let h(p) = 2*p**2 + 5*p + 5. Let m be h(-3). Let y be (2/m)/((-6)/18). Are y and j nonequal?
True
Suppose 2*v - 3*y - 14 = 0, -2*y + 0*y - 4 = 4*v. Let k be 4/(-10)*25/(-85). Is v smaller than k?
Fals