ler: m or 5?
m
Let f be 3*40*2/(-6). Are f and -40 nonequal?
False
Let j = -752/13 - -58. Is 7 less than j?
False
Suppose 0 = 3*b + u - 26, -3*b - u + 28 = -2*u. Which is greater: b or 8?
b
Let l(z) be the third derivative of -z**6/120 - z**5/12 + 5*z**4/24 + 2*z**3/3 + 10*z**2. Let n be l(-6). Which is greater: n or 9?
n
Let z = 5 + 8. Let u be 2 + 2/z + -2. Which is smaller: u or -1?
-1
Let f = 0.316 + 0.094. Let s = f - 0.4. Let l = -3.01 + s. Is 2 equal to l?
False
Let d(p) = p**3 + 8*p**2 + 2*p - 1. Let h be d(-8). Is -17 < h?
False
Let j = -8 - -5. Let z = -0.1 + -3. Let y = z - j. Is 1 bigger than y?
True
Let x = 41 + -163/4. Suppose -2*i = -5*z + 2*z - 1, 4*z + 3 = 3*i. Suppose -8 = i*n - 3. Which is smaller: n or x?
n
Let o = -7 + 7.3. Let m = 3.9 + -4. Which is smaller: m or o?
m
Let i = 1 - 2. Let v be -3 - (-16)/7 - -1. Is v bigger than i?
True
Let x(c) = -5*c**3 + c**2 - 6*c + 7. Let v be x(2). Is v at least -41?
True
Suppose 0 = -15*p + 8*p + 259. Is 37 != p?
False
Let d(z) = -z**3 - 5*z**2 + 2*z + 2. Let w be d(-5). Let c be ((-10)/w)/((-10)/(-40)). Does c = 6?
False
Let y be 4/((-24)/(-15))*2. Suppose 5*w + 3*f - 31 = 0, w - 4*f - 1 = -4. Is y bigger than w?
False
Let a be 0 + 2 + (3 - 1). Suppose -a*f - 20 = 4*n, 2*n + 4*f + 3 = -7. Is n >= -6?
True
Let d(c) = 2*c**2 - 3*c - 6. Let q = -4 + 1. Let z(n) = -n**2 + 4*n + 6. Let u(a) = q*z(a) - 2*d(a). Let y be u(-5). Which is smaller: 1/5 or y?
y
Let g(x) = 12*x - 1. Let j be g(2). Which is smaller: j or 22?
22
Let v = 0.22 - 0.03. Let k = -0.11 - v. Let a = k - -0.27. Which is smaller: -2/3 or a?
-2/3
Suppose -2*n - 17 = -1. Is n less than or equal to -7?
True
Let x = -38 - -37.9. Which is bigger: x or -8?
x
Let z = 0 - 0. Let k(g) = -g**3 - g + 5. Let l be k(z). Are 4 and l unequal?
True
Let c be 2*9 + -3 - -1. Suppose 2*x = -x + 4*a + 16, x + c = -4*a. Is -2/15 at least x?
False
Let p be (-14)/(-8) + (-2)/(-8). Suppose 14 = -4*u + p. Let s = 1 + u. Is s equal to -2?
True
Suppose 20 = -4*k - 4. Let c be (-4)/k*25/(-10). Is c at least -1?
False
Let q(c) = 2*c + 2. Let s = 9 + -11. Let z be q(s). Which is bigger: -8/3 or z?
z
Let y = 159 + -1429/9. Suppose q - 11 = -q - 5*a, -6 = -q - 3*a. Let g be 1/(-6) + (-1)/q. Which is greater: y or g?
y
Let y be ((-8)/(-6))/(7/(-105)). Is -20 <= y?
True
Let u = -141 - -125.2. Let r = -19 - u. Let l = -3 - r. Is -0.1 smaller than l?
True
Let w = 58 + -61. Is 5 < w?
False
Let b = -173 + 277. Suppose -5*t + m + b = -0*m, -t = -4*m - 17. Let c be (-2)/9 + t/(-27). Is c > -1?
False
Suppose -4*w + 130 = -3*h, -h - w = -2*w + 43. Is -42 equal to h?
True
Suppose 4*a = m + 2*m, -2*m = -a. Which is smaller: -1/8 or a?
-1/8
Let a = -8187395 - -253847775/31. Let z = a + -1243. Let j = 16/155 - z. Is j less than 1?
True
Let x = 18.9 + -19. Is -56 less than x?
True
Let q = 25 - 21. Suppose 0 = q*v - 41 - 7. Are 12 and v equal?
True
Let n be (-10 + 11)*(7 + -1). Let y = -4 + n. Which is greater: y or 1?
y
Let s(t) = t**3 + 4*t**2 - 7*t - 6. Let v be s(-5). Is 3 greater than v?
False
Suppose 12 = -2*o - o. Is o at least as big as 0?
False
Let k be (-8)/(-32) - (-2)/(8/(-5)). Is k smaller than 1/70?
True
Let n = -9.12 - -9. Let o = n + 0.02. Let x = 2 - 7/3. Which is smaller: o or x?
x
Suppose 8*g - 60 = 4*g. Let f be 15/50*g/18. Are f and -5 nonequal?
True
Suppose 0*z = -5*z - z. Is z greater than 2?
False
Let i be 1*((-2 - -2) + 1). Suppose -64 = -5*g - 24. Let t = -5 + g. Which is greater: t or i?
t
Let u be (-1833)/65*(7 - 2). Is u at least -142?
True
Let h = 32 - 27. Is h less than 10?
True
Suppose 2*d + 8 - 2 = 0. Let v be (-1)/(-2)*d*28. Let q be 2/(-3) - 16/v. Is q <= 0?
True
Let r = 11 + -7. Suppose 0*c = -3*x + c - 3, -5*x + r*c - 5 = 0. Is -3 not equal to x?
True
Let g = -0.77 + -0.03. Let w = g - -2.8. Are w and 2/9 nonequal?
True
Let m(y) = -7*y - 13. Let a be m(10). Let u = 169/2 + a. Which is bigger: 1 or u?
u
Let u = 8 - 14. Let a = -2 - u. Let x = a - 4. Is -1 at most as big as x?
True
Suppose 3*m + 6 = 5*k - 5, -8 = -4*k + 2*m. Is k <= 2?
True
Suppose -42 = -5*c - 12. Suppose -m + 2 = -c. Let i be (-6)/m*4/(-12). Which is smaller: 0 or i?
0
Let g = -33 - -27. Is -7 not equal to g?
True
Let q(h) = -2*h - 53. Let s be q(-14). Which is bigger: s or -26?
s
Let q = -3 + 4. Let x be 58/10 + q/5. Suppose 3 = u + x. Which is greater: -1 or u?
-1
Let o be (2 + -1*31)/1. Let w = o - -41. Suppose 0 = -3*q - 3, -3*n - 2*q - w = 2*n. Is n at least -2?
True
Suppose -3*k = 2 - 11. Suppose 0 = 4*j + k*v - 5 + 2, -3*j = -3*v - 18. Let y be (3/(-4))/(3*(-4)/48). Is y >= j?
True
Let m = 49/24 + 5/8. Is m at least 4?
False
Let r = -21 - -20. Is r >= 2/35?
False
Let f = -191.9 + 192. Are f and -10 non-equal?
True
Let h = -0.11 - 2.89. Let o = 2.9 + h. Is o <= -10?
False
Let u be 3/(-4) + 7/56. Is 0 greater than or equal to u?
True
Let p = 4.12 - 4. Let x = -0.12 + p. Which is greater: x or 3?
3
Let w = 18 - 128/7. Which is smaller: w or -0.2?
w
Suppose -5*y + 0 + 44 = o, -12 = -4*y. Which is greater: -1 or o?
o
Let j(l) be the second derivative of -l**4/12 + l**3/6 + l**2/2 + 4*l. Let x be j(-2). Suppose -4*r - 8 = -2*r. Is r >= x?
True
Let b = 12 + -4. Let a = -25/3 + b. Are a and 1 unequal?
True
Suppose 7*d - 2 = 6*d. Suppose 0*q - q + 15 = 2*l, -4*q = 4*l - 40. Which is smaller: q or d?
d
Let u = -11 + 12. Is 3 at most u?
False
Suppose 4*p + 8 = -8. Which is smaller: p or -1?
p
Let s be -3 + 2 + 4*-5. Let m be (-6)/s + (-9)/56. Is 1 not equal to m?
True
Suppose -12*k = -9*k - 6. Is k at least as big as -2?
True
Suppose 5*z + 8 = 2*h - 3*h, h - 4*z = -8. Let p be -2*(-3 - 60/h). Is p greater than or equal to -9?
True
Suppose -330 = 3*r - 8*r. Let n be (3/r)/(2/(-8)). Are n and 1 equal?
False
Let j be (-89)/(-1*3/3). Are 90 and j equal?
False
Let y = 16.85 - -0.15. Let o = y - 14. Is -1/5 <= o?
True
Let o = -14 - -10. Let d = -0.08 + 0.78. Let j = d - 0.6. Is j != o?
True
Let g(x) = 303*x. Let i be g(-1). Let p be 4/16 + i/(-4). Let b = p + -381/5. Is b <= 0?
True
Let a = 4 - -11. Let s = -8 + a. Which is smaller: 6 or s?
6
Let m be (-1 - -2)*0/(-6). Let a be (3 + -7)*1/(-3). Which is smaller: a or m?
m
Let b(k) = 3*k + 1. Let c be b(-1). Let v be (3/(-6))/(c/4). Let d be (1/2 + 0)*0. Is d bigger than v?
False
Let t be (2 - 3/(-6)) + -4 + 1. Is 1.3 < t?
False
Let u be 1/(-1) + (-3 - -7). Suppose 0 = -7*d + 2*d - u*b + 3, -2*d + 4*b + 22 = 0. Is d greater than or equal to 3?
True
Suppose -5 = -7*u + 2. Which is smaller: -2/117 or u?
-2/117
Let a = -0.8 + 0.81. Let u = a - 0.11. Which is smaller: u or 0?
u
Let c = 0.2 + 0. Let p be (-256)/(-10)*60/8. Let y be 2 + (p/27)/(-4). Is y <= c?
False
Let c be (5 + -3 + -3)*-2. Suppose 0 = -c*z - 2. Which is smaller: z or -2/41?
z
Let h = 3 - 7. Let s = 5 + h. Which is smaller: s or 2?
s
Let z = -0.14 + 0.04. Is 8/5 at most z?
False
Let t = 15 + -10. Let r(s) = -s**3 - 27*s**2 - 25*s + 26. Let c be r(-26). Is c greater than t?
False
Let w = 21 - 20. Let r be (-2)/(-10) - (-138)/(-15). Let m be -5*3/r - 0. Which is smaller: w or m?
w
Let h = -2.2 - -5.2. Which is smaller: h or -3?
-3
Let a(l) = -2*l - 34. Let v be a(-17). Which is bigger: v or -3/80?
v
Let d(m) = m + 3. Let s be d(-6). Let i(k) = -28*k - 4. Let x be i(3). Let w be x/32 + (-6)/(-8). Which is smaller: w or s?
s
Let a be (-1 - 1) + 5 + 1. Is 4 greater than a?
False
Let s = 7 - 7.05. Let p = -0.05 - s. Is p > -1/6?
True
Let u(a) = a**2 + 5*a + 5. Let r = -6 - -9. Let d(b) = b**2 - 3*b - 4. Let h be d(r). Let y be u(h). Which is smaller: -1/3 or y?
-1/3
Let t = -13 + 4. Suppose 0*d = -5*d + 30. Let l = t + d. Which is greater: -2 or l?
-2
Let m be 5*5/(-25)*-4. Is 14/3 at least as big as m?
True
Let t = 11 + -19. Let y = t + 7.2. Let h = -0.2 + y. Is h less than or equal to 4?
True
Let m = 6 + -5.9. Let g = -17/20 - -5/4. Do m and g have the same value?
False
Let n = 0.1 + 0.3. Let r = n - 0.4. Let o(c) = -c**3 + 5*c**2 - c + 3. Let u be o(5). Is u not equal to r?
True
Suppose 0 = 2*v - 6*v + 20. Suppose 6 = -2*u, 2*w - 23 = 4*u + 13. Let c be ((-16)/w)/((-1)/3). Is c not equal to v?
True
Let i = -1 + 2. Let f(x) = x**3 - 21*x**2 + x - 21. Let o be f(21). Is i != o?
True
Suppose 5*x + 15 = 2*h, 4*h = -4*x + x - 35. Is x equal to -0.2?
False
Let n = -0.6 