
True
Let f(y) = 5*y**2 - y. Let m be f(1). Suppose l + 2*n = m*l, 0 = -2*l - 5*n. Is -2 > l?
False
Let r(a) = 11*a**2 - 4*a - 3. Let c be r(-7). Let o = -9027/16 + c. Is 1 bigger than o?
True
Let b = -2.05 - -2. Let h = b + -0.05. Which is smaller: h or 10?
h
Suppose 0 = 2*h - 5*s - 0*s + 13, s = -2*h - 31. Suppose 8*d = 4*w + 4*d + 76, 0 = 4*w - 5*d + 81. Is w greater than or equal to h?
True
Let c(v) = -3*v + 47. Let b be c(17). Which is smaller: b or -5?
-5
Let k be ((-2)/7)/(1/(-7)). Suppose -2*m + 2*d = 4, 2*d - k = 4*m - 0*m. Is m at least -10?
True
Let g(s) = -s - 4. Let w(z) = -z + 2. Suppose -27 = -5*x - 2. Let c be w(x). Let q be g(c). Is 4/9 greater than q?
True
Let v = -0.98 - -0.969. Which is greater: v or 1?
1
Let b(q) = q**2 - 16*q + 1. Let m be b(7). Let h = -316/5 - m. Which is bigger: h or 0?
0
Let n = -11 + 15. Suppose -n*d = d. Let r be (d + -1)*1/(-5). Which is greater: 0 or r?
r
Suppose -15*x + 0*x = 0. Do x and -1/131 have the same value?
False
Suppose 6 = 5*c - 2*l, -l + 3*l + 6 = -4*c. Let p be (c - -6*1) + -3. Which is bigger: 4 or p?
4
Let c be -105*((-12)/10 + 0). Let b be (37/c)/(2/8). Let a = b + -8/9. Is a not equal to 0?
True
Let l be 14/4*228/(-28)*2. Which is smaller: -1 or l?
l
Suppose -4*m + 5*t = 9, -2*t + 0*t = -5*m + 10. Suppose 1 + m = 5*n. Suppose -2*s = 4*o + 2, 2 = -4*s + 3*s - 3*o. Is n less than or equal to s?
True
Let o = 0.6 + -1. Let h = -0.2 - 0.3. Let d = o - h. Is -2 at most as big as d?
True
Let j = -2390 - -107572/45. Let f = 4/45 - j. Is f >= 4/5?
False
Suppose 0 = -3*s + 5*s. Suppose 2*r + 0*r = s. Is 1 equal to r?
False
Let a = 107905/12 + -8986. Let y = 19/3 - a. Let w be 78/65*2/(-6). Is y >= w?
True
Let x = 101.9 - 102. Which is smaller: x or -5?
-5
Let a be (-38)/70 + (-4)/(-10). Let f be (-18)/(-81) + (-70)/(-9). Let p = f + -8. Which is bigger: a or p?
p
Let v = -23 - -11. Let k = -23 - v. Is k at most -12?
False
Suppose -3*y - 5*i - 28 = 0, -i - 5 = -0*i. Which is bigger: 1/20 or y?
1/20
Let o be (-12)/(-10)*10/3. Suppose -o*x + x + 6 = 0. Suppose -x*u = -u - 1. Is -3/7 at least u?
False
Let m be ((-1)/28)/(27/36). Is m > -1?
True
Let a = -0.2 + 0.2. Which is smaller: -6 or a?
-6
Let v be 2 + (0 - 1*-2). Suppose -2*f + 4*a = 2, -v*a = -4*f - 5 + 1. Let d be (1 - (-3 + 5))*2. Are d and f nonequal?
True
Suppose 0 = 2*i - 3*w - 3, 3*i - 5*i - 5*w = 5. Suppose i = -x + v + 6, -4*v - 11 = -x + 10. Which is bigger: x or 0?
x
Suppose -6 = 3*v + 3*f, 2*f = -4*v - 1 + 3. Let l = v + -4. Let s be (45/(-20))/((-6)/(-4)). Is s > l?
False
Let y = 29 - 29. Is y not equal to 1/16?
True
Let r = 2 + 0. Let b be 2/4*0/2. Which is bigger: r or b?
r
Suppose -u + 2*y + 6 = 0, -3*y - 5 = -5*u + 4. Let z be (-405)/(-4) + (-9)/(-6). Let q = z - 102. Which is bigger: q or u?
q
Suppose -5*g = -5*c - 10, 4*g - 4 = -3*c + 4. Let h be 15/(-48)*1/(-5). Which is smaller: h or c?
c
Let w = -130 - -130. Do 8/35 and w have different values?
True
Let c = -3 + 2. Let s(r) = r - 16. Let j be s(18). Is j <= c?
False
Let g = 4/1047 + 6048/349. Let q = g - 17. Are 2/7 and q equal?
False
Suppose -5*z - 2*d - 17 - 2 = 0, 0 = -4*z + 5*d - 2. Let s be 5*(z - 11/(-5)). Let y = -6 - -2. Is s at most y?
True
Let x = 12.3 + -12. Is -0.2 at most x?
True
Let k = 6 + -3. Are k and 4 equal?
False
Let f = -0.35 + 3.35. Is f greater than or equal to -2/5?
True
Suppose -3*r - 10 = -2*l, -4*r - 12 = -2*r - 4*l. Let y be (7/r)/(15/18). Let p = -22/5 - y. Is -0.2 greater than p?
False
Let p be ((-6)/9)/(3/(-54)). Let b be -2*-2*(-1)/p. Is b greater than -0.07?
False
Let h(i) = i**2 - 7*i - 10. Let j be h(9). Suppose 2 = 2*k - j. Is -2/5 < k?
True
Let i = 579 - 566.87. Let h = -0.13 + i. Which is greater: h or 0?
h
Let d be (-175)/14 - 1/(-2). Is -13 smaller than d?
True
Suppose -g = 3*z - 1, 5 = -3*z - 3*g - g. Let k be (-2)/(-2)*z/(-2). Let w = 1 - 1. Which is smaller: w or k?
k
Let l = 89/2 - 627/14. Is l greater than or equal to -1?
True
Let r(z) = -z - 8. Let b be r(-4). Suppose 3*c + 4 = -5. Which is smaller: b or c?
b
Suppose 2*y - 3*y - 3*k + 17 = 0, 27 = y + 5*k. Suppose -2*d - 2 = -0*c + y*c, 5 = -5*c + 2*d. Let x be (-99)/(-54) + c/3. Which is smaller: x or 2?
x
Let k = 25 + -23. Let w = 2 + -1. Let m = w - 2. Is k smaller than m?
False
Let b(g) = g**3 - 5*g**2 + 5*g - 5. Let h be b(4). Let a(k) = k**3 + 6*k**2 + 3*k - 5. Let p be a(-5). Suppose 4*i + p = -3. Which is greater: i or h?
h
Let u be (6/(-4))/(1/2). Let k = 7 - 13. Let y be (3 - (-3 - -3)) + k. Is y at least u?
True
Suppose d - 2*v + 28 = 0, -2*v + 22 = -d + 2*v. Let i be ((-4)/(-6))/(d/6). Is i greater than or equal to -1?
True
Let z = 5 + -5. Which is smaller: -0.1 or z?
-0.1
Let d = -23 - -23. Is -1/4 greater than d?
False
Let g = 17969/22 - 817. Is -1 less than g?
True
Suppose -2*n - 4 + 12 = 0. Suppose -z = n*z. Let x = -5 + 3. Is x smaller than z?
True
Let w = -0.05 + -5.95. Let d = -5.5 - w. Let b = 0.5 + d. Is b <= 3?
True
Let q be (1 - 4/8)*5. Do q and 3 have different values?
True
Let m = 2 + -12. Let k be (8/m)/(2/(-50)). Suppose -u + a - 5 = 0, 3*a + a = k. Which is smaller: 1 or u?
u
Let h be (-67)/(-207) + (-3)/9. Let y = -235/2898 - h. Does 1 = y?
False
Suppose q - 3*q - 28 = -2*z, -2*q - 40 = 4*z. Let w be ((-3)/(-2))/(108/q). Let l(n) = -n**3 + n**2 - n. Let j be l(1). Is w at most j?
False
Let j(s) = -s**2 - 4*s - 1. Let t be j(-3). Let i be -7 - (-4 - t*-1). Let d(z) = z**3 + 5*z**2 + z + 2. Let v be d(i). Is v at least as big as -2?
False
Let v = -10 - -16. Let q be 2*((-13)/(-7) - 2). Which is greater: v or q?
v
Let d be (-2 + -4 - -7)*(1 + -1). Which is bigger: -2 or d?
d
Suppose 11*x = 4*x. Let b(g) = g**2 - 7*g + 8. Let s be b(6). Is s bigger than x?
True
Let r = -1.01 + 0.01. Which is bigger: r or -1/3?
-1/3
Let l = 0.3 + 0.7. Let n = 8 - 7. Do n and l have the same value?
True
Let o = 7 + -4. Suppose 2*h + 28 = -5*h. Let y = o + h. Is y less than -2?
False
Suppose -3*f = -2*f + 1. Suppose -a + 5*a = -4. Is f < a?
False
Let c(z) = 2*z - 10. Let p be c(3). Which is bigger: p or -8/3?
-8/3
Let d(x) = x**2 + 5*x + 1. Let b be d(-5). Let q be 194/(-12)*(-5 + 2). Let v = 50 - q. Is v smaller than b?
False
Let n be 15/((-5)/((-50)/15)). Is n less than or equal to 2?
False
Let k(l) = -l**2 - 2*l + 1. Let s be k(1). Is -0.1 at least as big as s?
True
Suppose 0*u - 1 = u. Let y be ((0 - -3) + u)/7. Let k = 3 + -4. Is y equal to k?
False
Let w = -3.5 + 21.5. Let z = 17.1 - w. Let t = -0.6 - z. Is t at most as big as 2?
True
Let h(m) = 4*m**2 + m + 1. Let w be h(-1). Suppose p + 5*d = -w, 2*p - d + 2 = -5*d. Suppose 3*z = 4*z - p. Which is smaller: z or -2/15?
-2/15
Let i be (-50)/4*(-96)/20. Let x = i - 227. Let s = 2003/12 + x. Which is greater: s or 0?
0
Let b = 2.5 - 0.5. Let w = 0 - b. Let f = -1 + 2. Is f at least w?
True
Let p(t) = 2*t + 5. Let u be p(-4). Is -3 greater than or equal to u?
True
Let i = -202/3 - -68. Which is smaller: i or 1?
i
Let k(z) = -3*z + 0*z + 2*z - 2. Let g be (-2)/10 - 9/5. Let v be k(g). Do 2 and v have different values?
True
Let i be 0/(-3) - (-21)/(-18). Which is smaller: -1 or i?
i
Let v(n) = -2*n**3 - 8*n**2 - 6*n + 10. Let u(x) = -x**3 - 8*x**2 - 7*x + 9. Let b(z) = -3*u(z) + 2*v(z). Let s be b(9). Do -6 and s have the same value?
False
Let y = -1831/2128 - -1/304. Let v = 1548 - 32483/21. Let u = y + v. Is 1 less than u?
False
Let h(v) = v**2 - 19. Let q be h(-4). Which is smaller: q or 0?
q
Suppose 6 = -t + 4. Let j be (-1*6/9)/t. Is j bigger than -1/6?
True
Let x = 3 - 1. Let m be (1 - (-706)/(-190)) + x. Let j = m - -6/19. Is j not equal to -1?
True
Let l(p) be the third derivative of p**4/24 + 5*p**3/6 - 3*p**2. Let n be l(-6). Is n >= -1?
True
Suppose 1 = i - 1. Suppose i*o = -0*o - 14. Which is greater: -6 or o?
-6
Let p be 0 + (-4 + 5 - -3). Is 6 bigger than p?
True
Let b = 128 - 66. Suppose s - b = -2*a, -4*s + 131 + 81 = -a. Let w be (-2)/(-9) + 42/s. Which is smaller: w or 2/9?
2/9
Let b(r) = 3*r - 17. Let g be b(12). Suppose 16 = -5*y - g. Which is greater: -6 or y?
-6
Let g(p) = -p - 1. Let q be g(-5). Let i be (-52)/13 + 2*4. Is q < i?
False
Let v = 2 + -2. Let c be 14*(-3 - -2) + -1. Let s be 5/100*c/(-2). Is v at most as big as s?
True
Let p(w) = 2*w**2 - w**3 + 3*w**2 - 8 - 2*w**2 + 3*w**2 + 