d d unequal?
True
Suppose -5*k + k = 0. Let z be 2/(-4) - (-1742)/20. Let v = z - 87. Is k > v?
True
Let t(j) = -j**3 + j**2 + j. Let w(y) = -y + 3. Let h be w(3). Let u be t(h). Which is bigger: u or 1/2?
1/2
Let f(h) = 3*h**2 - h. Let j be f(2). Suppose j + 0 = 5*r. Suppose 3*z = -4*v + r*v, -5*z + 25 = -5*v. Which is greater: 1/2 or z?
z
Suppose 0 = -4*f - 4, 2 - 15 = 5*u - 2*f. Let t be u/15 - (-46)/330. Is t less than 1?
True
Let b be ((-4)/(-6))/((-7)/(-21)). Suppose 0 = q + 2*r + 7, 2*q + b = 5*r + 15. Which is greater: q or 0.5?
0.5
Let h(j) = 7*j + 2 + 5 + j**2 - 4. Let s be h(-7). Let p be 4/(-6)*s/2. Which is greater: -1/3 or p?
-1/3
Let h = 15.3 - 15. Which is smaller: 0.1 or h?
0.1
Suppose -5*p = -4*x + 21, -2 + 8 = 2*p + 2*x. Is 1 equal to p?
False
Suppose 0 = -23*s + 14*s + 99. Is 9 smaller than s?
True
Suppose -40 = -2*i + 6*i. Suppose 6 = 5*u - 4*u. Let o = i + u. Which is smaller: o or 0?
o
Let w = 6055/6 - 1005. Is -2/5 greater than or equal to w?
False
Let q = -28 + 27. Let x be (1 + (-19)/q)/2. Is x < 8?
False
Let p(n) = n**2 - n - 4. Let d be p(3). Suppose 0 = 2*t - 6 - d. Suppose 0 = -3*v + 4*x + 13, -x - 17 = -3*v + t*x. Are v and -1 equal?
True
Let u = 21 - 21. Which is smaller: u or 2/5?
u
Suppose 0 = -z - 7 - 23. Let s = 15 - 44. Are s and z nonequal?
True
Let a be 378/56 + (-2)/(-8). Is 9 at most as big as a?
False
Suppose b - 40 = -5*r - 4*b, -5*b + 37 = 4*r. Let l be 9 - ((-1 - -1) + 1). Suppose -q + 3*q = l. Are q and r equal?
False
Let l be -2 + (-63)/(-18) - 47/34. Which is smaller: l or -1?
-1
Let n = -4 + 5. Let q be n/(-5) - 57/(-60). Do 2 and q have the same value?
False
Let c = -0.31 - -0.21. Suppose -d + 0*d = 0. Suppose 5*g + 5 = -5, -3*a - 3*g = d. Do a and c have different values?
True
Let j be (2/(-6))/(2/3). Let d(i) = i. Suppose 0*h - 2*h - 2 = 0. Let k be d(h). Which is bigger: k or j?
j
Let g = -10 - -9.9. Which is greater: g or 6/61?
6/61
Let b = 81/35 + -21/10. Which is smaller: b or -1?
-1
Let j(m) = m - 1. Let v be -3 + 2/6*0. Let z be 2/(-6) - 4/v. Let f be j(z). Which is bigger: f or -2?
f
Let v(t) = -t**2 - 2*t + 11. Let d be v(-4). Let o be (-3)/(-2)*(-16)/(-6). Which is smaller: o or d?
d
Suppose -3*q + 4*c - 11 = 5*c, 0 = -q + 3*c - 17. Suppose p = -0*p + 6. Suppose h + 0 = -p. Which is greater: q or h?
q
Let p be (-1)/((-568)/(-2232) - 2/9). Which is smaller: p or -30?
p
Let j = 4.03 + -0.03. Let f be (1 - (-32)/(-14)) + 1. Are j and f unequal?
True
Let q = 4/501 + 8497/2505. Which is smaller: 2 or q?
2
Let h = 15 - 12.5. Which is smaller: 1 or h?
1
Let l be -6 - -12 - 51/8. Let g be 2/(-3) - (-4)/6. Which is smaller: g or l?
l
Let z(m) = m**3 + 6*m**2 + 4*m - 6. Let p be z(-5). Let l be 1*(-2 - -2) + 0. Let s(a) = a**3 - a**2 - 1. Let u be s(l). Is u <= p?
True
Let u be ((-34)/4)/(4/8). Which is smaller: 1 or u?
u
Suppose 0*l + 2*l - 8 = 0. Let t = l - 42/11. Do 0 and t have the same value?
False
Let h be 5*(-2)/195*-3. Let k(v) be the second derivative of -v**4/12 - 4*v**3/3 - 7*v**2/2 - 2*v. Let r be k(-7). Which is greater: h or r?
h
Suppose 4*c - c - 9 = l, -2*c + 13 = -3*l. Let m = l + -1. Let b be (-2)/(-5) + m/10. Which is smaller: -1/10 or b?
-1/10
Let j be ((-2)/(-4))/(4/(-48)). Which is smaller: -7 or j?
-7
Let x = -0.4 + 5.4. Let l = x - 9. Let p = l - -2. Which is smaller: -2/3 or p?
p
Suppose 3*y - 3*p = 1 - 10, 11 = -3*y + 2*p. Is -5 bigger than y?
False
Let l = 0.2 + 0. Let t(y) = y + 14. Let h(v) = -v**3 - v**2 + v - 13. Let k be h(0). Let g be t(k). Is g greater than or equal to l?
True
Let k = -3 - 2. Let o be (-8)/20*k/1. Suppose 4*j - 11 = -w, -w - 4*w + 19 = 2*j. Which is smaller: w or o?
o
Let v be (-15)/2 + (-3)/6. Let m(z) = -2*z**2 + 17*z - 15. Let h be m(8). Are h and v nonequal?
True
Let l(k) = 2*k**3 + 2*k**2 + k + 1. Let m be l(-2). Let g = m - -11. Let w = -607/63 - -69/7. Which is smaller: g or w?
w
Let h = 3 - 3.2. Let j = h - 0.2. Is -2/7 less than or equal to j?
False
Let q = -13 + 22. Let r = q - 9.4. Is -2/5 <= r?
True
Suppose 0 = 5*q - 9 - 11. Let t be 2/4*(6 - q). Which is greater: t or -1/6?
t
Let x = 9 + -8. Is x less than -11?
False
Let o(y) = -y**3 - y**2 + 11. Let v be o(0). Suppose 14 + v = -5*g. Let l = 4 + g. Is 2/11 equal to l?
False
Let k(p) = p**2 - p - 7. Let w be k(5). Let v = w + -14. Is v greater than -2/47?
False
Let s = 1 + -0.94. Let v = s + -0.46. Which is smaller: 2 or v?
v
Suppose 5*u - 2*p - 20 = 0, -2*p = u - 0*p - 4. Let d be (2 + u/(-5))/2. Which is smaller: 2 or d?
d
Suppose 0 = 3*k + 5*v + 9 - 2, 0 = 4*k + 2*v + 28. Is -10 less than k?
True
Suppose -2*b - 2*h = -10, -3*b + 3 = h - 4. Let o(c) = -5*c**3 - 2*c**2 + c. Let y be o(b). Which is greater: y or -7?
y
Suppose 4*o + 66 = -3*p + o, -59 = 2*p - 3*o. Let y = p + 23. Which is bigger: 3/5 or y?
3/5
Let g = -228 + 3421/15. Is g < 1?
True
Suppose -4*t - 4 + 0 = 0. Let u = -1.11 + 0.61. Which is smaller: t or u?
t
Let v = -36 - -21. Let a be v/(-21) - (-12)/42. Let f(l) = -l - 3. Let h be f(-4). Is h >= a?
True
Let n = 6 + -5. Which is smaller: 5/3 or n?
n
Suppose -4*k + 2*b + 19 = -15, -12 = -k + 4*b. Let s = k - 7. Is 1/3 less than or equal to s?
True
Let j be (-4)/(((-8)/74)/2). Are j and 73 equal?
False
Let s(c) = -c**2 + 11*c - 12. Let i be s(9). Let b be 2 + i/8*-2. Which is smaller: 2/3 or b?
b
Let o = 0.63 - 0.73. Does 40 = o?
False
Let x = 39 - 22. Suppose 4*d - 7 = x. Is d >= 13/2?
False
Let t = -1 - -2.3. Let x = -4.3 + 4. Let r = t + x. Is r at most as big as 2/5?
False
Let f = -56.7 + 57. Which is smaller: 6/5 or f?
f
Let s(d) = -d**2 + 3*d. Let w(r) = -3*r**2 + 9*r - 1. Let n(h) = -8*s(h) + 3*w(h). Let o be n(2). Which is smaller: 4/11 or o?
o
Let t = -2/11 - -19/44. Suppose -5*q = f - 6, 4*q + 2*f - 7 = -f. Which is greater: q or t?
q
Suppose 0 = 3*h - 5*p + 6, -p + 10 = 2*h + 1. Let m(n) = n**2 + 2*n - 7*n + n. Let r be m(h). Which is bigger: r or -4?
r
Let f = 5.99 + -6.3. Let s = f - -0.01. Is s < -0.2?
True
Let g = -3 - -10. Let i = g + -5. Is 2 at least i?
True
Let z(w) = -5 - w - 2*w + 4*w. Let o be z(6). Which is greater: -1/3 or o?
o
Suppose -3*m = -5*m - 2*p - 4, 2*m = 3*p + 1. Is -3 >= m?
False
Let l = 12197/6 - 2048. Let t = 15 + l. Suppose -2*y + y = 0. Is t bigger than y?
False
Let m = -9 - -9. Let v be (-4)/18 + 110/225. Is m <= v?
True
Let n = 37/10 + -16/5. Which is bigger: -0.45 or n?
n
Let c = 27 + -15. Let t be ((-6)/c)/((-2)/4). Is t less than 1?
False
Let g = -66 - -49. Which is smaller: -19 or g?
-19
Let q be -1 + 4/2 + -2. Let a = q - -2. Is -2/7 at least as big as a?
False
Let d(t) = -t**2 + 12*t + 58. Let p be d(17). Which is smaller: 0.1 or p?
p
Suppose 296 = -3*i - 5*t, 0*i + 3*i - 2*t = -289. Let v be (-2)/(-6) - 2033/(-21). Let d = v + i. Which is smaller: d or 1?
d
Let y be -6*2/(-8)*2. Suppose y = -4*u + 11. Is 4/3 >= u?
False
Let r = 14 + -7. Let b = 7 - r. Is b < -2/7?
False
Let i(a) = -7*a**2 - 5*a + 1. Let k(d) = -d**3 - d + 1. Let z(h) = i(h) + k(h). Let n be z(-6). Is 1 at least n?
False
Let m = 140/3 + -1528/33. Which is bigger: m or 0?
m
Let p be (-3 - -3 - -17)*(-1 + 0). Which is bigger: p or -1?
-1
Let z = -54.6 - -55. Which is smaller: z or 0?
0
Let t(c) = -3*c**3 + 111*c**2 + c - 38. Let p be t(37). Let v(m) = m + 2. Let b be v(-2). Which is smaller: b or p?
p
Let t = -0.035 + -24.965. Let o = 26.3 + t. Let j = o + -1. Which is smaller: 1 or j?
j
Let a(s) = -s**3 + s**2 + 2. Let f be a(-2). Is 14 at least as big as f?
True
Let v = 9 + -6. Let r = 3 - v. Let q be (r - 1)/((-5)/10). Which is smaller: q or 0?
0
Suppose -3 = 4*y + 1. Let r = -2275/6024 + 2/753. Is r >= y?
True
Let u = 29 - 17. Let v be ((-8)/u - -1)*-13. Is v smaller than -3?
True
Let w = -0.9 + -3.1. Let g = w + 5. Is 0.01 smaller than g?
True
Let r be 9/(-7)*8/12. Suppose 4*t + 2*k + 6 = 3*k, -5*t = -5*k. Is t at least r?
False
Let q be (18/27)/(-1 + 0). Suppose 4*s = 12 + 28. Suppose s = 3*p - 8*p. Which is bigger: q or p?
q
Let f = 0.04 + -1.04. Let s = 8 + -4. Which is bigger: s or f?
s
Let l = 21 - 23. Is l at least -1/14?
False
Suppose 0 = 3*q - 2*i - 87, -q - i = q - 65. Is q greater than 33?
False
Suppose 2*m = 3*m - 4*n + 8, 19 = 4*m + n. Suppose -17 = -4*p + 3*h, 2*h + 10 = -m*p + 32. Suppose -5*l + 13 = 2*q + p, 2*q = 5*l - 12. Is q at 