= -39 + 36. Let t be 10/15*y/(-2). Let c = 3 + t. Is 4 a factor of c?
True
Let j(y) = -26*y + 91. Suppose 6*v = -78 + 24. Is j(v) a multiple of 13?
True
Let g be (-2)/5 - 1591/185. Does 68 divide (g/6 - -2)*524?
False
Let c = 174 - 170. Suppose -4*k + 2*t = -766, 956 = 9*k - c*k - 2*t. Is 19 a factor of k?
True
Suppose 2*m + 4*r = 2509 + 1563, -2*r + 8120 = 4*m. Suppose 4*h - i = m, 164 = -h + 2*i + 664. Does 12 divide h?
False
Suppose 0 = -2*q + 5*m + 1400, 3*q - 3*m - 1073 = 1009. Let j = q + 302. Does 31 divide j?
True
Let f(t) = 215*t**2 + 59*t + 369. Is 13 a factor of f(-7)?
True
Suppose -4*n - 2708 = 2*p, -2*p = -5*n - 1377 - 1999. Let h = n + 1575. Is 37 a factor of h?
False
Suppose 0 = i + 2*o - 4, 2*i = -0*i + 5*o - 1. Suppose -6*c + 1464 = 5*q - 3*c, -3*q = i*c - 878. Is q a multiple of 21?
True
Let z be (1676/6)/((-17)/51). Let w = z + 1456. Is w a multiple of 11?
False
Let d(h) = 114*h**2 + 7*h - 11. Suppose -3*a + 86 - 80 = 0. Is d(a) a multiple of 15?
False
Let c(v) = 61*v - 111. Let k be c(4). Suppose -y - 2*y = -2*s - 201, 0 = 2*y - s - k. Is 3 a factor of y?
False
Suppose -7*w + 2 = -33. Suppose -5*l - 2*o + 1230 = 0, w*o - 3*o = 2*l - 478. Suppose -4*z + 3*z + l = 3*r, 0 = 3*r + 2*z - 248. Does 10 divide r?
True
Suppose -5*h + 5 + 10 = 0. Suppose 5*z = -5*y + 225 - 10, 3*y + 4*z - 124 = 0. Suppose y = 5*j - 2*q, -q = -j + h*q + 6. Is 3 a factor of j?
False
Suppose 0 = -2*c - 3*z + 18525, -3*z = -4*c + 7878 + 29109. Is c a multiple of 12?
True
Let r be (1/(-6) - (-70)/60)*2. Let y(s) = 383*s - 31. Is y(r) a multiple of 35?
True
Suppose -1601628 = -181*v + 273532. Does 8 divide v?
True
Let w be (13/10*-8)/(4/(-1030)). Suppose -7*n + 1991 = -w. Is n a multiple of 52?
False
Let k be (-21622)/76*(-4)/(1/(-1)). Let o = k - -2440. Does 31 divide o?
True
Suppose 13*b + 70 = 27*b. Is 40 a factor of 4/(10/b)*1263/6?
False
Suppose -44*a + 312726 = -8*a - 430674. Does 96 divide a?
False
Suppose 0 = -2*h + 4*h + 24472. Let n be h/(-95) - (-8)/(-10). Suppose -84 = -n*d + 126*d. Is d a multiple of 42?
True
Let s = -9415 + 13188. Does 7 divide s?
True
Let u be (-3 - 1)/(-31 - -30). Suppose 0 = 5*j - 15, -u*i - j + 1483 = -0*i. Suppose 7*m + i = 9*m. Is m a multiple of 8?
False
Does 21 divide (1/3)/(15/214065)?
False
Let y be 10*(-3)/(-6) - 50. Let s = 245 + y. Is s a multiple of 25?
True
Suppose -3*z = -2*y - 22172, -5*z - 8262 = -4*y - 45214. Does 48 divide z?
True
Let j = -70 + 74. Let f be (j*20/8)/((-1)/(-18)). Suppose g = 4*g - f. Is g a multiple of 7?
False
Suppose 4*d + 4*l = 8*l + 8, -4*d = -l - 14. Suppose 5*b = d*r + 7108 - 1941, -4*b - r = -4121. Is b a multiple of 26?
False
Is 42 a factor of (122052/(-5))/(-11*(-4)/(-110))?
True
Suppose -478851 - 303189 = -95*q. Does 44 divide q?
False
Suppose -32*o + 31*o + 647 = 0. Let g = -263 + o. Is 12 a factor of g?
True
Let t(m) = 225 + 2*m**2 + 216 - 12*m - 431 + m**2. Let u(f) = f**2 - 6*f + 6. Let q be u(6). Is 20 a factor of t(q)?
False
Suppose -3*b - 4*x - 1051 = 0, b - 3*x + 359 = -0*x. Let f(j) = -57*j - 1. Let u be f(4). Let c = u - b. Is c a multiple of 31?
True
Let s = 113 + -95. Is 10 a factor of -3*14/5*(-750)/s?
True
Let k(q) = -137*q - 1644. Is k(-46) a multiple of 57?
False
Suppose 4*o - 161 = -5*j, -23*j + 27*j + 2*o = 130. Is 6080/12 - (-11)/j a multiple of 38?
False
Suppose -88502 = -5*p + 5*k - 12557, -3*k - 15201 = -p. Does 11 divide p?
False
Let s(b) = -43*b**3 + 5*b**2 - 13*b + 85. Is 170 a factor of s(-8)?
False
Suppose -12*n + 11973 = -27039 + 9012. Is n a multiple of 25?
True
Let r be (-4)/6 + (-9051)/(-9) + -2. Suppose 4*f + r = 4003. Is f a multiple of 25?
True
Suppose 4*h - 4194 = -l, -316*h = -315*h - 4*l - 1040. Is 75 a factor of h?
False
Let x(n) = -n**2 - 9*n + 146. Suppose 0*d = 3*d - 4*c + 35, 5*d - 5*c + 65 = 0. Is x(d) a multiple of 5?
True
Suppose 61 = 6*h - 269. Let x = 55 - h. Let v(a) = -3*a + 18. Is 5 a factor of v(x)?
False
Let p(q) = -362*q + 91. Is p(-8) a multiple of 9?
False
Let h = 15291 - 9891. Is 40 a factor of h?
True
Let i(b) = 155*b + 376. Is 142 a factor of i(3)?
False
Suppose -891*q - 348000 = -920*q. Is q a multiple of 10?
True
Suppose -5*o = -886 + 696. Let q = -17 + 8. Let g = q + o. Does 29 divide g?
True
Suppose -124254 = -12*m - 14*m. Is m a multiple of 21?
False
Let m = -13202 + 22237. Does 27 divide m?
False
Let a = -2586 + 3681. Is 8 a factor of a?
False
Let n = 23045 - 19610. Is n a multiple of 15?
True
Let b(m) = -49*m - 19. Let w(h) = 99*h + 37. Let p(v) = 5*b(v) + 2*w(v). Let f = -1131 - -1128. Does 10 divide p(f)?
True
Suppose -20 - 22 = -d. Let o = d + -21. Suppose g - 5*z = o, 2*g - 2*z - 27 = 3*z. Is g even?
True
Let i(o) = o**2 + 8*o + 46. Let s be i(-19). Suppose s = 3*f - 2205. Is 20 a factor of f?
True
Let u(d) = -d**2 - 17*d + 9. Let m be u(-18). Let v = m - -12. Suppose v*l - 319 = 209. Is 16 a factor of l?
True
Suppose -1851*q + 1848*q - 9 = 0, 3*p + 3*q - 3843 = 0. Is p a multiple of 12?
True
Let k = -12612 - -22533. Is 80 a factor of k?
False
Let g(y) = 2*y - 1. Let a be g(2). Suppose 25 - 16 = a*l. Suppose 0 = -l*i - 5*u + 64, i + 3*u = 21 + 7. Is 13 a factor of i?
True
Suppose x - 5*x + 12 = 0. Suppose x*c + 503 = -2272. Is ((-60)/(-50))/(5/(c/(-2))) a multiple of 23?
False
Let h = -149 - -158. Let o(p) be the second derivative of 10*p**3/3 - 15*p**2/2 + 3*p. Is 33 a factor of o(h)?
True
Let r be (-1 - -7)*4/6. Let u(h) = h**2 + 9*h + 8. Let q be u(-10). Suppose 3*i - 98 = 5*c, 3*i - 2*c + q = r*i. Is 6 a factor of i?
False
Suppose -3*n - 2*n = -225. Let o = n - 33. Suppose -9*t = -o*t + 252. Is t a multiple of 14?
True
Suppose 748 = 7*j - 15. Let l = j - 34. Is l a multiple of 25?
True
Let o(q) = 12*q**3 + 159*q**2 - 5*q + 109. Does 17 divide o(-13)?
False
Suppose -13*p + 2895 = -9*p - i, i = 1. Does 9 divide p?
False
Let v(t) = 159*t**2 - 10*t - 18. Does 31 divide v(-7)?
True
Let g = -13 + 3. Let y(k) = -12 - 26*k + 0 + 19 - 15. Is 21 a factor of y(g)?
True
Suppose 499725 + 70444 = 163*l - 699275. Is 11 a factor of l?
True
Let v(g) = -6*g**2 + 19*g - 1. Let o(z) = 29*z + 11*z**2 + 0 - 17*z**2 - 3*z**2 - 1. Let t(c) = 5*o(c) - 8*v(c). Is 22 a factor of t(5)?
False
Suppose 2*o = 3*n + 8923 - 32836, 2*n - 15950 = 4*o. Is 5 a factor of n?
False
Suppose -5*k = -3*s + 33, 2*s - 5*s + 4*k = -30. Let j(i) = 3*i - 15. Let n(w) = -2*w + 8. Let c(r) = -5*j(r) - 9*n(r). Does 6 divide c(s)?
False
Suppose 14*k = 192 + 46. Suppose -k*a = 7*a - 9792. Is a a multiple of 24?
True
Let y(m) = 137*m**2 + 5. Let j be y(2). Let u = j - 935. Is (0 - 1)*3/(6/u) a multiple of 23?
False
Does 23 divide (1*-92)/(231/1276 + (-2)/8)?
True
Let h(x) = -x**3 - 4*x**2 - x - 5. Let q be h(-3). Let f = 14 + q. Suppose 0 = f*b - 4*j - 288, 5*j - 27 = 2*b - 219. Is b a multiple of 24?
True
Let f = 16574 + -7882. Is 24 a factor of f?
False
Suppose -10 = -2*z, 5*h + 8*z - 6*z = 75. Suppose 347 = h*l - 277. Is 6 a factor of l?
True
Let a(j) = -j**3 - 7*j**2 + 16*j - 18. Let n be a(-9). Suppose 140 = -n*r - r. Let u = 32 - r. Is 40 a factor of u?
False
Suppose -5*h + 4*q = -185, -3*h + 2*q - 51 + 160 = 0. Let u = h + -24. Suppose -u*s - 109 = -1270. Is s a multiple of 43?
True
Let c(v) be the second derivative of v**5/60 + 3*v**4/4 - 9*v**3/2 + 5*v**2 - 4*v. Let h(s) be the first derivative of c(s). Is 6 a factor of h(-21)?
True
Suppose 4*h + 70 = -4*s - 2, -2*s + 15 = -h. Let l = h + 94. Let i = 95 - l. Is i a multiple of 3?
True
Suppose 0 = -13*m + 2*m + 198. Suppose -m = 4*b + 2*a, a + 3*a + 20 = -4*b. Is 3 a factor of 82*(0 + b/(-8))?
False
Let o(k) = 1086*k - 5848. Does 24 divide o(37)?
False
Let d be 8/(-2)*5/(-4). Let b be (-1836)/(36/(-8) - -3) - 0/2. Suppose 3*k = -d*k + b. Does 26 divide k?
False
Suppose 0 = 4*k - 13 - 3, -5*z = -3*k + 222. Let x = 71 + z. Suppose -5*r = 5*f - 330, -4*r - x = f - 95. Is 11 a factor of f?
True
Suppose 5*p + 0 = 20, -3983 = -5*w + 3*p. Does 17 divide w?
True
Suppose -41*d - 761 = -2*o - 46*d, -2*o = 4*d - 764. Does 5 divide o?
False
Suppose 2*q - 76 - 8 = 0. Is 30 a factor of 9*q + 2*5/2?
False
Let q(i) = -2*i**3 + 22*i**2 - 75*i - 12. Let w(o) = o**3 - 11*o**2 + 37*o + 5. Let z(d) = 4*q(d) + 9*w(d). Is z(6) a multiple of 2?
False
Let r(t) = t**3 + 9*t**2 - 20*t - 20. Let j be r(-9). Suppose 3*g - 462 =