 Is p a multiple of 7?
True
Suppose -19*u = -15*u + 796. Let k = -97 - u. Suppose 4*f - k - 198 = 0. Is 15 a factor of f?
True
Let f = -152 + 167. Suppose -5*r = f, 4*a - r = 2*r + 185. Is 18 a factor of a?
False
Let v = 530 + 55. Let r = 1 + -1. Suppose 2*q + 2*q + 4*x = 428, r = 5*q - 5*x - v. Is q a multiple of 8?
True
Let z = 6 + 2. Suppose 180 = z*a - 4*a. Let m = 60 - a. Is m a multiple of 15?
True
Suppose -5*z - 5 = -5*b, -b - 4*z = -z + 11. Let v be 2/(-5) + 127/5. Is 12 a factor of (-24)/30*v/b*6?
True
Let a = -81 + 96. Let p = -10 + a. Suppose -i = -p*i + 28. Does 7 divide i?
True
Suppose -47*i - 564 = -50*i. Let k = i + -143. Does 5 divide k?
True
Let g = -22389 + 27309. Is 43 a factor of g?
False
Suppose -2*m - 1304 = -5*m + 4*i, 3*i = 2*m - 868. Let p = -30 + m. Is 41 a factor of p?
True
Suppose 12 = 4*b + 2*b. Suppose -2*o - b*u = -16, -3*u - 11 + 0 = -4*o. Suppose -p - 3 = 2*p, o*x + 3*p - 182 = 0. Is 37 a factor of x?
True
Is 33792/(-1760)*2890/(-8) a multiple of 13?
False
Let l(w) = w**3 - 4*w**2 + 66*w - 20. Let a be (20/(-40))/(1/(-14)). Does 19 divide l(a)?
True
Let v = 175 + -73. Let i = 45 - v. Let o = i - -155. Does 14 divide o?
True
Let j be (13/26)/((-1)/(-6)). Suppose -2*y + 15 = 3*y, i + j*y - 11 = 0. Suppose -263 = -i*m - 3*d, 4*m + d - 530 = -d. Is 32 a factor of m?
False
Let w = -7296 - -10482. Is w a multiple of 6?
True
Let x = -127 + 84. Let z = 142 + x. Does 17 divide z?
False
Let b be 3*(-633)/(-9) + -3. Is b + -6 + (5 - 2) a multiple of 8?
False
Is 19 a factor of (2176/(-40))/(5*(-2)/475)?
True
Suppose 0 = -2*k - d - 152, -3*k + 5*d = 253 - 38. Let c = 218 + k. Suppose -2*j - c = -373. Is j a multiple of 25?
False
Suppose -3*n + 6*k = 3*k - 2187, 0 = 5*n - 2*k - 3645. Is n a multiple of 11?
False
Let a(u) = -u**3 + 4*u**2 + 5*u - 2. Let n(d) = -d**3 + 4*d**2 + 15*d - 14. Let x be n(6). Does 11 divide a(x)?
False
Is (-1 - (-123608)/16) + 3/6 a multiple of 126?
False
Suppose 2*o = -4*n + 38, 73 = 4*o + 2*n + 9. Let t be o + -4 - 3 - -1. Is 9 a factor of 2*t*(-5)/(-2)?
True
Suppose -2*i + i - 121 = 3*t, 3*t - 6 = 0. Let s = i + 199. Is s a multiple of 15?
False
Suppose 13 = -7*j + 20*j. Is 70 - 0/(-6) - (j - 1) a multiple of 2?
True
Suppose 5*m + 5*t - 8*t = 1028, -5*t = -5*m + 1030. Let f = m + 212. Is f a multiple of 10?
False
Let d(j) = 10*j**2 - 7*j + 130. Let y(k) = -10*k**2 + 11*k - 129. Let v(o) = 7*d(o) + 6*y(o). Is v(-5) a multiple of 7?
True
Suppose -43 = -4*b - 71. Let c(l) = -l**3 + 6*l**2 + 38*l + 10. Is c(b) a multiple of 20?
False
Suppose 9685 = 3*l + 2*a, 4*l + 0*a = -3*a + 12912. Is l a multiple of 42?
False
Let o(b) = b + 2199. Let m be o(0). Suppose 11*y = m + 45. Is -9*(y/(-3))/4 a multiple of 29?
False
Let b be ((-14 + 3)*44)/(-24 + 26). Suppose -2*n + 818 = 2*c, -2*n + 0*c + c + 812 = 0. Let l = b + n. Does 33 divide l?
True
Suppose 6*l + 0*l + 126 = 0. Let t = l + 24. Suppose w = -5*x + 226, -2*x + w + 224 = t*x. Does 9 divide x?
True
Is 101036/18 - 187/1683 a multiple of 23?
False
Let z = 4 + 2. Let x be z/(-27) + 5163/27. Suppose 4*r = -31 + x. Does 20 divide r?
True
Suppose 9298 = 5*q + 4*y, 3*y - 134 = -2*q + 3595. Is q a multiple of 3?
True
Suppose z + 31 = 2*f + 2*f, 3*f + 3*z - 12 = 0. Suppose -11*x - f - 4 = 0. Is 5 a factor of (-71)/(-2) + (-2)/(-4)*x?
True
Let i = -92 + 92. Suppose i = -16*w - w + 4012. Is 59 a factor of w?
True
Suppose -g - 7700 = -5*j, 4*j - 2275 = 5*g + 3885. Is j a multiple of 11?
True
Is (-14)/49 + ((-155664)/42)/(-1) a multiple of 134?
False
Suppose -23660 = 2*a - 5*a - 3506. Does 8 divide a?
False
Let p = 69 - 168. Let a = p - -101. Suppose -3*y + a*v = -843, -99 = 2*y + 5*v - 642. Is y a multiple of 48?
False
Let j(s) = -6*s**3 - 5*s**2 - 14*s + 11. Let q(y) = -7*y**3 - 6*y**2 - 15*y + 11. Let b(r) = -6*j(r) + 5*q(r). Does 5 divide b(5)?
False
Let g(p) = 25*p + 7. Suppose -26*x + 88 - 36 = 0. Is g(x) a multiple of 19?
True
Suppose -i + 62083 = 5*m, 0 = -35*i + 34*i + 3. Is 17 a factor of m?
False
Suppose 175*s = 169*s. Suppose s = -6*j + 2315 + 85. Is 16 a factor of j?
True
Let n(q) = q**3 + 9*q**2 + 9*q + 13. Let j be n(-8). Suppose 0 = -0*i - i + 20. Suppose -j*r + i = -50. Is 2 a factor of r?
True
Suppose 19*a = 11*a - 424. Let b = 93 + a. Is b a multiple of 13?
False
Suppose 33*z - 29*z - 29288 = -4*l, 0 = 3*l + 4*z - 21968. Is l a multiple of 12?
True
Let b = 738 + -766. Let r(o) = -2*o**2 - 65*o + 7. Is 47 a factor of r(b)?
False
Let x(y) = 135*y**2 + 2*y - 1. Suppose -11*n - 1 = -12. Let b be x(n). Let s = -45 + b. Does 10 divide s?
False
Suppose 0 = n + 2*x - 6, 2*n + 5*x - 10 = 4. Is 8073/108 + n/8 a multiple of 25?
True
Suppose -5*q + 560 = -5*k, -q - 3*k = -88 - 36. Suppose s - q = r, -s + 5*s - 448 = -2*r. Let j = -73 + s. Is j a multiple of 8?
True
Suppose 31912 = 5*y - 8*x, 8*x = -3*y + 13*x + 19147. Is 15 a factor of y?
False
Let q be 6 - (-15)/((-90)/24). Suppose 0 = 5*t + 5, -3*z = -q*z + 5*t - 1015. Is 90 a factor of z?
False
Suppose -s + 109200 = 4*d, 5*d = 177*s - 182*s + 136500. Does 12 divide d?
True
Let j = 13 + -18. Let s(c) = -15*c - 1. Let u be s(j). Let m = 104 - u. Does 15 divide m?
True
Suppose 0 = 4*h + 30*h - 57528. Does 12 divide h?
True
Let j(v) = 11*v + 239. Does 3 divide j(17)?
True
Let l(q) = -2*q**3 - 2*q**2 - 3*q. Let s be -2*-1*6/(-4). Is 9 a factor of l(s)?
True
Let s(n) = n**3 - 20*n**2 + n + 4. Let x be s(14). Let a = -477 - x. Does 11 divide a?
False
Let b = -8839 + 14334. Is b a multiple of 95?
False
Suppose -5*u - 6*u = -99. Let f be 66/u + 2/(-12)*-4. Is (4/f)/((-1)/(-466)) a multiple of 24?
False
Suppose -5*p - 3*o = 1215, 5*p + o = 4*o - 1185. Let h = 488 + p. Does 36 divide h?
False
Suppose -641*p = -655*p + 282128. Does 26 divide p?
False
Suppose 2*z + 7 = -p, z + 20 = -4*z. Suppose -27*t = -12*t - 150. Is 1*t*(p - (0 + -10)) a multiple of 22?
True
Suppose 18*q = -71*q + 181560. Is 8 a factor of q?
True
Suppose -2*u + 2*t = -6694, 0 = -2*u - 5*t - 0*t + 6736. Does 23 divide u?
False
Let c = 64 - 62. Suppose 0 = -c*r - 10, -4*h - r = r - 262. Let t = 52 + h. Is t a multiple of 12?
True
Let z(y) = -123*y - 3. Let c be z(-2). Let q be -24 + 18 + (0 - -16). Suppose q*g + 53 = c. Is g a multiple of 5?
False
Let p(z) = 141*z**3 - 4*z**2 + 18*z - 35. Is p(3) a multiple of 29?
False
Let c(q) = 742*q**2 + 280*q + 847. Is 3 a factor of c(-3)?
False
Let b(i) be the second derivative of 13*i**3/6 + 7*i**2/2 + i - 3. Does 49 divide b(7)?
True
Let m = -2254 + 3775. Suppose -5*s - 3*k = -m, -2*s = 4*k + 65 - 679. Is 13 a factor of s?
False
Let t = 39 - 31. Suppose -t*s = -10*s + 4. Suppose -70 = -s*d + 44. Is d a multiple of 13?
False
Let n(q) = 29*q**3 + 3*q**2 - 4*q + 3. Let d be n(1). Let a(y) = 3*y + 9. Let z be a(-4). Let b = d + z. Is b a multiple of 7?
True
Is 5 a factor of (0 + (-2)/(-6))*(1 + (-11744)/(-4))?
False
Suppose 64 = -2*v + 10*v. Is ((-414)/v)/(5 - 215/40) a multiple of 23?
True
Let x be (-36)/84*(-3 - -2 - 6). Suppose 0 = x*h - 3*j + 523 - 2263, 0 = -h - 2*j + 592. Is 73 a factor of h?
True
Let o(m) = 7*m**2 + 4*m - 3. Let w = 1 - 6. Let s be 1/w - 64/(-20). Is 16 a factor of o(s)?
False
Let y = 230 + 23900. Is y a multiple of 254?
True
Let c = 45 - 44. Let l be -1*(c - (2 - 0)). Is 24 a factor of 36/(l + (-4)/16)?
True
Suppose -m - 18 - 31 = -4*u, -4*m + 4*u = 244. Suppose 238 = -7*c - 315. Let q = m - c. Is q a multiple of 13?
False
Let h(k) = -k + 16. Let b be h(-6). Let q = b + 25. Let z = q + 23. Is z a multiple of 23?
False
Let z = 2838 + 4118. Does 33 divide z?
False
Suppose -10 = -5*f, -2*m - 5*f + 340 = -0*m. Let n be (-620)/(-25)*m/6. Let j = -467 + n. Is j a multiple of 12?
False
Let h = -35 + 43. Let f be -8 + 4 + 5 - -1. Let z = h - f. Is z a multiple of 4?
False
Let d be (-1)/(5/(-1910*6)). Suppose -21*q - d = -23*q - 5*f, -3452 = -3*q - 4*f. Is 17 a factor of q?
True
Let d = 7515 - 2971. Is d a multiple of 6?
False
Suppose 54 = 15*l - 6. Suppose l*v + v = 60. Does 5 divide v?
False
Suppose 10*r + 10 = -0. Let z be -3 + (-2)/r - (-203 + 2). Does 14 divide -4 + -2 + z/4?
False
Let x be 1690/4*(2 - (-36)/(-30)). Suppose d + x = 801. Does 5 divide d?
False
Let d(t) = -5*t - 24. Let f be d(-5). Let y be 0*f*(-5)/10. Suppose 121 = 4*v + u, y = 3*v + 3*u - 2*u - 92. Is 5 a factor of v?
Fa