ppose 0*j + 4732 = 5*j + 4*q, -2*j + d*q + 1882 = 0. Let y be -2 - (j/(-36) + 4/18). Are 24 and y equal?
True
Let h(s) be the third derivative of s**5/60 + 7*s**4/24 - 11*s**3/6 - 3*s**2. Let r be h(-7). Is r bigger than -11?
False
Let g(x) be the first derivative of -30*x**2 + 17*x + 58. Let t be g(1). Is t less than or equal to -45?
False
Let d be 110/275*(-2 + -5 + 2). Let z be (2112/(-100))/(-8) - 4. Which is bigger: d or z?
z
Let b = -190 - -384. Let c = b - 194. Let p = -10.4 - 0.6. Is c at most p?
False
Let x = 136107/3200791 + -31/737. Does x = 0?
False
Let t(s) = 5*s - 25. Let w = -173 - -179. Let m be t(w). Is -1 smaller than m?
True
Let y = 229 - 220. Let u = -9.5 + y. Let x(a) = -a**3 + 3*a**2 + 4*a + 2. Let l be x(4). Is l >= u?
True
Let x be 1/4 + 306/24. Let n be 1/(-4) + x/20. Let y = -3.06 - -2.97. Is n <= y?
False
Let l = -499.514 - -500. Let v = -25 - -25.014. Let w = l + v. Are -2 and w equal?
False
Let a(h) = 6*h - 272. Let u be a(46). Let n(o) = o**3 - 5*o**2 + 9*o + 10. Let j be n(u). Which is smaller: j or 28?
28
Let c = 18989 + -322903/17. Let a = -1661 - -1656. Which is bigger: c or a?
a
Let l be (15 + (-154)/21)*(-1898 - 4). Is -14580 bigger than l?
True
Let o = 13166 + -13405. Is -286 bigger than o?
False
Suppose -22*b + 5*b - 714 = 0. Let u be (-18)/(-10) - (b/6 + 9). Is 0 bigger than u?
True
Suppose -15*a + 30*a - 540 = 0. Suppose a*m - 33 = 33*m. Which is smaller: 13 or m?
m
Suppose -8782*q + 8785*q = -3. Are q and -8/2821 equal?
False
Let l = 768 - 763. Suppose -1330 = -l*c - 9*c. Is 95 <= c?
True
Let r = -19751 - -20142. Which is greater: 386 or r?
r
Let n be 2/(-7)*(-42)/54. Let u = -642/5 - -55197/430. Let k = -639/172 + u. Which is greater: n or k?
n
Let z = 12949 + -12946. Let o = 1 + 1. Which is smaller: z or o?
o
Let q(m) = 3*m**3 - 5*m**2 + 3*m + 1. Let p be q(-4). Let v = -306 - p. Is v at least -28?
True
Let p = -1 + 5. Let i be (-14)/p + (-15)/(-10). Is -3 equal to i?
False
Let r be ((-12956)/(-553))/(14/(-1225)). Is r less than -2050?
False
Let h be 2/(197/504 - 207/552). Which is greater: 16 or h?
h
Suppose -3*q + 4*f = 2*q + 13, -4*q = 2*f. Let d = 32 + -17. Suppose 5*h - d + 10 = 0. Which is smaller: h or q?
q
Let z be 19 - ((-2)/(-1) - (29 + -29)). Suppose 0 = 2*o + z + 47. Is o <= -29?
True
Let y be ((4668/(-468) - -13) + (-3)/1)*6. Which is bigger: y or 6/13?
6/13
Let w = -664 - -764. Let r be (-440)/w + (1 - -4). Which is smaller: 0.26 or r?
0.26
Let a = -425.46 + -70.54. Is a >= -3?
False
Let i be 6/(-27) + 22/18. Let n be (-266930)/(-26150) - (i - -2). Let j = n + -4/523. Is j less than 8?
True
Let b = -628 - -104. Let m = b - -555. Which is bigger: 5 or m?
m
Let p(c) = 2*c**3 - 29*c**2 + 12*c + 14. Let s be p(14). Which is smaller: -13 or s?
s
Suppose 8 - 26 = -9*i. Suppose -i*n + 7*n + 470 = -5*u, -2*u + 100 = -n. Let s = 110 + n. Is s smaller than 1?
False
Let f = 6.71 - 6.67. Let o = 1.3 + -1.23. Let s = f - o. Which is smaller: 7 or s?
s
Let p = 0.368 + -96.368. Let n = p - -79. Which is smaller: n or 0.04?
n
Let i = 4658 - 2430. Which is smaller: 2233 or i?
i
Let s(u) = -u**2 - 9*u + 12. Let r be s(-10). Suppose 0 = y + r*t - 6, 2*y - 27 = -t. Let b be (y + -3 + 2)*(-6)/(-6). Is 17 <= b?
False
Let k = 292 + -255.6. Let h = k - 0.9. Let p = 33 - h. Is 0.1 equal to p?
False
Let y = 817830 + -817849. Let i be (-87)/6*(-1 + 3). Is y at most i?
False
Let g = -0.55 - -0.645. Let p = -2.695 + g. Let t = p - -2.7. Is -2 <= t?
True
Suppose 7*a + 23 = -19. Let b be (10/a - -2)*-3. Let h = 8 + b. Are h and 7 nonequal?
False
Suppose 910 = 18*y + 568. Let g = 656 + -242. Suppose -y*x = -13*x - g. Which is bigger: x or 70?
70
Let b = 57505884 - 3737771503/65. Let q = 1707 - b. Is -2 less than q?
True
Let l = 110 - 91. Suppose -4*k + l = 3*u, -12*k = -9*k + 4*u - 23. Which is smaller: 67 or k?
k
Let h(n) = -56*n - 62. Let d be h(-27). Suppose d + 422 = -24*p. Which is greater: p or -77?
-77
Suppose -12 = 4*r - 8. Let f be ((-456)/(-38))/(0 - r/(-4)). Let x be ((-3)/18*-4)/(4/f). Are x and -8 nonequal?
False
Let d be 10 + 8/((-20)/(-5)). Let l be 8420/d*-379*(-8)/332. Let r = -6408 + l. Is -1 smaller than r?
True
Let q = 7486 + -5541. Is -0.2 at least as big as q?
False
Suppose 7 = 3*g + w - 3, -5*w - 4 = -3*g. Let l be -2*(-8 + 2)/g. Suppose l*c = 20, 0*p + 4*c = -3*p + 23. Is p greater than or equal to -1/30?
True
Let j be (28/(-588)*-3)/((-2)/4). Which is smaller: 1/3011 or j?
j
Let h = 25146 - 25298. Is -148 bigger than h?
True
Suppose r - 91*n + 87*n = 3, r = n. Which is bigger: r or -10/921?
-10/921
Let t = -36 - -36.023. Let j = 0.122606 + -114.099606. Let b = t - j. Which is greater: 0.1 or b?
b
Let f(l) = 8*l**2 + 9 + 599*l + 605*l - 1212*l - l**3. Let q be f(7). Let h(v) = v**2. Let c be h(2). Is q < c?
True
Let z = 1633/76 - 833741/1292. Let m = 624 + z. Let f be 10/5 + -3 + (3 - 1). Is m greater than f?
False
Let x = 226.72 - -3124.28. Which is greater: 2/11 or x?
x
Let p be (-2)/((-10)/(-3)) - (-56316)/260. Which is greater: p or 1087/5?
1087/5
Let l be -1*1831 + (-494)/52 + 3/2. Is l > -1842?
True
Suppose 5*q - 135 - 718 = 4*v, -v = 7. Which is bigger: 1818/11 or q?
1818/11
Let j = 3173 + -3172. Suppose 5*h = 7 - 107. Let g be (-15)/(-17)*(-8)/h. Is j at least as big as g?
True
Let w = 6450 + -6447. Let b be ((-22)/13)/(0 + -2). Let j = 109/52 - b. Are w and j nonequal?
True
Let v = -47/286 - -9/26. Let w be 34*-1 - (12 + -8). Let j = -37 - w. Which is bigger: j or v?
j
Let a = -4407 + 4437. Which is smaller: a or -1.3?
-1.3
Let m(t) = -t**3 + 2. Let l be m(0). Suppose -y + 5*g - 4*g = -43, 126 = 3*y - l*g. Let v(s) = s**3 + 3*s**2 - 4*s - 1. Let j be v(3). Which is greater: y or j?
j
Let a = -52 + 47. Let m = -8 + a. Let i = -15 - m. Which is smaller: -9 or i?
-9
Let i = 10691/15 + -3652/5. Let d = 24 - 19. Suppose -g + d - 23 = 0. Is g at most i?
True
Let z(f) = 2*f**3 + 22*f**2 - 4*f - 33. Let q be z(-11). Suppose 1920 = -q*g - 4*g. Is -128 > g?
False
Let o = -2/411 - 2867/2055. Which is smaller: o or -195?
-195
Let a(f) = -f**3 - 11*f**2 - 7*f + 30. Let m be a(-10). Suppose 0 = -l + g, m = 4*l + 4*g - 7*g. Which is smaller: 2/445 or l?
l
Suppose 8*p = 3*p - 3*z + 20, -2*z = -p + 4. Suppose 5*r + p*l + 32 = 0, 2*r + 13 = -l + 2. Suppose -4*q = -20, 10 = 5*x + 3*q - 0*q. Is x bigger than r?
True
Let j be 5*(-2 - -1)*6555/(-69). Which is smaller: j or 471?
471
Let p be (-285)/38*12/(-5). Suppose -p*x - 24 - 516 = 0. Which is bigger: x or -2?
-2
Let o = 51 - 50.84. Let q = 0.084 - 13.284. Let k = -13.4 - q. Is k < o?
True
Suppose 3*b = 5*u - 9*u + 17, u + 15 = 2*b. Suppose i = -2*n + b*n - 21, 2*i + 5*n - 3 = 0. Let k = i - -6. Is k bigger than 1/35?
False
Let y be 60 + -2 - (-1 + 0). Suppose -4*c + 2 = -2*u, 13*u - 2*c = 8*u - 29. Let f(i) = -i**2 - 14*i + 11. Let v be f(u). Which is greater: v or y?
v
Let a = -215 - -3657/17. Let t be ((-4)/(4/(-1)))/1. Let h be ((-4)/12)/(t/3). Is a greater than h?
True
Let q = 601224/49 - 12270. Which is smaller: q or -1?
-1
Suppose 0 = 5*o - 23 + 23. Let v be o + (1 - 6/(-2)). Suppose 3*k + 3*w - 111 = -k, -23 = -k + v*w. Are 28 and k unequal?
True
Let k = 35606/69 + -516. Let b be (0/(-1 + 2 - -1))/(-3). Let q be 3 - b - (-14)/(-7). Is q not equal to k?
True
Let p(b) = 61*b - 227. Let n be p(8). Let k = -264 + n. Is 4/5 greater than k?
True
Let y = 6500 - 2860007/440. Which is smaller: 0 or y?
y
Let j = 27349 + -27348.89. Let u be 1/((-3)/((-6)/4)). Which is greater: j or u?
u
Let k = 0.188 - 0.2. Let c = -13.388 + k. Let g = c - -13. Is 1/7 bigger than g?
True
Let z = -9345/4 - -2337. Let g = -22 - -19.6. Is g bigger than z?
False
Let n = 523 + -879. Let o = 356 + n. Is o greater than 1/608?
False
Suppose 372*f = 56*f + 210456. Which is greater: 665 or f?
f
Let f(k) = k**2 + 6*k + 8. Let s be f(-7). Let o(z) = -21*z - 990. Let u be o(-50). Suppose 0 = -5*h + u - s. Do 12 and h have different values?
True
Suppose -9 = -2*w + 1. Let d(z) = -3*z**2 - 16*z - 1. Let v(r) = 2*r**2 + 13*r + 2. Let o(p) = -3*d(p) - 4*v(p). Let u be o(w). Which is greater: 2/19 or u?
2/19
Let m = -9 + 44. Let j be m/(-14)*10/1. Let q = -85 - -61. Which is smaller: q or j?
j
Let a = 589 - 584. Suppose w - 2*x - a = 0, 4*w = 5*x + 7 + 1. Which is smaller: -2 or w?
w
Let