8. Is h less than or equal to 14?
True
Let o = -29 - -28. Is o < -7/9?
True
Let f = 14 + -12. Suppose -4*k - 4*s = 12, 12 = -6*s + f*s. Let g be -2 - (-2 - (1 + -1)). Is g at least as big as k?
True
Suppose -s - 6 = -15. Is s at most 1?
False
Suppose -287 = 5*c - 52. Which is smaller: c or -46?
c
Let o(t) = -3 + 4*t + 0*t - t**3 + 3*t + 6*t**2. Let f be o(7). Is f at most as big as -4?
False
Let y be 2 + ((-48)/(-4))/(-4). Which is bigger: -4/35 or y?
-4/35
Let h be 3 - (6 - 0/1). Let j = h + 1. Let t be 2 - (3/4 - -1). Which is smaller: t or j?
j
Let c be -1 - (-11 - -3)/2. Suppose 2*s = -c*s. Which is bigger: s or 1/21?
1/21
Let h(q) = q**2 + q - 7. Let c be h(-3). Are -5/9 and c nonequal?
True
Suppose -7*u + 5*u = 0. Suppose 5*i = -0*i. Is i equal to u?
True
Suppose -3*x - 4*i = 6, 0 = -x - 2*i - 4. Let t be (x + (-10)/8)*8. Which is greater: t or 7?
7
Suppose -18*k + 20*k = 56. Which is smaller: 26 or k?
26
Suppose -d + 3 + 0 = 5*x, d - 3 = -x. Let w be (x - 2/4)/(-1). Let s = 5 + -3. Is w not equal to s?
True
Let b be (92/6)/((-8)/(-84)). Let s = b - 2897/18. Which is bigger: s or -1?
s
Suppose 4*v + 3*q = -5 + 37, -4*v + 32 = -q. Let x = v + -5. Suppose -r - 3*w + 4 = 3*r, -12 = 3*w. Which is greater: x or r?
r
Let o be (0 - 0) + (5 - 2). Suppose m = o*p + 19, 15 = -2*p - 3*p. Are m and 11 equal?
False
Let x(v) = 5*v**2 - v. Let z be x(-1). Suppose -2*t - 2 = z. Let y(d) = -d**2 - 2*d + 5. Let c be y(t). Which is smaller: -2 or c?
c
Let s(u) = u**3 - 7*u**2 - u + 9. Let v be s(7). Let q = -3 + v. Which is greater: q or -2/25?
-2/25
Suppose -1 = -5*v - 6. Which is greater: -3/8 or v?
-3/8
Let q be -5*3/(3/4)*1. Is -19 < q?
False
Let s be 489/(-9)*1 + (-4)/(-3). Is -52 at most as big as s?
False
Let a be (54/(-3))/2 + 1. Let p be (-2)/(16/17 + -1). Suppose y - 4*m = -20, 3*y - 7 + p = m. Is a > y?
False
Suppose 8*f - 7*f = -4*w - 42, 5*w = 5*f + 85. Is f != -22?
False
Let n(q) = q**2 + 3*q - 2. Let y be n(4). Let h be (12/21)/(8/364). Is h greater than y?
False
Suppose 0*c + 9 = 2*c - 5*i, -4*c + 5*i + 13 = 0. Let f(t) = -t**3 + 16*t**2 + 35*t + 19. Let y be f(18). Is y != c?
True
Suppose -29*n = -26*n + 33. Is n less than or equal to -10?
True
Let b be 7/((-21)/(-12))*3/114. Do b and 0 have the same value?
False
Let y be 4/20 + (-68)/(-10). Let u(v) = -v + 10. Let f be u(y). Suppose f - 1 = 2*m. Is m greater than 4?
False
Let r = -0.08 + -0.08. Let w = r + 0.06. Which is smaller: -16/3 or w?
-16/3
Let n(z) = -z**3 - z**2 - 2. Let i be n(0). Let c be (-1)/i*(-1 + 1). Let t = -13/57 - 2/19. Is c bigger than t?
True
Suppose 2*t + 1 = -5. Is t at least -1?
False
Let q be 4/4 + 30/(-25). Let u be 1 + 0 + (-1 - -1). Which is greater: u or q?
u
Suppose -3*m - 2*p + 5*p + 9 = 0, -4*p - 12 = -5*m. Which is smaller: m or 2/3?
m
Let v = -12171 + 85560/7. Let w = -52 + v. Suppose -2*p = 4*n - 4*p + 2, 0 = -n + p. Which is greater: w or n?
w
Let t(k) = -3*k**2 + 5 + 5*k**2 - 4*k**2 + k**2 + 7*k. Let i be t(6). Let r = i - 9. Is 4/5 greater than or equal to r?
False
Let o = -0.26 + 0.3. Let r = 4 - -3. Let c = r - 6. Is o > c?
False
Let c = 297 + -300. Let m(h) = h**3 + 6*h**2 - h - 8. Let p be m(-6). Which is smaller: p or c?
c
Let i = 0.02 + -0.07. Let z = i + 0.05. Let p = z + 2. Which is smaller: p or 2/9?
2/9
Let d = 0.478 - 0.278. Let w = -2.2 - -0.2. Which is greater: d or w?
d
Let s = 11 + -7. Let g = 33 + -30. Let d = g - s. Which is smaller: -5 or d?
-5
Let v = -30 - -211/7. Let t = -7.09 - -7. Let h = -1.09 - t. Which is smaller: v or h?
h
Let q be (4 + -2)/((-1)/14). Which is smaller: q or -27?
q
Let o = -3 + 3. Let i be -1 - 0 - 7/7. Is o > i?
True
Suppose -r - 35 = 3*h, -2*h - 2 = -4*r + 12. Let p = h - -7. Which is smaller: -7 or p?
-7
Suppose 5 = c - 0*c. Suppose -w = -c*x + w - 5, 25 = 5*w. Which is bigger: -0.11 or x?
x
Let o(x) = 6 - 10*x - 1 + x**2 + 3 + 4. Let m be o(8). Which is bigger: -3 or m?
-3
Let v be 0 + (-2)/(-2 + 0). Let w(p) = p**3 - 7*p**2 - 1. Let t be w(7). Is t != v?
True
Suppose 2*k - 5*s + 30 + 8 = 0, -s + 2 = 0. Which is smaller: k or 1?
k
Let r = 67/6 - 11. Let n = -18 - -413/23. Let x = n - 21/46. Do x and r have different values?
True
Let v be 6 - 2 - -62 - 2. Is 64 bigger than v?
False
Suppose -3*r = r. Is r >= 3/17?
False
Suppose 8 = -4*j - 2*l, 4*j + 9*l + 20 = 4*l. Suppose 2*z - 7 + 5 = j. Is z smaller than 1/12?
False
Let i = -1.22 - -1.22. Is -3 at least i?
False
Let u be 1/(-4) - (-21)/(-12). Are 0 and u nonequal?
True
Let x = 53 - 267/5. Let d = 0.7 - 1. Let l = d + 0.4. Which is smaller: x or l?
x
Let n be (2/4)/(5/(-10)). Let m = -3415/17 + 201. Are n and m unequal?
True
Suppose -4*c = -118 + 122. Is 12 > c?
True
Let d be 20/(-6)*(-48)/10. Suppose j - 3*o = -d, -10 = 4*j - o - 1. Let u = -3/154 - 281/1386. Which is smaller: u or j?
j
Let y = -4 + 9. Suppose 0 = -5*f - 5*x - 5, 2*x + y = f. Is f at most as big as -2/31?
False
Let x be 2 + 73/(-36) - -2. Let c = x + -7/4. Let s = -3 - -2. Which is greater: s or c?
c
Let z = 3 - 2. Suppose -3*v = -v - h - z, -2*v = -2*h - 6. Which is greater: v or -3?
v
Suppose -3*h - 5 = c, -c - 2*c = -12. Let m = -2 - h. Which is greater: m or 0?
m
Suppose 9 = -k - 54. Which is smaller: k or -64?
-64
Let g = -9 + 62. Is g at most as big as 52?
False
Let q = -86 + 57. Is q less than -29?
False
Suppose 0*l = -2*l + 10. Suppose 1 = -l*g - 4. Is g != -1?
False
Let g = -0.1 + 0.1. Let a = -6/707 + -2594/27573. Let m = -3/13 + a. Is g != m?
True
Let o = -0.07 - -0.67. Let t = 13 - 12. Which is greater: o or t?
t
Suppose 2*x - x = -19. Let u = -11 - x. Let s be (u/6)/(3/(-9)). Are s and -3 unequal?
True
Suppose -3*v = -5*b + b - 7, -v = -3*b - 9. Let k = 5 + v. Let d = k + 0. Which is smaller: d or 1?
1
Suppose 4*g - 25 = -g. Which is smaller: 4 or g?
4
Let k be 3 - (2 + -1 + 2). Suppose -2 = -3*s + s. Let r be -3 + (k - s - 0). Are r and -2 nonequal?
True
Let o = 1 + -0.9. Let a = o - 0.6. Is a greater than 0.1?
False
Let a(i) be the second derivative of -i**4/6 - i**3/6 + i**2 - 4*i. Let p be a(1). Which is smaller: p or -1/7?
p
Let g(y) = -23*y + 7. Let n be g(5). Let v be 262/n + (1 - -1). Let s = v - 2/27. Is -0.1 less than s?
False
Let h = 1.2 + -7.2. Let v = -6 - h. Does 0 = v?
True
Suppose 0 = 4*s + 4*a - 64, 3*s - 68 - 20 = 5*a. Let d = 22 - s. Suppose 0 = -3*w + 3 + 3. Which is bigger: d or w?
w
Suppose 5*u = 10, 0*n - 2*n - 3*u = 52. Let c = n - -21. Is c != -8?
False
Let l be (8/10)/((-2)/(-15)). Let r(a) be the second derivative of -a**3/6 + a**2/2 + a. Let b be r(l). Which is bigger: -4 or b?
-4
Let m(k) = -17*k + 28. Let n be m(3). Which is greater: -25 or n?
n
Let k be 1/(-5) - (-51)/105. Is k smaller than 5?
True
Suppose 2*i + 2*i + 76 = 0. Let u be 5/(-20) - i/(-4). Is -2 >= u?
True
Let l(s) = -s + 12. Let p be 1 - -7 - (3 + -3). Let w be l(p). Is w equal to 5?
False
Suppose 3*t + 2*y = -9, -t + 4*y - 17 = -0*t. Let s(d) = 5*d + 1. Let v be s(-1). Is t != v?
True
Let q be ((-406)/49)/(0 + -1)*-1. Does -8 = q?
False
Let g be (-46)/(-299) + (-35)/(-26). Do 2 and g have the same value?
False
Suppose 0*l - 11 = 2*b + 5*l, -3*l - 6 = b. Let f be (-2)/1 + b + 15. Suppose -t = 5*h - f - 0, -3*t - 30 = -5*h. Which is bigger: t or 0?
0
Let z = -80 - -79.03. Let a = z + -0.03. Is a greater than or equal to -2?
True
Let m(t) = -t**3 - t**2 + 4*t + 5. Let w be m(-2). Is w equal to 2/43?
False
Let w be 7 + -3 + (-6)/(-3). Suppose 2*p = -10 + 2. Let a be ((-4)/(-6))/(p/w). Is a smaller than -1/3?
True
Suppose -22 = w + w. Let g = w + 4. Do -5 and g have the same value?
False
Let l = -28.4 - -27. Is l greater than -2?
True
Let n(w) = -w**3 + 12*w**2 - 12*w - 10. Let q be n(11). Is 1 less than or equal to q?
False
Let h be (-2)/(-3)*(-18)/12. Is 0 != h?
True
Suppose 12*k + 0*k - 1212 = 0. Does 100 = k?
False
Let u(o) = -3*o - 3. Let l be u(-3). Let n(a) = 4*a**3 - 1. Let c be n(1). Let z = c + 2. Which is bigger: z or l?
l
Let a = -0.06 - -0.16. Which is smaller: -2 or a?
-2
Let t = -9 + 8.8. Let b = t - -2.2. Are 4 and b unequal?
True
Let c(g) = g**2 - 5*g - 5. Let y be c(6). Let k be y/(-3) - 65/(-105). Let q be (3/9)/((-10)/(-12)). Is q less than or equal to k?
False
Let i(x) = -2*x - 15. Let w be i(-7). Is w less than or equal to -1?
True
Let d = 5.0071 + -0.0271. 