15). Let x = f - 19/12. Are x and 2 equal?
False
Let z be ((-880334)/(-70))/(-13) - -18. Do z and -950 have the same value?
False
Let x(t) = -20*t - 240. Let k be x(-12). Suppose -40 = -9*d - 4. Is k >= d?
False
Suppose 2*b + 5*k = 28, 3*k - 12 = -2*b + 8. Let p = b - 4. Suppose p = -y - 6 + 3. Which is greater: -2 or y?
-2
Let o = -40 - 41. Let n(k) = 81*k**3 + 2*k**2 - k - 2. Let u be n(-1). Is o bigger than u?
False
Let o be (-4)/(-7 + 3)*3. Let j be 2/o*27/(-279). Let c = -1134 + 1135. Which is greater: c or j?
c
Let u = 3.61 - -1.09. Let h = 2364.3 - 2371. Let x = h + u. Which is smaller: x or 2/51?
x
Suppose -b - 9 = 25. Let p = -35 - b. Let l be 412/102 - (5 + -1). Which is smaller: p or l?
p
Suppose 3*h - 24*s = -29*s + 60, 0 = -3*s. Let u(y) = -y**2 + 5*y - 2. Let g be u(4). Let m be 3 - (55/h - g). Is m greater than or equal to 3?
False
Let u = -5270 - -6018. Is 747 greater than u?
False
Let d(y) = -36*y + 2269. Let s be d(64). Which is greater: -524/15 or s?
-524/15
Let h(a) = -a**3 - 16*a**2 - 15*a + 1. Let g be h(-15). Let o be (37/(-7) + g)*98. Let c be -1 + (-295)/o - (-2)/8. Is 1 smaller than c?
False
Suppose 2*a + 3382 = -2*q, -5*q + 20*a - 18*a = 8469. Is 1/3 <= q?
False
Suppose 6 = -3*v, -2093 = -4*k + 4*v + 1043. Let w = 781 - k. Let h = -336 + 5708/17. Which is smaller: w or h?
w
Let p = -442 - 5. Let y = -11881 - -11434. Is y < p?
False
Let y(j) = j**3 - 31*j**2 - 68*j + 67. Let v be y(33). Does v = 3/7448?
False
Let y be (16 + -15)/(-1*1/(-179)). Let t = y - 164. Which is smaller: 9 or t?
9
Let j = -182/145 - 18801/2465. Which is greater: j or -10?
j
Let a = 0.1 - -0.1. Let c = -8040.1 + 7245. Let f = c + 794. Which is greater: f or a?
a
Let j(f) = -3*f**2 - 136*f - 30. Let r be j(-48). Which is greater: -413 or r?
-413
Let x be (-3)/4 + (-7)/28. Let u = -150 + 510. Let a be (-100)/u*(-21)/(-10). Which is smaller: a or x?
x
Let z(h) = 40*h + 29. Let m be z(-3). Let w be 39/m + -4*(-18)/(-28). Which is smaller: -14/9 or w?
w
Let b = -14396.971 - -14397. Which is bigger: b or -0.1?
b
Let n be ((-6)/(-9))/(-1 - (-5)/15). Let z be ((-140)/36)/(-5) + n. Which is greater: z or 12?
12
Let k be (-50)/450 + (-19)/(-9). Suppose a + 12 = 5*a. Let u be (5 - k) + a/(-2). Is u less than 1?
False
Let z = 0.6 - -1.4. Let f(n) = -30*n + 110*n**3 - 51*n**3 - 60*n**3 - 15*n**2 - 11 - 2*n**2. Let v be f(-15). Which is smaller: v or z?
v
Let r be (3 + 48/(-15))*0. Is r at most -7/215?
False
Suppose -8*i - 1276 = 836. Is i less than -3?
True
Let y = -764 + 224. Is y >= -1?
False
Suppose 166*s = 11356 - 91534. Is -484 equal to s?
False
Let y be (156/(-18))/(2/3). Let v = -14 - y. Let g be (3/(-18))/(476/(-252)). Are v and g non-equal?
True
Let f be (-1)/(-3) + 48/9 + -5. Let j = -1552 - -1577.04. Let n = 25 - j. Which is smaller: n or f?
n
Suppose -5*x + 27*j - 5 = 23*j, 2*j = -3*j + 50. Suppose 3*m + 4*p = 2*m - 21, -4*p - 20 = 0. Is x less than or equal to m?
False
Let a = 8 - 33. Let i = a + 28. Suppose 0*y + i*y = 3. Which is smaller: 4/7 or y?
4/7
Let a = 0.08614 - -24.23186. Let s = -0.318 + a. Is s at most 1/4?
False
Let f be (-15)/150 + (-2)/(-20). Suppose 2*m = -f*m - 6, -4*m - 8 = 2*a. Suppose 0*w = 3*w - 36. Which is bigger: w or a?
w
Let g be 2 + 13/(-5) - (-3208)/(-20). Let z be 4/10 - (g/(-630))/23. Is z not equal to 0?
True
Suppose -3*d = 4*w - 8*w + 298, 5*w + 3*d = 386. Is 378/5 != w?
True
Let h be 7/(273/36)*(-6642)/(-243). Is h at most as big as 26?
True
Let z(a) be the third derivative of 13*a**2 - 17/6*a**3 - 1/24*a**4 + 0 + 0*a. Let p be z(-20). Which is smaller: 22/7 or p?
p
Suppose -p - w = 27, -2*p + w - 133 = 2*p. Let v = p - 82. Is -113 < v?
False
Let g = -182.3 + 182.212. Let d = -8.7884 - 0.1236. Let r = g + d. Is r equal to 2?
False
Let s(w) = -189*w - 8505. Let h be s(-45). Which is greater: 17/208 or h?
17/208
Suppose 0 = -5*x - 148 - 97. Suppose -1580 = 35*a - 288 + 458. Which is bigger: x or a?
x
Let c be 5/(35/(-581))*2. Let d = c + 166. Which is bigger: 1/250 or d?
1/250
Let c = -32 - -32.31. Let j = c - -70.69. Let o = j + -70. Is -2/5 < o?
True
Let q be ((-12)/(-16))/(((-3)/1)/(-56448)). Suppose 7*n + q = n. Let l be n/702 + 3 - (-2)/6. Which is smaller: l or 1?
l
Let d be (2 - (-6)/9)*(-13 - -10). Let x be (-5542)/1768 - (-2)/d. Are -2 and x nonequal?
True
Let p be 25/(-250) - ((-8649)/9560)/9. Is 0.2 <= p?
False
Let z be (-4 - 0/(-2))*(-1750)/3000 - 2. Let f be 3/(-24) + (-1)/4. Which is smaller: z or f?
f
Let d = -50 + 10. Let o = -35 - d. Let p be ((-6)/o)/(91/70). Is p at most -2?
False
Let f be (-94)/(-6) + -72 + 56. Which is smaller: f or -205/11?
-205/11
Suppose -5*n + d = -2*n - 17, -16 = -4*n - 2*d. Suppose 3*g + 2*b = g + 8, -n*g = -2*b + 8. Suppose 2*j = -5*y - 9, g = -4*j + 4*y + 27 - 3. Is 16/7 at most j?
True
Let q = -68 - 79. Let r = 560 - 559. Does q = r?
False
Suppose 5*x + p + 7 = 2*p, -x - p = -1. Let a be (-92)/8 - x/2. Suppose 388*h = 350*h - 342. Is h > a?
True
Let l = -9990 + 9989. Which is bigger: -6/3697 or l?
-6/3697
Suppose 2*f = -46 + 32. Let q be (f/(-1) - 1) + 112. Let h = -139 - -258. Is h greater than q?
True
Suppose 31*h + 35321 = -133598. Which is bigger: -5450 or h?
h
Let p be 12/12 + 2*19. Let m be 4*(-8)/272*p. Which is smaller: m or -6?
-6
Let w(f) be the second derivative of -1/2*f**2 + 12*f + 0 + 0*f**4 + 2/5*f**5 + 0*f**3. Let z be w(1). Is 5 at least as big as z?
False
Let w = -1687 - -1688. Let f = -2/1335 - 2644/17355. Is w bigger than f?
True
Let d be -1 - (6/2 + 2). Let s = 5 + d. Let q be 18*(-4)/440 + (-6)/30. Is s > q?
False
Let u = -10759.63 - -10760. Let v be 3/7 - (-4)/7. Are v and u nonequal?
True
Let j = 686 + -209. Let z = j - 476.57. Which is bigger: z or -0.3?
z
Let w be 2 - (10 - (2 + 1)). Let s be 8 + -9 + -2 + 1. Let p be 2/(-5) + s/(-5). Is p greater than w?
True
Suppose -53*t = -111 + 58. Let a = 22447/25 + -898. Is a != t?
True
Suppose 0 = 2*z - 5*o + 28 - 7, 3*z + 24 = 5*o. Suppose -5*a - 19 = -3*s - 1, 0 = -5*s - 2*a - 32. Which is bigger: s or z?
z
Let s = -730 + 759.9. Let k = -46 - -76. Let d = k - s. Which is greater: 2/31 or d?
d
Let w = 48 + -30. Let k be 0 - 7/(14/6). Let v be (6/5)/(k/(-50)). Which is greater: v or w?
v
Suppose 5*t = -86 - 49. Let q(n) = -n**3 - 16*n**2 + 2*n + 29. Let z be q(-16). Let h be (1 + -2)/(0 + z/t). Is h less than or equal to -7?
True
Let j = -16874 - -16882.275. Are 1 and j nonequal?
True
Let r = 155.3626 + -0.2626. Let x = -155 + r. Are x and 1/10 non-equal?
False
Suppose -3*z = 3*a - 209 + 23, -5*a = -5*z - 290. Let j be -26*(-3)/18 - a/(-90). Which is greater: j or 31/5?
31/5
Let c be -3 + 1 - (-3 + 0). Suppose 3*p = -z + 1 + c, 21 = 4*p + 5*z. Let q be (145/(-1595)*2*(-11)/2)/3. Are q and p non-equal?
True
Let g(u) = u**3 - 5*u**2 - 6*u. Let l be g(6). Let c be ((-2)/(-12))/(54/972). Suppose l*f + c*f = -30. Is f at most as big as -10?
True
Let j = 2/567 + 1679/6237. Let g(f) = 2*f**3 + 16*f**2 - 157*f + 140. Let t be g(1). Which is greater: t or j?
t
Suppose 2*z + 152*g + 14 = 147*g, 5*g + 32 = 4*z. Which is bigger: z or -859?
z
Let y = -18431 - -129597/7. Let x = y - 59733/721. Is 1 less than x?
False
Let d be ((-4192)/10611)/(-8)*((-6)/(-8) - 0). Let l(u) = -u + 5. Let k be l(6). Which is smaller: d or k?
k
Let y(l) = 5*l + 200. Let m be y(-26). Suppose 0 = 502*f - 495*f + m. Which is greater: f or -5?
-5
Let u = 24240/11 - 2205. Let g be 3/9 - 7/3. Is u at least as big as g?
True
Suppose 15*x - 96 = -21. Suppose -4*h + 4*d - 24 = 0, x*h + 3*d - 96 = -166. Let p be (0 - 2)*1 - 8. Is p at least as big as h?
True
Suppose -8*a - 3*h = -10*a - 101, 4*a - 4*h + 196 = 0. Which is smaller: a or -2/11?
a
Let s = 52781.017 - 52757. Let u = s + -0.017. Which is bigger: u or 1/2?
u
Let f = 223/5 + -44. Let d be ((-1)/1 + 1)/3. Suppose -5*h + d*h = -6*h. Is f > h?
True
Let b = -495 + 501. Suppose -b*o - 175 = -4*t - 3*o, 5*o + 220 = 5*t. Is 43 less than t?
False
Let a = 15 - -6. Let t(o) = 153*o - 1051. Let s be t(7). Is s less than a?
True
Let c = -1.952 + 1.852. Which is smaller: c or -1203?
-1203
Let s = -206545/201 - 13248/335. Let r = -2506/3 - s. Let b = r + -231. Which is bigger: -2/23 or b?
b
Let q be 105721/(-24) + 0 + (-34)/(-51). Let i = 4396 + q. Which is greater: i or -9?
i
Let z(c) = -46 - c