*c - 3*r = 65. Which is greater: 8 or c?
c
Let o = 1560.6 + -1377.38. Let q = o - 188. Let m = 4.8 + q. Is m equal to 0.1?
False
Let s = 6584 + -5851. Is s < 739?
True
Let u = 10 - 10. Suppose -5*x - 3*d - 20 - 5 = u, 5 = -x - 2*d. Let v be (55/10 + x)*-22. Which is greater: -8 or v?
-8
Suppose -4*b = -g + 29322, -5*g = -55*b + 53*b - 14652. Is b >= -7332?
True
Let k = -17 + -139. Let f = -171 - k. Which is bigger: 0.2 or f?
0.2
Let z be ((-8)/32)/(2/(-5080)). Is z less than 6972/11?
False
Let w = 26279 - 26507. Which is smaller: -235 or w?
-235
Let w(d) = 3*d**3 - 4*d**2 + 5*d - 12. Let x(p) = -p**3 + p**2 - p + 2. Let h(r) = -w(r) - 4*x(r). Let z be h(-2). Is 0.4 < z?
False
Let n(k) be the first derivative of -k**4/4 + 8*k**3/3 - 25*k**2/2 + 67*k + 221. Let w be n(6). Which is smaller: w or -131/11?
-131/11
Let f = -862.2 - -763. Let c = 99 + f. Is c smaller than -7/8?
False
Let d = -278299333 - -387671912160/1393. Let r = -4730/7 + d. Which is smaller: r or 1?
r
Let z = 1592 + -854. Are 739 and z unequal?
True
Suppose -2*j + 12 = -0*j - 3*n, -5*n = 2*j + 20. Suppose 5*v = -4*y - 14, j = -0*y + 2*y - v. Is -6/79 equal to y?
False
Suppose -7*t + 14 = -0. Let k be (-77)/(-91) + t/39*3. Which is smaller: 2/31 or k?
2/31
Let w be -18*2716/8 + (20 - 4)/(-8). Which is smaller: w or -6114?
-6114
Let m = -355/3 - -655/6. Let d = m - -29/3. Which is bigger: 15.2 or d?
15.2
Suppose -79*d + 1901 = -548. Let i(r) = -2 + 5 - 3 - 2*r. Let j be i(-16). Does d = j?
False
Let z = -14288 - -11611. Are -2678 and z unequal?
True
Suppose 4*j + 20*j - 24800 = 4*j. Which is smaller: 1239 or j?
1239
Let v = 339 - 179. Let c = 76 - v. Let j = -50 - c. Is j equal to -1?
False
Let a be 8 - (237/12 - 13). Let y = 71 + -70. Which is bigger: a or y?
a
Let b = 16.107 - 0.007. Let g = 16.6 - b. Which is smaller: -3/10 or g?
-3/10
Suppose -718*x + 177716 = -795*x. Are -1 and x nonequal?
True
Suppose 0 = -3*x - 18 + 39. Suppose x = -10*a + 3*a. Let g be -7*(-1)/(-10) + 0. Which is smaller: a or g?
a
Let r = 17.1 - 46. Let k = 2.9 + r. Let f(h) = 3*h**2 + 7*h + 4. Let w be f(-2). Which is smaller: k or w?
k
Let z = -8.772 + 8.172. Which is greater: -742 or z?
z
Let h = -599.6 - -173.6. Which is smaller: h or 0.4?
h
Let i(f) = -4*f. Let h(t) = 5*t - 2. Let b(n) = 3*h(n) + 4*i(n). Let u be b(-7). Which is bigger: 1/53 or u?
u
Let p = 6902 - 7176.04. Let i = 256 + p. Let u = i + 18. Which is greater: u or 0.4?
0.4
Let q = -15452/5 + 3091. Is q less than 1180?
True
Let w(m) = -486*m - 1445. Let b be w(-3). Which is smaller: -31/8 or b?
-31/8
Let f = 323 - 862. Let q = -615 - f. Which is greater: -3 or q?
-3
Let n be 312/(-1222)*7542/56. Let f = n + 241/7. Let j = 1 - 2. Which is smaller: j or f?
j
Let g be (-138)/15*5/(-2). Suppose 2*m = 3*u - 39 - 41, -5*u + 124 = -m. Let a = g - u. Which is greater: a or -4/3?
a
Let t(n) = n - 45. Suppose 0 = -4*k - 4*p + 212, -3*k = -k + p - 101. Suppose -17*f - 190 = k. Let y be t(f). Is -59 >= y?
True
Suppose -315 = 3*t + 3*a, 4*t - 2*a + 265 = -155. Suppose 121 = -x + 3*i, -4*x - 441 = -2*i - 7. Are t and x equal?
False
Suppose -35 = 4*s + 5*o, -39*s - o - 49 = -34*s. Let q = 4 + -17. Is s at least as big as q?
True
Suppose 2*w + 8 = 0, 3*l + 2*w = 4*w + 212. Let s = -54 - -42. Let i be -201*(1 + s/9). Which is greater: i or l?
l
Let q(p) = -p**3 - 2*p**2 + 33*p - 410. Let m be q(0). Is -413 not equal to m?
True
Let y(o) = -212*o - 775. Let j be y(-24). Is j < 4313?
False
Suppose 952 = 43*z - 768. Which is bigger: z or -70?
z
Let c be 0 + ((-2)/6 - 0). Let s = -0.73193 - 0.46807. Is c less than s?
False
Let v(p) = -p**3 - 5*p**2 - 2*p + 4. Let b be v(-4). Suppose -25*c + 30*c - 2*x = -3931, 2*c - 3*x = -1579. Let d be c/200 + 19/(-95). Which is bigger: d or b?
b
Let u = 580 + -576. Suppose u*f = -4*t, 6*t - 3*f = t. Let g(l) = l**2 + 3*l + 1. Let r be g(-3). Which is greater: t or r?
r
Let a = -6727 - -40367/6. Which is greater: a or 0?
a
Let r = -9670 - -8937. Which is smaller: -735 or r?
-735
Let y(z) = -12*z**2 - 2*z + 1. Let o be y(3). Suppose 2377 + 2064 = -35*b + 416. Does o = b?
False
Let g = 5482 + -5483. Is -33/32 less than g?
True
Let s = 8 + -11. Let g = 6 + s. Let a be ((-2597)/3339*2/(-7))/(-2 - -1). Which is smaller: a or g?
a
Let g = 28 + -72. Let k = 47 + g. Let w be (-3)/21*k - (-30)/21. Which is bigger: -4/13 or w?
w
Let o = -21157 + 21166. Is -114/17 less than o?
True
Suppose -4*q - 2824 = -4*i + 3488, -2*i + 4*q = -3160. Is 1575 >= i?
False
Let m = 8561 + -16339/2. Let n = -399 + m. Which is bigger: n or -1?
-1
Let y = 0.256 + -0.112. Let f = y + -1.144. Which is bigger: 0.45 or f?
0.45
Let l(r) = -224*r - 7777. Let g be l(-36). Is g greater than 2001/7?
True
Let n = 39.044 - 0.044. Let f = n + -81. Let k = f - -42.04. Is k bigger than 11?
False
Let u(o) be the third derivative of o**5/60 - 5*o**4/6 + 35*o**3/6 + 3*o**2 - 2*o. Let z be u(18). Which is bigger: z or -2/87?
-2/87
Let l(y) = -6*y - 14. Let u be l(-4). Let x be (-34)/(-8) + u/(-40). Let q(s) = 2*s**2 - 7*s + 4. Let v be q(x). Is v at least 12?
False
Let s(u) = -u**2 + 6*u + 29. Suppose -60 = 5*i + i. Let k be s(i). Which is bigger: k or -129?
-129
Let a = -54 + 50. Let z(n) = -n**3 - 3*n**2 + 6*n + 6. Let f be z(a). Let l be ((-3)/(-4))/((-9)/6 + 0). Do l and f have different values?
True
Let r be 3 + -4 + 5 - -2. Let s be (1 - 279/15) + 4/(-10). Let y = -14 - s. Which is smaller: y or r?
y
Let u = -86676919157/685386 - -7334925/58. Let t = u + 18/101. Is -1 less than t?
True
Let n = 0 + 7. Let h = n - 28. Let d = -29 - h. Which is smaller: -3 or d?
d
Let j = 227 + -395. Let k = j + 344. Is 176 bigger than k?
False
Let n be (-5 - (7 + 92/(-6)))/(11/165). Let r = -1/15 + -1/3. Do n and r have the same value?
False
Let h = 3/13124 - -2086641/328100. Which is greater: h or 6?
h
Let i(m) = -6*m - 5. Let x(k) = -k + 1. Let y(n) = -i(n) + 4*x(n). Let f be y(-4). Is f equal to 6/37?
False
Suppose -4*g = -2*l + 638, 0 = -2*g - 3*l - 135 - 180. Let p be g/(-18) + 10/60. Suppose -p*c + 10 - 1 = 0. Is 12/11 at most as big as c?
False
Let r = -10975 - -10591. Which is bigger: -382 or r?
-382
Let p be (198/(-54))/(4/36 - 0). Let m = 2.4 + -2.1. Which is bigger: p or m?
m
Suppose 0*u + u = 2. Suppose -72*y = 978 - 1194. Suppose -t + y*t = -u*c + 14, -2*c = -3*t + 1. Is t at most as big as 0?
False
Suppose -a - 17 = -6. Let y be 6/(-8)*(a - -3). Let h be (-7)/(-7) - y/(-2). Which is greater: 14/5 or h?
h
Let a(o) = -28*o**2 - 224*o - 3. Let m be a(-8). Let z be (m/((-45)/(-12)))/((-3)/15). Suppose 5*v + 3 = -2. Are v and z nonequal?
True
Let m = -4.6 - 1.6. Let w = m - -6. Let u = -2.037 + -15.963. Which is smaller: w or u?
u
Let r be (20/(-25))/(442/247). Is r at most 1?
True
Let i(b) = b**3 + 12*b**2 + 12*b + 24. Let p be i(-10). Suppose -2*x + 2 + p = 0. Let s be (-4)/x*(-11)/(-22). Is s less than or equal to 1?
True
Let f be (57/(-114))/((-1)/137). Let c = f - 68. Which is bigger: 3/8 or c?
c
Suppose 3*k = -5*k - 1976. Let b = 273 + k. Which is bigger: b or 30?
30
Let v be 1463/(-35) + 6/(-30). Let n be 3 + v/15 + 2322/90. Which is smaller: n or 1/3?
1/3
Let b(l) = l**2 + 5*l. Let w be b(-5). Suppose -4*c + 2*n - 4*n + 24 = 0, 3*n = w. Is c at most as big as 45/7?
True
Let u = -172 - -173. Let o be u*3/1356*12. Is o at least 1?
False
Let s = 2442 + -117121/48. Let w = s - 1261/656. Is w bigger than -1/3?
True
Let v = 217.1 + -217.3. Let c = 326.69 - 325. Is v not equal to c?
True
Suppose 2*q + 26 = -194. Let y be 120/(-96) + q/(-56). Let k = 0.1 + -2.1. Which is bigger: k or y?
y
Suppose -y + 3*p + 58 = 0, -9*y - p = -17*y + 280. Let r = 8/63 - -4205/126. Is y greater than r?
True
Let j be 6/(-4)*(-7 - 1443/9). Suppose -2*y + j = -3*p, 0 = -23*p + 18*p + y - 409. Is p bigger than 0.2?
False
Let i be ((-10)/(40/(-6)))/((-1)/(-34)). Let n = -99.3 + 99. Which is smaller: n or i?
n
Let u(j) = 6*j**3 + j**2 - 24*j - 8. Let f be u(5). Let h = f + -2555/4. Suppose -8 = -5*r + 4*r. Which is smaller: r or h?
r
Let w be (-1 - -1) + 2386027/989. Let b = 2413 - w. Is 0 less than or equal to b?
True
Let i(y) = 2*y**3 - 163*y**2 + 75*y + 484. Let o be i(81). Do -85/53 and o have different values?
True
Let f = -3946 - -3947. Are f and -45/13 equal?
False
Suppose -25 = -l - 15. Le