
False
Let o = -4173/365 + 12/365. Are o and -10 equal?
False
Let p be 5 - 5/140*142. Which is bigger: 2/11 or p?
2/11
Let n = 2607 + -70399/27. Is n bigger than -1?
True
Let n = -249 + 13445/54. Which is smaller: n or -1?
-1
Let x(t) = -1 + 0*t + 5 - t. Let l be x(3). Let q be (-2 + 0)/(-1 - -6). Is q < l?
True
Let o = -4 - -3.9. Let m = 0.2 - 0.2. Let u = m - -0.1. Is o less than u?
True
Let o(h) = -h**2 + 3. Let w be o(-5). Which is greater: -20 or w?
-20
Let i be 1*(-1 + 2) + 0. Let o(d) = -7*d - 10. Let u(t) = -3*t - 5. Let w(q) = -2*o(q) + 5*u(q). Let r be w(-4). Is r less than i?
True
Let r = -61593 - -555391/9. Let k = -117 + r. Are -1 and k non-equal?
True
Let g(x) = -x**3 + x**2 + x + 3. Let v be g(0). Suppose v*p - 6 = -2*j + 3, j = 2*p + 1. Is -1/5 at most as big as p?
True
Let q(b) = -b + 8. Let z be q(8). Is -4/5 at most z?
True
Suppose 15*g = 17*g + 16. Which is smaller: -9 or g?
-9
Let k be ((-4)/56)/((-1)/(-4)). Which is smaller: -1 or k?
-1
Let w be (-27)/3*(64 + 1). Let g be w/(-10) + 2/(-4). Let r = -288/5 + g. Which is smaller: -2 or r?
-2
Let w = 103 - 86.9. Let n = w + -16. Which is smaller: 3/4 or n?
n
Let c = 11 + -22. Is c at most -11?
True
Let a(u) be the second derivative of -3*u + 1/2*u**2 - 1/6*u**3 + 0. Let o be a(2). Which is greater: o or 0?
0
Let t(v) = v**2 + 9*v - 5. Let j be t(-9). Let u be (-6)/15 + (-4)/j. Which is smaller: u or 0?
0
Let c = 109/6 - 18. Let p be 4/(-6) - 35/(-75). Is p at least as big as c?
False
Let o be (-89)/(-44) + 7/28. Let k = 5/22 + o. Suppose -4*q + 0 = -8. Is q less than or equal to k?
True
Let u(r) = r**3 - r**2 + 2. Let n be u(0). Suppose -3 = -n*i + 5*i. Which is bigger: i or -5/6?
-5/6
Let f(g) = -g**2 - 2*g - 1. Let a be f(-1). Let s be (-27)/(-21) + (-4 - -3). Which is smaller: a or s?
a
Suppose 2*c = 4*c + 34. Are c and -17 unequal?
False
Let z(h) = h**2 + 5*h - 9. Let c = 3 - 7. Let o be (7/(-3))/(c/(-12)). Let m be z(o). Is 4 equal to m?
False
Let v = -12 - -14. Which is greater: 15 or v?
15
Let b(q) = -5*q - 54. Let y be b(7). Which is bigger: -88 or y?
-88
Let s = 76.45 + 1.55. Let y = -84.4 + s. Let i = -6 - y. Is -1/4 at least i?
False
Let m be (-6)/(-9) + (172/(-132) - -1). Does 0 = m?
False
Let j(d) = 2*d**2 + d + 2. Let a be j(-2). Suppose -n - a = -5*n. Suppose -n*u - k + 1 - 2 = 0, -4*u + 5*k = -19. Does u = 1?
True
Let w(z) = -2*z - 5. Suppose 3*i = n - 8, 4*n + i + 5 + 15 = 0. Let y be w(n). Suppose -a + r + 4 = -y*a, 2*r - 19 = 5*a. Do -2 and a have different values?
True
Let u be 54/2*(-1661)/(-33). Let o = u + -91055/67. Are o and 1 equal?
False
Let n = 1.95 + 0.05. Let j = 3 - n. Let z = 53 + -54. Is z at most as big as j?
True
Let l be (-26247)/117990 + 6/27. Let s = 1717487/336490 + l. Let c = 37/7 - s. Which is greater: c or 1?
1
Let p(c) = -c**2 - 9*c. Let b be p(-7). Let m = 15 - b. Let j be (0/(-3))/(-2 + 1). Which is smaller: m or j?
j
Let s = -30 - -32. Is s at most 7?
True
Let k be (0/(-1 - 0))/(-2). Let n = 6 - 5. Are n and k unequal?
True
Let k be (4 - (17 - -4))/(-1). Do 15 and k have the same value?
False
Let y = -13/12 + 4/3. Let w be (0 - 2 - -3) + 0. Let m be (1 - -1) + w/(-1). Is y > m?
False
Let z(x) = -x**2 - 6*x + 6. Let g be z(-7). Let r be (0/g)/((-1)/1). Let t = 51/115 - 1/23. Is r != t?
True
Let r = -16 - -33. Let s = r - 25. Let c be (12/s)/(33/(-4)). Which is bigger: -1 or c?
c
Let k be (-6)/(-16)*(1 + -16). Is -7 <= k?
True
Let c = 7.1 + -7. Is -26 bigger than c?
False
Let s be 1 + 1 + 9/3. Suppose -6*k = -s*k. Is -3/7 at most as big as k?
True
Suppose 3*i - 6*i + 15 = 0. Do i and 4 have the same value?
False
Suppose 0 = 2*m + 5*q - 28, -1 + 13 = m + 2*q. Suppose -8 - 10 = -2*v - m*k, -2*v + 5*k - 18 = 0. Is -1 != v?
True
Let i = -18 - -9. Let u = i + 13. Suppose 9*z - 7*z = 0. Are u and z equal?
False
Suppose o - 5 = 1. Let v = -5 + o. Let p be 0/((-2)/(1 - -1)). Is p at least as big as v?
False
Suppose -8 = -0*b + 2*b, 0 = -c - b - 4. Let o be -1 + (-1 + 34)/3. Suppose -s + 2 = 2*s + m, s = 5*m - o. Is c bigger than s?
False
Suppose 2*a - k = -187, -3*a - 196 = -a - 4*k. Is a less than -92?
False
Suppose 4*f - 2*f - 22 = 0. Suppose -9*n = -f*n - 6. Are 2/11 and n non-equal?
True
Suppose -3*q + 28 = 4. Let s be (-6)/(-45)*(3 - q). Which is bigger: s or -0.2?
-0.2
Suppose 0 = t - 9 + 6. Let h = -3 + t. Is 0.4 at least as big as h?
True
Let k be ((-4)/6)/(-1)*3. Let a(g) = -g - k*g + 4*g - 1. Let s be a(-3). Is s greater than -3?
False
Suppose -4*x = -5*t - 80, -2*x - 8 = -t - 24. Which is smaller: -17 or t?
-17
Let k = 2 - 1. Suppose n = -0*n - k. Let i = n - -3. Is i <= 0?
False
Let f be (-2)/(60/(-52) + 1). Is f at most 14?
True
Let p(l) = -l**3 + 6*l**2 + l - 3. Let n be p(6). Suppose -2*v - 3*a = -5*v + 18, -4*v - 4*a - 8 = 0. Is n < v?
False
Suppose 6*q - q - 30 = 0. Let p(n) = -n**3 + 12*n**2 + 14*n - 1. Let z be p(13). Suppose l - 6 = u, -3*l - 2*u = -l - z. Is q smaller than l?
False
Suppose 2*j - m = -31, -5*j - 83 = 2*m + m. Are -17 and j equal?
False
Suppose -19 = b + j, b + 2*j = -0*j - 14. Which is smaller: -23 or b?
b
Let m be ((-2)/18)/((-33)/(-18)). Is 1 < m?
False
Let u = -1911 + 43945/23. Is u not equal to -1?
True
Let m(a) = a**3 + 15*a**2 + 28*a + 26. Let p be m(-13). Which is smaller: 4.3 or p?
p
Let i(c) = -c. Let v be i(-4). Let m = 16 + -12. Suppose m + 6 = 2*o. Which is greater: v or o?
o
Let o(y) = y**2 - 5*y - 1. Suppose 3 = k - 3. Let h be o(k). Which is greater: 4 or h?
h
Let j = 3 - -3. Suppose -4*b = -j*b - 2*z + 4, -6 = 5*b + z. Let o be (b - 5/(-2))/2. Which is smaller: 0 or o?
0
Let q(h) = h**2 + 3*h + 4. Let g be q(-3). Let j be g + (1 - -2 - 2). Is 6 at least j?
True
Suppose -3*m = 3*m - 174. Is m equal to 29?
True
Let c = -72 - -794/11. Which is smaller: c or 1/3?
c
Let r be -3 - (1 - (-4)/(-4)). Let w be 10 + (-2 - r - 1). Are w and 11 non-equal?
True
Let d = 0 + 14. Let c = 9 - d. Do 0 and c have the same value?
False
Suppose 4*f - 40 = -4*a, -3*f - a + 41 = 11. Which is smaller: f or 11?
f
Let r = 1.9 + -2. Let t = 3.6 + -5. Let p = 4.4 + t. Which is bigger: r or p?
p
Let i be (-1)/(3/2) - 0. Let v = -0.08 + -0.02. Which is smaller: v or i?
i
Suppose 2*v - 11 = -v - 5*t, 3*t - 7 = -2*v. Suppose 3*j + 18 = -3*l, -v*l = 5*j + 2*l + 26. Let n be (4 + -2 + j)/(-2). Which is bigger: n or -1/4?
n
Let n(t) = -t**3 - 5*t**2 - t - 5. Let k be n(-5). Suppose x = -g, k*x + 2*x = 4. Which is greater: g or -3?
g
Suppose -12 = -2*h - 14. Let a be (-96)/(-189) + (-8)/28. Is h != a?
True
Suppose -5*j - z - 1 = -34, 5*z + 24 = 2*j. Is 7 less than j?
False
Suppose 17 = -2*d + 13. Which is smaller: -4 or d?
-4
Let b(g) = 4*g - 7. Let n be b(-10). Is -48 greater than or equal to n?
False
Let f(j) = -3*j**2 + 5*j - 6. Let k be f(3). Let w = -17 + -1. Is k at least as big as w?
True
Let y = 4 + -3. Let w be y/(3/(-12) + -2). Is w greater than or equal to 0?
False
Suppose 0 = -2*x + x - 3*u - 23, -2*x - 6 = -2*u. Let f be -2*1*(-4)/x. Let z be 0/f + 8/14. Is -0.1 greater than or equal to z?
False
Suppose 4*b - 40 = -5*h, -5*b - 2*h + 8 = -25. Let z be b/6 - (-4)/(-4). Which is bigger: z or 0?
0
Let n = 7 + -5. Let g = 17 - 24. Let s be 8/(-28) - 9/g. Is s not equal to n?
True
Suppose -f = -6*f + 5. Let u be 2*f*1/1. Suppose -5*z + 6 = -3*h - 8, u*h = -4*z - 2. Is z < 1?
False
Let v(c) = 5*c - 4*c - 2*c + 2. Suppose 7 + 9 = 4*h. Let d be v(h). Is d < -5/6?
True
Suppose -5*p = -4*c - 39 - 50, 2*p - 23 = c. Let a be -2 + 10*(-6)/c. Which is smaller: a or 1?
a
Suppose 4*h + 33 = -2*w - 7, -5*h = 20. Is -12 greater than w?
False
Suppose 0 = -4*k - 16, 5*z = -0*z - 4*k - 11. Let p = -301/5 + 60. Are z and p non-equal?
True
Let l be 2/(-6)*(-4)/(-6). Suppose 5*r - 2*z - 6 = -1, 4*r + 3*z + 19 = 0. Which is smaller: r or l?
r
Let o be 2/8 - (-35)/(-28). Is -2/3 at most o?
False
Let w = -16 - 7. Let j = 19 + w. Let v = -3 + -2. Are j and v non-equal?
True
Suppose -1 = -4*r + o + 8, 4*r + 3*o = -11. Let s(t) = -t + 10. Let d be s(10). Suppose 3*h = -d*h + 9. Is r smaller than h?
True
Let j(m) be the second derivative of -4*m + 0*m**2 - 5/6*m**3 + 0. Let x be j(-1). Is 4 <= x?
True
Let j = -5.06 - -5. Let x = j - 0. Let o = x - 0.04. Do o and 0.1 have different values?
True
Let w(x) = -x**3 + 13*x**2 - 11*x - 11. Let b