-15?
-15
Let r = -7.97 - -8. Let k = r - 3.03. Let d = -2 - k. Which is smaller: d or 2?
d
Let j = -349 - -2089/6. Let h(z) = 2*z**3 + z**2. Let t be h(-1). Is j > t?
True
Let z be (-4 - 0)*(-1)/(-62). Which is greater: -1 or z?
z
Let c = -16349783/10215 - -14405/9. Let s = 5269/4540 + c. Let n = 3/4 - s. Are n and -1 equal?
False
Let z be (-21)/(-27) + (-4)/(-18). Suppose -n + z = -1. Which is smaller: 3 or n?
n
Let y = 169 - 120. Is 49 <= y?
True
Suppose -3*d + 0*d = -138. Let s = 140/3 - d. Which is smaller: -0.05 or s?
-0.05
Let c(x) = -x**2 + x - 4. Let j be c(0). Are 4/7 and j unequal?
True
Let a be 2/84 + (-1)/(-7). Which is smaller: 0 or a?
0
Let x = 2/113727 - 11549612/189545. Let a = 61 + x. Which is bigger: a or 1?
1
Let k be 30/8*40/15. Suppose -3*w - 2*w - k = 0. Which is smaller: w or -3/5?
w
Suppose 3*z - 2*a = 64, 6*z + 4*a = z + 114. Is z smaller than 22?
False
Let x = 35.6 - -4.4. Which is smaller: -2/3 or x?
-2/3
Let f = 12211/10 + -1223. Is -3 <= f?
True
Suppose -53 = -7*h + 10. Let w = 35 + -25. Which is smaller: h or w?
h
Suppose -17*n + 12*n = 0. Which is smaller: n or 1?
n
Let z = 2 + -4. Suppose 2*j + 23 = 3*a - 2*j, 5*j - 5 = 0. Let r be (-30)/a + (-4)/6. Is z at most r?
False
Let d be 0/(-2 + 0/1). Suppose 3*j - 2*j = 5*i + 12, -4*i = 2*j + 32. Let b be j/30*18/(-6). Is d >= b?
False
Let r = -8 + 7. Which is bigger: r or -1/37?
-1/37
Let y = -2.8 + 3. Let z = 0 + y. Let l be (1/12)/((-9)/24). Is z > l?
True
Let r(p) be the third derivative of -p**6/360 - p**5/20 + p**4/8 + 2*p**2. Let j(f) be the second derivative of r(f). Let b be j(-4). Is 3/5 greater than b?
False
Suppose -m - m = -10. Suppose 0*q + 25 = 5*q + 5*p, 16 = -4*q + m*p. Let w be ((-1)/(-4))/((-1)/(-4)). Is w bigger than q?
False
Let i be (-5)/2 + (-28)/(-14). Is i bigger than 0?
False
Let r = 34/3 - 32/3. Let a be 354/189 - 0 - 1. Let k = 4/9 - a. Is k at least r?
False
Let d = 4291/993 - -4/331. Which is bigger: 5 or d?
5
Suppose 0 = -5*z - 15, 3*p = 4*p + z + 7. Let n(i) = i**3 + 4*i**2 - 16*i - 24. Let x be n(-6). Which is bigger: x or p?
x
Suppose 4*k + 3*u - 6 = 4, 2*u = 4*k. Which is bigger: 4 or k?
4
Suppose 0 = 2*s - 6, -21 = 4*l + l - 2*s. Let q(d) = d + 7. Let v be q(-5). Suppose -v*m = 14 - 6. Which is smaller: m or l?
m
Let n = 1.031 - 0.031. Which is smaller: -21 or n?
-21
Suppose -d - 4*d + 65 = 0. Are d and 14 unequal?
True
Let y = -3 + 8. Let r(m) = m**3 - 6*m**2 + 6*m - 5. Let w be r(y). Is -2/3 greater than w?
False
Let x = 13 + -8. Let q = 7 - 4. Let s = x - q. Is 1 at most as big as s?
True
Let s = -52 - -74. Suppose z = 4*d + s, -4*z + 6*d = 3*d - 23. Are z and 3/2 equal?
False
Let a be (5 + 14/(-3))/((-1)/15). Which is bigger: a or 0.3?
0.3
Suppose 0 = 4*t + 16, 5*a + 4*t = 7 - 23. Let s = 226/295 - -2/59. Are s and a nonequal?
True
Let m = -9 - -15. Suppose -3*l = -m*l. Which is smaller: l or -3/4?
-3/4
Let m = -1 - -3. Let z be (2 + m*-1)*-1. Let k = -56.1 - -56. Is z less than or equal to k?
False
Suppose -8 = z + 2. Is -10 <= z?
True
Suppose -2*l - 21 = r + 3*l, -5*r = 5*l + 5. Is r at least 4?
True
Let n(i) = 2*i - 2. Let w be n(2). Suppose -6 = 2*b - w*f, 2*f + f = -5*b + 9. Is 0 <= b?
True
Let t = 8.9 - -2.1. Is 3 bigger than t?
False
Suppose -3*t = 3*x + 27, 0 = x + x + t + 17. Suppose 4*g + 22 = -4*j - 18, 5*g = 2*j - 78. Let m = g - x. Which is smaller: m or -5?
m
Let l be ((-2)/(-3))/(-2)*-9. Let p = l - 11. Let c(u) = -u**3 - u**2 + 4*u - 3. Let k be c(2). Is k at most as big as p?
False
Suppose -3*g = 3*t + 7 + 8, -3*t - 9 = g. Is -9/5 < g?
False
Suppose 0 = -5*v + 103 + 22. Suppose -5*l + v = 0, 3*c + 4*l - 35 = -0*c. Are 5 and c nonequal?
False
Let a = 2/385 - 247/385. Is a < -2?
False
Suppose 0*u + u = 4*k + 36, -k = 5*u - 12. Is k at least as big as -9?
True
Suppose -2*q = 2*s - 4, q - 5*s + 2 = -2. Which is bigger: q or 6/13?
q
Let r(d) = -d**2 + 14*d - 30. Let t be r(9). Which is smaller: 16 or t?
t
Let j = 0.63 + -0.03. Let v = -0.9 + j. Is 0 less than v?
False
Let u(j) = -j**2 - 5*j - 6. Suppose v + 12 = -2*v. Let q be u(v). Let r be 7/q - 2/4. Is r less than -3?
True
Let j(p) be the second derivative of p**5/20 + p**4/12 - p**3/3 - p**2/2 - 4*p. Let r be j(-2). Which is smaller: r or 2/11?
r
Suppose 2 + 18 = 4*s, 2*v + 2*s = 38. Which is greater: 15 or v?
15
Suppose -3*n - 5*w + w = 43, 3*n + 40 = -w. Is -13 at most as big as n?
True
Let y = -157 - -164.1. Let l = y + -7. Is -8 not equal to l?
True
Let q = -196 + 1369/7. Is q bigger than 5?
False
Let r(i) = i**2 - 5*i. Let x be r(5). Let w = 6/71 + 514/639. Is w greater than or equal to x?
True
Suppose -i = -2 - 4. Let k(w) = w**2 - 6*w - 5. Let t be k(i). Let r be (-3)/((-75)/2)*t. Is -2/3 != r?
True
Let m be (-184)/6 - (-12)/18. Let r be ((-2)/(-20))/((-4)/m). Is 1 > r?
True
Let o = 2.1 + 1.9. Is -2/5 not equal to o?
True
Let z be (8/(-12))/((-2)/(-3)). Let j = z + 4. Let r be (-10)/(-25) - 18/(-5). Which is bigger: j or r?
r
Let f = 169 + -165. Does f = 5?
False
Suppose 3*n - 5*n = -314. Does n = 158?
False
Let x(m) = m + 5. Let t be x(-9). Let o = 6 + t. Let h = o - 1. Is 2/17 smaller than h?
True
Let l = 28.919 + 0.081. Is l bigger than 1?
True
Let i = -19/9 + 179/72. Let v(m) = m + 1. Let f be v(-2). Is i at most as big as f?
False
Let k = -11334 + 3729186/329. Let z = -16/47 + k. Is z > 2?
False
Let g be (15/(-6) + 2)*-16. Let v(t) = t**2 - 8*t - 3. Let y be v(g). Suppose -3*c - 8 - 1 = 0. Is c < y?
False
Let n(v) = 2*v - 1. Let d be n(1). Suppose -o = 4*o. Let b = 0 - o. Which is smaller: d or b?
b
Let j = -256/3 - -85. Let r be 0 + 1 - (-16)/(-10). Is r greater than or equal to j?
False
Let c = 14 + -31. Let i = c + 15.1. Which is greater: i or -0.1?
-0.1
Let g = 2.488 + -0.488. Let r = -2/155 - -316/465. Is r <= g?
True
Let h be (16/(-32)*(-1 + 9))/2. Let i = 0.17 - -0.03. Is h at least as big as i?
False
Suppose 8 = -5*p + 3. Let h(g) = -g - 1. Let z be h(0). Are p and z non-equal?
False
Let b be (-2 - 0) + 1*-2. Let m = -3 - b. Let x = -119 + 831/7. Which is bigger: m or x?
m
Let v = 0 - -8. Let d be (2/3)/(v/(-12)). Is d >= -2/23?
False
Let r be (-117)/18 + 2/4. Let u be (44/r)/(-2) - 3. Are u and -1/3 equal?
False
Let p(b) = -b**2 + 8*b - 2. Let j be p(8). Let c = 5 + j. Suppose c*t - n - 1 = 0, -n + 1 = -3*t + t. Is t at least 2?
True
Suppose -9 = 10*k - 49. Is k >= 21/8?
True
Let j be 5769/30*(-10)/8. Let n = j - -240. Which is greater: -1 or n?
n
Suppose -2*r - 2 = -3*r. Let l = -13 - -15. Suppose l*b - 2 = r. Which is smaller: b or 3?
b
Suppose -2*a - 6 + 0 = 0. Let k(g) = -2*g + 9. Let u be k(6). Let q = a - u. Is -1/2 equal to q?
False
Suppose -3*c + 167 = -3*s - 34, c - 4*s = 58. Suppose -c = -2*w + 7*w. Let p be 7/w - 2/(-4). Are p and -1 non-equal?
True
Let x = 1.18 - 0.18. Let s = x - -2. Is -2 greater than s?
False
Let u be 2/11 - (-3056)/132. Is 23 at least as big as u?
False
Let m(l) = l + 13. Let v be m(-3). Is v greater than or equal to 11?
False
Let m be (-42)/(-18)*(-8)/14. Which is smaller: 0 or m?
m
Let k = 77 + -78. Suppose 0 = -4*g - 3*m + 36, 2*m + 12 = 4*g - m. Suppose g*x = 5*x + 5*y + 9, 0 = 2*x + 3*y + 8. Is x not equal to k?
False
Let i = -4.3 + -0.7. Let b = 0 - i. Is b bigger than 1?
True
Let o = 2.33 - 0.33. Is -13 less than o?
True
Let v = -0.114 + 0.014. Do v and -0.1 have the same value?
True
Suppose -v + 7 + 5 = 2*g, 3*v + 9 = 3*g. Which is greater: g or 1?
g
Let a(n) be the first derivative of -n**3/3 - 9*n**2/2 - 8*n - 3. Let w be a(-8). Suppose s + w = 3*i - 5, 3*i + 20 = -4*s. Which is bigger: i or 4/3?
4/3
Suppose -7*s = -4*s + 21. Let q be 3 - ((-11)/s + 1). Is q less than 1?
True
Let z = 0 - 3. Suppose 2*v = -5*y - v, 0 = 2*v - 10. Do y and z have the same value?
True
Let i = -0.9 - -1. Let a = -0.4 + 0.4. Let j = 0.1 - a. Is j greater than i?
False
Let q = 11 + -10.7. Let t = 44/105 + -2/105. Is q >= t?
False
Suppose 6*w = 11*w. Which is smaller: 1/77 or w?
w
Let t = -19 - -23. Let d = -3 + t. Which is bigger: 3/7 or d?
d
Let z be (-2)/(((-4)/30)/(-1)). Let u be ((-4)/(-6))/(10/z). Let o(s) = -s**3 - s**2. Let w be o(u). Is 0 <= w?
True
Let s be ((-276)/42 - -7) + 3/(-7). Is -1/49 equal to s?
False
Let u(z) = z**2 + 7*z. Let w = -16 + 9. Let q be u(w). Is q at most -2?
False
Let g = 4.08 - 0.08. Let