r s?
s
Let l(t) = -2*t**2 - 5*t + 5. Let f be l(-3). Suppose -c - f = -0*c. Let i be (c/10)/((-10)/(-310)). Is i greater than or equal to -5?
False
Suppose 24*y - 5412 = 420. Which is smaller: 239 or y?
239
Let n = 143 + -143.099. Let l = -24.901 + n. Let x(f) = f. Let z be x(0). Which is greater: z or l?
z
Let u(q) = 8*q + 1. Let r be u(4). Suppose 23162*f - 23150*f = 384. Which is bigger: f or r?
r
Let j = 524138 + -17144029840/32709. Which is smaller: 0 or j?
0
Let b = 543 + -3790/7. Let a(r) = -187*r - 1119. Let t be a(-6). Which is bigger: b or t?
t
Let n(w) be the third derivative of -w**6/120 + w**5/6 + w**4/12 + 7*w**3/3 + 43*w**2. Let o be n(11). Which is smaller: o or -84?
o
Let j = -12.8 - -13.59. Let n = -0.3 + j. Let u = 0.39 - n. Is -0.09 > u?
True
Suppose 4*f - 12 = -2*f. Let o be (-6)/(-39) + 41433/156. Let h = 268 - o. Are f and h unequal?
True
Let b(d) = 112*d**2 + 1. Let i be b(1). Suppose 5720*z + 2964 = 5746*z. Which is smaller: z or i?
i
Suppose h - 470 = 18*n - 22*n, 4*n - h = 482. Is n less than 110?
False
Suppose 8 = 4*h + 92. Let m = 23 + h. Is m less than or equal to -19?
False
Let t = 2.401 + -44.381. Let s = t + 42. Let h = 0.04 - s. Does -1/2 = h?
False
Let a(d) = d**2 + 8*d + 7. Let o be a(-7). Suppose -4*q + 106 = -2*x, -27*x + 24*x = q - 9. Suppose o*p - q = 2*p. Which is smaller: -9 or p?
p
Let o be 4 - (-10)/(-135)*-3063. Let s = o - 1074344/4653. Which is smaller: s or 1?
s
Let i = 3465 - 3421. Which is smaller: i or 2/43?
2/43
Let l be (-11)/99 - (-1107)/41. Is l at least as big as 26?
True
Let d(g) = -4*g**2 + 17*g - 6. Let m be d(5). Let c be ((-18)/m - 0)/((-9)/(-42)). Are 19 and c unequal?
True
Let g = -55182/11 - -4997. Which is smaller: g or -21?
-21
Let q = 93255 - 43643339/468. Let b = 0 + 0. Is b > q?
False
Let i = -201 - -207. Let a be ((-2)/(-4))/(14 + -97)*i. Is 1 bigger than a?
True
Let p = 1 + 1. Let g = -2.5487 + 546.5687. Let o = -544 + g. Which is greater: p or o?
p
Let v = -44 + 49. Suppose 5*h - v*l + 50 = 160, h = 3*l + 24. Suppose -5*i + 4*i = -h. Which is greater: -1 or i?
i
Let x = 442 + -537. Let l be x/(-6) - (8 + (-294)/36). Which is smaller: l or 17?
l
Suppose -3*r + 0 - 15 = -3*c, -2*r - 6 = 2*c. Let g = -33581/3 - -973882/87. Which is smaller: g or c?
g
Let m = -0.25344 + -0.34656. Is m at most as big as 3/202?
True
Let q be 0 + -185 + 10 + 15. Do -150 and q have the same value?
False
Let z be 3*1*(-180)/(-108). Let p = 15 + z. Let o be (4 - p/5)/2. Which is greater: o or 11/17?
11/17
Let k = -0.834 + 0.634. Which is bigger: 7604 or k?
7604
Let g be (25/(-50))/(5/(-6) + 0). Let z(o) = o + 4 - 3 + 5 - 2. Let l be z(-3). Are l and g unequal?
True
Let u(g) = -g. Let h be u(-5). Suppose -72 = 4*x + h*d, -x + 6*d = 4*d + 18. Let y be 3*1*3/x. Is 8 >= y?
True
Suppose h = -125 + 427. Let g = h + -243. Which is greater: 56 or g?
g
Suppose -l = -2*l + 1, 3*i = -4*l + 34. Suppose -42*u + 2765 = 37*u. Let d be (-21)/u - ((-26)/i - -2). Do d and -1/8 have different values?
True
Let o = 25 - 51/2. Let v be ((-5)/2)/(73/146) - (-25)/(-3). Is o bigger than v?
True
Suppose -9 = 7*v - 51. Suppose 2*c - 10 = -v. Suppose -2 = 4*g + 3*i, -4*i - 10 = c*g - 4*g. Is g >= 2/27?
True
Let z be (-16472)/(-9444)*48/22. Let u = 10/787 + z. Suppose -19 = -4*y + 3*j, -3*y + 2*j + 22 = 2*y. Which is smaller: u or y?
u
Let q(h) = -h**2 + 19*h + 8. Let a be q(19). Suppose -2*o + 3*o + 5*v - 14 = 0, -4*v = -a. Let j = 2.8 + -3. Is j less than o?
True
Suppose -2*a + 32 = 2*m - 30, 2*m + a = 61. Let x be (4 - 96/m) + (-501)/645. Are 1 and x non-equal?
True
Suppose -3*x + 23 = -4*v, -152*v = -153*v - 5. Let m = 0 + -4. Let r = 1.1 - m. Is x >= r?
False
Let w(m) = 4*m**3 + 60*m**2 + 7*m - 59. Let x be w(-15). Are x and -183 nonequal?
True
Suppose -20*y = 5*s - 15*y - 15, -s + 12 = 4*y. Let l be 69/70 + (-2)/7. Are s and l equal?
False
Suppose 14 = -2*v - 877*d + 881*d, -v - 4*d = -11. Is -12/211 at least as big as v?
True
Let w(u) = u**3 + 22*u**2 - 25*u - 52. Let z be w(-23). Let t be ((-49)/(-2) + z)*4/(-2). Which is smaller: -34 or t?
t
Let y = -199812 - -1743759322/8727. Does y = 1?
False
Let d = -0.05 - -13.05. Suppose -g = 5*m - 9, 0*g + 3*g = -2*m + 40. Let f = g + -13. Which is smaller: d or f?
f
Let c be 0/((-312)/(2 - 26)). Is c > 1/13307?
False
Let u be (-3 + 4 - -7) + ((-71110)/(-8885))/(-1). Which is smaller: 0 or u?
u
Let c(x) = -x**2 - 24*x + 18. Let d be c(-16). Let w be 16/(-2)*(-4)/d. Which is greater: -1 or w?
w
Let s = -109 + 121. Let r(f) = f - 12. Let p be r(s). Let h = -3/67 - -173/871. Is p at least as big as h?
False
Let l(p) = p**2 - 4*p - 111. Let h be l(13). Suppose -1 = -2*z + 1. Suppose 17 = -h*k - z. Which is smaller: 3 or k?
k
Let p = -387 + 390. Suppose -p = -2*y - 5, d - 4 = 3*y. Is -6/119 > d?
False
Let v = 104 + -106. Suppose -29 = -15*j + 1. Suppose 6*z + 16 = j*z. Which is smaller: z or v?
z
Let q be 1*2 + -31 + 28. Let d be (-12 + 6)*q/3. Suppose w + d*p + 13 = 0, w - 3*p - 2*p + 48 = 0. Do -23 and w have the same value?
True
Let p = 0.1052 + -6.2652. Which is bigger: -1 or p?
-1
Let a = 0.3 - 4.3. Let c = a + 6. Let z(p) = p**2 - 32*p + 233. Let i be z(10). Which is bigger: c or i?
i
Suppose 4*k + 4*p - 1212 = 0, 0 = 5*k + 3*p + p - 1514. Let z = k - 340. Is -36 <= z?
False
Let g = 3 + -2. Let l = -10507 + 10414. Is g smaller than l?
False
Let i(m) = -7*m**3 - 205*m**2 - 625*m + 2. Let c be i(-3). Let k be (4 + 0)*438/8. Do k and c have the same value?
False
Let f(r) = -5*r**2 - 21*r - 27. Let t be f(-13). Which is smaller: t or 0.1?
t
Let y = -458 + 2126. Is -2 less than y?
True
Let h = -0.23 + -0.27. Suppose 162*t - 168*t = 204. Is h at least t?
True
Let p = 84 + -23. Suppose -16*r = 18*r - 2040. Is r > p?
False
Let m = -78.974 - 0.026. Let u = 78 + m. Let x = -8 + 5. Which is bigger: u or x?
u
Let r = -2434 - -1671. Let h = r - -767. Let f = -1/477 - -6683/2385. Which is greater: h or f?
h
Suppose -8 = 2*a + 2*a. Let f be (10/(-8))/((-2)/(-32)) - -2. Let b be a*(2 - f/(-10)). Are -10 and b nonequal?
True
Let i = -8651 - -60561/7. Suppose -3*r - 23 = 5*v + 3, 4*r - 12 = 5*v. Let n = 3 + r. Is i bigger than n?
False
Let k be 1 + (-485481)/41*(-1)/(-3)*-1. Is 3947 at least k?
False
Let w = 54838827 - 33451701401/610. Let f = -19/122 - w. Is 28 < f?
False
Let r = -7.551 + 6434.551. Do -1 and r have the same value?
False
Let q = 0.0592 + 26.6408. Let o = q + 1.3. Which is smaller: o or 2?
2
Let x = -0.02 - -2.02. Let a = 96459 + -96425. Is a greater than x?
True
Let o be (4 + (-22563)/(-36))*5/((-5)/4). Is o greater than -2521?
False
Let y = 6206 - 5711. Are 495 and y equal?
True
Let y be 1000/30 + -16 + -18. Is y less than or equal to -1542?
False
Let x = 4265 + -5271. Which is greater: -999 or x?
-999
Let i = 262.61896 + 0.38104. Which is smaller: -6 or i?
-6
Let k(y) be the first derivative of -4*y**3/3 - y**2 - 8*y + 13. Let t be k(-5). Is 0.1 greater than or equal to t?
True
Suppose 0 = j - 3*k - 435, -2*k - 925 = -j - 473. Suppose 5*o - 2108 = 327. Is j bigger than o?
False
Let b = 9/553 - -28585/10507. Let p = b - 751/323. Is 0 less than or equal to p?
True
Let a be (-76)/(-24) + -3 - (-70)/12. Suppose -7*v + 32 = -a*v. Let l = -31 + v. Is 2/105 less than l?
True
Suppose 5 = 4*d + 53, -d - 132 = 8*w. Let j = 1 - -2. Suppose 0 = k - 5*v + 15, -k + j*v = 2*v + 15. Is w greater than k?
False
Let z(k) = -k**3 - 24*k**2 - 25*k + 60. Let r be z(-18). Are r and -1436 nonequal?
True
Let r be ((-4)/(32/166))/((-14)/(-308)). Which is smaller: -458 or r?
-458
Let m = 377 - 16208/43. Is 1 smaller than m?
False
Let d(m) = 2*m**2 + 38*m + 69. Let o be d(-17). Is o less than -2/1731?
False
Suppose 0 = 3*k + u + 1, k - 4*u + 6 = 3*k. Let c(w) = 34*w - 1. Let a be c(k). Let v be (a/(-20) - 4) + 2. Is 8 smaller than v?
False
Let r be ((-4)/6)/(3/207). Let d = -15 - r. Suppose -6*v + 10*v + 3*n - 115 = 0, 5*n - 109 = -4*v. Is v greater than or equal to d?
True
Let b = -117.265 + 136.3. Let m = -0.035 + b. Let n = -89 + 87. Is n != m?
True
Let r(y) = 404*y - 6463. Let t be r(16). Is t at least as big as -1/15751?
True
Suppose 0 = -2*c - 3*c - 2*y + 42, 0 = -2*y - 8. Let f(p) = -13*p + 16. Let k be f(1). Suppose -k*z = -5*b - 1 + 23, 3*b = z + c. Which is smaller: z or -3?
z
Suppose 0 = q