s f greater than or equal to -7?
True
Let d be 10/(-12) - (-11)/(-66). Which is greater: d or 0.3?
0.3
Let c be -2 - (0 + (-32)/14). Suppose -4*j + 32 = 2*z, 5*j - 26 - 5 = -z. Suppose 3*k + 3 = z*k. Is k greater than or equal to c?
True
Let c = 2.2 - -0.8. Let p = c + -3. Is p greater than or equal to -3?
True
Let q be (-3 + (-270)/(-95))/1. Is -1 <= q?
True
Suppose 0 = -0*c - c. Suppose 4*h + 11 - 3 = c, -5*g + 2*h - 6 = 0. Suppose 4*k = -4*r, -2*k = 6*r - r. Is g < k?
True
Let g(n) = n**2 - 4. Let s be g(0). Let c(v) = -v - 8. Let q be c(s). Which is smaller: q or -3?
q
Let q(u) = u + 3. Let j be (-1)/(-2*(-3)/30). Let n be q(j). Let s = -1 - 0. Is s greater than n?
True
Let d = -1.7 - 0.3. Let p = d - -1.8. Let j = p - 0.8. Is -0.4 > j?
True
Let h be (-2)/(-5) - (-78)/(-45). Is h bigger than -2?
True
Suppose 4*t - 4 = 3*t. Let r = t + -2. Suppose 0 = h + 4*h + 2*m - 18, -m = -r*h. Is 1/2 at most h?
True
Let l = 0.35 - 0.39. Which is greater: 2/7 or l?
2/7
Suppose -7*q - 20 = -17*q. Suppose -4 = 3*k + k. Is k bigger than q?
False
Let v be 4 - (-2 - 0 - -3). Suppose -4*n = 4*h - 7*n + 4, 4*n = v*h + 10. Suppose -h = 2*o - 4. Is o >= -1/12?
True
Let o = 9 - -1. Let z be (-2)/o - (-8)/15. Let h be (0 + (-2)/(-4))*-2. Is h smaller than z?
True
Let u = 25/3 + -9. Let t = 13 + -14. Is t greater than or equal to u?
False
Let w be ((-8)/(-10))/((-10)/75). Let q be (-1)/(-24)*3*w. Is -1/3 smaller than q?
False
Let u = 32 - 43. Is -10 less than or equal to u?
False
Let k be -2 + 3/(-3) + 3. Which is smaller: k or 0.3?
k
Let r(c) = 2*c + 3. Let p be r(-2). Suppose o - 16 = 2*v + v, 2*o + 3 = -v. Let k be o + 0 + (-9)/12. Is p greater than or equal to k?
False
Let c = -0.5 + 0.4. Let x = 0 - 0.1. Let j = c - x. Is j >= 0?
True
Let b = 3 + -2. Are b and 0.05 nonequal?
True
Let a(f) = f**3 + 3*f**2 + 2*f. Suppose -q - 2*q = 0. Suppose q = -5*z - 5 - 5. Let d be a(z). Which is greater: d or -4/3?
d
Suppose -3*m + l = -2*m - 8, m = -2*l + 5. Is 7 less than or equal to m?
True
Let v = -5.9 - -7.9. Suppose -o - 4 + 5 = 0. Is o < v?
True
Let x = -8/9 - -23/36. Let w be 4/18 + 4/(-18). Is w smaller than x?
False
Let i(q) = 3*q**3 - q**2 - 2*q - 1. Let y be i(-1). Let m = 2 + y. Let k = 0 + -1. Is k at least m?
True
Let u = 4.97 + 0.03. Let q = -4.6 + u. Is q < -1?
False
Suppose c + 0*c + 8 = 0. Let x = c + 10. Is 2 not equal to x?
False
Let k(c) = -c**2 - 12*c - 7. Let w be k(-11). Suppose -5*j = -3*j + w. Which is smaller: j or -3?
-3
Let i(q) = q + 7. Let u be i(0). Suppose -u = 3*v - 4*v. Let c = v - 7. Which is smaller: -1/4 or c?
-1/4
Let b be (-2)/(-7)*(-71 - 1). Let x(n) = -3*n**3 - 2*n**2 - 3*n - 1. Let j be x(-2). Let m = b + j. Is -0.1 greater than or equal to m?
False
Suppose 0 = 2*p - 3*p. Suppose -4*u - 3 - 1 = p. Is -2/9 at most as big as u?
False
Suppose -3*h = -4*m - 8 - 3, -h - 23 = 4*m. Let x(b) = 2*b + 2 + 5 + 1. Let c be x(-6). Which is smaller: c or h?
c
Let z = -27/2 - -83/6. Let v = 111/4 + -28. Does z = v?
False
Let n = -0.1 + -0.5. Let t = -0.3 - n. Which is smaller: 0.1 or t?
0.1
Let x = 42 + -45.5. Is -2/5 less than or equal to x?
False
Suppose 3*v = 4 - 22. Which is greater: -7 or v?
v
Suppose 0 = 2*w - 4. Let c be ((-1)/2)/(w/(-20)). Suppose 5*a - 5*p = 0, -3*a = -2*a + c*p. Which is greater: a or -2?
a
Let h = 84 + -53. Which is greater: -0.2 or h?
h
Let g = -0.093 + 6.193. Let x = -6 + g. Do x and 2 have the same value?
False
Let t = -1.3 + 5.3. Which is smaller: 0.17 or t?
0.17
Suppose -3*j - 312 = -123. Let y be 8/(-30)*j/14. Let w be 2/7 + 8/(-28). Which is smaller: y or w?
w
Let a = -0.468 + -0.102. Let p = 0.03 - a. Let g = p + 0.4. Is g less than -1/3?
False
Let c be (-2 + (-30)/(-16))*-2. Let h(d) = -d - 7. Suppose 0*v = -4*v - 24. Let y be h(v). Which is bigger: c or y?
c
Suppose 5 = 4*y - 19. Let c be (-5)/(-12) + (-4)/y. Let h = -15.7 + 16. Is c at least as big as h?
False
Suppose -5*y + 22 + 0 = 3*x, -y + 5 = 0. Let r = 1/18602 - -9338199/93010. Let m = 100 - r. Is x smaller than m?
True
Suppose -10 = -h + 5. Suppose -4*d = d + h. Let z = -11/3 - d. Is -0.1 greater than z?
True
Let r be (-208)/20 - (-8 - -5). Does r = -6?
False
Let g = -1.6 + 1. Let s = -2.6 - g. Let t = 12 - 58/5. Is s < t?
True
Suppose -6 = y - 4*y. Which is greater: 5 or y?
5
Let p be ((-6)/4)/(3/(-20)) + 1. Which is smaller: 10 or p?
10
Let k be (8/10)/(24/(-60)). Is -2 at least k?
True
Let o(c) = -c**3 + 3*c**2 + 4*c - 8. Let z be o(4). Is z less than -6?
True
Suppose -o + 2*o = -3. Let j be (-2)/((-3)/(o/5)). Is j at most -0.1?
True
Let p = -0.11 + 1.11. Let d = 0 + 3. Is p smaller than d?
True
Let d = 1.3 + -1.4. Is -14 >= d?
False
Let u = 3 + -1. Suppose 5*w + 25 = 4*c, 8 = 3*w + 3*c - 4. Let r = u - w. Is 4 equal to r?
False
Suppose 3*v + 1 = -3*s - 2*v, 3*v - 13 = 5*s. Let d(l) = l**2 - 4*l + 3. Let o be d(4). Let x be -1*o*3/9. Is x at most s?
False
Let k = 175 + -1573/9. Let l = 6 - 3. Let h = l + -4. Which is smaller: h or k?
h
Suppose -22 = -5*l + n, -2*l - 3*l + 3*n + 16 = 0. Suppose -i - 1 = -2*h + 2, -4*h = -l*i - 21. Let t be 0 + 1 + h + 0. Is -2/13 not equal to t?
True
Let p(k) = -k - 5. Let c be p(-5). Suppose 5*w + 11 + 19 = -5*a, -3*w - a - 8 = 0. Which is bigger: c or w?
c
Suppose 2*g + 3*g + 5 = 0. Let c = -2.994 - 0.006. Which is bigger: c or g?
g
Let u be (4/(-6))/(2/(-4)). Suppose -3*z = 2*z - 25. Suppose -z*i + 0*i = 0. Is i greater than u?
False
Let a = -659/5 - -133. Suppose -6 = 3*k + 3*w, -4 = k + 2*w + 2. Which is smaller: a or k?
a
Suppose -3*z = 4*t + 278 - 94, 0 = 3*t + 4*z + 131. Which is greater: t or -48?
-48
Let y = -0.06 + -0.14. Which is greater: 5/3 or y?
5/3
Let c be (-6936)/1740 + 4 + 0. Is c greater than or equal to 1?
False
Let i = 1/4 - -1/4. Let f = 2 - 1.8. Are f and i nonequal?
True
Let d(a) = 7*a**2 + 3*a - 2. Let x be d(-3). Let r be 2/11 + x/(-44). Let c = 328 - 8854/27. Which is smaller: r or c?
r
Let u = 6 + -6. Is 2/31 >= u?
True
Suppose -2 = s, 2*s + 30 = 2*h + s. Let c = -100/7 + h. Let q = 642/5 - 128. Which is smaller: q or c?
c
Let p be 1*(2 - -8)*6/(-15). Which is smaller: -3 or p?
p
Let c = -2 + -2. Let g be c/2 + 1/1. Let h be -1 - 3/(-6) - g. Is 2 greater than h?
True
Let k = -0.03 + -0.37. Let q = k - -0.6. Let p = 5 - 3. Is q bigger than p?
False
Let q(s) = -10*s + 57. Let f be q(16). Does -104 = f?
False
Let k(w) be the second derivative of -w**5/20 - 5*w**4/12 + w**3 - 5*w**2/2 - w. Let x be k(-6). Do x and -0.1 have different values?
True
Suppose 0 = -2*f + q + 3*q - 2, q - 2 = 0. Is 4 > f?
True
Let g = 2 + -4. Is g bigger than -0.3?
False
Let h(y) = -2*y - 6. Let t be -10 + -2*(-2 + 0). Let i be h(t). Is 6 <= i?
True
Let o be (10/(-40))/(50/12). Which is bigger: o or 1?
1
Suppose -4 = 5*z - 29. Suppose 5*m - 10 = -4*u, -2*u + z*m + 20 = -0*m. Is u >= 5?
True
Let f be 2/(1/(-1)) + 8. Suppose 4 = 4*y, 11*a - f*a - 4 = -4*y. Suppose a*t - 2 = -2*t. Which is bigger: t or 2/19?
t
Let y be 2/5*10/(-62). Is y bigger than -1?
True
Let d = -28 + 22. Suppose m = -5 - 0. Which is smaller: m or d?
d
Let k = -4 + 6. Which is smaller: 17 or k?
k
Let o = -0.73 + 0.53. Is -15 greater than or equal to o?
False
Let h be (-15)/2*2/3. Which is smaller: h or -4?
h
Let t = -7/9 - -94/63. Do 0 and t have different values?
True
Let d = -4/117 - 658/1287. Is 0.2 at most d?
False
Let x = 227/40 + -45/8. Is 0 smaller than x?
True
Let c be -6 + 5 - 2/(-10). Which is greater: c or 18?
18
Suppose -r - 3 + 9 = 0. Suppose -48 = r*j - 2*j. Which is bigger: j or -11?
-11
Let l be -2 + -4 - (-2 + 5). Which is smaller: l or -8?
l
Suppose -12 = 4*l, -4*u + 4*l + 12 = -0*l. Let y be (-2)/6 - (-20)/(-3). Let q be (-1 - y/5) + 0. Which is greater: u or q?
q
Suppose 0 = 2*h + 2 - 8. Suppose 11 = 5*u - 9. Let b = u + -1. Is h greater than b?
False
Suppose 3*s - 2 = -c, -4*s - 4*c = -5*s + 18. Suppose j - s = -11. Let f be (j/(-15))/(2/(-10)). Which is smaller: -1 or f?
f
Let a be (-1904)/60*155/(-106). Let c = a + -39/53. Let w = 46 - c. Which is smaller: 0.2 or w?
0.2
Let s = 6200/64659 + -2/3079. Let k(u) = -u**2 - 5*u - 4. Let f be k(-3). Let t be ((-2)/f)/((-1)/(-1)). Is s not equal to t?
True
Let x be (-1 + (-9)/(-15))*(-15)/57. Is x != -4?
True
Suppose 0 = -4*h + 5*h - 7. Suppose -h = 3*a + 14. Which is smaller: