Let f = -11.19 + 0.19. Let t = 14 + f. Is t greater than k?
True
Suppose 7 = -4*h + 23. Let z = h + -3. Suppose 4*k - 1 = -5*c, c + c + k = 1. Is z less than c?
False
Let m be 3 - (-4)/(2056/(-1538)). Which is greater: -1 or m?
m
Suppose -2*p = -6*p - 4*l, 5*p - 3*l + 8 = 0. Let b(k) = k**2 + 19*k + 36. Let z be b(-17). Which is smaller: z or p?
p
Let b = -10 - -8. Let u be (-4)/15*18/12. Is u >= b?
True
Suppose 2*a = -2*l + 4, -4*l + 3*l - 3*a = 0. Let i(p) = p - 1. Let u be i(2). Suppose 0 = -j + 5 - u. Is j greater than or equal to l?
True
Let k(m) = -2*m. Let l be k(-1). Let v = l + -1. Suppose 0 = x - 1 - v. Is 0 greater than or equal to x?
False
Suppose -3*k - 9 = 0, -29 = 5*d + 4*k + 8. Let r = -7 - d. Let t = r - 1. Which is smaller: -3/2 or t?
t
Let p(d) = -d + 5. Let t be p(5). Let u be t/1*(-1 + 0). Let n be 4/10 - 6/(-10). Do u and n have different values?
True
Let b = 2.1 + -0.1. Let j = -2 - b. Let m = j - -2. Are 2/5 and m equal?
False
Suppose -3*k + 2*k = 4. Let z = k + 4. Suppose z + 5 = 5*n. Is n at least 1?
True
Let p = 0.08 + -1.08. Which is bigger: p or 1/8?
1/8
Let p(u) = -u + 6. Let i be p(-4). Let v(w) = -w**2 + 9*w - 2. Let l be v(9). Let j = i + l. Is j less than or equal to 8?
True
Let g(i) = -i**2 - 7*i + 33. Let m be g(-10). Suppose -2*p - 3*p = -20. Is m less than p?
True
Suppose -3*f - 1 = -4*n, -13 = -2*f - 5*n - 6. Suppose 2*m - 4*g - 4 = 4, -3*g - f = -4*m. Let p = -2 + -2. Which is smaller: p or m?
p
Let a be (-20)/(-90) + (-76)/99 + 2. Which is smaller: 0 or a?
0
Suppose 0*f - 24 = -4*f. Does 5 = f?
False
Let t(k) = k**3 - 10*k**2 + 9*k - 1. Let c be t(9). Let x be (6/56)/((-4)/32). Which is smaller: c or x?
c
Let r be (-6)/15*(-1 - -3). Which is bigger: -2 or r?
r
Suppose 5*t = 5*h + 25, t - 2 = 3*t + 4*h. Suppose 0 = -4*y + t - 27. Let l be (-15)/4 + y/(-8). Are l and -4 nonequal?
True
Let d(t) = 3*t + 54. Let r be d(-18). Is r > 2/45?
False
Let l be 36/28 - 2/7. Let j be (2 - (-2)/(-1))*l. Suppose -c + 1 = -3*g, 4*g + 2*c - 6*c + 12 = j. Is g less than 0?
False
Let m = 347 - 1728/5. Which is bigger: m or 2?
2
Let m be (-2)/48 - 0/4. Which is smaller: m or -1?
-1
Suppose 1 = -3*f + 4. Let l(t) = t + 3. Let p be l(-2). Is p less than or equal to f?
True
Suppose j + d - 1 = 0, -2*j + d + 5 = -0*d. Which is smaller: j or 4?
j
Suppose g + 0*c + c = 9, 4*g - c = 11. Suppose -m = -g*m. Which is smaller: 0.02 or m?
m
Let u be (-3 - -2) + 15/5. Let m be (u/(-3))/(1/(-3)). Is 4/5 less than m?
True
Let z = -4 + 10. Suppose q = -0*q + z. Let t = -9 + q. Is -3 >= t?
True
Suppose 1 + 3 = -4*n. Is n less than or equal to -6/5?
False
Let w be (-3)/(-6)*2/(-1). Let q = 72 - 218/3. Which is smaller: q or w?
w
Let i(z) = -z**2 - 7*z + 7. Let j be i(-6). Let c = j - 5. Do 8 and c have different values?
False
Let a(t) = 11*t - 7 + t**2 + t - 4*t + 16. Let u be a(-7). Is u less than or equal to 1/2?
False
Suppose -2*j + 4 = -0*j. Suppose 0 = 4*g - 3 - 1. Which is greater: g or j?
j
Let b be (-4)/26 + 966/364. Is 4 greater than b?
True
Let k be (1/(-7))/((-2)/2). Let o = -4/7 + k. Let r(c) = -c**2 + 4*c - 4. Let i be r(3). Which is smaller: o or i?
i
Let y be (-6)/4 - -3*(-1 - -2). Suppose -2*v + 1 = -1. Which is bigger: y or v?
y
Suppose 0*r + 45 = -5*r. Is -10 <= r?
True
Let s = -19 - -32. Which is bigger: 17 or s?
17
Suppose 3*x = -3 - 3. Which is smaller: 4 or x?
x
Let k(q) = q + 7. Let g be k(0). Let w = -10 + g. Suppose -2*p - 4 = 2*i - 4*p, 3*p + 2 = -i. Which is smaller: w or i?
w
Suppose 3*f = -4*l - 14, 0*f = 3*f - 2*l + 2. Let p = -14 + 7. Let z = 5 + p. Is f not equal to z?
False
Suppose -4*q + 2*j = -2 + 12, 6 = 2*j. Is q > 1/6?
False
Let r = 10 + -6. Let h be (-3)/(-2)*r/3. Let v be 8/h + (-3 - 0). Do 5/4 and v have different values?
True
Suppose -7*p + 2*p + 3*b = -15, 3*b + 15 = 2*p. Which is smaller: -16/13 or p?
-16/13
Let o be -1 - 10*(-54)/542. Let v = 531/2981 - o. Suppose -4*r = -b - 17, -3 = 2*r - 11. Which is smaller: b or v?
b
Let y = -2/67 + 71/134. Suppose 0 = 5*d - 4*x - 18, -x = 5*d + x - 6. Which is bigger: y or d?
d
Let i(l) = -2*l**3 + 3*l**2 + l + 5. Let h(u) = u**3 + u**2. Let k(j) = 3*h(j) + i(j). Suppose c - 4*c + q - 13 = 0, -20 = 4*q. Let v be k(c). Is -2 equal to v?
False
Suppose 0 = -o + 3*h + 14, -2*o = -6*o - h + 4. Which is smaller: o or 7?
o
Let t(c) be the third derivative of -c**6/120 - c**5/20 - c**4/12 + c**3/6 + c**2. Let i be t(-2). Is i greater than or equal to 4/5?
True
Let q be (-2)/2*(-11)/((-55)/(-10)). Is q greater than 7/13?
True
Let m be 168/(-280)*(-1)/((-6)/(-8)). Let y be (-40)/(-18) - 4/18. Is y at least as big as m?
True
Suppose 3*i + 2*y = -5, y - 14 = 2*i + 5*y. Suppose -x - 4*r - 6 = 8, 0 = -5*r - 15. Let b be x*(-1)/(-8)*-2. Which is smaller: b or i?
b
Let v = -1 + 4. Let g = 2.99 - v. Let k = g - -0.11. Which is smaller: 1 or k?
k
Let f = -19 - -8. Which is bigger: -12 or f?
f
Let l(g) = -g**2 - 3*g - 2. Let p be l(-4). Let n be (-72)/(-32) + p/8. Is n at least as big as 3?
False
Suppose 4*l + 5*y = 3*y, 0 = 4*l - 2*y - 8. Let s = -13/12 + 7/3. Which is smaller: l or s?
l
Suppose -4*g + 9*g - 35 = 0. Suppose 2*h - 36 = -4*h. Let f = h - g. Which is bigger: f or -0.2?
-0.2
Let z be 4 - (0 + 0)/3. Let d be ((-5785)/70)/((-415)/z). Let w = d + 2/581. Is 1 not equal to w?
True
Let t be (-78)/420 - 3/(15/(-2)). Which is smaller: t or 1?
t
Let q be (-26)/15 + (-15)/25. Let l(b) = b**3 + 12*b**2 - 14*b - 14. Let p be l(-13). Is p greater than or equal to q?
True
Let m = 27/2 + -41/3. Let g(y) = -y**3 - 14*y**2 + 1. Let c be g(-14). Is m bigger than c?
False
Let d(w) = w**3 + 2*w**2 + w. Let u = -1 + 0. Let r be d(u). Let k(z) = z**3 - 4*z**2 + 4*z - 3. Let b be k(3). Is r smaller than b?
False
Let w = 12 + -7. Suppose 2*m - 21 = w*m - 4*y, 4*m - 3 = -5*y. Is m > -2?
False
Let j(r) = -2*r - 5. Let m be j(-4). Which is bigger: 1 or m?
m
Let t = 10 - 9.5. Let m = t - -0.5. Let a = -4.3 + -0.7. Is a > m?
False
Let h(s) = 3*s - 11. Let m be h(5). Let c be 1 + (m/(-44) - 1). Which is bigger: c or -1?
c
Let t = -9 + 6. Let j be t + 1 - (-51)/26. Is 1 greater than j?
True
Let g = -19 - -22. Which is greater: -2 or g?
g
Let k be ((-3)/138)/((-2)/(-8)). Let d(s) = -s**2 - 2*s + 4. Let o be d(-3). Do o and k have the same value?
False
Let y be 1*1/3*9. Let u(x) = x**2 - 2*x - 2. Let f be u(y). Let p = -212/7 + 30. Is f greater than p?
True
Let d be 55/11*8/10. Suppose 3*a = -2*l - 2*a + 16, 2*l - 12 = -d*a. Is l at least -7/6?
False
Let m be 6/(-4)*2/(-3). Let f = -454 + 226. Let z = -2050/9 - f. Which is smaller: m or z?
z
Suppose -4*d = -0*d - 3*h - 30, d - 2*h - 10 = 0. Is -2 less than or equal to d?
True
Suppose 2*u - q - 9 = -2*u, u - 5*q = -12. Let m be ((-144)/(-6))/(u/2). Suppose w = 2*k, -k = 3*k + 2*w + m. Is k bigger than -4/5?
False
Let b = 2 - 1. Let h = 4463/3493 + 4/499. Is b bigger than h?
False
Suppose 0 = 3*c + 3*b - 18, c + 0 = -4*b + 6. Suppose -r - 2*o = c, -o = 4*r - 6*o - 41. Is 5 at least r?
True
Let w = 3 + -1. Let m be 3*(w + 2/(-3)). Suppose m = 3*b - 2. Which is smaller: 1/2 or b?
1/2
Let q(f) = -f**3 + 5*f**2 - f + 4. Let s be q(5). Which is greater: -4/19 or s?
-4/19
Let p = 47/33 - 34/11. Does p = -2?
False
Let d = 152 - 152. Which is smaller: -9/10 or d?
-9/10
Let a be (0 - 1)/(-1)*1. Let o(b) = 6*b**2 - 1. Let z be o(-1). Suppose a = -3*v + 3*n - z, -n = -1. Is 0 bigger than v?
True
Let o(n) = n**3 + 6*n**2 - 7*n + 2. Let y be o(-7). Suppose u + 5*t = 1, -y*t - 5 = -5*u - 0*t. Is u at least as big as 2?
False
Let o(j) = -j**2 - j + 1. Let m(g) = -2*g**2 + 4*g - 2. Let t(w) = -m(w) + 3*o(w). Let s be t(-7). Do s and 6 have the same value?
False
Suppose 0*s + 3*s = 9. Let a be (-3)/s + 6/8. Is -2 equal to a?
False
Let i(q) = -5*q**2 - 16*q - 11. Let z(n) = -4*n**2 - 15*n - 11. Let p(m) = 5*i(m) - 6*z(m). Let c be p(11). Which is greater: c or 9?
9
Let y = 9579/19 - 504. Which is bigger: y or 1?
1
Suppose 2*x + 502 = 3266. Let k be (-4)/20 - x/(-60). Let n = -23 + k. Which is bigger: 1 or n?
1
Suppose 0 = 7*p - 2*p. Let a be 10/(-336) + ((-233)/21 - -11). Is p at least as big as a?
True
Suppose f + 5 = 1. Let n be (-2)/(-4)*f/(-3). Let p = 12 + -10. Is p greater than or equal to n?
True
Suppose 29*h = 26*h + 3. Do 2/7 and h have the same value?