160 = -3*d + 782, 20 = -5*c. Let h = s - d. Which is bigger: h or -1?
h
Let p = -23 - -22.99. Which is greater: p or 0.1?
0.1
Suppose -a + 75 = -6*a. Is -15 less than or equal to a?
True
Let s = -42 + -18. Is -60 bigger than s?
False
Let x be (80/12)/(11/(-3)). Is 0.2 at most x?
False
Let o be (2/(-3) - -1)*-3. Let n be (-4)/14 + (-35)/(-294). Are n and o equal?
False
Let h(n) = n**3 + 8*n**2 + 3*n. Let m be h(-7). Let q be (-48)/m + (-2 - -4). Let d = 3.1 - 3. Which is smaller: d or q?
d
Let q(c) = -c**2 + 5*c + 9. Let b be q(6). Is b less than or equal to 0?
False
Let c be 1/(2/((-296)/6)). Let h = c + 25. Suppose 0 = 3*z + z - 0*z. Is z <= h?
True
Suppose -3*w + 4*w = 0. Suppose -5*d + 0*d - 5 = w. Let z(p) = -p**2 + 7*p - 6. Let t be z(6). Is d <= t?
True
Let g(o) = o**2 - 6*o + 9. Let s be g(6). Let c(a) = 7*a - 1. Let m be c(-2). Let v = s + m. Is v not equal to -5?
True
Let u = -0.9 - -1. Let t = 0 - 0.5. Let l = t + 0.3. Which is greater: u or l?
u
Let d(r) = -5*r + 61. Let v be d(12). Which is smaller: v or -1/68?
-1/68
Let v = 21 + -20. Which is smaller: 6 or v?
v
Let x = 0.1 + -0.3. Let a = 2.8 - x. Is a greater than 1?
True
Let p(a) = -a**3 - 8*a**2 + 8. Suppose -14 = 2*l + 2. Let j be p(l). Suppose j*f - 3*f = 15. Which is greater: f or 2?
f
Let k = -82 - -81.93. Do 0.1 and k have the same value?
False
Let g(k) = k**2 - 17*k + 14. Let j be g(16). Suppose 4*n + 0*n = -8. Is n at least j?
True
Let n(c) be the second derivative of c**4/12 - 7*c**3/6 - c**2 + 2*c. Let p be n(7). Which is bigger: p or 0?
0
Let g be (2/4)/(2555/(-14)). Let p = 2917/1095 - g. Which is smaller: 4 or p?
p
Suppose -3 + 5 = 2*t. Let d(k) = k**3 - 3*k**2 + k - 3. Let n be d(3). Suppose 2*g - 7*g = n. Which is smaller: g or t?
g
Suppose 2*f + 5*h + 21 = -2*f, 27 = 2*f - 5*h. Suppose w + f = -0*w. Is w <= -1?
True
Let c be (-4)/6*6/1. Let z be (-49 + -3)/4 - (-6)/(-2). Let v be z/5*1/c. Is 0 at most v?
True
Let i = 2 + 4. Let w = -13 + i. Which is smaller: w or 2/3?
w
Let h be -1 + 0 + 2 + -2. Is h greater than 3/13?
False
Suppose -7*t + 2*t + 2*o = 39, -3*t - o - 19 = 0. Which is smaller: t or -8?
-8
Let c be (56 + 1)*(-4)/30. Which is greater: c or -9?
c
Suppose h + h = 0. Do h and -1/8 have the same value?
False
Let t be 21/(-14) - 6/(-4). Let o be 6 + (0/(-2) - 1). Let h = o - 21/4. Which is smaller: h or t?
h
Let p be (2 - 0)*(-3)/(-9). Let o = 149 - 148. Is o <= p?
False
Let h = -3 - -4. Suppose 5*u + a + 60 = 3*a, 4*u = -3*a - 48. Let v be 8/5*(-3)/u. Which is greater: v or h?
h
Let o = -67/210 - -1/30. Is o greater than 4?
False
Let f be ((-460)/18)/(4/(-6)). Let i = f - 38. Which is smaller: 1 or i?
i
Let s be ((-6)/5)/(4/(-10)). Let i = -5 + s. Let p be -1*(-2 - i - 1). Is p smaller than 1?
False
Suppose -3*q - 2 = 4. Let h(t) = 6*t**2 - 4*t + 5. Let y(f) = -f**2 + f - 1. Let z(k) = -h(k) - 5*y(k). Let a be z(q). Is a at most as big as -2?
True
Let n(h) = -h**2 + 11*h - 39. Let p be n(7). Which is bigger: -10 or p?
-10
Suppose 14 = 4*z - 22. Suppose -3*c = 3*q - 6*c + z, 3*c = 2*q + 9. Is q at least as big as 6/17?
False
Let q = -8 + 2. Let z = q - -9. Let y = -3 + z. Is y greater than or equal to 0?
True
Let g = 16.5 + -17. Which is greater: -1 or g?
g
Suppose 0 = 3*k - 5*i - 6, 2*k - i + 8 = 6*k. Suppose 0 = -0*m - 4*m - k*t + 18, -4*t - 14 = -2*m. Which is smaller: 6 or m?
m
Let r be 30/27*6/(-8). Let q = -646 + 644. Which is greater: q or r?
r
Let u(w) = 7 + 1 - 6*w + 1. Let d(q) = 13*q - 19. Let t(g) = 4*d(g) + 9*u(g). Let p be t(7). Which is greater: p or -10?
p
Let r = 4.9 - -1.1. Let y = r + -4. Let n = y - 2. Which is smaller: n or 1/4?
n
Let t be -1 + 0 + (-2)/(-1). Let p(n) = 4*n**2 + n - 1. Let f be p(t). Is 3 >= f?
False
Suppose 90 = -4*b - 14. Let u be 2/8 - b/(-40). Let k = -19 - -20. Which is greater: k or u?
k
Let u = -121/9 - -493/36. Let c = -884.13 + 879. Let y = -0.13 - c. Which is smaller: u or y?
u
Let a(k) = k + 14. Let f be a(-10). Let p = 4 - f. Is 4 less than p?
False
Let p = -15/73 + -552/511. Let d = p + 67/63. Which is smaller: d or -0.1?
d
Let o = 29 - 20. Let q = 7 - o. Are q and -2 non-equal?
False
Let v(z) be the third derivative of z**5/60 - z**4/3 - 2*z**2. Let l be -12*6/(-9)*1. Let h be v(l). Which is bigger: -2/7 or h?
h
Suppose -9 - 6 = 5*b. Which is bigger: b or -1?
-1
Let u(w) = -6*w + 12. Let p be u(2). Are 22/17 and p unequal?
True
Let v = -4 - -12. Let p = -17/2 + v. Which is smaller: -1/3 or p?
p
Let h = 2 - -11. Let c = 14 - h. Which is bigger: 0.4 or c?
c
Let j(o) = o - 4. Let f be j(4). Let k be 1*2*(-2)/(-4). Let c be k*2/(-4)*f. Which is greater: 2/7 or c?
2/7
Let o = -104 + 105. Are o and 1 equal?
True
Let j be -1 - ((-675)/(-20))/(-9). Is j bigger than -0.3?
True
Suppose m = 2*m + 38. Let p be (-3)/m*(-17 + 7). Let r = 132/95 + p. Which is smaller: 0 or r?
0
Let h = -0.109 - 1.851. Let z = -2 - h. Let p = z + 0.14. Which is bigger: 2 or p?
2
Let p = 14 + -10. Let m be (0 - -1)/(p/20). Which is smaller: m or 4?
4
Let q = -8 + 11. Is 1 < q?
True
Suppose -11 = 4*t + 5*b, 3 = -2*t - 5*b - 10. Let g = -2 + t. Let k = -7 - -3. Is g less than k?
False
Let f = -31.4 - -31. Let y = -1.7 + -0.3. Is f smaller than y?
False
Let g = 13 + -6. Let a(h) = h - 6. Let n be a(6). Suppose n = 3*j - g*j - 12. Which is greater: -4 or j?
j
Let t = 29 + -30. Is t less than 9?
True
Let u(o) = o - 4. Let q be u(4). Is q less than -2/9?
False
Let x = 3.9 + -0.9. Let q = -0.04 - 1.96. Let a = q + x. Which is smaller: a or -5?
-5
Let t = -105 - -111. Which is bigger: 5 or t?
t
Let a(q) = -q**3 + 2*q**2 + 2*q - 2. Suppose 4*j - 16 = 0, 3 - 1 = -5*s + 3*j. Let w be a(s). Let m be -1 - (0 + (-17)/11). Which is greater: w or m?
w
Let x = -6 - -9. Let y = -3 + x. Which is smaller: y or -3/5?
-3/5
Let f = -25 - -24. Is f not equal to -2/15?
True
Let u = 1 + 0. Let l = 0 + u. Which is bigger: l or 4/7?
l
Let d be -5*2*(-9)/6. Suppose -p = p - m + d, p + 12 = -m. Let l be p/6*42/(-9). Is l >= 5?
True
Let d(i) = i**3 + 10*i**2 - 5. Let n be d(-10). Are n and -5 non-equal?
False
Let u = -0.51 - -0.4. Which is greater: 2 or u?
2
Let i(c) be the second derivative of -c**3/3 - 3*c**2 + 2*c. Let l be i(-4). Let s be 0/((4/l)/(-2)). Is 1 <= s?
False
Let y(l) = -l**2 - 4*l + 5. Let i be y(-5). Is 2/13 equal to i?
False
Let w = 4 + -4. Suppose w*z - 3*z = 0. Is 3/4 greater than z?
True
Suppose 2 = 2*i - t - 5, -2*i - 2*t + 4 = 0. Which is bigger: 4 or i?
4
Let r be -3 - (-2 - -3)*1. Is -5 not equal to r?
True
Let g = 65/3 - 21. Is 2 > g?
True
Let a be (-1)/(-3 - (3 + -1)). Suppose 0 = -g + 6 - 5. Is a <= g?
True
Let t = -0.15 - 2.25. Let p = -2.7 - t. Are p and -4 equal?
False
Suppose 0*o = 2*o - 4. Suppose -6*g = -8*g + o. Let h be (-2)/8 + (-17)/(-20). Which is smaller: h or g?
h
Suppose 4*y - 15 = -y. Suppose -5*a + 5 = -5*k, 5*k - y*k = a - 3. Let z(f) = -f**3 + 9*f**2 - 8*f. Let q be z(8). Is q > a?
True
Let k be 4/(-22) + (-105)/(-33). Let y = k - 1. Let r(i) = -i**2 + 7*i - 4. Let j be r(6). Is j bigger than y?
False
Suppose -1 = t - 2*t. Let b(d) = -3*d - 3*d**2 - 5 - 3*d + 2*d**2. Let m be b(-5). Which is smaller: m or t?
m
Suppose -3*r + 3*z = -36, 4*z = 6*r - 5*r - 27. Let i = 25 + -16. Which is greater: r or i?
i
Let m = -4 + 4.2. Let u = 0.21 - -2.79. Which is smaller: m or u?
m
Suppose -1 + 19 = 3*q. Which is smaller: 7 or q?
q
Let r(z) = -z**3 - 4*z**2 + 6*z + 3. Let h be r(-5). Let j = 12 - 12.3. Is h >= j?
False
Let h(u) = 2*u + 2 + u**2 + u + 2*u. Let y be h(-4). Let l be y/8 + (-3)/12. Is l less than 0?
True
Let n = 52 - 96. Is n > -44?
False
Suppose -3*p - 13 = 14. Let k(m) = -m**3 - 10*m**2 - 10*m - 9. Let n be k(p). Let h be 4/8 + 11/(-14). Are n and h non-equal?
True
Let r(c) = -c. Suppose -5*o = 5*d + 4 + 1, -4*d - 3*o = 3. Let a be r(d). Suppose 4*m = -4*n - 8, n = 5*m - 2*n - 6. Are a and m nonequal?
False
Suppose 3*b - 3*i - 18 = 2*i, 0 = b + 4*i + 11. Do b and 1 have different values?
False
Suppose 56*q - 61*q - 30 = 0. Suppose 0 = -4*t - 5 - 19. Is t < q?
False
Suppose 12 = -4*w, 4*w - 3 = -5*c - 0*c. Let y be (-6)/(-12) - c/2. Is y >= -3/5?
False
Let w = -3 + 3.1. Suppose f + 0*f + 24 = -2*t, -t = 3. Which is greater: w or f?
w
Let t = 1.7 + -1.6. Let q = 0.07 - -3.93. Are t and q non-equal?
True
Suppose -6*l 