5*i - 12 + 2 = 0. Let y be (16/3)/i*-27. Let f = y + 650/9. Is f not equal to 1?
True
Let p be (3/(-2))/(9/(-96)). Let b be (3/15)/(p/(-10)). Let x(g) = g**2 - g - 1. Let d be x(-1). Is d not equal to b?
True
Let m = 6707/6 - 1132. Let r = 413/30 + m. Suppose -4 = -0*x + 4*x. Which is greater: x or r?
r
Let d(k) = k**3 - k**2 - 5*k + 2. Let n be 4 + 0 + (-3 - -2). Let i be d(n). Which is bigger: 6 or i?
6
Let c = 227/2132 + -3/52. Let h = c - 96/287. Is 0 less than or equal to h?
False
Suppose -95 = -5*d + 5. Let t be -3 + 1 + d/9. Let f = 0.7 + -0.6. Is t greater than or equal to f?
True
Let y(b) = b. Let a(l) = 5*l + 1. Let s(i) = -2*a(i) + 9*y(i). Suppose 0 = -5*r - 0 - 15. Let p be s(r). Is -3/5 > p?
False
Let s be 69/12 + 1/4. Let p = 2 - s. Which is bigger: p or -3?
-3
Let m = -5 + 2. Suppose -2*k - 20 = -16. Which is smaller: k or m?
m
Let n(v) = -7*v - 7. Let y be n(-7). Let b be y/(-9) + 3 - -2. Which is smaller: 5 or b?
b
Suppose -5*l - s - 1 = 0, -4*s = -l - s - 13. Let r be -17*5/30 - -2. Is r less than l?
False
Let c be (-4)/16 - 35/(-92). Which is greater: 1 or c?
1
Let k = -7 - -15. Which is greater: k or 10?
10
Let c(a) = 5*a**2 + 19*a + 14. Let g(z) = 4*z**2 + 18*z + 14. Let h(t) = -5*c(t) + 6*g(t). Let o be h(14). Which is greater: o or 2/47?
2/47
Let o(i) be the second derivative of i**3/6 - 9*i**2/2 - 5*i. Let v be o(5). Let c = 5 + -10. Is v < c?
False
Suppose a + 8 = -l, -4*l = -3*a + a - 22. Is -9 greater than a?
False
Let f(r) = -5 - 1 + 3*r - 1. Let u be f(5). Is u at most 9?
True
Let q = 5 - 5. Let j = -13/12 + 5/4. Are j and q equal?
False
Let i = 105 + -123. Which is bigger: 2/9 or i?
2/9
Let k be -2*-5*(-3)/2850. Are k and 0 non-equal?
True
Suppose 0 = 5*p - 5 - 10. Suppose -2*c = -3*i + 19, p*i - 5 = -4*c + 2. Let o be (-9)/(-12)*4/i. Is 2 at most o?
False
Suppose -2*b + b = -1. Suppose 3*k + 4*q = 7*k - 24, -2*k = 5*q + 23. Let z = b + k. Does z = 0?
False
Let z = -60 + 90. Are 30 and z non-equal?
False
Let m = -35 - -35. Are m and -17 nonequal?
True
Suppose x - 20 = 2*x + 3*q, 4*x + 2*q = -60. Suppose 0 = y + 8 + 6. Is y at least x?
True
Let n be 2 + (73 - 2)*1/(-37). Is 1 greater than or equal to n?
True
Let s(n) = -n**2 - 10*n - 1. Let c be s(-10). Which is bigger: c or -10/11?
-10/11
Let d be (-65)/(-13)*2/10. Is d < 2/55?
False
Let d(b) = b**2 - 5*b - 5. Let m be d(7). Let o be 2*(-3)/9*m. Which is greater: -5 or o?
-5
Let c = -0.1 + 1.1. Let k = 3.6 - 0.6. Is c bigger than k?
False
Suppose -5*g = i - 9, 3*g + g - 9 = i. Suppose g*w = 4*c - 16, 2*c + 14 = -w + c. Are w and -13 nonequal?
True
Suppose -13*f + 166 + 16 = 0. Are f and 13 non-equal?
True
Let b be -2 - (-4 + 2) - -2. Which is greater: 3/5 or b?
b
Let p(a) = -a + 3. Let s be p(3). Suppose s = -0*m + 2*m - 18. Suppose -5*w + 2*w = -m. Which is smaller: w or 4?
w
Suppose 3 = 3*f + b - 0, -3*b = -2*f + 2. Let j be -3 + f + -2 + 3. Is 2 equal to j?
False
Let c = -64/77 + 6/11. Suppose 40 = 3*n - 5*o - 0*o, 3*n - 20 = o. Suppose -n*y - 3*k + 10 = 0, 4*y = 3*k + k - 24. Is y >= c?
False
Let r = -101901/100 - -1019. Is 1 not equal to r?
True
Suppose -4*z - 3 = -5*z. Let q = -2 + 18. Suppose -q = -5*a - 6. Is z bigger than a?
True
Let n = 12 - 5. Is 11 not equal to n?
True
Let q be (-16)/2*(-6)/8. Let m = -33 - -55. Let k = m + -15. Which is greater: k or q?
k
Let p(n) = -23*n**2 + 2 + 14*n + 10 + 24*n**2. Let u be p(-13). Is -4 greater than u?
False
Let s = 0.18 + -1.98. Let y = 2 + s. Let g = y - 0. Which is smaller: g or 1?
g
Let f = -623/5 + 125. Let t(q) = q**3 - 7*q**2 - 8*q. Let g be t(8). Which is smaller: f or g?
g
Suppose -16 + 7 = 3*q. Which is greater: -1 or q?
-1
Suppose -5*p + 5*w - 5 = 0, p - 6*p = -4*w + 5. Suppose 0 = 2*f + 4. Let i be 65/180 - f/(-8). Which is greater: i or p?
i
Suppose 14 + 10 = 3*a. Suppose -22 - a = -5*w. Which is greater: w or 7?
7
Let h = 8 - 7. Let a(v) = 5*v - 26. Let r be a(5). Which is smaller: r or h?
r
Let o = -4.6 - -1.9. Let d = 0.7 + o. Let u be 1 - 1*(-6)/(-8). Which is smaller: d or u?
d
Suppose 2*i + 5 = 3*p, -4*i = -5*p + 3 + 4. Do i and -5 have different values?
True
Let f be 9*6/(-63)*-7. Suppose -o = 4*o. Suppose 3*a + 4*g + 35 = o, -g + 20 = a - f*a. Which is greater: -4 or a?
-4
Suppose 0 = 3*y - 6*y - 18. Let w = y - 0. Which is smaller: w or -5?
w
Suppose 3*q = -2*j + 4, -3*q + 4*q = 2*j + 4. Is 6/23 != j?
True
Let t(u) = u - 1. Let r be t(3). Let z(n) = n**2 - 11*n + 5. Let p be z(11). Suppose 0 = -y - 2*b + p, 3*y = -0*b + r*b - 1. Which is greater: 2/9 or y?
y
Let m = 247 + -125. Let f = m - 370/3. Suppose 3 + 1 = -4*n. Is n > f?
True
Suppose 4 = 5*f - 6. Let y = f + -7. Is y > -5?
False
Let j = -10.8 + 11. Is -1/4 <= j?
True
Let c be (39/(-26))/(6/(-32)). Which is greater: 1 or c?
c
Let w be (-1)/4 - 10/(-8). Let f = -3 + 7. Let x = 3.8 - f. Which is smaller: x or w?
x
Let g be (-1)/7*(-2)/22. Let a = g + -157/231. Let i(r) = -r - 6. Let q be i(-6). Which is smaller: a or q?
a
Suppose 2*t - 6 = 5*t. Let i(l) = -l**2 + 8*l - 3. Let n be i(7). Suppose -4*d = 4 + n. Are d and t unequal?
False
Let j be (1 - 0) + (294/(-12))/7. Which is greater: j or -3?
j
Suppose 0 = -n + j - 4*j + 19, -4 = -n + 2*j. Suppose -2*a - 6 = 0, -2*a + 1 - n = 3*f. Let s be (-10)/25 + (-1 - -1). Are s and f equal?
False
Let u(z) = z**3 - 3*z**2 + 3*z - 29. Let o be u(6). Which is greater: 98 or o?
98
Let i = -6 - -9. Suppose 3*y + 0*y - 18 = -3*g, 14 = g + i*y. Is -0.1 greater than or equal to g?
False
Let v = -37/2 + 19. Which is smaller: v or 0?
0
Suppose 5*s + 27 = 4*u + 11, -20 = 2*s - 5*u. Suppose -3*o + 6*o - 6 = s. Suppose -o*x = x + 15. Is x greater than or equal to -5?
True
Let b = -2/67 - -75/268. Which is smaller: -2 or b?
-2
Let o be 21/9 - (-1)/(-3). Let k = o + 3. Let y be (-1 - 0)*0/k. Is 0 less than or equal to y?
True
Let a = -9.3 - -0.3. Which is bigger: a or -2?
-2
Let g be (17/(-3))/((-4)/(-6)). Let b = 1006 + -4057/4. Let y = g - b. Which is bigger: -2/9 or y?
-2/9
Let u be ((-6)/20)/(2/(-4)). Suppose 0 = -0*g - 2*g + 6. Suppose g*r + 0 = 3. Is r greater than u?
True
Let o(p) be the third derivative of -p**5/12 + p**4/24 + p**2. Let a(d) = -d**2. Let b(v) = -a(v) + o(v). Let t be b(1). Which is smaller: -4 or t?
-4
Let y be ((-8)/12)/((-2)/(-37))*-1. Which is smaller: 11 or y?
11
Let j be ((-1 - -3)/(-50))/(2/(-6)). Is -1 greater than or equal to j?
False
Suppose -5*i = -t - 0*t - 32, -2*t - 15 = -3*i. Let k be (-2)/(-7) - (-12)/i. Suppose 0 = -2*c - k - 0. Is -1 < c?
False
Let u(v) = v. Let x be u(1). Let j = -13.36 + 11.4. Let w = -0.04 + j. Are w and x nonequal?
True
Let c = -30 + 32. Is 11/7 >= c?
False
Let x be -4 + 126/22 - (-6)/(-3). Is x bigger than 1?
False
Suppose -4*a - 3 - 1 = 0. Is a smaller than -3/10?
True
Let k = -7 - -2. Let q = 4 - 8. Is k <= q?
True
Let n(r) = r**3 - r. Let y be n(-1). Let c = y + 0. Let f = -53/2 - -26. Which is bigger: f or c?
c
Let u = -0.1 - 0.2. Let j = -3.7 + u. Let d = -102 + 102.1. Which is greater: j or d?
d
Let y be 8/3 - (-2)/(-3). Which is smaller: 0 or y?
0
Let j be 6/(-4)*(-10)/3. Let t be (2/j)/((-35)/(-25)). Let n = 0 - 0. Which is smaller: n or t?
n
Let k = 5.18 - 5. Let d = k - -0.02. Which is greater: 4 or d?
4
Let h(s) = -2*s**2 + 16*s - 17. Let g be h(10). Is -58 < g?
True
Let j be 5 + -2 + (3 - 2). Suppose 6*a - j*a - 2 = 0. Is 2 smaller than a?
False
Let z(j) = j + 6. Let t be z(-18). Is -11 greater than or equal to t?
True
Let f be (15/(-12) - 0) + 1. Is f >= 0?
False
Let n be (-16)/20 - (-265)/300. Which is smaller: 1 or n?
n
Let y = 13 - 7. Let s = -1 + y. Suppose 0 = s*v - 3*v. Which is smaller: v or 1?
v
Let t = -206 + 211. Let h = 1 + 0. Let b = -2 + h. Is t not equal to b?
True
Let r be 87/(3 + (-4)/2). Let x be 2/5 + (-439)/5. Let v = r + x. Which is smaller: v or -1?
-1
Let q = 5 + -4.5. Let r = q + -0.1. Let n = 1.4 - r. Which is greater: n or -0.05?
n
Let m = -3/91 - 7271/273. Suppose 93 = -4*w - 5*u, 3*w + 81 = -u + 3. Let b = w - m. Is -1 < b?
True
Suppose 2*d = z + z - 2, -5*d - 5*z = -25. Which is smaller: d or 12/7?
12/7
Let y(z) = -z**3 - 6*z**2 - 5*z - 5. Let p be y(-5). Let l = p - 4. Let g = l + 7. Is -2 <= g?
True
Suppose -k + b = -29, 0 = -5*k - 5*b + 78 + 57. Let w be (-8)/k + 24/(-14). Which is smaller: w or -1?
w