4 - -2 - -1041). Let a = v - 41/11. Which is bigger: a or 6?
6
Let f be 1/(-5) - 412/(-10). Suppose z - 18 = -2*k, -3*k + f = 5*z - 0*z. Let n be (-2)/(7/(k/2)). Is -2 at least n?
False
Let f = 262 + -4974/19. Let d(v) = -18 + v + 0*v + 17 + 4*v**2 - 3*v**2. Let u be d(-1). Is u >= f?
False
Let k = -73 + 114. Let w = -41 + k. Suppose -9*u + 8*u + 2 = w. Is u at most as big as 5/3?
False
Let a = -37.82 + 38. Let x = 0.08 - a. Let y = -1.2 - x. Which is smaller: 2 or y?
y
Suppose -4*o + 0 + 16 = 0. Let p = 306 + -266. Suppose 4*n = -5*h - 145, o*h = -2*n + 4*n + p. Which is bigger: n or -32?
n
Let g(a) be the second derivative of 4*a**3/3 - 71*a**2/2 - 81*a - 2. Let o be g(8). Is -8 greater than or equal to o?
False
Let p = -7611/340 - -378/17. Is p not equal to 0?
True
Let m = 3366 + -6452. Which is greater: -3088 or m?
m
Let v(x) = 1 + x**2 - 23 + 0*x**2 + 14*x. Let y = -4030 + 4015. Let k be v(y). Which is greater: k or -5?
-5
Let u = 7 + -8. Let z be 21 + ((-8)/(-8) - -2). Which is bigger: u or z?
z
Suppose 5*h - m = -3*m - 8, 8 = 2*h - 2*m. Let u be ((1 + -36)/(-5))/(-1). Let n be u - (-1 + -3)*2. Which is smaller: h or n?
h
Let z(q) = -q**3 + 21*q**2 - 23*q - 27. Let s be z(20). Is s less than -87?
False
Let a be (9/(-12))/((-2)/(-160)). Let d be (-2120)/36 + 31/(-279). Does a = d?
False
Let c = 38 - 36. Let j = 56 - 100. Let k be -4*(2 - (-94)/j). Is c at least k?
True
Let j = 55 - 56. Let v(r) = -5*r**3 - r**2. Let s be v(j). Let z = s - -7. Which is smaller: z or 8?
8
Let r = -1049/70 + 106593/1190. Which is smaller: r or 75?
r
Let x(p) = 2*p + 3. Suppose c + w = -2*w - 2, 0 = -5*c + 5*w - 10. Let h be x(c). Let i be -17*(-10)/595 - 142/448. Are i and h unequal?
True
Let w be (3/(-9))/((1 + -6)/1095). Suppose w*b = 62*b + 66. Which is greater: b or 17/3?
b
Let j(n) = n**2 + 4. Suppose -4*q - 3 = -15. Let c(u) = -u**3 + 3*u**2 + 6. Let o be c(q). Let b be j(o). Which is smaller: 41 or b?
b
Suppose c - 6502 = 4*h, 0*c = -5*c - 4*h + 32510. Is 6501 equal to c?
False
Let y = 251 - 250. Let c be (y/1)/((-3)/(-174)) - -2. Is 59 < c?
True
Let a = -290 - 34. Let y be ((-906)/a)/((-1)/(-3)). Let t = y + -128/9. Which is smaller: -7 or t?
-7
Let k be 4 - -110*(-4)/10. Let p = 30 - -10. Let a = k + p. Is a < 2/25?
True
Let j = -14.28 - -14.801. Let i = -488/7 + 70. Is i at most j?
True
Let b(d) = d**3 - 6*d**2 + 14*d - 19. Let w be b(4). Suppose y - 5*m + 50 = 0, -w*y + 56*m = 61*m + 280. Which is greater: -282/5 or y?
y
Suppose 4*x + 23 + 19 = 2*g, 5*g = 4*x + 45. Which is greater: x or -120/13?
-120/13
Let l = -53/375 - -4337/1500. Are 20 and l equal?
False
Let d = 2846 + -1831. Is d equal to 1014?
False
Let k(f) = -3*f + 252. Let r be k(18). Let d be r/186 + (-9)/9. Are 2 and d equal?
False
Let l(u) = 309*u**2 - 408*u + 4033. Let s be l(10). Is 30852 at most as big as s?
True
Let a = 25.32 + -25.22. Let i = 13.35 + -13.6. Which is smaller: i or a?
i
Let p = -2022/6313 - -20/59. Is 40 < p?
False
Let i = -12011 - -12596. Which is greater: i or -12?
i
Let m = 12878.6209 - 12879. Do 1/3 and m have different values?
True
Let u = 754 - 748. Let p be (8 - (-525)/(-66))*u/(-2). Is 0 at most p?
False
Suppose 5*v + 535 = 3*n + n, 5*n - 5*v = 670. Let r = -1752/13 + n. Which is greater: r or 4?
4
Let m(g) = -4*g**3 + 3*g**2 + 11*g + 10. Let s be m(-4). Let n be s/1032 - (-2)/8. Is 0 less than n?
True
Let i(t) be the second derivative of 0 + 18*t + 5/6*t**4 - 4/3*t**3 - 21/2*t**2 - 1/20*t**5. Let j be i(9). Which is bigger: j or -11?
-11
Let x = -5602 + 5598. Let k = 90 - 937. Let j be k/315 + 1/(-5). Which is bigger: j or x?
j
Suppose 123*b = 227*b - 329888. Is 3173 at most b?
False
Let d = 124 + -48. Let m = 3/334 + -683/1670. Is m > d?
False
Let k be ((-24)/(-45))/((-2)/(-25)). Let o(h) = h**2 - 29*h + 202. Let y(u) = u**2 - 28*u + 200. Let s(g) = -5*o(g) + 4*y(g). Let v be s(24). Is k > v?
True
Let g = -39 - -42.2. Let m = 463 + -459.8. Let o = m - g. Is o bigger than -19?
True
Let n = 79711/1904700 + 1/18140. Is n > 0?
True
Let l = -7.954 + 7.954. Let d = 77 - 159. Does l = d?
False
Suppose 0 = 11*j - 4*j + 3066. Let v = j - -893/2. Is 8 != v?
True
Let d = 29710 - 29739. Let w(l) = -5*l + 3. Let s be w(6). Which is bigger: s or d?
s
Let a = -502.0133 - -1.8133. Is a equal to 0.1?
False
Let g = 18.49 + -17.49. Does -862 = g?
False
Suppose 0 = -d + 2*z + 262, 22*d - 25*d = 2*z - 738. Do -10 and d have the same value?
False
Let u = -19/18 + 5/9. Let q = 326178/77 + -4236. Let m = q - -124/385. Is m < u?
False
Let w = -3.6412 + -20567.3588. Which is greater: w or -2/7?
-2/7
Let f be ((-9)/15)/((-8)/40). Suppose 4*m = -0*c + f*c - 42, 12 = -4*m. Suppose 3*g + c = 8*g. Which is bigger: 22 or g?
22
Suppose -2*f + i = 2*f + 16, 3*f + 12 = 5*i. Let k = 6326 - 6358. Is f >= k?
True
Let g be (33228/168 - 2/7)*-4. Let h be g/95 - -2 - -6. Let b = -0.02 + 0.02. Which is bigger: b or h?
b
Let o be 50/175 - (42900/30177)/5. Which is smaller: o or -1?
-1
Let a = 160.8 - 161. Is -3051 smaller than a?
True
Suppose -3*j = 24, -623*r + 5*j + 36 = -619*r. Is -5/3094 less than or equal to r?
False
Let j be (-7)/(-4)*(-2 + -2) + 78769/(-4540). Are -25 and j non-equal?
True
Let q = -281 - -259. Is 105 > q?
True
Suppose 3004 = -47*d + 67*d - 1396. Is 216 bigger than d?
False
Let l be (-3 + 1)*(-8 + 138/12). Let b be 1590/70 + (-1)/l. Which is smaller: 23 or b?
b
Let l = -427 - -427. Suppose 3*d + 2*d = 4*c - 67, -3*c + 9 = l. Which is bigger: d or 1?
1
Let x be (-520)/120 - (-12 - -7). Which is smaller: -1806/11 or x?
-1806/11
Let b be (8/(-126))/(230/(-1725)). Let f = 91 + -91. Is f at most as big as b?
True
Suppose -y + 3*a = -17, 4*a = 3*y - a - 35. Let n be 4 - (y - 0 - 1). Let z be n/(-1 - 5 - -4). Is -1/10 < z?
True
Let t = -38 - -55. Let z(j) = -j - 8 - 8*j - 6 + t*j. Let b be z(4). Is b less than or equal to 19?
True
Suppose -551 - 208 = -23*v. Are -70 and v equal?
False
Suppose 4*v = a - 4, -5*a = -69*v + 65*v - 4. Do a and -1/500 have the same value?
False
Suppose 5*r = 5*o - 2680, 5*o + 0*o - 2*r - 2692 = 0. Suppose -o = -5*w + 460. Let p be (-6)/18 + w/6. Is 32 <= p?
True
Let g be (111 + (-1*9)/3)*1. Let k be ((-6)/9)/(3/(g/(-8))). Suppose -8*w - 60 = -k*w. Is -13 at least w?
False
Suppose -5*l = -2*l - 12. Let r = 13/38652906 - -545721018391/103976317140. Let v = 2/1345 + r. Is v greater than l?
True
Let h be 24*(-182)/(-21) + 0. Let j = h + -63. Is 145 bigger than j?
False
Let v(t) = t**3 + t**2 - t - 1. Let u(c) = -5*c**3 - 7*c**2 + 4*c + 5. Let k(b) = u(b) + 6*v(b). Let r be k(3). Does r = 2?
False
Let q(h) = 374*h + 664. Let n be q(-2). Let z be (4/(-6))/((-1)/(-126)). Let i = n - z. Which is smaller: i or -1/47?
-1/47
Let y = 11.258 - 11.1457. Which is smaller: -0.5 or y?
-0.5
Suppose 0 = -98*a - 127067 + 15151. Do a and -1141 have different values?
True
Suppose 33 = -11*j - 9*j + 13. Let t = 836 + -1295. Let f be -2 + 3/(t/(-309)). Is j less than f?
True
Let j = 68055 + -953654714/14013. Are -1 and j equal?
False
Let d = -678.013 - 5.587. Let y = 684 + d. Which is smaller: -0.3 or y?
-0.3
Let x be (-2 - 371) + 5*5/(-25). Let h be (-1428)/x*(-36)/7. Which is greater: -21 or h?
h
Let o be 9*6/18 - -38. Let n be (-24)/(-56) - (-2 - o/(-14)). Is 0.11 at most n?
False
Suppose -5*x = 3*g - 23, 0 = 4*x + 2*g - 18 - 0. Suppose -5*h + x = -9*h. Let m be (4/(-84))/(8/(-6)). Is h > m?
False
Suppose -218 = 4*l - 926. Let i = -164 + l. Which is bigger: 0 or i?
i
Let t = -8680 - -8673. Which is smaller: 1/52 or t?
t
Let v be (-26)/(6/51 - 64/(-34)). Let j be (-10)/8 - v/52. Which is greater: 10/117 or j?
10/117
Suppose 2*q - 3*q = -5*g + 4, -4*q + 6 = 2*g. Do -1/3396 and g have different values?
True
Suppose -43*x + 41*x = -28. Let o = 36 + x. Suppose -3*h = -h + o. Are -26 and h equal?
False
Suppose 15*b - 4 = 14*b. Suppose 0 = -5*f + b*h - 0*h + 4, -2*h + 24 = 4*f. Suppose 0 = -f*m - 19 + 7. Which is smaller: m or -5?
-5
Let j be -1 - 5 - (-55670)/9083. Is 11 equal to j?
False
Let f(t) = -t**3 - 22*t**2 + 43*t + 949. Let s be f(-22). Which is bigger: 160/39 or s?
160/39
Let k = 2.4439 - 0.4439. Is k >= -4068?
True
Suppose 133266 = -54*z - 178*z + 379418. Is z smaller than 1060?
False
Let x = -0.1188 + -274.2812. Is 0.1 at most x?
False
Suppose 0 = 2*h - 3*h + 229.