p = 37 - l. Is 23 a factor of p?
True
Let j(t) = 519*t**2 - 56*t - 55. Is 65 a factor of j(-1)?
True
Let j = -101 + 197. Is 8 a factor of j?
True
Suppose -2*u = 2*u - j - 6, -4*u = 5*j + 6. Let x = 67 - u. Is 33 a factor of x?
True
Let l(t) be the first derivative of -9*t**2/2 - 67*t - 25. Does 37 divide l(-28)?
True
Let b(s) = 10*s + 2*s**2 - 16 + 0*s**2 + s**2. Does 18 divide b(4)?
True
Let c(i) = i**3 + 10*i**2 + 8*i - 1. Let q be c(-9). Suppose 13*g = q*g + 465. Is g a multiple of 14?
False
Let p = 1020 - -502. Is 14 a factor of p?
False
Let v be -1*(-3)/(-6)*-8. Suppose -v*t + 6*t = 4. Let o = 35 - t. Is o a multiple of 11?
True
Let u be -7 + 1 + 4 - -14. Suppose -5 + u = h. Suppose 576 = 2*n + h*n. Is n a multiple of 32?
True
Suppose 15*v = -15*v + 2430. Does 3 divide v?
True
Let a = 2 + -3. Suppose 3*n + 0*n = 3. Does 8 divide -1 - (a - 16/n)?
True
Let o(w) = -2*w**2 - 16*w - 7. Let k be o(-7). Suppose k*u - 385 - 651 = 0. Does 14 divide u?
False
Does 40 divide 6/(-51) - (-6470)/85?
False
Let b(o) = -o + 17. Let w be b(9). Let y(c) = c**2 - c - 19. Let t be y(w). Suppose -t = 3*p - 130. Is 23 a factor of p?
False
Does 144 divide 3230 + (13/(-26))/(3/24)?
False
Let r be (-18 + 15)*256/6. Let u = -68 - r. Is 10 a factor of u?
True
Let o(c) = c**2 - c + 3. Let r be o(0). Suppose 0 = 8*t - r*t. Does 8 divide 2*(11 - (t - -1))?
False
Let i(p) = p**2 + 3*p + 1. Let q be i(-4). Suppose q*d - 341 = -76. Let f = d + -14. Does 13 divide f?
True
Let x(d) = -d**3 + 6*d**2 + 8*d + 7. Let m be x(8). Let q(y) = -31*y**2 + 2*y + 1. Let o be q(-1). Let p = o - m. Is 19 a factor of p?
False
Suppose x - 2*i - 1958 = 0, 3*x - i - 4551 = 1313. Is x a multiple of 49?
False
Is 3*3/36 - 2686/(-8) a multiple of 14?
True
Let z(u) = -122*u - 1. Does 15 divide z(-1)?
False
Let l be (0 + (1 - 3))*-4. Let a(j) = 33*j - j**2 + 6*j - 19 - 27*j. Does 10 divide a(l)?
False
Is 56 a factor of 3/15 + 14600/125?
False
Suppose -3*n = -3*b + 120, -2*n - 147 = -5*b + 62. Suppose 2*o - o - b = 0. Suppose 4*v + 3 = o. Is 10 a factor of v?
True
Suppose -4117*b + 9620 = -4115*b. Is 37 a factor of b?
True
Suppose 8*w + 456 = 1920. Is w a multiple of 10?
False
Let g(p) = 3*p**2 + 13*p + 2. Let x(w) = -2*w - 2. Let v be x(-3). Does 34 divide g(v)?
True
Suppose 0 = 3*n + 2*p + 2*p + 7, -4*n = -p - 16. Let y(l) = 2*l - 9 + 41 - n*l + 2*l. Is y(-14) a multiple of 5?
False
Let x = -83 - -80. Let b(w) = 15*w**2 - 6. Is b(x) a multiple of 12?
False
Let y(o) be the third derivative of 67*o**5/60 - 20*o**2. Is 14 a factor of y(-1)?
False
Suppose -13*f + f = -10764. Is f a multiple of 13?
True
Suppose -16*m = -1934 - 1458. Is 15 a factor of m?
False
Suppose 2*b - 5*h - 50 = 0, h = 3*b - 0*h - 101. Is b a multiple of 4?
False
Suppose 8*v - 2*v + 6 = 0. Is 14 a factor of (165 - (2 - 5))*(-1)/v?
True
Let u = 14 - 16. Does 7 divide -4 - u - (-333)/9?
True
Suppose -3*q + 33 = -y, -62 = 4*y - 2*q + 120. Let z = 111 + y. Is 18 a factor of z?
False
Let y be 786/(-9)*3/(-2). Suppose -9*l + y = -58. Is 7 a factor of l?
True
Suppose 0 = w + 4*q + 9 - 43, 110 = 5*w + 5*q. Let s be 1/(1 - w/15). Is (111 - -19)*(-2)/s a multiple of 13?
True
Let l = -61 - -61. Suppose -d = -l*n + n - 122, 4*n + 8 = 0. Is d a multiple of 11?
False
Suppose 0 = 3*l + v - 110, -3*v + 78 = 2*l - 0*l. Does 18 divide l?
True
Let g = 13 - 29. Let z = -4 + 8. Does 10 divide 62 + -4 + g/z?
False
Suppose -2*u - 4 = 2. Let y(i) = -4*i - 3. Let k be y(u). Suppose -k*s + 13*s = 60. Does 15 divide s?
True
Let q(f) = -2*f**2 + 4. Let x be q(-2). Let p(b) = -b**3 + 4*b**2 + 3*b + 10. Does 6 divide p(x)?
True
Suppose -26 = -5*j - 76. Is 6 a factor of 2/j - (2016/(-20))/4?
False
Let d = 53 - 49. Does 7 divide (10/d - 3)/(1/(-194))?
False
Let z(o) = 2*o - 3. Let w be z(3). Let c be (3 - -1) + 0 + w. Suppose 5*i + 85 = 2*d, c*d - 3*i - 191 = 3*d. Is d a multiple of 21?
False
Suppose 0 = -6*p + 7*p - 5*q - 430, -4*q - 428 = -p. Is p a multiple of 31?
False
Is 20 a factor of (72/20)/(3015/1000 - 3)?
True
Suppose -2*k + 4*w = -146, 0 = -0*w - 2*w - 10. Let q = -34 + k. Is 3 a factor of q?
False
Suppose 0 = 4*v + 3*z - 9, -z - 3*z - 16 = -4*v. Suppose v*y = 25 + 110. Is 37 a factor of y?
False
Let v(n) = 2*n**2 - 10*n + 18. Does 22 divide v(8)?
True
Let m(h) = -h**3 - 6*h**2 + 4*h + 7. Let n(x) be the first derivative of x**3/3 - 7*x**2/2 + 3*x + 10. Let g be n(5). Is m(g) a multiple of 10?
False
Let q(u) = 3*u + 6. Let c(s) = 7*s + 12. Let w(z) = -2*c(z) + 5*q(z). Let j be w(-8). Let h = 5 - j. Is h a multiple of 3?
False
Let h = 18 - 32. Let w = h + 18. Is (-1)/(-4) + 55/w a multiple of 3?
False
Suppose 24*i + 850 = 5194. Is 7 a factor of i?
False
Is -393*(-10)/6 + -7 + 2 a multiple of 26?
True
Let n(p) = -p**2 - 3*p + 12. Let t be n(-5). Suppose t*b + 4*w + 29 = 111, 2*w + 41 = b. Is b a multiple of 13?
False
Suppose z - 158 = -2*b, -4*b + 3 + 9 = 0. Is 23 a factor of z?
False
Let y(u) be the first derivative of 4*u**3/3 - 3*u**2/2 - 2*u - 1. Let m be y(3). Let h = 46 - m. Is h a multiple of 21?
True
Let k(y) = 2*y - 3. Let i be k(1). Does 16 divide (-95)/(-2) + i/(-2)?
True
Let s(v) be the third derivative of -29*v**6/120 - v**5/30 - v**4/8 - v**3/3 - 19*v**2. Does 15 divide s(-1)?
False
Let r(f) = -f**2 - 20*f + 47. Let b be r(-22). Suppose -n = -3*k - 19 + 305, -5*k + b*n + 474 = 0. Does 10 divide k?
False
Suppose -6*p = -17 + 41. Does 17 divide 171 - (20/(-5))/p?
True
Suppose 0 = 5*s - 24 + 4. Suppose -220 = -3*g + g. Suppose -g = -9*n + s*n. Is 6 a factor of n?
False
Suppose -2*i + 0 - 10 = 0, -3063 = -3*z - 3*i. Does 19 divide z?
True
Suppose 3*l + 16 - 4 = 0. Let x be ((-16)/12)/(l/6). Suppose -h + 22 = -m, -x*h = h + 2*m - 91. Is 7 a factor of h?
False
Let t(d) = -32*d**3 + 71*d**3 + 6 + 8*d - 38*d**3 + 7*d**2. Does 2 divide t(-5)?
True
Let j(r) = r + 4. Let p be ((-39)/(-6))/((-2)/(-4)). Let i be j(p). Is i + 2 + (-2 - 1) a multiple of 8?
True
Let y(l) = -14*l + 204. Does 31 divide y(-23)?
False
Let t(x) = -4*x + 1 + 2*x - 4*x + 5*x. Does 2 divide t(-2)?
False
Let w(n) = 7*n**2 - 11*n + 64. Is 89 a factor of w(-21)?
True
Let r(n) = 13*n**2 - 8*n - 4. Is r(-2) a multiple of 16?
True
Is (3*(-6)/5)/((-3)/310) a multiple of 31?
True
Let m(g) = -g**3 + 9*g**2 - 9*g - 9. Let b = 1 + 6. Does 26 divide m(b)?
True
Let i = 19 + -26. Let w(y) = 15*y + 7. Let v(z) = 7*z + 3. Let f(q) = -7*v(q) + 3*w(q). Does 5 divide f(i)?
False
Suppose -3*r - 6 = 3*d, 5*r + 27 = 2*d - 4. Suppose -d*q - 8 = q - 4*w, -3*q - 3*w - 24 = 0. Let g(k) = -2*k + 8. Does 9 divide g(q)?
True
Let w(t) = t**3 - 7*t**2 - 14*t + 12. Let m(a) = -5*a**3 + 34*a**2 + 71*a - 61. Let y(h) = -2*m(h) - 11*w(h). Does 27 divide y(9)?
False
Suppose -4*v - 8 = -4*z, -12 = -5*z + v + 6. Suppose 0 = -t + 28 - z. Is 12 a factor of t?
True
Suppose -2*j - 14 = 16. Let p be (0 - 3)/(j/(-70)). Does 19 divide (220/p)/((-6)/42)?
False
Let q(j) = 2*j + 17. Let y be q(-12). Suppose -s + i - 6*i - 19 = 0, -2*i = 3*s + 96. Let m = y - s. Is 9 a factor of m?
True
Let o = 10 - 28. Is (-5 + 24)/((-3)/o*2) a multiple of 15?
False
Suppose -7*c - 3 + 3 = 0. Suppose 13*t - 728 = -c*t. Is 7 a factor of t?
True
Let u(p) = p - 13. Let k be u(10). Is (-1075)/(-10) - k/(-6) a multiple of 22?
False
Let l(i) = -7*i + 136. Does 5 divide l(18)?
True
Does 42 divide (-6 - -290)/((2/4)/1)?
False
Suppose 5*i - 1309 = -3*p, 0*i - 517 = -2*i + p. Does 11 divide i/6*(-18)/(-15)?
False
Let a be 1040/(-14) - 12/(-42). Is 9 a factor of (-1)/4 - a/8?
True
Does 16 divide 44/6*(-4 - (-145)/10)?
False
Suppose 4*p + 86 = 862. Does 13 divide p - (2/7 - (-2)/(-7))?
False
Suppose 0 = 2*g + 6 + 48. Let l = g - -56. Suppose -h + 5 = -l. Does 16 divide h?
False
Let s = 360 + -80. Does 4 divide s?
True
Let p = -143 - -149. Suppose 3*b - p*i + 4*i = 298, -5*i + 20 = 0. Does 17 divide b?
True
Let u(l) = -l**2 - 6*l - 3. Let c be u(-4). Let f(r) = 2 + 10*r - 1 + 3 - c. Does 19 divide f(2)?
True
Let g(f) = 17*f**2 + 17*f + 54. Does 17 divide g(-10)?
False
Is 63 a factor of 630 + 5 - (-5)/(-1)?
True
Is (1 - 442/10)/((-1)/5) a multiple of 8?
True
Let f(a) = -3*a**3 - 29*a**2 + 35*a + 11. Let k(z) = z**3 + 10*z**2 - 12*z - 4. Suppose 4*l + 32 + 12 = 0. Let t(u) = l*k(u) - 4*f(u). Does 16 divide t(-6)?
True
Let t(r) = -6*r - 20. Let x(w) = -w 