l = -4 + 1. Is x equal to l?
False
Let u = 125 - 126. Which is bigger: u or 0?
0
Let g be 10/(-5)*1/(-4). Do 0 and g have the same value?
False
Let n = 0.11 + -0.1. Let d = -0.19 - n. Which is bigger: -1/4 or d?
d
Let v be ((-18)/(-108))/((-1)/(-9)). Which is bigger: v or 3?
3
Suppose -2*i + i = 0. Do 3/16 and i have the same value?
False
Suppose 0 + 7 = 3*n + g, -20 = -4*n - 4*g. Which is bigger: n or -1/94?
n
Suppose 0 = 3*h + 3. Which is bigger: 0 or h?
0
Suppose 4*q + 37 = 1. Are q and -8 equal?
False
Let k(j) = j**2 + j - 10. Let c be k(8). Let b be (c/18 - 3)/(-2). Which is smaller: b or 1?
b
Suppose 2*b = -5*z + 16, z - 9 = -b - 4. Is 7/4 < z?
True
Let z be 2/3 + 44/6. Suppose 0 = p + p + z. Let g be ((-12)/8)/(1 + 10/(-16)). Is p at most g?
True
Let j = 17 + -39. Is j smaller than -23?
False
Suppose 0 = -17*v + 23 - 6. Is 3/14 less than v?
True
Suppose 3*o = -2*o + 15. Suppose -o - 1 = 4*s. Are 2 and s nonequal?
True
Suppose -4*q + 4 = -4. Let y be 2*(-1 + q) - 9. Let d be y + 6 + 3/4. Which is bigger: d or -0.3?
d
Let v = 25 + -17. Suppose 3*q - 88 = v. Let i be (-104)/q - 6/(-2). Which is smaller: 2/3 or i?
i
Let j be 1 - 129/(-66) - 3. Is -1 at most j?
True
Let p(o) = 4*o + 1. Let r be p(-1). Is 1 smaller than r?
False
Let u be (-13)/(255/50 - 5). Are -129 and u nonequal?
True
Let q = -23 - -14. Let p = 13 + q. Let v = p + -1. Which is smaller: v or -1?
-1
Suppose -263 + 56 = -9*c. Is 23 at most as big as c?
True
Let y be (-20)/8 + 9/6. Is -2/33 less than or equal to y?
False
Let r be ((-6)/4)/(840/(-32)). Suppose -4*x = 0, -x = 4*b - b. Are b and r equal?
False
Let w = 14 - 29/2. Is w <= 0?
True
Let s(a) = a + 19. Let p be s(15). Do p and 34 have different values?
False
Let t(h) = -h**3 + 3*h**2 - h. Let q(g) = g - 8. Let b be q(10). Let m be t(b). Let v be 2/(-8) + 22/24. Which is smaller: v or m?
v
Let m = 267 + -160. Is 107 at most m?
True
Suppose -15 = t + 15. Let o be 2*(-1 + (-27)/t). Suppose -7*p + 3*p = -3*j - 3, 2*p - 1 = j. Is j less than or equal to o?
True
Let l = 4 - -10. Let z be 5/(-2 - l/(-6)). Suppose -h = -5*k - 4*h - 15, 0 = -3*k + 3*h + z. Which is smaller: k or -3/5?
-3/5
Let q = 9 + -45. Are q and -37 equal?
False
Suppose u + 0 = -4*c + 15, 2*u - 5*c = 17. Let t be -1 - -1 - (u + -2). Is t less than -9?
False
Let p = 7 - 5. Is -18 > p?
False
Suppose -4 = f - 3. Let s be ((-3)/(-2))/(12/(-16)). Is s < f?
True
Let u be 1*(4 + 0 + 0). Let j(f) = f - 34. Let c be j(13). Let n be (-72)/c - 12/28. Are n and u nonequal?
True
Let k be 5655/66 + 4/(-22). Let i = k + -84. Which is smaller: i or 1?
1
Let o = -3 - -4. Let l be -2 + 5 - (2 - 1). Is l at most o?
False
Let z = 5 - 0. Let w be (-13)/z - (-6)/10. Which is smaller: w or 0.2?
w
Let y be ((-4)/5)/(3/(-30)). Suppose 0*v - 2*v + 8 = 0, -52 = -4*b - 4*v. Which is smaller: y or b?
y
Suppose 4*p = -p - 500. Let k be -1 + -2 + (-295)/p. Which is smaller: k or -1?
-1
Let x be (-1)/2 + (-3)/(-10). Let l(u) be the third derivative of u**6/120 + u**5/30 + u**4/24 + u**3/3 + u**2. Let h be l(-2). Are x and h non-equal?
True
Let w = -139/2 - -1243/18. Does w = 1?
False
Let l(g) = g**2 + 3*g - 7. Let b be l(-5). Does 5 = b?
False
Let r be ((-22)/6)/(1/(-33)). Let z = r + -849/7. Is z less than 0?
True
Let h(q) = -q**3 - 5*q**2 + 5*q + 2. Let w be h(-6). Which is smaller: -0.1 or w?
-0.1
Let g = -27/8 + 281/88. Suppose 5*i = p - 1, 3*p = -5*i + 3*i + 3. Is g at most p?
True
Let t(z) = -3*z - 1 - 3 - 1. Let h be t(7). Let f = h - -79/3. Is 1 >= f?
True
Let h be (-30)/(-42)*(-4)/(-10). Is h less than or equal to 3.7?
True
Let o = -85 - -96. Which is greater: 6 or o?
o
Let b = 14 + -64. Which is greater: b or -49?
-49
Let x(l) be the third derivative of -l**4/12 - 5*l**3/3 - 4*l**2. Let f be x(-5). Suppose -5 + 4 = -d. Which is smaller: f or d?
f
Let u = 9 - 10. Let o = 50620 + -453548/9. Let l = -226 + o. Is u less than l?
True
Let f = -18 + 11. Let d = 7 + f. Let o = 0.2 - -1.8. Is o less than or equal to d?
False
Suppose 2*g = -3*m + 4, -3*g = -5*m - 5*g + 4. Suppose 5*s + l = -0*l + 8, m = 5*s - 4*l + 7. Which is smaller: s or 4/7?
4/7
Let f(o) = o**2 + 10*o + 12. Let g be f(-9). Let v be (g*-1)/(-3) - -2. Is v < 3?
False
Suppose 4*t + u + 3*u + 16 = 0, 0 = -2*t - 3*u - 7. Let q be (10/25)/(1/t). Let f be (q/26)/(2/(-4)). Which is greater: 1 or f?
1
Let l be ((-6)/(-7))/(-5 - 982/(-196)). Which is smaller: l or 0.1?
0.1
Suppose s = -z + 4, 6 - 14 = 4*z - 2*s. Suppose 0 = -z*n + 2*n - 2. Let c(g) = -g**2 + 5*g - 1. Let w be c(5). Which is greater: n or w?
n
Let g = -1 + -6. Is g greater than -5?
False
Let u = 10 + -5. Suppose 0 = 4*r - 3*t + 9 - 1, -u*r = -4*t + 11. Let g be 3/((-18)/(-4))*6. Which is smaller: r or g?
r
Let p be ((-9)/((-81)/(-42)))/(2/(-9)). Which is bigger: 22 or p?
22
Suppose 2*v = 5*v - 24. Let j be -30*(v/(-5) + 2). Is j > -12?
False
Let k = -60 - -959/16. Which is greater: k or 0?
0
Let y = -25/66 + 6/11. Which is greater: y or 0?
y
Let r = 9 + -9.1. Let n = 9.02 - 9. Let b = -0.02 + n. Which is greater: b or r?
b
Let c(i) = 2*i**2 + 3*i + 7. Let p be c(-5). Which is greater: 125/3 or p?
p
Suppose -r + 7 = -5. Let n = r + -11. Is n greater than or equal to 2/21?
True
Suppose 0*d + 1 = -d. Let w be d + 0/(3 + 1). Which is greater: 2/23 or w?
2/23
Let c = 0.34 - -4.66. Let o be (0 - 2) + 8/6. Are o and c nonequal?
True
Suppose 0 = b + 4*b - 85. Are 18 and b non-equal?
True
Let f be (2 - 10/4)/(-1). Which is greater: -3/5 or f?
f
Suppose 4*j + f = 2*f - 29, 5*f = -2*j + 13. Let r be ((-6)/(-3))/(j/(-3)). Let q be r - (2 - 4/5). Is 1 != q?
True
Let p(k) = -k - 2. Suppose 0*j + 4 = -j. Let i be p(j). Suppose 0*a - a - i = 0. Is -1 less than or equal to a?
False
Let v be (-18)/15*(11 - 1). Let b be v/117*3/2. Let u(w) = w - 7. Let z be u(6). Are b and z unequal?
True
Let y = 0.85 - -0.15. Is 0.2 <= y?
True
Suppose -u + 2*y + 4 = 0, -u = 2*u - 2*y - 4. Is -1 at least u?
False
Let k = -96 + 127. Is k at least as big as 31?
True
Let z = -0.02 - -3.02. Let j = -7 + 10. Let n = z - j. Which is smaller: -1 or n?
-1
Let g(v) = -v**3 + 6*v**2 + 8*v - 2. Let h be g(7). Suppose h*i + 20 = 50. Which is bigger: 7 or i?
7
Let b = 1617/13 + -124. Does b = 1?
False
Let a be 1/3 + 265/15. Let o be -2*(a/4 + -3). Which is bigger: o or -10/3?
o
Let x be (-3745)/(-56) + (-1)/(-8). Is 2 not equal to x?
True
Let x = -0.04 - -0.04. Let g = -0.5 + 0.7. Let w = x + g. Is -0.3 less than w?
True
Let l = 6 - 6. Do l and 0.11 have the same value?
False
Let k be (-6)/(-21) + 54/(-238). Let y(x) = -x**2 - 5*x + 6. Let f be y(-6). Is k equal to f?
False
Let j = -0.0753 + -10.9447. Let q = j - -11. Which is smaller: q or 1?
q
Let p = -242.91 + 244. Let u = 0.09 - p. Which is smaller: -0.1 or u?
u
Let j be (4/(-10))/((-6)/(-789)). Suppose 0 = 6*m - m + 265. Let o = m - j. Are o and -5/3 equal?
False
Let n be (-8)/(-63) + (-100)/(-36) + -3. Do n and 0.1 have the same value?
False
Suppose -5*p = -3*w - 6, -p = -2*w - 4*p + 15. Let v(s) = 2 + s - w - 5. Let d be v(4). Which is smaller: d or -1/2?
d
Let s(w) = -w**3 - 10*w**2 - w - 12. Let h be s(-10). Let c = -5 + 3. Is h bigger than c?
False
Let o = 0.09 + -1.49. Let p = 0.4 + o. Is 4/9 smaller than p?
False
Let d = -10 - -7. Which is greater: 2/5 or d?
2/5
Let l(t) = t**2 + t - 3. Let f be l(-3). Suppose 0 = 5*c - 5 - 10. Let w = c - f. Are -1/2 and w non-equal?
True
Let x be 4/10 + 14/(-10). Let w be (2/(-6))/(318/424). Which is greater: w or x?
w
Let s = -33 + 34.3. Let p = -1 + s. Let r = 40 + -40.1. Is r > p?
False
Let c = -1.3 + 0.8. Which is bigger: 0 or c?
0
Let m(b) = -b + 4. Let u be m(4). Let l(j) = -j**2 - j + 2. Let x be l(u). Is 3 bigger than x?
True
Let o = -2280/17 + 134. Suppose 3*a - 10*a - 7 = 0. Which is bigger: o or a?
o
Let v = 7 + -6. Let l = 189/253 + -13/23. Is v at least l?
True
Suppose 3*i + 2 - 5 = 0. Let n = 14 - 15.2. Let l = n + 0.2. Is l greater than i?
False
Let z(c) = c + 6. Suppose -3*q - 9 = 6. Let b be z(q). Let p = 427 + -8111/19. Which is greater: b or p?
b
Suppose -2*f - 8 = 2*w, -5*w + 11 = 4*f + 26. Which is bigger: 5 or w?
5
Suppose 4*f + 51 + 9 = 0. Let t be (f/10)/((-2)/4). Which is smaller: t or 4?
t
Let m(k) = -k**2 - 6*k + 1. Let l be m(-6). Let s = l + 0. Suppose 3*j = 2 + s. Which is bigger