0. Does 15 divide w?
True
Suppose 3*v - 5*v + 4 = 0. Suppose v*l + 4*c - 8 = -2, 3*l + 3*c = 15. Suppose -k + l*k = 228. Does 27 divide k?
False
Suppose 0 = d + 2*i, 5*d + 2 + 11 = 3*i. Is 25 a factor of ((-3864)/(-105))/(3/((-15)/d))?
False
Let p = -3 - -118. Let q = p - 13. Is q a multiple of 6?
True
Let r(q) = -q**2 - 9*q - 13. Let p be r(-5). Suppose -p = -4*v + 185. Is 3 a factor of v?
True
Is -9 - (-2 + -6) - (2 - 7144) a multiple of 74?
False
Let a(c) = -1044*c - 5830. Is 7 a factor of a(-6)?
True
Suppose 37 = 4*v + 5*u, -3*v - v = -2*u - 2. Suppose 5*t - j = -2*j - 1322, j - 790 = v*t. Let x = t + 388. Is x a multiple of 10?
False
Let c be 166*((-15)/(-10))/((-18)/(-12)). Suppose y + 3 = 5*w - 392, 2*w - 2*y - c = 0. Is 26 a factor of w?
True
Is 23 a factor of (-16)/192 - 6630/(-72)?
True
Let l(f) = -7*f. Let u(j) = -2*j + 3. Let k be u(3). Let r(g) = -7*g + 1. Let q(v) = k*l(v) + 2*r(v). Does 20 divide q(14)?
True
Suppose 0 = 54*u + 24396 - 488418. Is u a multiple of 13?
True
Suppose -5*i + 2*k + 561 = -533, -3*k = 6. Suppose b - 202 = m, 2*b - 5*m = b + i. Does 18 divide b?
True
Suppose 16*n = n + 10*n + 4895. Is 30 a factor of n?
False
Let k(c) be the third derivative of c**5/20 + 5*c**4/24 + 11*c**3/2 + 48*c**2. Is 14 a factor of k(7)?
False
Let q(k) = -378*k - 8792. Does 14 divide q(-48)?
True
Suppose 8*m + 31357 = 96837. Is 44 a factor of m?
False
Suppose 0 = 4*u + u - 40. Let t be (-4)/u - (-4)/8. Is 76 + (4 - t/(-3)) a multiple of 9?
False
Let v(d) = d + 22. Let i be v(-13). Let f be 2/7 - (-292)/7. Is f/i + -4 - (-542)/6 a multiple of 13?
True
Let l(i) = 92*i**2 - 31*i + 61. Is 13 a factor of l(-9)?
False
Suppose 37*s = 20*s + 19*s - 22260. Is 3 a factor of s?
True
Let m be ((-8)/(-16))/(1/6). Let c(o) = -3*o**2 + 16*o + 12. Let n be c(6). Suppose -3*i + 3*q + 261 = 0, n = -3*i - m*q + 85 + 200. Does 16 divide i?
False
Let j be 52/12 - (-1)/(-3). Let a = -314 + 491. Suppose a = j*k - 15. Is 14 a factor of k?
False
Let r(b) = -39*b - 42. Suppose 9 - 69 = -5*t + 3*p, -5*t + 30 = 3*p. Suppose 4*a - 3*x - 19 = t*a, 5*a + 15 = -5*x. Is r(a) a multiple of 36?
False
Suppose -39*t + 103635 = 88*t + 14*t. Does 3 divide t?
True
Suppose 50*c + 58 = 52*c. Suppose 3*p - 17 = 3*d - 7*d, 3*d - c = p. Suppose -3*n = d*n - 2189. Is n a multiple of 38?
False
Let i = -26 - -22. Suppose -7*d + 41 = 34. Is 24 a factor of i - d - -1*181?
False
Let j(y) = 47*y**2 + 152*y - 767. Is 8 a factor of j(5)?
True
Suppose 2*b - 57 = 5*o + 119, 0 = 3*b - o - 264. Suppose 29*d = 31*d - b. Does 4 divide d?
True
Suppose y + 2*q + 52 = -0*y, 4*y + 4*q = -224. Suppose 560 = 5*t - 3*z, -2*z + 4*z = -5*t + 535. Let j = t + y. Does 7 divide j?
True
Is 5529/(-95)*(-285)/9 a multiple of 14?
False
Let r be (3 + 42/(-35))*25. Let u = 227 - r. Is u a multiple of 11?
False
Let o be (0/((-8)/(-4)))/2. Suppose -180 = -10*m - o*m. Suppose 21*i - m*i = 171. Is 15 a factor of i?
False
Suppose -41*h + 241256 + 214090 = 0. Is 17 a factor of h?
False
Suppose -86*l + 338734 = -481964. Is l a multiple of 25?
False
Let v(f) = -18*f + 18. Let j = -4 - 4. Let z be v(j). Let n = z + -36. Is n a multiple of 13?
False
Suppose -3*z + 1299 = z + 3*t, 2*z - 669 = 5*t. Suppose -2*h - h + z = 0. Does 7 divide h?
False
Suppose k + 1704 + 5188 = 3*y, y + 5*k - 2340 = 0. Does 25 divide y?
True
Does 29 divide 12/28 + (-21)/((-1029)/176918)?
False
Let t(f) = 53*f**3 - 16*f**2 - 29*f + 154. Does 14 divide t(7)?
True
Suppose 3*h + 6 = 4*h + t, t = 2*h - 15. Suppose -h*j = -13*j + 222. Suppose 6*f = -j + 493. Is f a multiple of 5?
False
Suppose -133*p = -1740160 - 134209. Is p a multiple of 166?
False
Suppose 2*j - 3*r = r + 310, -2*j + 283 = 5*r. Suppose 8*o + 2502 = 5278. Suppose -j = -g - 5*z, -4*g + g + 5*z + o = 0. Is 23 a factor of g?
False
Suppose -2*z + c = -5*z + 1533, 3*z - 4*c - 1533 = 0. Suppose -3*m + z = 4*j - 2*j, -j + 278 = -3*m. Does 41 divide j?
False
Suppose k = y + 3*y + 176, -2*k - 8 = 0. Let d = y - -49. Suppose 2*v + d*i = 6*v - 48, 0 = -v + 4*i + 21. Is 3 a factor of v?
True
Suppose -5*x + 52 = -2*f, -f - 6*x - 23 = -7*x. Let p(m) = -13*m - 33. Is p(f) a multiple of 15?
True
Let f = -3196 - -10294. Is 164 a factor of f?
False
Let l(v) = -22 + 28*v**2 - 10*v + 2*v - 9*v - 6*v**3 + 5*v**3. Is 4 a factor of l(27)?
True
Let a = 7 + -14. Let g(m) = -2*m**3 + 9*m**2 + 10*m - 13. Let b(j) = -5*j**3 + 19*j**2 + 21*j - 27. Let f(i) = 3*b(i) - 7*g(i). Is 27 a factor of f(a)?
True
Let g(h) = -3*h**3 + 10*h - 15*h**2 + 9*h**2 - 4*h**2 - 12 + 2*h**3. Let k be g(-11). Is 150/12*(-2)/k a multiple of 5?
True
Suppose 16*v - 28*v + 30400 = -15068. Is v a multiple of 108?
False
Let c(x) = 15*x**2 + 16 - 30*x**2 + 58*x**2 - x - 51. Does 29 divide c(4)?
False
Let r = 63 + -54. Suppose 0*o - 2034 = r*o. Let l = -155 - o. Is 16 a factor of l?
False
Let i(m) = -7*m + 9. Let l be i(1). Suppose l*x - u - u - 200 = 0, -x + 100 = -3*u. Is 5 a factor of x?
True
Let n = 114 + -114. Suppose -5*u = 5*w - 48 - 162, n = 2*u - 2*w - 84. Is 5 a factor of u?
False
Suppose -d = 18*d - 1387. Suppose 89*w = d*w + 8640. Is 30 a factor of w?
True
Let l be (2 - (-6)/(-2)) + -282. Let n = l - -323. Is 10 a factor of n?
True
Let d = -3174 + 9226. Is d a multiple of 89?
True
Let l = -162 + 167. Suppose -4 = -4*k, -l*f - 3*k = -0*k - 1613. Is 17 a factor of f?
False
Let b(y) be the first derivative of -7*y**2 - 28*y - 1. Let n be b(-7). Let a = n + 34. Is a a multiple of 18?
False
Let n = 3355 - -31251. Does 22 divide n?
True
Let x(k) = -k**3 - 7*k**2 - 2*k - 16. Let h be x(-7). Let f be (90/(-36))/(1/h). Suppose 250 = -0*c + 2*c - 4*r, -625 = -f*c - 5*r. Is c a multiple of 33?
False
Suppose -10498 = -120*a + 116*a - 3*b, 5*b - 30 = 0. Is 20 a factor of a?
True
Suppose -4*g + 4*y - 2*y = -4, -5*y = g - 23. Suppose g*q - 5 - 7 = 0. Suppose q*c - 173 = 523. Is 16 a factor of c?
False
Suppose -5*a + 6 = 2*h + 3, 3*h = 3*a + 15. Let q(j) = 3*j - 14. Let s be q(h). Is (-120)/9*15/s a multiple of 25?
True
Let d(m) = -17302*m + 500. Is d(-1) a multiple of 69?
True
Suppose -w = 4*w - 15, -j = 4*w - 22. Let n(r) = -36*r**2 + 1451*r - 118. Let c be n(38). Is 6/15 + c/j a multiple of 38?
True
Is 19 a factor of 52/(-10)*(-302290)/148?
True
Let p be 3/5*(-40)/(-3). Is 9 a factor of (3159/(-156))/(14/p - 2)?
True
Let b(h) = -2*h**2 + 26*h - 18. Let u be b(12). Suppose u*q - 32 = 130. Is q a multiple of 20?
False
Let b(s) = 2*s**3 - s**2 - s + 1. Let c(r) = 13*r**3 + r**2 - 4*r + 25. Let v(u) = 6*b(u) - c(u). Does 25 divide v(-11)?
False
Let r = -2413 - -3456. Is r a multiple of 7?
True
Let y(q) = -281*q**3 + q**2 + 3*q + 1. Let j be y(-1). Let f = j - 214. Is 33 a factor of f?
True
Let z be 16/(-1) - (-34 - -29). Let m(o) = -23*o + 18. Is m(z) a multiple of 20?
False
Suppose -4*r - 1032 - 360 = 0. Let h = -241 - r. Is 5 a factor of h?
False
Let f be -329 + (3/(-1) - (4 - 8)). Let o = -227 - f. Let r = o - 62. Is 14 a factor of r?
False
Let c = 437 - 424. Suppose 0 = c*f - 7*f - 246. Is f a multiple of 5?
False
Suppose 57 = 22*o + 233. Let i(d) = -4*d + 52. Is 28 a factor of i(o)?
True
Let x = 35200 - 24511. Is 12 a factor of x?
False
Suppose 76*x + 20810 + 17206 = 87*x. Is x a multiple of 3?
True
Let p(b) = -21*b + 19*b - 2 + 19 + 2 + 6. Does 7 divide p(-6)?
False
Let f(k) = -k**3 + k**2 + 2*k. Let z(h) = 4*h**3 - 4*h**2 - 7*h + 1. Let g(p) = 7*f(p) + 2*z(p). Let q be g(0). Suppose -q*w + 0*w = -90. Does 10 divide w?
False
Let n(z) = 2*z**3 - 2*z**2 + 18*z + 11. Suppose -3*g + 29 = -10*u + 11*u, 28 = g + 4*u. Does 31 divide n(g)?
False
Suppose 236*n - 4*n - 3735764 = -46*n. Is 6 a factor of n?
False
Let g be (3 - 14)/(2/(-48)*2). Suppose -7*a = -g - 309. Does 9 divide a?
True
Suppose -2*p + 3435 = -k, p + 74*k = 76*k + 1722. Is p a multiple of 39?
True
Suppose 362 = 3*s + 47. Suppose -2*f - 87 = s. Let p = -6 - f. Does 8 divide p?
False
Let v = -7 - -23. Let p = 61 - v. Let g = p + 18. Does 21 divide g?
True
Let g(h) be the first derivative of 55*h**2 - 18*h + 31. Does 39 divide g(3)?
True
Let g be 60/9 + 10/(-15). Suppose 3*j - 6 - g = 0. Suppose -b - 462 = -j*b - 3*n, 4*b - 3*n = 651. Does 35 divide b?
False
Let n(m) = m**2 + 13*m - 31. Let p be n(-15). Does 29 divide (9 - 12) + (p - -1193)?
True
Let a(b) be the first derivative o