**2 - 3*p - 18. Let y be k(8). Let v = y - -43. Is v a multiple of 5?
True
Suppose 8*l - 761 = 3*l + 3*d, 5*l + d = 773. Is 7 a factor of l?
True
Let g(r) be the third derivative of -r**4/8 - 3*r**2. Let z be g(4). Let i(t) = -3*t - 14. Is i(z) a multiple of 11?
True
Let i(o) = 3*o - 7. Suppose -5*t + 22 = -23. Does 4 divide i(t)?
True
Suppose -6*g + 2*g - 5*o + 1609 = 0, 0 = -5*o + 25. Does 13 divide g?
False
Let z = -198 + 328. Suppose -2*c + 8 = 2. Suppose -2*x + z = c*x. Is x a multiple of 13?
True
Let o be (-2)/(-6)*-3*0. Suppose 0 = -5*a + 5 - o, -29 = -w + 2*a. Let p = w + -26. Is p a multiple of 4?
False
Suppose 0 = -3*d + 10 - 4. Suppose -4*n - 83 = -547. Suppose -d*r = -l - l - n, l = -5. Is 14 a factor of r?
False
Suppose -m = -3 + 2. Is 11 a factor of ((-45)/(-10) + -3)/(m/84)?
False
Suppose -3965 = -3*n - 4*x, 5*n + 0*x - 2*x - 6643 = 0. Is 97 a factor of n?
False
Suppose 4*y = -5*f + 1814, 2*y + 3*f - 908 = -0*y. Is 50 a factor of y?
False
Suppose -3*u - 71 + 74 = 0. Does 8 divide (-674)/(-10) + 2/(-5) - u?
False
Suppose 3*x + 203 = d, -2*d = 2*d - 8. Let i = -12 - x. Suppose 11 = -4*g + 4*z + i, -3*z + 15 = 0. Does 4 divide g?
True
Let i(b) = -2*b + 20. Let f be i(10). Let r(j) = f + 10*j + j**2 - 2 + 8 + 5. Is 11 a factor of r(-10)?
True
Suppose -4*h = -85 + 5. Suppose -h*k + 155 = -15*k. Is k a multiple of 8?
False
Let r(s) be the first derivative of -3*s**2 - 36*s + 5. Is r(-14) a multiple of 9?
False
Let m(j) = -2*j + 20. Let f = 13 - 3. Let w be m(f). Suppose 20 = 4*l - w*l. Is 5 a factor of l?
True
Let m(w) = 3*w**3 + 22*w**2 - 5*w - 13. Let g(d) = -d**3 - 7*d**2 + 2*d + 4. Let j(a) = 11*g(a) + 4*m(a). Is 29 a factor of j(-9)?
False
Does 40 divide (174 - -8)/(1/2)?
False
Suppose 1 + 35 = 3*v. Suppose 4*f - 544 = -w, 0 = -2*w + 4*f - 7*f + 1088. Is 4/(-12) + w/v a multiple of 15?
True
Let s(w) = 41*w**2 - 17*w + 6. Is 12 a factor of s(3)?
True
Is 3 a factor of ((69/(-6))/23)/((-2)/2540)?
False
Let t(x) = 16*x + 26. Let y be t(5). Let d = -45 + y. Is 3 a factor of d?
False
Suppose 0 = v + 2*v - 9. Suppose -255 = -2*f + v*w, 3*w - 345 = -2*f - f. Suppose -k = -6*k + f. Is 5 a factor of k?
False
Let z = 197 + 91. Is 16 a factor of z?
True
Let v = 11 + -9. Suppose g - v*g = -70. Suppose -3*x - 51 = -4*w, 4*x - g = -5*w - 14. Does 10 divide w?
False
Suppose 51 = z - 3*c, 387 - 160 = 5*z - c. Suppose -13*y - z = -16*y. Is y a multiple of 4?
False
Let p(s) = -s - 8. Let i be p(-8). Suppose 6*h + i*h = 504. Is h a multiple of 17?
False
Is 9 a factor of 180 - (2 - (0 - -11))?
True
Let l = 528 + -324. Is l a multiple of 51?
True
Let o(g) = g**2 - 12*g + 6. Let f be o(12). Suppose j = f + 13. Suppose 5*c = -3*p + 89, -2*c + j + 4 = -3*p. Does 8 divide c?
True
Does 9 divide ((-468)/5)/(2/(-5))?
True
Let y(q) = 4*q**3 - 7*q**2 - 8*q + 3. Let x(i) = 2*i**3 - 3*i**2 - 4*i + 1. Let w(j) = -5*x(j) + 2*y(j). Let m(s) = -s + 4. Let d be m(7). Does 13 divide w(d)?
True
Let u = -45 + -5. Let z = 256 + u. Is 30 a factor of z?
False
Let p = 12 + -9. Suppose 4*a - 4 = 4*z + 32, z = -a + p. Suppose 0 = a*j - 3*j - 138. Is j a multiple of 20?
False
Let t(m) = -39*m**2 - 18*m + 8. Let d(u) = 13*u**2 + 6*u - 3. Let i(r) = -11*d(r) - 4*t(r). Does 10 divide i(-5)?
False
Suppose 2*m + 443 = 3*f, 0 = -2*f - 4*m - 51 + 357. Is f a multiple of 62?
False
Let a(m) be the third derivative of -m**5/30 - m**4/12 + 3*m**3/2 - 7*m**2. Let t be a(-5). Let g = t - -66. Does 35 divide g?
True
Let s(a) = a**3 + 5*a**2 - 8*a + 5. Suppose k = 5*x - 19, 4*x - 2*k - 12 = 2*k. Does 12 divide s(x)?
False
Let h(a) be the second derivative of -13*a**7/840 - a**6/180 + a**4/24 + a**3/2 - 7*a. Let k(l) be the second derivative of h(l). Is 7 a factor of k(-1)?
False
Suppose 561 - 3451 = -10*o. Is o a multiple of 13?
False
Let b(w) = 23*w**2 - 25*w + 7. Is 13 a factor of b(5)?
False
Let s be 33/44 + 6/(-8). Let n(d) = -2*d + 6. Let t be n(s). Suppose -l - l + t = 0. Does 2 divide l?
False
Suppose -373 = 3*j - r, 0*r = -2*j - 5*r - 277. Let w = 322 + j. Is w a multiple of 28?
True
Suppose -2011 = -4*w + 2*k - 687, -1340 = -4*w - 2*k. Is 40 a factor of w?
False
Suppose -18 = 3*f - 2*f. Let v = f + 26. Does 2 divide v?
True
Suppose 0 = 3*a - 9*a + 18. Let c = -5 + 8. Suppose 3*z - 10 = 5*x, -a*z + c*x = 2*x - 26. Is 5 a factor of z?
True
Let c(s) = -s**3 + s**2 + s + 246. Let q be c(0). Suppose -3*n = -5*n + q. Does 41 divide n?
True
Is 138 + 4*(-12)/16 a multiple of 12?
False
Suppose -4*i = -o + 19, 3*o - 13 = 2*o + i. Suppose -g + 4*q + 9 = -o, -3*q - 87 = -3*g. Is g a multiple of 16?
True
Suppose -5*l + 44 + 146 = 4*i, -225 = -5*l + 3*i. Suppose 2*o - l + 16 = 0. Does 7 divide o?
False
Suppose 28*z = 20*z + 3704. Is z a multiple of 12?
False
Let x(j) be the second derivative of -j**3 - 24*j**2 + j - 12. Is x(-13) a multiple of 16?
False
Let n(d) = -d**2 + d - 194. Let g(j) = -2*j - 22. Let c be g(-11). Let b be n(c). Let q = 284 + b. Is q a multiple of 30?
True
Let p(u) = 33*u + 1729. Does 65 divide p(0)?
False
Let r(m) = -2*m**3 - 4*m**2 + m + 1. Suppose c = -3*g - 18, -4*c = 2*g - 5*c + 7. Is 34 a factor of r(g)?
False
Suppose 0 = -3*m + 2*q + 1 + 18, -28 = -m + 5*q. Is 4 a factor of (m + 18/(-10))/((-6)/(-20))?
True
Suppose 5*r = 4*n - 11, -r - 2 - 1 = 0. Let m be (2 - 2)/(n + 3). Suppose -s + 94 = s - 2*x, s + x - 39 = m. Is 25 a factor of s?
False
Let m(v) = -104*v - 6. Let d(f) = 69*f + 4. Let l(u) = 8*d(u) + 5*m(u). Let b be l(3). Suppose -b = -6*j + 58. Is j a multiple of 7?
False
Is (-100)/3*102/(-68) a multiple of 10?
True
Let i(a) = -a**2 - 12*a + 4. Let t = -32 + 23. Does 14 divide i(t)?
False
Let k(g) = -g**2 + 3*g - 2. Let l be ((-120)/(-45))/((-2)/(-3)). Let z be k(l). Let a(s) = s**2 + 3*s - 6. Does 6 divide a(z)?
True
Suppose a = -5*d + 199, 4*a - 31*d - 750 = -28*d. Does 9 divide a?
True
Suppose 0 = 59*d + 20*d - 229811. Does 15 divide d?
False
Let n(g) = 5*g**3 - g**2 + g - 2. Let k be n(2). Suppose 0 = -z + 4*z - k. Suppose -i + z + 5 = 0. Is i a multiple of 17?
True
Let z = 973 - 450. Is z a multiple of 12?
False
Suppose 0*w + 5*w + 130 = -4*c, -2*c - 56 = -2*w. Let s = 32 + c. Suppose -3*r + 470 = s*r. Is r a multiple of 29?
False
Let p = 674 - -153. Is p a multiple of 48?
False
Let y(q) = q**3 - 35*q**2 + 7*q - 69. Does 2 divide y(35)?
True
Let u = -34 - -38. Suppose -v + 52 = -4*g, v + 5*g = 66 + u. Does 15 divide v?
True
Does 14 divide ((6 + -5)*13)/(2/46)?
False
Suppose -5*l - 3289 = -2*w, 28*l + 1 = 29*l. Is 9 a factor of w?
True
Is (164*17)/(-4)*(-15 - -12) a multiple of 17?
True
Let p(m) be the third derivative of m**2 + 1/2*m**3 - 9/8*m**4 + 0*m + 0. Does 19 divide p(-2)?
True
Let z(l) = -l**3 + l**2 - 2*l + 5. Let n be z(0). Suppose n*j + 5*b - 495 = 0, 0 = -2*b - 2 + 6. Is j a multiple of 21?
False
Let y(h) = h**3 + 4*h**2 - h + 4. Let u be y(-3). Let m(t) = 8*t + 376. Let c be m(-48). Let j = u - c. Is 12 a factor of j?
True
Let q(b) = b**3 + 2*b**2 + 8*b - 6. Let l(o) = -2*o**3 - 3*o**2 - 17*o + 13. Let p(w) = 4*l(w) + 9*q(w). Let m be p(-6). Is 13 a factor of ((-3)/6)/1*m?
True
Let n = 709 - 560. Is n a multiple of 82?
False
Let g = 17 + -12. Let u(x) = -x**2 - 14*x + 22. Let d be u(-15). Suppose g*z - d = q + 44, -19 = -2*z - q. Is z a multiple of 5?
True
Let p be -6 + 4 + 3 + -3. Is ((-21)/(-14))/(p/(-88)) a multiple of 11?
True
Suppose 3*u - 9 = -0*u. Suppose -2*b - u = -3*b, 145 = 5*o + 5*b. Is 13 a factor of o?
True
Suppose 0 = 6*d - 1075 + 613. Does 11 divide d?
True
Is 337/3 + (56/21)/(-8) a multiple of 15?
False
Suppose -6*w = -1039 + 751. Is 12 a factor of w?
True
Let a be 39/(-13) + 8/1. Suppose 2*y - 5*y + 156 = -2*h, 4*h - 282 = -a*y. Is 20 a factor of y?
False
Let d(t) = t**2 + 13*t - 363. Is d(33) a multiple of 55?
True
Let v be 0 - (-4 + -48 + -4). Suppose 4*d = -10 - 18. Let y = v - d. Does 21 divide y?
True
Let b = -3920 + 6358. Does 53 divide b?
True
Suppose 4*f - 102 = -5*z, 0 = -4*f - 0*z - 2*z + 108. Suppose -2*i + f = -48. Suppose -5*b + i = -72. Is 11 a factor of b?
True
Suppose 50*w - 3821 = 9479. Does 4 divide w?
False
Let a be -165*((-4)/5 - (-10 + 8)). Let g = 374 + a. Is 16 a factor of g?
True
Suppose 3*h + 0*h = -30. Let s be 4/h - (-51)/15. Suppose -7*z + s*z = -56. Is z a multiple of 7?
True
Let r = 13 + -23. 