
True
Let l be 2/1*2/40. Let k = -6 - -7. Do l and k have different values?
True
Let r = 0.03 - -0.07. Let n = 0.16 - 0.06. Is n < r?
False
Suppose 0 = 7*d - 7 - 0. Is d greater than -1/45?
True
Let q = -52341/490 + -351/98. Let a = 110 + q. Which is smaller: a or 0?
a
Suppose 1 = 5*i - 4*v - 0, 0 = -2*i + 4*v - 2. Are -5/8 and i non-equal?
True
Let y be 3/72*3/2. Let q(j) be the third derivative of -j**5/60 - 5*j**4/24 + j**3/6 - j**2. Let r be q(-5). Is r != y?
True
Suppose -3*r + 6 = 0, -3*s + 2 = -4*r + 2*r. Suppose 3*b = -s*b + 5. Which is greater: b or 2/3?
b
Suppose -30*r = -36*r + 18. Is -1/9 less than or equal to r?
True
Let a = 126 - 128. Let l(m) = 6*m**2 + m + 1. Let d be l(-1). Let g = d - 23/3. Which is greater: a or g?
g
Suppose -76 = -2*v - 7*t + 5*t, v - 54 = 3*t. Which is smaller: 41 or v?
41
Let w be 1 - (-1 - 0) - (10 + -9). Is 2/21 at most w?
True
Suppose 4*p + 9 = 3*p. Is p bigger than -8?
False
Let l(f) be the second derivative of f**5/20 + f**4 + 11*f**3/6 - 4*f. Let v be l(-11). Which is greater: -1 or v?
v
Let p be 0 + 0 + -3 + 246/78. Let s(n) = -n**2 + 4*n + 5. Let g be s(5). Which is smaller: p or g?
g
Let k be (3/(-7))/((-3)/(-2)). Let s = -3 + 3. Is s greater than k?
True
Let z(x) = -x**2 - 10*x - 1. Let a be z(-9). Let k be 4*-1*(-2)/a. Let w be -5*(2 - (-16)/(-10)). Which is bigger: w or k?
k
Let j = 50137297331/50591840 + -1853754/1871. Let a = -3/1690 + j. Let m = a + -1/32. Is 1 equal to m?
False
Let n = -4 - -6. Let f = -24.8 - -23. Let v = f + n. Is -1/2 > v?
False
Let r = 5 + 1. Suppose s - 3*q = 2, -4*s + r*s + 2*q = -4. Which is bigger: -2/3 or s?
-2/3
Let c = -0.173 - 0.827. Which is greater: c or 0.078?
0.078
Suppose -2*b + 4*p = -68, -3*p + 53 = 2*b - 29. Is 37 less than b?
True
Let f(c) = c**3 + 6*c**2 + 6*c + 6. Let p = -3 + -2. Let t be f(p). Do t and -1 have different values?
True
Let q be (-4 + -1)*(-2)/(-1285). Which is bigger: q or 0?
0
Let f = -89 + 87.7. Which is greater: 0.2 or f?
0.2
Let c = 67 + -52. Which is smaller: 14 or c?
14
Let f(n) = -n**3 + 11*n**2 - 9*n - 8. Let q be f(10). Suppose u - q = 3*u. Let g be (-4)/6 - (-20)/21. Which is smaller: u or g?
u
Let r(x) = 3*x**3 + 13*x**2 + 3*x - 3. Let z be r(-4). Let h be -1 - (-16)/10 - 0. Are h and z nonequal?
True
Let q = 65 + -36. Is q less than or equal to 30?
True
Suppose -l = -4 + 3. Let x = -4175/68 - -1524/17. Let v = x + -28. Is l > v?
True
Let s = -0.6 + 0.7. Which is smaller: s or -21?
-21
Let j = 20 - 8. Do j and 12 have different values?
False
Suppose 2*d - 3*d = -5*m - 1, -m - 23 = -4*d. Let f(j) = -j**3 + 7*j**2 - 5*j + 4. Let n be f(6). Suppose 0 = -k + 3*k - n. Is k greater than or equal to d?
False
Let w(y) be the second derivative of -y**3/6 - 3*y**2 + 9*y. Let k = 1 - 6. Let b be w(k). Which is smaller: 0 or b?
b
Let o be 4/18 + (-4)/18. Suppose o = -3*z - 5*m + 22, z - 5*m = -0*z - 26. Is z equal to -4?
False
Suppose -2*y = -4*m + 4, -2*y - 5*m + 25 = -7. Let c = 5 - y. Which is smaller: -10/9 or c?
-10/9
Let y be 1/(2 + 10/(-4)). Is -2 at least as big as y?
True
Let a = 19 - 20. Is -1 at most a?
True
Let m be 3/102 - 2 - -2. Is 0 at most as big as m?
True
Let n(g) = 2*g - 6. Let v be n(4). Is -2 less than v?
True
Let s = -4 + 3.7. Let q = 0.1 + s. Let l = q + -0.1. Which is bigger: 0.2 or l?
0.2
Let g = 3/44 - 203/396. Let o be (1 - 1)*2/4. Suppose q + q = o. Do q and g have the same value?
False
Let i = 17 + -17.1. Which is smaller: 7 or i?
i
Let y = 3 + -1. Suppose a - 8 = -4*a + 4*p, -a + 1 = -p. Which is greater: a or y?
a
Suppose 60 = 3*d - 7*d. Is -14 not equal to d?
True
Suppose -d - 1 = -2*d - i, 3*i - 24 = 4*d. Which is greater: 6 or d?
6
Let f = -1 + 1.1. Let m = -5.2 + -0.8. Let x = m + 2. Which is bigger: f or x?
f
Let k = -4762/17 - -280. Suppose -4*n + 18 = 2. Suppose -4*d - u - 4 = 0, -3*d + n*u = -4*d - 16. Which is greater: d or k?
d
Let j be 0 - (-3 - -6)/(-1). Let p = j + -5. Let i be (4/40)/(p/(-12)). Which is greater: 2 or i?
2
Suppose 0 = 4*y + r - 12, -5*y + 3*r = -r - 36. Which is bigger: -2 or y?
y
Let y be (-3)/(-1) - (-2 - -5*2). Is -3 greater than y?
True
Let r = 85/4 + -22. Let b = 0 + 0. Let a = b + 0. Which is greater: a or r?
a
Suppose 99 = 3*u + 4*v + 24, 2*v - 6 = 0. Is 21 greater than or equal to u?
True
Let n(u) = -15*u - 3. Let r be n(7). Let y be ((-3)/r)/((-4)/(-4)). Is y < 1?
True
Let n be -1 - (-454)/204 - 20/120. Which is bigger: 1 or n?
n
Let s(h) = h**3 - h**2 + 1. Suppose 0*v + 5*p + 9 = -4*v, 2*v - 3*p = 1. Let b be s(v). Is -3/2 at most as big as b?
True
Suppose 5*f - 4*u + 5 = u, 0 = 3*f - 4*u + 3. Suppose p + 0*p + 7 = 0. Let r = -7 - p. Which is bigger: r or f?
r
Suppose 0 = -4*l + 8. Let v = 3 - l. Let d(c) = -2*c**3 - c**2 - c + 1. Let p be d(v). Which is smaller: p or -2?
p
Let s = -85/3 + 853/30. Let a = 2 + -3. Let j be (2*(-3)/(-6))/a. Is s <= j?
False
Let t = 58 - 57.5. Which is greater: t or 2?
2
Suppose 60 = -13*x + 17*x. Let j be (-8)/x + 7/21. Are j and 2/5 equal?
False
Suppose 1 = -4*o + 13. Suppose -3*q = 4*t - 21, 3*t = -t + 5*q - 3. Let n be (3 - 0)/(t/2). Which is smaller: o or n?
n
Let u = -77 + 130. Which is greater: u or 55?
55
Let z = 1.2 + -1.2. Do z and -1 have the same value?
False
Let n = 8 + -6. Suppose -2*c = 5*y - 6, -y = 4*c + n*y - 12. Let j = -3 + c. Which is smaller: j or 1?
j
Let q be 2 - (1 + 1)*-2. Suppose -q = -b - 0*b. Which is smaller: b or 7?
b
Let v = -47 + 29. Let w = -73/4 - v. Suppose 42*p = 39*p - 3. Which is greater: p or w?
w
Let d = -0.24 + 0.2. Let q = 1.093 + -0.053. Let c = d + q. Which is smaller: -0.1 or c?
-0.1
Let l be 14/12 + 1/(-2). Let t(j) be the first derivative of -j**4/4 + j**3 - 3*j**2/2 + 3*j + 9. Let b be t(2). Which is smaller: l or b?
l
Let y be 2/(-4)*(3 - 3). Suppose -f + 2*f - 2 = y. Let g be 7/2 - (-1)/(-2). Is g != f?
True
Let v(y) = -y**2 + 6*y - 6. Let r be v(4). Let z(h) = -3*h**2 + h + 7. Let q be z(6). Let a be q/(-75) + (-2)/3. Is a at least r?
False
Let l = 16 - 15.96. Let u = 2 + -2.04. Let b = u + l. Is 1/2 not equal to b?
True
Let h = -16 + 15. Which is smaller: h or 4/23?
h
Let h = 50 - 52.7. Let g = h - -0.7. Which is bigger: g or -1/7?
-1/7
Suppose 5*m + 12 = m. Let c(p) = p**2 + p - 2. Let y be c(m). Suppose -4*w + 16 = 3*l - l, -y = -3*l - w. Which is smaller: l or 2/9?
l
Let p be (3 - 0)*(-4)/6. Which is smaller: p or -5/9?
p
Let i be 1/(-4) - (-66)/8. Let v be i/(-12) - 3/9. Which is smaller: 3/8 or v?
v
Let b = -5 - -10. Suppose -2*j + 0*j = -5*u + 98, -b*u + 4*j = -96. Are 20 and u nonequal?
False
Let o = 1 + 5. Which is smaller: 1 or o?
1
Let i be (12/7)/((-6)/84). Let v be (6/i)/(1/(-12)). Which is bigger: -4 or v?
v
Suppose x - 35 = 2*x. Let c be x/(-63)*8/10. Let n(a) = a**3 + 2*a**2. Let f be n(-1). Which is bigger: c or f?
f
Let a = -2 - -5. Which is greater: 0 or a?
a
Let f = 0.43 - 0.41. Which is greater: 4/3 or f?
4/3
Let c = 0.31 - 1.31. Are c and -0.1 equal?
False
Suppose -m + 8 = 5*w, w = 3*m + 4*w - 24. Suppose 4*n - m*n + 508 = 0. Let h = n - 1395/11. Is 0 < h?
True
Suppose 17 = -2*d - 2*x - x, -d - 3*x = 16. Let g = -7.9 - -8. Is d greater than or equal to g?
False
Let p(u) = -u**3 - 8*u**2 - 7*u - 9. Let r be p(-7). Let d = -17/2 - r. Let a be ((-5)/((-50)/(-8)))/(16/(-40)). Is a less than d?
False
Let t be -1 - (0 + 0) - (5 - 5). Let h = 23 - 114/5. Is t at least as big as h?
False
Let k = 5 - 0. Suppose -5*n + 31 = 2*u, -2*n - k = -0*u - 5*u. Which is bigger: n or 4?
n
Let o(n) = 50*n**3 - n**2 + n - 1. Let z be o(1). Suppose 0 = 4*u + 5*t - z, 2*t = -4*u + 9 + 25. Let m be 3/(-7)*u/9. Which is greater: m or 0?
0
Let z(p) = 2*p - 9. Suppose 0 = 2*o + 3*n + n + 4, -4*n = 12. Let l be z(o). Are l and 0 nonequal?
True
Suppose 0 = 3*g - 10 + 7. Let z = 10 - 6. Let i = 1 - z. Is g bigger than i?
True
Let f be -4 - ((0 - 0) + 0). Is f smaller than -2?
True
Suppose -2*z = -0*z. Suppose 3*i - 3 = -0*i. Suppose -i + z = -r. Is r at most as big as 2/9?
False
Let z be (1 - (-53)/(-45))*-35. Let t be 2/3*(-690)/72. Let l = t + z. Which is greater: l or 0?
0
Let r = 14.6 - 14.69. Is r <= -3?
False
Let l = -758/7 - -108. Is 2 < l?
False
Let a(p) = -p + 1. Let m be a(2). Which is smaller: -2/11 or m?
m
Let n = 1 + 0. Suppose -5*w - 2*i = n + 1, -4*i + 14 = w. Let v be 2/w 