0 = 7*i - 3*i. Suppose 5*d - 272 = 3*y, 0*d + i*y = d - 72. Is d a multiple of 15?
False
Suppose 19*g - 110535 = -39114. Does 66 divide g?
False
Let i(v) = 9*v**2 - 2*v - 3. Let y(u) = u**2 + 3*u - 2. Let c be (-4)/(-26) + (-41)/13. Let m be y(c). Is 14 a factor of i(m)?
False
Suppose -t = -4*a - 32, -2*a - 32 = -t - 4*a. Suppose 4*m + t = -0*m. Is 10 a factor of (2 - m)*2/2?
True
Let u = -18 + 61. Let g = u - 3. Suppose g = 3*a + 13. Is 4 a factor of a?
False
Let k(p) be the second derivative of -4*p**3 + 3*p**2 - 289*p. Let d be 3/((-3 - -2)/1). Is k(d) a multiple of 13?
True
Let o = 2 - -10. Let g be (-1 - -12) + o/(-4). Is 38/g - (-21)/(-28) a multiple of 4?
True
Suppose 0 = 1080*v - 1085*v + 14760. Is v a multiple of 18?
True
Let t(y) = 12*y**3 - 12*y**2 - y + 47. Is t(5) a multiple of 54?
True
Let d be (-8)/(-12) - 164/12. Let k(f) = 32*f - 2*f**2 + 3*f**2 - 23*f. Is 13 a factor of k(d)?
True
Suppose 0 = -22*j + 24611 + 10413. Is j a multiple of 23?
False
Suppose 29*f - 4151 = 31867. Is 69 a factor of f?
True
Does 37 divide (((-175)/2)/(-5))/((-7)/(-658))?
False
Let q(b) = -79*b. Does 6 divide q(-2)?
False
Let k(o) = o**2 - 13*o + 14. Let p be ((-48)/30)/(2/(-15)). Is k(p) even?
True
Let z(a) = 2*a**2 + a + 2. Let w be z(1). Suppose 24 = w*f - 56. Is f a multiple of 8?
True
Let f = -26 - -28. Suppose -g + 8 = -4*g + 2*p, f*p - 8 = -5*g. Suppose i = -g*i + 68. Does 17 divide i?
True
Let n = -69 + 201. Is 13 a factor of n?
False
Let t(l) = 2*l**3 - 2*l**2 - 5*l + 42. Does 90 divide t(8)?
False
Suppose -25 + 3457 = 26*j. Is 11 a factor of j?
True
Suppose 4*k - 4*n = -12, 2*k - 6*k - 6 = -2*n. Suppose k*w - 2628 = -12*w. Is 8 a factor of w?
False
Let s(v) be the first derivative of -v**3/3 - 2*v**2 + 12*v - 5. Let u be s(-6). Suppose l - 23 + 8 = u. Does 5 divide l?
True
Let r(u) = -4*u**3 - 5*u**2 + 3*u - 5. Let s(z) = -7*z**3 - 10*z**2 + 7*z - 11. Let j(q) = -5*r(q) + 3*s(q). Let h be j(-7). Let a = -30 + h. Does 4 divide a?
False
Let s(l) = -l**3 - 6*l**2 - 7*l + 10. Suppose 3*w = 7*w, 0 = -4*c + w - 32. Is 26 a factor of s(c)?
False
Let i(t) = 9*t + 534. Does 22 divide i(29)?
False
Let u(z) = z**2 - 11*z - 4. Let k be u(12). Suppose k = -q - 1. Let f = q + 22. Is f a multiple of 3?
False
Let g(r) be the third derivative of r**5/30 - r**2. Let n be 104/65 - (-42)/30. Does 4 divide g(n)?
False
Let h(q) = 2*q**3 - 37*q**2 + 49*q - 14. Is 13 a factor of h(19)?
False
Let g = -7 - -9. Suppose -g*p + 10 = 0, 3*p - 11 = -4*b + 176. Suppose -2*l + b = -j, -l - l = j - 53. Is l a multiple of 6?
True
Let q = 5 + -2. Suppose -4*n + 4*t = -32, -21 = -n + q*t - 7. Suppose -x = n - 62. Is x a multiple of 19?
True
Suppose 0*t - 2*t - 20 = 0. Let p(y) = y**3 + 8*y**2 - 14*y - 6. Let f be p(t). Let g = -32 - f. Is 13 a factor of g?
False
Let i(s) = -15*s - 86. Let k be i(-6). Let q(m) = 3*m - 3. Let c be q(6). Does 14 divide (k - 3)/1*c?
False
Let z(p) = 2*p**2 + 12*p + 6. Let c be z(9). Let q = c + -120. Does 12 divide q?
True
Suppose g - 5 = 0, 5*u = -2*g - 587 + 4887. Is u a multiple of 39?
True
Suppose 975 = -3*j + 16*j. Does 3 divide j?
True
Let g(b) = -272*b**3 + 6*b**2 + b - 4. Does 12 divide g(-1)?
False
Is 13 a factor of 1*1144/4 - (-3 - 1)?
False
Suppose 709 = 2*v + f, -5*f = 2*v - 230 - 459. Is v a multiple of 17?
True
Let m(j) = -j. Let c be m(11). Let r(t) = 7*t**2 - 1 - 3*t**3 + 0*t + 6*t**2 + 14*t + 4*t**3. Is r(c) a multiple of 29?
True
Suppose l = -3 + 7. Suppose -5*w + 3*w + 4*a + 82 = 0, -l*w - a + 146 = 0. Is w a multiple of 4?
False
Is 7 a factor of 30/((-13)/(3549/(-6)))?
True
Suppose 380 = 6*d - 352. Let m = -43 + d. Is m a multiple of 7?
False
Let j be (-12)/42 - (-976)/(-14). Let k = j + 118. Is k a multiple of 16?
True
Let j(i) = 10. Let t(n) = -7 - n - 1 - 1. Let q(u) = 5*j(u) + 6*t(u). Does 13 divide q(-5)?
True
Suppose 0*l = -3*l + 4*r - 30, 2*r - 30 = 3*l. Let x = l + 13. Suppose -f + 56 = x*f. Is f a multiple of 14?
True
Suppose -4*w = 15*p - 10*p - 561, -3*w + 5*p = -377. Does 8 divide w?
False
Let q = -60 - -64. Suppose -q*d = 5*z - 204, -5*d - 4*z - z + 260 = 0. Does 28 divide d?
True
Is 22 a factor of (-10)/4*59486/(-245)?
False
Let m(q) = q - 2. Let r = 13 - 7. Let a be m(r). Suppose 0*b + a*b = 72. Is b a multiple of 9?
True
Let m(s) = -s**3 + s**2 + 7*s. Let i be m(5). Suppose -4*c + 457 + 11 = 0. Let y = c + i. Is y a multiple of 26?
True
Let m(o) = -74*o + 22. Let p be m(-10). Suppose -4*z + 3084 = u - 3*u, -z - 4*u = -p. Suppose 0*y - z = -7*y. Does 29 divide y?
False
Let s(r) be the third derivative of 7*r**6/40 - r**5/60 + r**4/12 - r**3/6 - 6*r**2. Is s(1) a multiple of 4?
False
Let l = 14 + 99. Let n = -85 + l. Does 14 divide n?
True
Let l(k) = 2*k**2 + 6*k + 4. Is l(-11) a multiple of 9?
True
Let k = -152 - -246. Let j be 2 - (k - 1/1). Let b = j - -139. Is 16 a factor of b?
True
Suppose 4*q - 5*q = 2*y - 9, -4*q + 4 = 0. Suppose 5*r - 1 = 2*c, c + 2*r = y*c - 4. Suppose 3*v = c*l + 63, 4*l = -l - 15. Does 10 divide v?
False
Let k(t) = 12*t**2 - 32*t + 132. Is k(9) a multiple of 8?
True
Suppose -13*o + 15434 = -426. Does 45 divide o?
False
Suppose 6 = g - 0. Suppose 4*q = -g + 70. Suppose k + k - q = 0. Is k a multiple of 8?
True
Suppose -q = -3*l - 124, 5*q = 4 + 16. Let s = -32 - l. Is s a multiple of 8?
True
Suppose -60180 = -13*w + w. Is w a multiple of 17?
True
Let i(k) = 2*k**2 - 2*k - 1. Let j be i(-1). Suppose -j*d + 94 = -d. Suppose 0 = q + q + c - d, 5*q + 4*c = 125. Does 7 divide q?
True
Suppose 51 = 3*o - 3*y, 0 = 3*o + 2*y - y - 63. Let q be (-30)/3*(-8)/o. Is 2 a factor of 13 - (-2)/(-4)*q?
False
Let b(f) = f**3 + 5*f**2 - 7*f + 1. Let g be b(-6). Suppose -a + g = -5. Is a*(-7)/(28/(-30)) a multiple of 17?
False
Let w(k) be the second derivative of -k**7/2520 + k**6/72 - k**5/30 - k**4/6 + 2*k. Let d(a) be the third derivative of w(a). Is 8 a factor of d(6)?
False
Let k(r) = -14*r**3 + 2*r**2 - 4. Let t be k(-4). Suppose 4*a + t = 11*a. Is 12 a factor of a?
True
Let p be 6/1 + (-10 - -14). Is 836/p + (-1)/(-5)*2 a multiple of 28?
True
Let z(g) = -2*g**2 - 11*g - 4. Let w be z(-5). Does 4 divide (-3 - w)/(-3*7/42)?
True
Let x(k) = 9*k + 3. Is x(4) a multiple of 12?
False
Suppose 0*r + 4*r + 19 = -z, -1 = 4*z + r. Let y be (-3 - z - -1)/(-1). Suppose 2*s = -y*s + 530. Does 29 divide s?
False
Suppose -4*v + 9 + 7 = 0. Suppose 5*k - 3*s = 381, -v*s = -4*k + 2*k + 158. Is 37 a factor of k?
False
Let h be (-8)/44 - 4/(-22). Suppose h*i = i - 3. Suppose -2*y - y - f = -317, -305 = -i*y - 4*f. Does 32 divide y?
False
Suppose 0 = -3*c - t + 10 - 0, -2*t = -2*c + 20. Suppose 0 = c*x - 29 - 11. Is 8 a factor of x?
True
Let m be ((-12)/(-15))/((-2)/10). Let v be m/(-1)*1*16. Let c = v + 43. Is c a multiple of 31?
False
Let d be -10*(-3 + 54)/(-3). Let k = -4 - -6. Suppose 4*v - d = k*h, 0 = v + h - 16 - 19. Does 10 divide v?
True
Suppose -287 - 433 = -3*f. Suppose -2*s + f = 4*m, -3*m = 4*s - 113 - 67. Does 30 divide m?
True
Is (6/2)/(18/42) a multiple of 4?
False
Is 0 + (1465/3 - (-2)/(-6)) a multiple of 24?
False
Let r(u) = -u**2 - 13*u + 5. Let n be r(-10). Let i = -32 + n. Is (-55)/(4 + -5) + i a multiple of 18?
False
Let w = 8 - -10. Let l be (6 + 48/(-9))/(4/18). Let f = w - l. Does 4 divide f?
False
Let v = -24 + 27. Suppose 75 + 42 = v*r - 2*h, h = 0. Suppose -r = -3*d - 0*d. Is 6 a factor of d?
False
Let i = -22 + 24. Is 11 a factor of 121 + -5 + i - (0 - 3)?
True
Let k = -13 + 13. Suppose k = -g - 4*r + 14, -2*g = 4*r + r - 19. Suppose -s + 5*s + 5*a = 274, -s = -g*a - 62. Is s a multiple of 22?
True
Let o(u) = 17*u + 29. Let s(n) = n**2 + 4*n - 13. Let d be s(-7). Is 55 a factor of o(d)?
True
Suppose 4*k + 7 = -45. Let v be 2/(-4) + (-2106)/36. Let u = k - v. Is 11 a factor of u?
False
Let g = 1333 - -491. Is g a multiple of 114?
True
Let b = -3061 - -4654. Is 154 a factor of b?
False
Let s = 18 + -12. Let g(n) = -2*n**2 + 8*n - 6. Let t be g(s). Let l = -20 - t. Is 5 a factor of l?
True
Let g be -1 - (0/4 + -2). Let d be 0/2 + 3/g. Suppose 87 = d*i - 45. Does 8 divide i?
False
Let b(l) = l - 4 + l + 5*l. Let u be b(6). Let g = -27 + u. Is 9 a factor of g?
False
Let n = -11 + 20. Suppose n*v - 12*v = 342. Let q = -79 - v. Is 22 a factor of q?
False
Let z(r) = 97*r**3 + 7*r**2 - 36*r + 9. Is z