i less than -2015?
False
Let s be (-15)/(-50)*(-3 + 11)*31/186. Which is greater: -0.505 or s?
s
Suppose 0*r = 3*r - 1383. Let t be (-34)/4*10*1383/(-255). Are t and r non-equal?
False
Let w = -372.06 - -372. Let j = w + 5.06. Which is bigger: j or 11?
11
Let b be (-12 - -9) + ((-4248)/75)/(-8). Which is greater: 4 or b?
b
Let y = 2122 + -2180. Let p = -65.04 - -7.24. Let h = p - y. Does -9/5 = h?
False
Let i(v) = -15*v + 7. Let p be i(-7). Suppose p = b + 3*b. Let m be b/(-20) - (-4)/10. Which is greater: m or 31?
31
Let n = 2/14753 - 14723500/44259. Which is smaller: -332 or n?
n
Let v be 10/(-75)*(-50)/8. Let z = -63 + -19. Let g = -80 - z. Is g at least as big as v?
True
Let j(p) = -p**3 + 3*p**2 + p + 3. Let i be j(4). Suppose 8 = 11*w - 13*w. Let x(f) = 4*f + 6. Let y be x(w). Which is bigger: i or y?
i
Suppose -38*r = -4*r + 7*r. Which is smaller: 246/13 or r?
r
Let j be (-56)/(-30) - (-1 + 0/(-6)). Let x = j + -11/5. Let d = -77 - -233/3. Is d at most as big as x?
True
Suppose 0 = 5*d + 3*y + 1249, 17*y = 3*d + 12*y + 797. Is -254 > d?
False
Let l be ((-6)/21)/(6/14). Let c = 80.938 + -192.938. Which is smaller: c or l?
c
Let m be 4323/(-6)*7/(21/(-6)). Let s be 306/m - (-118)/(-649). Is 1 less than or equal to s?
False
Let z = 4278 - 4277. Let c be 4/(-18) - 28148/(-306). Let k = c + -92. Which is smaller: z or k?
k
Suppose -2*x - 3 + 5 = -j, -1 = 4*j - x. Which is smaller: j or 15/1147?
j
Suppose 0 = 4*l - 134 + 14. Let n be (-4 - (-4 - 56))*(-2)/(-4). Let s = l - n. Which is smaller: 3 or s?
s
Suppose -555*b - 1274217 = -7137792. Is b < 10563?
False
Let w = -41283/2 + 20118. Which is smaller: -523 or w?
w
Let r = 10.41 + -794.41. Is 2 > r?
True
Let d = -3026 - -2984.46. Let u = 0.54 + d. Is u < 1/3?
True
Let i = 55.291 - 55.32. Is i less than -0.2?
False
Let b = 0.55 + 0.15. Let h = -14 - b. Let k = -13 - h. Is k != 2?
True
Suppose -5*z = w - 408, 2*w + 135 = 2*z - 33. Suppose 4*d = -2*q - 82, -4*q + d = z + 118. Let v = q + 32. Which is smaller: v or -16?
v
Let j be (-6)/8 + (5/(-20) - -1). Let b be 26/(-12) - (j + 18/(-12)). Which is greater: b or -257?
b
Let x be 16/(-20) - ((-228)/10 + 2). Let j be (-6)/x + -1 + 32/40. Is j > 5/9?
False
Let c = 1130.3 + -1129.6. Is 405 <= c?
False
Let x = 171396 - 860208/5. Let s = x + 652. Which is smaller: s or -2/7?
-2/7
Let u(z) = -z**3 - 26*z**2 - 63*z + 270. Let k be u(-23). Is k at most as big as 134?
True
Suppose -2*d + 13 = 5. Let t be 20/6*26/130. Is t > d?
False
Let x = -1204 - -1204. Does x = -26.83?
False
Suppose 0 = 141*y + 30*y. Which is greater: y or -7114?
y
Let s(m) = m**3 + 5*m**2 - m + 4. Let k be s(-5). Suppose -2*n + 5 = -3*a, 0 = -k*a + 5*a - 3*n + 16. Is -7/20 not equal to a?
True
Let a(t) = 2*t**2 + 3*t - 2. Let g be a(1). Suppose 2*l + 9 - g = 2*s, 2*l = -2*s - 10. Let d be (-102)/(-98) + (2 - 3). Which is bigger: s or d?
d
Let c = -9 + 12. Suppose 4*r - 18 = -3*q, c*q - 4*r = 4 + 14. Let o be ((-2)/(-21))/(2/q). Is 16 at most as big as o?
False
Let j = 677983.2 - 677983. Let d = -33 - -33.17. Is d less than j?
True
Suppose -4*q = -1 - 7. Suppose 2*h = -q*h - 12. Let p be (-18)/81 + 278/(-144) + 3/8. Is p smaller than h?
False
Let l(a) be the third derivative of -a**5/60 + a**4/2 - 77*a**3/6 - 2*a**2 + 24. Let p be l(20). Is -236 > p?
True
Let v be (-1)/(-6) + 95/(-228). Which is bigger: -1615 or v?
v
Suppose -38*b - 444 = -44*b. Let z be 2/3 + (-2)/(-6) + 100. Let p = z - b. Is p < 26?
False
Let w be ((-5)/(-3) + -1)/((-24)/(-108)). Let x be 3*19*w/((-90)/(-20)). Is x less than 37?
False
Suppose 0 = c - b - 910 + 909, 2*c = -5*b - 12. Is 2/5995 at most c?
False
Let a(f) = -f**3 + 19*f**2 + 23*f - 61. Let r be a(20). Let g = -225 - -181. Which is smaller: g or r?
g
Let v = -11.048 - -11. Let y = 33164/7 - 4738. Does y = v?
False
Suppose r - 3*m = -11, 5*m = -5*r - 10 + 35. Let n be ((-4)/3)/((-3)/(-9)). Which is bigger: r or n?
r
Let o(j) = 5*j**2 + 59*j + 11. Let h be o(-6). Which is smaller: -157 or h?
h
Suppose 5*w + 3*d - 7 = 3*w, -4*d + 4 = 0. Suppose -4*a = p - 68, -5*a = p + w*p - 204. Let g = p + -70. Which is bigger: -13/9 or g?
-13/9
Let x = -8995 - -9016. Let z be 65/3 - (-6)/(-9). Let v = z - x. Are -1 and v equal?
False
Suppose -121*n - 399*n = 277*n - 5237087. Is n bigger than 6570?
True
Let j be 696/18 + -3 + 2/(-3). Suppose 2*k = -j*k - 1480. Let u = 1 - 1. Which is smaller: k or u?
k
Suppose -2*w + 4 = 4*k, 12*w = 8*w - 5*k + 8. Suppose 0 = -3*t + w*u + 312, -4*t - 5*u = -0*u - 416. Suppose -4 = 3*j + t. Which is smaller: -37 or j?
-37
Let a = 1046 - 1046.1. Which is greater: -8/129 or a?
-8/129
Let s = 0.0666 - -10.4334. Let j = s + -10.2. Which is greater: j or 2/129?
j
Let x = -7318/915 + 496/61. Which is smaller: 246 or x?
x
Let p = 22 + -14. Let y be 84*-4*(-17)/p. Let w be (-1)/(-10) + y/(-140). Is -2/5 at most w?
False
Let x(v) = 6*v + 4. Let w be x(7). Let q = 50 - w. Let y be (14/(-4) + q)*0. Is y greater than or equal to 4/53?
False
Suppose 0 = -155*i + 13*i + 2059710. Is 14505 bigger than i?
False
Let f(c) = -c**2 - 4*c - 13. Let k(x) = -x**2 - 3*x - 11. Let i(n) = -7*f(n) + 6*k(n). Let u be i(-5). Which is smaller: u or -17/30?
-17/30
Let d(w) = 12*w**2 - 4*w + 2. Let o be d(1). Let x be (-778)/o - (5 - -1)/30. Let g = x + 89. Is g bigger than 8?
True
Let q = -0.0324 - 2.4776. Let m = -198 - -197.49. Let b = q - m. Is b greater than 0?
False
Suppose -2 - 19 = -s. Let o be 12/s + ((-16)/(-14))/(-2). Let z be 8/47*12 + -2. Do z and o have the same value?
False
Let m = 343.6 - 2594.6. Is 0.1 at least as big as m?
True
Suppose 25*a + 53*a = 11*a - 57754. Is a at least -862?
True
Let r = -3786 + 568. Let q = r + 16038/5. Which is greater: -9 or q?
-9
Suppose -4*d - 2*t + 2 = 0, -7*t + 2*t + 19 = -4*d. Let o = 2/298565 - 927044347/3284215. Let w = o + 282. Which is greater: d or w?
w
Let o(p) = -4*p - 12. Let r be o(7). Let n be (2/r)/(165/58 + -3). Let b = n - -59/18. Which is smaller: b or 5?
b
Suppose -3*i + 509 = 2*b - b, 3*b + 183 = i. Let l = -177 + i. Let f be 18/4*(-2 - -1). Which is smaller: f or l?
l
Let y be (-2*(-14)/6 + -5)*-1. Is y bigger than 1021?
False
Let z = 68.7 + -348.7. Let t = z - -148. Is 2 greater than t?
True
Let h = 10814 + -10806. Is h equal to -2.61?
False
Let o be -1 + (-160)/(-78) - 1. Let x(t) = -56*t**2 - 10*t + 29. Let v be x(3). Let q = v - -506. Do q and o have the same value?
False
Suppose -31*f + 3157 = -8623. Which is greater: 0 or f?
f
Let g = -3179 - -3234. Is 499/9 greater than or equal to g?
True
Let d be (7/(-3))/((-40)/30)*92. Do d and 155 have the same value?
False
Let a be 8/6*12/8. Suppose -6*n = -7*n + a. Suppose 4*m + 12 = 0, -l + 5*m = n*l - 18. Do l and -2/17 have different values?
True
Let i be 128/(-240) - 1/(-3). Let d = -2950.4 - -2951. Do d and i have the same value?
False
Let s = 7.56 + -23.56. Let n = -17 + 14. Is n >= s?
True
Suppose -5*q + 12 = -l, -3*q + 2*l = 7*l + 32. Do -10/9 and q have the same value?
False
Suppose 240*o + 278616 = 99*o. Which is greater: o or -1977?
o
Let m = -75613 + 148503929/1964. Which is bigger: -1 or m?
m
Let t be 8 - (-49)/(-7) - -19. Let n be (-16)/(-7) + -2 + 1221/63. Which is smaller: t or n?
n
Let b = 92 + 42. Let s = -772 + 910. Suppose -5*c - s = 5*u + 72, -b = 3*u - 5*c. Do u and -44 have the same value?
False
Let r = -309 + 333. Suppose -3*k = -5*n - 20, r = 4*n - 3*n + 5*k. Let d = -4868/275 - -200/11. Does d = n?
False
Let j = -52244 + 575199/11. Which is greater: j or 48?
48
Let p be (-820)/70 + 48/(-21) + 2. Let y be p/66 - (-84)/99. Is y smaller than -11?
False
Let i(s) = -35*s + 737. Let c(m) = -12*m + 245. Let b(o) = 8*c(o) - 3*i(o). Let f be b(28). Let k = 114/61 - 13232/7015. Is f >= k?
True
Let q = -16339 + 16372.1. Is 0.01 equal to q?
False
Let i be 3*(-2612)/60 + 4. Let c = -127 - i. Which is smaller: -0.122 or c?
c
Let t = 1921 + -13445/7. Does t = -1/3?
False
Let v be 6/((0 - 9/54)/(109/(-18))). Are v and 201 non-equal?
True
Let i = -0.017 - -0.047. Let h = 19.21 - i. Let r = h + -19. Which is greater: r or -2/5?
r
Let v(z) = z**2 + 4*z + 4. Let s be v(-3). Suppose 255 - 1076 = -f. Let a = f - 820. Is s greater than a?
False
Let x = 197 + -299. Let p = x + 89. Which is bigger: p or -2?
-2
Let p(a) = a + 91. Let m be p(17). Suppose 