-4 or q?
-4
Let l = -3 - -2. Let q(g) be the third derivative of -g**4/24 + g**3/6 - 3*g**2. Let t be q(2). Is l at most as big as t?
True
Let r(v) = -v. Let m be r(-4). Suppose -m - 6 = -5*n. Suppose -n*h - 25 = -7*h. Is h at most as big as 4?
False
Suppose -4*y + x = 23, y + 0*y + x = -12. Let a(r) = r**2 + 7*r. Let w be a(y). Is -1/15 not equal to w?
True
Let q be 1/6*(-135)/(-18). Which is smaller: 1 or q?
1
Let d(y) = 2*y - 2. Let r be d(-1). Let j = r + 7. Is j at most as big as 13/5?
False
Suppose 5*c - 104 = 2*y, c + 3*c + 5*y - 70 = 0. Suppose 4*s = -s - c. Is -4 at least s?
True
Suppose 4*y - 3*x = x, 5*x - 9 = 2*y. Is 2 less than y?
True
Let a = 2421/55 - 14921/33. Let y = a + 408. Is 1/4 bigger than y?
True
Let o = -78 + 79. Is -14 at least o?
False
Let g = -39 - -51. Is g > 12?
False
Let w(f) = -3*f - 75. Let d be w(-23). Suppose 0 = -y - 2*y - 15. Is d >= y?
False
Let d(j) = -j**2 - 9*j + 8. Suppose 2*c = -15 - 5. Let i be d(c). Let z be (-14)/6 - 6/9. Is i < z?
False
Let h(b) = b - 7. Let u be h(6). Let n be (5/10)/(1/u). Let l = -6 - -5. Which is smaller: l or n?
l
Let f(l) = -6*l + 2*l**3 - 6*l**2 - 3*l**2 - 3*l**3. Let m be f(-6). Let j = m + 149/2. Does 2 = j?
False
Let z = 12 - -1. Which is bigger: 3 or z?
z
Let p = -1059/280 + 27/7. Is -1 >= p?
False
Suppose 0 = -a + 4 + 3. Which is smaller: -4 or a?
-4
Let r = -0.28 - -0.48. Is -0.07 at most as big as r?
True
Let s(a) = a - 1. Let m be s(2). Let t be -1 + m + (-2)/(-19). Let n be (1 - 0)/(-1 - 0). Which is greater: n or t?
t
Let l(t) = 1 + 3*t**2 + t**3 - 2 - 1. Let a be l(-2). Suppose j - 2*h = 0, 3*h + 4 = -a. Which is bigger: j or -3?
-3
Let x = -29 - -29.26. Let d = 4.54 + x. Let b = 5 - d. Are b and -0.1 equal?
False
Suppose -5*t + 99 = -5*u - 6*t, -2*t + 102 = -5*u. Let r be 12/u + 4/(-10). Let p be 2 + 0 - 24/9. Which is smaller: p or r?
r
Suppose 3*o + 159 = 6*o. Let l = o - 262/5. Are 1 and l equal?
False
Let g = 2 - 3. Let s(v) = -17*v - 1. Let f be s(-2). Let h be 2/8 - f/228. Do g and h have the same value?
False
Let f = -11 + 31. Is f not equal to 19?
True
Let a(r) = -r**2 - 4*r + 4. Let f be a(-5). Is -1/5 > f?
True
Let u = 7 - 5. Suppose 0 = 2*x - 8 - 4. Let o = x - 2. Is u greater than o?
False
Let z = -10 + 13. Let b(s) = -s**2 - 6*s - 7. Let c be b(-5). Which is smaller: c or z?
c
Let x = 7 - 7. Suppose -6 = -x*i + 3*i. Which is smaller: -1 or i?
i
Let m(f) be the second derivative of -f**4/12 + 2*f**3/3 + 3*f. Let c be m(4). Is -2 at least c?
False
Let c = 17.76 - -0.24. Is 1/5 smaller than c?
True
Let w = -5 + 5. Let j = w - 0.1. Let h = 10/7 + -23/21. Does j = h?
False
Let s = -4.09 - -4. Let c = s + 0.14. Which is smaller: -0.2 or c?
-0.2
Let j = -41.1 - -41. Is j not equal to 2.3?
True
Let d(q) = -q**3 - 9*q**2 + 8*q + 7. Let l be d(-7). Let w be 1/3*18/l. Let v = 53/98 + w. Which is greater: v or -2?
v
Let d = -7 + 5. Let y(m) = -4*m - 9. Let o be y(-4). Let r be o/(-4) - (-9 + 8). Are r and d unequal?
True
Let i = 32 - 23. Let c be 6 + 2/((-6)/i). Is 1 at most c?
True
Let x = -6 + 4. Let g(s) = s - 1. Let b be g(-2). Is b equal to x?
False
Let a = -3 - -3. Let m be 1/(-1) - (0 + a). Let p be 4/(-6) + 60/117. Are m and p nonequal?
True
Let x = -0.5 + 0.6. Let g = x - -0.9. Let z = -0.01 - -0.31. Is z > g?
False
Let d = -3 + 10. Let q = d + -8. Which is smaller: 0 or q?
q
Let m be ((-2)/(-5))/((-21)/(-15)). Let k be ((1 - 0)*-15)/1. Let l be (k/7)/3 - -1. Does m = l?
True
Let g(z) = z**3 + 4*z**2 + 3*z + 4. Let j be g(-4). Let p = j + 3. Let v = -7 - p. Which is greater: -3 or v?
v
Let o = 36 + -28. Is 9 greater than o?
True
Suppose -4*a = -4*t, 0*a - t + 2 = -3*a. Is a less than or equal to -14/15?
True
Suppose -2*p = -a + 2*p - 25, -3*a - 75 = -p. Which is greater: -22 or a?
-22
Suppose -l - 3 = 2*l. Suppose o - 2*o - 3*g + 8 = 0, 5*g = -2*o + 14. Suppose -y = -o*y - 2. Which is smaller: y or l?
y
Let m = 2870 - 662968/231. Let x = m - -685/924. Is 1 bigger than x?
True
Let c = 34838/65 - 536. Let a = 57/260 - c. Is a greater than or equal to -4?
True
Suppose -14 = -2*g + 5*t, 5*t = 2*t - 6. Suppose g*q + 31 = -5*b, b = -5*q - b - 130. Let l be (-18)/q - (-4)/(-8). Is l <= 0?
False
Let i = -406 + 26795/66. Is i at least as big as 0?
False
Let f = -804/5 + 160. Suppose 2 = 2*z - 4. Suppose -h - z*h = 0. Which is greater: h or f?
h
Suppose -i = 4*i. Suppose i = 5*b - 9*b. Do 0 and b have the same value?
True
Let g be (3/(-2))/(-3)*12. Suppose a - 1 = 2*w - g*w, w - a + 1 = 0. Suppose 0 = -5*z - 2*b - 13, w*z + z - 2*b = -5. Which is bigger: -2/5 or z?
-2/5
Suppose 22 = 8*c - 6*c. Are 13 and c unequal?
True
Let a = -7 + 8. Is -3/14 less than a?
True
Let f = -39 - -37. Is f < -7/9?
True
Let p = 8 + -6. Let r be p/(-2)*(-8)/(-10). Suppose 5*b - 3*o + 1 - 3 = 0, -3*b - 14 = 2*o. Is b smaller than r?
True
Let z be (-54)/36*4*2/(-222). Let w = -2 + 3. Are w and z non-equal?
True
Let z be (10/8)/(1/(-4)). Let j be 1/5*-2 - 115/25. Are j and z nonequal?
False
Let v be 8/10*(-40)/(-16). Are 1 and v equal?
False
Let j = 0.077 - -0.923. Is -70 >= j?
False
Let l be (-1 + -1 + 2)*1. Let y = 48 - 68. Let g be -2 + ((-108)/y)/3. Is g >= l?
False
Let x = 50401/53 - 951. Which is bigger: x or -1?
x
Let p = 0.6 + -0.5. Is 1/5 > p?
True
Let t(l) be the second derivative of -l**5/20 + l**4/3 + 2*l**3/3 + 5*l**2/2 - 4*l. Let s be t(5). Suppose s = 2*v + 10. Do -5 and v have different values?
False
Let w = 18 + -3. Suppose 8 - 32 = 3*x + 3*k, -w = 3*k. Let n be 2/((-3)/x) + 0. Which is smaller: 1 or n?
1
Suppose p + 3*f + 14 = 0, -4*p + 15 = 4*f + 39. Let y be ((-1)/p)/((-2)/(-4)). Which is bigger: y or -1?
y
Let b = -8044/5 + 11288/7. Let o = -21/5 + b. Let n(z) = -z + 3. Let w be n(2). Do w and o have the same value?
False
Let a = 124 - 125. Is a > -1/92?
False
Let u = -4 - -1. Let v = 3 + u. Which is bigger: v or 1?
1
Let g = 6.4 - 0.4. Let u = 8 - g. Let f = -1.9 + u. Is f smaller than 0?
False
Let w = -0.5 + 0.9. Let p = -0.35 + w. Let q = p + 0.35. Which is smaller: 0 or q?
0
Let u = 45.1 - 50. Let s = -5 - u. Are s and 0.3 nonequal?
True
Suppose -1 + 10 = 3*m. Which is smaller: m or 22/5?
m
Let l = -162 + 3404/21. Is l <= 0?
False
Let b(y) = -y**3 + 2*y**2 + 2*y - 3. Let z be b(2). Are z and 11 equal?
False
Let t be (-6 - 357)*(-2)/(-9). Let s = -80 - t. Which is smaller: 0.1 or s?
0.1
Let h(s) = -s**3 - s**2 + s - 17. Let g be h(0). Let t = g + 25. Which is smaller: t or 9?
t
Let q = 1.02 - 0.02. Which is greater: -0.1 or q?
q
Let s(t) = -t**2 - 3*t + 1. Let i be s(-4). Let b be (-5)/(0 - i - 2). Let c(w) = -w - 5. Let f be c(b). Do f and -2 have the same value?
False
Let z = 32 - 32.1. Which is smaller: z or 8?
z
Let f(t) = t**2 - 7*t - 87. Let x be f(13). Suppose 5*k - 4*z = -29, 4*z - 3 - 8 = 3*k. Is x smaller than k?
False
Let r(f) = -f**2 + 3*f + 9. Let h be r(5). Which is smaller: 1.4 or h?
h
Let k(c) = c**2 - 12*c + 24. Let b be k(11). Is b less than 13?
False
Let g = 0.18 - 0.11. Let n = 0.03 + g. Are n and -2 equal?
False
Suppose -2*y + 4 = -y. Suppose -3 - 1 = -y*d. Which is smaller: -1 or d?
-1
Suppose 0 = 2*o - 205 + 33. Let k be 168/o - (0 + 2). Is k < -1?
False
Let x = 126 - 127. Which is smaller: x or -6/7?
x
Let s = -4/53 - -89/477. Suppose o - 4 = -0, -4*o = 2*l - 18. Which is smaller: s or l?
s
Let i = -7 - -12. Suppose 6 = -d - 4*n, -n = i*d - 3*n - 36. Let p be (1/3)/(2/d). Do p and 0 have different values?
True
Let v = 0 + 0.1. Let a = -1.3 - -1.1. Let s = v + a. Which is smaller: 2 or s?
s
Let b = -14 + 16. Let v be b/12 + 5/(-10). Which is smaller: v or 0?
v
Let s be 88/96 - 1/(-3). Is s equal to 1?
False
Suppose -5*j + 0*j = 0. Let y(d) = -d**2 - 1. Let c be y(j). Is c less than -5/6?
True
Let b be -6*(-1 - (1 - 1)). Let o = 4 - b. Which is bigger: -1 or o?
-1
Suppose 0 = -6*s + 3*s + 24. Is s at most 8?
True
Suppose 50 - 2 = -2*t + 5*a, 8 = 4*a. Suppose -c - 3*q = -7*q + 30, 4*c + 57 = -5*q. Is t less than c?
True
Let w = 47.78 + -48. Are w and 0.1 equal?
False
Let a = 47 - 42. Which is bigger: a or 3?
a
Suppose 4*u = -3 + 19. Suppose -r - r - u = 0. Let q = 1/20 + -43/60. Is r at most as big as q?
True
Let a(c) = -c**3 - 6*c**2 + 6*c - 6. Let y be a(-7). Is 0 less than y?
True
Let u be -1*(1 - 0)*0. Suppose 4*q - 34 = b - 0*b, -4*b 