vide a?
True
Let q(h) = -58*h**3 + 6*h**2 - 3*h - 3. Does 13 divide q(-3)?
False
Is 37 a factor of ((-13)/(195/1540))/((-4)/30)?
False
Suppose -3*z - 2*z + 360 = 0. Suppose 0 = 5*w - 4*b - 11, -5*b = -4*b + 4. Is w/5 - z/(-10) a multiple of 7?
True
Let z = -22 - -30. Suppose 6*a + 54 = z*a. Is 6 a factor of a?
False
Is (-7)/((-49)/(-21)) - (-84)/4 a multiple of 2?
True
Suppose v + g = -5, -2*v - 12 + 4 = 4*g. Is (((-1820)/6)/(-5))/(v/(-9)) a multiple of 12?
False
Suppose 0 = 5*u - 28 + 8. Suppose 0*n - u*v - 54 = -n, 2*n + 2*v - 98 = 0. Is 27 a factor of n?
False
Let a(y) = 20*y**2 - 5*y + 4. Let x be a(2). Let i = x + -49. Let o = -7 + i. Is o a multiple of 4?
False
Suppose -3*d - 337 = -2*j - 8*d, 2*j + 4*d - 342 = 0. Does 2 divide j?
False
Suppose 441*z - 13376 = 425*z. Is z a multiple of 5?
False
Is -1*5 + -217*(-11)/7 a multiple of 15?
False
Suppose 9*n - 21743 + 7811 = 0. Does 13 divide n?
False
Let a(p) = 314*p - 20. Does 45 divide a(2)?
False
Let p(h) = 8*h**2 + 4*h + 2. Let i be p(4). Let y = 212 - i. Let j = y - 35. Is 14 a factor of j?
False
Is (3 - 5)*(-87)/(-12)*-22 a multiple of 11?
True
Let x = -23 - -26. Is 8 a factor of x/(-9) - ((-436)/12 - 0)?
False
Let m(r) = -83*r + 26. Let a be m(-2). Let w = -128 + a. Is 8 a factor of w?
True
Suppose -7*i = -10*i + 9. Let t(d) = -d**3 + 8*d**2 - 2. Let j(s) = -s. Let m(h) = 3*j(h) + t(h). Does 14 divide m(i)?
False
Let a(l) = l**3 - 15*l**2 + 36*l + 1. Let x be a(12). Is 13 a factor of x/(-2)*(-1 + -181)?
True
Let y(u) = -u**3 - 9*u**2 + 12*u + 11. Let b be y(-10). Let f(m) = -12*m - 7. Does 15 divide f(b)?
False
Let l(a) = -1019*a - 39. Is 79 a factor of l(-5)?
True
Let g be 8 + -6 - (-38)/(-1). Let c be ((-16)/(-12))/((-4)/g). Is 4/16 - (-597)/c a multiple of 18?
False
Let z(l) = -2*l + 92. Does 24 divide z(-20)?
False
Let s be (-12)/4 - -166 - 1. Suppose m + 5*m - s = 0. Is 2 a factor of m?
False
Let f(w) = w**3 - 12*w**2 - 25*w + 28. Does 13 divide f(14)?
False
Suppose -6*h + 25 = -5. Suppose -3*w + h*w - 76 = 0. Is w a multiple of 19?
True
Suppose -5*u = 2*c - 136, 3*u - c - 72 = c. Suppose 4*n = 4*k - n, -2*k = 4*n - u. Suppose 3*y + k = 3*j + 89, -3*y + 82 = -4*j. Is y a multiple of 8?
False
Let i(p) = p**3 + 3. Let u be i(0). Let w = u - 5. Let c(b) = 19*b**2 - 1. Is 15 a factor of c(w)?
True
Let o be (-8)/(-4) - (-2 + 2). Suppose -4*h + 84 = 2*s - 9*h, o*s - 84 = -5*h. Is 9 a factor of s?
False
Suppose -5*o + 3 + 17 = 0. Let v(b) = 3*b + 62. Let t be v(18). Suppose 3*j + o*c - t = 0, -6*c = -5*j - 3*c + 203. Is j a multiple of 20?
True
Let y = 202 - -138. Does 12 divide y?
False
Suppose -4*x = -194 - 290. Is 9 a factor of x?
False
Is 40 a factor of 1203/15 - 9 - (-2)/(-10)?
False
Let z = 35 + -25. Is 2 a factor of -8*(2 - 35/z)?
True
Suppose -3*x = -116 - 559. Is 48 a factor of x?
False
Suppose 0 = 4*t - 4*v - 10196, -6436 - 6303 = -5*t - v. Is t a multiple of 28?
True
Suppose 3*a - 253 = 11. Suppose t - a + 28 = 0. Is 7 a factor of t?
False
Let s = 10 + -8. Let c be s - (-48 - (1 - -1)). Let v = c + -26. Does 13 divide v?
True
Let i = -15 + 109. Suppose -5*u - 68 = -3*b - u, -i = -5*b - 3*u. Is 4 a factor of b?
True
Suppose -8*y + 5*y - 15252 = 0. Let i be y/24 - (-1)/(-6). Let n = 307 + i. Is 26 a factor of n?
False
Let p(b) = -b**3 - 10*b**2 - 12*b + 16. Does 23 divide p(-10)?
False
Let r be ((-20)/(-40))/(1/(-12)). Let n(u) = -3*u**2 - 3*u + 3. Let q be n(4). Is 8 a factor of q/(-5) - r/(-15)?
False
Let r = 9 - 8. Suppose a = -2*h + 3*h - 4, 3 = h - 2*a. Let w = h + r. Is 6 a factor of w?
True
Let o(l) = l**3 + l**2 - 2*l + 533. Does 13 divide o(0)?
True
Is 15/75 - 38916/(-20) a multiple of 33?
False
Suppose -4*p - 193 = -921. Is 13 a factor of p?
True
Let t(v) = 2*v - 6. Suppose -3*i + 1 = -3*r - 2, 14 = r - 4*i. Let k be 3/(-6) + (-51)/r. Is t(k) a multiple of 9?
False
Let d be (-6)/(-4)*330/9. Let y = -51 + d. Is 4 a factor of y?
True
Let t(n) = -n**2 - 7*n - 7. Let j be t(-7). Let l be (j/14)/(1/(-4)). Suppose -2*d = 4*a - 74, -6 = -l*d - 0*d. Does 11 divide a?
False
Let p be 1*6/((-6)/7). Let x(b) = 5*b**2 - 2*b - 10. Is x(p) a multiple of 32?
False
Let o(y) = 23*y + 19. Let t = -42 + 53. Does 16 divide o(t)?
True
Let b = -88 + 4. Is (-20)/(-8)*(-9)/30*b a multiple of 9?
True
Suppose -4*f = -6*f - 92. Let i = 7 + f. Is ((-3)/9)/(1/i) a multiple of 13?
True
Let t(i) = -i**3 - i**2 + 202. Let u be t(0). Suppose u + 218 = -3*b. Let z = -76 - b. Does 21 divide z?
False
Let b(x) = 167*x - 2. Let r be b(-1). Let n = r + 337. Is 10 a factor of n?
False
Suppose -4*h - 3*v + 349 = 0, 4*v - 139 = -5*h + 296. Is h a multiple of 3?
False
Let f = -390 - -563. Does 23 divide f?
False
Suppose -3*v + 5 + 1 = 0. Suppose -d + 25 = -2*n, v*n + 26 = -4*d + 6. Is 3 a factor of ((-4)/n)/((-1)/(-42))?
False
Let l be -207 - -1 - 0/4. Let p = -121 - l. Is p a multiple of 17?
True
Let r = -236 + 369. Let c = r - 37. Is 12 a factor of c?
True
Let g(p) = p**3 - 5*p**2 + 6*p - 9. Let u be g(4). Is 17 a factor of (u + 205)*4/8?
True
Suppose -2*t - 3*c + 113 - 37 = 0, -2*c + 8 = 0. Is 5 a factor of t?
False
Let j = -14 + 520. Is j a multiple of 5?
False
Suppose -4*u = 5*q - 1012, q - 204 = -u + 49. Is u a multiple of 23?
True
Let b = 28 + -16. Let n = 14 - b. Suppose 143 = 3*v + 4*o, 5*v + n*o - 271 = -42. Does 12 divide v?
False
Suppose 3*c + 144 = t + c, 531 = 4*t + c. Suppose m = -2*y - 98, m - 5*y = -3*y - 78. Let s = t + m. Is 23 a factor of s?
True
Let s be 0*(-2)/2*-1 - 0. Suppose s = 4*j + 5*l - 374, 5*l + 296 = 3*j + l. Is j a multiple of 13?
False
Let r = 22 + -9. Suppose 240 = 16*i - r*i. Is i a multiple of 16?
True
Let x(d) = 107*d - 910. Does 23 divide x(30)?
True
Let r be (-4 - (-48)/(-9))*12. Let w = 259 + r. Is 26 a factor of w?
False
Let j = 408 - -76. Does 44 divide j?
True
Let c = -38 + 32. Is 10 a factor of 66*((-4)/6)/(c/9)?
False
Let y be 14 + -11 + -1*(-1 + 1). Let q(x) = 6*x**2 - 3*x + 4. Let l(a) = -11*a**2 + 5*a - 7. Let s(o) = -3*l(o) - 5*q(o). Does 7 divide s(y)?
True
Let q(x) = -2*x + 18. Let t be q(9). Suppose -38*n + 28*n + 550 = t. Is 11 a factor of n?
True
Suppose -3*v + 3*x + 552 + 363 = 0, 3*x = -2*v + 585. Is v a multiple of 38?
False
Let u = -14 + 14. Let k be (1 - u)*3 - -3. Suppose 108 = k*l - 3*l. Is l a multiple of 18?
True
Is 5 a factor of 4/(-8) - 4410/(-28)?
False
Suppose -14 = -0*p - 2*p. Let m be (p/2)/((-4)/8). Let x = 32 - m. Does 14 divide x?
False
Suppose c - 4 = -5*k + 130, 3*c = 3*k + 366. Is c a multiple of 31?
True
Suppose -4*w + 256 = -3*r - 663, w - 2*r = 226. Is w a multiple of 116?
True
Suppose -6*y + 12 = -12. Suppose -y*k + 101 + 479 = 0. Is 27 a factor of k?
False
Let a be (-4)/16 - 1734/(-24). Let z = a + -21. Is 17 a factor of z?
True
Suppose -4*a + 148 = -156. Suppose 2*x - 34 = a. Is x a multiple of 11?
True
Suppose 0 = -7*v + 1412 + 4363. Is 11 a factor of v?
True
Let q = -2 + -70. Let o = 169 + q. Does 18 divide o?
False
Suppose -3*x - 40 = 5*w - 0*x, -2*w = x + 15. Let h(q) be the third derivative of q**5/60 - q**4/24 - 6*q**2. Is h(w) a multiple of 15?
True
Suppose -3*u - 4*t = -62 + 25, t = -4*u + 58. Suppose -3*k = -u + 9. Suppose -k*a + 4*n + 44 = 12, 3*n = 0. Does 13 divide a?
False
Suppose -4*s + 18 = -6. Suppose -1804 = -s*h - 16*h. Does 4 divide h?
False
Suppose 610 = 2*v - 2*u - 418, 2*v - 1028 = -3*u. Is v a multiple of 14?
False
Does 3 divide (-12)/((-2)/7*1)?
True
Suppose 0 = -5*l - 2*h + 217, 0 = -5*l - 5*h + 14 + 206. Suppose -149 = -8*r + l. Is r a multiple of 24?
True
Let b(u) = u**2 + 11. Let f(t) = -t**2 + 1. Let j(h) = b(h) - f(h). Let s be 2 + -7 - -1 - (-9 + 10). Is 15 a factor of j(s)?
True
Let k = -547 + 880. Suppose -k - 102 = -5*w. Is 9 a factor of w?
False
Let k(i) = 355*i**2 - 9*i - 10. Is 17 a factor of k(-2)?
True
Let r(c) be the third derivative of c**5/60 - c**4/24 - c**3/3 - 3*c**2. Let i be r(-4). Does 26 divide (-105)/(-1)*i/27?
False
Let g(s) = -s + 1. Let k be g(2). Let p = k - -3. Suppose -p*n - 356 = -6*n. Is 35 a factor of n?
False
Is 30 a factor of -1 - 51*-31 - (4 - -2)?
False
Let r = 576 - 400. Is r a multiple of 22?
True
Let l = 19 - 10. Let g be l/12*(-16)/(-6). Suppose g*w = 26 + 22. Is w a multiple of 24?
True
Let o(w) = -4*w**3 + 10*w**2 - 2*w - 2. Let s(x) = -4*x**3 + 11*x**2 - 2*x