e (-14)/8*(-16)/k. Let i be (4/(-8))/(m/(-12)). Which is bigger: i or -1?
i
Let r = -3.4 - -3.9. Let a = -2.5 - r. Let h be -1*(2 + 3/(-2)). Which is bigger: h or a?
h
Let h be ((50 - 3)/((-7)/14))/(-2). Which is smaller: h or 0?
0
Let p = -113.1 + 112.1. Which is smaller: p or 41?
p
Let j(k) = -k**2 - 8*k - 5. Let q be j(-7). Let n be (2 - (9 - 3/1)) + q. Which is smaller: n or -3?
-3
Let f(a) = 7*a - 42. Let b be f(6). Suppose 3*x - 6*x - 12 = b. Let r = 4 - 5. Which is greater: x or r?
r
Let m = -2/2483 - -10066/166361. Which is smaller: m or 0?
0
Let z(p) = p**3 + 6*p**2 - p - 6. Let t be z(-5). Let h = 33 - t. Let c(a) = a**2 - a + 8. Let k be c(0). Which is smaller: h or k?
k
Suppose -5*x = 5*i - 25, 30*i - 35*i - 4*x = -24. Is 26/5 at least as big as i?
True
Let v = -31.92 - -30. Let k = v + -0.08. Let z = -3 - 0. Which is bigger: z or k?
k
Suppose -25*r + 28*r - 12 = 0. Suppose 3*j = -u - 34, -2*j - j - 91 = r*u. Which is smaller: u or -21?
-21
Let h = -0.083 + -20.517. Which is bigger: h or 0?
0
Let k = 0.63 + -0.772. Let l = k - -16.442. Let j = 16 - l. Is j at least as big as 0?
False
Let u = 253 - 1025/4. Let y be 0 - (0/(-5) + 3). Which is greater: u or y?
y
Let k = 0.6 + -3.06. Let i = -0.06 - k. Which is smaller: 0.2 or i?
0.2
Let z = 25 + -22. Suppose z*y - 18 = 6*y. Let a = 0 - 0.1. Is a smaller than y?
False
Let b(m) = -4*m + 1. Let l(r) = 9*r - 2. Let u(g) = 7*b(g) + 3*l(g). Let y be u(-4). Suppose -y*j - 14 = 4*s, -2*j - 2*s - 3 - 3 = 0. Is j equal to -1/2?
False
Suppose -18*j - 150 = -23*j. Let d = 150 - 120. Is j greater than d?
False
Let f be 16/40 + (6/10 - 2). Are f and -1/104 nonequal?
True
Suppose 14 = 4*q - 10. Suppose q = -3*d - d + 2*m, -4*d = 2*m + 18. Is d smaller than 2?
True
Let g = 0.0748 + -0.0478. Which is smaller: g or -0.2?
-0.2
Let j = 112498 - 115310434/1025. Let y = -1/41 - j. Which is greater: y or 1?
1
Let b(n) = -n**3 - 7*n**2 + 7*n + 3. Let d be b(-9). Suppose 5*x = -d + 32. Let y = x + 16. Which is smaller: 0 or y?
0
Let a = -310 + 401. Which is smaller: 93 or a?
a
Let x = 892745/163 + -5477. Let q = -173/9128 - x. Let i = -193/168 - q. Which is greater: -1 or i?
-1
Let s be (-1160)/(-15)*9/6. Which is smaller: s or 229/2?
229/2
Suppose 0 = -4*y + 20, -5*o - 3*y = -4*y - 15. Suppose 3*s + 5 = -r + 3*r, -o*s - 18 = 3*r. Let t be 3*r/(2/1). Is -5 not equal to t?
True
Let y = -3.39 - -3.4. Let x = -0.31 + y. Do x and 9 have different values?
True
Suppose -14*q + 23*q = -18. Is q >= -8/9?
False
Let o be (-18)/(-4)*(0 - (-1 + -1)). Let b be o/4 + 4/(-16). Which is bigger: 4 or b?
4
Let o = -0.365 - -0.39. Let x = 41.975 + o. Which is bigger: 2/7 or x?
x
Let q(p) = -2*p + 5. Let z be q(7). Let k = z - -13. Suppose 21 = 5*g + 4*l, -g - k*l + 0 + 1 = 0. Which is bigger: g or 0?
g
Let m(x) = x + 7. Let u be m(-3). Suppose -5*s - 6 = 5*h + u, -5*s - 20 = -5*h. Let w be (s - -2)/(-2 + 3). Are w and -1 equal?
True
Let y(m) = -2*m**2 - 8*m - 13. Let f(v) = v**2 + 4*v + 7. Let w(i) = -11*f(i) - 6*y(i). Let x be w(-8). Let t be (-22)/x + (-14)/(-3). Does t = -2/7?
False
Let l be 60/8 - ((-21)/5 - -4). Let m = l - 9943/1290. Is 0 > m?
True
Suppose -5*r - 55 = -5*t - 10, 0 = 5*t - r - 33. Suppose -2*z + 40 = 3*z. Suppose 3*o = 13 + z. Is t at least o?
False
Suppose -610 = 32*v - 36*v + 2*g, 0 = 5*v + 4*g - 795. Is v bigger than 154?
True
Let n = 0 + -5. Let b be n/(-31)*10/25. Let c(r) = 2*r**2 + 84*r + 82. Let q be c(-41). Which is smaller: q or b?
q
Let v = -379 + 383. Are v and 12 equal?
False
Let u = 14655 + -2124966/145. Let m = u + -35/377. Is m greater than or equal to -0.1?
True
Let h be 68/51 - (-272)/12. Which is bigger: 4 or h?
h
Suppose 0 = -35*q + 31*q + 96. Suppose 0 = p + p - 4*d + q, -46 = 3*p - 4*d. Which is greater: p or -23?
p
Suppose 0 = 20*n - 7*n + 26. Let o(i) = i + 6. Let v be o(-3). Let f = 1 - v. Is n greater than f?
False
Let f = -11 + 11.05. Let b = f + 0.95. Is -3.9 < b?
True
Let k = -62 - -7. Is -55 at most k?
True
Let r(m) = -25*m**2. Let q be r(-1). Let u = 30 + q. Suppose 3*t - u = -8. Is 2/31 <= t?
False
Let g be (-6)/(-16)*(-184)/(-138). Is g at least -17/5?
True
Suppose -3*j = 4*k - 30, 3*j - 4*k - 30 = -0*j. Let q be j/(-6) + (-32)/(-48). Do q and -10 have the same value?
False
Let b = 40/3 - 446/33. Suppose 2*i = -4*y, 0 = 2*i - 2*y + y. Is b less than or equal to i?
True
Suppose 0 = -n - 0*f - 2*f + 1, n = 5*f + 8. Suppose 0 = -4*t - 13 - n. Let q(d) = d + 1. Let r be q(-4). Which is bigger: t or r?
r
Suppose 3*d = -t - d - 15, 0 = -4*t - d + 15. Let a = 70 - 58. Suppose 0 = a*j - 21*j + 54. Is t < j?
True
Let j = -36.5 + 43. Is 1/3 at most as big as j?
True
Let w(k) = -k**2 + 2*k + 3. Let a be w(-2). Let n(h) = 11*h + 22. Let g be n(-7). Let v = -58 - g. Is v < a?
False
Let o(r) = r**3 - 9*r**2 + 7*r + 9. Let j be o(7). Let q = -37 - j. Which is smaller: 6 or q?
q
Let m = 37 - 32. Suppose 3*x - 5*v = 1, 4*x - 1 = m*v + 2. Is 0 equal to x?
False
Let q = -0.36 - 0.24. Let o = q + 0.9. Do -3 and o have different values?
True
Let a(d) be the first derivative of -7 - 5/2*d**2 - 2/3*d**3 - 3*d. Let x be a(-2). Are x and -1/7 nonequal?
True
Suppose -5*h + 3 = 8. Let n be (-21)/(-171) - 2/19. Is h less than n?
True
Suppose 0 = 2*b + 3 + 3. Let h = 4 + b. Let j be -2 + h + -1 - -1. Is j greater than -2?
True
Let m = -856 - -533. Are m and -1 equal?
False
Let i be -27 + 5*1/1. Let v(p) = -3*p**2 + 1. Let n be v(-1). Let u be i/24 - n/8. Is u != -1?
True
Let w(m) = -m**2 + 4*m + 3. Let o be w(5). Let x be 1 + -8 - (o + (4 - 0)). Is x at least -9?
True
Let l = -11 - 11. Let j = -26 - -22. Which is greater: l or j?
j
Suppose -4*k - 6 = 14. Let o(d) = -7*d**2 - d - 5. Let s(t) = -3*t**2 - t - 2. Let w(x) = k*s(x) + 2*o(x). Let n be w(-4). Is 6 equal to n?
False
Suppose 3*d - 4*f + 8*f = -9, -2*d + f + 5 = 0. Let h be 4 - (10/(-22) - -4). Is d <= h?
False
Let w be (176/(-220))/(-2*(-1)/345). Which is greater: -1 or w?
-1
Let t be (-14)/35 - (-68)/(-30). Which is greater: t or -3?
t
Let k(c) = -c**2 + 7*c - 1. Let l be k(9). Let i be l/(-5) - 7/(-35). Let n = -2 - i. Which is smaller: n or -2/11?
n
Let u(y) = -10*y - 8. Let p be u(-1). Let c be 5/(-1)*8/(-10). Which is greater: c or p?
c
Let p be -1 + 2 - ((3 - 4) + -14). Suppose 10*q + 30 = p*q. Is 6 > q?
True
Let o be 6/(-72)*29588/1346. Let f = 1/673 - o. Which is greater: f or 2?
2
Let r = 341.1 - 341. Do -2/13 and r have the same value?
False
Let i be -5 + (2 - -1) + 4. Suppose -q + 3*n = 28, 2*q = -3*q + i*n - 101. Is -18 less than q?
False
Let d = -27 - -27. Do d and -29/21 have the same value?
False
Let d(g) = -9*g - 5. Let f(q) = -5*q - 3. Let c(m) = 4*d(m) - 7*f(m). Let w be c(-4). Suppose 4*j = 4*n, 4*n = 2*j - 3 + 11. Which is bigger: n or w?
w
Let h be 1*-8*4/(-8) - 8. Is h <= -6?
False
Let j be (-14)/(4 + -6) - 7. Let w be 1/13*(2 + 0). Is w greater than or equal to j?
True
Suppose -9*f + 110 = 13*f. Are f and -40 equal?
False
Let r = 390 - 495. Which is greater: -102 or r?
-102
Let b = 1297 - 24664/19. Which is bigger: -1 or b?
-1
Let g(k) = -k**2 + 91. Let y be g(10). Let x = 0.9 - 0.6. Is x < y?
False
Let p(n) = -5*n**2 - 96*n - 18. Let c be p(-19). Which is greater: 1/63 or c?
c
Let d = -348 - -109. Is d less than or equal to -238?
True
Let a(c) = -c**3 + 20*c**2 - 37*c + 29. Let u be a(18). Let m = 98 - 58. Suppose 2*y = -18 + m. Does u = y?
True
Let a = -121 - -141. Which is greater: a or -0.3?
a
Let w be (-52)/18 + (-3)/(-1). Let f = -20 + 20. Suppose -3*i + 6 = y + 2, -3*i - 3*y + 12 = f. Are w and i nonequal?
True
Suppose -3*g - 2*g = -25. Suppose -4*a + g*a - 14 = 0. Let y = 14 - a. Which is bigger: -12 or y?
y
Let n(h) = -h - 1. Let r be n(0). Let s be ((-2)/(-36))/(r/(-2588)). Let t = 144 - s. Which is greater: 0 or t?
t
Let d be (21/(-9))/7 - (-1)/3. Suppose d*q + 2*q = 4*s + 12, -4*q = 3*s + 9. Suppose 3*n + n = -4. Is q not equal to n?
True
Suppose -2 = -b - 26. Let p be 3/b + 58/80. Is p >= 2?
False
Let p be 2 + (-22)/6 + 6/9. Is 2/899 < p?
False
Suppose 0 = -2*w - 4*f - 113 + 27, 5*w - 5*f = -140. Let b = w - 15. Let s be (-2)/(-3 + b/(-9)). Is s greater than -1?
True
Let w = 2.5 + -5. Let p be 4*(-14)/(-42)*3/22. Is w < p?
True
Let o be (((-25)/9)/(16/(-24)))/(-2). Does o = -2?
False
Suppose y + 2*n = 0,