d p non-equal?
False
Suppose -d - 5*k - 83 = 0, -2*k = 4*d - 8*d - 244. Let r be (-6)/d*9/(-3). Let s = 1 - 0. Which is bigger: s or r?
s
Let b = 2.45 + -2.25. Let h = 107/3 + -35. Is h < b?
False
Let u = 5 + -4. Which is bigger: 2 or u?
2
Suppose 2*v - 6*v + 6 = -3*o, 2*o + v = -4. Let t = o - 0. Suppose 768 = 12*s + 780. Are t and s non-equal?
True
Let y = 2 + -6. Suppose 10*x - 11*x = 5. Which is smaller: x or y?
x
Let r = -12 - -17. Let w = 5/2 - 2. Which is greater: r or w?
r
Suppose 0*m - 2*m + c = -83, -124 = -3*m + 2*c. Are m and 42 equal?
True
Let g(o) = -5*o + 4. Let d be g(2). Let m(l) be the first derivative of -l**2/2 - 7*l - 1. Let a be m(d). Is 1 equal to a?
False
Let t = -671/12 + 56. Which is bigger: t or 0?
t
Let h = 0.08 - 3.86. Let o = h - 0.22. Is o >= -1/4?
False
Let m be ((-4)/4 - -124) + 0. Let r be 375/m + (-3)/1. Which is bigger: r or -1?
r
Let s = -2 - -30. Suppose q + 0*i = 5*i + s, 5*q - 25 = 2*i. Is q < 2?
False
Suppose c + 13 = -3*p, -3*c + 4*c - p + 1 = 0. Let h be 2/9 + (-43)/(-9). Let n = 1 - h. Is c <= n?
True
Suppose 2*g + 6 = -4*u, 0*u - 2*g - 11 = -u. Suppose -i = -u + 3. Let x be -1 + (-2)/18*-3. Is x equal to i?
False
Let y be 1/(-3) - 10/(-3). Suppose 1 = 4*q - 2*v - y, 0 = -3*v - 6. Which is smaller: -2/3 or q?
-2/3
Let j be (-2062 - -1)*(-2)/58. Let l = -71 + j. Is l greater than 0?
True
Suppose -r - 3*r = 0. Suppose -3*q - 8 + 38 = 0. Suppose h + 3*h + 2 = -m, -q = 5*m. Is r equal to h?
True
Let l = 15176/27 - 562. Suppose t - 3 = a, -5*a + 3 = 4*t - 0. Is l > a?
True
Let r be (-5)/(-20) - 2/8. Let t = -5 - -56/11. Is t greater than or equal to r?
True
Let r = -2 - -4. Let c = -2 + -15. Let n = c - -17.01. Which is greater: r or n?
r
Suppose -2*d + 10 = -0*d. Is 5 equal to d?
True
Let v be (-3)/9 + 40/12. Suppose 0*b = -v*b. Which is greater: 2/23 or b?
2/23
Let n be (12/9)/(4/6). Let m = n - 2. Suppose -36 + 13 = 3*k - 5*t, -5*k + 4*t - 21 = m. Which is smaller: -2 or k?
-2
Let f(n) = -n**3 - 12*n**2 - 9*n + 15. Let s be f(-11). Is s less than or equal to -6?
True
Let k be 0 - (270/231 - 1). Let j = 5/11 + k. Is j > -4?
True
Let m = -1.04 - -0.04. Which is greater: m or -17?
m
Suppose -2*z - 4 = 2*z. Let j be (-6)/(-9) + 1/3. Let k be (-1 + -1)*j/3. Which is smaller: k or z?
z
Let l = 53 - 51. Which is smaller: l or -9?
-9
Let h = 0 - -2. Let o = -0.07 + -10.93. Let q = o + 11.1. Are q and h equal?
False
Let v = 7/10 + -8/15. Which is greater: 1 or v?
1
Let i = 89 - 89.99. Let f = -1 - i. Let g = 86/3 + -28. Which is smaller: g or f?
f
Suppose 4*q - 8 = 3*t, -5*q + 14*t = 11*t - 10. Is 1 != q?
True
Let z(h) be the second derivative of h**4/12 + h**3/2 - 2*h. Let a be z(-2). Let g be ((-1)/(-3))/((-4)/6). Which is smaller: a or g?
a
Let a = -8 + 19. Let u = 4 - 1. Suppose -a = u*q - 2. Is q < -3?
False
Let v = 114 + -148. Is v bigger than -34?
False
Let v = 0.33 + -0.23. Is -2/5 < v?
True
Suppose q + 11 = 11. Are -1 and q unequal?
True
Let k be -4 + (3 - (-57)/51). Is k > 1?
False
Let r = 17 - 50/3. Let j(n) = n**3 + 8*n**2 - 10*n - 13. Let d be j(-9). Let l = -3 - d. Which is smaller: l or r?
r
Let k = -4 - -7. Suppose 4*d + 4*w - 14 = 2, -d - k*w = -4. Suppose 4*o = d + 4. Which is bigger: 1 or o?
o
Suppose -5*r = 126 + 69. Let k be (-2)/(-9) + r/54. Which is bigger: -7 or k?
k
Let d = 0.22 - 0.22. Which is greater: d or 7/5?
7/5
Suppose 5*t + 2 = 3*t. Let d = 40 + -199/5. Is d < t?
False
Let d(f) = f**3 + 5*f**2 - 7*f - 3. Let u be d(-6). Suppose -i - c + 24 = 4*c, -3*i + u*c - 18 = 0. Which is smaller: -2/15 or i?
i
Suppose 6 - 3 = -l. Let y = -9 + 5. Are l and y nonequal?
True
Let d be (1 + (-234)/12)*4/2. Is -36 at most d?
False
Suppose -5*d = -4*t + 4 + 20, -5*t = 4*d + 11. Let v be -1 - t/(-14)*2. Which is bigger: v or -2?
v
Let h = 0.81 - 0.5. Let s = 2 - 1.99. Let k = h - s. Which is bigger: 1 or k?
1
Let m = 49 - 29. Suppose 2*d + 4*z - z = -10, 0 = -4*d + 3*z - m. Let i be d - 0*2/(-4). Which is smaller: i or -6?
-6
Let y = -33.97 - -34. Let w be 1 + (-4)/(-2) - 2. Which is bigger: y or w?
w
Let k(p) = p**2 - 17*p + 58. Let g be k(5). Suppose 3*c = -c. Which is bigger: g or c?
c
Suppose 7*b = 5*b + 82. Do b and 41 have the same value?
True
Let v = 1 - 4. Let u = v + 3. Which is smaller: u or -0.4?
-0.4
Suppose -4*b - 3 = 4*j + 1, -4*j - b - 4 = 0. Let h be (-2)/(-8) + (-58)/168. Which is smaller: h or j?
j
Let m be (-10)/55 + (-61)/88. Which is smaller: m or -2?
-2
Let y = -0.14 + -0.26. Are y and 3 equal?
False
Let a be 0 - (-1 - 42/(-38)). Let x(k) = -4*k - 6 + k**3 - 2*k**3 + 3*k - 4*k**2 + 3. Let m be x(-4). Is a bigger than m?
False
Suppose 11 = 3*u - 1. Let m(l) = l - 11. Let j be m(8). Let q be ((-11)/2 - j)*-2. Which is smaller: q or u?
u
Let u(w) = -7*w**3 + 2*w**2 - 13. Let b(k) = -k**3 - k**2 + k - 1. Let n(o) = -6*b(o) + u(o). Let l be n(7). Which is smaller: l or -5/4?
-5/4
Let j(c) = -c**3 - 6*c**2 - 3*c + 7. Let l be j(-5). Suppose 0 = 2*q - 4*q - 8. Let z = l - q. Which is smaller: 2/3 or z?
2/3
Let t be (-1 - -1)*5/(-15). Suppose 4*o + h - 36 - 8 = t, h = 4. Do o and 9 have the same value?
False
Let d be 1/(-6) - (-3)/6. Let a(v) be the first derivative of v**3/3 - 3*v**2/2 + v + 2. Let b be a(3). Is b greater than d?
True
Let s = -4413674/2805 + 26789/17. Let o be ((-65)/(-11) + -1)/(-2). Let w = s + o. Is w equal to 1?
False
Suppose -5*j = -2*q + 6, -j - 9 = 2*q - 5*q. Let r = 6 - q. Is 2 > r?
False
Suppose n = -3 - 1. Let p = n + 3. Let t be (-6)/(-20)*(-15)/18. Which is smaller: p or t?
p
Suppose 9 = 4*v - 3*v. Let l = -10 + v. Which is greater: -2/7 or l?
-2/7
Let d be 17/(-20) - (-1)/2. Let f = d - -159/340. Suppose -2*a = a - 3. Is f not equal to a?
True
Suppose 0 = 4*f + 5*s, 4*f + 0*s + 4*s = 0. Let p(a) = -a**3 - 5*a**2 + 4*a - 13. Let h be p(-6). Let w be -4 + h/(-3)*f. Is w smaller than -4?
False
Let p(v) = -v**3 + v**2 + 5*v - 3. Suppose 2*d - 4*y = -2*d + 24, 27 = 5*d - 4*y. Let k be p(d). Is k at least as big as -1/2?
False
Suppose -3 = 2*j + 5. Suppose 0 = -3*x - 5*k + 23, 2*k = -0*k - 10. Suppose -4*y + 4 = x. Is j less than or equal to y?
True
Suppose -3*i + 20 = i. Which is bigger: 4 or i?
i
Let a be (-2*1)/(22 - 7). Is 0 != a?
True
Let u = 163 - 154. Let z be (-4)/15*(-5)/2. Is u at least as big as z?
True
Let f(m) = m**3 + 2*m**2 + 3*m + 1. Let u be f(-2). Let w be -2*((-7)/(-2) - 0). Which is bigger: w or u?
u
Let w be (1 - -3)/(-7*1). Let c = 0.13 + -0.03. Which is bigger: w or c?
c
Suppose 0 = -0*v - 3*v - 6, -4*j + 30 = 5*v. Is j <= 11?
True
Let a = -43 + 62. Do a and 19 have different values?
False
Suppose -3 = 2*z - 5*j - 26, -3*z + 27 = -5*j. Suppose z*f - 2*s - 3 = -s, 9 = 2*f + s. Let u(v) = v**2 + 7*v + 3. Let o be u(-7). Which is greater: f or o?
o
Suppose 0 = 3*t + 1 - 4. Let c = 0.24 + 10.76. Let s = 11.6 - c. Do s and t have the same value?
False
Let p = 10 + -17. Let w = -6 - p. Which is bigger: 2/5 or w?
w
Let n = -1 + 4. Let l be (5 - 4)*(n - 2). Which is smaller: 2 or l?
l
Let n(j) = -j**2 + 4. Let s be n(4). Let u = -558 - -557. Do u and s have the same value?
False
Let v(u) = -u**2 - 6*u. Let d be v(-3). Suppose -2 = -2*n + 3*a - 6, 3*n + 3*a = d. Is -2/27 equal to n?
False
Let u = 449/6 - 75. Let f(x) = -2*x - 4. Let p be f(-5). Let v be (1/2)/(3/p). Is u greater than v?
False
Let u(k) = 1 - 12*k - 1 + 1. Let l be u(-1). Is l smaller than 13?
False
Suppose 20*v - 7*v = 260. Are 3/5 and v unequal?
True
Let q = 2 - 2. Let b(f) = -5*f - 1. Let j be b(1). Let z be ((-1 - q) + 2)/j. Is 1 >= z?
True
Let f(r) = 2*r**2 + r - 1. Let p be f(1). Suppose -2*i + 6*i = -16. Let h = p + i. Is -2 less than h?
False
Let g = 16 + -129/8. Which is bigger: g or 0?
0
Let y = 0 + 0. Let a = y + 0. Which is greater: 0.4 or a?
0.4
Suppose -5*v = -5*c - 0*c + 5, -4*c - 4*v = -28. Suppose 3*t - c = -t. Suppose 5*s - t - 4 = 5*q, 0 = q + 5*s + 7. Is q < 0.1?
True
Let j = 10.11 + -0.11. Let y(q) = q - 16. Let v be y(16). Is j at least v?
True
Let q = 6 + -5.94. Let p = -0.16 + q. Do p and 0 have the same value?
False
Let y(o) be the first derivative of -o**4/24 + 5*o**3/3 + o**2 + 1. Let k(m) be the second derivative of y(m). Let n be k(7). Which is greater: n or 4?
4
Let s = 76.9 - 84. Let p = s + 7. Which is smaller: p or 2/7?
p
Let m be (24/(-14))/(6