 at least m?
False
Let z be (1/4)/(33/21). Let v = z + 235/44. Are 6 and v equal?
False
Let m be 44/10 + (-10)/25. Suppose -m*w = 3*o - 4, -3*w + 16 = -2*o - w. Let q = -0.2 + 0.2. Is q < o?
False
Let d(u) = -3*u + 1. Let i be d(2). Let h be (-1)/i - 92/660. Which is greater: 0 or h?
h
Let k be (-4)/18 + (-1945)/(-45). Let f = -130/3 + k. Is 1 less than f?
False
Let k be (((-16)/(-9))/2)/((-76)/(-874)). Which is smaller: 10 or k?
10
Let s be 6/27 - 74/9. Let v be (s/6)/(16/(-24)). Suppose 3*u = v*u + 1. Which is smaller: u or -2?
-2
Let s(h) = -2*h + 33. Let d(n) = -n + 16. Let l(k) = 7*d(k) - 3*s(k). Let x be l(13). Is x less than or equal to 3/7?
True
Let u = 0.13 + -1.13. Which is smaller: -8 or u?
-8
Suppose -z - 3*j = 7, -5*z + 5*j = -4*z + 23. Is -13 not equal to z?
False
Let t be 2/((-126)/177) - (-3)/1. Is t smaller than -1?
False
Let r be ((-979)/(-66))/((-1)/(-2)). Let g = r - 29. Is 0 bigger than g?
False
Let s be (5 + -7)*(-1)/1. Suppose x = 2*n, -s*n = -4 - 0. Let w(z) = 2*z**3 - 4*z**2 + 3*z - 1. Let p be w(2). Do p and x have different values?
True
Let j = 1 + -1.1. Let x = -0.3 + 0.3. Let a = j + x. Is -2/9 equal to a?
False
Suppose -2*w - 3*v + 9 = 0, 3*w + 2*v - 22 = -w. Which is smaller: 34/5 or w?
w
Let l(s) be the second derivative of s**3/6 + 3*s**2 + 2*s. Let w be l(-10). Let x be (w/(-6))/(6/(-27)). Is -3 < x?
False
Let j = -51 - -105/2. Let w = 2 - -1. Which is greater: j or w?
w
Suppose 0 = -5*r + 2*r + 42. Suppose -3*z + r = -5*c - 9, 4*c + 4*z = -12. Is c equal to -2?
False
Let f = -12855/68 - -759/4. Let r = f - 65/68. Is -1 greater than r?
False
Let k(u) = -u**3 + 7*u**2 + 11*u - 2. Let d be k(8). Suppose 2*q + 4*r = 5 + 27, -2*r + d = 2*q. Which is greater: 5 or q?
q
Let g = -13.65 + -0.35. Let b = g - -14. Which is bigger: b or 7?
7
Let u(w) = 2*w**2 - 11*w - 1. Let g be u(9). Let c be (-9)/(-6) - g/44. Is c <= 1?
True
Let t = -185 + 2407/13. Let m = -2/9 - -13/18. Is t smaller than m?
True
Let d = 78 + -78.3. Which is bigger: d or -6?
d
Let t be (-6)/9 + 17/3. Suppose t = f + 4*f. Let d = -1 + 1. Which is greater: d or f?
f
Let b = -0.039 - 0.461. Which is smaller: -0.3 or b?
b
Suppose 0 = -2*u + 2*h, 2*u - 4*h + 3 = 1. Which is greater: u or -1/10?
u
Let i = 13 + -12. Which is bigger: 1/2 or i?
i
Let d be 4 + (5 - 4) + -27. Which is bigger: -21 or d?
-21
Let k = 8 - 4. Let j be (k/10)/(92/(-20)). Which is smaller: 0 or j?
j
Let i(n) = n**2 - 9*n - 11. Let u(t) = t**2 + 3*t - 8. Let b = -7 - -1. Let f be u(b). Let h be i(f). Is h greater than or equal to -2/7?
False
Suppose -y - 3*h + 5*h = -15, 5*y + 5*h - 120 = 0. Let n = y + -61/3. Which is greater: -3/14 or n?
n
Let s = 10 + -10. Which is smaller: -2/17 or s?
-2/17
Let u be 3 - (0 - 147/(-6)). Let i = 21 + u. Let h be 0*(-3 + 2)/(-1). Which is bigger: i or h?
h
Let p(q) = 4*q + 11. Let k be p(-5). Is -8 at most k?
False
Suppose -5*z = 5 + 35. Let k = -8 - z. Let s be 1 + (k - 0 - -3). Do s and 5 have different values?
True
Let z(y) = y**3 - 3*y**2 - 3*y + 1. Let w be z(4). Suppose w*p - 4*j = 25, 2*p - 7*p = -5*j - 30. Are p and 7/4 equal?
False
Let a = -228 + 226. Which is smaller: -0.03 or a?
a
Let f(d) be the first derivative of d**4/4 - 4*d**3/3 - 2*d**2 + d - 3. Let k be f(5). Suppose -5*a = -k + 1. Is a >= 1/7?
True
Let c = 20 - 20.11. Let b = c + -4.89. Is b greater than 2/7?
False
Let v(i) = 2*i**2 - 6*i - 5. Let n be v(5). Let q be ((-12)/5)/((-6)/n). Let d be (2/(-6))/(q/(-18)). Which is smaller: -1/4 or d?
-1/4
Suppose 27 = -3*s + 6*s. Suppose 2*r + 0*v - 5 = v, -s = -3*r + 2*v. Which is smaller: 2 or r?
r
Let k = 871/7 - 124. Let g(t) = t**3 + 7*t**2 + 2*t + 5. Let y be g(-7). Let u = y + 10. Which is bigger: k or u?
u
Suppose 4*j - 2*h + 2 = 2*j, j = -2*h + 5. Suppose 6*a - a + j = 2*v, -3*a + 7 = -5*v. Is 1 greater than a?
True
Let n = -0.3 - -0.2. Let j be (-25)/165 - (-2)/(-11). Are n and j nonequal?
True
Let t = -3 - -4. Suppose 4*x = -5*n - t, -x - 3 - 4 = -n. Suppose 7*b - 6 = 8*b. Which is greater: x or b?
x
Suppose -8*o = -3*o - 15. Suppose -1 = o*k - 4. Let m be (3 + -2 + k)/(-2). Are -2 and m nonequal?
True
Let k(l) = l**2 - 3*l + 1. Let m be k(3). Let t be m*2/(6*2). Let x be 5*(0 + (-2)/(-5)) + -2. Is x < t?
True
Let j = 0 + -0.09. Let b = j + 0.08. Let d = 0 + b. Do -0.1 and d have different values?
True
Let p be 2/10 - 55/400. Let o(t) = -t**2 - t + 1. Let a be o(0). Which is greater: p or a?
a
Let i be (-78)/(-9) - (-2)/(-3). Let c be 6/(-2) + i/4. Let z be -2*((-30)/(-28))/5. Is c <= z?
True
Let n = 140 - 1262/9. Let l = -1 + 2. Which is bigger: l or n?
l
Let y be (0 - 0) + -2 + 5. Suppose 0 = y*l - 6*l - 6, 0 = -a + l + 14. Suppose 3*r = -3*s - a, 0 = 5*s + r - 2*r + 20. Is s > -3?
False
Suppose -34*q + 32*q - 10 = 0. Which is greater: -23/6 or q?
-23/6
Let y = 28689565/208058256 - -1/206407. Let w = -3/112 + y. Suppose -12 = -4*v + 4*h, -4*v = -0*v + h + 8. Are w and v unequal?
True
Let j(z) = z**3 - 7*z**2 + z - 8. Let y be j(7). Is y at most -5?
False
Let h = 4 - 2. Let m be 1 - (4/6)/(-2). Which is bigger: m or h?
h
Suppose 3*h = -4*k + 47, -3*h + 4*k - 29 = -4*h. Which is greater: h or 10?
10
Suppose 35 = -5*f + 4*b, -f - f - 37 = 3*b. Suppose 4*x - 3 = -35. Let m = f - x. Which is smaller: m or -4?
-4
Let t be (6/4)/(1/2). Suppose -2*o = -o. Suppose -7*w + t*w = o. Is w < -4?
False
Suppose w + 69 = 15. Let r = w + 272/5. Which is bigger: r or 2?
2
Suppose 3*c = f - 86, -2*f + 118 = -c - 3*c. Let n = 53/2 + c. Which is smaller: n or -2?
-2
Let g be 1*(-1 - (-1 + -1)). Let t be (3/9)/(2/6). Let r be 2 - (2 - t/(-4)). Which is greater: g or r?
g
Let j = -2 - -5. Let v be (-1)/j*3*-1. Let d be (-2)/(-42) + (-2)/6. Which is bigger: d or v?
v
Let i be (14/70)/((-2)/14). Is 0 at least as big as i?
True
Let s = -29/34 + 6/17. Which is bigger: -0.9 or s?
s
Let f be 4/3*1 - 2. Let m(t) = t + 6. Let b be m(-8). Which is smaller: f or b?
b
Let f be (40/5)/(2 - 1). Let c be -1 - (-2)/f*1. Is c not equal to 0?
True
Let b = 2143/1030 - -2/103. Is b < 2?
False
Let t = 2 - -9. Suppose -3*j = -t - 7. Suppose 2*h = 4*p + j, 3*h = h + 6. Which is smaller: -3/5 or p?
-3/5
Suppose -c + 2 = -4. Let h be (-3)/c*10/35. Is h at most as big as -1?
False
Let y = 28 - 18. Let o be (-3249)/(-60) - 4/y. Let s = o + -54. Is -1 greater than s?
False
Let v(w) = 11*w**2 - 2*w + 1. Let h(q) = 23*q**2 - 4*q + 2. Let y(x) = -2*h(x) + 5*v(x). Let m be y(1). Suppose -4*s + 0*s + m = 0. Which is bigger: s or 1?
s
Suppose 5*a + 19 = 2*m, a + 4*m + 3 + 14 = 0. Let t = -165.9 + 156. Let u = -10 - t. Is a != u?
True
Let v(c) = c**2 + 10*c. Let n be v(-11). Which is smaller: n or 9?
9
Suppose 0 = 4*p - 2 - 10. Let b = -2 + p. Let t be b/(3/3*-1). Which is smaller: -2 or t?
-2
Let q(w) = 2*w**2 + 19*w + 11. Let m be q(-9). Is m at least 3?
False
Let n = -1 + -1. Suppose o - 27 = p - 9, 3*o - 47 = -4*p. Suppose -2*s + o = -3*s + 4*f, -5*s - 2*f = -3. Is s < n?
False
Let q be 2/4*(-8 - -4). Let a be 2*(-42)/(-8)*-2. Let t be (-6)/a + 60/(-14). Which is smaller: q or t?
t
Let w = 0.62 - 0.02. Let n = -0.5 + w. Let a = 0.7 + -1. Is a != n?
True
Let o = -412/73905 + 6/379. Let x = o - 16/39. Do 0 and x have different values?
True
Suppose z + 7 = 3*z - 3*s, -2*z + 12 = -4*s. Let v(h) = h**2 + 10*h + 2. Let q be v(-4). Let a be (-265)/(-55) + z/q. Is 5 > a?
False
Let t = 1.21 + -0.21. Let f = -2.1 + 0.1. Let i = f - -1.9. Is t less than i?
False
Let o be (-7 + 1)/((-6)/140). Let n = o + -698/5. Let i = -0.02 + -0.08. Which is smaller: i or n?
i
Let a = 1 - 2. Let l = 142 - 242. Let o = -1102/11 - l. Are o and a non-equal?
True
Let o = -1189/5 - -237. Is o at most -2?
False
Suppose 16 = 4*q, 94 = 5*s + 2*q - q. Let k = -20 + s. Let p = -0.1 - -0.3. Is k equal to p?
False
Let i be 8/(-2)*6/42. Is -1 bigger than i?
False
Let i = 115/36 + -22/9. Let x be 3 + -1 - (-1 - 1). Suppose 3*f - 2 = 2*f + 3*p, x*p = 0. Which is bigger: f or i?
f
Let p = -19 + 21. Are 0 and p nonequal?
True
Let r = 33 + -36. Which is greater: r or -6?
r
Let d be (-2)/6 + 2/6. Let v be (-30)/190*2/(-6). Let j = -45/133 + v. Which is smaller: j or d?
j
Suppose -20707 = 3*w + 2069. Let t = 38583/5 + w. Let n = t + -125. Is n bigger than 1?
False
Let a(h) = -3*h**3 - h**2 - 3*h - 2. Let z(y) = -y**3 - y*