?
True
Let d(p) = p**2 - 4*p. Let l be d(5). Suppose 0 = -3*f + 3*w + 3, f - 21 = l*f + w. Are -3 and f nonequal?
True
Let h(c) = c**2 - 2*c - 2. Let d be h(5). Let k be 6/(-10) - (378/15)/(-2). Is k less than or equal to d?
True
Let y = 18 + -19. Which is smaller: y or 6/31?
y
Let w = -127524 - -1529281/12. Let x = w + 242/3. Which is greater: x or -2?
-2
Let z(s) = s**2 + 7*s + 13. Let p be z(-4). Let r be ((-4)/18)/(3/(-9)). Is r at least p?
False
Let i = -6 - -10. Suppose -t = -u - 2, 0 = -5*t - i*u + 1 - 0. Let m = -0.3 + 0.1. Which is smaller: m or t?
m
Let v(m) = 2*m - 23. Let j be v(13). Which is smaller: 1 or j?
1
Let p = -0.88 + 0.08. Let c = p - -0.7. Is c at most as big as 0?
True
Let c(s) = -18*s - 9. Let w be c(-12). Let b be 2/(-6) + 87/w. Is b at most as big as -1?
False
Let h(d) = -2*d**3 + 7*d**2 + 8*d - 1. Let t be h(-3). Are 93 and t nonequal?
True
Let j = 0.38 + 1.62. Which is smaller: -5/3 or j?
-5/3
Suppose 1 = -3*p + 4*d, 8 = -2*d + 4*d. Let j be 1*3*(-28)/(-21). Is p at least as big as j?
True
Let o = -96 - -862/9. Let h = 2 - -1. Suppose 4*y = -12, h*b + b + 11 = -5*y. Is b greater than o?
True
Let a(l) = l**2 + 7*l - 4. Let s = 2 + 1. Suppose 3*t + 3*n = -15, -s = -t - 4*n - n. Let g be a(t). Which is smaller: g or -5?
-5
Let y = 4/19 - 1/95. Suppose -2*v + 5*h - 12 = 0, 3*v = 4*v - h + 3. Is v greater than or equal to y?
False
Let d = -800.96 - -801. Let b = -44/399 - 10/57. Which is greater: b or d?
d
Let w be 10/12*15/(-10). Which is smaller: -1 or w?
w
Let j(k) = -k**3 - 7*k**2 - 5*k + 3. Suppose 0 = 3*a + 2*a + 3*z + 15, -20 = -4*z. Let d be j(a). Is -5 != d?
True
Suppose -4*n - 3*r - 16 = 0, 0*n + 3*r = 5*n + 20. Which is bigger: -5 or n?
n
Let y = 28 - 28. Which is bigger: y or 3?
3
Suppose -v - 18 = u, u + u - 60 = 4*v. Is v >= -17?
True
Suppose 1 = -f + 4. Let u be f/(-1*(1 - 0)). Which is smaller: u or -1?
u
Let n = 24 + -12. Which is smaller: n or 13?
n
Let f = 12 + -43. Which is bigger: 1/3 or f?
1/3
Let d = -29047/5 - -5789. Is -19 at most as big as d?
False
Let y = -4.833 - -0.033. Let d = y - 0.2. Let r = d - -1. Which is smaller: r or 0?
r
Let d = -10 - -7. Suppose -3*h = -2*h + 6. Let q = h - d. Is q less than or equal to -3?
True
Let z = 3 - 2. Let i = 4 - z. Let p be -1 - (-6 - 0) - 4. Which is greater: p or i?
i
Let w(y) = y**3 + 5*y**2 + 6*y + 1. Let s be w(-4). Let t(k) = 2*k**2 + 1. Let j be t(-1). Let b = j + s. Is b equal to -3?
False
Let k(h) = -h**2 - 12*h - 6. Let d be k(-11). Suppose 3*a + 24 = -d*q, 2*a = -5*q + 7*a. Which is smaller: q or -7/2?
-7/2
Let k be 6/6*2/8. Let d = -2 - 0. Let x = d - -3. Is x < k?
False
Let q be 0 - (-2 - (-5 + 2)). Let u be (4 - 3)/1 + q. Is u smaller than 2/13?
True
Let b = 33/2 - 17. Let o = 0.06 + -0.08. Do b and o have the same value?
False
Let o = -105 - -106. Which is smaller: o or -0.051?
-0.051
Suppose -4 = 3*g - 1. Let w(l) = -2*l - 1. Let c be w(g). Let b = 0.7 + -1. Which is smaller: b or c?
b
Let x(a) = a**2 - a - 4. Let j be x(3). Let t be (j/6)/(1/(-3)). Let h = -5 - -6. Is h at most t?
False
Let n be 4/(-18) - 114/(-27). Let p be n + -2 + -1 + -1. Let j = p + 1. Is 0.1 != j?
True
Let u = -13 - -19. Let g = 9 - u. Let o be -1*1 + 5/5. Which is bigger: o or g?
g
Let b = 22 + -18. Suppose b*q + 9 + 11 = 0. Suppose m + 15 = -4*y + 2*y, 5*m = 3*y - 10. Do q and m have different values?
False
Let c = -2.2 - -2. Which is smaller: c or -0.04?
c
Let m = -10 - -12. Let n = 0.4 + -3.4. Let s = m + n. Which is smaller: s or 1?
s
Suppose 0 + 1 = p. Let b be 4/(-10) - (1 + -1). Let a = b + 9/10. Is a at least as big as p?
False
Let w(b) = -6*b - 2. Let s be w(-2). Let r = 8 - s. Let x = r - -3. Is -1/6 greater than x?
False
Let r = -54 - -59. Which is smaller: r or 0.1?
0.1
Let s be 10/3 + (-2)/(-3). Let h(b) = -b + 8. Let t be h(s). Suppose -o + 1 = 4*o + k, -o = t*k - 4. Is 2/5 < o?
False
Let f = 1 + 1. Let j = 6 - 5. Which is smaller: f or j?
j
Suppose -7*x = -9*x + 10. Let b be (-3)/x*14/42. Which is bigger: b or -1/2?
b
Let w = 0.05 - 0.05. Let g = -0.1 - 0.9. Let m = g - w. Which is greater: m or 1?
1
Let o(u) = -u - 12. Let h be o(-10). Which is bigger: 0 or h?
0
Let k be 2/(-6) + 3/(-18). Which is greater: k or -1?
k
Let p(g) = -g**3 + 17*g**2 + 17*g + 7. Let v be p(18). Which is greater: -32/3 or v?
-32/3
Let v = 21 + -12. Let l = -9 + v. Which is smaller: -6 or l?
-6
Let y(a) = -6*a**2 + 2*a - 4. Let j(m) = 7*m**2 - 2*m + 5. Let x(c) = -5*j(c) - 6*y(c). Let k be x(3). Suppose k*u + 2*u = 4. Is -2 greater than or equal to u?
False
Let n be (-4)/(-18) + 17630/(-80064). Let j = -321869/1401120 - n. Let f = j - -12/35. Do f and 1 have different values?
True
Let d(y) = y + 13. Let q be d(-10). Suppose 3*p + 3*s + 0*s = 51, -q*p - s + 59 = 0. Is p < 20?
False
Let c(m) = -4*m + 1 + 7*m - 5*m. Let j be c(1). Are j and 3/8 non-equal?
True
Suppose -7 = -h - 2. Is h at least as big as 4?
True
Let k = -12 + 7. Let y(n) = 5*n. Let i be y(1). Let o = i + k. Which is greater: o or 2?
2
Let y = 1 - -1. Are -0.2 and y equal?
False
Let m = -6 - -7. Suppose -3 = -w - m. Which is bigger: w or 5/2?
5/2
Let y = -2 + 1. Let g = 3 + -6. Let s = g - -2. Is s bigger than y?
False
Let b = -2/47 - 39/188. Which is bigger: b or -2/7?
b
Suppose -u + 238 = -j, 2*j + 3*j - 1190 = -5*u. Let b = 150 - u. Let i = b + 442/5. Which is smaller: 1/3 or i?
1/3
Let j = 0 + 0.04. Let l = j + 0.26. Let q = 0.2 + -1.2. Which is smaller: q or l?
q
Suppose 0 = c, -4*c + 390 = 2*q + c. Suppose -4*y = -8, -3*w = -0*w + 3*y + q. Let j = 333/5 + w. Which is smaller: j or -1?
-1
Let d(s) be the second derivative of -s**5/20 + s**4/3 + s**3/6 - 5*s**2/2 - s. Let l = 7 - 3. Let c be d(l). Is -1 at most as big as c?
True
Suppose -4*x + 6*x = 26. Let s be (-3)/x*4/6. Is 1/4 < s?
False
Let g be (-29*1/74)/(-2). Let u = 2/37 + g. Which is smaller: 0.9 or u?
u
Suppose -y = -2*y - 25. Let g be 1/5 + 5/y. Which is bigger: g or 2/29?
2/29
Let p = 25 - 18. Let i = -3 + p. Suppose -2*j + 2 = i. Is j < -2?
False
Let g = -51 - -46. Which is bigger: -48/11 or g?
-48/11
Let b be (-8 - 2) + 0 - 0. Suppose 25 = -5*x - 20. Do b and x have different values?
True
Let l be -3*(183/(-36) - -5). Which is bigger: -23 or l?
l
Let w = -2 + 5. Suppose -4*d + 28 = w*j, -4*j + 32 = 2*d + 2*d. Suppose j*f + 19 = 5*q, -3*q + 3 = -4*f - 10. Is -2/5 at most as big as f?
False
Let g be 8 - 4 - (-3 + 2). Let f be 3/(-9) - g/3. Is f less than or equal to -6?
False
Let l(f) = f**2 - f - 1. Let y(p) = -2*p**2 - 2*p + 7. Let s(j) = 3*l(j) + y(j). Let b be s(4). Is -1/3 <= b?
True
Let h = 0.4 - 0.3. Let i = 7 - 7.5. Let b = i + 0.5. Do h and b have the same value?
False
Let z(k) = -k**3 + k**2 + 3*k + 4. Let y be z(3). Suppose -5*h + 14 = 3*l, -5*h = -h + 3*l - 10. Let n = y + h. Which is smaller: n or 4?
n
Suppose i + 12 = 10. Let c be i/(-8) + (-130)/200. Let v = 11/6 - 4/3. Which is smaller: v or c?
c
Let k(y) = -y**3 + 3*y**2 + y - 6. Let j be k(3). Which is bigger: -4 or j?
j
Let p = -0.01 + 2.01. Let u = p - 1.95. Let t = u + 0.15. Which is smaller: 1/2 or t?
t
Let c = 0.1 + -1.1. Let o = -32 + 16. Let s = o - -15.6. Which is bigger: s or c?
s
Let d be -1 + 3 - (2 - 1). Let k(b) = -b + 6. Let s be k(7). Let y be s*(-2 - 2/(-1)). Which is smaller: d or y?
y
Let s = -25.17 + 25. Let a = s - 6.83. Are 0.1 and a equal?
False
Let x = 63817/5 + -12703. Let v = x + -60. Let l = 0.1 - 0.3. Which is smaller: l or v?
l
Let w(p) = p**3 - 5*p**2 + 2*p - 11. Let i be w(5). Let r be (i - 2) + (-84)/(-9). Which is smaller: 5 or r?
5
Suppose -5*t - 3*w = 68, -t - 4*w = -3*w + 12. Is -15 != t?
True
Let f(g) = -g**2 + 3*g - 1. Let i be f(5). Suppose 3*d = t - 1, -t + 27 = t - d. Let n = t + i. Is 4 at least as big as n?
False
Let l(i) = 2*i + 3. Let b be l(-2). Suppose 0 = -4*s + 24 - 652. Let x = 1415/9 + s. Which is smaller: b or x?
b
Suppose -a - 3 = -1. Let h be 0 + a/36*4. Does h = 1?
False
Let l = 6 - 5.9. Which is bigger: 7 or l?
7
Let y = -65/2 + 33. Is 0.1 less than y?
True
Let g = -236/153 + 30/17. Let n = 206 + -204.99. Let u = 0.01 - n. Is g at most u?
False
Let s = -119 - -58. Let w = 31 + s. Let t be ((-6)/4)/(w/(-8)). Which is smaller: t or 1/2?
t
Suppose 0 = -4*o - 11235 - 28913. Let m = -80183/8 - o. Let h = 14 - m. Which is sm