 304/20 - z - -1. Which is bigger: y or 10?
y
Suppose -34*h + 85 - 51 = 0. Suppose -4*v + 5 = k, -5 = v - k - 0*k. Let f = 3 - v. Is h < f?
True
Let c be (132/(-55))/(6/20). Suppose 4*r - 2*l + 6*l = 68, 0 = -3*r + l + 47. Let a be (c/r)/((-13)/(-2)). Is a less than -1?
False
Suppose -4*x = 2*n - 0*n + 344, -4*x = -5*n - 790. Let o be -1 - (n/63 - (-2 + 0)). Is 0.2 at least o?
True
Let i be (-2 - 1) + (2 - 2) + -6. Is 62 greater than i?
True
Let z(i) = 9*i + 85. Let f be z(-21). Suppose 0 = -7*y - 345 - 383. Is y at most f?
True
Let y(v) = -v**3 - 5*v**2 - v + 9. Let h be y(-6). Let t = -52 + h. Is t less than or equal to -3?
False
Let b(m) = -m**3 + 12*m**2 + m - 11. Let c = 17 + -5. Let s be b(c). Are -7 and s non-equal?
True
Let o = 11019/8 - 1363. Is 13 != o?
True
Let c = -136 + 137.2. Is c less than or equal to 0.1?
False
Let w = -3937 + 3938. Let c be (8/20)/((-101)/(-5)). Is w less than c?
False
Suppose 0 = 23*d - 36*d + 533. Which is smaller: 81/2 or d?
81/2
Let j = 14780 - 14860. Let b be (-4 - 0)/((-2)/(-40)). Do b and j have different values?
False
Let p = 837 - 570. Which is greater: p or 268?
268
Let q = 9/38417 - -146560639/922008. Let j = q + -159. Which is greater: 2 or j?
2
Let m = 5/627 - 7123/578721. Let x = m + -5230/71071. Which is smaller: 1 or x?
x
Let v be (11 + -15)*(-1)/2. Suppose 0*q - 4*s = 3*q + 16, -v*q = -3*s - 12. Is q less than -3/53?
False
Let i(g) be the third derivative of g**5/30 + 7*g**4/12 + 23*g**3/6 + 12*g**2 + g. Let v be i(-8). Is v greater than or equal to 38?
True
Let u = 29 - 16. Suppose h = 18 - u. Suppose -h*a - 3*w + 2 = 0, -3*a - 2*w = w. Which is bigger: a or 4?
4
Suppose -10 = 11*o - 208. Suppose -18 = 9*k + o. Is -22/7 greater than k?
True
Let h = 612/155 - -76/31. Let m(j) = j**2 + 5*j + 5. Let c be m(-5). Is c < h?
True
Let m(y) = 7*y**3 - 18*y**2 - 7*y - 10. Let r(k) = -6*k**3 + 17*k**2 + 8*k + 9. Let f(t) = 5*m(t) + 6*r(t). Let u be f(13). Is -1 less than u?
True
Let j(k) = -k**3 - 5*k**2 - 4*k + 3. Let m be j(-4). Suppose 3*y + 4*g - 8 - 14 = 0, -m*g = 6. Let l = -16 + y. Which is greater: l or -5?
-5
Suppose 117 - 77 = 5*b. Suppose 3*o = -b + 2. Is o greater than or equal to -7/9?
False
Suppose 70*a + 60 = -2390. Is -28 smaller than a?
False
Let t = -2/15 + 53/285. Which is smaller: 1 or t?
t
Suppose 1445*m = 1450*m. Let y = 8 - 3. Which is bigger: y or m?
y
Suppose 0 = 4*j - 4*f + 2*f - 10, -12 = -5*j + 2*f. Does -11/12 = j?
False
Let c = -7 + 12. Let g = 28 + -22. Let t = g - c. Is -2/23 greater than t?
False
Let y = -725 + 674. Which is smaller: y or 1/3?
y
Let g = 182 + -181. Is -88 >= g?
False
Suppose -n - 7*n = -24. Suppose n*m = 18*m. Which is greater: -9 or m?
m
Suppose -4*d + 959 = -5*t, -7*d - 727 = -10*d - 4*t. Is 239 greater than or equal to d?
False
Let v(i) = -i**2 - 5*i - 5. Let y be v(-4). Let n be y*(-6)/3 + -1. Let o = 18 - 197/11. Which is bigger: o or n?
n
Suppose 0 = -v - 3*g + 2*g - 152, 5*v + 2*g = -760. Is -152 bigger than v?
False
Suppose i + 19 = -3*p, 21 = -5*i + p - 26. Which is smaller: -8 or i?
i
Suppose 45 = 2*y - y. Let n be (1*(-8)/(-250))/((-6)/y). Which is smaller: -1 or n?
-1
Let u(h) = -h**3 - 10*h**2 + 119*h - 1. Let x be u(7). Which is smaller: 3/1555 or x?
x
Let t(d) = 5*d + 2. Let i be t(4). Let j = -15 + i. Is j greater than or equal to -0.6?
True
Suppose -2*x = -7*x. Let m(i) = 14*i + 17. Let o(g) = -5*g - 6. Let k(a) = -4*m(a) - 11*o(a). Let q be k(x). Is -4 smaller than q?
True
Suppose 3*v + 2 = -4*t + 14, 5*t = -2*v + 8. Which is greater: t or 17/54?
17/54
Let x = 19.345 + 0.655. Which is greater: x or -0.01?
x
Let x = 32 + -15. Let l(o) = -2*o**3 + 5*o**2 + 17*o - 18. Let w be l(4). Is w at most x?
True
Let w(a) = -a - 1. Let k be w(0). Let p = -1846/861 - -44/21. Which is greater: k or p?
p
Let j = -688 + 727. Are j and -5 unequal?
True
Let m = 1701023/377 + -4512. Which is smaller: 0 or m?
m
Let x = -73 - -81. Let g = x - 10. Which is bigger: -2/3 or g?
-2/3
Let a be (-2)/(-2) - (-6)/3. Let d be (6/4)/(3/28). Let n be 4/d - a/21. Which is bigger: n or 1?
1
Suppose -22*k - 2682 - 2268 = 0. Is k at most as big as -223?
True
Let f = 304 - 205. Are -3 and f nonequal?
True
Let g(l) = -l**3 + 20*l**2 + 7*l + 17. Let t be g(20). Which is bigger: 159 or t?
159
Suppose -5*i - 25 = 25. Let f(q) = -q**2 - 10*q. Let m be f(i). Let l = m + 1. Which is smaller: -2/71 or l?
-2/71
Suppose -2*f + 6 = -p, 3*p = 4*p + 4. Suppose 0 = -4*g + 4 + 4. Let l be (-51)/105 + g/7. Is f bigger than l?
True
Suppose -3*z + 5 = 2*z. Let n be ((-3)/(9/(-174)))/(-3). Let r = 20 + n. Is r smaller than z?
True
Let m = -16783/538098 - -23/682. Is m >= 1?
False
Suppose -7*h - 158 = 241. Which is smaller: h or -172/3?
-172/3
Suppose 4*g = 5*p - 3*p - 90, g + 18 = -p. Let h be 6/g + (-30)/(-56). Is 0 greater than or equal to h?
False
Let q be ((-1)/((-3)/(-18)))/((-21)/(-28)). Which is greater: q or -80/11?
-80/11
Suppose -39*b + 25*b - 14 = 0. Which is greater: b or 12?
12
Let d(b) = -b**3 + 12*b**2 - 10*b - 9. Let j be d(11). Let w(p) = -3*p**2 - 2*p + 3. Let v be w(j). Which is bigger: v or -12?
-12
Let n = 497 + -3985/8. Suppose -103*b - 84 = -107*b. Let h = 19 - b. Which is bigger: h or n?
n
Let m(z) = -4*z**3 + 2*z**2 + z. Let q be m(-1). Suppose 0 = -c + q*c + 4*n - 8, 0 = -4*c + n + 3. Is c > 3?
False
Suppose -297 = -32*b + 21*b. Are b and 30 equal?
False
Let d(v) = v**2 - 8*v + 17. Let s be d(7). Let c be s/3*9/(-6). Let k(r) = 4*r + 2. Let z be k(-2). Which is bigger: c or z?
c
Let p(h) = 9*h - 1. Let d be p(1). Suppose d = t - 5. Let m(b) = b**3 - 12*b**2 - 14*b + 8. Let j be m(t). Does j = -4?
False
Suppose -4*q - 11 = b, b - 40 = -3*b + 5*q. Let z be (b/10)/(-1)*8. Is z bigger than -5?
True
Suppose 7*v - 2*v = 0. Are v and 4/27 non-equal?
True
Let t(d) = -d**2 + 8*d - 17. Let p be t(5). Let g be p - (8/(-3) + 0/(-2)). Which is greater: g or 0.47?
g
Let f = -10495 - -398787/38. Let a = -2/19 - f. Which is greater: a or 1?
1
Let h be -1 + (-3)/(-6)*32. Let k(p) = -p**3 + 14*p**2 + 15*p - 4. Let x be k(h). Let o = -59/14 + 12/7. Which is smaller: x or o?
x
Let n be ((-206)/(-10))/(-2*2/(-20)). Suppose -100*y - 12 = -n*y. Which is greater: y or 6?
6
Let m = 13/60 - -1/180. Which is smaller: m or -871?
-871
Let z = 0 + 7. Let p be 5 + (0 - -4 - z). Let u = p - 5. Is u smaller than 2/9?
True
Let y(d) = 5*d**2 - 24*d - 9. Let b be y(5). Let k be (-1)/3 - ((-52)/3 - b). Is 11 at least as big as k?
False
Let c = -2 - 29. Let k = 31 + c. Let t be (3 + 1)*27/(-12). Which is greater: k or t?
k
Let o = 31.03 + -31.1. Are 0.1 and o non-equal?
True
Suppose 0 = -0*a - 2*a - 4*s - 4, 5*s = 2*a - 5. Let m = 11 + -8. Let v be 2 - ((-387)/(-66))/m. Is a greater than v?
False
Let i = 1904 - 1916. Which is smaller: -15 or i?
-15
Let c = 154 - 99. Let a = -58 + c. Is a less than -1/2?
True
Suppose -23*r + 115 = -782. Suppose 0 = -l + 2*l. Which is bigger: r or l?
r
Let l = 8.23 + -85.53. Let h = 81 + l. Which is greater: 0 or h?
h
Suppose -27*z + 1100 = -2788. Is z less than 144?
False
Let k(f) = -10*f. Let p be k(0). Is 2/355 less than p?
False
Let o(h) = 5*h**2 + 88*h - 35. Let u be o(-18). Let b = -547/5 + 111. Which is smaller: b or u?
u
Let a = -0.113 - -0.366. Let g = a + 0.047. Which is smaller: 15/7 or g?
g
Let i(o) = -o**3 - 10*o**2 - 10*o - 6. Let p be i(-9). Suppose -2*v + 2 = p*n, 4*v - 3*n + 6*n = 4. Let j = 5 - 9. Does v = j?
False
Let t = 226.8 + -226.851. Is t >= 7?
False
Let y(v) be the first derivative of v**3/3 - 15*v**2/2 - 10*v + 21. Let b be y(16). Are 10 and b unequal?
True
Let g = -81 - -81. Let u = -1143/6815 - -7/235. Is g at most u?
False
Let n be (1 + (-1)/2)*42. Let u(s) = s**3 + 4*s**2 - 52*s - 214. Let y be u(-5). Is n bigger than y?
False
Let o = 3.699 - 0.139. Let v = o + -23.26. Let h = v - -20. Do h and 1/4 have the same value?
False
Let c be (1 - 0)/(-1) - -1. Suppose -1 = -13*i + 12*i. Let t be (i - (-2 - -1)) + 4/(-2). Is t < c?
False
Suppose 5*a - 6*t = -t - 260, 113 = -2*a - t. Which is bigger: 0.1 or a?
0.1
Let i(s) = 10*s**2 - 5*s - 16*s**2 + 7*s**2 - 5. Let q be i(4). Which is smaller: q or 2/3?
q
Let u = 22.9 + -27.9. Which is greater: 3/5 or u?
3/5
Let r be 507/(-105) + -4 + (-6)/(-15). Does -8 = r?
False
Let z = 83.39 - 81.8. Which is s