*z - 3*a + 5338 = -1537, 0 = -z - 2*a + 1725. Suppose -14*h = z - 10759. Is h a multiple of 17?
True
Let t = 105 - -27. Let x = t + 68. Suppose -8*a + 6*a = -x. Is 10 a factor of a?
True
Let x(l) = -4*l - 6. Let d be x(-2). Let h be 96/d*(2/(-3))/(-1). Suppose -30*i + h*i = 180. Is i a multiple of 45?
True
Let m(w) be the third derivative of -7*w**6/120 - w**5/120 + w**4/12 - 18*w**2. Let j(v) be the second derivative of m(v). Is j(-2) a multiple of 11?
False
Let s be (286/6)/(6/54). Suppose 13*q = x + 8*q, -4*q = 5*x - 29. Suppose x*w - 2*a = -5*a + s, 0 = -2*w - 4*a + 166. Is 19 a factor of w?
False
Let a(t) = -t**2 + 8*t + 3. Let o be a(8). Let j be (o - (4 + -2)) + 3/1. Suppose -3*g = -h - 2 + 31, j*h - 116 = -2*g. Does 3 divide h?
False
Suppose 339*t = -10*t + 2324340. Is 60 a factor of t?
True
Suppose -y = -4 - 0. Suppose 2*t - 14 = -18. Is 29 a factor of y + t - 6*(-1 - 14)?
False
Suppose g = 4*g. Suppose -2*q = -2*s - 3*s + 15, -5*s = 25. Let a = g - q. Is 3 a factor of a?
False
Let r = 2000 - 1389. Suppose 66*p + r = 79*p. Does 47 divide p?
True
Let l(p) = -1235*p - 1470. Is l(-7) a multiple of 7?
True
Suppose -1429346 - 1842726 = -92*q - 1171436. Is 129 a factor of q?
True
Is 21 a factor of (-6)/72 - 10/72*-208959?
True
Suppose 0 = -4*d - 622 + 3658. Is 14 a factor of d?
False
Let i(x) = 3*x. Suppose -4*h = 3*h - 56. Let z be i(h). Is ((-42)/z)/(-1)*(4 - 0) even?
False
Let o be ((-4)/(-8) - 0)*1154. Suppose 9*a - o = 215. Is 8 a factor of a?
True
Suppose 58 = 4*w - 2*k, -2*k + 35 = 5*w + 3*k. Let h be w/(-42) + 1119/21. Let u = h - 43. Does 5 divide u?
True
Let s = 91 + -9. Suppose 4*b = s + 1214. Suppose 4*u - b = -3*x + u, -3*x + 4*u = -338. Is x a multiple of 17?
False
Suppose 4*o = 3*v - 147, 3*v + v + 5*o - 227 = 0. Suppose -96 = 4*p - 5*w + 19, -w = -2*p - v. Let d = p + 207. Is d a multiple of 19?
False
Let n = 8 + -37. Let v = n - -32. Is v a multiple of 3?
True
Let a be 2/(-3)*35*-3. Let h = a + -66. Suppose t + y - 76 = 0, -t + h*t + 4*y - 226 = 0. Is 18 a factor of t?
False
Suppose 0 = -13*u + 9*u + 16. Suppose u*j - 1272 = -5*d, 3*d - d = -j + 510. Is 16 a factor of d?
True
Let s = 19636 + -9319. Does 19 divide s?
True
Suppose -24*c + 17049 = -169671. Is 9 a factor of c?
False
Does 6 divide (2864/(-8) + -2)/(1/(-104)*2)?
True
Suppose 8*u = -2*t + 13*u + 42, 0 = 2*u + 8. Suppose -r + 8 = 5*w, 9*r - 5*w = t*r - 16. Does 8 divide r?
True
Let a(x) be the third derivative of x**6/120 - x**5/20 - 5*x**4/24 + x**3/2 - 4*x**2. Let w be a(6). Suppose -3*s = -w + 21. Does 20 divide s?
True
Suppose 104*l - 3422 = 102*l. Is (l/177)/((-1)/(-12)) a multiple of 4?
True
Let m be 10 - (-2 - -6) - 2. Suppose -m*j + 30 = -3*k, j + 5*k = -4*j + 20. Is j a multiple of 6?
True
Let l(q) = -q**3 + 58*q**2 - 311*q + 201. Is 3 a factor of l(51)?
True
Let b be -9 - -4 - 45 - (-4 - 0). Let s = b - -66. Does 11 divide (s/15)/4*348?
False
Let p(n) = -15*n + 28. Let t(z) = 8*z - 14. Let o(r) = -6*p(r) - 11*t(r). Let g be o(6). Is 8/2 + (-64)/g a multiple of 10?
False
Is 14751225/540 - (-1)/(-12) a multiple of 59?
True
Let l be 9/(-2)*4/(-9). Let x(f) = 200*f + 18. Is 38 a factor of x(l)?
True
Let l(h) be the second derivative of h**5/5 - 5*h**4/12 + 3*h**3/2 + 7*h - 1. Is 12 a factor of l(4)?
False
Suppose -5*l = d - 2669, 8*l = d + 5*l - 2629. Let z = d - 1656. Is 52 a factor of z?
True
Let m(o) = -4*o**2 + 6*o**2 - 6 + 19 - 15*o. Let f be m(7). Suppose -f*x + 319 - 79 = 0. Does 20 divide x?
True
Suppose -610 = 5*r + g - 176, -5*g = -4*r - 324. Let w = r - -508. Does 14 divide w?
False
Let m = -28873 + 74828. Is m a multiple of 41?
False
Suppose -13*w + 7172 = 23227. Let b = w - -1735. Does 25 divide b?
True
Let v = -5464 + 8884. Does 60 divide v?
True
Let f = 1350 + 3100. Is 89 a factor of f?
True
Suppose 0 = -4*f - 1251 + 593 + 4866. Is 84 a factor of f?
False
Suppose 3*b - 9339 = -3*a, 4*a = 5*b + 16379 - 3900. Does 69 divide a?
False
Suppose 4*q - 15366 = -m, -588*q - 5*m - 19170 = -593*q. Does 39 divide q?
False
Suppose 0 = -5*o + y - 2*y + 690, -y + 273 = 2*o. Let g = 41 + o. Is 12 a factor of g?
True
Let i = -561 + 817. Suppose 49*v = 45*v + i. Is 16 a factor of v?
True
Suppose 138*w + 142*w - 28*w - 4356072 = 0. Is w a multiple of 43?
True
Suppose 5*m + 45 = -2*l + 4*l, 0 = 5*l + m - 72. Let s(t) = l - 11*t + 14 - 4. Does 34 divide s(-7)?
True
Let g(d) = -2*d. Let v be g(-2). Suppose f + 17 = v*o + 2*f, 0 = -3*o - 4*f + 29. Suppose w - 44 = 5*k, 5*w - k + o = 127. Does 8 divide w?
True
Suppose -44312 = -3*g + 2*f + 64374, -g = 2*f - 36226. Does 94 divide g?
False
Let o = -25 + -8. Let m = 121 + o. Suppose 4*y - 224 = m. Is y a multiple of 13?
True
Suppose 905*x - 472*x = 462*x - 1965475. Is x a multiple of 25?
True
Let h(a) = 190*a**2 + 22*a + 61. Is 11 a factor of h(-3)?
True
Suppose 12*d + 329 - 8429 = 0. Suppose -d = -4*w + w. Is w a multiple of 9?
True
Suppose 35 = 5*j + 10, -25 = -5*a - 3*j. Suppose 8*v - 30 = a*v. Suppose -3*d + 5*x + 54 = 0, v*x = 4*d + 10*x - 72. Does 8 divide d?
False
Is 69 a factor of ((-10)/(-4))/((-2)/4) + 10700?
True
Does 60 divide 1 + 55067/(-53)*(-2)/2?
False
Is 16 a factor of -9 - (-546 + 4)*(-42)/(-12)?
True
Suppose 443457 = 70*y + 64897. Is y a multiple of 104?
True
Suppose -22144 - 377136 = -46*o. Is 56 a factor of o?
True
Let q(i) = i**2 - 9*i - 31. Let j be q(12). Is ((-22)/j)/(((-4)/1)/20) a multiple of 22?
True
Suppose 3*j = 5*v - 10709, v + 4*j = 2323 - 195. Let q = v + -863. Suppose 6*n - q = -107. Does 13 divide n?
True
Let g(h) be the first derivative of -866*h**3/3 + h**2/2 + 3*h - 11. Let c be g(2). Is 19 a factor of 0 + c/(-18) - (-3)/(-18)?
False
Suppose -g + 2*g + 5 = 0, 3*i - g = 602. Does 2 divide i?
False
Let d be (-6)/(-2) - (-3 - 5/(-1)). Is (-504)/140*(-6 - (d - 2)) even?
True
Let c = 774 + -248. Suppose 1626 = 3*f + 3*z, f = z - 6*z + c. Does 42 divide f?
True
Let n(s) = -146*s - 4. Let q be n(-4). Let p = 612 + -606. Suppose 0 = -p*r + 2*r + q. Is r a multiple of 29?
True
Suppose 5*i - 370*d + 365*d - 7735 = 0, 8 = -4*d. Is i a multiple of 103?
True
Suppose 0 = -4*v - 2*z, -4 = 3*v + v + z. Let x(y) = -2*y**2 + 113*y - 54. Let d be x(56). Is v*d + (-350)/(-5) a multiple of 22?
True
Suppose -85*l + 1201225 + 1959471 = 69*l. Does 64 divide l?
False
Suppose h = 5*j + 144, h - 2*j - 2*j - 144 = 0. Let q = -81 - h. Is (q - (3 + -1))*(-2)/2 a multiple of 26?
False
Let j = 23896 + -12940. Is 6 a factor of j?
True
Suppose -w + 44 = 10*w. Suppose -4*y = w*d - 32, -2*d - 7 = -y + 7. Suppose -y*l = -14*l + 92. Does 8 divide l?
False
Let o = -954 - -2322. Is 4 a factor of o/(-95)*(-10)/3?
True
Let n(s) = 66*s + 63. Suppose 5*p = -5, -3*p = 5*l - 34 - 18. Is 12 a factor of n(l)?
False
Suppose -7*d + 51 = 23. Let v(t) = 10*t**2 + 9*t - 1. Let q(c) = -c**2 - 1. Let g(o) = 3*q(o) + v(o). Is 17 a factor of g(d)?
False
Let y(g) = 58*g**2 - 462*g - 12. Let a be y(8). Let d(c) be the first derivative of 28*c**2 - 27*c - 1. Does 11 divide d(a)?
False
Let m(n) = n**2 - 5*n + 18. Let o be m(-21). Suppose -5*y - 10*v = -13*v - o, 3*v - 576 = -5*y. Is 50 a factor of y?
False
Does 66 divide (-120003)/(-12) - (-3 + (-52)/(-16))?
False
Let x(i) = -5*i**2 - 30*i - 17. Let p(c) = 3*c**2 + 20*c + 11. Let d(m) = 8*p(m) + 5*x(m). Let n be d(7). Suppose -2*w + n = 3*o - 7*o, 51 = 5*w - o. Is w even?
True
Suppose -a + 21982 = -2*t, -28239 = -3*a + 5*t + 37704. Is a a multiple of 38?
False
Let n be (-1)/((-38)/(-285) - (-121)/(-885)). Let r = n - -283. Is r a multiple of 12?
False
Suppose 5*d = 3*o - 12322, -5*o + 20516 = -34*d + 36*d. Does 42 divide o?
False
Let u(y) = 1426*y - 20. Let i be u(4). Suppose -3*q = 11*q - i. Does 43 divide q?
False
Let b = -69 - -57. Let m be 8/3*(-9)/b. Suppose -3*v - 372 = -5*x - 4*v, 2*x - 144 = -m*v. Does 25 divide x?
True
Suppose 15 = 3*g, g + 58 = -k - 2*k. Let h = k - -81. Is 4 a factor of h?
True
Suppose -2*a = 3*h - 2 - 2, 2*h + 2 = a. Let r be 30*(h - 10/25). Is 1 + 10/r + 1244/24 a multiple of 13?
True
Suppose -4583 + 19679 = 17*k. Is k a multiple of 4?
True
Let q = 13875 + 73. Is 44 a factor of q?
True
Let r(z) = 20*z**2 + 41*z - 884. Is 38 a factor of r(14)?
True
Let s be (-1632)/(-39) + 16/104. Let k be (64/24)/((-4)/18). Let w = s + k. Is w a multiple of 3?
True
Let t be (