- 2*r + 8, -2*r = -k - 3 + 10. Suppose 3*b - b - 2*i = 2, i - k = 0. Are b and 5 unequal?
True
Suppose -2*f + 17 - 7 = 0. Is 5 greater than or equal to f?
True
Let r = -5.3 + 6.3. Which is bigger: r or 5/6?
r
Let g = -215/7 - -31. Let o(t) = t**2 + 9*t - 9. Let n be o(-10). Let d be (3 - 3)/(3/n). Are g and d nonequal?
True
Let p be 6*((-8)/(-12) + 1). Let q be (-4)/p + 33/55. Do q and -1 have the same value?
False
Let l = 135 + -132. Is l at least 11/3?
False
Let z be (-2 - -4) + 66/21 + -3. Are 2 and z nonequal?
True
Let a = -3275/702 - -136/27. Let o = -1/26 + a. Do o and -1 have different values?
True
Let i(w) = -w**2 + 11*w + 4. Let m be i(11). Which is bigger: m or 16/5?
m
Let s(z) = -z**2 + 10*z + 3. Let l be s(10). Let m be (2 - 0 - 5) + l. Which is smaller: -1/11 or m?
-1/11
Let y be 0 - (2 + (-5 - -2)). Let h = y + 0. Let m be (-90)/120 - 21/(-20). Which is smaller: h or m?
m
Suppose 12 = -2*c - 4*x + 32, -10 = -c - x. Suppose -2*t - 3*a - 2*a = c, 4*t - 4*a = 8. Suppose t = -8*u + 6*u. Is -1/2 smaller than u?
True
Suppose p = -2*p + 9. Let z(c) = 4*c - 3. Let i be z(2). Let l = -1 + i. Is p smaller than l?
True
Let k be (-50)/300 + 206/12. Suppose -q = 2*g - 20, 4*g - 2*g = 2*q - 34. Is q at most k?
False
Let x = 10 - 5. Suppose -5 = -x*z - 0. Which is smaller: z or 1/14?
1/14
Let q = -48 + 47. Is q at most 3/26?
True
Let c be ((-2)/50)/(3/(-9)). Is 0 < c?
True
Let y(i) = -i - 24. Let l be y(-12). Which is smaller: l or -11?
l
Let s = -10 - -10.1. Which is bigger: 3.2 or s?
3.2
Let v(q) = q**3 + 8*q**2 + 8*q + 3. Let c be v(-7). Let x = 37 + -41. Do c and x have the same value?
True
Suppose -3*y = -2*h - 30, -h - 21 = -5*y + 29. Suppose 3*v = -4*z - 3 - 12, -2*z - y = 2*v. Let j be (-8)/(-10) - (1 + z). Which is greater: -1 or j?
j
Let k(j) = 2*j**2 - 2*j - 1. Let x be k(-1). Let z be x/(-2)*(-4)/(-21). Let q = 0.2 - 2.2. Is z bigger than q?
True
Let s be 16 - (0/4)/(-3). Suppose -3*h - s + 64 = 0. Which is smaller: 17 or h?
h
Let v(h) be the first derivative of -h**3/3 - 9*h**2/2 - 4*h - 2. Suppose y + 21 = 3*q, -5*q - 7 = 4*y + 9. Let i be v(y). Are -3 and i nonequal?
True
Let k be 230/(-3)*(-20)/24. Let p = k - 64. Suppose -d + 2 = -0, 12 = -4*a + 4*d. Are a and p non-equal?
True
Suppose 2*d = -4*q - 22, -5*q - 3*d - d = 32. Which is smaller: -2 or q?
q
Suppose -3*o = -2*t - 0*o - 5, 0 = 4*t + 3*o - 35. Suppose t*m - r = 16, 0*m - r = m - 8. Let v = 3 - m. Is v at least as big as -2/5?
False
Suppose -2*d + 2 = -6*l + 2*l, -3*d + 15 = 0. Let f(m) = -3*m**2 + 3*m - 1. Let t be f(l). Which is smaller: -8 or t?
-8
Let i be 2/5*(-25)/55. Suppose 9 = 3*z + 5*a, 0*a + 12 = 4*z + 2*a. Suppose 3 = z*b - 0. Is b at most as big as i?
False
Let r = -10.07 - -10. Let l = 0.23 - r. Let c = l - -0.1. Which is smaller: -1 or c?
-1
Let t(z) = -z**3 - 7*z**2 + 8*z + 2. Let v be t(-8). Suppose -6*w + 2*w = -v*i - 22, 15 = -i + 3*w. Is -8/3 at least i?
True
Let p = -1 + 1. Let x be (-3)/(-2)*(-14)/3. Let j be 3*1 + 23/x. Which is smaller: p or j?
j
Let v(i) = -i**2 + 11*i - 13. Let j be v(10). Let x be 1/j + 232/408. Which is greater: 1 or x?
1
Suppose 0 = -o + 2*v + 18, 3*v - 5 = 1. Which is bigger: 24 or o?
24
Let j(i) = -i**2 - 7*i - 6. Let z be j(-5). Suppose u - y = 54, -4*u - 2*y = -3*u - 42. Suppose -v + 2*v - 25 = -5*q, -4*v - u = -5*q. Is z <= q?
True
Suppose -3*x - 3*f - 6 = 3, 4*f + 12 = 0. Suppose 0 = 2*h - 24. Let o be (-2)/h - 3/18. Are o and x equal?
False
Let m be (-1 - 0/3)/(-1). Suppose -163 = 3*v - x, 4*v + 2*x - 110 = 6*v. Let k be (-1)/(-3)*v/(-12). Is k bigger than m?
True
Let b = 1 - 2. Suppose 0 = 5*p + 4*c - 10, 0 = 2*p - c + 4*c - 11. Which is bigger: p or b?
b
Let i = -0.3 + 0. Let o = -0.2 + i. Let l = -3.5 - o. Is l at most -0.2?
True
Let a be 2/(-6) + 1 - 0. Is 1 greater than a?
True
Let i be 2*-3*(-1)/(-2). Let h be (12/2)/(-2) + 2. Is h less than or equal to i?
False
Let p = -34 + 35.6. Which is smaller: 0 or p?
0
Suppose 4*k - 3*i = -1, -7*k - 2*i = -2*k - 16. Suppose 0*w = -k*w + 2. Is w less than 1/15?
False
Let z(y) = -y + 5. Let t be z(9). Is 0.2 >= t?
True
Let d = 0.6 - 0.3. Let r be 18/42*(-2)/3. Do r and d have the same value?
False
Let h = 2631141 + -1526061071/580. Let c = h + 4/145. Which is greater: c or 1?
c
Let g = 23 - 22.1. Let n = g - 1.9. Let i = 1 + -1. Which is smaller: i or n?
n
Let w(o) = o**2 + 6*o + 2. Let f be w(-5). Suppose 0 = -2*c - c + 30. Suppose 4 = 3*l + c. Is f smaller than l?
True
Suppose 5*i = -3*x + 9, -5 - 4 = -3*i. Let n be 2/3 + x/3. Suppose 20 = -4*b + 24. Which is greater: n or b?
b
Let b = 0.28 - 0.2. Which is smaller: 2 or b?
b
Let m = 805/151 - -1/453. Is m less than or equal to 5?
False
Let n = -75 - -75. Are 4/5 and n equal?
False
Suppose -5*f - 71 = 3*t, -t = f - 5*f - 50. Let v = 15 + f. Which is smaller: v or 0?
0
Let z = 8931/4 + -2220. Let p = z - 25/2. Is -1 != p?
True
Let a = 153668/35 - 24129/5. Let m = -436 - a. Which is greater: m or 0?
0
Let c(q) = -q**3 + 6*q**2 - 4*q + 2. Let p be c(5). Let j be ((-2)/(-1))/((-2)/p). Let g = 11 + j. Is 4 greater than g?
False
Let b be 0/(1 + 1 + -4) + 0. Let i = 4.87 - -0.13. Let t = -7 + i. Is t bigger than b?
False
Let i be (2 - 1 - 3) + -1. Let t(r) = r**2 + 3*r. Let z be t(i). Let k = 3 - 3. Is z >= k?
True
Let y = -6 - -3. Let s be (1/(-2))/(y/(-12)). Let w = 1 + s. Which is smaller: w or -0.3?
w
Let f = -1 - 0. Let z = -5.9 - -4.8. Is z not equal to f?
True
Let y = 0 + 2. Let s be (1/y)/(2/(-16)). Let l be (-1)/s + (-1)/4. Which is greater: 1/3 or l?
1/3
Let j(p) be the first derivative of p**4/4 - p**3/3 + p - 4. Let v = 0 - 1. Let b be j(v). Which is greater: b or 2/19?
2/19
Let r = 0.1 - 0.2. Which is greater: -3/7 or r?
r
Let n be (5 - 8)*2/(-14). Suppose -7 = -5*j + 18, -s - 14 = -3*j. Is s <= n?
False
Suppose -w - 4 = 3*w. Which is smaller: w or -1/2?
w
Let g be (-1)/(-2) - 2/4. Let k = 2 + g. Let a = 8 - 7. Which is smaller: k or a?
a
Let c = -0.03 + -0.02. Let l = c - -0.15. Which is smaller: -2/7 or l?
-2/7
Let t(q) = -q. Let n be t(4). Which is smaller: n or -13/4?
n
Suppose 3*l + 1 = -2. Let b be (l - 5/(-3))*-3. Let w(m) = -m + 1. Let j be w(5). Which is smaller: j or b?
j
Let h be ((-3)/(-15))/((-2)/(-6)). Let i = 0 + 3. Let k = -2.9 + i. Is k at least h?
False
Let i = -1 + 5. Let v be (-1)/(-24)*5*-26. Let s = v + 23/4. Is i bigger than s?
True
Let n = 2 + -1. Let w(d) = -d**2 + 3*d + 3. Let q be w(-3). Let z = 63/4 + q. Which is bigger: n or z?
n
Let n = -202 - -202. Let u be 2/5 + (-6)/15. Suppose u = o - 5*o. Is n greater than o?
False
Let y = 5/2317 - 136813/50974. Let a = y - -5/2. Which is bigger: 1 or a?
1
Let g be 1901*(15/27)/5. Let w = g - 211. Which is smaller: 2/5 or w?
w
Suppose 5*h - 72 = 133. Let k be (h/(-10))/(3/4). Let p = -24/5 - k. Which is greater: 2 or p?
2
Let z = -4 + 3. Let m = -1 - z. Let g = -5 + 3. Is g <= m?
True
Suppose 1 = z - 19. Let b = z + -99/5. Which is smaller: b or -1?
-1
Let d(l) = -2*l**3 - l**2 - l. Let z be d(-1). Suppose -o = -z*o. Suppose 0 = 4*k + 4*v + 16, -7 = 2*k - 2*v + 3*v. Which is bigger: o or k?
o
Suppose 4*a = 5*a + 2. Let y be -1*(-1)/(4/(-18)). Let p = 4 + y. Is a less than p?
True
Suppose 2*h = 4*b - 210, 2*h - 97 - 143 = -5*b. Are b and 50 nonequal?
False
Let f = -16 - -63/4. Is -1 less than or equal to f?
True
Let i be (1/(-4))/(6/(-8)) - -1. Which is smaller: 1 or i?
1
Let g be (-2 - -4) + (-2)/2. Suppose 4*y = -5*m + 15, -5*y = m - g - 2. Let w be 2 + 0 - 24/9. Which is greater: y or w?
y
Let g = -1/12 + -37/132. Is g greater than or equal to 0.2?
False
Suppose 8*f = 12*f. Suppose 5*k - 6*k + 1 = 0. Let m be (1 - (-12)/(-10))*k. Which is greater: m or f?
f
Suppose 2*d + 21 = 3. Are -9 and d unequal?
False
Let m be ((-3 - -18)/5)/(-1 + 2). Which is smaller: 11/5 or m?
11/5
Let q = -294 + 6469/22. Is 0.1 at most as big as q?
False
Let b(p) = p**2 - 4*p - 7. Let w be b(6). Let i = 1 + -1. Suppose x - 4 = w*l + 1, i = -x. Is -1 smaller than l?
False
Let m = 0.03 - 2.03. Let b = -7 - m. Is 1 at most as big as b?
False
Let b = 6 + -4. Suppose -4*j + 0 = 4. Let t = j - b. Is -2 smaller than t?
False
Let v = 3 - 2. Suppose 38*y = 34*y + 8. Which is smaller: v or y?
v
Let c(b) = -2*b - 2. Let p be c(3). Let v = -4 - p. Suppose f = v*f - 3. Is -1/4 > f