(-3). Let f be m/10*(-40)/(-8). Is f equal to -12?
True
Let l = 27/4 - 7. Let m be -2*(-3)/(-6) - 0. Let z be 4*m - 27/(-9). Is l greater than z?
True
Let h(g) = g**2 + 8*g + 10. Let n be h(-7). Let z = -0.1 - -0.1. Which is bigger: n or z?
n
Let s = -218 - -221. Let v = -967/3 - -325. Is v less than s?
True
Let k(b) = -b**3 - 8*b**2 - 8*b - 3. Let q be k(-7). Suppose 0 = 5*i + 2*c - 3, -q*i - 2*c + 1 = -i. Is 2/37 less than or equal to i?
True
Suppose -4*n = 2*x - 6, 2*n - 18 = -x - 3*x. Let t = 4 + -2. Is t at most as big as n?
False
Suppose 0 = -4*b - y - 54, -6*y + 3*y = -b - 7. Let h be -7 - -4 - b/5. Suppose 0*t = -2*t. Which is bigger: t or h?
t
Let v be ((-4)/22)/((-2)/(-4)). Suppose -2*q + 3*q = -1. Is q <= v?
True
Let r be (-3)/24 - (-75)/24. Is 0.1 at least r?
False
Suppose 4*b = 2*g - 18, b + 3*b - 5*g + 21 = 0. Let l be (21/70)/(3/b). Is 8 less than l?
False
Let o = 10/17 + -3/34. Suppose -3*g = 5*h - 9, -20 = h - 2*g - 14. Which is bigger: o or h?
o
Let p(z) = -z - 15. Let t be p(-10). Let c be (-2)/11 - t/(-33). Which is bigger: c or 1?
1
Let l(f) = -f - 6. Let b be l(-6). Suppose -i + 0*i = b. Does i = -1?
False
Suppose 3*r - 20 = 16. Which is smaller: r or 10?
10
Let z = -249 - -1740/7. Let v = 21 + -15. Suppose 0 = -d + v*d - 5. Which is smaller: z or d?
z
Let j be (-21)/14 + (-7)/2. Let k = -7 - -4. Which is smaller: j or k?
j
Let m = 65 + -323/5. Suppose y = -4*y. Is m < y?
False
Let o = 5232/11 - 476. Is 0 smaller than o?
False
Suppose -2*w = -5*j - 4, 3*j = -3*w - j + 6. Suppose 2*h + 1 = w*g - 3, 0 = -2*h - 5*g + 3. Let m be h/(-3) + 14/(-6). Is m greater than or equal to -2?
True
Let c = -428/2007 + -2/223. Which is smaller: 2 or c?
c
Let k be ((-2)/(-6))/(2/(-6)). Let j = 0.95 + 0.05. Is k less than j?
True
Let y be (-32)/(-160) - (1 + (1 - 2)). Which is bigger: y or 0?
y
Let h = 10 - 6. Is h >= 5?
False
Suppose -5*g = r - 14, -4*r - 5*g + 5 = -6. Let l be (-12 + 6)*(-1)/r. Which is greater: -5 or l?
-5
Suppose -8 = 9*g - 5*g. Suppose -n + 4 - 15 = -3*p, -n - 3 = p. Let d be (1/p)/((-2)/4). Is g at most as big as d?
True
Let d be (3/(-12))/(-1) - (-29)/(-4). Which is bigger: -25/4 or d?
-25/4
Let f(l) = 2*l**2 + 5*l + 2. Let k be f(-3). Suppose -5*t - z - 63 = 21, -2*t = -k*z + 39. Which is smaller: t or -1?
t
Let c(u) = u**3 + 3. Let y be c(0). Suppose y*z = 2*z. Which is smaller: 1/4 or z?
z
Suppose -2*w + 4*c - 2 = -w, 0 = -5*w + 3*c + 41. Let p be (1/(-8))/(5/w). Let y = 0 - 0. Is y != p?
True
Let c be (-3)/6*8 - -16. Suppose -4*l - 2*p + 42 = 0, l - 4*p + 40 = 5*l. Is c less than l?
False
Suppose -5*x + 4 = -6. Let f = 6140/7147 + -2/1021. Which is bigger: x or f?
x
Let c(x) = -x**3 - 8*x**2 - 2*x - 1. Let i be c(-8). Suppose 0 = 5*y + 6*o - 3*o - 3, -3*o = -y + i. Which is greater: 7 or y?
7
Let p = -0.38 + 0.28. Let d be 4/(-6) - 2/(-6). Which is greater: p or d?
p
Suppose 3*c - 2*t - 2 = 0, 0 = c + 4*t + 6 - 2. Let m be (1/7)/(1/(-1)). Is m at least c?
False
Let x = 10.3 + -18. Let t = 8 - 7.3. Let z = x + t. Is 1 greater than z?
True
Let y(f) = -f**3 + 3*f**2. Suppose -4*t = 5*l - 30, 5*t = 5*l - 4*l + 23. Let a be l/(-3*4/(-18)). Let i be y(a). Is i at least 1?
False
Let h = -3 - -4. Let b be (-12)/(-72) - 2/12. Which is bigger: b or h?
h
Let j(w) be the second derivative of -w**5/60 + w**4/8 + w**3/3 - w. Let p(h) be the second derivative of j(h). Let i be p(2). Which is bigger: -1/2 or i?
-1/2
Let g(a) be the third derivative of a**5/60 + 7*a**4/24 + 5*a**3/6 - a**2. Let c be (-88)/14 - (-4)/14. Let b be g(c). Which is bigger: -2 or b?
b
Let b = -205 + 1431/7. Which is bigger: 0 or b?
0
Let b = 1791/14 + -128. Is b bigger than 1?
False
Let n(u) = u**2 - 8*u + 4. Let m be n(8). Suppose 1 = 3*k + m. Which is smaller: -1/29 or k?
k
Let p = -0.09 - -4.09. Which is smaller: p or 0.2?
0.2
Let f(b) = b - 6. Suppose -3 = u - 8. Suppose -u*g + 5 = -15. Let n be f(g). Which is smaller: n or -1?
n
Suppose -2 - 4 = -3*b. Let a = -4 + 8. Which is bigger: b or a?
a
Let z = -34/23 + 89/138. Let r be 4/2 + 8/(-3). Let k = r + z. Which is bigger: k or -1?
-1
Let q(m) = 2*m + 12. Let d be q(-2). Let z = 14 + -6. Is d >= z?
True
Let h = -0.048 - 0.552. Which is smaller: h or 1/5?
h
Suppose -2*d = 8, 0 = -4*w + 4*d + d - 92. Let q = -23 - w. Which is smaller: q or 0?
0
Let b(q) = -q**2 - 3*q - 1. Let g be b(-2). Let u be g/(-3) - (-3)/63. Is -8 not equal to u?
True
Let l be 1/((-6)/(-4)) + 1430/(-1911). Is 1 > l?
True
Let s = -0.01 - 0.99. Which is bigger: s or -6/7?
-6/7
Let p = -5 + 3. Let f be (p/4)/(3/(-18)). Suppose -22*a + 23*a - 3 = 0. Is f at least a?
True
Let j = 728998/7 - 104317. Let d = j - -175. Which is smaller: d or 0?
0
Suppose -3*u - 165 = 78. Which is smaller: -82 or u?
-82
Suppose j + 27 = 4*i, 2*i - 24 = -j + 5*j. Suppose 2*h = -2*u - h - 18, -i = -2*u + 3*h. Let y be ((-2)/(-12))/(u/(-6)). Which is greater: y or 1?
1
Let d(z) = 2*z**3 + 2*z**2 - 2*z + 1. Let c be d(1). Let b = c + 0. Suppose 5 + b = -4*i. Which is greater: -1 or i?
-1
Let v = 146/5 + -28. Are 2 and v unequal?
True
Let n = -366/7 - -52. Do -20 and n have the same value?
False
Let j = 5/56 + -1/56. Is 1 greater than j?
True
Let v be (10/4)/(-5)*2. Let g = -2/19 - 53/38. Which is greater: g or v?
v
Suppose 5*m = -3*m - 32. Is m greater than -0.05?
False
Suppose 0 = 5*m - 33 + 3. Suppose 5*c - m = 6*c. Is -5 >= c?
True
Let h = 4/113 + -367/791. Let m be (-1 + 0)*(-4 + 1). Which is smaller: m or h?
h
Let y be 1 + (-3)/6 + 12/8. Let f(h) = h**3 - 3*h**2 - 5*h + 6. Suppose -2*p = -x + 12, x + 5*p + 16 = -0*p. Let r be f(x). Is r smaller than y?
False
Let a = -129 - -643/5. Suppose 1 = 2*i + 3. Which is greater: a or i?
a
Let f be 6/(-9) + 77/3. Suppose -4*u - u + f = 0. Suppose -p - u - 3 = -3*l, -4*l + 2*p + 14 = 0. Which is greater: -3 or l?
l
Suppose -3*i + i + 11 = -3*m, 0 = 4*m - 4*i + 12. Let b be m + 1 + 1 - 2. Let x = 7 + b. Is 2 at most as big as x?
True
Let p(o) = o + 9. Let d be p(-6). Suppose g - d = -1. Which is greater: 1 or g?
g
Let u = -127 - -128. Is -2/89 less than or equal to u?
True
Suppose 3*b - 3*a = -6, 0*b - 4*b = 5*a - 28. Suppose 9 = -b*d - 5. Is d greater than -7?
False
Let i = -0.5 + 0. Let h = 0.08 + 0.42. Let y = h - i. Is y smaller than 1/2?
False
Let s(z) = -z - 9. Let f be s(-9). Let h = 5879/150 - -91/25. Let j = h + -43. Is f >= j?
True
Let c be ((-4)/(-78))/(2/(-6)). Which is greater: 0 or c?
0
Let i be (-7)/(-6) + (-2)/(-6). Is -5 at most i?
True
Suppose 0*h - 4*i = -4*h - 16, -3*h - 2*i = -8. Let p = 933/7 - 133. Which is smaller: h or p?
h
Let d = 4 - 2. Let n = d - 4. Is -1 less than or equal to n?
False
Let n(l) = 11*l + 77. Let t be n(-8). Which is smaller: -9 or t?
t
Let h = 101 + -130. Is -30 equal to h?
False
Let o = 9 + -9. Suppose 0 = r - o*r + 2*l + 6, -2*r - 9 = 3*l. Is 1 equal to r?
False
Let q = -94 - -656/7. Suppose 5*p - 27 = -12. Suppose 3*y = 2*l - 6, 2*y + 1 = -p*l + 10. Which is smaller: q or y?
q
Let i = -10 + 22/3. Let x = -2 - 2. Which is greater: x or i?
i
Let c = -70.6 - -71. Which is smaller: c or -0.6?
-0.6
Suppose s = r + 3, -4*r + 3*s = -5 + 19. Let a be 3*r/(15/4). Is -4 > a?
False
Let k(o) = o**2 + 9*o + 21. Let g be k(-6). Which is bigger: g or 40/9?
40/9
Let h = 11906/5 + -2373. Is 7 greater than h?
False
Suppose -3*z - 62 = 1. Let q be (1/z)/(1/2). Suppose -8 = 2*o, -16 = 5*c + o + 3*o. Do c and q have different values?
True
Let g = -35 + 34. Is g < -2/221?
True
Suppose -w + 3*w = -12. Let t(g) = -4*g**2 + 32*g - 7. Let l be t(8). Which is greater: l or w?
w
Suppose -3*t - 37 = 4*b, 3*t - 3*b = -b - 31. Is t smaller than -11?
False
Let m = 0.064 + -0.037. Which is bigger: 2/3 or m?
2/3
Let j(l) = -l**3 + 2*l**2 - 6*l + 27. Let q be j(3). Is -0.1 bigger than q?
False
Let j(w) = -1. Let h(o) = o + 3. Let u(m) = h(m) + 4*j(m). Let t be u(0). Let i be (4 + -2)*t*2. Which is bigger: i or -5?
i
Let b(q) = -2*q - 5. Let u be b(-6). Let f(n) = 2*n - 8. Let y be f(u). Suppose -5*t = -x - 1, -y*t + t - x = -9. Which is smaller: t or -3?
-3
Let y = -79/3 + 26. Which is greater: y or 0?
0
Let q(x) = -x**2 - x + 4. Let a be q(0). Suppose -u - 15 = -a*u. Is 0.1 at least as big as u?
False
Let p = 76 + -96. Is -23 greater than p?
False
Let w(u) = -33*u**3 - u + 1. Let q be w(1). Let y b