- -11. Let b(i) = -5*i**2 - 9*i + 4. Let t(r) = u*b(r) - 4*s(r). Let x be t(-9). Is 1 at most x?
False
Suppose -p + 5*p - 80 = 0. Suppose -5*f + h + 4*h - 10 = 0, -3*f = 4*h + p. Let c be ((-6)/9)/(f/6). Which is greater: -2/7 or c?
c
Let q = -9 - -3. Let j = -22/3 - q. Which is smaller: j or -2?
-2
Suppose -4*y = -29 + 5. Suppose c = y*c - 15. Suppose 4*d - c + 7 = 0. Is -2 at least as big as d?
False
Let u(f) = -f**2 + 8*f - 1. Let p be u(7). Suppose p + 4 = -5*l. Is -1 > l?
True
Let w = -2186/9 - -244. Is 0 at most as big as w?
True
Let g be 1/((-88)/(-280)) + 2/(-11). Which is bigger: 48/13 or g?
48/13
Let v be ((-2)/(-8))/(19/76). Are 2 and v nonequal?
True
Suppose -o - o = -8. Let h be 26*2/o + -2. Is h not equal to 2?
True
Suppose -p = 3*p. Let a be -1 - (-1 - -1)/(-2). Is p greater than a?
True
Suppose -l = -0 + 1. Which is smaller: 0 or l?
l
Let y be 3 + 2/(24/(-39)). Is -12 less than or equal to y?
True
Let q be 0 + 3 - (-1012)/(-340). Is q at most as big as -1?
False
Let x be (-1 - -1 - -1) + -3. Let a be (-18)/(-15)*(-10)/2. Let l be a/(-8)*-1*1. Which is smaller: x or l?
x
Let u = -9086 + 1880798/207. Let y = 3/23 + u. Which is smaller: 0 or y?
0
Let z = -4/9 - -7/9. Which is smaller: 2/21 or z?
2/21
Let x = 56 + -47. Are 9 and x equal?
True
Let k = -13 + 12. Which is bigger: 0.1 or k?
0.1
Suppose 3*j - 8 = 16. Let w(c) = 4*c. Let v be w(1). Suppose 3*a - 2 = -2*q + 15, -j = -v*a + q. Do 0.1 and a have different values?
True
Let c = -4160356/31 - -134547. Let y = c - 342. Which is smaller: y or 0?
y
Let v be (-48)/(-40) + (-2)/(-3). Which is smaller: v or 2?
v
Let i be 3 - (2 - (4 + -2)). Suppose 0 = 5*l + 2 + i. Is l at most as big as 0?
True
Let p(m) = -m**2 - 4*m - 1. Let j be p(-3). Suppose -3*g = -5*x + 11, 0 = -5*x - 3*g + g + 1. Let k be -1 + (j - x) + -1. Which is smaller: k or -1/3?
k
Let m = 8 - 8. Let u = m - 0.3. Which is bigger: 0.1 or u?
0.1
Let o be -2 + (0 - (-1 - 3)). Let g(w) = -w**3 + 2*w**2 + 1. Let z be g(o). Let x be 1 + (1 - (-32)/(-18)). Which is greater: x or z?
z
Suppose j + 4*j + 15 = 0. Suppose -s + 0*v = -v - 5, 3*s + v = 3. Let z(l) = -2*l + 2. Let x be z(s). Is x < j?
False
Let u(g) be the second derivative of -g**5/120 + g**4/6 + g**3/6 - 2*g. Let c(m) be the second derivative of u(m). Let b be c(5). Are 1/4 and b nonequal?
True
Let n = 6 + -1. Let w be 2 - 3 - (n + -2). Which is bigger: w or -6?
w
Suppose -2*w + 5*w - 21 = 0. Suppose -k = 4*k + 4*p - 7, -2*p = -k + w. Let b = -2 + k. Which is smaller: b or 2/9?
2/9
Let w be (-1)/1 - (-1 + 0). Let z = 43/5 - 39/5. Is w <= z?
True
Let p(i) = -i**2 + 5*i + 8. Let x be p(6). Let s be 9/(-2)*-1 - x. Which is smaller: 4 or s?
s
Suppose 6*k - k - 20 = 0. Let l = -1 + 6. Suppose -4*b + k = -4*q, -4*q + 1 = l*b + 41. Which is smaller: b or -1?
b
Suppose -8*d + 3*d = 10. Which is greater: 0 or d?
0
Let p(d) = -5 - d**2 - 8*d + 2*d - 1. Let g be p(-5). Which is smaller: -3 or g?
-3
Let l be (-15)/(-9)*72/20. Let g be 7/(7/(-3)) + l. Suppose 4*n + 0 - 12 = 0. Is n greater than g?
False
Suppose 0 = -5*n + 8 + 22. Which is bigger: n or 36/7?
n
Let r = -1096 - -4315/4. Suppose 5*l - k + 85 = 0, -2*l - 55 = -5*k - 21. Let s = l - r. Does -1 = s?
False
Suppose -5*d = -60 - 10. Let b = d - 27/2. Which is smaller: -2/5 or b?
-2/5
Let r = 6/721 + -6591/12257. Is r != -2?
True
Let m be -3 + (-1 - (-21)/3). Let o be (m/6)/(2/(-4)). Is o at least as big as 1/10?
False
Let i(o) be the third derivative of o**4/24 + o**3/3 + o**2. Let k(y) = y - 1. Let z be k(4). Let b be i(z). Is b > 3?
True
Suppose -2*f + 1 + 5 = 0. Suppose 2*b = f*b + 2. Does 0 = b?
False
Suppose -u + 6 = 2*u. Suppose -u*g - 2*g = 96. Let j = 49/2 + g. Which is bigger: j or 1?
1
Let t be (0/(2 - 1))/(-2). Let z(k) = k**3 + k**2 + k - 4. Let b be z(t). Does -3 = b?
False
Let i = 3/323 - 3897/2261. Suppose -h + 8 = -5*h. Is h at most i?
True
Let a = 0.94 - 0.9. Is a < -1/2?
False
Let t(n) = -n**3 - n**2 + 2. Let y be t(0). Let s = y + 0. Which is bigger: s or 0?
s
Let w = 10 - 10. Let n = 10 - w. Let z = n + -9.9. Are 2/11 and z equal?
False
Let n(s) = s + 1. Let o be n(3). Suppose -8*h + 8 = -o*h. Let v be -1 + 0 - -3 - h. Which is smaller: v or -2/7?
-2/7
Let w(f) = f**3 + f**2 - 4. Let m be w(2). Suppose 0 = -10*r + m*r. Does -1/9 = r?
False
Let d(i) = -i**3 + 16*i**2 + 17*i. Let c be d(17). Suppose -5*k + 3 = -2*m - 17, 0 = -2*k - 3*m - 11. Suppose -k*g = -1 - 3. Is g at least as big as c?
True
Suppose 22 + 13 = 5*a. Which is greater: 6 or a?
a
Suppose -t + 1 = -1. Suppose 3*s = -3*l + 99, 4*s + 42 = l + t*s. Let d be 33/l + 2/(-8). Is 1/8 bigger than d?
False
Let b(g) = g + 3. Let m be b(-3). Suppose 0 = u - 2*j + 11, 2*j = -2*u - m*u + 8. Is 1/17 greater than or equal to u?
True
Let j be 156/32*(-10)/(-15). Which is bigger: j or 4?
4
Let c(a) = 3*a**3 - 2*a**2 + 1. Let v be c(-1). Which is bigger: -3 or v?
-3
Suppose 0 = 35*t - 42*t + 49. Is t > 9?
False
Let j(v) = -v**3 + 11*v**2 + 12*v + 3. Let w be j(12). Let b = 6 - w. Suppose o = -4*a + 1, -a - 3*o = b*a - 3. Is a less than 0?
False
Let l = 18 - 18.14. Let w = 0.06 - l. Let j = 0.2 - 0.1. Is j at most w?
True
Let g = -7 + 13. Suppose -12 = 2*i - 4*i. Let t = g - i. Is 2 > t?
True
Let y = 28 - 49. Let m = y - -21. Are m and -2/9 unequal?
True
Suppose -19*k + 400 = -303. Which is greater: k or 39?
39
Suppose -3*o + 16 = o. Is o smaller than 4?
False
Suppose -2*c + 4 + 0 = 0. Let a(t) = -t + 3 + t + c - t. Let i be a(4). Are i and 1 equal?
True
Let u(h) = -h**2 + 9*h - 21. Let a be u(9). Let b = 253/12 + a. Is b != 0?
True
Let x be (90/75)/(8/(-25)). Is -5 >= x?
False
Suppose 5 = 6*j - 5*j. Is j at most as big as 5?
True
Suppose 3*w - 3*s + 15 = 0, 5 = -3*s - 7. Is w smaller than -11?
False
Let c(v) = -2*v**2 + 3*v - 3. Let f be c(3). Let o be (-1)/2*f/(-30). Which is greater: 0 or o?
0
Let g = 0.3 + -0.4. Which is smaller: g or -9/8?
-9/8
Let q be ((-4)/(40/(-305)))/(2/(-4)). Is -61 less than or equal to q?
True
Suppose -8*m + 5 = -11. Let x be 0 - (1 - 0 - 2). Let l be (x/(-6))/((-1)/4). Does m = l?
False
Suppose 5 = 4*d + d, 3*q + 4*d = -50. Let j = -13 - q. Suppose 0 = 3*l, -5*p + 2*l + j = -l. Which is smaller: 1/4 or p?
1/4
Suppose -5*u + 36 = 2*f, 5*f + 2*u = -u + 90. Let q = f - 19. Do q and 0 have the same value?
False
Let g = -7354/11 + 668. Is -1 at most as big as g?
True
Suppose -2*h = -h + 7. Let u = 9 + h. Suppose -m - u*m + 12 = 0. Which is smaller: m or 5/2?
5/2
Let b(h) = 13*h + 42. Let l be b(-8). Is l less than -62?
False
Suppose 0 = 5*d - 0*a - a - 10, 16 = -4*d - 4*a. Let v = 217 + -2173/10. Is d less than v?
False
Let b be 2 + -1 + -1 + 0. Let d = -42 + 45. Is b less than d?
True
Let s = 3 + -2. Let i be s/(-6) - 1/3. Let j = -54 - -52. Which is smaller: j or i?
j
Suppose p = 0, 2*k + 3*p - 3 = 21. Which is greater: 25/2 or k?
25/2
Suppose -a - 1 + 3 = 3*g, g = 0. Let s be (-2)/a*(0 + 1). Is s <= -2/59?
True
Let j = 3.982 + 0.018. Which is smaller: -2 or j?
-2
Let d = 5.014 - -0.086. Let y = d - 1.1. Do 1 and y have different values?
True
Suppose 42 = -2*z - 4*o, 0 = -5*z - o - o - 73. Are -13 and z nonequal?
False
Let k = 0 - 3. Let n = k - 6. Let f be (1*n/(-12))/3. Is f bigger than 2?
False
Suppose -10 - 78 = -2*i + f, -5*f - 230 = -5*i. Suppose -i = z - 3*z. Is 20 < z?
True
Let h = 2.8 - 3. Let b = 0.6 + -1.2. Let k = 0.5 + b. Which is smaller: k or h?
h
Let k be 2 - 7/(-3)*3. Is k not equal to 7?
True
Let l(d) be the second derivative of -d**4/12 + 4*d**3/3 - 7*d**2/2 + 2*d. Let m be l(6). Is 5 greater than or equal to m?
True
Let g be -2 + 0 + 2 + -2. Let u be ((-4)/(-5))/((-10)/(-25)). Which is bigger: u or g?
u
Let h = -0.4 - -0.2. Let g = -0.4 - h. Let l = 0.3 + g. Is l equal to 0.1?
True
Suppose 0 = 4*k - 1 - 23. Suppose -k = -4*o + 38. Is 11 at most o?
True
Let r = -69 - -70. Is r at most as big as -1/62?
False
Suppose 10*p = 5*p - 25. Let l be (0 - 1)/(0 - 1). Let i be (2 + p)/(-1*l). Which is smaller: i or 0?
0
Let p = -0.04 + 0.03. Let l = p + -0.09. Let u = -0.2 - -0.3. Which is smaller: l or u?
l
Let z be 17 + -18 + (-106)/10. Which is greater: -13 or z?
z
Suppose -307 = 5*h - 0*h + 3*v, 2*h = 5*v - 129. Let u be (-10)/4*h/20. Let z = 167/20 - u. Is -1/4 > z?
False
Let j be (-3 - -2)*-4 - 2. Suppose -x = -