 23341 + 214979 = -90*m. Which is smaller: m or -2649?
-2649
Let n(p) = p**3 - 7*p**2 + 7*p - 75. Let l be n(6). Which is smaller: l or -88?
-88
Let g be -2 + (-80)/(-25) + -1. Let d = 259 + -254. Which is smaller: g or d?
g
Suppose -9*x - 3297 = -3297. Suppose -3*t + 4 = -2*t. Suppose 5*z - 3*a + 5*a + 2 = 0, x = -t*z - 2*a - 2. Which is greater: z or -1/7?
z
Suppose 52*q + 3060 = -101*q. Let u = -1 + 1.4. Is u > q?
True
Suppose 2*i + 26 = -2*t, t + 1 = -1. Let z = -12 - i. Is 5/14 > z?
True
Suppose -91*y = -97*y + 936. Let p = y + -287. Are p and -132 equal?
False
Let a be (-2)/4 + (-105)/(-30). Let v(u) = 14*u + 17*u**2 + 2*u + 5*u - 3*u + 23 + u**a. Let j be v(-16). Are j and -2/5 nonequal?
True
Let p(c) = 3*c**2 + 16*c + 5. Let w be p(-5). Let y(z) = z**3 + 16*z**2 - z - 17. Let j be y(-16). Let m be (204/212 - 1)*j. Is w not equal to m?
True
Let v be (80/32 + -2)/(2/(-484)). Is v not equal to -75?
True
Let d = 0.17278 + -0.98278. Which is smaller: -2/33 or d?
d
Suppose 8*k - 85 + 21 = 0. Suppose 185 = -k*z + 169. Which is smaller: 0 or z?
z
Let f be ((-1040)/(-845))/(1 - 148/146). Which is smaller: f or -91?
-91
Let c be 1 + -2 + (-50)/(-18). Let b(r) = r**3 - 7*r**2 + r + 5. Let v be b(7). Suppose -197 + 209 = v*m. Is c smaller than m?
False
Let i = -5.875 + 5.975. Is -4.74 less than i?
True
Let c = -155915/257 - -44062552/77357. Let h = -18042 + 126554/7. Let o = c + h. Which is smaller: o or -1?
-1
Let n = -90072 + 238240443/2645. Which is smaller: n or -1?
-1
Suppose -117*t = -100*t + 268955 - 87089. Is t at most as big as -10698?
True
Let p = -20064 - -98284/5. Is p > -406?
False
Suppose 6695 = -2*d + 5*v, 41*v = 38*v + 21. Is d at least as big as -3327?
False
Suppose 4*x = 5*x + 1, -4*i - 4*x + 4 = 0. Suppose -r = i - 40. Suppose 5*s = -3*h + r, -2 + 1 = -s. Is h bigger than 11?
False
Let d = 377/212 + 2603523/3604. Let b = -723 + d. Are 2 and b equal?
False
Let v = 2217 + -2216. Are v and -906/7 equal?
False
Let t(z) = z**3 - 2*z**2 + 1. Let u be t(2). Let k = 124.9936 - 0.9936. Which is bigger: k or u?
k
Suppose 0 = 94*g - 141130 + 36132. Are g and 1116 unequal?
True
Let q = 8503 + -8220. Is q > 286?
False
Let x = -0.25 - -0.05. Let y = 20249/3 - 6812. Let a = 63 + y. Is x >= a?
False
Let z = 0.4467 + -0.6467. Let f = 64.2 + -59. Let d = f - 5. Is d at least z?
True
Let c = 2791 - 5568. Is 2/5 > c?
True
Suppose -3 = -h + 32. Let j = -10/63 - 275/252. Is h > j?
True
Let c = 3.088 - 5.088. Which is smaller: c or -3/92?
c
Let l = 1.062 + -2.762. Let b = 1/3 - 23/87. Is b > l?
True
Suppose -7850 = 20*q - 3030. Is q <= -246?
False
Suppose r = 3*y - 2, 3*y = 11429*r - 11427*r + 1. Let t be ((-8)/4)/(22/3). Which is smaller: r or t?
t
Let f = 1.6 - -0.4. Let k = -154 - 22. Let q = k + 188. Is f smaller than q?
True
Suppose -5815 = 11*l - 6761. Which is greater: l or 55?
l
Let c(a) = -2*a**3 - 13*a**2 + 22*a - 78. Let f be c(6). Which is greater: f or -9290/11?
-9290/11
Let z be ((-640)/1475 + 104/260)/(4*1). Let d be (-2)/2*(-3)/3. Is z >= d?
False
Let v = 69607/3 + -23203. Which is smaller: v or 444?
v
Let j = 6875.63 - 34235.4. Let q = j + 27485. Let r = 125 - q. Which is smaller: 0 or r?
r
Let j = 4901 + -4480. Which is smaller: -0.5 or j?
-0.5
Let l = 22201 - 22116. Which is bigger: 1/10 or l?
l
Suppose 4*t - 4 = 0, -5*m + 12*t - 9*t = -27. Is m less than or equal to -73?
False
Suppose 0 = -174*t + 181*t + 2*o + 1153, -5*o = -t - 133. Which is greater: t or -2138/13?
t
Let v(u) = -39 - 33 + 107 - u - 38. Let s be v(-7). Let a be ((-7)/21)/(2/s). Is a smaller than 0.04?
True
Let x(k) be the first derivative of -4*k**3/3 + 23*k**2/2 + 20. Let u be x(6). Let c be (-7)/14*(-2 - u)/2. Is c bigger than 4?
False
Let u(n) = -38*n - 179. Let m be u(-11). Which is bigger: m or 246?
246
Let f = 331 + 35. Let s = f + -259. Let j = s + -102. Which is greater: 2/21 or j?
j
Suppose 192*c = 193*c + 344. Which is greater: -2414/7 or c?
c
Let j be (-595 - 1)*29/(-870). Which is smaller: 0.2 or j?
0.2
Let g(x) be the third derivative of -x**4/8 - 3*x**2 + 33*x. Let q be g(0). Is q >= 10/29?
False
Let h be (-58368)/3762 - (24/(-11) - 10/(-5)). Let t be ((-3)/(-4))/(1 + 2). Is t bigger than h?
True
Suppose -5*i = 4*g - 159, -i = -2*g + 3*g - 40. Let b = -2624 - -18660/7. Which is bigger: b or g?
b
Let m be (0 - -1) + (-13)/14. Let j(x) be the third derivative of -5*x**4/6 - 40*x**3/3 - 3*x**2 - 8. Let h be j(-4). Is m >= h?
True
Let c be 1/2 + (6 - 2)/(-16). Let i = -31.15 - -21.7. Let h = i - 0.55. Is c at most as big as h?
False
Suppose l - 2684 = 4*i, 9*l + 3355 = -5*i + 6*l. Do -3354/5 and i have the same value?
False
Let j = -0.11 - 0.69. Let l = 2/747 - -2476/5229. Let p = l - 8/7. Is p greater than or equal to j?
True
Let n = 12.97449 - 0.02649. Is 0.1 greater than n?
False
Let g(b) = b**3 + 2*b**2 - 3*b - 4. Let u be (-96)/40 + 3/(-5). Let h be g(u). Are -20 and h equal?
False
Let f be (12/(-9))/2 - 8/6. Let h be -4*((-2)/(-10))/(f/5). Let j be -1*h*(-30)/20. Is j > 0?
True
Let v be (686/(-63) + -2)*((-18)/448)/(-3). Is v at most 0?
True
Let d = -1 - -17. Let w be 68/(-195) + d/40. Let a(j) = -j**3 - 40*j**2 - 278*j + 9. Let y be a(-9). Is w less than y?
False
Let c be -13 + (-2 - 33036/(-2202)). Is c >= 1?
False
Let a be 9 - (742102/62127 + (0 - 2 - 1)). Is a at least as big as -1?
True
Let w be 100422/315 - 2/(-10). Let o = w + -329. Suppose 2*i + 14 + 6 = 0. Are i and o equal?
True
Let d = -0.496 + 0.296. Is d not equal to -1296?
True
Let c = 20 - 100. Let m = c + 140. Let p = -60.07 + m. Which is greater: 0 or p?
0
Let a = -5652631/38245 + 4/7649. Let x be (813/2)/((-5)/2). Let i = x - a. Is i bigger than -16?
True
Suppose 63*a - 204*a = 141. Let t = -0.5 - -0.482. Which is bigger: a or t?
t
Let p be 5 - (-14 - 3850/(-203)). Let s = 0.37 - 0.4. Which is greater: s or p?
p
Suppose 3*o = -3*y + 94 + 62, -o = 2*y - 54. Let r be (-75)/o*(-4)/(-6). Let f be -1 - -2 - 90/48. Which is bigger: r or f?
f
Let o(m) = 119*m + 2713. Let u be o(-23). Which is smaller: u or -50?
-50
Let d = 2 + 0. Let i = -3 + d. Let r = -146197/8 - -18274. Which is smaller: r or i?
i
Let k = 2447 - 2447. Is k at most as big as 30/103?
True
Let y be 1/(-1) + 40/14. Suppose p = -4*d - 957 + 947, -d + 29 = -2*p. Which is smaller: d or y?
d
Let h = 2918458/9 + -323302. Let d = 974 - h. Which is smaller: d or 4?
d
Suppose 13*w - 825 = -864. Which is smaller: w or -54?
-54
Let r = -103 + 105. Suppose 0 = n - r - 2. Suppose n*g - 52 = -20. Which is smaller: g or -1/3?
-1/3
Let s(b) = -b**3 - 6*b**2 - b - 2. Let h be s(-6). Suppose -h*y = -12*y - 24. Let t be ((-2)/10 - 2)/(y/6). Which is bigger: t or 3?
t
Let r(s) = 72*s + 283. Let z(k) = -37*k - 141. Let a(j) = -4*r(j) - 7*z(j). Let y be a(-5). Let i be (-1 - 2)*2/63. Which is greater: i or y?
y
Let i be ((-3)/(-1))/(-190 - -193). Which is bigger: i or 2/59025?
i
Let i be ((-46940)/5210 - -9)/((-6)/(-18)). Which is smaller: i or 0?
i
Let z = -3.04 + 0.04. Let m = -3.2 - z. Which is greater: 30/7 or m?
30/7
Suppose -l + 3 = -2*n - 3*n, -n + 4*l + 7 = 0. Let r = 8 + n. Let m be ((-1)/(7*4))/(10933/232 + -47). Is r < m?
False
Let m be (1 + -7)/((-42)/5166). Let u = m - 30260/41. Is u > 0?
False
Let u be 1/(5/(95/(-18)) - -1). Suppose -4*s = -5*h - 180, 4*h - 3*s + 21 = -124. Let o = -20 - h. Which is bigger: u or o?
o
Let o = -13595/4 - -3399. Is o at least as big as 6.151?
False
Let t = 3.1599 - 3.6599. Is t <= -236/15?
False
Let o = 1130 - 1123. Let a be ((-120)/(-6))/(o + -5). Let p = 2.2 + -2. Is p less than a?
True
Suppose -2*g - 2*g + n = 164, g = -3*n - 28. Let u = -21262 + 21219. Is u <= g?
True
Let k = -1.72 - -2.19. Let n = k - 0.41. Which is bigger: -6 or n?
n
Let b = 106.137 - -11.863. Is -5 less than b?
True
Let s = -39/14 + 557/210. Let u = 27/4 - 181/28. Let q = u + -4/7. Which is smaller: s or q?
q
Let i be (27761/345 + -20)*6. Which is smaller: 3 or i?
3
Suppose 2*b + b - 14 = 2*k, 0 = b + 3*k + 10. Let f = 7 - b. Suppose -124 = -4*r + 2*o, 0 = f*r + 3*o - 72 - 105. Is 34 less than or equal to r?
False
Let j(l) = l**2 - 7*l - 9. Let y be j(8). Let c be (-10)/(-6) - y/3. Let k = 7391 + -7416. Is c smaller than k?
False
Let f = -19393/210 - -277/3. Let n(a) = 11*a**3 + 34*a**2 + 8*a - 14. Let l be n(4). Let z =