 d(j) = -j**3 - 4*j**2 - 2*j + 4. Let n(q) = q**3 + 5*q**2 - 7*q - 9. Let a be n(-6). Let r be d(a). Is r != 2/7?
True
Let b = 11.96 - 11. Let h = b - 1. Which is bigger: h or 0.1?
0.1
Suppose -m = -0*m. Let j = -2 - m. Let x = 4 - 14/3. Is j < x?
True
Let r = 4.5 - 0.3. Let b = r - 4. Is -2/5 less than b?
True
Let a(n) = -n - 17. Let r be a(-15). Which is smaller: r or 4?
r
Let x be (1 + 4/(-8))*-2. Let g = 0.06 + 0.04. Is g > x?
True
Let r = 3 - 10. Let s be r/5 + (-6)/(-15). Suppose 3 = 3*c + 9. Which is smaller: c or s?
c
Suppose -y + 8*y = -91. Is y less than -11?
True
Suppose -2*r + 2 = 2*c, 0*c - 5*r = -5*c + 25. Let w = -5 + c. Is w less than -2?
False
Suppose 0 = 4*y - 4, 4*y - 4 - 5 = -5*n. Let w be ((-2)/6)/(0 + 1). Which is bigger: w or n?
n
Let n = -95 + 160. Are n and -1 nonequal?
True
Let r = -9178573/220 + 41721. Let z = r + 2/55. Is -1 at least as big as z?
False
Let i(x) = x + 5. Let r = 0 + -6. Let n be i(r). Let h be (3/15)/(2/(-2)). Which is greater: h or n?
h
Let o be (8 - 4)*2/(-1). Let b = o - -13. Let i be 5/15*(-15)/(-1). Is b at most as big as i?
True
Let o be -4 - ((-5)/((-20)/(-8)) + -1). Is -2/407 > o?
True
Let x be (2 - 24/9)*-3. Suppose 2*i + x*b - 4 = 0, -i + b + 0*b - 2 = 0. Is 1/5 < i?
False
Let g = -33.06 + 32. Let c = -0.06 - g. Which is greater: -1/4 or c?
c
Suppose 0*h - 2*h = -4. Suppose -p - h - 2 = 0. Which is smaller: p or -5?
-5
Let v = 97 + -115.7. Let w = v + 18. Which is smaller: -0.1 or w?
w
Let p be (-5)/10 + 14/4. Let t(c) = 4*c + 2. Let g be t(p). Let h be (4/14)/((-18)/g). Are 1 and h non-equal?
True
Let g(q) = -q**2 - q + 1. Let y(t) = -3*t**2 - 2*t + 1. Suppose 1 - 3 = -j. Let r(v) = j*g(v) - y(v). Let m be r(0). Which is greater: m or -3/8?
m
Let a = -15 + 13. Is a at least -4/7?
False
Let f = -0.25 - -3.25. Which is greater: f or 1/4?
f
Suppose -2*k - 2 = -4*y - 0, 2*y + 2 = 0. Suppose 1 = 5*m + 21. Are m and k equal?
False
Let j = -6 + 12. Let i = -4 + j. Suppose -b - 3*b - 4*w = 0, -5*b = -i*w - 7. Which is smaller: b or 1/2?
1/2
Let q be (3/6)/((-20)/(-32)). Let r = q + -34/55. Which is smaller: r or -1?
-1
Let j be ((-125)/(-40) - 3)/1. Is 1 at least j?
True
Suppose q = 2*n + 75, 2*q = -2*q - 20. Let s be (-5)/(n/(-6))*-4. Let d = 7 - 4. Is s smaller than d?
False
Let w = 1 + -2. Let n = w - -0.8. Is n bigger than -2?
True
Suppose -3*j = -8*j + 10. Suppose -y = 2*w - 9, j*w + y + 7 = 4*w. Suppose 5*s + z = -w, 4*s + 10 = -4*z - 6. Are s and -2/3 non-equal?
True
Let q(z) = 7*z**2 + z - 2. Let m(t) = -t. Let j(y) = -m(y) - q(y). Let a be j(-3). Let c = a + 303/5. Is c <= -1?
False
Suppose 2*r - 2*l - 8 + 4 = 0, -5*l - 10 = -2*r. Is 4/3 bigger than r?
True
Let s = -43 + 28. Let k = s + 12. Is k < -10/3?
False
Let y be ((-62)/(-8) - 4) + -4. Is 1.3 < y?
False
Let n(u) = u**3 + 4*u**2 - 13*u - 7. Let a be n(-6). Does a = -9/4?
False
Suppose 0 = 7*v - 2*v - 10. Suppose v*k - 6 = 0, 0 = -6*f + 3*f + k - 6. Is -3 smaller than f?
True
Let d = 93.2 - 85. Let a = d + -8. Are -4 and a equal?
False
Let l(u) = 2 - 3*u - 2*u + 2*u - 3*u - u**2. Let r be l(-6). Which is smaller: r or -2/5?
-2/5
Let k = -0.65 - 4.45. Let r = 0.007 + 4.993. Let w = k + r. Is -1/4 != w?
True
Let m be (-2)/(-4)*0/2. Let f(s) = 2*s**2 + 2*s - 1. Let d be f(1). Let j(c) = c - 3. Let b be j(d). Is b greater than or equal to m?
True
Suppose 0 = 4*t + 6 - 2. Which is bigger: 3/14 or t?
3/14
Let b be 1/8*-2 - -1. Let c = -1 + b. Which is smaller: -1 or c?
-1
Let w be ((-16)/14 - -1)*-7. Which is bigger: w or 3/59?
w
Suppose -18 + 4 = -2*i. Let w = i - 5. Is w <= 2?
True
Let x = 34 - 30. Which is smaller: 3 or x?
3
Let y be 29/(-2)*(9/4)/3. Are y and -10 equal?
False
Suppose 4*n - 1 - 20 = p, 3*p + n - 2 = 0. Let c be 3 - (-100)/28*p. Let v(z) = -z + 2. Let r be v(3). Is c != r?
True
Let v be (2/(-4))/((-3)/6). Let n = -5.3 + 2.3. Which is smaller: v or n?
n
Suppose 5*o - 6*o = 0. Suppose 2*s - 4*s + 22 = -3*z, -z - 5*s - 30 = o. Do z and -10 have the same value?
True
Let n(s) = -s**2 + 6*s - 4. Let p be n(4). Suppose c = -p*c + 20. Suppose c*r = -r - 5*d + 15, 2*r + 3*d = 10. Which is smaller: r or -2?
-2
Let n = -1.32 - -0.32. Which is smaller: -2/19 or n?
n
Let n be ((-18)/(-28))/(253/242). Let j = n - 1/23. Let b(l) = l**2 - l - 1. Let t be b(2). Which is bigger: t or j?
t
Suppose -3*a - 169 = 83. Let i be (4/a)/(2/2). Which is bigger: 1 or i?
1
Suppose r - 3*b + 11 = 0, -b - 11 = -3*r - r. Let k(m) = 2*m**2 + 4*m + 2. Let q be k(-2). Suppose 0 = -w - q, w - 4*w = a + 2. Is a != r?
False
Let q(w) = -w**3 - 5*w**2. Let l be q(-5). Let m be (l/(4/(-1)))/2. Is m < 1?
True
Suppose -14*f - 196 = -0*f. Is f at least as big as -66/5?
False
Let l(y) = -y**2 - 24*y + 6. Let t be l(-23). Is t not equal to 29?
False
Suppose -4*d + 5*w - 20 = 0, d + 0*w = -4*w + 16. Which is bigger: d or -6/7?
d
Let l = -485/6 - -81. Is l > 1?
False
Let d = 0.29 - 0.19. Is d < -17?
False
Let m = 154483/30 + -15382/3. Let p = 45/2 - m. Let g = 1 - 0. Which is smaller: g or p?
p
Let b = -308/5 - -62. Is -16 smaller than b?
True
Let s = -5.87 + -0.13. Which is greater: -2 or s?
-2
Let n = -27 + 30. Is -5/2 less than n?
True
Let g(l) = l**3 + 7*l**2 - 8*l + 1. Let y be g(-8). Let h = -18 + 73/4. Which is smaller: h or y?
h
Suppose 3*b + 21 + 8 = 4*c, -5*b - 15 = 0. Do 5 and c have different values?
False
Let h = -184/51 + -52/17. Which is greater: -8 or h?
h
Let y be (-455)/25 + 1 + 1. Let g = y + 1387/85. Are g and 1 unequal?
True
Let w(j) = -j + 13. Let p be w(13). Which is smaller: -1/75 or p?
-1/75
Let i = -0.3 + 0.2. Let u = 0.03 - -3.97. Let j = 4 - u. Which is smaller: i or j?
i
Let g = -2.9 + 3. Which is greater: 11 or g?
11
Let z = 1587 + -11077/7. Let q = z + -149/28. Which is smaller: -2 or q?
-2
Let i be 10/35 + (-108)/(-14). Let x be 1/5 + 0/i. Is x less than 0?
False
Let v be (-1)/(-4) - -4*9/(-48). Let i = -117/4 - -29. Which is greater: v or i?
i
Let m = -18 - -27. Is 12 less than m?
False
Let k(i) = i**2 - 6*i - 5. Let c be k(5). Let r = c + 12. Does 3/4 = r?
False
Let q(r) = r**3 + 5*r**2 - 5*r + 7. Let g be 1/(-2)*(15 - 3). Let m be q(g). Let w be (2/(-18))/(4/(-8)). Which is smaller: m or w?
w
Suppose 16 = -3*c + 6*c + 4*v, 0 = 5*c - 5*v + 20. Which is smaller: -6/23 or c?
-6/23
Let p = -3.1 + 3. Is -1.5 not equal to p?
True
Suppose -5*q + 2*q + 19 = z, -6 = z - 2*q. Suppose -3*f + 1 = -3*p - 5, -8 = -5*f + z*p. Let i = -4/177 + -286/3009. Is f greater than i?
True
Let b = -143 - -142.6. Is 0 bigger than b?
True
Let p(b) = -2*b - 7. Let v be p(-4). Is -2/19 not equal to v?
True
Suppose 3*x - 7*x = -88. Suppose -3*p + x = u - 38, 2*u = -3*p + 63. Let o = p - 149/8. Which is bigger: -1 or o?
o
Let t be 1/4*(-256)/(-304). Are 1 and t unequal?
True
Let x = 7 + -16. Let u = 11 + x. Which is greater: u or 5/6?
u
Let a = -2 + 4. Suppose -a*i = -r + 8, -4*r - 5*i = -3*i + 8. Do -1/6 and r have the same value?
False
Suppose -3*d = 4*v + 1 + 3, -5*d + 4 = -4*v. Which is smaller: v or 0?
v
Let q = 2 + -8. Let z be -2 + (77/q)/(-7). Which is smaller: 2 or z?
z
Let n = 2 - 3. Let w = 0.2 - -8.8. Which is greater: n or w?
w
Let t be 6/(-4)*(-26)/(-3). Let b be 7 + -8 + (-17)/t. Is b at least 1?
False
Let n = 0.4 + -3.4. Let c = n - -2. Is -3/5 at most c?
False
Let a = -5.2 - 11.8. Does -0.1 = a?
False
Suppose 25 = w - 5*d, w + 2*d = 5*w - 10. Let j be (-2 - -4)*(-1 - 0). Let z = j - w. Which is smaller: z or -1?
z
Suppose 3*j - j = 2. Is 1 != j?
False
Suppose 0 = -4*k + k + 3. Let w(o) = -7*o**2 + o + 2. Let a be w(2). Let c be (-44)/(-203) - a/(-84). Is k > c?
True
Suppose g = r + 6, -15 = -4*g + 5*r + 7. Let k = 8 - g. Which is smaller: k or 1?
k
Suppose -2*t + 6*t + 4*q = -264, -2*q = -t - 57. Let l be (18/t)/(1/(-7)). Which is smaller: l or 7/5?
7/5
Let k = 2 + 0. Suppose 3*f - k*f = 0. Let d be f - (-2)/(1*-2). Is -2 not equal to d?
True
Suppose 3*h + 4 = 1. Let y be 3 - (2 - (0 - h)). Is y equal to 2?
True
Let q(w) = w**3 - w**2 - 2. Let o(x) = x**2 + 2. Let g(f) = -3*o(f) - 2*q(f). Let t be g(-2). Suppose 8 + 15 = 5*n + i, t = n + 2*i. Which is greater: 5 or n?
5
Let t be (-2 - 6/(-5))/(-2). Let i = 6 + -5.6. Let c = i + 2.6. Which is greater: t or c?
c
Let o = 6 - 3. Which is greater: -2 or o?
o
Let q be (-5)/(15/12) + 2. Let h(b) = -2*b