t - 4. Let l(g) = c(g) + 6*w(g). Let x be l(k). Which is greater: -2 or x?
x
Let r be (7/546)/(16/(-72)). Let u = 47 - 47. Which is greater: u or r?
u
Suppose -26907*s = -26912*s - 40. Which is smaller: -3/182 or s?
s
Let b be (-10514 - (-3 + 25))*(-4)/(-20). Is -2108 at least b?
False
Let q = 108.2 - 84. Let f = q + -18.2. Is f bigger than -2.7?
True
Let a = 23368.1731 + -23368. Is 3 less than a?
False
Let k be (18/(-12))/3*(0/5)/(-1). Let c be 1/(203/(-408)) + 2. Is c not equal to k?
True
Let t(o) = -o**3 + 167*o**2 - 812*o + 322. Let p be t(162). Is -1026 at most p?
True
Let u = 152 + -147. Let x(l) = -3*l**2 + 13*l - 2. Let s be x(u). Which is bigger: -14 or s?
s
Suppose 5*j = 21 + 4. Let n = -7 + j. Is 1.11 < n?
False
Let c be (-51)/119 - 327/(-812). Suppose -2 = -n + 1, 3*n = -4*z + 9. Is z bigger than c?
True
Let p = 167.9 + -134.98. Let r = p - 32.9. Is 0.06 at most r?
False
Suppose 5*y + a = 11, -4*y + 7*y - a - 5 = 0. Is -11 greater than or equal to y?
False
Let f = 4069/3 + -1362. Which is bigger: 6 or f?
6
Let s = -400.0555 - -400. Let c = 0.0265 + s. Which is smaller: 1 or c?
c
Suppose -6*i + 10 = -7*i. Let a be 84/i - 10/25. Suppose -33 = 6*r + 27. Is r <= a?
True
Let f(q) = -126*q - 1478. Let p be f(-23). Is 1420 <= p?
True
Suppose 5*v - 3*o = 11, 0 = -3*v + 2*o - 23 + 29. Let g be -7 + (-6 - -11 - v). Let f = -1 - 3. Is f bigger than g?
True
Let p = -108 - -108.0455. Let s = 0.2545 + p. Is s bigger than 32/5?
False
Let h(j) = 832*j**2 - 44*j + 148. Let y be h(3). Is y less than or equal to 7506?
True
Let m = -800 - -3997/5. Do 123 and m have different values?
True
Let n(o) be the first derivative of -o**4/4 + 4*o**3/3 - o**2/2 - 68. Let w be n(3). Are 34/7 and w equal?
False
Let k = 1 - 0. Let u = 6583/40 + -1355/8. Which is bigger: u or k?
k
Let o be (-7)/1288*10*(-12)/63. Which is smaller: o or -1?
-1
Let m = 17/21435 + 206911562/621615. Let a = -333 + m. Which is bigger: a or -1?
a
Let u = 519719732/10005 - 51946. Is u at least as big as 0?
True
Let r be 6/10 - 351801/(-15). Let z be -4 + r/2786 + -4. Let j = -2/199 - z. Which is smaller: j or -1?
-1
Let l = 156.86 + -157.21. Which is bigger: l or -1/7?
-1/7
Let m be 1/(-2)*(-1162)/(-7). Let f(v) = v**2 - 10*v + 8. Let x be f(10). Let k be (-2091)/34*x/6. Which is smaller: m or k?
m
Suppose -4*m = -m + 108. Let q be -3 - (-3)/(-33)*m. Suppose 82 - 88 = -6*b. Which is bigger: q or b?
b
Let g(c) = 2*c**3 - 25*c**2 - 20*c - 3. Let z be g(13). Let p = z - -237. Is p >= 143?
True
Let d be ((-26)/(-4))/(375/42 - 9). Let c = -31 - d. Is c less than 58?
False
Let q = -176.16 - -3.16. Let m = 297 + q. Let l = m + -130.6. Does l = 1/3?
False
Let z = 58.1 - 58. Let s = z + -0.13. Which is smaller: s or 4/7?
s
Let a = -47/38 + -5/19. Let h be -2 + 12/10 - (4590/(-425) - -42). Which is smaller: h or a?
h
Let x(l) = -l**3 + 3*l**2 + 5. Let b be x(3). Suppose 0 = 2*a - 2*h + 136, 0 = 5*a - 4*a + b*h + 80. Which is bigger: a or -73?
a
Suppose -5*t = 2*a + 6119, 13*t + 1237 = 12*t + 4*a. Which is bigger: -1226 or t?
t
Suppose 4*h + 1126 = 5*g + 6*h, 0 = 5*h + 10. Let q = -212 + g. Is 11 greater than or equal to q?
False
Let l be (-3)/(21 - 8 - 16). Is -120 less than or equal to l?
True
Let c(p) = p**3 - 34*p**2 - 26*p - 76. Let r be c(35). Let b = 239 - r. Which is bigger: 66 or b?
66
Let c = -8 + 4. Let s = 146 - 122. Let z = s + -24. Is c bigger than z?
False
Let f = 14.1 - 7.9. Let v = 6.1 - f. Which is bigger: v or 7?
7
Suppose 4*y + 4*c = 752, -564 = -3*y - 0*y - 5*c. Let u = y - 350. Which is smaller: -160 or u?
u
Let n = -44 + -68. Let s be 2/(-28) - 666/n. Which is smaller: 6 or s?
s
Suppose 2*r - 3 = 13. Let p be ((-336)/(-40))/((-1)/(-15)). Let s be 17/(-102) + 1101/p. Which is smaller: r or s?
r
Let s = -13129 + 13127. Let q = -72 - -47. Which is smaller: q or s?
q
Suppose 40*a = 43*a + 234. Let u be 2 + 13/(a/444). Is -72 less than or equal to u?
True
Let w = 0.33 + 6.67. Let y = 644 + -643.6. Which is smaller: y or w?
y
Let q be (-4 - 422/8 - -1)/((-7)/(-140)). Which is smaller: -1117 or q?
-1117
Let f(q) = -3*q**2 - 12*q - 34. Let c be (-2)/(1 + (-6)/12). Let g be f(c). Is -2 < g?
False
Let b be -2 - ((-4)/(-16) + 5/(-4)). Let g be (b - 0)/(-130)*(-50 - -46). Is g at least 4?
False
Suppose -3*p - 174 = 2*i - 48, -20 = -5*p. Let v = -32 + i. Let q = 103 + v. Is q < 8/5?
False
Let a(k) = -29*k - 71. Let w be a(-6). Which is bigger: w or 100?
w
Let d(i) = i**3 - 21*i**2 + 37*i + 19. Let h be d(19). Let j(a) = -a + 11. Suppose -12 = -y - 0*y - n, -66 = -4*y + 5*n. Let g be j(y). Is g smaller than h?
True
Let v(o) = 18*o**2 + 18*o + 56. Let i be v(-3). Suppose 289 = 3*x + w, 4 = 2*w - 4. Suppose -3*h - 4*b = i, -3*h - 3*b - x - 64 = 0. Which is bigger: h or -46?
-46
Let v = 34 + -6. Let h = 80 - v. Let q = h - 37. Is q bigger than -2?
True
Let y = 40 - 27. Suppose -2*s = y - 59. Suppose -2*q - 5*r + s = 0, -3*r = -r - 6. Is -1/9 bigger than q?
False
Suppose -50*k = -19*k - 19530. Let h = k + -582. Which is smaller: h or 5?
5
Let r = 0.116 - 1.286. Let p = r - 52.83. Let j = -23 + p. Which is smaller: -1 or j?
j
Let v = 8/1767 - 212128/19437. Let x(l) = 39*l - 1143. Let p be x(29). Which is greater: p or v?
v
Let k(a) = 564*a + 4555. Let u be k(-8). Are 482/11 and u unequal?
True
Let a be 106/456 + 4/(-16). Let r be (-5 - -2 - -1)*(0 + -1). Suppose -r*c + 3*k = c - 12, -12 = 2*c + 2*k. Which is smaller: c or a?
c
Let z(d) = d**2 + 27*d - 148. Let a be z(-32). Let b be (a/30)/(2855/25). Do b and 0 have different values?
True
Let y = 5576 - 8777. Let l = 950695/297 + y. Which is smaller: l or 0?
l
Let l = -195/7 - -2241/91. Let b = 8 - 8.1. Is l less than b?
True
Let v = -473 + 261. Let d = v + 159. Which is smaller: -1/6 or d?
d
Let n = 191 + -205. Let x(u) = -4*u - 14. Let z be x(n). Which is smaller: z or 40?
40
Let j(x) = 9*x**3 + 38*x**2 - 138*x - 24. Let f be j(4). Is 608 != f?
False
Let i = 13312/3 - 4482. Which is smaller: 1 or i?
i
Let k(j) = j**3 - 3*j**2 - j + 4. Let u be k(3). Let m = -1986 - -180729/91. Is u greater than or equal to m?
True
Let a = 2233 + -1095. Which is bigger: a or 1139?
1139
Suppose 2*a + 2*i = -990, -4*a - i - 1989 = -0*a. Which is greater: a or 24?
24
Let n be (6/4 - 1)*(12 + -10). Let i be n - (873/99 + -8). Is -0.08 equal to i?
False
Let n = -14 + 22. Let y = 737 + -997. Let a = 269 + y. Is n equal to a?
False
Let p = -4 - -3. Let z be (1/(-42))/((-65)/(-3075)). Let r = z - -5/14. Which is greater: r or p?
r
Let b = 544 + -562. Let i = b + 464/25. Is 2 not equal to i?
True
Let x(i) = -i**3 + 9*i**2 + 3*i - 13. Let z be x(10). Suppose 0 = 209*j - 214*j - 415. Is z not equal to j?
False
Suppose y + 4*u - 11 = 0, 6*u - 2*u - 2 = 2*y. Suppose 3*s - 3*h = -72, -4*h + 3*h + 74 = -y*s. Let r = -33 + 9. Is s <= r?
True
Let d be (-117)/108 - 11/(-132). Which is smaller: -16/193 or d?
d
Let z(t) = 890*t + 2671. Let y be z(-3). Which is smaller: 130/69 or y?
y
Let u(o) = -4*o + 4*o + 4*o + 12 + 11. Let x be u(-14). Is -30 < x?
False
Let t be (-22674)/(-10) + 1 - 516/1290. Are 2264 and t equal?
False
Let q be 3/9*(2052/(-6))/6. Let v = q + 25. Is v equal to 6?
True
Let c(t) = -2*t**2 + 30*t + 359. Let r be c(-26). Which is bigger: r or -1772?
-1772
Suppose 206*q - 8375 = 181*q. Is q less than 2354/7?
True
Suppose 757 - 7687 = 21*c. Let w = c - -372. Let l = 34 + 6. Is w greater than l?
True
Let r = 3864.037 - 3864. Let x(s) = s**3 - 2*s**2 - 3*s - 2. Suppose 2*v + 13 = -0*o + o, -v = 4*o - 7. Let g be x(o). Is r at least g?
True
Let u be 1206359/101244 - 11 - (-2)/(-3). Let n = -1/767 - u. Is n >= 57?
False
Let f(l) = -4*l**3 - 3*l**2 - 2*l + 2. Let h be f(-1). Let u be ((-24)/18)/(h/(-765)). Which is greater: 1/2 or u?
u
Suppose 5*b - 4 - 1 = 0. Let q(x) = -x**3 - 26*x**2 + 164*x - 38. Let t be q(5). Do t and b have the same value?
False
Let u = -4 - -8. Suppose 4*k + u*r + 37 = 3*r, -2*k = -5*r + 13. Let g(i) = -2*i**2 + 24*i + 2373. Let m be g(41). Are k and m unequal?
True
Suppose 34 = 4*x - 590. Suppose 142*d - x = 139*d. Which is smaller: 53 or d?
d
Let r = 2829 + -1191. Which is bigger: r or 1639?
1639
Suppose 22230 = 28*l + 18*l + 19*l. Do l and 342 have the same value?
True
Let d = 2679.1 + -2677. Which is greater: -0.04 or d?
d
Suppose -15*m + 15