0 = y*z + 10. Which is bigger: 3/104 or f?
3/104
Suppose 0 = 31*l + 16*l - 3572. Is 226/3 greater than l?
False
Suppose a + i = 6*a + 30, -5*i = a - 20. Let j be (a - -6) + (-8)/10. Suppose 3*k - 4*k - 5*f + 21 = 0, -k - 11 = -3*f. Which is bigger: j or k?
k
Let w = 4463/4081 + -1/371. Let z(y) = -y - 1. Let d be z(-1). Let f be d/((-1)/((-3)/(-6))). Is w at most as big as f?
False
Let s(l) = 9*l - 172. Let d be s(17). Which is smaller: -6 or d?
d
Let c be ((-2)/590)/((-6 - -9)/3). Let h = -5/1068167 + -618452468/3466201915. Let r = c + h. Is r bigger than 0?
False
Let w(f) = -102*f**3 + 2*f**2 - 2. Let i be w(-1). Is i bigger than 99?
True
Let u = -2 + 5. Let i = -22 + 24. Let a be 495/324 - i/(-9). Is a less than u?
True
Suppose -197*p + 195*p + 20 = 0. Suppose 2*b = 10, 4*z - 48 = -3*b + 3. Are p and z equal?
False
Let u = -26 + 18. Let b(h) = h**3 - 12*h**2 + 14*h - 35. Let m be b(11). Which is smaller: m or u?
u
Let c = -7.6 + 51.6. Let y = -43 + c. Let l = 30 - 51. Is y greater than l?
True
Suppose 0 = 4*a - 3*q - 6 - 14, -q + 20 = 4*a. Do 5 and a have the same value?
True
Let j = -1263 + 1262.5. Let y = -10/9 + 77/45. Is y less than j?
False
Suppose -19*g + 1985 = 1833. Let y = 0.86 - 0.8. Are y and g equal?
False
Let v be 252/14*(-1)/194. Is v less than 1?
True
Let c = 147 - 440/3. Suppose -1 = -2*f + 3*f, 0 = s + 2*f + 5. Let v = s - -2. Which is smaller: v or c?
v
Let n = -2000 + 3623. Is 1624 bigger than n?
True
Let u(y) = -y**3 - 3*y**2 + y + 3. Let n be u(-3). Let i = 30.3 + -31.3. Is i bigger than n?
False
Suppose -14*u = 523 - 131. Which is bigger: u or -35?
u
Suppose 5*s - 2*z - 38 = 0, 3*s - 4*z = 4*s + 10. Let u(l) = l**2 + 6*l + 8. Let y be u(-7). Suppose -n = 2*n - y. Is n bigger than s?
False
Let h = 21 - 13. Let n = h + -1. Let g be 1/((-25 - -24)*2/(-14)). Are n and g non-equal?
False
Let z = -10 - -12. Suppose -3*o + 3*u = -z*o + 4, 4*o + 5*u = 18. Is o != 1/3?
True
Suppose 5*p - 26 - 4 = 0. Let a be p - (-1 + 0 + 4). Let k be ((-8)/54)/(2/a). Is 0.2 > k?
True
Let g = 20 + -25. Let b = g + 6. Which is greater: -0.09 or b?
b
Let p = 80 - 78.06. Let j = -2 + p. Let s = -34 + 33. Is s greater than or equal to j?
False
Let s = 73 + -73.9. Is -1/12 at least s?
True
Let b be (110/6 - 6) + 6/(-18). Let f be (-15)/(3*(-1)/2). Which is greater: f or b?
b
Suppose 21 - 3 = -3*v. Suppose 0 = -y - 4*y + 40. Let p be v/y*(15 + 1). Is -12 at least p?
True
Suppose 72*c - 59*c + 13 = 0. Is 2/2175 at least as big as c?
True
Let h be 16 + 1 + -20 + 4/1. Is h at most 2/1383?
False
Let p = -31 - -75. Let t be (0 - 3) + p/13. Which is greater: 1 or t?
1
Let i(a) be the third derivative of a**4/6 + 8*a**3/3 + 18*a**2. Let n be i(-4). Which is greater: n or -4/3?
n
Let u = 1955/2 - 955. Let g = 510 + -486. Is u bigger than g?
False
Let g be 2/4 - 11/(-2). Let f = 474.9 + -475. Is g less than f?
False
Suppose k - 14 = -13. Suppose -13 = -2*l - k. Suppose 0 = -3*h - 2*y - 6, -2 = 2*h + 4*y + 2. Which is smaller: l or h?
h
Let f(w) = -2*w**2 + 9*w - 6. Let y be f(5). Suppose -1 = -n - 9. Which is greater: n or y?
n
Let a(h) = -1 - 4*h**2 - 1 + 4 + 2*h**2 + 2*h. Let i be a(2). Let w be i/8 - 1/(-4). Which is bigger: w or -6/7?
w
Let d be 11/(-110) - (-676)/6360. Is 1 less than d?
False
Let t = -1/1049 - -1615/593734. Are t and 0 unequal?
True
Suppose -n - 9 + 1 = 0. Suppose -4*d = -2*i - 0*i + 8, 5*d + 24 = -i. Let c be (2/d)/((-16)/(-192)). Is n at most as big as c?
True
Let o be 15 - ((-18)/27)/((-6)/(-63)). Which is greater: 65/3 or o?
o
Let y = -14/3 - -59/12. Let d = 42 - 42.98. Let t = d + 0.68. Is y greater than t?
True
Let g = -40 - -23. Let z = g - -20. Are z and -4 nonequal?
True
Suppose 5*r - 1 = m + 4*r, -2*m - r + 13 = 0. Suppose -g + 5*y + 10 = 0, -m*g + 3 = -4*y - 5. Which is smaller: 11 or g?
g
Let j be (-35)/(1 + -6) - -148. Is 155 not equal to j?
False
Let v = -30/43 - -1222/1505. Which is smaller: v or -1?
-1
Let h = 80660/43 - 1876. Is -1 < h?
True
Let k(o) be the first derivative of -o**3/3 - o**2/2 - 8. Let n be k(0). Suppose n = 5*x + x. Which is bigger: x or 3?
3
Let l be (-4 - 12/(-2)) + (-152)/1. Let i be 10/8*-2*l/(-250). Are 0.5 and i unequal?
True
Let b = 74 + -1. Let l = 72 - b. Which is bigger: l or -2/25?
-2/25
Let c = 1/25 + -329/100. Let w(f) = f**3 + 4*f**2 - 16*f + 4. Let q be w(-6). Let h be (q/(-6) - -1) + 20/(-60). Which is smaller: c or h?
h
Suppose 0 = -23*v - 15 - 169. Which is greater: v or -2?
-2
Let q(k) = -4*k + 3. Let w be q(0). Suppose -6 = w*g - 15. Is -11 less than g?
True
Let r(f) = f**3 - 25*f**2 + 3*f - 185. Let w be r(25). Which is greater: -109 or w?
-109
Let s = 45.6 - 46.6. Is s at least as big as -12?
True
Let l(b) = -603*b - 4205. Let r be l(-7). Let j be 394/(-10) - (-4)/10. Let d = j - -56. Which is smaller: r or d?
r
Let r = 339 + -343. Is r less than -61?
False
Let z(q) = 47*q + 6. Let f(r) = 16*r + 2. Let i(j) = -8*f(j) + 3*z(j). Let o be i(-1). Which is smaller: -10 or o?
o
Let u be (-11)/(55/98)*10. Which is smaller: u or -195?
u
Let c be -5 + 5 - (19 + 364). Do c and -384 have different values?
True
Let i = -26 + 27. Suppose 0 = 6*j - 5*j + 20. Is i > j?
True
Let x be (-4 - 9) + (-11 - -23). Which is smaller: x or 4/317?
x
Let d = -5 + 3. Let q be 3/(-6) - 11/d. Let w(m) = 2*m + 5. Let c be w(-1). Which is smaller: c or q?
c
Suppose -3*y + 5*z + 44 = 0, z = -5*y + 4*z + 84. Suppose -10*s = -y*s - 24. Is 3 at most as big as s?
False
Let j(l) = 4*l - 15. Let c be j(3). Let g be (6/(-15))/(c + 164/55). Which is bigger: 24 or g?
24
Let f = -19 + 19. Let j be 45/21 + (f - 3). Suppose -2*a - v - 3 = 1, -3*a = -5*v - 7. Which is smaller: a or j?
a
Suppose 5*g + 3*m = 8*m + 5, 7 = g - 4*m. Is -4/17 != g?
True
Let y(x) = x**3 + 8*x**2 - 3*x - 8. Let w be y(-8). Suppose -w*o + 17*o + 3 = 0. Is -5/3 greater than o?
True
Let n = 429/2 + -214. Let q = 824/11 - 75. Is q greater than n?
False
Let u = 2/53 - 73/530. Let p be 129/33 + (-11)/(-121). Are p and u equal?
False
Let d = 25.07 - 25. Which is greater: -6 or d?
d
Let o(l) = l**2 + 12*l + 5. Let y be o(-11). Is y >= -23/4?
False
Suppose -2924 + 944 = 45*n. Which is smaller: n or 0.9?
n
Let d(g) = -g**2 - 20*g - 37. Let b be d(-19). Let n be 3/6 + b/(-8). Which is bigger: n or 1/3?
n
Let j = -0.1 - 0. Let n = -0.1 + j. Let i be (3 - 2)/((12 + -2)*(-27)/45). Is n at most as big as i?
True
Let u(w) = 5*w + 320. Let c be u(-64). Let l be ((-6)/(-1860))/((-4)/(-30)). Is l smaller than c?
False
Suppose -65 = 6*a - a. Let p = a - -30. Is 19 <= p?
False
Let a be (-2)/13 + 12/585. Let s(f) = -f - 7. Suppose -5*b = 2*j + 32, -j - 25 = 4*b - 0*j. Let d be s(b). Which is smaller: d or a?
d
Let g = 432 - 432.045. Is g >= 0?
False
Suppose 0 = 3*p - 2*a - 2529, -2*p - 2*a + 745 + 931 = 0. Which is smaller: 840 or p?
840
Let s(q) = 5*q + 24*q**2 + 3 + 0 + q - 23*q**2. Let i be s(-5). Let k be (16/10)/(1 - 2). Is i greater than or equal to k?
False
Let j = 69.034 - 0.034. Let a = j - 70. Which is bigger: a or 9/20?
9/20
Let p = -3.6 + 3.59. Let s = p + -0.99. Is s less than or equal to -7?
False
Suppose -324 = 2*f - 5*f. Let a be f/(-6) - (5 - 2). Let o be ((-7)/(a/(-6)))/(-2). Is o at most 5?
True
Suppose 76*x + 620 = 72*x. Which is smaller: -8 or x?
x
Let w(h) = -h - 5. Let z be w(-6). Let l = -8 - z. Let m = 4 + l. Is m less than -4?
True
Suppose -5*q = 5*o + 110, q + 5*o = -22 - 16. Is -17 at most as big as q?
False
Let u = 11393 - 57674/5. Suppose f + 656 - 513 = 0. Let p = f - u. Is p >= -1?
False
Let p be (-27)/6*12/117. Suppose 15 = 11*o - 18. Suppose 2*t = 4*h - 5*h + 3, -o*h + 9 = t. Are t and p unequal?
True
Let d = -16 - -11. Let z = -6 + 6. Suppose z = m + m + 10. Is d at least as big as m?
True
Let r(v) = -v**3 + 15*v**2 + 10*v + 22. Let q be r(16). Is q at most as big as -147/2?
True
Suppose 0 = 4*w - w. Let g be (-1)/(825/925) + (-2)/6. Is g <= w?
True
Let x = -0.31 + 0.15. Let g = -19 + 19.36. Let h = x + g. Which is smaller: h or 4?
h
Let i = -12/1675513 - -69418322/588105063. Let m = i - 4/91. Is 1 bigger than m?
True
Let v be 64/11 - 22/(-121). Let o be 64/v + 8/6. Which is bigger: 11 or o?
o
Let z = -38 + 102. Suppose z = -5*s - 11. Which is smaller: -2 or s?
s
Let o = 155 - 186. Are o and 3 nonequal?
True
Let l = 97.796 + 0.204. Le