7487/134982 - 2/67491. Which is smaller: r or 0.5166?
r
Let q(w) = -41*w + 41. Let p be q(-15). Which is smaller: p or 653?
653
Let v be ((152/5)/(-4))/(24/(-60)). Suppose 6 = 4*m - 66. Is m less than or equal to v?
True
Let d(g) = -171*g - 300. Let t be d(0). Which is smaller: t or -314?
-314
Let n(v) = -v**3 + 8*v**2 + 8*v - 5. Let i be n(7). Let a = i + -72. Suppose 6*q - a = 10*q. Which is smaller: q or 1?
q
Suppose 5*c + 5*v = -85 + 75, -2*c = -3*v - 6. Which is smaller: -2/9601 or c?
-2/9601
Let s = -194.7729 - -194.72. Is s less than 1/7?
True
Let l(q) = -2*q**3 + 6*q**2 - 2*q - 8. Let k be l(4). Let z = k + 38. Which is bigger: z or -9?
-9
Let n(o) = 167*o - 462. Let t be n(0). Which is bigger: -2314/5 or t?
t
Suppose 105 = 57*r + 48. Let z be (-18)/(-81) + 704/(-3150). Is z at most r?
True
Let j = -102 + 170. Let z = 57 - j. Let p = -2 - z. Which is smaller: 39/5 or p?
39/5
Let h = 1.32 - 1.4. Let l = -14956 - -14952. Is l <= h?
True
Let p = -5734/31845 + 28/165. Let x = -13.31 + 13.21. Is p bigger than x?
True
Let q = 20915 - 20915.3. Is q less than -164.4?
False
Suppose 2*t = 3*t - 9. Let p = -0.8 + -6.2. Let f = 9 + p. Which is greater: t or f?
t
Let t be ((-528)/(-704))/(2/((-998)/3)). Which is smaller: -126 or t?
-126
Suppose -8*r - 45 = -5*r. Suppose -767 - 1011 = 127*t. Is t >= r?
True
Let z(v) be the second derivative of 35*v**3/6 - 4*v**2 - 10*v. Let b be z(-4). Is b greater than -149?
True
Let p = -0.0736 + 32.7536. Let d = 0.68 - p. Let v = d + 33. Which is greater: v or -1.9?
v
Let p(y) = -y**3 + 31*y**2 + 176*y - 45. Let k be p(37). Which is bigger: -1749 or k?
k
Suppose -47 = -6*g - 677. Let s = -105 - g. Is s at least as big as -3?
True
Let q(l) = -l**2 + 9*l - 14. Let f be q(7). Suppose f*o = -8*o + 80. Suppose -2*y = z + o, z = -3*z - y - 19. Which is bigger: z or -16/5?
-16/5
Let r = -1209 + 1242. Let y = -67 + 33. Let a = r + y. Is a less than -0.7?
True
Suppose -270 = 118*l - 124*l. Suppose -37*d + l*d - 1264 = 0. Is 161 greater than d?
True
Let h be 136 - 146 - (-236)/25. Does 0 = h?
False
Let p = 134 - 133. Suppose -2*k = -t + 710, -t - 4*k + 941 = 213. Let b = t + -56567/79. Which is smaller: p or b?
b
Suppose -100*k = -98*k + 10. Let o be (k/(-27))/(1 + 2/(-3)). Suppose -3*i + 10 = 4. Which is smaller: i or o?
o
Let p be (((-3)/236)/((-430)/(-16)))/(2160/(-675)). Which is smaller: 0 or p?
0
Let g = -35023 + 11942859/341. Which is smaller: 0 or g?
0
Suppose 0 = -89*t + 81*t + 288. Suppose 144 = -3*l + 4*l + s, 0 = s + 4. Suppose b + 7*n - 4*n = 37, -4*b - n + l = 0. Is b >= t?
True
Let z be ((-4224)/(-1))/((-13)/(-26) - 1). Let n be 6/(z/8440) + 6. Which is greater: 1 or n?
1
Suppose -2*z - 6 = 0, -3*z = 2*p + 2*z + 15. Let s be (-1*(p - -1))/((-5)/(-435)). Let i = -59 - s. Which is bigger: 1/3 or i?
i
Let d = -278.21 + 267.21. Let u be 0 + 2 + 14/(-8). Which is bigger: d or u?
u
Let w be 4*(2/(-12))/((-68)/12 + 5). Let y = 232479/85 - 2735. Is y smaller than w?
True
Let k be (820/(-36))/5 + (-304)/684. Suppose 5*l + d + 69 = 0, 4*d + 24 = -5*l + 3*l. Which is bigger: k or l?
k
Let o = 0.068 - 0.368. Let r = -0.15 + 1.25. Which is greater: o or r?
r
Suppose 64*h - 66*h + 960 = 0. Let i be (-4)/(-26) - (h/3458 + 0). Which is smaller: 0 or i?
0
Let p(h) = -2*h**3 + 11*h**2 + 43*h - 49. Let r be p(-16). Is 10272 >= r?
True
Let c = -2643 - -2642. Is 806 >= c?
True
Let n = -1199 + 386. Is -4061/5 > n?
True
Suppose 496*w - 3792 = 508*w. Which is bigger: -313 or w?
-313
Let n(k) = 5*k**2 + 96*k - 756. Let r be n(6). Is r at most 132/115?
True
Let o = 5718883/13 - 439681. Does o = 232?
False
Let c be 0/(-3 - (3 - 5)). Let y be c + (-5)/((-30)/9). Let u = -534.1 + 520.1. Which is smaller: y or u?
u
Suppose -5*g + 6 = -b, -4*g - 16*b + 15*b + 3 = 0. Let x(n) = 756*n**3 - 5*n + 5. Let r be x(g). Does 755 = r?
False
Suppose 5*x - 86 + 378 = -63. Which is smaller: -97 or x?
-97
Let a = 9779 + -9652. Let v = -171 + 56. Let t = v + a. Which is bigger: t or 14?
14
Suppose 0 = -7*k + 246 - 1821. Let j = 264 + k. Is j > 49?
False
Let x = -6381/7 - -912. Is 45 at most x?
False
Suppose -57*a = -49*a. Let v be (-3 + (a - -2))*(6 - 2). Which is bigger: v or -3/43?
-3/43
Let d = -8.38 - -8. Let q = -33.281 - -33.181. Which is bigger: q or d?
q
Suppose 3 = 5*k - 6*n + 3*n, 5*k + 5*n - 35 = 0. Let f(v) = v**2 + 3*v - 12. Let x be f(k). Which is bigger: -4 or x?
x
Let k be 6/((-4)/45*(-5)/(-26)). Is -5964/17 at least as big as k?
True
Suppose 96 = 3*z - 51. Suppose 25 + 24 = -z*j. Which is bigger: -2/863 or j?
-2/863
Let n = -263/270 - -31/54. Suppose -6*v + 5*v = 0. Suppose 2*k + k + 12 = v. Is n smaller than k?
False
Let i(y) be the second derivative of -y**5/20 + 5*y**4/6 - 11*y**3/3 + 5*y**2 + 52*y - 1. Let d be i(7). Is d not equal to 3?
False
Let d = 46.5 + -47. Let c = -55 + 58. Which is smaller: c or d?
d
Let g be -3 + -1*(-5 + 4). Let c be (-66)/(-15)*((-42)/16 + (-630)/(-280)). Which is bigger: g or c?
c
Let r be (-32956)/2532 - (-21 + 8). Which is smaller: 0 or r?
r
Let z = 14487/2 - 5837. Which is smaller: z or 1408?
z
Let r be 18/288*-40*24/10 + 6. Is -1/37627 at least r?
False
Let x be ((-3)/(-6))/((-29)/58). Are x and -1/574 equal?
False
Suppose -3*b = -4*j + 3, 0*j - j = -2*b + 3. Suppose j*u - 4*u + 3 = -3*i, -i - 3 = -u. Suppose -u = -5*c + 2. Which is bigger: c or 2/33?
c
Let b(l) = -277*l - 1386. Let r be b(-6). Which is smaller: r or 23?
23
Let l = -62381/983493 + -1/15611. Let z(c) = 6*c - c - 5 - 4*c. Let u be z(4). Which is greater: u or l?
l
Let i = -6795 - -6747. Is i greater than -59?
True
Let y = -169 - -145. Suppose 2*t = -4*t - 24. Do y and t have different values?
True
Suppose 0*a - 3*a + 3*y = -9, -4*a + 5*y = -16. Let d = -906/43 + 46126/2279. Let t = -5007/6095 - d. Which is smaller: a or t?
a
Let f = -113876 + 113813. Let k be (-4)/10 + (-21)/(-40). Is k < f?
False
Let y(z) = 11*z - 2. Let r be y(-8). Suppose 123*h + 1620 = -144*h + 249*h. Are r and h equal?
True
Let t = -816.3 + 821.6. Which is smaller: t or -15?
-15
Let a be (37 - 1) + 6 + -36. Suppose 2*f + 6 = -3*z, -z - 4*z + 4*f - 32 = 0. Are a and z non-equal?
True
Let g be ((-5710)/5716 + 1)/((-1424)/(-64) - 20). Is g bigger than -1?
True
Let c be ((-2)/4)/((-25)/(-300)). Let w be (c/1)/(28/(-42)). Suppose -w*x + 50 = x. Which is greater: 1 or x?
x
Let f(z) = 17*z**2 + 21*z + 20. Let p(s) = 20*s**2 + 22*s + 20. Let g(d) = 7*f(d) - 6*p(d). Let q be g(0). Is 2 at most q?
True
Suppose 4*d = 3*d. Let f = 3359 + -33597/10. Are f and d unequal?
True
Let s be -1 + 4 + 12/1. Suppose -7*h + s*h = 1224. Which is greater: h or 154?
154
Let x(j) = -2*j - 65. Let c be x(-31). Let h be (84/441)/(c - -1). Which is bigger: 6 or h?
6
Let q be ((-16)/(-2))/(1 - (-7)/(-8)). Suppose q*l - 102 = 65*l. Let u be 63/l + (2 - 32/17). Is -0.5 at least u?
True
Let f(z) = -104*z**3 - 3*z - 2. Let u be f(-1). Suppose 412 = 4*y - 4*s + 2*s, -4*s + 16 = 0. Is u != y?
False
Let p = -26 + 57. Suppose 165 = -26*z + p*z. Suppose x - 4*x + 2*s - z = 0, 0 = 2*s - 6. Is x < -13?
False
Let i = 16095 - 16814. Is -1/3 not equal to i?
True
Let i be 2106/63 - 28/(-49). Which is smaller: 366/11 or i?
366/11
Let o be 23*((-2)/(-3))/(10/(-135)). Let w = -192 - o. Which is smaller: 13 or w?
13
Let u = 208.72 + -209. Let n = -0.36 - u. Let s = -0.03 + 3.03. Which is smaller: s or n?
n
Let c be 70/14 - 2554*3/(4 + -1). Is -2549 >= c?
True
Let g be (-170)/(-4)*(444/(-1480) - (-14)/180). Suppose t + 5*u = -6 + 23, 3*t + 14 = -2*u. Do g and t have the same value?
False
Let x = 899.54 - 900. Let a = x - -5.46. Which is smaller: 0.96 or a?
0.96
Let o be -2 + 3 + 6/3. Suppose 0*h - 17 = 5*n - 2*h, -4*n + o*h - 15 = 0. Suppose a - w + 5 = 0, 3*w - 13 = 53*a - 52*a. Is a >= n?
True
Let h = 1687645/327 + -5161. Suppose 0 = -22*r + 20*r + 2. Are r and h unequal?
True
Suppose 6*s - 3*s = 3. Let k be (-2)/120*(-648)/288. Is s greater than k?
True
Let s = 45 + -35. Suppose 5*g + 190 = s. Let b be 1/g - (-2)/8. Is -8 <= b?
True
Let p(b) = -24*b**2 + 3*b - 1. Let i be p(2). Let y = -3345 + 3254. Is y smaller than i?
False
Let k = 962/25 + -952/25. Which is bigger: k or 10742?
10742
Let p = 16 + -20. Let q be (4/((-64)/(-184)))/((-36)/8). Are q and p non-equal?
True
Let r be (3/6)/(1/120). Suppose -5*u =