3*h = 3*s - 0*h + 69, 108 = -4*s + 4*h. Is -25 > s?
False
Let y be ((-2)/(-10))/(4/(100/45)). Let q = -0.8 + -0.2. Which is smaller: y or q?
q
Let y = -124 + 124. Is y at most 1?
True
Let w = -4.9 - 0.1. Let j = w - -5.1. Which is smaller: -1/5 or j?
-1/5
Suppose 2*c - 4*c = -6. Suppose 0 = c*p + 3. Which is greater: -2 or p?
p
Let p = 141 - 152. Does p = 8?
False
Let f = 24 - 24. Let h = 1 - 3. Let j be -2 - (-4)/6 - h. Is f less than or equal to j?
True
Let n = -1.5 + 1.5. Let p = n + 5. Are p and 3 unequal?
True
Let r(u) = -u**2 + 2*u - 1. Let m be r(1). Which is greater: -2/49 or m?
m
Let c = -6 - -2. Which is smaller: c or -2?
c
Suppose -2*o = -n, -5*o - 2*n - 18 = -0*n. Which is bigger: 2/5 or o?
2/5
Let x = -2 - -59. Suppose -x = 4*i - 17. Do -0.1 and i have different values?
True
Let b = 8 - 14. Let z = b + 5.6. Which is smaller: -3 or z?
-3
Let s = 145/6 - 3589/150. Let p be 15/250 - 2/4. Let h = p + s. Which is bigger: 0 or h?
0
Let l = 62 + -59. Does -31 = l?
False
Let i(m) = m + 1. Suppose 2*z - z - 12 = -3*v, -2*z + 5*v + 13 = 0. Suppose 0*u - 3*k = -u - z, 4*u + 3*k - 9 = 0. Let d be i(u). Is d < 0.5?
False
Suppose 5*v + u + 4*u - 45 = 0, 0 = 5*u - 25. Suppose v*w + 68 = -4*f, -w = 3*f + 3*w + 47. Let l be (f/15 - 0) + 1. Is -2 smaller than l?
True
Let u(s) = s - 1. Let t = 0 - -1. Let h be u(t). Is 0 > h?
False
Suppose -5*b + 12 = -2*b, 0 = j + b - 7. Suppose 7*d - j*d = 16. Suppose 1 - 17 = -d*n. Is 3 at most as big as n?
True
Let x be (-5)/(-30) + (-17)/66. Let k = -10 + 10. Which is bigger: k or x?
k
Let j(v) be the second derivative of v**5/20 + v**4/3 + v**3/2 + v**2/2 + 14*v. Let m be j(-3). Let r = 0.5 + 0. Which is smaller: m or r?
r
Suppose 7*q = 3*q + 28. Suppose -4*i = -q*i. Which is smaller: 1/5 or i?
i
Let c be (-2)/(-1)*3/(-6). Let t = -230/7 + 33. Are c and t unequal?
True
Let s = 2 - -5. Is 1 less than s?
True
Let v = 23 - 31. Is -8 > v?
False
Suppose -3*b - 25 = -2*s + 3*s, -b = 2*s + 15. Let j be (-16)/(-56) + 9/b. Is j bigger than 3/20?
False
Let r = 2 + 3. Suppose 0 = k + 2*k - 5*y, r*k = 3*y. Which is greater: k or -1/3?
k
Suppose 27 = 2*f - 0*a - a, -5*f = -5*a - 75. Suppose f = -2*q - 0*q. Let u = 4 - 9. Is q less than u?
True
Suppose r - 2*r - 3 = 0. Let o = -0.03 - -4.03. Let z = o - 3.9. Is r >= z?
False
Let v(s) = s**3 - s**2 - 3*s + 3. Let r(j) = j**2 - 5*j + 2. Let m be (4/8)/(1/10). Let l be r(m). Let k be v(l). Is k != 1?
False
Let q = 12 - 35/3. Which is greater: -2/91 or q?
q
Let y = -31 - -34. Is y <= 5?
True
Let q = -1049257/236670 - -2/23667. Let a = -23/6 - q. Which is greater: a or 0?
a
Suppose 0 = 2*t - 6*f + 2*f - 8, 0 = 5*t + 3*f - 7. Let x(k) = -k**2 - 5*k. Let c be x(-5). Let g be ((4 - c) + -2)*1. Is t >= g?
True
Suppose 2*b + 2*b + 3*q + 15 = 0, 2*q + 10 = -2*b. Which is smaller: -2/35 or b?
-2/35
Let s be (-13)/((-10)/(-32)*4). Which is bigger: -11 or s?
s
Suppose -2*l + 8 = -6. Suppose 3*q + q + l = -a, -28 = 4*a - 4*q. Let g = -10 - a. Is g bigger than -3?
False
Suppose -2*t + 18 = 5*g, 0*g - 19 = -t - 5*g. Let q be 3/9 - (t + 2). Which is smaller: q or 0?
q
Let f = -22/167 - -33321/668. Let i = 50 - f. Are i and 1 equal?
False
Let w be 5/(-5) + (-15)/(-13). Which is smaller: 0 or w?
0
Let n = -12.09 - -0.09. Let w = n + 4. Let s = w + 6. Which is greater: 1 or s?
1
Let i(n) be the third derivative of n**6/120 - n**5/20 + n**4/12 + n**3/6 - 4*n**2. Let v be i(2). Which is bigger: 0 or v?
v
Suppose 4*h = 2*h - 4*s + 20, s - 5 = -h. Which is greater: -2/31 or h?
h
Let k(m) = -m**3 - m - 1. Let l be k(-2). Let q = -1.2 - -1.3. Is l != q?
True
Let w = 0.7 + -0.6. Which is greater: w or 2?
2
Suppose 0*i = 5*i + 3*z - 175, 145 = 5*i - 3*z. Suppose -4*x + i = -16. Let g be 2/x*1/2. Are g and -1 nonequal?
True
Let q(k) = -k**3 + 8*k**2 + k - 4. Let h be q(8). Let c be (-21)/(-7) - h/1. Which is smaller: c or -3/14?
c
Let t = -30 - -28. Let m = -2 - -1. Are t and m non-equal?
True
Let j be 8/70 + 6/(-15). Is -2 != j?
True
Let k(s) = s + 18. Let p be k(-14). Suppose h + 15 = p*h, 2*z + 4*h = 26. Which is greater: 3/2 or z?
z
Let o be 4/10 - (-14)/(-10). Let g be (8/(-6))/((-2)/3). Let z be ((-1)/(-2)*-4)/g. Is z bigger than o?
False
Let x be 66*7/364*8/(-6). Are x and -2 non-equal?
True
Suppose 0 = 3*o - 3*k - 15, -2*o + 3*k + 0 + 12 = 0. Suppose -4*t - 4 = 4*l, 0*t - 2*t = -3*l - o. Let v = 5/7 - 4/7. Is l greater than or equal to v?
False
Let r be -23 + (-8 + -4)/(-3). Which is greater: -20 or r?
r
Let f be ((-6)/(-18))/((-6)/(-4)). Let c be (-9)/(-6) + 1/(-2). Are f and c unequal?
True
Let m(h) = -h - 2. Let i be (-1)/(-3) + (-4)/3. Let l be m(i). Let y be l*((-6)/(-9))/2. Which is greater: y or -0.1?
-0.1
Let y = -0.47 + -0.03. Let f = 0.5 - y. Which is smaller: -0.1 or f?
-0.1
Let n = 0.05 + -5.05. Let h = 0.4 - 0.5. Is h at least n?
True
Suppose -2*s + 66 = -62. Is 64 at most as big as s?
True
Suppose 2*f = -5*f + 28. Suppose f = -t - 4. Are -8 and t non-equal?
False
Let l be (-3)/(-2) + 35/(-28). Which is smaller: -1/5 or l?
-1/5
Suppose 2*y - 5*v + 28 = 0, -5*y = 3*v - 7*v + 36. Let s be (y/(-8))/((-1)/(-2)). Suppose 2*o + 2 = -3*u + 1, 13 = 5*u - 4*o. Do s and u have the same value?
True
Let l = -3 - -1. Suppose 2*z - 1 + 3 = 0. Let o(r) = -r**2 - r - 1. Let d be o(z). Is l not equal to d?
True
Let f = -53 - -54. Which is bigger: -1/17 or f?
f
Suppose 0 = 3*b + 89 - 68. Which is bigger: b or 2?
2
Suppose 2*y + a + 0*a = 0, 2*a = 3*y. Which is bigger: y or 2/89?
2/89
Let q(i) = -i**3 + 6*i**2 + 7*i - 2. Let o(l) = 6*l**2 + 1. Suppose b = -2*n - 0*b + 3, b - 5 = 0. Let k be o(n). Let c be q(k). Which is bigger: c or -1?
-1
Let d be (-19 - -3)*(-4)/(0 + 2). Which is bigger: d or 33?
33
Suppose -2*b = -2*h + 6, h + 2*b = -3*h + 6. Let z = h + -1. Let u = 0 + 1. Is u smaller than z?
False
Let z = -38 + 30. Which is smaller: 0.3 or z?
z
Let x = 5 - 4. Let v = 0.8 + -3.8. Let s = -2 - v. Is x less than or equal to s?
True
Let g = -619/84 - -22/3. Do g and 1 have the same value?
False
Suppose -t + 3*t = 0. Suppose 6*o = -5*j + 2*o + 10, 4*o - 6 = -3*j. Suppose j*d - 3 = -2*x - 1, -5*x + 5 = -3*d. Is t < d?
False
Suppose -27 = -4*r - 3. Let s = r - 5. Let p be (s/1)/(-1 + 2). Which is smaller: p or 2?
p
Suppose 0 = 5*w - 9 - 11. Which is smaller: w or 5?
w
Suppose -4*i - 4 + 0 = -g, 5 = -2*g - 5*i. Let t = 4 + 13. Let a = -16 + t. Is g less than a?
True
Let l = 3.032 - 0.032. Let r(t) = -t**2 + 4*t. Let a be r(4). Which is smaller: l or a?
a
Let f(i) = -i**2 - 3*i + 14. Let t be f(-6). Is -2 > t?
True
Let u = 0.1 - -8.9. Suppose -d + 7 = 8. Is d less than or equal to u?
True
Suppose 0 = 4*t + 8, -4*y - t = -4*t - 2. Let l(w) = -4*w + 3*w - 6 + 3*w - w. Let c be l(6). Which is greater: y or c?
c
Let c = 11 - 8. Suppose 5 = -c*n - 1. Is -1 >= n?
True
Let z be ((-3)/(-1))/(-3)*1. Let k = 11 - 20. Let l be 0 + -1 + k/(-10). Which is bigger: z or l?
l
Let m(g) = -g**2 + 2*g + 1. Let v be m(2). Which is smaller: 3 or v?
v
Suppose -v = -5, 2*t - 2*v + 24 = -0*t. Let q = -2 - t. Suppose -2*l = -4*n - l - 8, -q*n + 5*l - 25 = 0. Are -2/11 and n non-equal?
True
Let r = 0.104 + -0.074. Is r greater than 4?
False
Let b be 4/(176/60) + -3. Which is smaller: b or -1?
b
Let i = -37 - -31. Let u = 371.96 - 366. Let c = u + i. Which is bigger: c or -1?
c
Let o = 0.06 - 2.06. Let r = -3 - o. Let g = 2.2 - 2. Which is smaller: g or r?
r
Let k(y) = -y - 2. Let j be k(0). Which is smaller: -7/5 or j?
j
Let w = 9700/63 - 154. Is w > -1?
True
Let h be 4/10*4/(-4). Let m = 5 + -7. Let u be (-1)/1 - (m + 0). Is h > u?
False
Let l = -42 + 20. Let x = l + 20. Which is greater: x or -3?
x
Let t = 11 - 7. Let g(u) = -u + 4. Let z be g(t). Which is bigger: -2/7 or z?
z
Let t(p) = 3*p**2 - 2*p - 2 - 2*p**2 - 4 + 4. Let u = 3 + 0. Let s be t(u). Is 2 at least as big as s?
True
Let q(t) = t**3 - 4*t**2 + t - 5. Let m be q(4). Suppose -h - 5*a - 21 = 0, -5*h = -2*a - 0 - 3. Is h < m?
False
Let c be 22/4 - (-15)/(-10). Let j = c - 1. Which is greater: j or -1?
j
Suppose -4*i - 7 = -27. Let o = i - 4. Which is smaller: o or -3/14?
-3/14
Let p be (-6 - (-244)/40)*2. Which is smaller: -14/9 or p?
-14/9
Let m = 2/27 - -23/54. Is m not equal to -1/16?
True
Suppose -6 - 6 = -4*m. Which is smaller: 2 or m?
2
Let w be ((-1)/6)/(