5 = -2*k - a*k. Let w = -815084/7 - -116447. Which is greater: k or w?
w
Let l(t) = t**3 + 45*t**2 - 59*t - 553. Let w be l(-46). Do 54 and w have the same value?
False
Let v(l) be the first derivative of -21*l**4/4 - l**3/3 - 2*l**2 - 2*l + 17. Let c be v(-1). Let s = c + 13. Is s not equal to 35?
False
Suppose 19*j + 26 = 140. Suppose 36 = -j*k - 0. Which is bigger: -7 or k?
k
Let a = 0.13 + 0. Let r = -0.03 + a. Let j be 2 + 56/(-42) - 0. Is j less than r?
False
Let i be ((-32)/6)/((-6)/(-17)). Suppose 4877 = -1431*l - 16798 + 210. Which is smaller: i or l?
i
Let o(u) = -u**3 - 33*u**2 - 31*u + 146. Let a be o(-32). Do a and 1496/13 have the same value?
False
Let k be 5/(-2 + -38) - (39147/(-18420) + 2). Which is smaller: 0 or k?
0
Let q be (-67)/(-62) + (-2)/(3 - -1). Let g = q + -149/310. Which is smaller: g or -1?
-1
Let q be (-42)/(-14)*15141/9. Let m = q - 267507/53. Which is smaller: 1 or m?
m
Suppose -5*g + 2723 = 2*s, s + 616 + 466 = 2*g. Let f = 469 - g. Is f at least -74?
True
Let b be 7/14*(7 - 7) - -112. Suppose -b = -53*a + 524. Let i = 848/65 + -29/65. Is a at least as big as i?
False
Let d = 14228 - 14226. Let j = 12 + -6. Which is greater: j or d?
j
Suppose -3*c = -17*b + 18*b - 6, 0 = -2*b + 2*c + 4. Let v be (-9 + b)*-2*(-25)/10. Is -324/11 equal to v?
False
Let b(f) = -8*f - 7 + 17 + 6. Let n be b(7). Let a = n + 42. Is a bigger than 6?
False
Let i = -7680 - -7570. Which is greater: -105 or i?
-105
Let p(m) = -m + 17. Let g be p(11). Suppose 9 - g = k. Let v(s) = s**3 - 3*s**2 + 2*s - 7. Let d be v(k). Is d bigger than 1?
False
Suppose -9*l + 83 = -97. Let t = l - 15. Let z(j) = -j - 5. Let i be z(-9). Which is bigger: i or t?
t
Let z = 0.13935 - -0.00065. Which is smaller: z or 0.6?
z
Suppose -2*r + h - 4 = 4*h, 6 = -3*r + 5*h. Let d(o) = -4*o - 3. Let a be d(-2). Suppose 2*i = -2*i + 2*c + 8, 2*i + a*c - 4 = 0. Is i at least r?
True
Let z be 27/81 - 2/(-3). Let x be (-6)/((-378)/(-217)) - z. Is -3 <= x?
False
Let h = -3737 - -2067. Is -1672 equal to h?
False
Let n(f) = -178*f**2 - 23*f + 27. Let j be n(1). Which is bigger: -178 or j?
j
Let z = -212 - -219. Let g be z/(-6) + 3 + 1/6. Which is greater: 16/11 or g?
g
Let l be ((-468)/48 + 13)*(-8)/(-6)*-3. Let z = 4 - 8. Is z <= l?
False
Suppose 0 = -5*f, -n - 3*f - 13 = 2. Let j be ((-3)/6)/(-3*(-5)/n). Are -211 and j unequal?
True
Suppose -370 = -10*x + 15*x. Let o be 12/(-8) + 0 + (-67)/x. Which is bigger: 1 or o?
1
Let k = -4929 - -4895. Do k and -163/5 have different values?
True
Let x be 4/(-6)*3 - -2. Let t = 17 + -19. Let h be (t/(-75))/((-84)/140). Which is smaller: x or h?
h
Let h = 28 - 0. Suppose 2*q - 7*q = -3*c + 71, c + 4*q = 52. Which is bigger: c or h?
c
Let u be (-3)/15*-4 - 384/(-20). Suppose -5*f + 16*m = u*m - 28, -4 = f - 4*m. Which is smaller: f or 1?
1
Let d be 17 + -11 + -1*3. Let a = -1.808 + 2.238. Is a > d?
False
Let t = -3 + -16. Let v = 164 - 192. Let y = t - v. Which is smaller: -1/3 or y?
-1/3
Suppose -1357 = 3*c + v, 0*v - 4 = 4*v. Let h = -34 - c. Let g = h - 4602/11. Which is greater: g or 1?
1
Let o = -9.032 - -8.032. Which is bigger: o or -8.9?
o
Suppose -2*l - 965 + 3325 = 2*a, 3*a - 2*l = 3570. Is a greater than or equal to 1186?
True
Let p be (-10)/(-3)*(-24)/10. Let w = p - -8. Which is smaller: w or 6/245?
w
Let n be -68 + (16/(-12) + 1 - 57/(-9)). Does n = -63?
False
Let w(x) = 15*x**3 - 5*x**2 - 3*x + 6. Let f be w(6). Let h be ((-12)/16)/(27/f). Let n = -87 - h. Is n at least -2?
False
Suppose -68*a + 27 = -65*a. Suppose -a*k = -33*k. Let c = 26649/13 + -2051. Is c less than or equal to k?
True
Let s = -3281 + 2423. Do -0.8 and s have different values?
True
Let n = 558 - 228. Suppose -39*t - 5*h = -34*t - 1735, 80 = 5*h. Which is smaller: t or n?
n
Suppose -f + 164 = 2*t, -5*t = -f - 330 - 66. Let p = t - 44. Suppose -74*k + 71*k = -p. Which is greater: k or 8?
k
Suppose -148*i + 350770 = -592801 - 851965. Which is bigger: 12131 or i?
i
Suppose -2*f = 2*x + 610, -f + 131 = -x - 182. Let k be (-3 + x/(-6))*(-2)/5. Let h = -19 - k. Which is greater: h or 0?
h
Let h be 4/(-6) + (-10168)/(-123). Suppose h = 8*p + 266. Is p at most as big as -8?
True
Let w(v) be the second derivative of -v**5/20 + v**4/2 - 5*v**3/6 + 2*v**2 + v. Let x be 4/(-14) - 1/((-49)/259). Let j be w(x). Is j less than -1/20?
False
Let c(r) = 4*r. Let w(q) = 7*q + 1. Let u(b) = -6*c(b) + 4*w(b). Let m be u(10). Which is smaller: 6 or m?
6
Let k be (8 - 6)*9/9. Which is smaller: 39/14 or k?
k
Let c be 161/(-46) - 63/(-14). Which is smaller: c or -10/43?
-10/43
Let i be (-1)/(-2) + (-23661)/(-478). Is i <= 19?
False
Let d(z) = -z**2 + 9*z + 16. Let f be d(11). Let k(y) = y**3 + 5*y**2 + 18*y + 74. Let p be k(-4). Which is smaller: p or f?
f
Suppose -10779 - 2145 = 12*a. Let k = a - -16171/15. Which is greater: 0 or k?
k
Suppose -a = 6*a - 0*a - 33026. Is -1 at most a?
True
Let f = 62923 - 125555/2. Let g be 4/(-2) + 147 - -2. Which is smaller: f or g?
f
Let b(p) = -p**3 + 7*p**2 - 12*p + 12. Let w be b(5). Let v be (-30)/(-9)*6/5. Suppose y = -v*a + 3*y - 20, -5 = a - y. Is w > a?
True
Suppose 8*f + 7*f + 2*f - 17 = 0. Is f >= 86/69?
False
Suppose -5*l - 13 = 2. Let n(i) = 3*i**2 + i. Let b be n(l). Let h = b + -23. Are 2 and h unequal?
True
Suppose 0 = 3*s + 2*a, 3*s + 0*s + 3*a = -3. Suppose -3*p - 13 + 74 = 4*c, -37 = -3*p + s*c. Let q be ((-15045)/(-1360))/(6/8). Is p at most q?
False
Suppose -346*w - 3372 = -167*w - 167*w. Is w >= -228?
False
Let i = -2 - -5. Let r be (-384)/(-144) - 2/(1*-6). Suppose r*b = -5*p + 4*b + 164, 0 = i*p + 4*b - 103. Is 32 equal to p?
False
Let k = 7012 - 224407/32. Is -1 less than k?
True
Let a be (-18)/(-4) - 1/1. Let l be (20/(-135))/((-114)/(-171)). Which is bigger: a or l?
a
Let i be (-13)/(-26)*(0 + 0). Suppose i*r - 8*r = -16. Suppose r = -4*m - 2. Are 2 and m equal?
False
Suppose 42*g - 11165 = 1057. Suppose -v = -4*z + 371, -g = -3*z + 10*v - 5*v. Which is bigger: 94 or z?
94
Suppose -12*z + 242 = 10*z. Suppose -8*x + z*x - 7 = -2*y, x - 3*y = -5. Which is smaller: 112 or x?
x
Let o(z) = 17*z - 102. Let j be o(22). Suppose -m - 15 - j = 2*i, 3*m - i + 861 = 0. Which is greater: -286 or m?
-286
Let k = -135.8 - -122. Let d = k + 76.8. Let q = d - 63.1. Is -0.07 equal to q?
False
Let c = 74 - 72. Let w(r) = 0 - 8 + 6*r**3 - 8*r**c - 5*r**3 - 8*r - 9. Let l be w(9). Is l at most as big as -7?
True
Suppose -70 = -i - 4*i + 4*u, 3*u = -3*i + 42. Let r be (-10)/(-6)*(-10 - i). Which is smaller: r or -38?
r
Let o = -13 - -146. Let i = 20626/117 - 1588/9. Is i less than o?
True
Let x be 4*4/((-16)/(-188)). Let n(z) = -8*z**2 - 189*z**3 + 5 + 26*z + 0*z + x*z**3 + 6*z. Let r be n(-11). Which is greater: r or 15?
r
Let t(x) = -4*x - 13*x + 370*x**3 - x + 11*x**2 - 2 - 371*x**3. Let s be t(9). Which is bigger: -17/5 or s?
s
Suppose -3466 = -112*v + 5942. Is 84 <= v?
True
Let q be (30/8484*(-16)/20)/((-60)/5). Is -1 <= q?
True
Suppose 8915 - 8885 = -15*q. Let d be 38/(-14) + (-6)/21. Let h be q/6 - 0/d. Which is greater: 1 or h?
1
Let f be (-276)/10 + -6*4/(-40). Let p be 302/(-6) + (-117)/f + -4. Are -48 and p nonequal?
True
Suppose 950 - 310 = 4*b. Let c be ((-201)/134)/(6/b). Which is smaller: c or -121/3?
-121/3
Let a(r) be the third derivative of -r**4/24 - r**3/3 + 10*r**2. Let t be a(-5). Suppose -3*h = -5*f + 234, -3*f - t*h = -f - 81. Which is greater: f or 43?
f
Let r be -16 + 17 + 5 - (-3)/(837/(-1680)). Suppose 3*s = 2*s - 1. Which is greater: s or r?
r
Let o be (0/(-14))/2 - -3. Which is smaller: 4 or o?
o
Suppose 4*d - 3*i = 4922, -2*d + 4*i = 993 - 3469. Is 1226 <= d?
True
Let j be 10944/84 - 2/7. Is 257/2 at most as big as j?
True
Let s be 1 - 1 - (1 + -4). Suppose -2*o - 75 = s*o. Let q = 418 + -432. Is q != o?
True
Let k be (-242)/(-2)*(0 + -1). Let z be 22/k + 9/33. Let w = 1 - 0. Are w and z equal?
False
Suppose -63584 - 78481 = -105*k. Which is smaller: 1351 or k?
1351
Suppose -67*t + 2 = 5*i - 65*t, -2*i = 3*t - 3. Is -1/27218 >= i?
False
Let t = 22995086587/90 - 255493624. Let j = t + -7338. Is 1 smaller than j?
False
Suppose -106 = 29*v + 607 - 104. Let f(t) = 21*t**3 - 2*t - 1. Let k = 5 + -6. Let q be f(k). Which is greater: v or q?
q
Let p be 216/180*(-5)/(-1). Suppose k + 30 = 4*g, -3*g = -p*g + 3*k 