(p). Is v(-19) a multiple of 11?
False
Suppose 22571 = 15*x - 32852 - 15437. Does 161 divide x?
False
Suppose 8*r - 54 = -10*r. Suppose 2*s - 155 = -r*x, -5*s + 371 + 0 = 2*x. Does 2 divide s?
False
Suppose -p - 7 + 13 = 0. Suppose -p*s = -308 + 104. Is 7 a factor of s?
False
Let l = 48 - 60. Let p be l/(-4)*(-1 - -2) - 15. Does 7 divide (-6)/(-36) + (-826)/p?
False
Suppose -3*s = -5*l + 17, -6*l + 6 = -4*l - s. Is (15/l)/((24/104)/3) a multiple of 12?
False
Let u be 808 + 1 + -4 + 1. Let n = u + -109. Is 25 a factor of n?
False
Let r = 6230 + -3482. Is r a multiple of 12?
True
Let a = -54 + 72. Is (-3*(-33)/a)/((-2)/(-36)) a multiple of 16?
False
Suppose -205 = -4*x + 4*l + 303, -25 = -5*l. Is 3 a factor of x?
True
Suppose -6 + 1 = -5*s, 2*m + 5*s + 11 = 0. Does 14 divide m/28 - 12111/(-77)?
False
Let s(h) = h**3 + 11*h**2 - 4*h - 6. Let z be s(-11). Let q = -27 + z. Suppose -q*f = -15*f + 52. Is f a multiple of 13?
True
Does 26 divide 12*(-2)/44 + 1280817/(-198)*-2?
False
Let m(p) = -2*p**2 + 5*p + 68. Let f(i) = 5*i**2 - 10*i - 136. Let h(z) = 3*f(z) + 5*m(z). Is 16 a factor of h(12)?
True
Let m = 6 + -4. Suppose -2*j + 1153 = -j + 1150. Suppose -v - 667 = -l - j*l, m*v - 178 = -l. Is 14 a factor of l?
True
Let g = -32 + 38. Let q = 0 - g. Let a(r) = r**3 + 7*r**2 + 3*r - 3. Does 15 divide a(q)?
True
Is 16 a factor of (-12)/(-8) - 0 - ((-19605)/10 - 7)?
False
Let p = 4 - 10. Let u be -106*1 + p/2. Let l = -31 - u. Is 17 a factor of l?
False
Suppose 720 = -124*s + 127*s. Let w = 254 - s. Is w even?
True
Let w(q) be the third derivative of 41/6*q**3 - 1/24*q**4 + 0 + 0*q - 17*q**2. Is w(23) a multiple of 8?
False
Let n(y) = y**3 + 13*y**2 - 231*y - 16. Does 11 divide n(13)?
True
Let m(i) = -6*i + 16. Let u be m(-8). Let j be (-2)/(-10) - u/20*1. Is 3 a factor of j - ((-155)/10 + 1/2)?
True
Let g be (-6 + (-52)/(-10))/((-4)/10). Suppose -2 + g = 6*h. Suppose 2*m = h, 0 = 5*l + 3*m + 4 - 34. Does 2 divide l?
True
Let o = 10 + -13. Let r be (o/9)/(3/(-27)) + -9. Does 24 divide ((-8)/r)/(12/252)?
False
Let l(h) = 173*h - 280. Is 7 a factor of l(29)?
False
Is 45 a factor of 6/(-93) - ((-106208)/31 + -1)?
False
Suppose -3*f - 18 = -m, 3*f + 2*m = -3*m - 18. Let t be f/(-15) + (-2467)/5. Let w = -325 - t. Is 10 a factor of w?
False
Is 3*2/(-3) - (-4 - (7 - -10116)) a multiple of 48?
False
Let b(x) = -6*x - 18. Suppose -d + 5*s + 1 = 0, 5*d - d + 12 = 4*s. Let n be b(d). Let w(h) = -5*h + 42. Is w(n) a multiple of 12?
True
Suppose 20*u = 62421 + 22239. Does 51 divide u?
True
Suppose 33561 = 51*t - 232528 - 15686. Is 85 a factor of t?
True
Let l be (295/(-35) - -5)/(1/(-14)). Suppose -5*w = -598 + l. Does 38 divide w?
False
Let z be (-15)/(-25) - 189/15. Let x be (3/z)/((-3)/228). Suppose -j + x = -73. Is 23 a factor of j?
True
Let u(z) = z**2 - 19. Let k be u(-5). Let j be (-16)/(2 - k) - -5. Let m = 197 + j. Is 33 a factor of m?
False
Let x(o) = 5*o**3 + 7*o + 2. Let p be x(-5). Let d = p - -1029. Suppose 2*v - 194 = -4*n, -5*n - 4 = -4*v + d. Is 19 a factor of v?
True
Let g be -2*(-40)/24*(-3)/(-2). Suppose -4*k + 4*v + 188 = -2*k, -v = -g. Let z = 128 - k. Is 3 a factor of z?
True
Suppose -l + 65 = 4*k, 0 = -k + 8 - 3. Suppose -3*x = -12*x + l. Suppose -1120 = -4*z - 5*q, 0 = x*z - q - 796 - 604. Is z a multiple of 14?
True
Let h = -47 - -47. Suppose c - 3*r - 2 = h, -2*c - c - 3*r = -6. Suppose -5*a + 80 = 2*n, 94 = 3*n - n - c*a. Is n a multiple of 6?
False
Let y = 55106 + -38082. Does 8 divide y?
True
Suppose -4*y = -0*y - 3*y - 1359. Does 151 divide y?
True
Let h be (0 - 1)/(((-4)/(-82))/(-2)). Let v be (-3)/(-7) + (-24)/7 + h. Is 36 a factor of 4 + v - 3 - 3?
True
Suppose -171*c + 21*c + 1020000 = 0. Is c a multiple of 7?
False
Suppose 1863*v - 1860*v + 4*f - 24006 = 0, 4*v + f = 32034. Does 8 divide v?
False
Suppose -48165 = -11*z - 3*o, 8289 = 2*z + 5*o - 446. Is 23 a factor of z?
False
Let i(s) = -35*s - 10. Let f be i(-10). Let b = -251 + f. Does 7 divide b?
False
Suppose g = 19*l - 21*l + 93250, 0 = -4*l + 2*g + 186508. Does 13 divide l?
False
Suppose -z + 3*d + 67 = 7*d, -3*z + 2*d = -187. Let j = 219 - 204. Let o = z + j. Is 26 a factor of o?
True
Suppose -5*s + 8628 = -4*t - 6316, -2*s - t = -5988. Is 6 a factor of s?
False
Let z(y) = 3*y**2 + 167*y + 2091. Is 6 a factor of z(-60)?
False
Let q(t) = t**3 + 14*t**2 - 14*t + 19. Let x be q(-15). Let u be x/6 - (-60)/18. Does 5 divide -1 + (32/u)/4 - -21?
False
Suppose -469*x - 55 = -470*x. Suppose 2*k = 3*k - 385. Suppose x = 5*h - k. Does 11 divide h?
True
Suppose 0*w + 2*w + 4*a + 2 = 0, -3*a = -2*w - 37. Let t(q) = -35*q - 49. Does 10 divide t(w)?
False
Suppose -138*b + 73*b = -286194 - 80601. Does 33 divide b?
True
Let y(u) = 147*u - 92. Let h be y(6). Let d = h - -29. Is 13 a factor of d?
True
Let b = 301 - 298. Is 512 - ((b - -1) + (9 - 13)) a multiple of 45?
False
Suppose -h - 2*t = 962, 3*h + 3*t + 3316 = 433. Let s = -491 - h. Suppose -27*y = -34*y + s. Does 5 divide y?
False
Let f(q) = q**3 - 3*q**2 - 3*q + 15. Let g be 184/32 - 3/24*6. Is f(g) a multiple of 10?
True
Suppose 5*f + 4*b = 1041, 2*f = -0*f - 5*b + 413. Let a = f + 348. Is 21 a factor of a?
False
Suppose -4*l + 103 = -4*k - 7*l, -2*k - 4*l - 54 = 0. Let d be (-98)/5*2*k/10. Let q = 164 - d. Does 17 divide q?
False
Let d(n) = 140*n**2 + 18*n - 2. Let m be d(3). Suppose -531 = 11*z - m. Is 12 a factor of z?
False
Suppose 76 = 15*k - 1184. Suppose -k*f = -80*f - 4752. Does 57 divide f?
False
Let l = 1611 - 2971. Let r = -648 - l. Is r a multiple of 40?
False
Let v(q) = 11146*q + 793. Is 15 a factor of v(2)?
True
Let j(o) = 43*o + 4. Let v = 84 - 92. Let l be j(v). Let y = l - -605. Does 49 divide y?
False
Let s(c) = -c**3 - 89*c**2 + 270*c - 146. Is s(-92) a multiple of 7?
True
Let m be 9/((-1)/((-4)/12)). Let t(z) = 3*z**2 - 6 + 4 + 6*z**3 - 4 + 0. Is t(m) a multiple of 27?
False
Let c(a) = -150*a + 2394. Does 14 divide c(0)?
True
Let t = 1084 - -914. Is 9 a factor of t?
True
Let f = -9 - -9. Let p be 3 + 0 - (-1345)/5. Suppose -169 = -3*h - 4*q - f*q, 5*h = 3*q + p. Does 11 divide h?
True
Let w be (-33)/9*90/10. Let x(f) = f**3 + 33*f**2 - 3*f - 21. Does 5 divide x(w)?
False
Let f = 4277 - 3373. Does 8 divide f?
True
Suppose -3*q - 2*q + 24370 = 1485. Is 23 a factor of q?
True
Let p(r) be the first derivative of -3*r**3 - r**2/2 + r - 22. Let z be p(-1). Let m(v) = -v**3 - 4*v**2 + 10*v + 17. Is m(z) a multiple of 19?
False
Let m = -15 + 24. Suppose 0 = -5*j + m*j. Suppose j = -2*t + t + 55. Is 9 a factor of t?
False
Let r = 431 + 50. Let b = r - -275. Is b a multiple of 42?
True
Suppose -1160*h + 1417510 + 5820056 = -422*h. Is h a multiple of 98?
False
Let h(r) = -r**3 + 11*r**2 - 60*r + 75. Let t be h(25). Is 6/8 + (t/(-44) - -2) a multiple of 9?
True
Let s(r) = 10*r**2 - 1. Let m be s(1). Suppose -10*h + 108 = -m*h. Suppose t - 5*l = 3*t - h, 2*l = t - 63. Does 13 divide t?
False
Suppose 51*n - 35*n = 48. Suppose n*c + 3*k = 6*k + 777, 2*k = 0. Is c a multiple of 37?
True
Let d(p) = -4*p**3 + 33*p**2 - 3*p + 12. Let j be d(8). Suppose -5*b = -5*q + 660, 360 = 3*q + 5*b - j. Is 8 a factor of q?
False
Let y(w) = -4*w - 22. Let i be y(-12). Suppose -3*f + i = -f. Suppose 2*v = -j + 3*v + f, -2*j + 4*v + 16 = 0. Is 2 a factor of j?
True
Suppose -18 = 3*n - 3*t, 4*n = -t - 17 - 2. Is (-4 - n)*(1 - -83) a multiple of 12?
True
Let h(y) = -y**3 + 14*y**2 - 27*y - 61. Let r be h(11). Let b(d) = 4*d**2 - 15*d + 41. Does 6 divide b(r)?
True
Let z be (-8*4/(-40))/((-4)/30). Is 9 a factor of ((-1990)/6)/(-5) + 8/z?
False
Let o(u) = 10*u**3 + 22*u**2 - 63*u - 26. Is o(6) a multiple of 58?
False
Let a be (12/(-16))/(2/(-8)). Suppose -3*n + 12 = a. Suppose -k + 0*k - 4*f = -72, -5*k + 394 = n*f. Is k a multiple of 10?
True
Is 16534/7 + (4 - 10) + -5 a multiple of 40?
False
Let u(n) = -n**3 - 51*n**2 + 107*n + 68. Let s be u(-53). Let o(c) = -2*c**3 + 37*c**2 - 15*c + 53. Is o(s) a multiple of 15?
False
Suppose 3*y + 4*z - 6 = 0, 2*z = y + 4*z - 2. Suppose 0 = 4*g + 2*o - 500, -168 = -y*g - 4*o + 70. Does 41 divide g?
False
Let h = -15552 - -25632. Is h a multiple of 24?
True
Let z(n) = -84 + 131 + 83 - 21*n + n**2 + 32 + 20. Is z(22) a multiple of 3?
True
Let f be ((-4)/2 + -1)/((-6)/6). Let j(q) = 2*q**3 + 3*q**2 - 6*q + 4