se
Let s = 1.7 + -2. Let a = -0.7 - 0.6. Let l = s - a. Is l at most 1?
True
Let b = -1/10 - 0. Which is bigger: b or 1?
1
Suppose -23 = -4*d + 33. Is d smaller than 74/5?
True
Let m(u) = -u + 4. Let k be m(0). Suppose 5*v = 25, -k = -n - n - 2*v. Is n <= -4?
False
Suppose -3 = -n, -2*h + 6*h - 5*n + 19 = 0. Is 3/43 not equal to h?
True
Let s = -2.7 + 3.7. Which is greater: -15 or s?
s
Let d be ((-30)/(-2))/(2/(-4)). Which is greater: -28 or d?
-28
Suppose 3*c - 4 = -10. Suppose -7 + 1 = 6*h. Is c < h?
True
Let y(u) = 2*u**2 - 2*u - 4. Let o be y(3). Suppose -3*f - f = o. Let k = 74 - 224/3. Are k and f unequal?
True
Let q = -21922/63 + 348. Let n = q + 1/9. Does n = 0?
False
Suppose 0 = 5*p - 5*w - 25, 3*w = -2*p - 0*p - 10. Let j be (-1)/(-6) - (0 + 0). Which is smaller: p or j?
j
Let z(k) = -k**3 + 6*k**2 - 6*k + 1. Let p be z(4). Let t be 444/60 + 3/5. Which is greater: t or p?
p
Let v(d) = d**2 + 5*d - 18. Let l be v(-10). Which is bigger: 33 or l?
33
Let k be 10 - 2/(-3)*-3. Let r be (-4)/(-3)*2/k. Suppose 0*n - 3 = -3*n. Is r > n?
False
Suppose 2*c = -5*o - 17, -o + 4*o + 15 = 0. Suppose c*i = 5*g + 2*i + 284, -110 = 2*g + i. Let d be (2/3)/(g/12). Which is smaller: 0 or d?
d
Let b = 64/609 + -5/87. Let c = 75 - 74. Is b < c?
True
Suppose 4*y = -3*p - 30, y + 6 + 4 = -p. Is -0.04 <= p?
False
Let v = -20 - -28. Suppose -2 = -5*w + v. Suppose w*k - 3 = k. Is k equal to 2?
False
Let x = -0.2 + 1.2. Which is bigger: x or -0.1?
x
Let k = -0.26 - 0.04. Are 5 and k equal?
False
Suppose -5*d - 11 = 4. Is d < -4?
False
Let v = -17/4 + 37/8. Let i(u) = u**2 + 12*u + 0*u**2 - 13*u. Let w be i(0). Is v < w?
False
Let c = 3 - 3. Let h = -53.1 + 46. Let u = h + 7. Is c at most u?
False
Let o be (-5)/15 - (-7)/3. Suppose -w - 26 = 5*u - 5*w, o*u - 5*w + 24 = 0. Is -4 greater than u?
False
Let z(j) = -j + 1. Let d be z(-1). Suppose -4*y = 3*p - y, 4*y = -2*p - 8. Suppose -3*f - 17 = -c, p*f + 28 = 4*c - 0*c. Is d > c?
False
Let t(k) = -k**2 + 2*k - 3. Let r be t(3). Which is bigger: r or -4?
-4
Suppose -7*d = -60 + 711. Is -93 equal to d?
True
Let j be 4 - (-1 + (2 - 5)). Let u be -1 + j - 16/(-8). Which is smaller: 7 or u?
7
Let q = 3 - 2. Suppose -2*f + 3*f = q. Let s = 19/75 - -2/25. Which is smaller: f or s?
s
Let j = 8 - 20. Which is smaller: -9 or j?
j
Let n = 65 - 52. Is 12 < n?
True
Let l be (-4)/6*(-33)/22. Which is bigger: 10/7 or l?
10/7
Let g = -42 - -41.8. Let x = 14 - 10. Is g >= x?
False
Let h be 36/40 - (-4)/(-4). Is 1 at least as big as h?
True
Let w be ((-5)/4)/((-3)/12). Let u(s) = s**3 - 4*s**2 - 5*s + 4. Let q be u(w). Is q at least 11/4?
True
Let m(i) = -3*i + 3. Let l be m(-3). Let u be l/15 - 176/70. Is -3 less than u?
True
Let a = 526 - 1594/3. Is a equal to -4?
False
Let b = 10 + 2. Suppose -2*c = -4*j, -6*c = -4*j - c - b. Which is smaller: 1 or j?
1
Let h = -8 - -2. Let o be 6/(-18) + (-32)/h. Suppose 2*b = 3*b - o. Which is greater: 4 or b?
b
Suppose z = -0 + 1. Suppose 2*q = -2*q + 8. Suppose -q = a - z. Is -2 >= a?
False
Let r(y) = -5*y**3 + y**2 - y + 1. Let h(d) = d**2 - 6*d + 6. Let t be h(5). Let c be r(t). Suppose -5*w - 26 = -6. Is c bigger than w?
False
Suppose -5*c + 3*c = -20. Let n = -9 + c. Do 3 and n have the same value?
False
Let b = -84 - -53. Is 0 at most b?
False
Suppose -9*b - 48 = -3*b. Is -8 < b?
False
Let l(z) = 2*z**2 + 15*z + 8. Let j be l(-7). Is j greater than or equal to 1?
True
Let n = -20 - -9. Let b = 11 + n. Suppose 0 = -4*k + 4, 2*h + k + k - 10 = b. Which is bigger: 3 or h?
h
Let b = 60 + -54. Is 9 at most as big as b?
False
Let c be -3 + -2*219/(-111) - 1. Do -1 and c have the same value?
False
Suppose 19 = 7*k - 23. Which is smaller: 4 or k?
4
Let g = -7 - -4. Let p be g + -12*2/(-9). Let t = -3 + 2. Which is smaller: p or t?
t
Let x = 0.057 + -2.257. Let y = -1 + -1. Let q = y - x. Which is smaller: q or -1?
-1
Let s be 3*(-1)/(6/(-22)). Let b(u) = -u**2 + 11*u - 2. Let k be b(s). Which is smaller: -4 or k?
-4
Let x be -2*2*2/4. Let s = x + 5. Suppose -2*m = s - 1. Is 2/7 greater than or equal to m?
True
Suppose 113*l = 114*l - 10. Suppose -2*h = -6*h + 36. Is h >= l?
False
Let n = -61 - -59. Is 0 equal to n?
False
Let m = -0.16 + 4.86. Let b = 5 - m. Let j = 1.3 - b. Which is greater: 2/5 or j?
j
Suppose -2*m = -11 + 1. Let w = m + -6. Are 1/18 and w unequal?
True
Suppose 55 = 10*p - 5*p. Suppose k - 6 = -3*k - 5*y, -p = 3*k - 4*y. Which is smaller: k or -1/9?
k
Let d be 6/(-40)*4/(-6). Suppose 12*m = 6 + 6. Which is greater: d or m?
m
Suppose -24*i = -26*i - 8. Which is smaller: i or -7?
-7
Let r be (-36)/(-60) + 77/5. Is 17 at most r?
False
Suppose -5*b - 2*q + 26 = 2*q, 2*b - 4*q = -12. Which is smaller: b or 7/4?
7/4
Let k = -3.06 - -0.06. Let o = 3.3 + k. Which is smaller: o or -1/4?
-1/4
Let u(j) = j**2 + 3*j + 3. Let v(k) = -k**2 + k. Let t(n) = -u(n) - 2*v(n). Let p be t(6). Is 0.1 > p?
False
Let u(m) = -m - 6. Let t be u(-3). Let h be ((-1)/(-2))/(t/(-6)). Let g = 148/3 - 1930/39. Which is bigger: g or h?
h
Let w = -12 + 12.19. Let o = 0.09 - w. Which is smaller: o or -0.2?
-0.2
Let s = 0 - 1. Suppose a + 0 - 2 = 0. Suppose -2*o + a = -3*o. Which is bigger: s or o?
s
Let y(d) = 2*d - 4. Let g be y(6). Suppose 5*p = g*p. Are 3/16 and p unequal?
True
Let r(h) = -h - 5. Let d be r(-7). Suppose -3*a = -5*a - d. Is 4/13 at most a?
False
Let k = -0.6 - -0.53. Let b = 3.93 - k. Let m = b + -6. Is -2/3 greater than or equal to m?
True
Let p be ((-27)/6 + 2)*-2. Suppose -p*c = -0*c. Let y be 2/4 - (-22)/(-52). Is y greater than or equal to c?
True
Suppose h = 3*t - 11, 0 = 5*h + 4 + 21. Suppose -4*z = -3*v + 16, 0 = 4*v - v + t*z - 10. Let i = -5 + v. Is i > -4/3?
True
Suppose -3*v - 81 = -0*v. Which is greater: -28 or v?
v
Let g(t) = -2*t**2 - 14*t + 9. Let r be g(-13). Let x = 1027/7 + r. Let d be 2 - 1 - 22/26. Which is bigger: d or x?
d
Let t be 2/12 + (-170)/12. Is t <= -14?
True
Let u = -4.92 + -0.08. Let i = u - -8. Is i equal to 2/7?
False
Suppose 14 = 4*t + 2*o, o - 22 = -5*t - 0*o. Let k(w) = -3*w - 72. Let a be k(-25). Are t and a equal?
False
Suppose -6 = 3*r + 2*b + 7, 0 = 4*r + 2*b + 14. Is r != -5/3?
True
Let o(q) = q**2 + 2*q - 1. Let z be o(-2). Let n = -4 - z. Let v be 2/10*9/n. Which is bigger: -2 or v?
v
Let f(c) = -c**3 + 6*c**2 - 3*c - 6. Let w be f(5). Is w at least as big as 2?
True
Let v be 1/(3/24) + 2. Suppose -w + 4*u - 24 = -0*w, 0 = 2*u - v. Let p be (w/10)/(2/10). Which is smaller: -1/2 or p?
p
Let o be 8/10*3/(-4). Let w be 3/(-12) - 17/(-4). Suppose -8 = -c - 5*v, -w*c - 12 = -v - v. Is o greater than c?
True
Let p(u) = u**3 + 5*u**2 + 4*u. Let l be p(-4). Let d(c) = -12*c - 34. Let r be d(-3). Do l and r have different values?
True
Let t(o) be the third derivative of o**6/120 + o**5/30 + o**4/8 + o**3/2 + 2*o**2. Let k be t(-2). Is -3 != k?
False
Let o(l) = l**2 - 9*l - 3. Let u be o(9). Which is smaller: u or -3/2?
u
Let x = 84362/43 - 1962. Is x bigger than 0?
False
Let y be -2*(6/(-33) - (-771)/66). Is -24 greater than y?
False
Suppose 2*z + 3*d = 21 + 5, 0 = 2*d. Which is bigger: 12 or z?
z
Suppose -2 = 2*q - 4. Let g(u) = q - 2*u - 9 + 3*u. Let p be g(6). Which is greater: p or -1?
-1
Let l(t) = -2*t + 8. Let v be l(4). Is v greater than -2?
True
Let q be (-2)/7 - 1634/(-133). Are 13 and q nonequal?
True
Let r be 3*2/(-6) + 4. Is r greater than or equal to -3?
True
Let z = 8 + -6. Suppose 0 = -5*m + 2*w, -19 = -2*m - 0*m - 3*w. Suppose -2*u - m*u = -4. Which is bigger: u or z?
z
Let l = -3 - -7. Suppose 0*d = -l*d. Suppose -4 = -d*h + h - 4*k, h - 3*k = -3. Do 2/21 and h have different values?
True
Let u(v) = -v - 3 + 4 + 4. Let t be u(-7). Let z be t*2*2/(-88). Which is smaller: -1 or z?
-1
Let n(k) = -k + 3*k**2 - k**3 + 4*k - 4 + 7. Let l be n(4). Suppose -3*b = -d - 16, 2*d + 8 = -d + b. Is d smaller than l?
False
Suppose -3*m + 5 = -7. Suppose -n = -3*n + m. Suppose 0 + 4 = -n*z. Are z and -5/2 nonequal?
True
Let u = -8 + 10. Which is greater: 4 or u?
4
Suppose 3*h - 9 = 2*z, 5*z - 3*z = 5*h - 15. Suppose 3*x - 2 = 2*r - 12, 5*x = 0. Suppose 0 = -s + 6*s + r. Are s and z nonequal?
True
Let d(i) = -i + 2. Let c be d(5). Let l(k) = 7*k - 12. Let o be l(5). Suppose 2*b + o - 15 = 0. Which is smaller: b or c?
b
Let y(l) = -l**3 + 6*l**2 + 8*l 