1. Let h be 10*(-1)/2 + 0. Let s = 1 + h. Is z bigger than s?
False
Let s be ((-784)/68)/(-4) - 3. Suppose 2*f - 5*v + 14 = -9, -5*v = 3*f - 28. Suppose -f = -2*r + 3*r. Is r >= s?
False
Let i = -0.23 + 0.23. Is -2 greater than or equal to i?
False
Suppose 2 + 1 = -3*m. Is -2/11 > m?
True
Suppose 0 = 2*m - 4*m + 2. Let g = 13 + -11. Which is greater: m or g?
g
Suppose 6 + 4 = -4*o + 5*b, 8 = 5*o + 4*b. Is -1/14 < o?
True
Let o = 97 - 99. Is o at most as big as -12/13?
True
Let l = -0.01 - -0.07. Let r = l - 0.26. Let u = r + 0.1. Does u = -0.05?
False
Let n = 1420/5267 - 2/229. Is 1 less than or equal to n?
False
Let i(f) = f - 11. Let u be i(16). Is u smaller than 7?
True
Let m(q) be the second derivative of q**3/6 - 13*q**2/2 + 7*q. Suppose 2 + 7 = w. Let k be m(w). Is -4 != k?
False
Let w = 37 + -997/27. Which is smaller: 0 or w?
0
Let r be ((-17)/2)/((-1)/2). Suppose 5*h = -3*i + r, -4*h + 6 + 13 = -3*i. Suppose -t = -h + 1. Which is smaller: 4 or t?
t
Let z = 125 + -497/4. Which is smaller: z or 0?
0
Let s(a) be the third derivative of -a**6/120 - a**5/30 - a**4/12 - 2*a**3/3 + a**2. Let i be s(-2). Which is greater: 0.06 or i?
0.06
Suppose 0 = 28*x - 24*x + 8. Are 27 and x nonequal?
True
Suppose -v = -6*v + 20. Suppose v*t - 4 = 4. Suppose 5*g + 4*o = -0*o - 15, -10 = t*o. Is 1 bigger than g?
False
Let z(l) = l**3 - 6*l**2 - 8*l + 3. Let g be z(7). Let n be (-12)/27 - g/6. Let v be (-2)/(-2) + -2 - 0. Which is bigger: v or n?
n
Let j = -180 + 1262/7. Let u be (-8)/(-2) - 2*1. Suppose p + p = -u. Which is smaller: p or j?
p
Suppose 5*z + 35 - 30 = 0. Which is bigger: -7/8 or z?
-7/8
Let d = 89/3 + -29. Do -6 and d have different values?
True
Suppose 20 = 4*j, 0*o - 32 = -4*o - 4*j. Let l = o - 5. Let k be 8/4*1/l. Is k less than -3/7?
True
Let w = 21 + -22. Is w greater than -2/21?
False
Let n(p) be the third derivative of -p**4/12 - 5*p**3/6 - 3*p**2. Let q be n(-4). Suppose -q*u + 4 = 1. Are -2/9 and u non-equal?
True
Let y = 46 - 24. Which is smaller: 23 or y?
y
Let g(q) = -q + 14. Let p be g(14). Is p not equal to -8/17?
True
Let j be (1/2)/((-2)/(-12)). Suppose 5 = -2*a - j*a. Which is greater: a or 2/13?
2/13
Let h = -301/76 + 15/4. Which is smaller: h or -1?
-1
Suppose 14 - 4 = o. Let y = o + -5. Which is greater: 1/2 or y?
y
Let a = 7 + -6. Let n = 6 - a. Which is smaller: 4 or n?
4
Let r(y) = -20*y + 6. Let c be r(1). Is c at most -105/8?
True
Let d = 3 + 0. Let h be 2/d - (-114)/(-90). Let c = -7.1 + 7. Are h and c non-equal?
True
Let b(n) = 4*n**3 - 2*n**2 - 3*n + 3. Let z be b(2). Which is smaller: z or 22?
z
Let t(k) = 3*k**2 - 11*k + 7. Let r be t(3). Is r at most as big as -1/58?
False
Let u be 11 + -7 + (-26)/6. Is u at most as big as 1?
True
Suppose 3*h + 8 = h. Let w = -5 - h. Is w bigger than -2?
True
Let f(c) = -c**3 + 11*c**2 + 12*c + 6. Let t be f(12). Suppose -t = -4*o - 2. Is -0.1 < o?
True
Suppose 3 = 2*u - 4*w + 15, -27 = 3*u - 3*w. Which is smaller: u or 1/4?
u
Let v(b) = b**3 - 7*b**2 + 4*b + 2. Let i be v(6). Let l be 6/15 + 14/i. Is -1/4 at most l?
False
Let j be (16/56)/(3/(-42)). Suppose -4 = -0*f + f. Is f at most j?
True
Let z be (-6)/9 + 11/3. Suppose 5*c + z*k + 7 = 0, -4*c + k = -7 - 1. Suppose v = 6*v. Do v and c have different values?
True
Suppose -5*a + 3*a + 5*f = -16, 4 = 2*a + f. Let m(b) = 5*b**2 + 1. Let k be m(-1). Let h = k - a. Is 3 less than h?
False
Suppose -15 = -l - 4*l. Let g = 3 - l. Let n be 1 + g + (-22)/16. Which is greater: 1 or n?
1
Let b(o) = -3*o - 11. Let n be b(7). Let q be n/(-144) + 5/(-9). Which is smaller: -4/3 or q?
-4/3
Let m be (-236)/(-564) - 2/6. Let j = 498/329 - m. Which is smaller: j or -0.1?
-0.1
Let f = -2/1147 - -3493/29822. Is 1 at least as big as f?
True
Let r = -119/3 + 40. Let a = -3/10 + 2/15. Which is smaller: a or r?
a
Let q = -5.5 + 0.5. Let z = 4.6 + q. Let h = -0.9 - z. Is h bigger than 1?
False
Let s be (-3)/(-4 + 3 + 2). Let m be (-1 + 0)*3/3. Let g = -3 - m. Which is smaller: s or g?
s
Let n(c) = -c**2 + 5*c + 1. Let p(q) = q**2 + 17*q + 21. Let g be p(-16). Let i be n(g). Let h = 579/22 - 53/2. Is i less than h?
False
Let i(r) = r + 8. Let a be i(-6). Suppose 7 = -a*c - 1. Let n = c + 2. Do -2 and n have the same value?
True
Let w be (-2)/(-9 + (-2 - -3)). Suppose 0 = 2*u - 2 - 6. Suppose 5*a + q - 5 = 0, u*a - 13 = -3*q + 2. Is w at most a?
False
Let c(t) = -t**3 + 3*t**2 + t - 8. Let g be c(-3). Is 43 greater than g?
False
Let j(x) = x**2 + 14*x + 7. Let s be j(-14). Which is smaller: 8 or s?
s
Suppose 0*j - 3*j - 3*r = -15, 0 = -2*r + 4. Let t = 0 - j. Are t and -3/2 unequal?
True
Let o be ((-1100)/(-24))/(-11) + 4. Let b(t) = t**2 - 6*t + 5. Let n be b(5). Is n at least as big as o?
True
Let b = 1.8 + -2. Suppose -2 = -3*f - r - 1, -2*f + 19 = -3*r. Is f greater than or equal to b?
True
Suppose 11 = 2*b + 2*g + g, -b - 3*g = -13. Let f be 1/(b*3/18). Is 1 greater than f?
True
Let g = -0.114 - 0.086. Is g at most -1/12?
True
Let l = 6/215 - -20837/645. Let g = l + -32. Which is greater: -0.3 or g?
g
Let r(z) = 2*z + 6. Let j be r(-5). Let n = -3 - j. Is n at least as big as -1/4?
True
Let w = 2 + -1.3. Let m = w + -0.5. Is m less than 1/4?
True
Let n = -7 - -1. Let z(x) = 4*x + 2. Let y be z(2). Let h be n/y - 23/(-30). Does -1 = h?
False
Let l = 0.55 + -0.15. Let g = -2 - -2. Is g less than l?
True
Let w = -31 - -19. Which is greater: -11 or w?
-11
Suppose -2*r = -5*p - 6, 0 = p + 4*p - 3*r + 9. Let u be (7 + -3)/(-4)*p. Is u smaller than 3/8?
True
Let h = 33 - 32.8. Is h < 0.17?
False
Suppose 3*g + 22 + 109 = 2*t, 121 = 2*t - 5*g. Which is smaller: t or 74?
t
Let p = 16 + -17. Let n = -143/3 - -47. Which is greater: p or n?
n
Let t = -15 + 9. Let r = 7 - 12. Let c = r - t. Is c less than or equal to -1/6?
False
Let n(y) = 2*y**3 - 3*y**2 + y - 2. Let o be n(2). Let k = 6 - o. Which is bigger: 3 or k?
3
Let q = -7/3 + 41/15. Let s(f) = -f + 5. Let r = -7 - -12. Let b be s(r). Is q > b?
True
Suppose -d = -10*b + 8*b + 6, -b = -2*d - 12. Are -22/3 and d equal?
False
Suppose 4*x - 5*z + z - 12 = 0, -4*z - 6 = -2*x. Let n(p) be the third derivative of -p**4/24 + 7*p**3/6 - p**2. Let s be n(5). Which is greater: x or s?
x
Let r = -25 + 73/3. Suppose 0 = -8*h + 7*h. Is h greater than or equal to r?
True
Let p be (-4)/6*(-6)/4. Suppose 16 = 5*w - 5*m + p, 2*w - 4*m = -4. Which is smaller: w or 7?
7
Let y(a) = 3 - 2*a**2 - a**3 - 6*a - 6*a**2 - a. Let c be y(-7). Suppose -g - c*g + 4 = 0. Is g less than or equal to 1/6?
False
Let f(v) = v**2 - 13*v + 14. Let g be f(11). Is g != -15/2?
True
Let s = -5 - -8. Let b = 7 - s. Are 1 and b equal?
False
Suppose 0 = -w - 2*k - 1, -3*w = 4*k - 0*k - 7. Let y be ((-2)/12)/(3/w). Which is greater: y or -0.4?
-0.4
Suppose -4*u + 12 = 8. Is 6 less than u?
False
Let n(j) = j + 1. Let u be n(-6). Let r = -414 + 279. Let q be (-21)/r + 3/u. Is -1 at most as big as q?
True
Let v = -5.96 - -6. Let o = 1.49 - 0.45. Let k = o - v. Is -2 greater than k?
False
Let n = 19 + 5. Let k = -26.4 + n. Let f = -0.4 - k. Which is bigger: f or 0.3?
f
Let h(x) = x**3 + 7*x**2 - 8*x + 8. Let m be h(-8). Let u = m - 15. Let p = 8 + u. Is p smaller than 3?
True
Let x = -4498/25 + 180. Which is greater: 1 or x?
1
Let t(r) = -r**3 + 8*r**2 + r - 5. Let v be t(8). Let l be 1 + (4 - 0 - v). Suppose -d + 4*h + 2 = 22, -l*d - 5*h = -25. Which is greater: 2/19 or d?
2/19
Suppose 4*m = -5*a - 2 - 3, -4*m = -5*a - 5. Let f = -0.52 - 0.48. Is f > a?
False
Let s = 6 - 3. Let f(h) be the first derivative of -h**2/2 + 7*h - 2. Let x be f(s). Which is greater: x or 3?
x
Let s(v) = v**2 - 6*v - 9. Let j be s(5). Is j greater than or equal to -12?
False
Let r = -8 + 8. Let g = 3 - r. Which is greater: g or 1/3?
g
Let h = 30 - 30. Which is greater: h or 2/43?
2/43
Let t = -636 + 27350/43. Are 1 and t unequal?
True
Let a = -14 + 13. Let l be 2 + (-6 - (-1 - a)). Is l less than -6?
False
Let w(m) = m**3 + 8*m**2 + 10*m + 15. Let y be w(-7). Which is smaller: -1 or y?
y
Let y be -3 + 5 + -1 - -8. Is y smaller than 11?
True
Let c be 8/4 - 58/28. Is c >= -1?
True
Let y = 3384082245427/24285 - 696743121/5. Let s = y - 6/1619. Let v = s + -37. Are v and -1 non-equal?
True
Let c be 11140/12*1/(-3). Let b = c + 309. Is 0 not equal to b?
True
Let t(o) = -o**3 