 d?
False
Let f = -1.3 - 10.7. Let a = f + 9. Which is greater: a or -1?
-1
Let k be (-19)/4 + 3/(-12). Suppose 0 = -2*d - 0*d + 8, -2*z + 8 = 2*d. Let b be (0 - z)/(k - -3). Do b and 1/2 have different values?
True
Let c be (-1 - -4)/((-33)/44). Let r be (3/c)/((-45)/24). Are r and -5 unequal?
True
Let a be (8/30)/(((-18)/(-100))/3). Which is smaller: a or 4?
4
Let j = 19 + -24. Is -5 less than j?
False
Suppose -12*g + 11 = -15*g - 5*h, 0 = g + 2*h + 3. Which is bigger: g or -10?
g
Let b be (-1)/(-8) - (-33)/120. Let o = 1 + -1. Which is smaller: o or b?
o
Let p = 333 + -5667/17. Suppose 4*n + 3*l - 4 - 9 = 0, -2*n + 3*l - 7 = 0. Do n and p have different values?
True
Let b = -2.98 + -0.02. Let r be 4*12/32*(-6)/9. Is r smaller than b?
False
Let j = 2.95 + 0.05. Let v = 4 - j. Let h = 0 - 1. Is v at least as big as h?
True
Suppose -m = 3*m + 80. Is m at least -20?
True
Let a = -17 + 17.3. Is 2/9 greater than a?
False
Let u(h) = 2*h**2 + 2. Let d be u(-3). Which is bigger: d or 0?
d
Let w = 10.5 + -12.5. Which is greater: w or -6/11?
-6/11
Let v = -24 + 23.8. Which is greater: v or -7?
v
Suppose 4 = 4*m, -12 = 3*i + m + 2*m. Does i = -3?
False
Let s = 15 + -2. Suppose -11 = 3*b - 47. Is b > s?
False
Let t be (0 - 2) + 34/16. Suppose 5*d = 5*c + 20, 2*c + 2*c = 5*d - 21. Which is smaller: t or c?
t
Let w be 23/(-7) - 2/(-7). Let b(q) = -q**2 + 13*q - 12. Let v be b(12). Suppose -l + 0*l - 4 = v. Which is smaller: w or l?
l
Let q = -0.01 + 4.01. Let p = q + -4. Let i(f) = f**3 - 3*f**2 + f - 1. Let c be i(2). Which is bigger: p or c?
p
Let q(g) = g**3 + 12*g**2 + 1. Let i(m) = -13*m**3 + m**2 - m + 1. Let z be i(1). Let t be q(z). Which is bigger: t or 2?
2
Suppose 0 = -0*v + 8*v - 48. Is 3 >= v?
False
Let t = -3 + 4. Suppose 0*g - 4 = -2*p - 3*g, -3*g + 6 = 0. Let d = 1 - p. Which is smaller: t or d?
t
Let h = -66 + 76. Is 9 at least h?
False
Suppose -2*a = -a + 1. Let w be 33/(-91) + (-4)/(-14). Is a at most as big as w?
True
Let v be -3 + (2 - 0 - -10). Suppose 3*c - v = 3*n, 0 = -n - 4*n + 2*c - 6. Suppose -d - 1 = -0. Which is smaller: d or n?
d
Suppose -z + 2*z = -8. Is -4 smaller than z?
False
Let a = -33 + 28.1. Let u = 1.3 + 3.7. Let x = a + u. Is 2 less than or equal to x?
False
Suppose 3 = x - 1. Suppose -5*k = -x*g - 1, k - 1 = -4*g + 5*g. Is -4 at most as big as g?
True
Suppose -5*s - x - 2 = -s, 5*s = -4*x - 8. Suppose 0*r + 5*r = -2*l + 18, 4*r - 17 = l. Which is bigger: l or s?
s
Let y = -4 + 1.2. Let m = y - -2.58. Let v = m - 0.08. Is v > 1?
False
Suppose 2*g + 23 = -5. Let t = -12 - g. Which is smaller: 0.2 or t?
0.2
Let p(h) = 3*h**3. Let w be p(1). Suppose -w*r - 152 = r. Let y = 155/4 + r. Which is smaller: y or 1?
y
Suppose 9 = -3*k + 5*a, k + 2*a - 8 = -0*k. Suppose -5*w + k = -6*w. Is w equal to -2?
True
Let o be (-8)/(-10)*30/(-12). Which is smaller: o or 6?
o
Let j(z) = -z**3 + 9*z**2 - 7*z. Let o be j(8). Let g = o + -9. Let f be (2 + 2/g)/3. Is f smaller than 1?
True
Let w = 13 + -13. Are 3/7 and w unequal?
True
Let m = -0.14 + 0.04. Let d = 1 + -1.2. Is d greater than or equal to m?
False
Suppose 4*y + 2 = 3*y. Let i be y/(-4) + 28/(-40). Suppose 0*n + m + 3 = 3*n, -12 = -n + 4*m. Which is smaller: n or i?
i
Let u be 8*(-4 - -1 - -2). Which is smaller: u or -10?
-10
Suppose -3*x = 5*g + 105, -15 = 5*g - 2*x + 90. Do g and -21 have the same value?
True
Suppose 3*j - 4*d - 3 = -4, -4*d = j - 5. Let x be 1*(j - 2 - -9). Is 4 less than x?
True
Suppose 2*q = -3*h + 16, 4*h - 43 = -5*q - 17. Suppose 0 = -f + y + 2, 3*f - 1 = h*y + 10. Which is bigger: f or 1?
1
Let t = -1.8 - -1.7. Which is greater: 1 or t?
1
Let o = -659 + 23062/35. Does o = 1?
False
Let r(g) = g**3 + 10*g**2 + g + 9. Let p be r(-10). Let k be (2/(-6) - p)*9. Do 5 and k have the same value?
False
Let p = 0.5 + 0. Let y = 0.1 - p. Let t = -0.5 - y. Which is smaller: t or -3?
-3
Let w = -4.4 - -2. Let x = w + 0.4. Is x bigger than -0.05?
False
Let n be 1/47*(-2 - 0). Which is greater: 0 or n?
0
Let v = -4 + 5. Let z be -4 + 2 - (v - 6). Which is smaller: z or 9/4?
9/4
Let q = -32 + 30. Is -2/3 <= q?
False
Let s be 2*(-3)/(-12)*-2 - -37. Are 36 and s equal?
True
Suppose -2*x + 7 = -0*t + t, 15 = -3*t + 3*x. Let r be (1 + 12/(-8))/t. Which is greater: 1 or r?
1
Let g be -2 + 26/4 + -3. Which is bigger: g or 1?
g
Let x = -18 + 62. Are 45 and x unequal?
True
Let m(h) = 7*h + 14. Let v be m(-2). Which is smaller: v or 2/3?
v
Let y = -6.78 + 0.78. Which is smaller: y or 1?
y
Let m = -633/70 - -64/7. Is 0 < m?
True
Let u = 27 - 19. Which is smaller: u or 10?
u
Let h = -5163/4 - -16765/12. Let n = -105 + h. Is n less than 1?
False
Suppose 0 = -11*b + 2 - 24. Suppose -12 = 3*f + f. Let x be 4/(-3) + 2/f. Are x and b nonequal?
False
Let u(d) = -d - 7. Let i be u(-7). Is i at least as big as 8/7?
False
Let i = 0.1 - 1.1. Let n = -2.13 + 5.13. Does n = i?
False
Suppose 9 = -2*c - 3*l, 2*c - 1 = l + 2. Let o be ((-6)/(-8) + 0)*1. Which is smaller: o or c?
c
Let m = -4 + 5.6. Let r = m + -2.6. Which is smaller: -7 or r?
-7
Let f(d) = -d**3 + d**2 + 4*d - 3. Let o be f(2). Suppose 0*t - t = o. Is 2/5 equal to t?
False
Suppose 6*m - 7 - 11 = 0. Is 3 >= m?
True
Let c be 2 - (6/3 + -2). Let y = -1 + 1. Let z = y - 1. Is z smaller than c?
True
Let g be ((-12)/(-16) - (-2)/8)*-5. Which is bigger: -15/4 or g?
-15/4
Let f be (186/(-280))/((-6)/4). Let g = f + -3/70. Suppose 2*n = k + 3*n + 2, 2*k = -n - 1. Which is bigger: g or k?
k
Let o be ((-6)/(-8))/((-7)/56). Is -6 less than or equal to o?
True
Suppose 5*d + 2*u + 11 - 1 = 0, -2*d + 3*u - 4 = 0. Let m be (-6)/(-2)*(1 - 2). Let g = m - d. Which is smaller: -4/3 or g?
-4/3
Suppose -x = -2 - 0. Is 5/7 > x?
False
Let p be (6/9)/(4/2). Let j(w) = w + 3. Let v be j(-2). Which is smaller: v or p?
p
Suppose 0 = x - 14 - 21. Is x greater than or equal to 34?
True
Suppose -4*y - 44 = i + i, 0 = 4*i + 2*y + 58. Is -13 >= i?
False
Let t be (32/(-28))/((-6)/21). Suppose 24 = t*b - b. Which is greater: b or 6?
b
Let y be 5 - (0 + -1 + 2). Suppose y*j - 6 = j. Suppose 4*f + j = 5*f. Are f and 3 unequal?
True
Let t(n) = -n**3 - 4*n**2 - 1. Let w be t(-4). Let r be (-2 + 2 + w)*0. Let i be (-4)/14 - (1 + -1). Are i and r non-equal?
True
Suppose 2*g - 16 = -y, -4*g = -4*y + g + 38. Is y != 15?
True
Let c = -0.03 + -0.17. Let s = c + 0.2. Let a = 0.2 - -0.8. Are s and a non-equal?
True
Let b be 4 - 4/(12/9). Is 0 < b?
True
Let s = 169 + -161. Is s at least 43/6?
True
Let c = -0.1 - 0. Suppose -2*v - 25 = 51. Let f = 153/4 + v. Is f less than c?
False
Let p = 4.06 - 0.06. Let w = p - -1. Let d = w + -5.1. Which is smaller: d or -4?
-4
Let v = 0.14 + -0.1. Let b = -0.15 + -0.01. Let d = b - v. Is d bigger than 0.1?
False
Let d = -1.3 - 0. Let g = d + 3.8. Let i = g - 0.5. Which is smaller: i or 0?
0
Suppose -5*p = -17*p + 48. Is 4 bigger than p?
False
Let a = -26 + 5. Let p = a - -22. Which is smaller: p or -0.2?
-0.2
Let s(z) = -2*z**3 - 1. Let q be s(1). Let r(y) = -11*y**2 - 11*y + 2. Let n(u) = 5*u**2 + 5*u - 1. Let f(g) = -7*n(g) - 3*r(g). Let j be f(-2). Is q != j?
False
Let b(z) = z**3 - 19*z**2 + 20*z - 39. Let x be b(18). Is -1 at most as big as x?
False
Let y = -63/2 + 145/4. Which is smaller: y or 5?
y
Let j = 8 + -14. Let d(m) = m**3 + 5*m**2 - 6*m + 2. Let n be d(j). Suppose -g - n*g - 24 = 3*f, 0 = g - 1. Is -9 < f?
False
Let l = -16.1 - -16. Which is smaller: 3.6 or l?
l
Let f be (-4 + -1)*(-6)/5. Suppose -7*n + 12*n = 5*u - 20, 0 = 3*u + 3*n. Suppose 0 = u*l - 5*l + f. Which is smaller: l or 3/4?
3/4
Let m = -8 - -6. Let v = 3 + m. Let k be (-66)/90 - (-1)/3. Is k equal to v?
False
Let h be (-3)/(-4)*(-278)/645. Let b = h - -1/43. Which is greater: 0 or b?
0
Let q = 95/632 + -2/79. Suppose 3*v = 7*v - 8. Let d be (-3)/2*v/(-3). Is q >= d?
False
Let i = -3856/13 - -297. Which is greater: -1 or i?
i
Suppose -3*d = 3*c - 24, 2*d - c = -5*c + 8. Suppose -2*j + d = j. Which is smaller: j or 1?
1
Let x(c) = 4*c - 4. Let a(w) = -11*w + 12. Let u(n) = 3*a(n) + 8*x(n). Let b be u(6). Suppose -t + 6*t = 4*r + 18, 4*t = 8. Is b bigger than r?
False
Suppose f = -5*d - 22, d = 3*f - d - 19. Let z = 0 + 6. Let y = 9 - z. Is f <= y?
True
Let c = -15 - 3. Is c not equal to -18?
False
Let f = 4 + 0. Suppose x = -x + 8. Are x and f equal?
T