se
Let c(l) = -5*l**3 - 8*l**2 + l + 3. Let y be c(-3). Is y greater than or equal to 62?
True
Suppose 0 = -m + 124*n - 128*n + 16, 3*m = -4*n + 24. Let p(d) be the third derivative of d**4/12 - 5*d**3/3 - d**2. Let i be p(8). Which is smaller: i or m?
m
Let c be ((-30)/(-50))/((-1)/(-5)). Suppose 7*k = c*k - 4. Let s = 10/39 - 4/39. Which is smaller: s or k?
k
Let g(v) = v**3 - 22*v**2 - 2*v + 48. Let s be g(22). Let k be (-17 - 4)/(-2*s). Do k and 4 have different values?
True
Suppose -3*r - 2*r - 12 = a, 0 = -2*a + 3*r - 24. Let g(x) be the third derivative of x**5/60 + x**4/2 - x**3/6 - 3*x**2. Let s be g(a). Is 5 < s?
False
Let a = 2/669 - -109706/3345. Is a at most as big as 34?
True
Let w be (12/(-4) - 20/(-5))/(-1). Let x be 0/2*(-2)/4. Let z = x + w. Which is bigger: 0 or z?
0
Let a be 0 - (2268/(-497) + 4). Does a = 1?
False
Let p = 22.49 + -0.49. Let b(s) = -s**3 + s. Let w be b(1). Is w greater than or equal to p?
False
Let k = -68 - -65. Let v(f) = -2*f**2 - 2*f + 1. Let s be v(-2). Is s less than or equal to k?
True
Let u = 51 + -48. Let m be u - (3 + -2)*3. Is m greater than -6/5?
True
Let j be (-387)/1*(-8 - 51/(-6)). Which is bigger: j or -193?
-193
Suppose 137*o = 149*o. Which is bigger: o or -1/137?
o
Let u = -1498 - -1512. Are u and 14 equal?
True
Let z be 27/63 + (-31)/105. Which is bigger: -4.6 or z?
z
Let b be -3*(0 - -1) + 2524. Let c = -239497/95 + b. Is 1 bigger than c?
True
Let y(z) = -z**2 + 4*z - 20. Let r be y(6). Let i be (198/(-330))/(1 - r/(-26)). Which is greater: i or 2?
i
Let i = -966.9114 + 967. Is i >= 1?
False
Let y(r) = -1 - 3 - r + 0*r + 2. Let h be y(-6). Suppose 0 = 2*m + 5*s - 4*s, 2*m + 6 = -h*s. Is m bigger than 1?
False
Let o be ((-7 - -4) + 3)/(-2). Suppose 4*j + 5*a - 62 = o, -4*j + 5*j + a = 15. Is 11 at least as big as j?
False
Let o = 1622 + -1700. Which is greater: o or -77?
-77
Let g(y) = -11*y - 17. Let n(t) = -111*t - 171. Let k(p) = 21*g(p) - 2*n(p). Let a be k(-8). Is 58 less than a?
False
Let f(h) = h**2 - 9*h. Suppose 2*b - 25 = b - 4*j, 2*j - 8 = 0. Let n be f(b). Is n >= -3?
True
Let n be (4/8)/((-13)/(-2)). Suppose -34 = -32*q + 66*q. Is n at most as big as q?
False
Let u(c) = -c**2 - 9*c + 16. Let g(t) = -t**2 + 6. Let k be g(4). Let q be u(k). Let r = 4 - -2. Is q less than r?
False
Let v = 728 - 8002/11. Let w(x) = -3*x**3 + 10*x**2 - 3*x + 8. Let y(l) = l**3 - l**2 + l. Let f(j) = -w(j) - 2*y(j). Let c be f(8). Are v and c unequal?
True
Let w(f) = 49*f**2 - 3*f - 2. Let z be w(-1). Is z <= 53?
True
Let o(f) = f**3 + 4*f**2 - 14*f - 10. Let g be o(-6). Are g and 18/7 unequal?
True
Let f = -77 + 17. Let i be -5*3/(f/(-8)). Is i less than or equal to -3?
False
Let u be ((-3)/5)/1 - -1. Let z = -0.87 - -0.14. Let d = z + 0.9. Is d >= u?
False
Let k(j) = j + 2. Let c be k(-11). Let g = c + 6. Let d = -656/285 - 3/95. Which is greater: g or d?
d
Let t be (2 + -8 - -1) + (-328)/(-56). Let f be (-1*2)/(2/5). Let z = f - -6. Is z at least t?
True
Let b = 371 - 33018/89. Suppose -4*f - 3*i - 17 = 0, 16*f - 11*f - 19 = 2*i. Which is greater: b or f?
f
Suppose -133 = 7*n - 133. Is 16/25 less than or equal to n?
False
Let q(w) = 4*w**2 + 45*w + 8. Let f be q(-11). Which is smaller: -15/4 or f?
-15/4
Let m(k) = 97*k - 581. Let j be m(6). Let y = -81.31 - 1.69. Which is bigger: j or y?
j
Suppose -x - 5*r = -2, 2*r + 3 = 7. Let a = -1 - x. Are a and 5 non-equal?
True
Let d = -683/450 - -4/225. Do d and -3 have the same value?
False
Let r = 8 - 6. Let p be (6/9)/(r/3). Let o be -2 + ((-39)/(-14) - 11/22). Which is bigger: o or p?
p
Suppose 0 = -x + 4*f, 3*f = 3*x - 8*x. Let k(p) = -p**3 + p**2 + p. Let z be k(x). Let h = 519 - 512. Which is bigger: z or h?
h
Let r be (4 + -2 + 2)*15/12. Let m(i) = i**2 + 4*i - 2. Let x be m(-5). Suppose -12 = -x*f - 6. Which is greater: r or f?
r
Suppose 8*s = -7*s + 60. Let j be s/10 - 182/130. Is -1/56 less than j?
False
Let x = -20/19 + 579/532. Suppose 5*g - 1 - 4 = 5*u, 2*u + 6 = g. Let i be g - -3 - (1 - 2). Is x at most i?
False
Let z(p) = -p**3 + 7*p - 13. Let w be z(4). Are w and -49 nonequal?
False
Let q = -32 + 34. Suppose 12 = q*u + 4*k, 0*u = -4*u + 2*k + 24. Is 6 >= u?
True
Let w(y) = y**2 - 5*y - 11. Let v(p) = p**3 - p**2 + p + 8. Let t be v(0). Let a be w(t). Which is smaller: a or 12?
12
Suppose 31 = 3*d + p, -3*d - d + 50 = -3*p. Let j be d - (4/2 + 2). Are 5 and j unequal?
True
Suppose n = -6 + 3. Suppose -38 = -49*s + 60. Which is bigger: n or s?
s
Let h be (-8204)/(-98) - (4/(-14) + 0). Does 86 = h?
False
Let m(y) = -30*y - 31. Let t be m(-1). Is t smaller than 2/71?
True
Let g = 123.34 - 17.6. Let x = g - 105. Is x < 0.1?
False
Let m = -1.408 - -1.5. Let s = 0.908 + m. Let d be (1/3)/(8/6). Is s smaller than d?
False
Let n(a) = 3*a**2 + 3*a + 2. Let o be n(-2). Let d be (-6)/o - (-4)/(-16). Is d > -1?
False
Suppose p - 72 = 5*s, p - 2*s - 28 - 38 = 0. Which is smaller: p or 3?
3
Let i(v) = v**3 - 5*v**2 - 3*v + 2. Let r be i(6). Suppose 3*g = -g + r. Suppose g*b - 4*b + 1 = 0. Which is bigger: b or 2/7?
2/7
Suppose 0 = 5*f - 4*n + 64, 4*f + 3*n + 11 = -65. Is -15 greater than f?
True
Suppose 2*v = 9 - 3. Suppose 0*s - v*s - 21 = -3*j, 0 = 3*s + 15. Suppose -7*w = -2*w - j*h + 15, -10 = w + h. Is w bigger than -3?
False
Let o(n) = 2*n**2 + 6*n + 6. Let d be o(-4). Suppose -46 = 4*p + d. Let v be p/(-10)*4/(-2). Does -4 = v?
False
Let t = -316 - -302. Which is smaller: t or -32?
-32
Let s = 745 - 754. Which is greater: s or -134/15?
-134/15
Let o be 1*(-4 - -2 - -3) + 1. Suppose 2*j = -0*t + t + 22, 4*t = o*j - 88. Which is smaller: t or 0?
t
Let x(y) be the second derivative of y**3/6 - 11*y**2 - 18*y. Let z be x(8). Which is greater: z or -15?
z
Let i(k) = 25*k - 273. Let m be i(11). Let s = 147 - 226. Let f = s + 475/6. Which is smaller: m or f?
f
Suppose -398 = 2*i - 2*l - 272, -2*i - 138 = 2*l. Suppose 3*w + 264 = 69. Are w and i non-equal?
True
Let c = -0.1116 - 0.0884. Let o be 2/(-6)*(-6)/(-8). Which is greater: o or c?
c
Let c = -88 + 132. Suppose 3*b - 118 = c. Does 54 = b?
True
Let f = 2242 + -257832/115. Which is smaller: -1 or f?
-1
Let o(d) be the second derivative of -d**5/20 - 2*d**4 + 25*d**3/6 + 7*d**2/2 - 32*d. Let j be o(-25). Let g be -1*(4*3)/(-2). Which is smaller: j or g?
g
Suppose -3*w - q - 7 = 0, -4*q = 6*w - w + 21. Let f = 114589537/566874 + -1/80982. Let b = f + -203. Is w equal to b?
False
Let r = -0.13 - 18.87. Let h = -108 - -126.9. Let d = r + h. Is -6 bigger than d?
False
Let a(p) = -4*p**2 + 5*p**2 - 1 + 7*p + 8. Let i be a(-6). Let h be 2/((-4)/(-6))*i. Which is greater: h or -2?
h
Let d = -842 + 900. Is 0.1 < d?
True
Let a be 1320/200*20/18. Which is bigger: 0.1 or a?
a
Let n be (-4)/((1/(-10))/(4/(-8))). Let d be 5*(n/5 - 0). Is -17 > d?
True
Let d = -34 - -28. Let m be d/(-9) - (-104)/(-12). Let a be 9/(-36) - 3/m. Is -1 > a?
False
Let m be 12/(-20)*30/(-14). Let y = 59/35 - m. Let q(l) = l**2 - l + 1. Let s be q(0). Are s and y unequal?
True
Suppose y = -2*x - 2, 12 = -4*y + 5*x + 4. Let m = 14 - 8. Suppose 5*b - m = -16. Is b greater than y?
False
Let t be (1 + (-15 - -1))*(-7)/5. Which is bigger: 0.1 or t?
t
Suppose -55 = -3*j - 5*a, -206*j + 4*a = -202*j - 52. Is 4 < j?
True
Let d be (-4)/(-24)*(1 + 77/49). Let z = 0.1 + 0.1. Which is smaller: z or d?
z
Suppose 21*z = 3*u + 20*z + 341, -u = 4*z + 92. Which is greater: u or -1?
-1
Let h be (-2)/15 - (-2547)/(-135). Is h greater than -16?
False
Let m = 739 + -705. Which is greater: m or 35?
35
Let v = 4 + 4. Suppose f - v = 13. Suppose l + l = -3*q - 44, -l - q = f. Are l and -18 nonequal?
True
Let v(j) = -j**3 + 3*j**2 + 2*j. Let u be v(3). Suppose -3*y - 9 = 0, -2*p + u*p - 9 = -y. Suppose p*h = -4 - 20. Is h bigger than -0.3?
False
Let b = 21 + 2. Suppose 2*o - 2*v = 64, o + v + v - b = 0. Which is bigger: -1 or o?
o
Let n = 9.8 + -48.8. Let c = n + 41.3. Let t = 1.3 - c. Which is smaller: t or -0.9?
t
Let b(s) = 12*s**3 - 2*s**2 + 3*s - 2. Let c be b(1). Suppose -2*u + c + 1 = 0. Let x be (-31)/u + 1 - -2. Is x equal to -1?
False
Suppose 0 = 3*f + 3*m - 9, -3*m + 0 = -5*f - 1. Let q = 6 - f. Suppose -2*a + q*a = 0. Is 0 at least a?
True
Let r be ((-58)/(-6) - (52 + -49)) + -7. Let d be ((-9)/570)/(4/(-50)). Let l = d - -1/19. Which is small