lse
Let z(a) = -5*a**3 - 3*a**2 + 3*a + 1. Let h be z(-3). Suppose -1 = 2*o - o, -4*o - h = -3*t. Is t a multiple of 16?
True
Let t(v) = 19*v + 4. Let c be t(5). Let h = -59 + c. Suppose -5*q - 4 + 76 = -o, -3*q = o - h. Does 9 divide q?
False
Let c = 30 + -22. Is 8 a factor of c?
True
Suppose -26*h = -25*h - 9. Is 4 a factor of h?
False
Suppose -3*p + 2*m = -5*p + 12, 0 = 4*p - 3*m - 17. Suppose -4*f = -d + 60, -p*f + 68 = 5*d - 132. Is 12 a factor of d?
False
Let m be (-6)/(-4)*(-6)/(-3). Suppose 0 = 3*s - n - 149, -224 = -s - m*s - 5*n. Does 17 divide s?
True
Let t = 78 + 34. Does 13 divide t?
False
Let g = -17 - -25. Does 4 divide g?
True
Let x = 118 + -1. Is x a multiple of 13?
True
Suppose -2*l + t = -3*t - 86, 3*l = -2*t + 161. Is 12 a factor of l?
False
Suppose 4*y - 116 = -4*v, -2*y - v + 4*v = -43. Is 9 a factor of y?
False
Let d(k) = k**2 + k + 3. Suppose -u = -5*u. Let x = u + -4. Is 15 a factor of d(x)?
True
Let x = -59 + 117. Does 29 divide x?
True
Suppose -125 = -7*y + 232. Does 17 divide y?
True
Let q = -9 - -33. Is 3 a factor of q?
True
Let v = -279 + 420. Suppose h = 4*h - v. Is 23 a factor of h?
False
Let a(c) = 2*c**3 - 2*c**2 - c + 2. Let u be a(2). Let n be 63/(-6)*u/(-6). Suppose 2*d + 0*d = n. Does 6 divide d?
False
Let s(p) = -p**3 - 10*p**2 + 10*p + 4. Is 3 a factor of s(-11)?
True
Let f(i) = i**3 - 5*i**2 - 2*i - 7. Let g(m) = -m**3 - 5*m**2 - 4*m - 2. Let w be g(-4). Let y be (-11)/w - 2/(-4). Does 13 divide f(y)?
False
Suppose 0 = 2*t + 3*t - 1575. Does 2 divide (-4)/(-26) + t/65?
False
Let i = -30 - -18. Suppose -75 = -3*v + 3*h, -4*v = -0*h - 3*h - 96. Let p = v + i. Is p a multiple of 3?
True
Let u(r) = 160*r**2 + 8*r + 13. Is u(-2) a multiple of 71?
False
Let c(i) = -16*i + 4. Is 14 a factor of c(-2)?
False
Let a be 0*((-6)/(-2) + -4). Suppose 4*f - 20 = a, -120 = -7*i + 2*i + 2*f. Is 11 a factor of i?
False
Suppose 0 = -3*j - 2*l - 2*l + 17, 0 = -j - 2*l + 7. Suppose -4*f + 134 = 2*r, r - j = -0*r. Is 9 a factor of f?
False
Let y = -12 + 17. Let c = 9 - y. Suppose -2*v = -4*v - 4*m + c, -10 = 2*m. Is 6 a factor of v?
True
Let c(k) = -2*k + 4. Let l(v) = -2*v - 2. Let b be l(4). Is c(b) a multiple of 12?
True
Let r = 25 - 15. Let z = 17 - r. Suppose 2*x - 39 = d, -2*x - 2*d + z*d + 35 = 0. Is x a multiple of 13?
False
Suppose -95 = -p + 91. Does 38 divide p?
False
Let s = -3 + 2. Let t(x) = -2*x**3 + x**2 + 0*x**3 + x - 3*x**3 + 1. Does 5 divide t(s)?
False
Suppose -5*h - 2*q + 31 = 0, -h - q = -4*h + 12. Suppose -l + 11 = h. Is 5 a factor of l?
False
Let f(g) = 6*g**2 - 4*g. Is 22 a factor of f(-3)?
True
Let t = 747 + -504. Is 16 a factor of t?
False
Is 9 a factor of (-2)/(8/(-1)) + 4251/52?
False
Suppose -2 - 2 = -2*f. Let z be 0/(f - 0) + -2. Is 19 a factor of z*(0 + (-123)/6)?
False
Let r = -109 + 244. Is 27 a factor of r?
True
Let x = 14 + 5. Is 19 a factor of 0*(0 + 1) + x?
True
Let m = 123 - 198. Let r be (-4)/(-22) + m/(-11). Let t = 12 - r. Does 2 divide t?
False
Let r(s) = -2*s**2 - 4*s + 4. Let j be r(-4). Let b be 40/j*(0 - 27). Is 11 a factor of b/4 - (-3)/(-6)?
True
Suppose -5*v - 1 = -j + 2, -j - 4*v + 3 = 0. Suppose 80 = -2*w - j*w. Let x = -10 - w. Is 3 a factor of x?
True
Suppose -4*t + 15 = 3*b, 5*b + 9 = -6. Is 16 a factor of 513/t*(-4)/(-6)?
False
Is 39 a factor of (-5 + 115/10)*6?
True
Let v(l) = l - 1. Let c be v(-2). Is 22 a factor of (c/1)/(6/(-116))?
False
Let x be (-12)/9*6/(-4). Does 19 divide ((-357)/(-2))/7*x?
False
Suppose 0 = 4*s - 0*b + 5*b + 5, 5*b = -5. Suppose -5 = -4*l + 3*g + 11, 3*g = s. Is 4 a factor of l?
True
Suppose -6*m + 373 = -107. Is m a multiple of 20?
True
Suppose -5*y - 24 + 549 = 0. Is y a multiple of 12?
False
Suppose n - 3*x = 8, -5*x = n + 2*n - 10. Let d be 0*(10/(-4))/n. Suppose -3*v + 39 - 3 = d. Is v a multiple of 5?
False
Suppose 0*h + 124 = 4*h. Is h a multiple of 7?
False
Let s(p) = 59*p**2 + 1. Let b(c) = -c**3 - 2*c**2 + c + 1. Let m be b(-2). Does 20 divide s(m)?
True
Is 11 a factor of (-17)/(2 + -4 - -1)?
False
Let x(v) = -5*v + 16 + 2*v + 4*v. Is x(0) a multiple of 8?
True
Suppose -x + 190 = -z + 4*z, 0 = -x + 2*z + 185. Is x a multiple of 10?
False
Is (-30)/(-3)*(-1)/(-2) even?
False
Let t = -96 - -171. Suppose -2*l - 3*l = 0, -5*r + 2*l + t = 0. Is r a multiple of 5?
True
Suppose -5*l = 4*k + 32, k + 3*k + 4 = 2*l. Is k/(-2)*(-3 - -7) a multiple of 6?
True
Does 7 divide (-16)/(-10)*40/4?
False
Let r(v) = v**3 + 6*v**2 + 2*v + 5. Let j be r(-6). Is 2 a factor of (1/1)/(j/(-35))?
False
Is 12 a factor of 0 - -4 - (-24 + 9)?
False
Let u = -18 + 15. Let q(m) = m**2 + m - 1. Let t(f) = -f**3 + 4*f**2 + 6*f + 2. Let s(l) = -q(l) + t(l). Is s(u) a multiple of 14?
True
Suppose -4*q + 5*q = 2. Let d be 10/4 + (-1)/q. Does 8 divide 4*2*d/2?
True
Let f be ((-2)/(-2))/((-1)/5). Let z(j) = -4*j**2 - j**2 + j**2 - 3 - j**3. Does 11 divide z(f)?
True
Does 11 divide (-2 - 6/(-6)) + 287?
True
Does 5 divide (4/(-12))/((-2)/60)?
True
Suppose 2*x = 4*q - 392, x - 4*x = 3*q - 312. Is 25 a factor of q?
True
Suppose -4*b + 31 + 33 = 0. Does 14 divide b?
False
Let n(h) = 10*h**3 + h**2 - 5*h - 8. Let u(g) = -3*g**3 + 2*g + 3. Let i(d) = -2*n(d) - 7*u(d). Let k be i(-5). Is 13 a factor of k/(-6) - (-8)/(-12)?
True
Suppose 4*v + 10 = -2*b - v, -3*b = v - 11. Suppose -6*r = -b*r + 77. Does 11 divide (r/21)/((-1)/3)?
True
Suppose 4*w - 19 + 3 = 0. Suppose -2*l - 31 = 2*i - 115, -l - 193 = -w*i. Let h = -28 + i. Does 12 divide h?
False
Let b be (-2 + -3)/((-2)/(-6)). Is 3/b - (-830)/25 a multiple of 21?
False
Let m(k) = -k**3 - 6*k**2 - 5*k - 2. Let i = 16 + -22. Is m(i) a multiple of 8?
False
Suppose 4*o - 628 = -6*p + 2*p, -2*o + 2*p = -302. Is o a multiple of 14?
True
Let s(f) = -f**3 - 9*f**2 + 10*f + 13. Suppose 0 = -4*m + 2*m + 4*j - 36, -70 = 5*m - 5*j. Is s(m) a multiple of 13?
True
Let y = 10 + -6. Suppose -2*q - 45 = -5*v, -1 = -y*v + 2*q + 35. Is v a multiple of 3?
True
Suppose o + 4 = 4*k - 2, k + 15 = 3*o. Suppose -o = -w - 1. Is w a multiple of 2?
False
Let y(d) = 0*d + 4 + 0*d + 4*d**3 - d**2 + d + 0*d. Let l(m) = -m**3 + m**2. Let i(p) = 5*l(p) + y(p). Is 4 a factor of i(4)?
True
Let b(w) = -w**3 + 8*w**2 + 12*w - 4. Let j be b(9). Let g = -11 + j. Does 4 divide g?
True
Let a(v) = 3*v**3 + v**2. Let x be (-4 + 3)/(0 + -1). Let y be a(x). Suppose -k - y*k - r = -47, 2*r = 2*k - 14. Is 3 a factor of k?
True
Suppose -5*d = -3*m + 83 - 30, -3*d + 119 = 4*m. Suppose 3*b + m = 2*s - 47, -63 = -2*s + b. Let r = -13 + s. Does 16 divide r?
True
Let k(p) = 7*p**2 + 8*p. Let x(b) be the second derivative of -b**4/2 - 7*b**3/6 + 3*b. Let m(c) = -3*k(c) - 4*x(c). Is m(-4) a multiple of 17?
False
Let h = 6 + -3. Suppose h*n = -n + 20. Suppose n*l = 4*t + 35, -t + 2*t + 14 = 2*l. Does 5 divide l?
False
Suppose -2*d + 3 = 63. Let h = d + 54. Does 24 divide h?
True
Let g(h) = -h + 10. Does 20 divide g(-17)?
False
Let t(g) = -g**3 + 20*g**2 + 4*g - 26. Is t(20) a multiple of 18?
True
Let a = -28 + 48. Does 4 divide a?
True
Suppose -3*l - 2*c = -6*l, 2*c = -3*l. Suppose 0 = -5*n, l = 4*p + 3*n + n - 132. Is 11 a factor of p?
True
Let z(k) = -k - 5. Let d be z(-10). Suppose 5*n - 240 = -d*c, 5*n = 8*n + 4*c - 141. Does 17 divide n?
True
Let o = -213 + 354. Let j = o + -84. Is j a multiple of 19?
True
Suppose 2*l + 0*v - 62 = -v, l = 4*v + 22. Is 15 a factor of l?
True
Let y(b) = b + 5. Does 11 divide y(7)?
False
Suppose 3*v = 99 + 15. Is 19 a factor of v?
True
Suppose -29 = -2*g - 0*g - y, 0 = -5*g - 4*y + 74. Does 7 divide g?
True
Let c = -3 + 9. Does 11 divide (0 + c/3)*17?
False
Let u = -3 + 12. Does 2 divide u?
False
Let j(u) = 8*u + u**2 - 3*u - 2 - 8*u. Is 13 a factor of j(-4)?
True
Let v = 14 + -13. Suppose -6 = -r + v. Is 2 a factor of r?
False
Suppose 3*p = 4*l + 97, 0 = -3*p + 3*l - 33 + 129. Does 19 divide p?
False
Let c be (10 - -2)*2/6. Suppose 2*h - c*q = 36, -2*q - 17 = h + 3*q. Is h a multiple of 3?
False
Let z = -7 + 17. Let d be (8/z)/(1/20). Suppose 3*u = 5*s - d, 5*u = -s - 1 - 7. Is 2 a factor of s?
True
Let n(k) = -k**2 + 6*k + 5. Let p be n(6). Suppose 5*y - 135 = r, -y - 2*r = -p*r - 41. Is 13 a factor of y?
True
Let w be ((-2)/(-6))/((-1)/(-75)). Suppose -w = -2*g + 25. Is 9 a factor of g?
False
Let n(a) be the third derivative of 0*a + 1/3*a**3 + 