19)/((-119)/28 - (3 - p))?
True
Let k = 5398 + -3614. Let v = k - 1203. Is v a multiple of 26?
False
Let k(j) = -51*j + 24. Let n be k(-7). Let h = 218 - n. Let y = -109 - h. Is y a multiple of 6?
True
Let f be 1/(-3 - 44/(-14)). Suppose -4*d + f*d = 18. Suppose -d = -4*l + 246. Is l a multiple of 31?
False
Suppose 0*m - 3 = m. Let l(v) = 7*v**2 - 3*v**3 + 5*v - 2*v**2 + 0*v**2 - 7*v**2 + 7. Does 11 divide l(m)?
True
Let x = -8 + 10. Let u(l) = 2*l**2 - 34*l + 100. Let d be u(14). Let s = x + d. Is 18 a factor of s?
True
Let p = 14143 - 6583. Does 72 divide p?
True
Let d(v) be the first derivative of -v**4/4 - 11*v**3/3 + v**2/2 + 11*v - 4. Let y be d(-11). Suppose y = -10*q + 4*q + 324. Is 6 a factor of q?
True
Let g be ((-40)/(-2))/((-2)/(-8)). Let b = 74 - g. Is 18 a factor of (67 - -3)*b/(-15)?
False
Suppose -2 = -5*f + 3. Let v(x) = 72*x**3 + 2*x**2 - 1. Let u be v(f). Is u/3 - 4/12 a multiple of 4?
True
Suppose m = -a + 25, 16*m + 65 = 4*a + 13*m. Let w(g) = 6*g**2 - 90*g + 19. Is 17 a factor of w(a)?
False
Let j = -491 - -497. Suppose j*l = -10*l + 11680. Does 51 divide l?
False
Suppose 4*m + 78 = u + 259, 3*u + 48 = m. Suppose m - 237 = -8*q. Is q a multiple of 4?
True
Suppose 2*n + 2*a + 2539 = 5*a, -3*a = -3*n - 3813. Let y = -856 - n. Is 22 a factor of y?
True
Let q(c) = c**2 + 5. Let j be 8/(8/(-4)) + 4. Let d be q(j). Suppose 0*p - p + 13 = 2*z, p - d*z + 1 = 0. Does 3 divide p?
True
Let o be 249/3 - (-1)/(3/(-9)). Suppose -5*h + 32 = 2*v, -4*h - o = -5*v - 9*h. Does 8 divide v?
True
Let y = 25252 - 16224. Does 194 divide y?
False
Let d = -719 - -10273. Is d a multiple of 17?
True
Let n(z) = -2272*z**3 - 12*z**2 - 22*z + 12. Is 323 a factor of n(-2)?
False
Suppose -5*w - 2*x + 37018 - 8982 = 0, -5*x = -5*w + 28015. Is 5 a factor of w?
False
Suppose 3*t - 4*t = 347. Let l = -181 - t. Suppose -3*k = 4 - l. Does 13 divide k?
False
Let k = 12863 + -9266. Is k a multiple of 40?
False
Let v(h) = h**3 - 16*h**2 - 17*h - 12. Let o be v(17). Let q be (-1530)/4*o/(-15). Let b = -136 - q. Does 17 divide b?
True
Let i be (48/(-60))/(1/85). Let r be (-13)/2*-30 - 1. Let w = i + r. Is w a multiple of 14?
True
Let u be 25/(-5) + 2 + 858. Let m be (2*u/24)/(2/8). Let k = m + -168. Is k a multiple of 27?
False
Suppose -4*q = -2*d + 26638, -4*d - 3*q = -49156 - 4043. Is 50 a factor of d?
False
Suppose 0 = -12*a + 535 + 197. Let u = a + 35. Does 6 divide u?
True
Let r(w) = -w**3 - 5*w**2 - w - 9. Let d be r(-6). Let i = d + -31. Suppose -5 - 45 = -i*f + 2*x, 3*x - 60 = -2*f. Does 10 divide f?
False
Let n(d) = -d**2 - 3*d + 36. Let p(a) = -a**2 - 3*a + 36. Let o(b) = 4*n(b) - 3*p(b). Let t be (-5 + 114/24)*0. Is 12 a factor of o(t)?
True
Suppose -125 = -4*c - c. Suppose -2*f + 15 = -c. Is (f/30)/(3/((-1665)/(-2))) a multiple of 15?
False
Let q = -379 - -385. Suppose -q*v = -10*v + 96. Is v a multiple of 22?
False
Let r(q) = -141*q - 2694. Is 44 a factor of r(-23)?
False
Suppose 5*h = -115 + 50. Let c(t) = 2*t**2 - 25*t + 58. Is 59 a factor of c(h)?
False
Let l = 1366 - 2338. Let v = -704 - l. Is 27 a factor of v?
False
Suppose 6 = -2*w, -5798 = 4*i + w + w. Let b = 2048 + i. Suppose 5*a = -5*h + b, -a + 0*h + h = -126. Is a a multiple of 16?
False
Suppose 30*f + 681 = 51*f - 20*f. Does 11 divide f?
False
Let s(u) = u**3 - u**2 + u - 5. Let q be s(0). Let i be 2/(30/3) + (-24)/q. Suppose 4*y = 3*r - i*r + 330, 3*r + 3*y = 495. Is 16 a factor of r?
False
Suppose -18*d - 36*d + 35*d + 2964 = 0. Does 3 divide d?
True
Let x(w) = 94*w + 442. Is x(3) a multiple of 4?
True
Suppose -3*u + 20208 = 4*q, q - 2023 = 4*u + 3010. Is 57 a factor of q?
False
Suppose 276465 = -21*m + 126*m. Is m a multiple of 74?
False
Let j be 9/((-18)/20) + -3. Let c = 18 + j. Suppose -5*l + w + 813 = 180, 2*l = -c*w + 264. Is l a multiple of 12?
False
Suppose -5*r + 38241 = 121*o - 118*o, -3*o + 21 = 0. Does 14 divide r?
True
Let f = 56 + -52. Let j(u) = -4*u**2 + 14*u + 11. Let q(k) = -3*k**2 + 13*k + 10. Let g(o) = f*j(o) - 5*q(o). Does 3 divide g(-6)?
True
Suppose 66*s - 290*s = 49*s - 692874. Is s a multiple of 15?
False
Let v(h) = 2 - h + 2*h + 0*h + 8*h**2. Suppose 22*d - 35 = 8*c + 23*d, -5*c = -5*d + 5. Does 26 divide v(c)?
False
Suppose 5*k = 2*y + 19, -2*k - 2*y - y + 19 = 0. Let i = 0 - -11. Suppose -k*f = 2*u - 32, f - u = -f + i. Is f even?
True
Suppose -3*j = 3*v + 81, -j - 26 = 5*v + 13. Let x = -76 - j. Let q = x + 106. Is 27 a factor of q?
True
Suppose -2028096 + 400096 = -176*b - 9*b. Is b a multiple of 20?
True
Suppose 4*i - 767 - 565 = -6*a, 5*a = 2*i - 698. Let b = 500 + i. Is b a multiple of 44?
False
Let f(h) = 13*h - h**2 + 15 - 4*h + 7*h. Let l = 8690 - 8677. Is f(l) a multiple of 7?
False
Suppose 0 = 4*b - 2*b - 5*h - 193, 3*b = 4*h + 300. Let g = b + -82. Does 30 divide (-1264)/(-6) + g/(-33)?
True
Let l be 5 - (8/24)/((-1)/(-3)). Suppose 112 = l*x - 0*v - 4*v, -3*v + 60 = 3*x. Does 6 divide x?
True
Let u be ((-15)/2)/((-305)/50 + 6). Suppose -q = -3*v - 1, 5*q - v + 2*v + u = 0. Is (-4571)/q - 6/(-4) a multiple of 41?
True
Let u(c) = -34*c + 13. Let v(b) = -5*b**2 + 1. Let z be v(1). Does 9 divide u(z)?
False
Let r(m) = -9*m**3 - 36*m**2 + 34*m + 33. Is 12 a factor of r(-10)?
False
Let u be (10/(-3))/(32/(-48)). Suppose 2*v - n = -0*n + 842, 2*v - 826 = u*n. Does 15 divide v?
False
Suppose 15*d = 39*d + 1224. Suppose -4*y + 24 - 152 = 0. Let z = y - d. Is 11 a factor of z?
False
Suppose 0 = 6*g + 1 - 13. Is 23 a factor of 248*(g - 1) - 72/36?
False
Suppose 4*n + 2*p + 6 = 0, 36*n + 12 = 33*n - 3*p. Let u(r) = 759*r**2 - 17*r + 17. Is 33 a factor of u(n)?
True
Let w(j) = 2*j**3 - 103*j**2 + 75*j - 59. Is 35 a factor of w(52)?
True
Let y(k) be the first derivative of 4*k**3/3 + 5*k**2/2 - 10*k + 326. Is 13 a factor of y(-19)?
True
Suppose -17655 = -2*t + 5*y, 2*y - 8345 = 5*t - 52514. Does 41 divide t?
False
Does 46 divide -6 - -2337*6 - -14?
True
Let f(i) = i**3 + 16*i**2 - 68*i + 16. Is f(15) a multiple of 25?
False
Let t(w) = 2070*w**3 - w**2 + 37*w - 74. Is t(2) a multiple of 202?
False
Suppose -3*m + 13 + 14 = 0. Suppose 0*d + m*d = 108. Suppose -7*c - 65 = -d*c. Is 13 a factor of c?
True
Let c = 400 + -815. Let n = -289 - c. Does 18 divide n?
True
Let z = 219 - 215. Let f(x) = 6*x**3 - x - 6. Does 34 divide f(z)?
True
Let n = -22 - -154. Suppose n = m - 18. Is 5 a factor of m?
True
Let l be (10 - (-22)/(-3)) + (-2)/(-6). Suppose l*z = 4*q + 2847, 6*q = 4*z + 5*q - 3783. Does 17 divide z?
False
Let z = 56 - 36. Suppose -23*s + z*s + 549 = 0. Is 22 a factor of s?
False
Let i = 108 + -113. Let z(m) = -m**3 + 3*m**2 + 10*m - 4. Let t(u) = 2*u**3 - 6*u**2 - 20*u + 9. Let p(b) = 4*t(b) + 9*z(b). Does 29 divide p(i)?
False
Suppose -4*b = 4*j - 56, -3*b + 6*b - 21 = 4*j. Let p(t) = -2*t + 27. Let g(v) = v - 1. Let d(a) = 2*g(a) - p(a). Does 10 divide d(b)?
False
Suppose -1253 = -2*g - 5*b, -5*g - 2*b = 45 - 3146. Is g a multiple of 24?
False
Let n = -2879 + 4249. Does 49 divide n?
False
Let i(l) = -l**3 + 11*l**2 + 10*l + 9. Let b be i(11). Let v = 0 + b. Does 7 divide v?
True
Let o = -141 - -143. Suppose -n + 437 = -o*r - 0*r, -4*n - 5*r + 1774 = 0. Does 17 divide n?
False
Does 148 divide (-310145)/(-66) - ((-4)/(-42))/(48/84)?
False
Let r(y) = y**2 - 11*y - 11. Let u be r(8). Let v = u + 53. Let x(b) = -b**3 + 17*b**2 + 22*b - 18. Is 9 a factor of x(v)?
True
Let t = 11072 + -1558. Is 142 a factor of t?
True
Suppose 15*r - 1566 - 1494 = 0. Suppose 4*l + 8 = 4*d, 2*d = 5*l - 2 + 12. Is (d + (-1)/(-3))*r a multiple of 28?
False
Suppose 168 = 4*i - 2*x + 960, -207 = i + 4*x. Suppose -7*y = -11*y - 1584. Let j = i - y. Does 13 divide j?
False
Suppose -4*g + 3636 = 4*n - 4620, 0 = -2*g + 2*n + 4112. Suppose 7*o - 173 = g. Is 3 a factor of o?
False
Suppose 29*v = 23*v + 78. Suppose -5*y = 8*w - v*w - 835, -2*w = -y + 170. Is y a multiple of 17?
False
Let a(w) = -9*w + 3. Let r be a(3). Suppose 0 = -b + 5*t + 2, -t + 8 = -b + 2. Is 9 a factor of (r/b)/((-2)/(-18))?
True
Let b(y) = 2*y**3 + 30*y**2 - 123*y + 16. Is 8 a factor of b(-9)?
False
Suppose -9*z + 10*z = 18. Let i = -18 + z. Suppose 6*j = -i*j + 348. Is j a multiple of 29?
True
Suppose 33*k - 108 = 42*k. Does 38 divide (532/6)/(((-32)/k)/8)?
True
Let q(b) = b**2 - 9*b - 12. Let j = 9 + -5. Suppose -j*