15?
-2/15
Let p = 5/18 + -403/90. Which is bigger: -3 or p?
-3
Let g be 0 - 0 - 1*287/(-28). Suppose 10 + 20 = -3*k. Let q = g + k. Is 1 at most as big as q?
False
Let z = -15 - -15. Do z and 2/31 have the same value?
False
Suppose 3*b - 2 = -11. Which is bigger: -10 or b?
b
Let q = -3894/17 + 229. Is q greater than -1?
True
Let r = 62.5 - 61. Which is bigger: r or 1?
r
Let c = 44 + -30. Let u = -15 + c. Which is bigger: u or 8?
8
Let n be 3*(-1)/(-3)*0. Suppose 0*q - q = n. Is q <= 2/37?
True
Suppose 8*r + 24 = 5*r. Let y = -6 - r. Suppose 2*n = -2*z + 4, -n + y = -0*z - 4*z. Do 4/5 and n have the same value?
False
Let o be (-108)/(-8)*4/33. Let a = o + -65/33. Which is smaller: -1/4 or a?
a
Let r = 89.2 + -87. Which is greater: -2/3 or r?
r
Suppose 0*v = i - v + 5, -5*v - 5 = -2*i. Let f be 2/(-10) + 2/i. Which is smaller: 0 or f?
f
Suppose 0 = -5*b - 15, -2*b - 2 = -2*k. Let v be ((-3)/4)/(k/(-8)). Is v greater than or equal to -2?
False
Let t = -3 - -2. Let q be 4/(-1 + 2/1). Let g be (q/18)/((-6)/(-9)). Which is smaller: g or t?
t
Let w = -38/25 - -1/50. Let v = 225 + -893/4. Let x = w + v. Which is smaller: x or -0.1?
-0.1
Suppose 0 = 4*r - g + 380, 5*r - 2*g = -4*g - 475. Let h = r + 1053/11. Let b = 13/33 - h. Is b > 0?
False
Let j be (-1 - 6/(-24))*12. Which is greater: -6 or j?
-6
Suppose 11 + 21 = 2*p. Which is smaller: p or 14?
14
Let g be (-4)/(-6)*(-30)/(-4). Let o(w) = w**2 - 4*w - 4. Let d be o(g). Let c = -1248/7 - -178. Which is bigger: c or d?
d
Let o = -18 + 17.9. Which is greater: o or 0?
0
Let c = 0.03 - 0.01. Let z = 5.02 - c. Let f = -4.9 + z. Are 1/2 and f equal?
False
Suppose 203 = 13*c - 6*c. Is 29 < c?
False
Suppose -12 = -r - 14. Which is bigger: r or -5/8?
-5/8
Let c be (-6)/4*4/(-3). Suppose 3*i - 8 = -n + i, c*n - 3*i = 2. Suppose 18 = n*t + 3*j, -4*j + 7 = -1. Which is smaller: t or 4?
t
Let m(b) = -b. Let t be m(3). Let w be (-24)/(-9)*t/(-2). Let d be (w - 4)/(-2 - -1). Is d less than 4/3?
True
Suppose -4*p - 8 = -2*p. Let l(v) = v**3 + 4*v**2 + v + 1. Let w be l(p). Which is smaller: w or -2?
w
Suppose 0 = c + 5*u - 28, -2*c - 3*c - 3*u = -52. Let g be -2 + -6*c/(-18). Is 0 less than or equal to g?
True
Let w = 2.89 - -0.11. Is w greater than 6/7?
True
Suppose -2*s = -w, 11 = 4*w - 4*s - 1. Let p be (0/2)/(w/(-6)). Which is smaller: p or 2/5?
p
Suppose y = -4*y - 5. Let s = 2 - y. Suppose -2*l + s*n + 1 = 0, 4*l - n + 9 = l. Which is smaller: -3 or l?
l
Let s be (18/24)/((-1)/136). Let f be (-1)/(-3) - 46490/s. Let m = f + -456. Which is smaller: m or -1?
-1
Let z = 1.1 + -0.8. Is z <= -0.03?
False
Let r be ((-4)/(-8)*6)/1. Suppose -2*y - 4*s + 10 = 0, -r*y - s + 11 = 3*s. Is 0 > y?
False
Let d(w) be the first derivative of -w**3/6 + 4*w**2 + 2*w + 1. Let c(n) be the first derivative of d(n). Let i be c(8). Which is bigger: -1/3 or i?
i
Suppose -17 = -5*i + u, 4*i - 2*u + 4*u = 22. Let j be i/78*(-740)/(-264). Let d = 1/99 + j. Which is greater: d or 0?
d
Let f = -0.14 - -2.14. Is 1 less than or equal to f?
True
Let p be ((-5)/(105/9))/1. Suppose 2*o + 32 = -34. Let y be o/(-27) - (-6)/(-27). Which is greater: y or p?
y
Let l = 0.08 - -0.02. Let f = -0.04 + 0.04. Is f bigger than l?
False
Let i be 1 + 4 + 1 + -2. Suppose 0*x = i*x. Is x greater than or equal to -2/15?
True
Let f = 1 - 0. Is 1/17 equal to f?
False
Suppose 0 = 5*j + 23 + 2. Let o(k) = k**2 - 7*k + 3. Let w be o(6). Let c(t) = t**3 + t**2 - 4*t + 1. Let i be c(w). Is i smaller than j?
False
Let s = 3/28 + -2/35. Which is greater: s or 0?
s
Let p be ((-1)/(-3))/((-10)/18). Suppose 12*v + 5 = -19. Which is bigger: p or v?
p
Let p = 11 + -15. Let i = 15 - 11.1. Let m = p + i. Are m and 0.2 nonequal?
True
Suppose -2*z + 0*z + 30 = -5*y, -4*z - 5*y = -30. Let o be 12/z*6/18. Is o <= 0?
False
Suppose -4*g - 12*o + 16*o - 160 = 0, 0 = 4*o. Is g bigger than -41?
True
Let r(a) = 2*a + 2. Let c be r(-2). Let d = -1.8 - -2.7. Let m = d + -1. Which is smaller: m or c?
c
Let w = 15.1 + -15. Which is bigger: w or -11?
w
Let i(y) = y**2 + 13*y + 2. Let n be i(-13). Which is greater: -2 or n?
n
Let z = -2 - -7. Suppose 0 = z*f + 20, f + 0 + 2 = -2*l. Let n be (-6)/27 + 11/9. Is n greater than l?
False
Let r = 0.08 - -4.92. Let b = 5.1 - r. Is -2 at least b?
False
Suppose -102*d + 97*d + 220 = 0. Is d equal to 42?
False
Suppose 0 = 2*b - 6*b + 8. Suppose b*h - 12 = -h. Is 3 smaller than h?
True
Let y = -10 + 8. Let s be (0 + (-3)/(-2))/y. Are s and 0 equal?
False
Let t = -2622157/87 + 30139. Let u = -2/29 - t. Is u equal to -0.06?
False
Let s(x) = -x**2 + 6*x - 6. Let t be s(4). Suppose -l + 1 = 5*c + t, -3*l = -12. Are -1/3 and c non-equal?
True
Let o(v) = 3*v + 8. Let d be o(-3). Does -4/3 = d?
False
Suppose -3*n = -4*o + n - 20, 3*n - 11 = 2*o. Let h(g) = -2*g**2 - g + 2. Let z be h(-2). Is o less than or equal to z?
True
Suppose 0 = 5*n + m + 14, -m - 2*m = -5*n + 2. Let h be 1*n/(-12)*-2. Let u be (-12)/(-8)*6/9. Is h greater than u?
False
Let p be -4 + 372/28 + -1 + -2. Let f be ((-3)/(-42))/(9/820). Let h = p - f. Are h and 1 non-equal?
True
Let t(b) = 111*b - 3. Let o be t(4). Let d be 2/(-10) + (-7 - (-17408)/(-40)). Let f = o + d. Is f != -2?
True
Let p = -40 + 27. Which is greater: 0 or p?
0
Let l be (1/2)/(10/(-112)). Which is smaller: l or -7?
-7
Let m = -36 + 53. Suppose -5*b = -4*n - m + 1, -5*n = -2*b + 3. Let v be 3/6 - 3/(-2). Which is greater: n or v?
v
Let i be ((-527)/102)/(1/(-3)). Is 17 bigger than i?
True
Suppose -2 - 1 = 3*k. Do -8/9 and k have the same value?
False
Let o = -3 - -3.4. Which is smaller: -5 or o?
-5
Suppose 3*o = -3*w - 2*w - 13, 9 = -o - 4*w. Let h = 1/4 - 3/28. Is o != h?
True
Let r = 0.08 + -0.18. Which is smaller: r or 6/5?
r
Let q(m) = m**3 + m**2 - m. Suppose 0 = 4*b + 2*a - 2 - 12, -4*a = 5*b - 25. Let s be q(b). Suppose 4*n + 4*x = 8, 0 = -n + x + s + 3. Which is smaller: n or 2?
2
Suppose 0 = 3*v + v. Let n be 2/10 - 16/(-720). Is n at least v?
True
Let n = -1 - -4. Let b be 4/(200/(-79)) - -2. Let m = b - -2/25. Is n >= m?
True
Let h(i) = 4*i - 3 + 0*i**2 - i**2 + 2*i**2. Let l be h(-4). Which is bigger: l or -4?
l
Suppose 4*t + o = -13, -o = t + 6 + 1. Let z(q) = -q - 6. Let m be z(-5). Do m and t have different values?
True
Let k = -0.5 - -0.58. Let x = 3.92 + k. Let s = x - 2. Which is greater: -0.2 or s?
s
Let v(p) = p**3 + 7*p**2 - 9*p + 7. Let b be v(-8). Let s be (6/b)/(2/5). Which is smaller: -1 or s?
-1
Let a(d) = -d**3 - d**2 + 1. Suppose -2*x + 2 = -2*o + 6, 0 = -2*x - 3*o + 6. Let z be a(x). Which is bigger: z or 1/4?
z
Let k = -4 + 5. Let b be 0 + k + (-4 - -3). Suppose -2*h - 3 = -y - b, -5*y = -h - 24. Which is smaller: h or -1?
-1
Let w be 2/(-4) + (-12)/8. Which is smaller: -3 or w?
-3
Suppose -25 = -5*a + 4*g, a - 3*g = 3*a + 13. Is 1 bigger than a?
False
Let d = -14 - -13. Which is smaller: 1 or d?
d
Let i(k) = -2*k + 1. Let t be i(-1). Suppose 2*h = t*h. Let a(q) = -q**3 - 6*q**2 - 6*q - 6. Let x be a(-5). Is h bigger than x?
True
Suppose -3*u - 45 = -3*i, -u + 25 = 3*i + u. Let o = i - 18. Let h be 14/(-78) + o/(-21). Is h > 0?
True
Let l be 20/(-150) - 4/45. Is 1/5 > l?
True
Let g be (-5)/((-75)/(-35)) - -2. Let t be (-2)/(3/((-6)/4)). Which is smaller: t or g?
g
Let w = 2 - -1. Let b be 0/4 - w/(-1). Suppose 0 = b*o + 5 + 1. Which is smaller: -1 or o?
o
Let v = -518/99 + 82/11. Is 1 != v?
True
Let m be 14/(-35) - (-2)/5. Let n = -1 - 11. Which is greater: n or m?
m
Let n be (-151)/5 - (-2)/10. Let r be (-1)/n*3*-13. Let t = r - -149/130. Are t and -1 unequal?
True
Let j = 9/10 + -3/2. Which is smaller: -1 or j?
-1
Suppose 0 = -2*a - 8, w = -2*w + 4*a + 22. Let c = 4 + -2. Is w greater than c?
False
Let q = 48956/11007 + -4/1223. Is 3 less than q?
True
Let q = -1 + 0. Suppose -4*b = 7 + 113. Let a be ((-2)/4)/(b/(-12)). Is q at most a?
True
Let l = -2 - 4. Let k = -23 + 49. Suppose k - 6 = -4*u. Which is smaller: u or l?
l
Suppose 6*j + 5 = j. Let h = -4 - -4. Suppose 2*y = -h*y. Is y greater than j?
True
Let y = 3 - -20. Which is smaller: 21 or y?
21
Suppose -7 = -3*r - 1. Suppose r*i = 5 - 1. Is 1 < i?
True
Suppose -x - 5 = 2*p + 2, -3*p = 5*x + 56. Suppose 2*h + 72 - 5 = -5*m, 5*h + 18 = -m. Is x smaller than m?
False
Let s = 6 + 6. Let u be 3*-1 + 28/s. Which is greater: u or 5?
5
