 1 and j equal?
False
Let z be (14/(-35))/((-8)/65) - 3. Which is smaller: z or 1?
z
Let k = 11/56 + -1/14. Is k <= -1?
False
Let k be (1 - 3/5)/((-18)/(-5)). Suppose 0*o = 2*o + 2. Which is greater: k or o?
k
Let a be (32 - 34)*2/26. Suppose 4*o + 0 = 4. Which is smaller: a or o?
a
Suppose g + 6 = -3. Let u(q) be the first derivative of -q**3/3 - 5*q**2 - 6*q - 7. Let l be u(g). Do 4 and l have different values?
True
Suppose -9 = y - 6. Let j = 8389/15 + -2138/5. Let a = -134 + j. Is a at most as big as y?
False
Suppose 2*d + 12 = 2*u, -2*u = 4*d + 7 + 11. Which is smaller: 2 or u?
u
Let g = -12 - -13. Is g at most as big as 8/5?
True
Suppose 0 = -87*m + 81*m + 90. Is m > 6?
True
Let l(k) = -k**3 - 13*k**2 - 11*k + 9. Let f be l(-11). Does 0 = f?
False
Suppose -4*c + 6*c - 4 = 0. Let j be c/(-6) - (-7)/63. Is 1 equal to j?
False
Let z be (32/17)/1 + -2. Let a(n) = -n**3 - 2*n**2 - n. Let w be a(-2). Suppose d - w = -3. Which is bigger: z or d?
z
Let z(s) = -3 - 2*s**2 + 6*s - 4*s**2 + 5*s**2. Let c be z(6). Let q = -4 - c. Which is bigger: -1/5 or q?
-1/5
Let a be 1*(0 - (-2)/5). Let o(i) = -i + 3. Let l be o(10). Let w = l - -15/2. Is a bigger than w?
False
Let p = 3 - 2.2. Let g = 0.9 - p. Is -4 greater than g?
False
Suppose 4*l - 3 = 3*k, 5*l = 2*l + 4*k + 4. Which is greater: 2/9 or l?
2/9
Suppose 3*d - 4*b - 51 = 6*d, -3*d = -3*b + 30. Which is smaller: -4 or d?
d
Suppose 16 = 5*k + 11. Is 1/8 bigger than k?
False
Let b = -1400009/14085 - 8/2817. Let s = 100 + b. Is s < 0?
False
Let v(s) = -3*s - 4. Let b be v(-4). Let z be (-147)/(-36) - b/(-12). Let u = z + -9/2. Is u less than or equal to 0?
False
Let o(f) = f**3 + 7*f**2 + 6*f - 1. Let h be o(-6). Suppose 5*t - t - i = 25, -4*i - 25 = -t. Suppose -20 = -t*z, 0 = r - 6*r + 2*z - 13. Is r less than h?
False
Let w be 16/8*(-2)/(-4). Are w and -2/11 unequal?
True
Let w = 224 + -215.04. Let d = -9 + w. Let v = d - -0.44. Which is bigger: -1 or v?
v
Let r be ((-36)/4)/3*(-16)/(-12). Is -6 != r?
True
Let t(s) = -s**2 - s. Let c be t(0). Let n = -203 - -203. Is n > c?
False
Let p = 1 + 5. Suppose -2*x = -5*d + 28, -4 = -3*x + p*x + 2*d. Is x equal to -3?
False
Let d = -6 - -3. Let h(i) = i**3 + 2*i**2 - 4*i - 1. Let c be h(d). Which is greater: c or 1?
c
Let d = -7 - -9. Let b = 0 + d. Let w = b - 2. Which is bigger: -1/2 or w?
w
Let j = 1 - 2. Let c = -0.08 - 0.06. Let w = -0.04 - c. Does w = j?
False
Let b = -6 + 8. Let x be (5/2)/(5 - 3). Which is smaller: b or x?
x
Suppose b - 5*s - 27 = 0, 2*b + s - 5*s = 30. Let w(p) = -p**3 - 4*p**2 + 3. Let d be w(-3). Let n = d + b. Is n equal to 1/2?
False
Suppose -2*c + 9 + 1 = 0. Let v(x) = x**3 - x**2 + 2*x - 3. Let f be v(2). Is c equal to f?
True
Let w = -3 - -19. Let x = w + -24. Let i be x/(-126) - 4/(-18). Which is smaller: 0 or i?
0
Let k be 2 - -1 - (-1 - -1). Suppose j + u = -2*u + 7, -3*j + 3*u = k. Which is smaller: j or 3/5?
3/5
Let r = 33 + -33. Which is smaller: -1/31 or r?
-1/31
Let a(t) = t - 7. Let c be a(-8). Let p be (0 + 3/c)/(-1). Let s(k) = -k - 4. Let y be s(-4). Which is smaller: p or y?
y
Let i = 0.57 + -0.17. Let v = 2.2 + -2. Let q = -0.2 + v. Which is smaller: q or i?
q
Let i be 15/(-165)*(-23)/(-1) + 1. Which is smaller: 4 or i?
i
Let i(z) = z**3 - 7*z**2 + 8. Let o be i(7). Let v = -1 + 8. Is v > o?
False
Let a(t) = -t**3 + 3*t + 1. Let z be a(-2). Suppose 4*h + 4 = 2*h - z*g, -5*h + 36 = -4*g. Which is bigger: 5 or h?
5
Let l be 16/(-6)*6/(-20). Let y be (8/18)/(22/99). Do y and l have different values?
True
Let z(g) = -g**2 - 8*g + 32. Let i be z(-11). Let w be (-36)/70 + 6/(-21). Which is greater: w or i?
w
Suppose -3*h = 1 - 13, 2*u - 28 = -5*h. Let s be 14/u + 9/(-18). Is 4 less than s?
False
Let w = -4.5 + -0.7. Let b = w + 5. Which is smaller: b or -2?
-2
Let g = -0.01 - -1.01. Let j = -0.2 - -0.2. Let i = j - 0. Is i smaller than g?
True
Let n = 9.88 + 0.12. Let s = n - 9.7. Which is greater: -0.4 or s?
s
Suppose -2*z + 2*m = -62, -143 - 52 = -5*z - 5*m. Suppose 0 = -5*n + s - z, -2*n + 0*n = s + 7. Let l be n/9 - (-6)/9. Which is smaller: -1 or l?
-1
Suppose 0*g = 5*g. Let j = 19/288 + 5/32. Are g and j unequal?
True
Let q = -437/28 + 61/14. Which is greater: -10 or q?
-10
Suppose 4*g = 8*g + 44. Let l(c) = -c - 12. Let o be l(g). Is -2 not equal to o?
True
Let f = -16769/7 - -2390. Which is smaller: -6 or f?
-6
Let i be (-17)/5 + (-6)/(-15). Is -30/7 < i?
True
Suppose -v = 3*w + 36, w + 0*w + 12 = -2*v. Does w = -10?
False
Let h = 0 - 1. Let q = 0 + 0.5. Which is smaller: q or h?
h
Let d = 0.41 + -0.14. Which is bigger: 1/3 or d?
1/3
Let u = -9 - -12. Suppose 0 = g + u*g. Which is greater: 1/4 or g?
1/4
Let j(d) = d**2 - 7*d. Let f be j(7). Is f smaller than 0?
False
Let g be -1 + -4 + (-412)/(-84). Let d be -18*((-2)/2)/(-2). Let l be (-3)/d + 1/(-3). Which is greater: g or l?
l
Suppose 6 = -v + 5*x, -2*v + 2*x - 2 = 2. Is 0.1 <= v?
False
Let p = 35 - 32. Which is bigger: p or 4?
4
Let y(a) = a**3 + 7*a**2 + a + 7. Let u = -10 - -3. Let r be y(u). Is r smaller than 1?
True
Let b be (4/17)/(0 + 1). Which is smaller: -1 or b?
-1
Let h be (-16)/(-40) - (-154)/(-10). Which is smaller: h or -16?
-16
Suppose -5*u - 14 = 21. Let w(n) = -n**3 - 6*n**2 + 7*n - 1. Let h be w(u). Which is smaller: 0.4 or h?
h
Suppose -z = -l - 22, -l - 26 = -z - 4*l. Let w = z + -14. Let v = w + -5. Is v at most 4?
True
Let s = 164.7 - 158. Let l = s + -3.8. Let x = l + -3. Is -1/3 greater than or equal to x?
False
Let d be (6 - -1 - 1)/2. Which is greater: -5 or d?
d
Let r = -111 + 112.3. Is r < 2/9?
False
Let q = 0.01 - 0. Let p = q - 0.01. Which is smaller: 1 or p?
p
Suppose 5 + 1 = -2*h - m, -4*m = 0. Let t(j) = j**3 + 3*j**2 - j. Let d be t(h). Let k be 1*(2 - 3) - -1. Which is greater: k or d?
d
Let p = 98 - 492/5. Suppose 0 = 6*c - c - 15. Let l be (9/(-27))/(1/c). Is l equal to p?
False
Let n = 17 + -14. Which is bigger: 1 or n?
n
Let b = -10 - 1. Is -11 smaller than b?
False
Suppose -4*p - 34 + 10 = -4*q, 0 = 2*q + 2*p - 16. Are q and 7 unequal?
False
Let w = -2.759 - -0.059. Let l = w - -0.3. Let t = l + 0.4. Is t greater than or equal to 3?
False
Let i = 2 - 0. Suppose i*b - 2*a = -0*a + 8, 2*b - 5*a - 17 = 0. Let y(l) = -l + 3. Let v be y(2). Are v and b nonequal?
False
Let h be -2*159/24 - 2/(-8). Which is smaller: -10 or h?
h
Let h(v) = -v**2 - 3*v - 1. Let q be h(-3). Let s = -89 - -136. Let n = s - 189/4. Which is smaller: q or n?
q
Let x = 38 - 33. Which is smaller: 7 or x?
x
Let t(i) = i**2 + 4*i + 1. Let w be t(-4). Which is smaller: w or -1/86?
-1/86
Let y(m) = m**3 + 3*m**2 + 2*m. Let x be y(-2). Suppose -5*n + 7 + 13 = x. Is 5 bigger than n?
True
Suppose -2*b + 3 = z, -3*z - 1 = -5*b + b. Let y be (-24)/56*2/3. Which is smaller: y or z?
y
Let v = -14 - -9. Are -1 and v nonequal?
True
Let g = 7 - 5.5. Let t = -7 - -7.5. Let m = t - g. Is m at most -0.1?
True
Let u be (96/(-45) - -2)/(-1). Which is smaller: u or 1?
u
Let a = -21.9 - -22. Which is smaller: 0.3 or a?
a
Let d be 6/15 - (3 - -1)/20. Which is smaller: d or -1?
-1
Suppose v = 5*v. Suppose 2*q + 2 = -v*q. Suppose -m - 4 = 6*h - h, 5*h - 2*m - 8 = 0. Is q smaller than h?
True
Let h = -14 + 23. Suppose 0 = -2*l + 4*b + 16, h = 4*l - 5*b - 29. Let u be (-1)/2 - (-6)/l. Is -1/5 less than u?
True
Suppose 5*l = -4*y + 50, -5*y + 5*l + 47 = 7. Let f be y/(-45) - (-19)/(-9). Which is bigger: -3 or f?
f
Let i = -2 + 2.1. Let z = i + -0.1. Let u = 10 + -7. Is z greater than u?
False
Suppose -3*p + 16 = -3*y - 5, 5*y + 31 = 3*p. Is 5 smaller than y?
False
Suppose -n - 20 = 3*n, -5*r = 3*n + 15. Let o = -8 - 0. Let q be ((-4)/o)/(2 - 0). Which is greater: r or q?
q
Let m = -0.3 + 0.2. Let n = 8 - 7.97. Let l = -2.03 + n. Which is smaller: l or m?
l
Suppose 2*b = 1 + 3. Let d be 1*(0 - (-3)/(-3)). Let u be 2/(-2 - -3 - d). Are u and b non-equal?
True
Suppose 60 = -3*w + 6*w. Let n be 24/w*(-16)/(-12). Which is smaller: 3 or n?
n
Let x be (15/(-9))/((-34)/90). Let k = x - 69/17. Let v = k - 64/85. Which is greater: v or 0?
0
Let d = -0.04 - 1.96. Let n = -1 - -0.9. Let h = n - -0.1. Does d = h?
False
Let p be 2 + 3 - 2 - 6. Let b = 2 + p. Which is bigger: b or 0?
0
Let j = 7 - 4. Let g = -2 + j. Which is greater: g or 2/5?
g
Let t = 0.2 - 0.2. Is t < -3?
False
Su