-14 nonequal?
False
Suppose -w + 14 = -1. Suppose -2*q = -7*q - w. Suppose -4*v + 0*v = 8. Which is smaller: v or q?
q
Suppose 7*d - 3*d = 12. Suppose 90 = d*y - y. Let g = y - 136/3. Which is smaller: g or 0?
g
Suppose 4 = -b - 3*t, 2*b = b + 5*t + 4. Let g = -558 - -3898/7. Is g greater than or equal to b?
False
Suppose -3*r + 24 = -51. Let j be 35/r - 4/10. Let s be 3/(-12) - (-1)/4. Is s > j?
False
Let g(w) = w - 5. Let d be g(10). Is d < 1?
False
Suppose 22 = -4*l - 0*x + x, -3*l + 3*x - 21 = 0. Is -5 <= l?
True
Let j = -46 + 47. Which is greater: 4/3 or j?
4/3
Suppose -2*v - 5*v = 0. Which is smaller: 9/10 or v?
v
Suppose 2*t - 3*t + 2 = 0. Suppose -5*g + 6 = -9. Is t at least g?
False
Let u be 3/15 - 1/5. Which is greater: 3/5 or u?
3/5
Suppose 84 = 3*s + s. Let l be -4*(3 - s/8). Suppose -2*d - 1 = -n, -2*d = n + 3*n + 6. Is n at most l?
False
Let k be (-42)/(-4)*(-16)/12. Let x = k - -20. Is 7 less than x?
False
Let f = -8 + 8. Let n be -1*2/9 + f. Is 2 < n?
False
Suppose 0 = 3*o + 2*o + 50. Is -9 != o?
True
Let r be (57/988)/((-2)/4). Which is greater: -1 or r?
r
Let b = 188.95 + -198. Let o = b - -0.05. Is -1 smaller than o?
False
Let v = 40 + -39. Let r(u) = u**3 + u**2 - u - 1. Let a be r(0). Which is smaller: a or v?
a
Suppose 2*k - 10 = -0*k. Let q(m) = -m**2 - 12*m + 15. Let y = -33 - -20. Let d be q(y). Which is greater: d or k?
k
Suppose 5*u - 4*v = -21, -2*v - 20 = 3*u + 3*v. Which is smaller: -26/5 or u?
-26/5
Let b be 3/(-2)*((-6)/59)/3. Is 0 less than or equal to b?
True
Suppose 70 = 5*g + 5*u, -4*u + 34 = 3*g - 6. Which is bigger: g or 91/6?
g
Suppose 2*s + 2 = 6. Suppose -l - 5 = -c - s, -1 = c + 3*l. Which is bigger: c or 5/7?
c
Let z = 1362607/938 + -10172/7. Let u = 2/67 - z. Is u at least as big as 2?
False
Let w = -2.4 - -5.4. Let m = 2 - w. Which is bigger: 4 or m?
4
Let b(w) = w**2 + 2*w - 1. Let c be b(-3). Suppose -2*m - 5 = 3*y + c*m, 3*y + 2*m + 1 = 0. Let h be (1 - 0) + y + -2. Is h at most as big as 1?
True
Let p(d) = -d + 6. Let j be p(2). Suppose 6 = -2*b, m - j*m + 3 = 5*b. Is m >= 6?
True
Let r = -1.12 - 0.28. Which is bigger: r or -5?
r
Let i = 5.2 - 0.2. Let u = -15 + 16. Let l = u - i. Does 1/2 = l?
False
Suppose -20 = 2*s - 18. Which is bigger: s or -5/12?
-5/12
Let r be 92/24 + 4/24. Which is bigger: 1 or r?
r
Suppose 14 + 34 = -4*z. Is z > -3?
False
Let a be (20/(-350))/(1/5). Is -3 bigger than a?
False
Let a(o) = o**3 - 5*o**2 - 7*o + 9. Let v be a(6). Suppose -5*w = 5*l - 2*w + 5, v*l = w - 3. Is l equal to -3?
False
Let y = -12 - -3. Is y smaller than -8?
True
Suppose -g + 0*g + 6 = 0. Let p be (g/15)/((-14)/(-10)). Suppose -2*s = -3 + 1. Which is bigger: s or p?
s
Let r(n) = 2*n + 24. Let v be r(-18). Is -11 != v?
True
Let l(p) = -5*p**3 - 2*p**2 - 2. Let j be l(2). Let a = j - -30. Is a > -19?
False
Let i(u) = u**3 + 2*u**2 - 1. Let y be i(1). Suppose -3*z - 6 + 0 = -2*m, -y*z = -2*m + 6. Which is smaller: z or 1/9?
z
Let j be 2*1*(-3)/(-1). Let f = j - 3. Suppose -5 = -9*k + 4*k. Which is greater: f or k?
f
Let h(q) = 11*q - 1 + q**2 + 0 + 7 - 4*q. Let u be h(-5). Does u = -3?
False
Let y(c) = 32*c - 2. Let t(w) = 31*w - 2. Let v(j) = -5*t(j) + 4*y(j). Let l be v(-2). Let u be (-2)/(-7)*l/(-12). Does -1 = u?
False
Suppose -5*n - 13*n = -828. Is n at least 46?
True
Suppose 2*s + 5*v = 5, 0 = -0*s - s + 3*v - 3. Is s bigger than -3/38?
True
Let g = 7 - 5. Let y(j) = -j**3 + 5*j**2 - 3*j - 2. Suppose -4 - 4 = -2*w. Let f be y(w). Is g less than or equal to f?
True
Let w(s) = 6*s - 11. Let f(q) = 7*q - 12. Let i(h) = -5*f(h) + 6*w(h). Let t be i(6). Suppose t = -5*j - 18 - 2. Is j greater than or equal to -2?
False
Let a be -5*(-2)/4*2. Let z = a - 4. Let b = -2 - -2. Which is smaller: b or z?
b
Let g be (-1)/(-2) + (-2)/4. Let i = -23 + 28. Which is bigger: g or i?
i
Suppose 0 = 2*k - 9 + 1. Are 1 and k nonequal?
True
Let r = 247/5 - 49. Is r equal to 0?
False
Suppose 3*c - 15 = 3*w, 5*c - c + 4 = -4*w. Is c at most as big as 3/5?
False
Let g be (-1 - -2) + 0 - -2. Suppose -4*p - 8 = k, -31 = -4*k + 2*p + g*p. Let v be (-1)/k + 1/(-28). Which is greater: 1 or v?
1
Let n = 10 - 0. Suppose -9*h = 2*h - 110. Is h smaller than n?
False
Suppose 0 = 5*j + 4*j. Suppose u = -u + 56. Suppose -u = 5*i - 8. Does j = i?
False
Let x be (3/(-10))/(9/(-24)). Let q(r) = -r**3 - 11*r**2 - 9*r + 12. Let y be q(-10). Is y != x?
True
Let i be 0 + 5 - (1 - 1). Suppose 3*r - 5*w = -r - 16, w + 1 = i*r. Suppose 4*t - 12 = a, -t = a - 2*t + 3. Is r greater than a?
True
Let i = -23/8 - 1077/40. Let y = i - -30. Are y and -1 equal?
False
Let o = -3.06 - -0.06. Let d = o - -4. Let s be 3/(-6)*-2*1. Are s and d nonequal?
False
Suppose 4*g = -0*g - 4*l + 24, l + 34 = 4*g. Let a be 12/g*4/18. Is -1 at most as big as a?
True
Let q be (-2 + 0)*3/(-6). Let o be ((-2)/(-8) - 0)*-159. Let k = o + 40. Which is greater: k or q?
q
Let f = -1.8 - 0.2. Let h = -2.3 - f. Which is greater: -1/2 or h?
h
Let a(l) = -l + 1. Let u be a(-3). Suppose -3*w - y = u*y + 34, -2*w = -2*y - 4. Let d be (-15)/3 + 4 - (0 - -1). Is w not equal to d?
True
Let a be (-10)/52*-6 - 1. Let j be 4/(-3) + (5/(-3) - -1). Which is greater: a or j?
a
Suppose -4*y + 0*y + 12 = 0. Let q = y + -2. Which is smaller: -2/11 or q?
-2/11
Let s be (12/15)/((-2)/(-5)). Let q be (-4)/(-12) - (1 - s). Suppose 4*p = p + 6. Is q smaller than p?
True
Let s(r) = 2 + 5*r**2 + r**3 + 0*r - 5*r + 3*r - 7. Let j be s(-5). Suppose 0 = -j*i + y + 16, 2*i = 3*y + y + 10. Is i less than or equal to 2?
False
Let b be (-6)/(-1)*11/(-11). Let f be (6/4)/((-9)/b). Are f and 4/7 nonequal?
True
Let x = 17 + -16.1. Let s = x - 0.9. Are s and 0.06 non-equal?
True
Let n be (0 + 8)/4 + 11. Let p = 32 - 18. Is p at least n?
True
Let p = 86 - 139. Which is greater: -54 or p?
p
Let j(u) = u**3 + u + 1. Let c be j(-1). Let z be 0*2/5*45/36. Are z and c nonequal?
True
Let g be (2 + -1)*-1*10. Let v be 3/(-4)*g/(-6). Is -1 greater than or equal to v?
True
Suppose 7*x = 2*x + 10. Let v be 15/(-25)*(-25)/2. Let b = v + -7. Which is bigger: b or x?
x
Let m = -7.2 - 1.8. Let d = 10 + m. Is d equal to 3?
False
Let n(l) = -l + 9. Let i be n(7). Let y = 31 + -31. Which is smaller: i or y?
y
Let m(p) = -p - p**3 - 3*p + 2*p - 2 + 0*p**2 - 3*p**2. Let u be m(-2). Which is bigger: -5/9 or u?
-5/9
Suppose 3*g = -2*g. Suppose -5*k + 10 = g, 4*w - 5*k + 8 - 2 = 0. Suppose w - 2 = -m. Is 0 > m?
False
Let u = 1.9 - 2. Which is greater: 14 or u?
14
Let j = 1 - -1. Let q be (-2)/2*j/2. Let n = 0 - q. Is n equal to 1/7?
False
Let b = 0.012 - 1.012. Are b and 25 equal?
False
Let h(i) = i**2 + 2*i + 1. Let t be h(-1). Let n be -9 + 6/(-9) + t. Let x = 10 + n. Which is smaller: -1/6 or x?
-1/6
Let w be (0 - (-8)/(-6)) + 2. Let s be 1/3 - 3/9. Let x be -1*(s - 1 - 0). Which is smaller: x or w?
w
Let j be -1 + 5 + -4 - 4/14. Which is smaller: 8 or j?
j
Suppose 2*s - 4*w = -w - 8, s = -4*w + 7. Suppose -16*k + 24*k - 24 = 0. Which is greater: s or k?
k
Let u = -20 + 11. Let p = u + 9.2. Is 0.4 >= p?
True
Let p(y) = -y**2 - 4*y + 3. Let q be p(-4). Suppose -k - 10 = -q*k. Let z = -6 + k. Which is greater: 0 or z?
0
Let v = 148.5 + -270.6. Let j = v - -128. Let m = j + -6. Is -0.6 greater than or equal to m?
False
Let t = -0.8 + -0.2. Let u = -4.08 + 4. Let x = u - -0.48. Which is greater: t or x?
x
Suppose 5*a + 2*o - 1 = -4, 4 = -o. Let q = 1 - -1. Which is smaller: a or q?
a
Let x = 1842 + -46056/25. Does 0 = x?
False
Let v be 6/3 + 2/(-3). Let m = 1 - v. Let h = 33 - 34. Which is smaller: m or h?
h
Suppose 0 + 2 = -2*a. Which is bigger: -3/13 or a?
-3/13
Let b = -1.6 - -1.7. Do -10 and b have the same value?
False
Let a(j) = -j**3 + 22*j**2 + j - 23. Let w be a(22). Let y be 0/(-2) - (1 + -1). Which is bigger: y or w?
y
Let t = 410 - 4504/11. Which is smaller: t or 2?
t
Let y = 208/105 - 34/15. Suppose -z + 3*a = -12, -10 = -3*z - 4*a - 0*a. Let r be (-1)/(-2) - z/4. Is y equal to r?
False
Let d = 434504 + -168153206/387. Let v = d + 8/43. Which is greater: v or 0?
0
Let a(o) = -2*o**2 + 4*o - 2. Let c be a(2). Let b = -227 + 226. Is c > b?
False
Let r = 2 - 1. Which is smaller: -1/10 or r?
-1/10
Let s be 3/(-1) + (7 - 7). Which is greater: -7 or s?
s
Suppose 17*b - 12*b - 35 = 0. Which is greater: b or 9?
9
Suppose 