 -98/5 + 20. Suppose -6*i = -i. Suppose 5 = -5*s - i. Are y and s nonequal?
True
Let y(a) = -a**3 - 3*a**2 + 2*a - 2. Let r be y(-4). Is r greater than or equal to 0.7?
True
Suppose -7*t = 6*t. Which is greater: -2/23 or t?
t
Let g = 1385 + -23533/17. Let w be 1 + (152/(-102))/(-4). Let c = w - g. Which is greater: -1/4 or c?
c
Let l = 10 - 11. Which is smaller: 3/19 or l?
l
Let t(h) = h**3 - 2*h**2. Let u be t(2). Suppose 5*c = -2*q - 12 - 4, u = 4*q - 5*c - 28. Let f be 1/4 + (-1)/(-4). Is q at most f?
False
Let c be (-12)/(-6) + (2 - -1). Suppose c - 2 = -b. Which is smaller: -4 or b?
-4
Suppose 0*n = n. Let y be -1 - 0 - -3 - -20. Let x be (y/10 + -2)*-3. Is n smaller than x?
False
Let z = -11.2 + 10. Let h = 1.1 + z. Are h and 0 non-equal?
True
Let y = -89 + 92.9. Let m = y + -4. Let v = -3 - -14/5. Which is bigger: v or m?
m
Suppose 4*a + 12 = -3*v, -3*a + 2*v = -0*a - 8. Let l(r) = -6 - 5*r + 4*r + a*r. Let x be l(-5). Is x at least -2/5?
False
Let v(r) = r**3 + 9*r**2 - 7*r - 16. Let h be v(-10). Which is smaller: -47 or h?
-47
Let f(t) = -t**3 - 5*t**2 - 5*t + 1. Let r be f(-4). Suppose r*j = -4*m - 25, 0*m - 10 = m + 2*j. Let n = -25/6 + 163/42. Is m <= n?
False
Suppose 16 = 4*o, -4 = -2*f - 2*o - 2. Is -11/5 bigger than f?
True
Suppose -4*a + 3*u = -3*a - 4, -u = -2*a + 8. Let x(l) = l**2 - 5*l. Let z be x(a). Which is bigger: -1/2 or z?
-1/2
Let n = 0 + 0. Is n smaller than -2/59?
False
Suppose -20 = -2*v - 3*v. Let m be (2/6)/(1/3). Let s = m - v. Is s less than -3?
False
Suppose 0 = 5*x - 4*n + 12, -2*n + 6*n + 8 = 0. Which is bigger: -13/5 or x?
-13/5
Let j = -0.12 - -0.12. Is j at most as big as 0.09?
True
Suppose 4*q + x + 6 = 0, 2*q - 5 + 3 = 2*x. Which is greater: q or -3/22?
-3/22
Suppose 0 = -2*k - 2*k. Which is bigger: 3/40 or k?
3/40
Let n = 3.2 - 3. Let d = -121/63 + 15/7. Is d greater than n?
True
Suppose -2*s = -3*o - 0*s + 27, 0 = 5*s. Let b be 2 + (-4)/((-12)/o). Let d be b/2*4/80. Which is bigger: d or 1?
1
Let q be 20/(-15)*6/(-4). Let n = -1 + 3. Let p = n - 2. Is p >= q?
False
Suppose 2 - 6 = -2*p. Suppose 2*o = 3*o + p. Which is smaller: o or -5?
-5
Let w be (18/(-22))/(9/(-6)). Let v = 4835601/143 + -33815. Let p = v - w. Which is smaller: 1 or p?
p
Let y be (-68)/287 + 3/(63/6). Suppose -p + 8*h - 3*h + 15 = 0, 3*p + 2*h = -6. Is y less than p?
False
Let u be ((-21)/(-4) - 2) + -3. Suppose 2*x = 3*x. Are u and x non-equal?
True
Let c be 0/(7/28 - 7/(-4)). Is c less than -2/9?
False
Let d = 21 - 20. Let g = 0.8 + -1. Which is bigger: g or d?
d
Suppose -5*c - 4*g = -6, 2*g = c + 15 - 5. Let v be c/6*-6*2. Let n be 2/(2/12*v). Is 0 < n?
True
Let j be ((-6)/(-8))/3*(-3)/(-12). Which is greater: -1 or j?
j
Let b = 18 + -16. Let z = b + -1.9. Do z and 0.04 have the same value?
False
Let q(d) = -7 + 8*d**2 + 4*d**2 - 2*d + 3 + 3. Let i be q(-1). Which is smaller: i or 12?
12
Suppose -5*t - 16 = -66. Let d be (-2 - (-2 + -1)) + 10. Is d not equal to t?
True
Let u be (2/(-3))/((-32)/(-12) + -2). Which is greater: -2/191 or u?
-2/191
Suppose -4*u + v = -1, 3*v + v - 14 = -2*u. Let d be 1/(22/74) + -3. Which is bigger: u or d?
u
Suppose 204 = 2*o + o. Suppose 0 = 2*d - 5*w + 117 - 14, -2*w = 2*d + o. Let z be (-84)/(-208) - (-6)/d. Is z greater than or equal to -1?
True
Let t(g) = -2*g + 17. Let v be t(8). Is v at most as big as -3/7?
False
Suppose 8 = p - 5*p, 2*c + p - 28 = 0. Which is smaller: c or 14?
14
Suppose 0 = u + 4*l + 8, 3*u = -l - 0*l - 2. Let q be (2 - (2 + u))/2. Suppose 0 = -3*m + o + 4, 4*o + 1 = -3. Is m bigger than q?
True
Let f(r) = r**2 + 2*r + 4. Let b(d) = -d**2 - 3*d - 4. Let p(y) = 4*b(y) + 3*f(y). Let i be p(-5). Let m be (i/(-9))/(1/2). Do 1 and m have the same value?
False
Let h be 12/(-18)*(-3 - 0). Which is greater: h or 6?
6
Suppose -5*y + 4*y = -9. Let b = y + -7. Which is bigger: b or 1/3?
b
Let c be 0 + -2 - 0 - -3. Suppose -2*u + 6*u + 8 = 0. Is c < u?
False
Let y(b) = -9*b - 1. Suppose 3*q = -5*j + 8, -2*q - 3*j + 3 + 2 = 0. Let o be y(q). Which is smaller: o or -9?
o
Let a be (1/(-3))/(3 + -4). Let b = -15 - -23. Let r = -6 + b. Which is greater: r or a?
r
Let d = 6 + -10. Is d at most as big as -3?
True
Suppose 5*v - 4*p = -2 - 0, -3*v = -2*p. Suppose -3*a + 3*u - 4 + 10 = 0, -3*a - 3*u - 6 = 0. Which is smaller: a or v?
a
Let y = 21.006 + -0.006. Let i = -24 + y. Is i greater than 3?
False
Let a be (-2)/8 + (-105)/(-900). Is 1 <= a?
False
Suppose -3*t = -0*t. Let w be (2/4 + t)*10. Suppose -5*k + 17 - 2 = -w*s, -6 = 2*s + 4*k. Which is greater: s or 1?
1
Let z be 36/(-2) - 0/(-1). Let n be z/10*(-2)/6. Let a(w) = -w. Let i be a(1). Is n at least i?
True
Let g(v) = v**3 + 9*v**2 + 8*v + 1. Let r be g(-8). Let c = r + 8. Suppose c = -5*h + 24. Which is bigger: h or 0?
h
Let z = -1 - -3. Let v = 2.05 - 0.05. Let j = v + -1. Does z = j?
False
Let k = 0 + -2. Is -2 not equal to k?
False
Let y be (9/3)/(-3)*-4. Let a = 2 - y. Let u be a + 2 + (-2)/5. Which is bigger: u or 1?
1
Let p = 17/2 + -9. Is 1 at least p?
True
Let t = 0 - -1. Suppose -o + 4*d - 23 = -t, 5*d = -5*o - 10. Let c be 3/o + 1/(-6). Which is smaller: 0 or c?
c
Let l = 2.36 - 0.46. Let w = 2 - l. Which is bigger: -0.1 or w?
w
Let k be ((-1)/8)/((-51)/(-12)). Let z = 19/68 + k. Which is smaller: 1 or z?
z
Suppose -6*v = -4*v - 2. Let m be (-3)/(-8)*(-4)/(-6). Is m greater than or equal to v?
False
Suppose 4*d + 103 = 4*j - 49, -110 = 3*d + j. Is -38 at least d?
False
Let m = -1.12 + 0.12. Let a = 4.1 + -2.8. Let f = -0.3 + a. Is m smaller than f?
True
Suppose -g = -6*g - 30. Let n be 9/g*12/9. Let f = 65/12 + -27/4. Is n at most as big as f?
True
Let r = 27 + -28.33. Let i = r - -1.3. Which is greater: -0.1 or i?
i
Let o(k) = k - 5. Let j be o(4). Let h = -117 + 13. Let b be (-11)/44 + (-42)/h. Is j equal to b?
False
Let f = -127 + 128. Which is greater: f or -1.5?
f
Let r be (-2)/(-4) + 1*215/(-440). Which is smaller: 0 or r?
0
Let z = -1.8 - -9.8. Let g = z + -7. Are -1 and g unequal?
True
Let n(f) = -f**3 - 4*f**2 - f - 5. Let w be n(-5). Suppose -5*j - w = 4*g, g + 2*j - 23 = 6*g. Is g smaller than -16/3?
False
Let j = 14 - 10. Let v(d) = d**3 - 5*d**2 + 4*d - 4. Let y be v(j). Let l = -13/2 - y. Is l at most as big as -3?
False
Let h(v) = -v + 11. Let l = -2 - -8. Let g be h(l). Let f(c) = -c**2 + 6*c - 6. Let r be f(g). Does r = 1/3?
False
Suppose -2*k = 4*u - 134, 2*u + 2*k + 21 = 3*u. Which is smaller: u or 0.2?
0.2
Let m be 1*5/10 - 7/(-2). Is 6 less than m?
False
Let u = 7438/5 + -61289/40. Let f = 129 - 84. Let t = u + f. Which is smaller: t or -1?
-1
Let d = 105/17 - 191/119. Is 4 >= d?
False
Let m = -4 - -2. Let p = 0 + m. Is p bigger than 1?
False
Let h = -168 - -171. Let q = 0 + 0.2. Let a = q - 0.1. Is h less than a?
False
Let b be 4*1/(-5)*5. Suppose u = -0*l - 5*l + 10, -l = -3*u - 18. Which is greater: u or b?
b
Let p be 22/(-18) - (-16)/72. Which is bigger: p or 0?
0
Suppose -7*d - 12 = -5*d. Let c be 2/d*(-11 + 11). Is 3/2 <= c?
False
Let m = -597/5 + 119. Let u(y) = 2*y**2 + 4*y + 2. Let f be u(-2). Let j be -1 + (2/f - 0). Which is bigger: j or m?
j
Suppose -h + 24 = -5*x, -4*h + x = -5 + 4. Let f = 280 + -2237/8. Do h and f have different values?
True
Let p be 3/9*(-3)/(-4). Let t be 3/3 - (2 - 0). Is t greater than or equal to p?
False
Suppose 3*n - 19 = -2*x, x = -2*n + 2*x + 1. Suppose 4*i = -4*m + 32, 15 = -m + 4*m. Are i and n unequal?
False
Suppose 2*g - 22 + 20 = 0. Which is bigger: g or 0.1?
g
Let a be (9 - 3)/((-13)/1). Is a at least 0?
False
Let o be (8/(-5) + 2)*5. Suppose -2*x = -2*b - 8, o*b + 2 + 9 = -x. Which is smaller: 1/17 or x?
x
Suppose 16 = -4*n - 16. Let z = -22/3 - n. Is z at least 0?
True
Let a = -24/121 - -2042/9075. Is -1 < a?
True
Suppose -8*f = 30 - 6. Let i be (2/4)/(3/6). Suppose -3*m - 7 = -i. Is m less than or equal to f?
False
Let u(k) = k**2 - k - 1. Let b be u(0). Let s = 5 + b. Let l = s - 3. Which is greater: l or -2/5?
l
Suppose 6*p - 2*p - 20 = 0. Suppose 4*t + p*k - 31 = 0, -3*t + 8 = -2*k + 2. Suppose -5*u + 15 = -0*u. Which is greater: u or t?
t
Suppose -3*c = -23 - 79. Suppose 4*d - 3*w = -2*w + 30, -5*d + 3*w + c = 0. Are 7 and d non-equal?
True
Suppose -4*c + 5 + 2 = -a, 2*c - 5*a = 17. Is c at most 3?
True
Suppose 0 = 2*i + 2. Which is greater: i or