True
Let p = -0.9 - 0.1. Let t = 16.8 + -22. Let a = 0.8 - t. Are p and a nonequal?
True
Suppose -5*s = -v - 6, 3*v + v = -3*s - 1. Is -9 >= v?
False
Let d(f) = f**3 + 4*f**2 + 3*f. Let a be d(-2). Suppose l + 6 = 5*p, 2 = -3*l + p - 2*p. Let b = 1 - l. Is a > b?
False
Suppose 4*d + 4*w = -36, 2*d + 3*d + 36 = -2*w. Let r be (d/12)/((-3)/6). Which is greater: r or -2?
r
Let i(h) = 6*h + 10. Let r be i(7). Let q be 14/120 + (-13)/r. Which is smaller: q or 1?
q
Suppose 4*t = -3*z + 1 - 18, 4*z - 24 = 4*t. Do 2/47 and z have the same value?
False
Let o = -1632040030 + 22171263787351/13585. Let m = o + 82/55. Let g = -745/988 + m. Are -2/3 and g equal?
False
Let w = 6/43 + -153/172. Are w and -2 unequal?
True
Suppose -5*p + 4*b = -4, -p - 1 = p + b. Suppose 2*v + 0 - 4 = p. Suppose o = -g + 2*g - v, 0 = -2*g + 4. Which is bigger: -3/4 or o?
o
Let b = -83 + 84. Which is smaller: -200 or b?
-200
Let p(n) = n**2 - 10*n + 7. Suppose -2*y + 11 = -7. Let a be p(y). Let h be (3/2 - 1)*a. Is -1/2 less than or equal to h?
False
Let n = -868/5 - -173. Which is smaller: n or -2?
-2
Let u = 283/2 + -1383/10. Which is smaller: u or 3?
3
Let w = 3 + 0. Let f be -2 - 0 - (-3)/1. Let m be f/(-4)*-14 + -2. Which is smaller: m or w?
m
Suppose 0*j + 1 = j. Let b be 3/4*(-14)/21*4. Let y be 0/(b - j) - -4. Which is smaller: y or 0?
0
Suppose -3*g = -17 + 5. Suppose -i = 2*t - 6, i = 6*i + g*t - 30. Do 7 and i have the same value?
False
Let g = 5 - 5.1. Let q = g + 4.1. Let m = q - 5. Is m <= -2?
False
Suppose -5*u = -5*z - 30, 2*z = 2*u - 3*z - 18. Suppose u*y = 3*m + 25, 4*m = -m - 15. Suppose -8 - 4 = y*v. Which is smaller: v or -2?
v
Let v be ((-2)/(-28))/((-6)/7). Which is bigger: 1 or v?
1
Let x be 10/14 + (-4)/(-14). Which is smaller: x or 3/19?
3/19
Suppose 4*w - n - 25 = 0, -4*n - 6 + 1 = 3*w. Suppose 0 = 2*y - 3*v + 10, w*y - 1 = 2*v - 4. Suppose 2*b + y = 3*x - 2, -3*x = -b. Which is bigger: -2 or x?
x
Let o = -3439/5 + 711. Does 24 = o?
False
Let m = 3 + -21. Is m < -17?
True
Let p be (0 + 4)/((-390)/(-75)). Is 1 smaller than p?
False
Let x be 2/2 - 8/1. Let y = 9 + x. Is 0 > y?
False
Let o(l) = l**2 + l + 1. Let d be o(-1). Let j be 7/(-2) - 1/1*-4. Which is smaller: d or j?
j
Suppose 4*m = -4*x - 8, -2*m - 11 = 3*x - 2. Suppose 6*s + 56 = -8*s. Are x and s non-equal?
True
Let r = -20.6 - -21. Which is greater: r or 1?
1
Let b be ((-4)/6)/(12/18). Let m(h) = h. Let a(l) = 5*l. Let k(j) = a(j) - 6*m(j). Let p be k(b). Which is bigger: p or 0?
p
Let c(m) = -m**2 - 5*m + 6. Let u be c(-6). Let i(j) = -2*j. Let n be i(-2). Suppose -2*a - n*d = -u*a - 6, 2*a + 10 = 4*d. Is -2/7 less than or equal to a?
False
Let l = -0.09 + -0.03. Let n = -0.02 - l. Let w = 13/14 + -3/7. Which is bigger: w or n?
w
Suppose -5*h - 1 = -4*h. Suppose 3*l = 6*l - 9. Suppose o + 4 = -4*w, -l*w = -2*w - o + 1. Are h and w equal?
True
Suppose -5*w = 2*z + 12, -5*z + 2*w - 65 = -3*w. Is -11 >= z?
True
Let q be -2 - (19/(-7) + 1). Let x be (-1)/(-2)*2/3. Which is bigger: x or q?
x
Let k = -3 - -3.4. Let a = k + -0.5. Suppose 8*x - 8 = 4*x. Is a at least x?
False
Suppose 0 = -2*h - 10, -3*d + 2*h + 6 + 4 = 0. Let u = -1657/7 + 236. Which is smaller: d or u?
u
Let v be ((-105)/(-20) - 5)/((-11)/2). Which is smaller: 1 or v?
v
Let x be (-25)/(-315) + (-2)/9. Let s = 2 - 2. Is s bigger than x?
True
Let d = 14.5 + -12.5. Let m = 1 - 2. Let x = 0.8 + m. Is d at least as big as x?
True
Let g = -29 - -15. Let q = g - -5. Which is smaller: q or -0.1?
q
Let j = 2/265 + 432/12985. Which is greater: -1 or j?
j
Let n = -7 + 23. Let u = 16.3 - n. Let q be (-2)/(-3)*(-6)/(-4). Do u and q have the same value?
False
Let p be ((-30)/(-33))/(-5) - 27/33. Are -59 and p equal?
False
Let p = -2 - -3. Let u = p + -1. Let k be 0*(11/(-9) + (-12)/(-54)). Are k and u nonequal?
False
Let w = -120 - -213. Which is smaller: w or 92?
92
Let q(k) = k**2 + 8*k + 5. Let o be q(-7). Let h(r) = r**2 + 4*r + 3. Let u be h(o). Let i be (-7)/(63/6) + 0. Are i and u equal?
False
Let c(y) = -2*y**3 + y**2. Let x be c(1). Suppose -5 = -4*q - 13. Do q and x have different values?
True
Let c = 6 + -6. Is -14 >= c?
False
Suppose 3*m - 4 - 2 = 0. Suppose -2 = 3*p + p - 5*c, p + m*c + 7 = 0. Let y be (p/24)/((-2)/4). Is 0 at least as big as y?
False
Let s = -0.2 + 0.2. Let i = -0.9 + -0.1. Let t = 1.1 + i. Which is greater: s or t?
t
Let v be -1 + (-16 - 1 - 3). Let s be 34/v + (-4)/(-14). Which is greater: -2 or s?
s
Let u be (-2)/12 + (-2)/4 + 2. Which is smaller: 0 or u?
0
Suppose -m = -t + 12, -m = -2*m + 3. Let q = 10 - t. Is q less than or equal to 1?
True
Let d(n) = -2 + 1 - n - 7. Let t be d(-6). Let z = t + 3. Are 0.1 and z equal?
False
Let u = 44 - 45. Is -5 not equal to u?
True
Let w(f) = f**3 + 11*f**2 + 2*f - 9. Let h be w(-11). Which is smaller: h or -30?
h
Let q = -11.9 - -10.9. Which is bigger: q or 0.7?
0.7
Suppose i = -i - 6, 0 = 4*f - 4*i - 40. Let r = 21 - 35. Let p = r + 20. Is f greater than or equal to p?
True
Suppose -4*v + 4*d + 58 = v, 0 = 4*v + 2*d - 36. Suppose -n + 3*g - 1 = 0, -5*g - v + 5 = -5*n. Is n > 0?
True
Let o = 6 - 1. Suppose 3*s + o + 0 = a, 3*a + 13 = -5*s. Is s at least -2?
True
Let q = 6 + -6. Let p be q + 3/(-3) - -2. Is p smaller than -2/9?
False
Suppose 0 = -4*s + 9 + 3, -4*l - 4*s + 8 = 0. Which is smaller: 2/17 or l?
l
Let m = 4/285 + -298/7695. Let t = -3 + 2. Is m equal to t?
False
Let t = -5 + 9. Suppose 0 = -3*p - t*l - 3 - 8, l = 2*p. Is p less than or equal to -3/7?
True
Let d = -7 + 9. Suppose -d*m - 7 = -4*x + 9, 0 = -2*x + 6. Let v be 24/42*m/(-4). Is 0 > v?
False
Let k = 21 - 87/4. Is 1/11 at most k?
False
Let q = -1 + 0.9. Let o = 7 + -6.2. Let u = -2.2 - o. Which is smaller: q or u?
u
Let n = -85 - -85. Is -10/13 at most n?
True
Let n = -2 - -1.9. Suppose 8*w = 10*w - 4. Which is greater: w or n?
w
Let u(w) = -w**3 + w + 2*w**2 - 2*w**2. Let d be u(0). Suppose -13 - 7 = 5*i + 5*h, 2*i + h + 3 = d. Is i smaller than 1?
False
Let v = -65087/72 - -904. Which is greater: v or 0?
v
Let j(l) = 2*l + 5. Let d be j(-2). Which is greater: d or 7/8?
d
Let d = -87/35 - -16/7. Suppose 2 + 0 = -p. Which is smaller: p or d?
p
Suppose 4*t = t + 12. Suppose 2*v - 14 = t*v. Are v and -8 unequal?
True
Let q = -62 - -42. Is q != -22?
True
Let h be 1 + -1 + (-6)/(-2). Let k = -16 - -18. Which is greater: k or h?
h
Let q be (-1)/(-1)*(4 - 5). Suppose -5*s - 398 = h - 5*h, 3*s = -h - 232. Let m = -236/3 - s. Is m smaller than q?
False
Let b = 10 + -9.3. Let l = -0.52 + -0.08. Let y = l + b. Which is smaller: y or -0.1?
-0.1
Let g be (-9)/21*(-68)/6. Let r = 191/35 - g. Is 1 > r?
True
Let o = -43 + 49.2. Let t = o + -6. Is 2 < t?
False
Let o = 1547/93 + -50/3. Is 0 > o?
True
Let r = -0.02 - -1.52. Let b = 1 - r. Let c = -2.5 - b. Which is smaller: 1/2 or c?
c
Let j(r) be the third derivative of -r**5/20 + r**4/24 + r**3/6 - 3*r**2. Let m be j(-1). Suppose -w = 3 - 0. Do w and m have different values?
False
Let k(i) = 2*i**2 - 3*i + 2. Let g be (-3)/6*2 + 3. Let z be k(g). Suppose 6*q + 9 = -4*u + q, -z*u + 2*q = 2. Is u less than 2/5?
True
Let a(g) = -g**2 - 5*g - 4. Let k be a(-4). Suppose k = -5*h + 6*h. Is h less than -1/5?
False
Let b = -22 - -26. Which is bigger: b or -3?
b
Let o(a) = a**3 + 4*a**2 + 2. Let g be o(-4). Suppose 0 = -4*p + 6 - g. Let u(w) = w**2 + 20*w + 49. Let x be u(-17). Is x >= p?
False
Let q(o) = -o**3 - 5*o**2 + 6*o + 2. Let f be q(-6). Suppose 5*c - 3 = f*c. Is c < 2/11?
False
Suppose 5*m = 3*k - 8 - 0, -3*m = -15. Let r be (k + 0)/(720/6). Let f = 3/40 + r. Is 1 bigger than f?
True
Let h be 3 - 6*1/2. Let y(r) = r + 6. Let i(d) = -4*d**3. Let o be i(1). Let k be y(o). Is k less than or equal to h?
False
Let x = -9/11 + -43/55. Is x >= -2?
True
Let o = 110 - 889/8. Which is smaller: o or -2?
-2
Let r = 5.4 - 7. Is 0 equal to r?
False
Let s be 51/(-105) - (-3)/15. Let b be (-30)/(-7) + (-2)/7. Suppose 0 = 3*f - b*h - 16, -2*h - 8 = 0. Which is smaller: f or s?
s
Let o(l) = l - 3. Let j be o(1). Let b = j - -9. Which is greater: 8 or b?
8
Let m = -11 - -8. Let x = m + 4. Which is smaller: 0.3 or x?
0.3
Let c = 67 + -59. Is 7 less than c?
True
Suppose -5*f - 10 = 15, 4*f = 4*b - 20. Suppose 0 = -3*z - 3*l - 78, 0 = 5*z - 5*l - b*l + 130. Let a be 10/(-25) + z/(-40).