4801533/47 + 1378992. Let v = 236 - r. Let l(d) = -119*d + 476. Let i be l(4). Which is greater: v or i?
v
Let u(q) = -4*q**3 + 26 + 10*q**2 + q + 2*q + 2*q**3 - 29*q**2. Let g be u(-9). Which is smaller: -83 or g?
-83
Let r be (14/105*10/(-13))/(-2). Let p = r + 173/429. Let f(w) = -2*w + 8. Let q be f(4). Is q at least as big as p?
False
Suppose 3788 = 15*u + 19832 + 39726. Does -3718 = u?
True
Suppose 0 = 103*z - 105 + 2. Is z < 11/184?
False
Let i = 752 + -721. Which is bigger: i or 740/23?
740/23
Let t = 23627/1155 + 4/385. Which is smaller: 19 or t?
19
Let s be (-5389)/(-102) + 2*4/16. Is s bigger than -1?
True
Let x = -626012973/47 - -13320361. Let n = 936 - x. Do 0 and n have the same value?
False
Let x be 5388/(-21) - (36/(-14) - -2). Let a be 28/(-140)*(-10)/x. Is 1 smaller than a?
False
Let j(d) = 3*d + 19. Let v be j(4). Suppose v*n + 8894 = -10760. Is n smaller than -633?
True
Let y be (885/(-118))/(3/28). Let t = 13196/3 - 4328. Let r = y + t. Which is smaller: -2 or r?
-2
Let z = 3290151/19 - 173124. Which is greater: z or 2/7?
z
Let b = -9745 + 9726. Which is bigger: -12 or b?
-12
Suppose -10*i = -143 - 7. Let p be (-4)/(-5) - (6 + (-78)/i). Is p > 8/45?
False
Let y(q) = -40*q - 79. Let l(a) = 2*a - 42. Let p be l(19). Let i be y(p). Is 79 less than or equal to i?
True
Let y(k) = -k**2 - 15*k - 47. Let v be y(-9). Let b = -41 - 24. Let a = b + 73. Which is smaller: a or v?
v
Let x(l) = -l**2 + l + 339. Let j be x(-18). Which is smaller: -113/29 or j?
-113/29
Let d = -5.85 + 5.49. Let t = d - 3.64. Which is bigger: t or 0.1?
0.1
Suppose -2*f = -5*r - 40, 2*r = 3*f - 7 - 31. Let j be -10 + 930/70 - (-2)/(-7). Suppose -j*q + 29 = -7. Which is greater: q or f?
q
Suppose 0 = 27*t - 28*t - g + 9, 0 = -5*t - 2*g + 36. Let i be t/(-4)*(-9)/((-135)/20). Which is smaller: -19/24 or i?
i
Let k(f) = -103*f + 1443. Let a be k(14). Which is bigger: a or 8/167?
a
Let p = -15.114 - -14.214. Which is bigger: 3 or p?
3
Suppose 21 = 5*c + 1. Suppose -3*v = -v, k + c*v = 25. Let g(o) = o + 8. Let l be g(16). Which is greater: k or l?
k
Let w = -105068 + 105058. Let p be (-4)/(-10) - 193/20. Which is greater: w or p?
p
Suppose -60*d - 139378 - 32222 = 0. Which is smaller: d or -2861?
-2861
Let r = -4046.8439 - -4063.81. Let w = -0.0339 - r. Is -9 bigger than w?
True
Let p = 32.05937 + -0.05937. Which is greater: p or -18?
p
Let h(j) = -j**3 - 21*j**2 - j + 3. Let c(u) = u**3 + 30*u**2 + 59*u + 63. Let r be c(-28). Let m be h(r). Is m equal to 25?
False
Let b = -0.314 - -27.024. Let y = 27 - b. Which is bigger: -2 or y?
y
Let m be ((-261)/5568)/(33/220). Suppose -5*d + 44 = -x, -d + x = 4 - 16. Suppose 0 = 4*t - 2*t + p - 4, 5*t - 2*p = -d. Which is smaller: m or t?
m
Let g = -413 - -315. Let i = -26 + 25. Does g = i?
False
Let g = -6.032 + 5.032. Is g > -581?
True
Let l be (-24)/(-16) + 39/2. Let w be 3/(-1) - (-77)/l. Let k be 55/15 + (2 - 6). Is k <= w?
True
Let z = -142 + 218. Let s = 34742 + -34742.1. Does s = z?
False
Let y = -0.076 - -48.076. Let t = y + -47. Let u = 0 + t. Which is bigger: u or -0.4?
u
Let x(k) be the second derivative of 5*k**3/6 - 56*k**2 - 17*k - 1. Let c be x(19). Does -16 = c?
False
Let i = -22.041 - -0.041. Let d = 2.03 + -25.43. Let f = i - d. Is f < 2?
True
Let c(d) = -2*d**3 - 7*d**2 + 9*d + 37. Let w be c(-3). Do w and -8/755 have the same value?
False
Let j = -1544236/63441 + 1290/53. Which is greater: j or 1/4?
1/4
Suppose 12*u - 21 = -11*u + 2. Do u and -1/17366 have the same value?
False
Let l = -86 - -88. Suppose l*a - 20*a = 2952. Is -164 >= a?
True
Let d = 13 + -11. Suppose -d*s + 4 = -0. Suppose s*l = 6*l + 8. Which is smaller: l or -5?
-5
Let o be (732/(-81) + 9)*33. Is -94 bigger than o?
False
Let x = 6241 - 6254. Is 0.024 > x?
True
Let v be (-23)/(-7) - 6/21 - -12. Let k(p) be the first derivative of -p**4/4 + 5*p**3 - 10. Let n be k(v). Which is greater: n or -7/5?
n
Let n = -4947.33 - -4948. Is 0.3 < n?
True
Let v = 117 + -111. Let k be 4*(v - 426/(-8)). Is k not equal to 235?
True
Suppose -203 = -16*t + 645. Suppose -6 = 3*o, -2*n - 2*n + 3*o - 194 = 0. Let a = n + t. Which is smaller: a or 2?
2
Let x = 1.0024 + -0.9024. Is x < 682?
True
Suppose -30 + 30 = -10*c. Let s(o) = -o**3 - o**2 + 3*o - 42. Let u be s(c). Is -3 less than or equal to u?
False
Let d be (-10)/(-4)*(10 + -8). Suppose -4*x + 15 = -m - 0, -5*m - d*x = -25. Which is greater: m or 4/187?
m
Let s = -27069 + 28330. Which is smaller: s or 8?
8
Let x be 3*(1 + (-14)/6) - (-59 + 364). Do x and -3411/11 have the same value?
False
Let m(y) = -103*y - 20. Let t be m(2). Is t < -225?
True
Let l = -5968 - -6078. Is -1 smaller than l?
True
Suppose -r + 67 = y, -2*y + r + 150 = 7. Suppose 0 = -4*t + 2*k - y - 26, -114 = 5*t - 4*k. Is t != 1/3?
True
Suppose 3*i + 6*o - 16203 = 0, 0 = 9*i - 8*i - o - 5392. Is 5393 less than i?
True
Let c = 1283.3 - 1233. Let t = c - 50. Which is smaller: 13/7 or t?
t
Let t = 34 - 3. Let b = -0.7725 + 0.3725. Are b and t equal?
False
Suppose 60*f - 64*f = -1292. Suppose -320*k + f*k = -3. Is -10/113 > k?
True
Suppose -1588*r + 4*t - 766 = -1586*r, 0 = -5*r + 2*t - 1859. Does r = -369?
True
Suppose 5 = -5*b - d - 0, -10 = 4*b + 2*d. Suppose -272 = 4*w - b*w + 5*x, x = -2*w - 130. Let j be 9/(w/68) - -5. Which is greater: j or -5?
j
Let h = 205.61 - 205. Let x = h - -9.39. Which is smaller: -6 or x?
-6
Let p be 84/((-140)/20) + 330/(-72)*-3. Suppose -3*w + 1 = -2*w. Suppose -w = -c - 0. Which is greater: p or c?
p
Let x = 481 + -441. Suppose x = 11*w - w. Is w less than or equal to 28/11?
False
Let n = 1889 + -1734.3. Let u = 144 - n. Let m = u + 11. Which is smaller: m or 1/19?
1/19
Let x(w) = 34*w + 1254. Let q be x(0). Let h be 13/((-715)/q)*160/(-6). Are 609 and h unequal?
True
Suppose -3*h - 48 = -c, 3*h = 7*c - 2*c - 60. Let k be 5 + -1 + (-1)/2*6. Let g be 26/k*1/(-2). Which is smaller: g or h?
h
Let p(d) = -43*d - 2. Let v be p(1). Let w be v/(-20) - (1 - -1). Let o be (-3)/5 - 2052/(-45). Which is greater: w or o?
o
Suppose 29 = 5*s - 2*i, 0 = s + 5*i - 0*i - 22. Suppose c = -3*r - 10, -4*r = -s*r - 3*c. Let y(b) = -b**2 - b - 2. Let t be y(-2). Is t != r?
True
Let i = 0.19819 - 1.19819. Which is smaller: i or -13649?
-13649
Let a = 3045.1 + -3045.06. Let f be (-40)/12*(-3)/(-13). Are a and f equal?
False
Let n = -10 + 100. Suppose -n + 1 = -3*l + 2*s, -2*s = -4*l + 116. Let v be (6 - 5) + l/2. Is 15 at most v?
False
Let k = 47 - -20. Let f = -129 + k. Is f greater than -1?
False
Let b(j) = -22*j**2 - 4*j + 2. Let o be b(1). Let u be 3*(-6)/(-1096)*16/o. Let n = 10421/822 + u. Is 13 at least n?
True
Let k(o) = -208*o + 1872. Let f be k(9). Is f >= -4/3731?
True
Let h(i) = 42*i - 165. Let y be h(-16). Let c = 28447/34 + y. Which is smaller: c or 1?
c
Suppose x + 1 = -3. Let v(o) = -19*o + 5091. Let i be v(268). Which is smaller: i or x?
x
Let y = 0.696 - 56.796. Which is greater: 0.1 or y?
0.1
Let p = -1221 - -1221.717. Let c = p - 0.617. Which is bigger: -4/101 or c?
c
Let f(w) = -w**2 - 29*w + 33. Let u be f(-30). Suppose -4*d - 7 = -5*d - u*m, 5*d - 53 = 3*m. Is 6 < d?
True
Suppose 2*a - 8 = -0*a. Suppose a*v = 94 + 38. Let w = -41 + v. Which is bigger: w or -5?
-5
Let u be 4/14 + (-312)/63. Let r be ((-18)/(-3))/(-1 - 0). Let h be (-3)/r*204/(-17). Is u greater than or equal to h?
True
Let i be 34/72 + (-2)/8. Let d = 203 + -73. Suppose -9 = 139*y - d*y. Is y bigger than i?
False
Let k = -18610.805 - -19349.7. Let m = 739 - k. Is m < 2?
True
Suppose -2*z = -6*z - 48. Let r be (-11 - z)*(-1 - -21 - 0). Let x be (108/126)/(r/14). Which is bigger: x or -0.1?
x
Let b = -4035 - -3988. Let m = -28 - -75. Let w = b + m. Which is smaller: -0.04 or w?
-0.04
Let k be (2/(-4) - 2)/((-13)/26). Suppose k*u = -8*u + 13. Which is bigger: -1/10 or u?
u
Let k be 32/((-1280)/(-600)) - (-1)/((-1)/9). Let q = -119/16 + 2859/208. Is k at least q?
False
Let y be 20/10900*8/(-2). Does y = 0?
False
Let h = -6857 + 13715/2. Let t = 6.811 - -0.089. Let s = 6 - t. Is h not equal to s?
True
Let w be (-79)/(-11) + -2 - (-4)/(-22). Let j = w - 16. Is j <= -17?
False
Let p be ((-2514)/(-4))/((-84)/(-840))*1. Is p bigger than 6286?
False
Suppose 105*g = 16133 + 70702. Is 828 > g?
True
Let x be (-996)/(-12450) - 87808/(-1150). Is x b