 b(8). Suppose -2*k + i*k = -3. Is -2 <= k?
False
Let j(p) = p**2 + p + 5. Let z be j(0). Suppose z*g + 1 = -4. Which is smaller: 2/9 or g?
g
Let q = 5.8 + -8.8. Are 13 and q equal?
False
Let u be 10/15 + 147/9. Let y = -16 + u. Is y at most as big as -2/17?
False
Suppose -2*i + 7 = 4*v + i, 0 = -3*i + 15. Is v smaller than 5?
True
Let w = 3.5 - 3.5. Is 0.06 greater than w?
True
Let w = -135 - -134.82. Are w and -2/3 nonequal?
True
Let q be ((-50)/8)/((-2)/8). Suppose 2*x - 3*j = -3*x, -5*x + q = 2*j. Is 1 at most as big as x?
True
Suppose -5*n + 5*b = -35, -4 - 9 = n + 4*b. Let m = -6 + 10. Suppose d = m*i - 3*i - 4, 0 = -d + n*i - 14. Is -1/5 not equal to d?
True
Let m = 0.008 + 53.992. Which is bigger: m or 1?
m
Suppose -1 = 2*i - 5*z, 2*i + 0*z - 4*z = 0. Are i and 2 nonequal?
False
Suppose 4*p + 421 - 111 = 3*g, 200 = 2*g + 4*p. Is 101 <= g?
True
Let n be 3/(-3) - 3*1. Let c = n - -9. Let f = c - 7. Which is greater: -1 or f?
-1
Let b = 24 + -15. Suppose -w = 5*g - 9, -g - b = -w - 5*g. Which is smaller: w or 10?
w
Let a be (-4)/(-2) + (-13)/6. Is 1 greater than a?
True
Let a = 14 + -12.2. Let b = a - 2. Let f = 56 + -54. Which is smaller: b or f?
b
Let j = -5.06 + 0.06. Let d = -114 + 568/5. Is d <= j?
False
Suppose -106 = 3*s - 5*i + 48, 4*i - 104 = 2*s. Are s and -49 equal?
False
Let h = 3343/42 + -542/7. Is h at least as big as 1?
True
Let z = 42 - 43. Is 1/117 bigger than z?
True
Let k(a) = -a - 1. Let o be k(5). Let t = -8 - o. Is -2 at least as big as t?
True
Suppose 5*m + 10 = 0, -2*m - 2*m = -x + 69. Are 62 and x nonequal?
True
Let v be 2 - (1 + 18/15). Is v less than or equal to 0?
True
Let u = 28 + -26. Is u greater than 1?
True
Let m = -9040/33 + 274. Is m greater than or equal to -0.1?
True
Let r = 65 + -70.9. Let j = r + 6. Which is greater: j or 0.3?
0.3
Let p be ((-2)/(-3))/(22/6). Let d be (1/6)/((-2)/6). Let k = d - 0. Does k = p?
False
Suppose 0 = 3*v - 13 + 1. Let q = 4 - 0. Are q and v nonequal?
False
Suppose 3*x - 8 = -0*x + 2*i, -5*x = 5*i - 55. Let d = x + -5. Suppose 8 = 2*p + 2. Is d at least as big as p?
False
Let s(r) = -2*r + 12. Let d be s(9). Let v be -2*(3/d + -3). Is 7 > v?
False
Suppose 0 = -4*f - 2*h - 6 - 4, -25 = -f + 5*h. Is f at most as big as 0?
True
Let q = 14 + -15. Suppose -3*v - 2*p = -6 + 61, 12 = 3*p. Let b be (8/42)/(18/v). Is b less than q?
False
Suppose -4*h = -p - 0*h + 16, 3*p = -4*h - 16. Suppose p*f + 2*f = 8. Is 4 < f?
False
Let w = 7 + -8.8. Let k = -2 + 4. Let h = w + k. Is h greater than 0.1?
True
Let r = -28.67 - -38.3. Let h = r - 11.6. Let z = h - 0.03. Is -1 <= z?
False
Let u be 48/(-14) - 0 - (-4 + 1). Is u not equal to -2/7?
True
Let w = -13154/333 - -356/9. Is w at least as big as 1?
False
Let a = -0.37 + 0.5. Let c be ((-14)/70)/(2/10). Is a at most as big as c?
False
Suppose 2*w - 3*z + 22 = 0, z + 1 = 3*w + 20. Is -3 bigger than w?
True
Let g = -11 + 14. Is g > 8/3?
True
Let j be -2 - (-1 + 2/5). Let z = -32 - -31. Which is greater: j or z?
z
Let o = -7 + 7. Suppose o = 3*d + 15, 24 = t - 0*t - 4*d. Let y = -3 + t. Which is smaller: y or 1/6?
1/6
Suppose -4*s - s + 15 = 0. Let u be 7 - 6/(-5 + 2). Let k = 14 - u. Which is smaller: k or s?
s
Suppose -3*d - 12 = 0, 0*d + 26 = 3*f - 2*d. Let i = f + -3. Let t = i + -4. Is t greater than -2?
True
Let w(c) = c**3 - 6*c**2 - 8*c + 9. Let k be w(6). Which is smaller: k or 0.3?
k
Suppose -3 = -3*o - 0. Let l = -1 + o. Let z = 183 - 912/5. Which is smaller: z or l?
l
Let d(a) be the first derivative of -a**3/3 - a**2/2 + 1. Let p(o) = -3*o**2 + o. Let f(w) = -2*d(w) + p(w). Let s be f(3). Are 0 and s equal?
True
Let p = -25 + 27. Which is smaller: p or 4?
p
Let u = -6 + -6. Which is bigger: -11 or u?
-11
Let c = 13/20 + -1/4. Is c at most as big as -4?
False
Suppose 0 = -7*u - 7. Is -1 at most u?
True
Let x = 255/7 + -37. Let q = -0.2 - -0.1. Which is bigger: x or q?
q
Suppose 4*p - 3*p = 21. Let q be (-6)/(-3) - p/12. Which is smaller: 0 or q?
0
Let n = -0.1 - 1.9. Let b = -54 - -57. Is n > b?
False
Let b = -12 - -10. Which is bigger: b or 11?
11
Let o = 0.33 + 0.07. Let f = 0.5 + o. Let k = 0.1 + f. Are 0.07 and k nonequal?
True
Let l = 0.8 + 0.2. Which is smaller: 2.1 or l?
l
Let a = 0.051 - 0.751. Is a at most -3?
False
Suppose 3*t = -t - p - 15, 5*t + 50 = 5*p. Let j = t + -1. Does 2/7 = j?
False
Let s be 4 + -3*(-2)/3. Let f = -7 + s. Which is bigger: f or 1/9?
1/9
Suppose l - 5*x + 19 = 0, 5*x - 19 = 5*l - 4. Let j = 1 + -0.1. Is j < l?
True
Let l = 2 + 1. Let w be -1 - ((0 - -1) + 1). Let c = w + l. Does c = -2?
False
Let w = -0.07 + -0.73. Let t = w - -0.79. Is t less than -0.1?
False
Suppose -4*u + 6*u - 6 = -4*a, -3*u - 15 = -2*a. Are a and 3 equal?
True
Let v = -5 + 5.4. Let q = 0 + v. Let t = 0.6 - q. Is -2 > t?
False
Let c = -5 + 9. Let f = 3 - c. Let z = -3/4 - -13/12. Which is smaller: f or z?
f
Suppose 3*z + 43 = -2*i - 87, -82 = 2*z - i. Is -41 smaller than z?
False
Let v = -10.1 + 2.1. Let f = -7.8 - v. Are 0.01 and f nonequal?
True
Suppose 155*b = 157*b + 2. Which is greater: b or -4?
b
Suppose 0*q = 3*q - 12. Let x = -516 + 519. Which is greater: x or q?
q
Suppose -y - 13 = -16. Let t be (1 - (-2 + 2))*3. Suppose -2*l = -7*l + 20, -5*b = t*l - 32. Which is bigger: b or y?
b
Let p = 0.04 + 1.96. Let t = -4 + p. Let c = t + 1.9. Which is bigger: c or -0.2?
c
Let o be 3 - 0 - 2 - -2. Let r be -1 + o*1/3. Suppose 3*h - 2 - 1 = 0. Which is smaller: r or h?
r
Let t be 2/(-4)*(1 + -1). Let i be (t + 0)/(4/2). Let f be ((-4)/(-2) - -4)*16/(-128). Which is bigger: i or f?
i
Let z be 3*(0 - 1) - -2. Let c be ((-2)/8)/(z/4). Suppose -4*l + 9 - 1 = 0. Which is greater: l or c?
l
Let k = -2 + 2. Suppose -2*n - 5*m + 23 = 0, 0 = n + 5*m - 6 - 13. Suppose n = 2*z + 2*d, -z + 0*d - 2 = -3*d. Which is smaller: k or z?
k
Let y = 4.3 + -4. Let z = y + -0.4. Are z and 0.3 unequal?
True
Let l = -1 + 5. Let u = l + 1. Is u < 5?
False
Let o(g) = -g**2 - 4*g + 8. Suppose -5*t - c + 7 = 42, 5*c + 55 = -5*t. Let r be o(t). Which is smaller: -5 or r?
-5
Let m be 8/(-40) + 12/110. Is m bigger than -1?
True
Suppose 4*u + 11 = -29. Let h be -6 + (-6 - -1 - (-3 - 0)). Is h > u?
True
Let z(x) = -6*x - 9. Let h be z(-2). Do -3 and h have the same value?
False
Let o(v) = v - 6. Suppose -5*c + 4*c + 19 = 5*d, 2*d = c - 5. Let t be o(c). Which is smaller: 4 or t?
t
Let h = 5 + -9. Let d(p) = -p**3 - 7*p**2 + p + 2. Let f be d(-7). Is h at most f?
False
Let g(w) = -w**2 - 10*w - 5. Let a be g(-7). Which is bigger: a or 17?
17
Suppose -4 = -12*n + 8*n. Which is bigger: 21 or n?
21
Let d(h) = -h**2 + 2*h - 1. Suppose -b + 3*b - 2 = 0. Let j be d(b). Are j and -1 equal?
False
Suppose 3*l + 6 + 9 = 0. Is -8 bigger than l?
False
Let i = 30 - 3. Let j = i + -26. Are -0.22 and j nonequal?
True
Let x = 145/24 - 37/6. Are 1 and x nonequal?
True
Let z(b) = 5*b. Let a be z(-1). Let k be 26/65 - (-12)/a. Is k less than -10?
False
Suppose 4*x + z + 23 - 4 = 0, 2*x = 3*z - 27. Let h = x - -11. Is -1 < h?
True
Suppose -2*b + 13 = 15. Which is smaller: -4/3 or b?
-4/3
Let y be (-162)/33 + -1 + 3. Let i = y + 257/77. Which is smaller: -1 or i?
-1
Let k = -28 + 9. Is k < -18?
True
Let c be 8/(-2)*120/192. Is -0.06 less than or equal to c?
False
Let f = -1 + 5. Suppose 5 - 21 = -f*n. Suppose 3*q + 1 = n. Is -1/4 less than q?
True
Let m = 8 + -14. Let k = 6 + m. Which is greater: -1/5 or k?
k
Let j(x) = -x + 6. Let v be (-27)/(-6)*8/6. Let q be j(v). Let s be q + -1 + (-3)/(-3). Which is greater: 1/2 or s?
1/2
Let d(q) = -q**3 - 12*q**2 - 25*q + 15. Let n be d(-9). Are n and -6 equal?
False
Suppose d = -3*d. Suppose u - 3 + 9 = -2*t, -u = 5*t + 18. Let p be u/(-5) - -2 - 2. Does d = p?
False
Let x(d) = -d**3 + 5*d**2 + d - 7. Let q be x(5). Let t be (-1)/(q/(-4)) + 2. Let b = 0 - 3. Do t and b have the same value?
False
Let v = 64 - 70. Are 0.02 and v unequal?
True
Suppose 0 = -3*p - 103 + 85. Let o = 5 - 10. Which is smaller: o or p?
p
Let s = -1 + 3. Suppose -s*z - 3 = -5. Is z bigger than -1?
True
Let w = 1.46 + 0.44. Let d = w - 2. Let m = -5 + 2. Do m and d have different values?
True
Let c be (-15)/252 - 2/(-8). Let f = c - 104/105. Let s(v) = v**2 + 7*v + 10. Let l be s(-4). Which is greater: l or f?
f
Let c = -11 - -12. Let f be (-78)/180 + c/3. Which is