vide i(-12)?
True
Suppose 7 = -5*r + 6*r. Let s(p) = p**2 - 5*p + 4. Is s(r) a multiple of 9?
True
Let y = 29 + -2. Let r = 63 - y. Is r a multiple of 12?
True
Suppose 0 = -3*v + 5*v - 302. Suppose v + 14 = b. Does 33 divide b?
True
Let a be 5/((-10)/472) + -3. Let j = 379 + a. Is j a multiple of 24?
False
Suppose 5*p + 0*p = -2*g + 132, 0 = 4*p + 5*g - 92. Is 3/4 + 3759/p a multiple of 15?
True
Let s(m) be the second derivative of -2*m**3 + 0 + 0*m**2 - 1/12*m**4 + 3*m. Does 9 divide s(-9)?
True
Suppose -3*v + 15 = 3*u - 6*u, 0 = v - 3*u - 5. Suppose 5 + v = 2*w. Does 2 divide w?
False
Let z(m) = -m**3 + 8*m**2 + 4. Let c = 42 + -34. Let b be z(c). Is 116/36 - b/18 a multiple of 2?
False
Let k(m) = m**2 - 11*m + 20. Let s be k(8). Let f(o) = -o - 4. Let i be f(s). Suppose i = -3*w - 56 + 182. Does 21 divide w?
True
Suppose -4*b + 5274 = r, 26*b + 4*r - 2644 = 24*b. Is 12 a factor of b?
False
Let b be (-1 - (-4 - -3)) + 5. Let v(t) = -t**2 + 6*t - 1. Let g be v(b). Suppose 4*z + 3 = 2*d - 3, -g*d - 2*z + 22 = 0. Does 2 divide d?
False
Let y(o) = -2*o - 16. Suppose -3*f = -4*m + 34 - 11, f = 3*m - 6. Is 2 a factor of y(f)?
True
Let b be 4/5 - 594/55. Let m = b + 13. Let a(l) = 7*l**2 - 2*l + 7. Is 14 a factor of a(m)?
False
Let l(m) be the first derivative of 13*m**2/2 - 10*m - 3. Let w be l(-9). Does 16 divide w/(-4) - (-1)/4?
True
Let c be (-2)/((-3)/(-15)*-2). Suppose 2*w - 4 = -2*u, -c*u + 6*w = 2*w - 28. Suppose -65 = -u*j - 17. Is 4 a factor of j?
True
Suppose -9*u - 738 = -12*u. Suppose -5*p + 2*k + 422 = 112, 4*p = 2*k + u. Does 16 divide p?
True
Let z(a) = -30*a. Let s be z(5). Is ((-24)/(-30))/((-4)/s) a multiple of 10?
True
Let f be 0/1 - (-3 - -1). Let y(j) be the first derivative of 2*j**3/3 - j**2/2 - j - 2. Does 5 divide y(f)?
True
Let z = -828 - -1433. Does 24 divide z?
False
Let m = -2 + 3. Let l be 12 - (1 + 2 + m). Is 12 a factor of (-7)/((-28)/l)*6?
True
Let f = -2 + 38. Suppose 12*d + f = 13*d. Does 3 divide d?
True
Let b be 3*-5*1/(-3). Suppose -3*s + 3*v + 2 = 5, 16 = b*s + 2*v. Suppose s*a - 40 = 42. Is a a multiple of 13?
False
Suppose -2*d - 4*g = 0, -g = 4*d - 6*g - 39. Let t(i) = i**3 - 3*i**2 - 5*i + 3. Is 9 a factor of t(d)?
True
Let y = 134 + 924. Is 46 a factor of y?
True
Suppose -2*n + 3*r = r - 8, -3*n + 12 = 2*r. Let v(t) = 5*t**2 + 1. Let x be v(n). Let d = x + -57. Does 8 divide d?
True
Let l be 9/3 - ((-8)/(-1) + -2). Is 4 a factor of l/12 + ((-73)/(-4) - 0)?
False
Let y(z) = 377*z**2 + 158*z + 314. Does 6 divide y(-2)?
True
Let d = -20 - -37. Suppose 5*t - t = -36. Let j = d + t. Is j a multiple of 6?
False
Let z(n) = n - 14. Let w be z(10). Let q(o) = -o + 1. Let t be q(w). Suppose t*f - l + 17 - 134 = 0, -25 = -f + l. Is f a multiple of 11?
False
Let f be 2/(-8) - 5/(-4). Let u be f/(1/(-20)*-2). Is 8 a factor of (-12)/u*(12 - 32)?
True
Let w be (-31)/(-4) + 1/4. Let q(x) = -x. Let i(z) = 12*z - 9. Let p(f) = i(f) + 5*q(f). Is 18 a factor of p(w)?
False
Let m be 0 + (6 - 9) + 1. Let v be (-2)/(-2) - (6 + -1). Is 11 a factor of 1 + (-242 + m)/v?
False
Let p(z) = 4*z**3 + z**2 + 5*z + 1. Suppose 5*m = 4*k + 15, -k - 9 = -3*m + 2*k. Does 29 divide p(m)?
False
Suppose 3*l = 15 - 3. Let u = l - -8. Is 3 a factor of u?
True
Let h be (-2)/10*1 + 99/45. Suppose -205 = a - h*a. Is a a multiple of 41?
True
Suppose -l = -2*f - 21, 2*f + 18 = l + f. Suppose -2*d + 3*h + 27 = 6*h, -5*h - l = 0. Is 3 a factor of d?
True
Let p = -1350 - -1806. Is p a multiple of 12?
True
Let x(p) = p**2 + p - 6. Let k = -19 + 16. Let r be x(k). Suppose -3*q + 0*q + 102 = r. Does 20 divide q?
False
Let c(f) = 2*f**3 + 59*f**2 - 28*f - 28. Let p be c(-30). Let x = 205 + p. Does 13 divide x?
True
Suppose -3*m + 0*m + 12 = 0. Let u = 234 - 228. Suppose m + u = 5*d, -y - 5*d + 32 = 0. Does 14 divide y?
False
Suppose -c - 2*t - 249 = 2*c, -3*t = -3*c - 249. Let q = 371 + c. Is 36 a factor of q?
True
Let y(s) = -s**3 + 11*s**2 - 10*s - 16. Let k = 5 - -3. Does 24 divide y(k)?
True
Let f = -207 + 566. Is f a multiple of 10?
False
Suppose 0 = 2*h + 4, 0*c + c + 5*h = -6. Let g(x) = 3*x**2 - 2*x. Is g(c) a multiple of 8?
True
Let c(g) = -2*g - 3. Let o be c(-3). Let s(x) = x. Let u be s(o). Suppose 0 = 4*i - u*i - 5, 0 = -3*l - 3*i + 78. Does 7 divide l?
True
Let p be (-330)/(-21) + (-2)/(-7). Suppose 2*z + p = -2*g - 12, -2*g = 5*z + 76. Is 1*(-4)/8*z a multiple of 2?
True
Suppose -61*x + 21400 = -11*x. Is 7 a factor of x?
False
Suppose h + 0*h - 85 = 0. Let r = -12 + 15. Suppose r*n - h = -2*n. Is n a multiple of 8?
False
Suppose -5*q + 4*t = 12, 6*q - 3*q - 9 = -3*t. Let c be 0 - -2 - q - -37. Suppose c = f - 9. Is f a multiple of 12?
True
Suppose 0 = -c - m + 572, -c - 2*c + m + 1704 = 0. Is c a multiple of 53?
False
Suppose -4*a + 4*d = -3*a - 2250, -5*d - 10 = 0. Is a a multiple of 8?
False
Let v = -58 - -328. Suppose 3*l = 4*u + v, -3*l - 4*u = -104 - 142. Does 43 divide l?
True
Let r(p) be the third derivative of -1/2*p**3 + 0 + 0*p - 4*p**2 - 1/2*p**4 - 1/60*p**5. Is r(-8) a multiple of 8?
False
Suppose 2*f - 1824 = -4*f. Suppose -o + f = 3*o. Is 22 a factor of o?
False
Let b = 12 - 8. Suppose -5*t + 20 + 30 = 5*f, b*f - 4*t - 40 = 0. Is f a multiple of 10?
True
Suppose q = -3*d - 3*q + 12, 0 = 5*q. Suppose d*t - 13 = -2*v - v, 0 = 5*v - 2*t - 13. Does 2 divide v?
False
Let s = 932 + -355. Is s a multiple of 12?
False
Suppose 13*t = 9*t + 36. Suppose t*l - 8*l + 19 = 0. Let i = 24 - l. Is 26 a factor of i?
False
Suppose f + 1 = 5. Let j be 6*3/(-9)*f. Does 8 divide (j - -2)*16/(-6)?
True
Let d = 14 + -16. Let r(b) = -18*b - 1. Let k be r(d). Let p = -24 + k. Is 4 a factor of p?
False
Is 4/32 + (-2922)/(-48) a multiple of 5?
False
Let s = 458 + -158. Is s a multiple of 25?
True
Suppose 0 = 2*g - 4*k - 11 - 1, 5*k = 4*g - 18. Is (28/20 - 2)*(-90)/g a multiple of 3?
True
Suppose 0 = -5*t - t + 24. Suppose -t*u = -y + 62, 2*u + 194 = 4*y + 4*u. Is 5 a factor of y?
True
Let t be (-1)/2 + ((-26)/(-4) - 1). Suppose -5*k = -3*o - 438, o + 16 = t*o. Is k a multiple of 15?
True
Let y be 180/(-80)*(608/(-3))/2. Suppose 2*u + o = -u + 317, 2*u + 4*o = y. Is u a multiple of 32?
False
Suppose -3*l = -6*x + 2*x - 80, l - 3*x - 25 = 0. Is l a multiple of 5?
False
Suppose 3*l = s - 3*s + 77, -4*s + 156 = 4*l. Suppose -3*j + s = 2*j. Is 4 a factor of j?
True
Suppose -p = -1, -4*p + 5*p = 2*n - 1259. Is 14 a factor of n?
True
Is ((-4)/10)/((-9)/55845) a multiple of 17?
True
Let t(i) be the third derivative of i**6/120 + i**5/10 - i**4/6 + 5*i**3/3 + 8*i**2. Let q(r) = -r**2. Let j(k) = -2*q(k) + t(k). Does 14 divide j(-8)?
True
Let t be 344/(-40) + (-3)/(-5). Is 22 a factor of (-2)/t + (-1185)/(-12)?
False
Let u = -34 + 53. Suppose -h + 15 = -2*t, 62 = 2*h + 5*t - t. Let f = u + h. Is 9 a factor of f?
False
Let j(c) = -4*c**2 - 2*c - 208. Let i(v) = 3*v**2 + 2*v + 207. Let t(k) = 5*i(k) + 4*j(k). Is 30 a factor of t(0)?
False
Let n(d) = 5*d + 24. Let w be n(0). Suppose 8 = c - w. Does 32 divide c?
True
Let o(f) = 42*f - 28. Is o(4) a multiple of 10?
True
Suppose 0 = 3*q - 11 - 10. Let s = 9 - q. Suppose -136 = -6*d + s*d. Does 17 divide d?
True
Let c be 82/(-7) + 20/(-70). Let s be 3/c + (-10)/(-8). Suppose -5*d + 19 = -s. Does 4 divide d?
True
Let x be 51/18 + 4/24. Let g be (1/x)/(6/(-18)). Does 28 divide g + 46/1 + 3?
False
Suppose p = -5*t + 3*t - 14, 2*t - 4*p + 34 = 0. Let r = -6 - t. Suppose -j + 212 = r*j. Does 15 divide j?
False
Let o(l) = 3*l**3 - 32*l**2 - 5*l - 29. Let d(a) = -a**3 + 11*a**2 + 2*a + 10. Let i be (-2)/(-3)*(-24)/4. Let x(t) = i*o(t) - 11*d(t). Does 15 divide x(6)?
True
Let k = -13 - -8. Let q be (-1285)/(-25) - 3/k. Suppose 146 = 3*y - q. Is 22 a factor of y?
True
Suppose 0*y - 15*y + 315 = 0. Let w(m) = 5*m + 21. Is w(y) a multiple of 7?
True
Suppose -4*m + 480 = 3*l - 141, 4*l = -4*m + 620. Suppose 5*h - h = m. Is 13 a factor of h?
True
Suppose 67*t - 325 - 1082 = 0. Does 11 divide t?
False
Let j(l) be the first derivative of 14*l**2 - 24*l - 26. Does 49 divide j(5)?
False
Let p = 57 - 50. Suppose -12*d = -p*d - 190. Is d a multiple of 19?
True
Is 4 a factor of ((-34)/(-20)*6)/(12/300)?
False
Let l(p) = -2*p + 3 + 0 - 17*p**2 - 11 - p**3 + 0*p. Is 13 a factor of l(-17)?
True
Suppose 7*l - 100 = 2*l. Let s be ((-2)/5)/(l/