 = -12 - -21. Let g = 10 - q. Let c be (g - 87/96)*-4. Is c <= 0?
True
Let v be -5 + (-5 - -17) - (2 + 1). Which is smaller: v or 6?
v
Let b = -12 - 42. Let n = 56.1 + b. Let c = n - 2. Is c at least as big as -2/13?
True
Let x(w) = w**3 + 8*w**2 - 9*w + 11. Let g be x(-9). Suppose 0 = a + 4*k + g, 3*k = 3*a - 6*a + 12. Suppose 25 = -a*t + 4*t. Is t at least as big as -2?
False
Suppose -4*x + x = -p - 3, -2*p - 4 = -5*x. Suppose 3*d + p = -3. Let i be (-74)/(-10) + d/5. Which is smaller: 6 or i?
6
Let u be 12/14 + (-8)/(-28). Is u != 2/5?
True
Let t = 43/10 - 679/130. Let f = 37/26 + t. Let s be (6/4)/((-9)/(-12)). Are s and f nonequal?
True
Let a(j) = j**3 + 4*j**2 - 7*j + 6. Let n be a(-6). Which is greater: -25 or n?
n
Let r(u) = u**2 + 4*u. Let n be r(3). Suppose -3 = 3*o - n. Let g be 0 + o/(-3) + 2. Which is greater: -2/5 or g?
g
Let g be (-1)/2*(-12)/30. Which is greater: g or 1?
1
Let l = -103 - -122. Which is smaller: l or 18?
18
Let p be ((-5)/2)/((-6)/4). Let b = p - 7/6. Are -3 and b equal?
False
Let q = 2 + 1. Let j = q + -1. Let l = 5 + -4. Are j and l nonequal?
True
Let q = 49 + -31. Suppose q - 20 = 2*p. Let h = -7/2 + 51/14. Which is smaller: h or p?
p
Let k = 38 - 14. Let a be 154/(-50) + k/8. Which is bigger: a or 0.1?
0.1
Let b be 5/(-10) - 177/(-18). Is 9 at most b?
True
Suppose 0 = -x + 2 + 2. Suppose t = r + 4, -r = -4*t - x*r + 30. Is 6 at most t?
True
Suppose -i - 16 = -3. Is i > -12?
False
Let p = 90 - 61. Is 28 < p?
True
Suppose 0 = 2*y + 2*y + 16. Are y and -5 nonequal?
True
Let k = -12 - -7. Let b(x) = 3*x**3 - 5*x - 4. Let w(p) = -7*p**3 - p**2 + 11*p + 9. Let o(m) = k*b(m) - 2*w(m). Let i be o(3). Which is smaller: i or 3/2?
3/2
Let v(h) = h - 7. Let p be v(8). Suppose g + 2*g = 0. Which is greater: p or g?
p
Suppose -3*m + 6 = -3*a, -2*a + 14 = 5*m - 10. Let y be ((-1)/(-2))/(a/(-3)). Let f = -36.9 + 37. Which is smaller: f or y?
y
Let z(g) = 51*g. Let s be z(-1). Let q be 34/s*(0 - -3). Which is greater: -10/11 or q?
-10/11
Let w = 10.1 + -10. Do 13 and w have the same value?
False
Let i be 412/168 - 1/6. Which is greater: 2 or i?
i
Suppose b + 4*a = 15, 8*a - 5*a = 3*b. Suppose 0 = d - 4*l + 5, -2*d - 5*l + b = -13. Let t be (-8 + (d - 1))/2. Is -0.2 bigger than t?
True
Suppose 0 = 5*v + 4*u + 34, 3*u + 2 = -1. Is v > -40/7?
False
Let x = 45 + -313/7. Let f be (-18 - -2) + (20 - 17). Is x greater than f?
True
Let r = -43.8 - -44. Let u = 3.1 + -3. Let q = u - 0.1. Is q smaller than r?
True
Let r be 3/28*30/9. Let o = 6/7 - r. Is 0 smaller than o?
True
Suppose -d - 1 = -3. Suppose -v - d*v = -6. Are v and 3 non-equal?
True
Suppose -16 = 2*w - 0*r - 2*r, -6 = 3*r. Let v = 0.5 + -0.7. Do v and w have different values?
True
Let d = -96 - -100. Which is smaller: -4 or d?
-4
Let q = 4 + -2. Suppose -3*p + 5 = q*p. Is -2/13 != p?
True
Let x be (-3)/(-1) + (8 - 9). Suppose 4*y = 6*y. Suppose 2 = x*q - y. Is q < 0?
False
Let f = -0.1 - -5.1. Let x be (30/4)/(3/4). Let g be (-2)/7 + x/(-14). Is f not equal to g?
True
Let m be (-5 + -1)*2/2. Let q be 8/m - (-6)/(-9). Which is smaller: 2/7 or q?
q
Suppose -9 = 6*g - 2*g + 5*q, -2 = -2*g + 4*q. Let d = 1 + g. Let i(v) = v**3 - 18*v**2 + 18*v - 18. Let o be i(17). Does o = d?
False
Suppose -10 = 3*p - 5*p. Let b be (-14 - -2)*(-1)/2. Are b and p nonequal?
True
Let a be 0 - 1 - 20/12*-3. Is -0.5 bigger than a?
False
Let j be -2 - -4 - 36/22. Which is bigger: 1 or j?
1
Let u be (-2)/(-7) + 54/(-42). Let q be -3 + 6 + 94/(-2). Let y be 4*(-2 - 85/q). Which is smaller: y or u?
u
Let l be -6 - -4 - 4/(-2). Suppose 4*r = -r - 3*j - 40, l = -3*r - 5*j - 24. Let i be ((-1)/3)/(r/(-6)). Is -1 >= i?
False
Let w = -112/25 - 514/75. Is w greater than or equal to -12?
True
Let n = 0.1 + -1.2. Which is greater: n or 0?
0
Suppose -2 = 3*w + 1, -2*a = w + 1. Let j = 3 - 3. Suppose -g + j*g = a. Are g and 1/3 equal?
False
Suppose m - 26 = 5*q - 0*q, -m - 14 = 5*q. Is m at least 5?
True
Let f = -388/3 + 134. Is f >= 6?
False
Suppose -2*i - 3 = 5*y - 32, -3*i - 5*y = -31. Suppose 0 = l - i*l. Is l bigger than 2?
False
Let c = -6 + 4. Let y be (-8 - -2)/(6/(-8)). Suppose -2*g + 3 + 1 = -4*k, 0 = -4*k - y. Is c smaller than g?
False
Let a = 0.8 - 0.7. Let s = a - 0.1. Let w = -4 - -3. Do w and s have different values?
True
Suppose 5*i + 99 = -4*i. Suppose -4*m + 2*m + h = 9, -20 = 4*h. Let z = m - i. Which is bigger: z or 5?
5
Suppose -u = -3*l - 4*u - 6, 10 = l + 5*u. Let i be (2 + 2)*l/(-10). Let z = 28/13 - 103/78. Which is bigger: z or i?
i
Let f be 46/(-6) + 5/(-15). Let k be ((-366)/24)/((-6)/f). Let h = 21 + k. Is h smaller than 1?
True
Let u be 0/(((-2)/(-4))/((-21)/84)). Which is greater: 86 or u?
86
Let d = 544 + -545. Let c(o) = -o**3 + 3*o**2 - o - 2. Let b be c(2). Which is smaller: b or d?
d
Suppose 0*t + 2*t - 18 = -4*c, -4*c + 2*t = -14. Let k = 3 - c. Is k >= -1?
True
Let q(c) = c**3 - 7*c**2 + c - 6. Let y be q(7). Let h = y - -4. Which is smaller: h or 4?
4
Let n = 3.8 + 1.2. Let z = -2 - n. Let j = 0.154 + -0.054. Are z and j equal?
False
Let j be ((-12)/(-21))/2*7. Suppose 3*d = 4*f - 11 + 3, d - j*f = -2. Is d < -4?
False
Suppose -4*i + 15 = -9. Suppose -4*s - 9 = 3*q, 5*q + i*s = s - 15. Which is smaller: -2 or q?
q
Let d(m) = -m**3 + 5*m**2 - 3*m - 5. Let w be 4/(-10) + (-22)/(-5). Let v be d(w). Suppose -k = -2*u - 3, -5*k + 6 = -5*u + 1. Which is bigger: u or v?
v
Suppose -2*u - 6 = 3*t, 2*u - 2*t + t - 10 = 0. Let q(y) = -y**2 + 3*y - 1. Let h be q(4). Let p = h + 8. Is u bigger than p?
False
Let r(t) = -t**2 + 19*t + 43. Let n be r(21). Which is smaller: n or -14?
-14
Suppose 5*l - 2*l = 33. Suppose 3*j - h = -1, -6*j = -j - 4*h + l. Let z be 1 - -2*(-1)/2. Which is smaller: z or j?
z
Suppose 2*y + 33 = 3*i, -2*y + 5*y = -2*i + 9. Which is greater: 23/3 or i?
i
Let i be 1*(2 + 8)/(-1). Let p = -389 - -380. Is p <= i?
False
Suppose -4 = 2*k + 4, 0 = -4*z - 3*k - 20. Which is smaller: 3 or z?
z
Let q(o) = 22*o - 3. Let f be q(2). Let w = f + -453/11. Which is bigger: w or -1?
w
Let g = 36 + -51. Are -15 and g unequal?
False
Let s(i) = i**3 + 2*i**2 + 2*i - 2. Let u be s(-2). Let w be 2/(u/7) - -2. Let h = 0.4 - 0.2. Are h and w equal?
False
Let w(l) = -3*l - l + 3*l + 2*l - 2. Let a be w(0). Do a and 2 have the same value?
False
Let z(t) = -3*t**3 + t + 2. Let l be z(-2). Is 24 less than l?
False
Let i = -0.1 - -1.9. Let j = i + -0.8. Is j greater than 3?
False
Suppose 2*k - 4 = -0. Is 7 <= k?
False
Let f be 6*-6*3/12. Let b be (f + 4 - -4) + 2. Suppose 0 = t - r, -2*r + 9 = 4*t - 3. Is t equal to b?
False
Suppose 2*c - 2 = -4. Let w be c - -1 - 0 - 0. Let x = 528/5 + -106. Is x bigger than w?
False
Let r = 3.5 - 5.5. Let u be (0 + 0)/((-2)/(-1)). Which is smaller: r or u?
r
Let q(z) = -11*z**2 - 7*z + 16. Let h be q(3). Is h > -104?
False
Let a = -19 - -19. Does a = 6?
False
Let k(i) = -5*i + 31. Let x(j) = j - 8. Let d(s) = 2*k(s) + 9*x(s). Let l(a) = a**2 + 9*a + 8. Let p be l(-6). Let g be d(p). Which is greater: g or -1?
g
Suppose 5*z + 15 = 5. Let h = z + 7. Is 5 at most as big as h?
True
Let x = -31.3 - -38. Let q = x + -7. Which is smaller: 0 or q?
q
Let w be 2 - (0 + (1 - 1)). Suppose -3*l = -w + 8. Which is smaller: -3 or l?
-3
Let r(o) = o**2 - 1. Let c be r(1). Which is bigger: c or 1/4?
1/4
Suppose -3*g + 2*g = -1. Are g and -1/7 nonequal?
True
Let k(c) = 4*c**3 - c**2 + c - 1. Let m be k(1). Suppose 6*g + 2*o = g + 19, 2*o - 4 = 0. Suppose 0 = -m*f + g. Which is bigger: 0 or f?
f
Suppose a + 2*c - 43 = 0, 6*c = -5*a + 4*c + 215. Let b = a - 130/3. Let h = 6 - 4. Is b at most as big as h?
True
Let x(y) = -y**3 - 4*y**2 - 4*y + 1. Let l be x(-3). Let u be l + -1 - (4 - 2). Let d be 1/2 + (-2)/4. Which is smaller: d or u?
d
Let w = 5/13 - 22/91. Suppose -3*n = -5*r - 19, n + r = -4*n - 15. Let i(s) = s**2 + s - 1. Let v be i(n). Is w >= v?
False
Let a = 665/13 - 51. Is 9 less than a?
False
Let j be (4/6)/(-2 - (-416)/36). Which is bigger: -1 or j?
j
Let l be (27/(-15))/(-3*2/30). Is 9 > l?
False
Let r = 1.9 + -2. Let v = 99 + -39. Let b be 54/v - 2/5. Are b and r unequal?
True
Let f = -8.8 + 9. Suppose 4*o - 1 = 7*o - n, -2*n + 2 = 0. Which is smaller: f or o?
o
Let y = -10.7 + 11. Is y > -3?
True
Let k be -3 + 10 + 2/(-2). Which is smaller: k or 0?
0
S