 l = 2*y - 6*y, -2*r = 2*y + 144. Let k = -95 - y. Which is smaller: -19 or k?
k
Suppose 686 + 2032 = -0*z + 2*z. Is z not equal to 1360?
True
Let f(o) = o**3 + 45*o**2 + 81*o - 211. Let z be f(-43). Do z and 48/11 have different values?
True
Let i(o) be the third derivative of 1/30*o**5 - 1/120*o**6 - 1/3*o**3 + 0 + 19*o**2 + 0*o - 1/8*o**4. Let x be i(2). Is x >= -4?
False
Let b be (-120)/100 + (-52)/(-10). Let m be b + (-5 + 4 - -5). Which is smaller: m or -0.01?
-0.01
Let z = 816.04 - 794. Let q = 21 - z. Let v = q - -0.04. Which is greater: 1/14 or v?
1/14
Suppose 24 = 19*v + 5. Let z be (0 + v)*(-20 + -29). Is -49 greater than or equal to z?
True
Suppose 10*u + 9 = 19. Let r be (3 - 1 - 8)/17. Are r and u nonequal?
True
Suppose p + j - 4*j - 20 = 0, 0 = 2*p - 2*j - 20. Suppose -p*c + 17 = -3. Suppose 0 = c*y + f - 29, -2*y = -4*f - 38 + 10. Is y less than 13?
True
Let c be 377044/31780 + -12 - (-4)/28. Which is smaller: -1 or c?
-1
Let p = -29182547/435 - -335431/5. Let g(m) = m**2 - 6*m + 5. Let i be g(5). Which is smaller: i or p?
p
Let w = 1346 - 25570/19. Suppose 3*x = -4*a - 3, -2*x + 2 = -5*a - 4*x. Which is smaller: a or w?
a
Let v(a) = a**2 + a + 28. Let t be v(0). Let x be (-1 - -3)*110/8. Let g = t - x. Which is smaller: 25 or g?
g
Let i = -0.482 + -3.118. Is i equal to 12/5?
False
Let p(k) = -129*k - 287. Let x be p(-18). Which is greater: 2036 or x?
2036
Suppose -72 = -14*a + 2*a. Let b(t) = 23*t - 138. Let c be b(a). Do -3/35 and c have the same value?
False
Let o = 7.9 + -8.91. Let a = -133439/3 - -44479. Which is smaller: a or o?
o
Let s(a) = -10*a**2 + 9*a + 6. Let n be s(2). Is -1 greater than n?
True
Suppose 4*x = -5*b - 23 - 2, -5*b = 5*x + 30. Let r be 148/(-8) - 24/16. Let u be -2*r*-1*8/140. Which is smaller: u or b?
u
Suppose -o - 127 = -g, 0 = -4*o - 25 + 13. Is g greater than 110?
True
Let q = 12819 + -12604. Which is bigger: q or 9?
q
Suppose r = -22*h + 17*h - 401, 30 = -5*r. Are -118 and h non-equal?
True
Let j = -31 + -30. Let p = -60.965 - j. Let s = -36.035 + p. Which is smaller: 0 or s?
s
Let b = 509 + -1008. Let n = -421 - b. Let x = -0.4 + 0.4. Is n <= x?
False
Suppose 2*n - 18 = 14. Suppose -5*b + 5*v + 323 = -82, 5*b - 405 = 2*v. Let y = b - 62. Which is smaller: y or n?
n
Let p be 16*(2 - 5)/(-12). Suppose 0 = -q + p*u + 5 - 1, 53 = 2*q + u. Let n be q/(-24)*(0 + 14)/(-2). Is 7 bigger than n?
False
Suppose 2*b - 51 = 19*b. Let s be (b + 30/6)*(-2)/14. Which is smaller: 0.044 or s?
s
Let x be (-7)/(315/10) - ((-215322)/216)/17. Which is smaller: 58 or x?
58
Let i be (-2372)/21320 - 80/(-800). Which is bigger: i or 0?
0
Let z(b) be the second derivative of -b**3/3 + 25*b**2/2 - 36*b. Let f be z(19). Let c = -38 - -23. Which is smaller: c or f?
c
Suppose -2 - 3 = 5*q, n = -3*q. Let h be ((-9)/(-882))/((n + -4)/(-2)). Which is smaller: h or -1?
-1
Let z(m) = -m**3 - 13*m**2 + 14*m + 24. Let u be z(-14). Suppose k = 5*k + u. Let n be (4/k)/((-33)/27). Is 2 at least as big as n?
True
Let z(b) = -b**3 + 38*b + 75. Let p be z(-5). Let w be -1 + 3 - 14*1. Let a be ((-1)/(-1))/((-1)/w). Which is greater: p or a?
a
Let w = 3.986 + 1005.014. Which is smaller: w or 0?
0
Let l be (2 - (-5)/(-3))/(-1). Suppose 2*b - 4*i = -8*i - 284, 4*i = -b - 152. Let v = b - -101. Which is bigger: v or l?
l
Let u = 16 - 34. Suppose 2*s = 260 - 258. Which is smaller: u or s?
u
Suppose -3*t + 21 = 27. Let d be 33/(-11) + 8 + t. Is d bigger than 25/12?
True
Suppose -z = 0, 3*g + g = -4*z + 324. Let y = 81 - g. Which is smaller: 4/41 or y?
y
Suppose -2*w - 26 - 35 = 5*y, -3*w = 2*y + 31. Let i(v) = 0 + 8 + v**3 + 11*v**2 - 3. Let r be i(y). Is 0.3 bigger than r?
False
Let x = 16301 - 18001. Is -15310/9 > x?
False
Let k be ((-2)/(-1))/(-1) - -3. Let a(h) = -6*h - 8. Let x be a(-2). Let m be (33/(-495))/(x/(-70)). Is k < m?
True
Let j(k) = -k**3 + 18*k**2 + 36*k - 240. Let b be j(17). Which is smaller: b or 655?
655
Let y be 2/(-1) - -1*(-925)/(-260). Is y < -2/7?
False
Let a = -13 + 9. Let r be (222/(-148))/((-1)/(-4)). Is a less than or equal to r?
False
Let y(g) = -4*g**2 - 143*g - 999. Let s be y(-7). Is s equal to 10/3?
False
Suppose -11*x + 81 = -12*x. Let i be (-4)/(-66)*(-297)/x. Which is smaller: 42 or i?
i
Let g = 69 - 132. Let y = g + 65. Let q = 0.01 + 24.99. Which is smaller: y or q?
y
Let g = -75 + 91. Let c = 163 + -88. Suppose -2*w + 3*z + g + 39 = 0, -3*z = -3*w + c. Is w bigger than 20?
False
Let a = -27.4 + 31. Let l = 4.6 - a. Let o = 235 + -224. Does o = l?
False
Let j be (-1 + 454)/((-1152)/(-768)). Which is greater: j or 271?
j
Let p = -15/14 + 43/42. Let h = -39.935 + 40. Let l = 0.065 - h. Is l at most p?
False
Let o be (-1)/(10 - 12 - 1). Let r be 14*(-3 + 54/12). Which is greater: r or o?
r
Let d = -7 - -10. Suppose 12*j + 4302 - 4170 = 0. Is d smaller than j?
False
Let q = 920 + -919. Is q at least 376?
False
Let k be 2501 + (-16 - -14) + -1. Are 2499 and k non-equal?
True
Let q be 4545/(-2808)*21/(-9150). Let n = -1/208 + q. Is n at least 0?
False
Let i be 1*620*(-10)/(-10). Is 625 != i?
True
Let v = -50 - 53. Let s = 108 + v. Let z be (3/4)/(1/8). Which is greater: z or s?
z
Let m = 4 + -4.3. Let x = -4.1 - 175.9. Let u = 180.01 + x. Which is smaller: m or u?
m
Let c = 42 - 39. Suppose 5*d + 10 = -5*i, -c*i - 15 = -4*d - 2. Let g = 41 + -45. Is g greater than d?
False
Let b = 318.7 + -319.3691. Let f = b + 0.1101. Let k = f - -0.059. Is k <= -1?
False
Let v be (3/(5/((-70)/(-147))))/(-24 + 26). Is v less than 82.4?
True
Let g(i) = -i**3 - 10*i**2 - 29*i - 15. Let y be g(-6). Which is greater: y or 69/5?
y
Let y(z) = 870*z - 3273. Let f be y(10). Which is smaller: f or 5428?
f
Let r = -3649 + 2642. Which is greater: -1009 or r?
r
Let q be (-4 + 3)/(2/(-4)). Suppose -q*z - 1 + 9 = 0, -2*z + 96 = -d. Which is smaller: d or -87?
d
Let t = 22.992 - 22.792. Which is smaller: -348.7 or t?
-348.7
Let n be (3/(-2))/((56/(-180))/(48/10)). Does n = 23?
False
Let l(s) = -1 - 6*s**2 + 4*s + 8 - 2*s**3 - 4*s + 3*s. Let c be -26*6/60 - 4/10. Let i be l(c). Which is greater: i or -8?
i
Let o(x) = 137*x - 918. Let p be o(-28). Which is greater: -4753 or p?
-4753
Let z be (-2)/9 - 11/(-9). Let t be -4*(z - 1/(-2)). Suppose -90*q + 210*q = 195*q + 600. Which is bigger: q or t?
t
Let t = 76470/62153 + 2/4781. Are 0 and t unequal?
True
Suppose -359*p + 126*p = 1000*p + 247*p - 23680. Suppose -4*y + 28 = 3*r, 2*r - 4 = 3*y + 43. Is p at least r?
True
Let y(a) = 6*a**3 + 7*a**2 + 11*a + 1. Let m be y(-6). Let f = m + 104247/94. Let n = 122 + -123. Is n <= f?
True
Let i(w) = 2*w - 25. Let s be i(12). Let q be s*8/124*2. Let u = 42 + -43. Which is smaller: u or q?
u
Suppose 102*f + 100 = 107*f. Suppose -z + 0 = -f. Is z > 20?
False
Suppose 0 = -14*w - 2*w + 32. Suppose -61 = -5*p - 5*j + 74, 4*j = -w*p + 48. Is 31 > p?
True
Let c(n) = 2*n**3 - 3*n**2 + 3*n - 1. Let m be c(3). Suppose 96 = m*t - 36*t. Suppose 5*z = -4*a - 395, 0 = -2*a - z + 6*z - 175. Is a at most t?
False
Suppose -23*s - 6 = -26*s, -p + 31 = -s. Do p and 484/15 have the same value?
False
Suppose -2*x - 6 = -4*i - 28, 3*x - 23 = 4*i. Suppose -2*k - l = -0*k - 5, 14 = 5*k + 2*l. Suppose k = -5*f - x. Which is greater: 6/19 or f?
6/19
Let o(j) = -3*j**3 + 7*j**2 - 3*j - 5. Let f be o(4). Let w = f + 76. Let u be (-7)/w + (-2)/42. Which is greater: u or 13?
13
Let y be (2 - 7) + (-34)/(-2). Let a(k) = 2*k**3 - 22*k**2 - 7*k - 8. Let c be a(y). Is 195 greater than c?
False
Suppose 3*b = -3*q + 3, 3*q - 41 = b - 38. Which is greater: b or -3/166?
b
Let a(j) = 660*j**2 - 2*j + 2. Let o be a(1). Suppose -97*z = -102*z + o. Let u = z + -122. Which is bigger: u or 7?
u
Suppose 5*i - 4*k - 2 = 0, 2*k - 7 - 1 = -2*i. Suppose -2 = -2*o + i*d + 2, 3*d = -o + 6. Let t be -6*o/12*-2. Which is greater: t or 2?
t
Suppose 742 + 2078 = -60*d. Let y = 149 - 96. Suppose -y = -4*x + 5*x + q, 4*x + 192 = q. Which is greater: d or x?
d
Let y(v) = -v**3 - 7*v**2 + 10*v + 16. Let j be y(-8). Suppose 40*n - 36*n + 12 = j. Let d be 3/(-6) + (-7)/3 + n. Is -6 less than or equal to d?
True
Let m be (105603/33 - 4/44)*(-80)/(-200). Which is smaller: m or 1278?
1278
Suppose -13 = 6*i - 61. Suppose 40 + 6 = -2*r + 4*g, -2*r = 4*g + 14. Which is bigger: r or i?
i
Let f be 6*1/66 - 171/(-297).