Let q(r) be the first derivative of 1 + 4*r + 1/3*r**3 + 7/2*r**2. Let z be q(-6). Which is smaller: -3/2 or z?
z
Let h = -4 + 1. Let v(p) = -3*p**2 + 7*p - 6. Let g be v(5). Let z be 4/14 - g/(-14). Is z greater than h?
False
Let h = 0.5 + -0.6. Which is bigger: 0.2 or h?
0.2
Let f be (-1)/((-1 + 2)/12). Let u be ((-4)/42)/((-8)/f). Which is greater: u or -1?
u
Let h(g) = g**2 + 5*g + 4. Let o be h(-4). Which is smaller: -11 or o?
-11
Let l = -42 - -23. Is l > -18?
False
Let h = -12/109 + 6479/436. Let z = h - 15. Let s be 2/4 + (-1)/(-2). Which is bigger: s or z?
s
Suppose 0 = -12*k + 13*k + 1. Which is smaller: -0.5 or k?
k
Suppose -36*n + 28*n + 8 = 0. Which is smaller: n or 3?
n
Let n = 4 - 4.5. Let k = n - -0.3. Which is smaller: k or -1?
-1
Suppose 2 = -k + 3*k. Is k equal to -5/16?
False
Let t be (12 - 2)/(6/9). Let g = t - 15. Is -1/14 equal to g?
False
Let n = 18 - 19. Which is greater: n or 7?
7
Let p = -17 - -18. Which is greater: 9/5 or p?
9/5
Let z = -13055/99 + -461/11. Let q = z - -174. Let m be (0 + 0)/(-2)*3/6. Are q and m equal?
False
Suppose 5*h - h - 8 = 0. Suppose -2*y = -15 + 1. Let v = y - 4. Is h > v?
False
Let r be -1*(-12 - (-3 + 1)). Which is smaller: r or 9?
9
Let m be 26/(-182)*(-7)/3. Let u(f) = 2*f - 4. Let x be u(3). Suppose x*t - 5*c = -2, -2*c = 2*c. Is t bigger than m?
False
Let w = 0.09 - -0.01. Is 1/3 greater than w?
True
Let m = -17 + 33. Let d be 2*(55/10 + 3). Which is smaller: d or m?
m
Let v be (-2)/(-3) - (-10)/(-10). Is 0 at most v?
False
Let a = -9/7 + 59/35. Let d be 2/4 - 1/(-2). Which is greater: a or d?
d
Let c = -34/3 - -11. Suppose -21 = 2*x - 5*x. Suppose 5*u - 3*j = -4, -3*u - u - j = -x. Which is smaller: c or u?
c
Suppose -6*f = -2*f + 2*j + 58, 0 = -4*f + j - 43. Are -12 and f nonequal?
False
Let v = 0 - 0. Suppose -14 = 2*d - 18. Which is smaller: v or d?
v
Let z = -0.12 - -0.32. Which is smaller: z or -4/13?
-4/13
Let x = 13 + -18. Let b(q) = q**2 - 2*q - 3. Let d be b(3). Are x and d unequal?
True
Suppose -y - 5*m = 3*y + 5, 2*y + 4 = -4*m. Suppose -3*i = -5*i - 3*x + 8, 3*x - 12 = 0. Let r = 3 + i. Is r less than y?
False
Let m be (2/(-4))/(3/6). Let j be (-1)/(-4) + m/2. Let g be 1 - (52/16 + -2). Do g and j have the same value?
True
Let g(n) = -2*n**2 + 8*n - 4. Let m be g(5). Which is smaller: m or -16?
-16
Let j be (-2 - -3) + (-370)/(-182). Let o = -45/13 + j. Let q be -6*(-2)/4 + -2. Which is smaller: o or q?
o
Let p(i) = -i**2 - 16*i - 8. Let k be p(-15). Is 7 less than or equal to k?
True
Suppose 5*z + 13 = -7. Let r = z + 6. Suppose 4*q = -r*s - 8, 5*s = -q + 2*q - 20. Are -0.1 and q non-equal?
True
Let m(y) = -y**3 - 5*y**2 + 3*y + 6. Let b = 10 + -15. Let l be m(b). Is l smaller than -9?
False
Let a = 3/80 + -501/560. Let m(f) = -2*f + 15. Let g be m(8). Which is smaller: g or a?
g
Let s = -29 - -28. Which is smaller: s or -26?
-26
Let o = -3 - -2. Let r be o/(3/4 - 1). Which is greater: 5 or r?
5
Let g(m) be the third derivative of -m**4/8 + m**3/6 + m**2. Let s be g(-1). Suppose s*v = 16, -4*v = -5*h - 8 - 8. Is h at least -1/6?
True
Let l be 8/44 - (-1 - 156/(-11)). Is -13 at least l?
True
Let q be (-18)/(-63) + 38/14. Which is bigger: 4 or q?
4
Let s(r) = -r**3 - 13*r**2 - 12*r + 2. Let d be s(-12). Suppose 3*j = j + d. Let g be (j - -2)/(3/2). Which is smaller: 1 or g?
1
Let d(o) = -o**2 - 2*o. Let y be d(0). Is 5/12 not equal to y?
True
Let o = -6 - -4. Let x(w) = w**2 + 2*w. Let n be x(o). Suppose 3*p - u - 2 = 0, p + 0*p + 8 = -4*u. Is n at most p?
True
Let j be 2/(-9) + 4/(-9). Let m = -0.35 - -0.3. Let f = 2.05 + m. Is j at least as big as f?
False
Suppose -3*r = -2*b - 6, 0 = r - 2. Let z = -3530/3 + 1157. Let c = -119/6 - z. Is c less than b?
True
Let w be (-5 - -3)/((-4)/6). Which is smaller: 4 or w?
w
Suppose 4*o + o = 10. Suppose -60 = o*c + 3*c. Let y be c/9*(-3)/46. Is y bigger than 1?
False
Let v be 6/(6*1/4). Let t be (2/v)/((-5)/(-14)). Let l(w) = -w + 5. Let y be l(3). Is t less than or equal to y?
True
Suppose 2*k = 3*k + 4*u - 32, -2*u + 70 = 5*k. Which is smaller: 0 or k?
0
Let m = -0.07 + 0.12. Is m < -2/5?
False
Let t = 24 + -22. Let l = -1.1 + t. Are l and -2/5 nonequal?
True
Let w be 5 + -2 + (-45)/3. Let c = -9 - w. Do 6 and c have different values?
True
Suppose -2*t - 116 = -290. Which is greater: 88 or t?
88
Let u = 87 + -70. Let a = 0.4 + -0.5. Which is smaller: u or a?
a
Let r = -11.95 + 11.8. Which is bigger: r or 0.3?
0.3
Suppose -2 = h - 3. Let c = 716 - 6208/9. Let r = -26 + c. Do r and h have the same value?
False
Suppose -j - 1 = -2*j. Suppose -5*t + 1 = 26, -5*r = 2*t - 15. Let p = r - j. Which is smaller: p or 2?
2
Suppose -4*b - 32 = -3*m + m, 4*b - 4*m + 40 = 0. Let l be 12/(-2 - b) + -8. Let k(n) = 3*n. Let w be k(-2). Do l and w have different values?
True
Let i be 4 + -3*(-15)/(-9). Which is bigger: i or 2/73?
2/73
Let q be 26/108 - (-1)/(-4). Which is smaller: q or -1?
-1
Suppose 3*z = 6*z - 18. Let c be 12/36 - 20/z. Is -5 > c?
False
Let k = -5.02 - -0.02. Let n = -5.4 - k. Let h = n + -2.6. Which is greater: 2 or h?
2
Let i = -102.7 + 103. Is i bigger than 34?
False
Let n = 46 - 277/6. Is 0 equal to n?
False
Let d(a) be the second derivative of a**4/12 - a**3 - 7*a**2/2 + 3*a. Let k be d(7). Suppose 5*s - 2 = -5*u + 3, k = 2*s + u + 1. Is s not equal to -2?
False
Suppose -3*p + 43 - 13 = -5*h, -26 = 2*h - 4*p. Suppose -6 = -4*n + 5*n. Which is smaller: n or h?
n
Let j be (-1)/(-6)*9/(-4). Which is smaller: j or 1?
j
Let s(b) = -b**3 - 6*b**2 - 6*b + 1. Let i be s(-5). Suppose -3*c = 27 - 39. Which is bigger: c or i?
i
Let g = 1.6 - 2.6. Let i = -1 + 1. Let f = g + i. Is f at least -1?
True
Let p(d) = -d - 2. Let j be p(-7). Suppose -5*r - 2*l = 11, j*l - 18 = 5*r + 7. Is r < -5/2?
True
Let u be (0 + (-2 - -2))/2. Suppose 0 = -3*p - p - 4. Do p and u have different values?
True
Let d = 15 + -10. Suppose d*c = -0*c - 5. Let f = c - -2. Which is smaller: f or 2/7?
2/7
Let i = -73 - -293/4. Is 11 <= i?
False
Let f = 43 - 25. Is -1 greater than or equal to f?
False
Let f = 15.8 - -26.2. Which is bigger: 1 or f?
f
Let k = -0.14 - -0.04. Is k at most as big as 7?
True
Let f = 0.5 + 1.5. Let k = 4.8 - 5. Is f at least k?
True
Let y be 3/1 + 2/(-4). Is y bigger than 3?
False
Let u = -58 - -81. Is u <= 22?
False
Let i be (-5)/20 + (-11)/52. Which is bigger: 1 or i?
1
Let m be 1 - 0 - (-3)/12*-28. Is m greater than -6?
False
Let z = 95/198 - -2/99. Is z at least -1?
True
Suppose 0 = -a - 3*a. Let i = -1/7 - 2/35. Which is greater: a or i?
a
Let w be (-25)/15 - (-1788)/1062. Is 1 less than w?
False
Let l = -0.1 - 6.9. Let a = -7 - l. Which is greater: a or 4?
4
Let z be 1/((-2)/(-64 + 2)). Let x = z - 22. Let j be (-6)/4 + x/6. Which is smaller: -2 or j?
-2
Suppose 0 = -4*k + 3*k + 1. Let c be -1 - 55/136 - -1. Let b = c + 9/17. Is b bigger than k?
False
Suppose b - 8 = 4*s + 1, 0 = -3*b - s + 14. Suppose b*k + 12 = 4*d, -3*k = 2*d - 2*k - 20. Let w be d/(-28) + (-104)/(-266). Is w less than or equal to -1?
False
Let g be (0 - 1) + 546/300. Let l = 86/11 + -2293/275. Let c = l + g. Which is smaller: c or -1?
-1
Let s = 211.9 - 201. Let u = s + -11. Which is greater: -1 or u?
u
Let g(l) be the second derivative of l**5/20 - 5*l**4/12 + 2*l**3/3 + l**2/2 + 2*l. Let w be g(4). Let s = w + -1. Do s and -1/4 have the same value?
False
Suppose -5*i = -10*i + 35. Let s be 24/(-182) - (-2)/i. Are s and 0 non-equal?
True
Suppose 15*v = 14 + 1. Let k = 8/9 - 20/63. Which is smaller: k or v?
k
Suppose 2*r = -3*r - 45. Let q = r - -7. Let t be ((-6)/4)/((-7)/(-4)). Which is smaller: t or q?
q
Let y(a) = a - 2. Let x be y(-8). Let r = 9 + x. Which is smaller: r or 1/17?
r
Let g be (-20)/(-15)*(5 - -1)/2. Is 2 <= g?
True
Let c = 18 - 17. Is 1/7 > c?
False
Let u(r) = -20*r + 24. Let q be u(2). Which is bigger: -17 or q?
q
Let a = -18 - -22. Suppose -2*n = 2*j + 2, -5*n - 10 = -2*n - a*j. Is -1 bigger than n?
True
Let s = -91 + 66. Which is smaller: s or -0.1?
s
Let v = -18 - -18. Suppose -1 = s - 2*a, v*s - 5*s + 9 = 4*a. Is 1 smaller than s?
False
Let g = -21 + 24. Is 5 not equal to g?
True
Let x be (-15)/6*4/(-40). Let k = 18.9 + -18. Is x > k?
False
Suppose 2*o + 12 = -0*o. Let f be (1 - -1 - 2)/(-2). Suppose 2*n + 10 = -f. Which is greater: n