
Let x be (-5 + 6)/((-7)/5 + 0). Is x at most -2?
False
Suppose 0 = 5*f + d + 597, 5*f = 4*f + 4*d - 132. Let x = f + 604/5. Let w be (-28)/98 - (-2)/7. Which is bigger: w or x?
x
Let j be (-5)/20 - 14/8. Let s = -2 + 2. Is s greater than j?
True
Let k = 111/115 - 36/23. Is 0 less than or equal to k?
False
Suppose -3*q = q. Let c = 1 - q. Is c greater than 1/5?
True
Let r = -0.24 - -8.14. Let d = r + -12. Let z = d - -4. Is z equal to 0?
False
Let v = 1 - -1. Suppose 8 + 0 = v*p. Suppose 2*j + 5*t = -12, 4*t = -p*j + 2*t - 8. Is j at most -1/3?
True
Let k = -9 + 6. Suppose 0 = -x - 4*x - 5. Is x less than or equal to k?
False
Let q be 20/(-588)*(-6)/(-15). Which is greater: 0 or q?
0
Let u be -8*(3 + (-15)/6). Let h be (2 - (-16)/u)/(-1). Is 1 > h?
False
Let s be (134/(-215) - 12/(-20))*1. Is s less than 1?
True
Let z = 39 - 26. Let b = -21 + 34. Is b at most as big as z?
True
Let b = -26 - -15. Which is greater: b or 1?
1
Let b(l) be the second derivative of l**5/20 - l**4/2 + 3*l**2 - l. Let o be b(6). Let k be 2/(o*3/(-6)). Which is greater: 0.1 or k?
0.1
Let g be (-2)/(-3)*27/18. Let w be g*-3*3/(-9). Is 1/21 greater than w?
False
Let l = -48 - -50. Is l at most 7/11?
False
Suppose 10*i + 2*l = 14*i - 508, 2*l = -2*i + 260. Is i < 128?
False
Suppose 9 - 3 = 3*f. Let b(z) = -z - 1. Let t be b(-7). Suppose t*d = f*d. Which is smaller: d or -1/6?
-1/6
Let t be (-16)/6 - 6/(-9). Which is smaller: -3 or t?
-3
Let x be 2/4 - (-2)/(-4). Let h = 0 + x. Let f be (1/7)/((-24)/16). Which is smaller: h or f?
f
Let i = 7 + 1. Let j = i - 8. Is j equal to 6?
False
Let p be (12/(-9))/2*-3. Let i = 1 + p. Let j be i/4 + (-3)/(-12). Does j = 2?
False
Let n = -17/33 - -13/11. Which is bigger: n or -5?
n
Let l = 24 + -16. Let i(m) = -2*m**2 + 15*m + 8. Let u be i(l). Which is greater: -6/17 or u?
u
Let z = -16 - -16.3. Let h(o) = -o + 1. Let a be h(1). Is z > a?
True
Let v = 797/3874 - 2/149. Are v and 1 equal?
False
Suppose 2*r + 2 = -v + r, 0 = 4*v - 3*r - 27. Is 4 != v?
True
Let o = -4238 - -55183/13. Let b be (2 + -1)/((-5)/15) + 10. Let n = o - b. Are n and -2/5 unequal?
True
Let l(k) = -k**3 - 7*k**2 - 7*k - 9. Let w be l(-6). Let j be 3/(-1) - w/1. Which is smaller: 3/7 or j?
j
Suppose z + 13 = 5*d, -3*z = 2*z + 4*d - 22. Suppose m + 3 = -z. Is m smaller than -4?
True
Let r = 0.6 - -23.4. Let l = 25 - r. Which is greater: 7 or l?
7
Let x = -17 - -29. Is -0.1 < x?
True
Let i(k) = k**3 - 7*k**2 - k + 9. Let g be (-9)/(-15) - 64/(-10). Let d be i(g). Is d != -0.1?
True
Let r(z) = z**3 + 8*z**2 + 7*z + 3. Let b be r(-7). Suppose b*u + 0 = 3*j - 18, 5*u = -j - 18. Is j greater than 2?
False
Let a(r) = r**2. Let v be a(-1). Let z be 2334/7 + -3 + v. Let b = z - 332. Is b at most as big as 0?
True
Suppose -5*d - 3 = 2*u - 16, 0 = -2*d + 2. Let m(l) = -l**2 - 8*l - 5. Suppose 2*k - 2*z + 17 = -z, z = 5*k + 38. Let y be m(k). Is y <= u?
True
Let l = -12 - -8. Let t = -2 - l. Which is smaller: 3/5 or t?
3/5
Let h(l) be the third derivative of l**4/24 + l**3/6 - l**2. Let k be h(-4). Is k > -3?
False
Let v(f) = 2*f - 15. Let q be (-1)/(9/(-8) + 1). Let a be v(q). Let r = -0.1 - 0.1. Which is greater: r or a?
a
Suppose -17*i - 456 = -14*i. Let q be i/(-133) - 1/7. Is q equal to -1/12?
False
Let b = -2932805/1914 - -16854/11. Let t = b + 8/29. Which is smaller: t or -2?
-2
Let g = -0.44 - -0.34. Which is bigger: 16 or g?
16
Let i be -9*-3*2/(-18). Let l(q) = -2*q**2 - 2*q. Suppose 20 = -5*d + 2*s, 3 = d + 4*s - 15. Let h be l(d). Which is smaller: i or h?
h
Let b be ((-496)/(-200))/((-4)/(-20)). Which is bigger: 13 or b?
13
Let i(p) = -p**2 + 3*p + 10. Let t be i(5). Suppose t = -4*o - 2 - 6. Which is bigger: -5/3 or o?
-5/3
Let i(m) be the third derivative of m**6/120 + 2*m**5/15 + 2*m**3/3 - m**2. Let v be i(-8). Suppose l - v = -l. Is 1/2 != l?
True
Let m be (30/(-92))/((-22)/(-20)). Let z = m + 11/23. Is z at least -1?
True
Let d be 1/2*(1 - -1). Let h be (1/1 - d)/(-1). Let g = -15 + 16. Which is smaller: h or g?
h
Let v = -93 + 94. Are 5/9 and v non-equal?
True
Suppose 2*j - 4 = -2*j - 3*w, 0 = j - 2*w + 10. Let q = 6 + j. Let f be 10/(-15)*(-2)/q. Which is smaller: f or -2/9?
-2/9
Suppose 8*d = -4 - 4. Suppose 2*b - 2 = -0. Is b smaller than d?
False
Suppose -2*q = z - 3, -3*q - z + 11 - 4 = 0. Suppose 2*y = c + 2*c - 5, 4*c = -q*y. Suppose -5*s = -h + 9, -5*h + 7 + 13 = 0. Are y and s non-equal?
False
Let t be 1 - ((0 - 1) + -52) - 3. Are t and 51 unequal?
False
Let h be (-4)/5*(-1)/(-2). Which is smaller: -3 or h?
-3
Let w = -51/62 + 10/31. Is -5 greater than w?
False
Suppose 5*z - z = 12. Let y be 8/z + (-7 - -5). Which is greater: y or 2?
2
Let r = 8 + -4. Suppose r = 6*p - 4*p. Is 3 at least p?
True
Let x = 1/3 + -5. Which is smaller: -1/2 or x?
x
Let w(d) = d**2 + 14*d + 6. Let c be w(-13). Let r = c + 6. Which is smaller: -2 or r?
-2
Let g be ((-12)/15)/((-2)/5). Suppose 0 = 5*q + 15, -t + 3*t - g*q = 6. Suppose t = 3*w - d + 5, -4 = 4*w - d + 3. Which is bigger: -3 or w?
w
Let o = 38 + -35. Is 3 != o?
False
Suppose 0 = 16*w - 15*w + 5. Suppose 3*g + 9 = 0, -2*y - 28 = 2*y + 4*g. Which is smaller: y or w?
w
Let a be (6/(-10))/((-48)/30). Which is smaller: 1 or a?
a
Let t = -4/149 + 922/1043. Which is bigger: 0 or t?
t
Suppose 0 = 2*z - 5*z + 15. Suppose -z*q = -q. Is q bigger than 1?
False
Let l = 23 + -22.78. Let w = -0.08 - l. Let s = w + 0.3. Is 0 >= s?
True
Let y(u) = u - 2. Let i be y(5). Is i > 3?
False
Suppose 7*p - 55 = 1. Is 6 != p?
True
Let z = -1/49 + -87/539. Which is greater: 1 or z?
1
Let k = -22 + 32. Let q = k + -7. Let p(w) = w - 2. Let r be p(q). Which is smaller: 0 or r?
0
Let f = -4 + 4.4. Suppose 0 = 4*n - 4*v - 24, 0 = 3*v + 10 + 2. Suppose 2*t - 1 = 4*c + t, n*t - 2 = -5*c. Is f at most c?
False
Suppose 6*j = 5*j + 4. Let p be j/16 - (-6)/(-16). Which is smaller: 0 or p?
p
Let z = -21 + 23. Suppose -3*d + 57 = 5*k, -z*d = k + 2*d - 8. Is k smaller than 12?
False
Let o(l) = l + 2. Let u be o(0). Let t be 7/u*4/8. Which is smaller: 1 or t?
1
Let j = -10 - -6. Let y be (2/j)/(2/6). Let u(t) = t**3 + 5*t**2 - 13*t + 6. Let s be u(-7). Is y smaller than s?
True
Let y = -222 - -189. Is 2/7 != y?
True
Suppose 0 = -0*c - 2*c + 4, -m + 3*c - 7 = 0. Is -12/23 equal to m?
False
Let n = -60 - -29. Let t = n + 27.1. Let z = 4 + t. Which is greater: 3 or z?
3
Let b = 5 - 2. Suppose 0 = b*c + 5*q - 15, -c - 3*q + 5 = -4*q. Let p be 0 - (10/9)/c. Which is bigger: p or -1?
p
Let k = 207/4 + -52. Let c(m) = -m**2 + 7*m + 9. Let z be c(8). Let i be -1*z + 11/(-44). Is k greater than or equal to i?
True
Let q = 47 - 45. Let y = 7 + -5. Are y and q equal?
True
Suppose -2 = -3*u + 5*u. Let m(c) = c**3 + 6*c**2 - 1. Let i be m(-6). Let o be i - 13/(-15) - 0. Is u != o?
True
Suppose 0*l - 2*l = 0. Let i(d) = -7*d + 17. Let h(y) = 10*y - 25. Let p(o) = -5*h(o) - 7*i(o). Let n be p(5). Which is bigger: n or l?
n
Suppose 0 = 2*x - 7*x - w + 18, 6 = 3*x - w. Suppose -x*m + 2 = 14. Let r = 0.1 + -0.2. Is r less than or equal to m?
False
Let s(m) = -m**3 - 3*m**2 + m + 1. Let a be s(-3). Suppose 16 - 20 = -2*n. Suppose -n*d = -10 + 4, 5*v - 5*d = -20. Is v >= a?
True
Suppose 0 = 2*z + 46. Let l = z + 14. Let o be 2/(-1 - l)*2. Is o at least as big as 0.06?
True
Let q = 0.42 - 0.5. Is -0.2 greater than or equal to q?
False
Suppose 0*m + 5*s + 9 = -2*m, 4*m = -5*s - 3. Are -6 and m nonequal?
True
Suppose -2*i + 3 = s, 2*i - 4*s + 0 = 8. Is i less than 2?
False
Let z(h) = -3*h + 15. Let b be z(5). Is -2/59 > b?
False
Let u = 87/2 - 42. Does u = 1?
False
Let z = -5.16 - -0.16. Which is bigger: z or 0?
0
Let s = -0.052 + -0.068. Let w = 0 - 0.1. Which is greater: w or s?
w
Let r = 96 + -100. Which is smaller: 0.3 or r?
r
Suppose 0 = -3*m + 4*j, -m = -6*m + 5*j. Suppose -4*i + 2*i + 24 = m. Let q = i + -6. Which is bigger: 5 or q?
q
Let n = 4 - 0. Let o be 30/n*1/(-5). Let w(d) = -d + 10. Let r be w(12). Is o greater than or equal to r?
True
Let z = -10 - -16. Let p = -7 + z. Is p at least as big as -2?
True
Let d = -16 + 15.9. Which is bigger: d or -8?
d
Let t = 121 + -116. Which is smaller: t or 7?
t
Let z(f) = -4 + 8*f - f**3 - 3*f - f**2 + 4*f**2. Let w be z(4). Which is smaller: w or -2/5?
-2/5
Suppose -2*j = 4*n - 6 - 4, j = 2*n + 5. Let z = -2/25 + -1