tiple of 45?
True
Suppose -b - 3*f = -2*f - 12, 3 = 4*b - 5*f. Let k = -62 - -30. Let a = b - k. Is a a multiple of 13?
True
Let q = 67 - 97. Let u = q - -36. Is 5 a factor of u*(-3)/30*-30?
False
Let y(q) = 113*q**2 - 11*q - 6. Is y(-3) a multiple of 9?
True
Let u(k) = -k**2 + 11*k - 2. Let p be u(8). Suppose 4*f = -5*v - p, 5*v - 2*f + 1 = f. Does 9 divide v/(-4)*-6 - -21?
True
Let i(f) = 54*f**2 - 18*f + 82. Is i(5) a multiple of 24?
False
Suppose 0 = r - 48 - 112. Is r a multiple of 20?
True
Let l(d) = -3*d - 2. Let i be l(-2). Let j(c) = 11*c + 20. Is j(i) a multiple of 16?
True
Suppose -8*c + 7425 = 25*c. Does 21 divide c?
False
Let c(q) = 2*q + 1. Let y = -3 - 2. Let r be c(y). Let u = 15 + r. Is 6 a factor of u?
True
Suppose 7*d = 1453 + 647. Does 8 divide d?
False
Let t = -218 + 716. Let s = t - 302. Is 14 a factor of s?
True
Let t(q) = -3*q**3 + 2*q**2 - 3*q + 3. Let s be t(2). Let d = s + 17. Is 11/(-2)*(d - 0) a multiple of 4?
False
Let i = 4 + -10. Let q = -12 - i. Is 18 a factor of q*(57/(-6) - -2)?
False
Is ((-116)/(-10))/((-25)/(-125)) a multiple of 3?
False
Let u(j) = -1 - 4*j**2 - 2*j**2 - 5*j**2 - 4*j**2. Let p be u(1). Does 5 divide p/6*(-45)/10?
False
Let x be 36/10 + 6/(-10). Let g be -2*2/8*(1 - -5). Let w = x - g. Is 2 a factor of w?
True
Let q(w) be the third derivative of 2*w**5/15 + w**4/12 - w**3/3 + 8*w**2. Does 6 divide q(-2)?
False
Suppose 189 = 7*v - 16*v. Let f = v - -111. Is f a multiple of 9?
True
Let z be (0 + 3 + -5)*6. Let a be 129/12 + 9/z. Does 12 divide ((-48)/a)/(1/(-5))?
True
Suppose -5 + 21 = -4*n. Let v = 0 - n. Suppose 63 - 195 = -v*f. Is 9 a factor of f?
False
Let a(v) be the second derivative of -1/6*v**3 - 3*v + 1/12*v**4 + 0 - 7/2*v**2. Is 19 a factor of a(-6)?
False
Let p(w) = -5 - 2*w**2 - w + 11*w**2 + 8*w + w**3 - 9*w. Is p(-9) a multiple of 2?
False
Let y = 14 - 10. Suppose -197 = -y*g + 5*l, -4*g - 4*l + 54 + 134 = 0. Does 12 divide g?
True
Let u be (-1)/(-1 + 68/72). Is 25 a factor of 1401/9 - (-3)/(u/(-4))?
False
Suppose -3*h + 6 = 3. Let s be (2 - h)*(1 + 4). Suppose 3*i + 3 = 0, s*i + 53 = -3*p + 4*p. Is p a multiple of 13?
False
Let g = 1758 + -694. Does 7 divide g?
True
Suppose 2*o - 19*j - 3448 = -18*j, 2*j = -8. Does 41 divide o?
True
Let u be 1*284*1/2. Suppose -4*l = -g + 172, 5*g = 3*l + g + u. Is l*(2/(-3))/1 a multiple of 8?
False
Suppose 4*w - 1 = 7. Suppose 0*i - 24 = i - 5*g, 4*i = -w*g - 30. Is 4/(-6) + (-402)/i a multiple of 15?
False
Let l(x) = -x**3 - x**2 - 3*x - 3. Let w be l(-2). Suppose 4*u = w*u - 177. Is u a multiple of 17?
False
Let m = 35 + -33. Suppose 4 = s + 7, -3*d = -m*s - 51. Does 3 divide d?
True
Let k(v) = 66*v - 48. Is k(3) a multiple of 25?
True
Suppose -2*f = -15*f + 130. Suppose 2*u + 4*z - 190 = 0, 0 = -6*z + f*z - 12. Is 11 a factor of u?
False
Let n(b) = -8*b + 336. Does 8 divide n(-21)?
True
Let y(h) = 2*h**3 - 9*h + 4. Suppose 25*r - 18*r = 28. Is 5 a factor of y(r)?
False
Let c = 816 + 132. Is c a multiple of 79?
True
Let m(g) = -g + 11. Let z be m(15). Let k(q) = -2*q**3 - 2*q**2 + 8*q + 10. Is k(z) a multiple of 20?
False
Let l = -790 + 1139. Is l a multiple of 14?
False
Suppose -2*w - 19 = -3*w. Suppose w = -0*v + v - 5*g, -4*g + 108 = 2*v. Does 22 divide v?
True
Suppose -6*l + 23 + 55 = 0. Let q(f) = 5*f + 31. Is q(l) a multiple of 16?
True
Suppose -3*s = -4*s + 96. Does 32 divide s?
True
Suppose 4*d = -4*b + 3864, 47*b = 3*d + 49*b - 2898. Does 42 divide d?
True
Let u be 2/5 - 88/(-55). Suppose -3*j + 5*m + 187 = 0, 0*j - u*m - 64 = -j. Is j a multiple of 6?
True
Let c(r) = -r**2 - 7*r - 6. Let i be c(-5). Suppose -i*q = -50 - 26. Suppose -l + 11 = -q. Is l a multiple of 15?
True
Let x(f) be the second derivative of f**6/180 - f**5/30 - 5*f**4/12 + 2*f. Let v(s) be the third derivative of x(s). Is 4 a factor of v(3)?
True
Suppose -22 = -3*m - 4*x, 5*x - 12 = -5*m + 23. Let h = -22 + 32. Let c = h - m. Does 3 divide c?
False
Suppose 15 = -0*s + 5*s. Let o be 4/s - (-14)/21. Suppose p = -o*p + 15. Is p a multiple of 4?
False
Let q(j) = -j**2 + 11*j - 8. Let o be q(10). Suppose -2*r + l - 10 = -3*l, -2*r + o*l = 8. Let x = r - -9. Is x a multiple of 2?
True
Let l(y) = -y**2 + 6*y. Let r be l(3). Suppose -r = 4*t - t. Let q(x) = -21*x + 2. Is q(t) a multiple of 23?
False
Suppose 14*g - 901 = 373. Let q = -48 - 1. Let o = g + q. Is 14 a factor of o?
True
Suppose -217 = -r + 103. Suppose 3*a + 2*a - r = k, 2*a = 2*k + 136. Is 5 a factor of a?
False
Let i(n) = n**3 + 21*n**2 + 15*n - 5. Let z(j) = 5*j**3 + 106*j**2 + 75*j - 25. Let d(f) = 11*i(f) - 2*z(f). Is d(-18) a multiple of 7?
True
Let y(d) = -d**3 - d**2 + d + 1. Let m(v) = 2*v**3 + 4*v + 5. Let k(l) = -m(l) + 2*y(l). Let q be k(-2). Let u = q - -14. Is 18 a factor of u?
False
Let i(h) = -10*h - 31. Let y = 45 + -52. Is i(y) a multiple of 7?
False
Let f(t) = t**2 - 5*t + 2. Let g be f(4). Let m(i) = -i - 8. Let r(c) = c + 15. Let v(d) = g*r(d) - 5*m(d). Does 7 divide v(4)?
False
Let r = 16 + 2. Is 596/28 - (-1 + r/14) a multiple of 11?
False
Let f be -1*(0/(-3) + -1). Let b(p) = -110*p**2 + 2*p - 1. Let v be b(f). Let z = v + 199. Is z a multiple of 30?
True
Does 50 divide (-3 + 6)/(-5 + (-2253)/(-450))?
True
Let d = -17 + 1144. Is d a multiple of 44?
False
Is (-98)/(-14) - -80*1 a multiple of 2?
False
Let g(x) = 15*x + 2. Does 26 divide g(3)?
False
Suppose y = 5*v + 2, -5*y + 10*y - 2*v = 10. Let c(p) = 3*p - 2. Let t be c(y). Suppose -4*z + 262 = -z - 5*k, -4*z + 336 = -t*k. Is 15 a factor of z?
False
Is 16 a factor of (-14*3)/(-2*5/80)?
True
Let s = -34 - -16. Let v = 1212 - 2102. Does 10 divide (-4)/s + v/(-45)?
True
Let y(d) = d**3 + 8*d**2 + 3*d - 13. Let n be y(-6). Suppose n = 5*c - t, 5*c - 20 - 33 = -2*t. Is 2 a factor of c?
False
Let o = -790 + 1115. Does 13 divide o?
True
Let v = 9 - -77. Let k = v + 2. Is 11 a factor of k?
True
Let d(x) = -20*x**3 - x**2 + 4*x + 4. Let w be d(-2). Let u = -89 + w. Is 9 a factor of u?
True
Let d = -5 - -9. Let y be (1 - (-22)/(-6))/((-8)/12). Suppose 2*a - 7 = -5*m - 2*a, -4 = -y*m - d*a. Is m even?
False
Let q(k) = -6*k + 273. Does 20 divide q(22)?
False
Let b = -3 - -6. Suppose 59 = -4*j + b. Is (-154)/(-10) + j/35 a multiple of 7?
False
Let o = 50 - 53. Is -6*((-8)/(-12))/(1/o) a multiple of 6?
True
Let w be (-2)/(-15) - 235/75. Let j be -1 + 2 - 1 - w. Suppose j*y - 17 - 1 = 0. Does 3 divide y?
True
Let o = -141 + 208. Does 15 divide o?
False
Suppose -6*n + 2*n + 271 = 3*t, -4*n = 2*t - 178. Let z(s) = 31*s - 1. Let i be z(-2). Let p = i + t. Is 22 a factor of p?
False
Let a = 30 + -58. Let s = 68 + a. Does 9 divide s?
False
Let r(t) = -2*t + 4. Let u(l) = 3*l - 3. Let y(h) = 5*r(h) + 4*u(h). Is y(2) a multiple of 4?
True
Let x = -68 + 74. Suppose 0 = -x*m - 0*m + 324. Is m a multiple of 12?
False
Suppose -350 + 30 = -5*w. Suppose 2*u + 2*u = o + 47, 0 = -5*u + 15. Let a = w + o. Does 12 divide a?
False
Suppose -6*p + 4*t - 66 = -p, 16 = 4*t. Let g be 30/25*p/(-3). Let x(d) = 2*d**2 - 6*d. Is x(g) a multiple of 4?
True
Suppose 5*w - 24 = -3*a, -a - w + 12 = 2*w. Suppose 21 = a*z - 57. Let i = 22 + z. Is 24 a factor of i?
True
Let o(c) = 50*c + 755. Is 2 a factor of o(-5)?
False
Suppose 0 = -t + 5*j + 572, -5*t + 3285 = 2*j + 533. Suppose 6*z + 0*z = t. Is 9 a factor of z?
False
Let l(b) = 343*b**2 - 2*b + 4. Does 13 divide l(1)?
False
Let g(i) = -i**3 + 25*i**2 - 68*i + 81. Is 12 a factor of g(19)?
False
Suppose -z + 6*q - 7*q = -3308, -3*z + 2*q = -9929. Is z a multiple of 40?
False
Let h = -3 - -6. Let q(r) = r**3 - 4*r**2 + 5*r - 2. Let x be q(h). Suppose -x*j = -8*j + 64. Is j a multiple of 8?
True
Let f be 38 - (0 + (-5 - -2)). Suppose 3*o = b - f, -4*o - 238 = 4*b - 9*b. Is b a multiple of 10?
True
Let m(z) be the second derivative of z**5/20 - 3*z**4/4 - z**3/6 + 9*z**2/2 + z. Let y be m(9). Suppose -x = -y - 18. Does 3 divide x?
True
Let b = -46 + 51. Suppose 5*p - 295 = -4*f, 0*f + b*f = -2*p + 356. Is f a multiple of 14?
True
Let k(a) = a**2 + 14*a - 30. Let v be k(-16). Suppose 2*x - h - 307 = 0, x = v*x + 5*h - 181. Is 26 a factor of x?
True
Is 22 a factor of 3785*(-3)/(-15)*(-2 + 3)?
False
Suppose 0 = 4*i + 5*x, 3*i = -2*x - 0*x + 7. Suppose -4*a = -i*a - m + 23, -2*a - 5*m = -34. Does 3 divide a?
True
Let s(t) = 20*t - 2