0*z + 367, -3*v = 3*z - 237. Is v a multiple of 25?
True
Let h(t) = -3*t**3 - 3*t**2 - t. Suppose -4*w + f = -5, 0 = -5*w - 0*f - 2*f + 3. Let u(j) = j**3 + j. Let g(z) = w*h(z) + 2*u(z). Is 12 a factor of g(-4)?
True
Suppose -5*g - 5*h + 1284 = -h, 0 = -3*g + h + 767. Is 12 a factor of g?
False
Suppose 8*b - 15*b = -910. Is b a multiple of 10?
True
Suppose 5*n = 4*q + 1334, 5*n + 3*q - 1331 = 4*q. Does 19 divide n?
True
Is (-2)/(-14) - (-16643)/119 a multiple of 35?
True
Suppose 4*v + 596 = 3*z, 4*v + 26 = 6. Suppose -4*a - 4*g = -z, 5*g + 0*g + 200 = 5*a. Is 10 a factor of a?
False
Let g = -10 + 15. Suppose 4*w - v = -0*v + 10, 2*v = g*w - 14. Suppose -o + 5 = -0*o + w*m, 3*o = m + 22. Is o a multiple of 5?
False
Suppose -29*q + 2040 = -12*q. Is 6 a factor of q?
True
Let d(x) be the second derivative of -15*x**3 + x**2/2 - 11*x. Is 10 a factor of d(-1)?
False
Let a = -24 + 38. Let p = a + 1. Is 22/((-3)/(p/(-10))) a multiple of 3?
False
Suppose 0 = 4*v + 2424 + 144. Is 8 a factor of (-1)/8 - v/16?
True
Let b(d) = 9*d + 1. Suppose -3*k - 4*o = -2, -2*k - o = -3*o + 22. Let i be 20/k*30/(-25). Is b(i) a multiple of 18?
False
Does 66 divide (22440/90)/(4/18)?
True
Suppose 4*d - 14 - 26 = 0. Let m = -5 + d. Does 10 divide m/(-5) - (-33)/3?
True
Suppose -4*m = 2*z - 36 - 486, 273 = 2*m - 3*z. Is m a multiple of 11?
True
Is 12 a factor of (21078/(-9))/(2 - (0 + 4))?
False
Let r(i) = i**3 + 9*i**2 + 8*i + 4. Let m be r(-8). Let s = 99 - m. Does 19 divide s?
True
Suppose 2437 = 7*w - 4283. Is w a multiple of 64?
True
Let v be (2/(-4))/(2/4). Let j be (0 + 1)*(v + 1). Is 12 a factor of 74 + j + -3 + 4?
False
Let p(c) = c**2 + c - 7. Let q be 138/(-30) + 2/(-5). Let m be p(q). Suppose m + 23 = 2*v - 2*l, -2*v + l + 31 = 0. Is 9 a factor of v?
False
Let j = -102 - -106. Suppose j*v = 301 + 71. Is v a multiple of 18?
False
Suppose 3*b = -0*b, 0 = 5*n - b + 125. Let g = 25 + n. Suppose g = -j - 2*r + 20, j - 6 = -0*r + 5*r. Is j a multiple of 16?
True
Let u(i) = 10*i. Let d be u(15). Suppose -148*t + d*t = 212. Does 17 divide t?
False
Let k be (-6 - -10)*4*4. Suppose 3*q - 6*q = -6. Suppose -q*n = -6*n + k. Is 8 a factor of n?
True
Suppose 0 = -u - 2*u - 5*k + 34, 2*u - 2*k + 4 = 0. Suppose -3*c + 48 = -u*l, -5*c = l - 15 - 65. Let a = -9 + c. Does 5 divide a?
False
Let j be (-40)/10*1/4. Let d be (j/2)/(5/(-180)). Is 16 a factor of (-14)/63 - (-868)/d?
True
Suppose 5*g - 2*y = 2200, 0 = -2*y + 8 + 2. Is 13 a factor of g?
True
Let l(h) = -2*h**3 - 7*h**2 + 8*h + 46. Does 2 divide l(-8)?
True
Let d = -58 - -23. Is 3 a factor of (-10)/d - (-584)/14?
True
Suppose 0 = 5*t - 12 + 2, t - 77 = -u. Suppose x = -2*x + u. Suppose 0 = x*z - 22*z - 225. Is 15 a factor of z?
True
Suppose -2*u = -5 - 3. Does 11 divide 0/(8 - u - 5) - -16?
False
Let s = 283 + -54. Is s a multiple of 10?
False
Let y = 28 + -21. Let c = y + 51. Does 29 divide c?
True
Suppose -3*j = q + 23, 3*q - 3*j - 93 = 6*q. Let b = 37 + q. Suppose -43 - 17 = -b*s. Does 6 divide s?
True
Suppose 166 = -3*i + 292. Is 7 a factor of i?
True
Suppose 4694 - 17616 = -14*w. Is w a multiple of 10?
False
Suppose 0 = -2*y - 2*v + 1494, -4*y - v + 3727 = y. Suppose d - y = -4*d. Is (-8)/(-24)*(d - 2) a multiple of 11?
False
Suppose -156 = -4*u + 300. Let a = u + -49. Is 13 a factor of a?
True
Suppose 7*y - 22 = 13. Suppose -3*x + 6*x = 6. Does 17 divide -1*(x - y - 48)?
True
Suppose n = -n + 4. Suppose -o + 21 = 5*d, 4*d - d - n*o - 10 = 0. Suppose 0 = -d*a - 5*v + 169, -2*a + 0*v = -v - 67. Does 5 divide a?
False
Suppose -2*s - 3*s + 2480 = 0. Let b = s + -349. Is b a multiple of 21?
True
Let p = 2 - 0. Suppose -p*y - 4*n = -180, -y = 2*y - 3*n - 225. Suppose 0 = w + 4*w - y. Is 16 a factor of w?
True
Suppose -2*i = r - 5*i - 7, -3*r + 3*i + 15 = 0. Suppose -t + r*f = -122, t + 3*t - 398 = -2*f. Is 20 a factor of t?
False
Suppose 4*u - 5*n - 1894 - 9181 = 0, 5*u - 13870 = n. Is 15 a factor of u?
True
Suppose 3*r - 3*o + 3 = -0*o, 4*r + 2 = 2*o. Suppose 7*v - 101 - 326 = r. Is v a multiple of 11?
False
Suppose -751 - 8 = -11*a. Let q(o) = o**3 + o**2 - o + 3. Let n be q(0). Suppose 177 = n*b - a. Does 41 divide b?
True
Suppose 22*b - 7871 - 24007 = 0. Does 21 divide b?
True
Let o be 1 + (-2 + 2)/(-2). Let h = o + 2. Suppose h*m - 75 = 30. Does 10 divide m?
False
Let f = 32 - 27. Is f a multiple of 5?
True
Let r be -84*(-1 + (-1)/3). Suppose -3*h + 0*h - 4*k = -r, 2*k = h - 34. Does 9 divide h?
True
Suppose 2*o = -0*d + 5*d - 80, 2*o = d - 16. Suppose -3*s = 9, -2*j = 5*s - 54 - 47. Suppose b + d = j. Is b a multiple of 11?
False
Let v(b) = b**2 - b + 15. Let o be v(3). Suppose -p + 10 = 2*t, -2*p - 2*p + 25 = 3*t. Suppose 0 = 2*j - t - o. Does 12 divide j?
True
Let s(p) = -7*p + 1. Let b(a) = 6*a - 1. Let d(x) = 3*b(x) + 2*s(x). Let w be d(1). Is 11 a factor of 3 + (w - 104/(-4))?
False
Let h(y) = -y**3 - 2*y**2 - 6*y + 9. Does 30 divide h(-8)?
False
Let j = 666 + -630. Is j a multiple of 9?
True
Suppose 0 = -13*c + 5*c + 2312. Does 17 divide c?
True
Let r(u) = u**3 - 32*u**2 + 26*u - 84. Does 4 divide r(32)?
True
Suppose l = -4*l - 20. Let r be l/(-12)*(5 - 2). Is ((-2)/r)/(-1) - -3 a multiple of 3?
False
Suppose 722 = -9*c + 10*c. Is 19 a factor of c?
True
Let h(f) = 73*f**2 + 2*f + 1. Let i be h(-1). Let p be (-16)/i + (-2)/(-9). Suppose 2*n + p*n = 52. Is 13 a factor of n?
True
Let d be 24/(-108) + (-40)/(-18). Let c = d - 0. Is 14 a factor of (c - 6)/2 + 22?
False
Suppose 7*z - 5*z = 126. Let q = z - -42. Is 15 a factor of q?
True
Suppose -3*x - 20 = -4*y, 7 = -x + 3. Suppose 3*o = -9, -5*k + 3*o + 23 = y*o. Does 4 divide k?
True
Let t(f) be the second derivative of -f**6/120 + f**5/60 + f**4/12 + f**3/3 + f**2 - f. Let z(g) be the first derivative of t(g). Is z(-3) a multiple of 16?
True
Let v = 202 + -28. Let j = -86 + v. Does 18 divide j?
False
Let u = 26 - 18. Let r = -6 + u. Is (-143)/(-5) - r/(-5) a multiple of 8?
False
Let z(j) = 12*j - 42. Let o be z(4). Is ((-225)/o)/(-1)*(-20)/(-3) a multiple of 50?
True
Let r(n) = n - 2. Let g be r(-8). Let l = 154 + g. Suppose 0 = -3*y + 3*f + l, y = 6*y + 3*f - 200. Is 10 a factor of y?
False
Let m(i) = -41*i - 20. Is m(-4) a multiple of 4?
True
Let p = -54 + 63. Is 3 a factor of p?
True
Let r = 75 + -45. Let g(j) = -31 + j + 60 - 27 + r*j. Is 18 a factor of g(2)?
False
Let h = 1 + 5. Suppose -2*c + 4*t + h = 0, 4*t - 7 - 5 = -4*c. Suppose -3*v = 2*o - 36 - 18, 5*v = -c*o + 81. Is 9 a factor of o?
True
Suppose 22188 = 41*w + 2098. Does 35 divide w?
True
Does 13 divide 5094/15 + 84/(-15) + 6?
False
Let c(i) = i**3 - 4*i**2 - 11*i + 1. Let f be c(6). Let m(g) = -g**2 + 11*g + 4. Does 11 divide m(f)?
False
Let k = -431 - -667. Suppose p = 5*o + 31, 5*p + 6*o - 4*o = k. Does 4 divide p?
False
Suppose -71*u + 106821 = -38*u. Does 35 divide u?
False
Let u be -2 - (-3 - (-3)/1). Let x be (115/(-138))/(u/12). Suppose -4*m = -x*w - 143, -6*m + m - w + 157 = 0. Does 4 divide m?
True
Suppose 0 = -5*h - 5, -34 = 2*i + h + h. Does 9 divide 125 + i/(-4) + -1 + -2?
True
Let s(n) = -29*n + 28*n + 11 - 1. Let k be s(8). Does 7 divide (k + -1)/((-4)/(-52))?
False
Is 2 a factor of 76/(-304) - 149/(-4)?
False
Let f(b) be the third derivative of -17/6*b**3 + 0*b + 1/4*b**4 - 5*b**2 + 0. Does 13 divide f(6)?
False
Let z = 2707 - 1419. Does 9 divide z?
False
Suppose 7*b - 13*b + 4170 = 0. Suppose -6*c - 125 = -b. Is 21 a factor of c?
False
Suppose 9*v - 1248 = -23*v. Is 39 a factor of v?
True
Is ((-3016)/(-11) - 2) + (-72)/396 a multiple of 17?
True
Does 4 divide 1234/10 + 42/70?
True
Suppose 3760 - 15310 = -22*f. Is 21 a factor of f?
True
Let i(f) = f**2 + 7*f - 40. Suppose -12*v + 4*v - 136 = 0. Does 10 divide i(v)?
True
Suppose 729 - 219 = 5*o. Suppose s = 3*s - o. Is 17 a factor of s?
True
Suppose -4*d + 2*h - 18 = 0, 3*d + 0*d + h + 16 = 0. Let x(v) be the first derivative of -29*v**2/2 - 16*v + 2. Is x(d) a multiple of 30?
False
Suppose -249*y + 45771 = -238*y. Is y a multiple of 41?
False
Let a(q) = -q**3 - 7*q**2 - q + 3. Let y be a(-7). Suppose -u = -80 - y. Is u a multiple of 30?
True
Let a(u) = u**3 - 9*u**2 - 10*u + 3. Let d be a(10). Suppose -2 = 5*n - 7, d*j - 38 = -5*n. Is 4 a factor of j?
False
Let s(m) = 2*m**2 - 16*m + 12. Let r = 160 + -152. Is 2 a factor of s(