+ 415. Does 17 divide i?
True
Suppose 3*s = -4*x + 9, 3*s + s = -5*x + 12. Is -3 + s*(15 + 0) a multiple of 18?
False
Let n(z) = z**2 - 9*z + 8. Let c be n(8). Suppose 24*x - 27*x + 543 = c. Is 44 a factor of x?
False
Let q(d) = -2*d + 14. Let y(t) = t**3 - 14*t**2 - 14*t - 9. Let l be y(15). Let u be q(l). Suppose -58 = -g + 3*h, u*h + 0*h - 174 = -3*g. Is 20 a factor of g?
False
Let j = -810 - -949. Is j a multiple of 15?
False
Let b = 31 - 43. Is 46/(-3)*18/b a multiple of 15?
False
Let i be (-8)/10 - 832/(-40). Suppose -6 = -0*f - 2*f, -2*u + 2*f + i = 0. Is u a multiple of 4?
False
Suppose -15*n - 22 = -17*n. Suppose 53 = 2*w - n. Is 4 a factor of w?
True
Let f(q) = -34*q**3 + 5*q + 4. Does 11 divide f(-1)?
True
Suppose -2*z - 657 + 2953 = o, 0 = 3*z + 3*o - 3438. Is 25 a factor of z?
True
Let i be (-1 + 1)*(1 + -2). Suppose 0 = 3*n + 17 - 26. Suppose -n*b + 48 = -i*b. Is b a multiple of 4?
True
Suppose -209*u - 123 = -210*u. Is 5 a factor of u?
False
Suppose -3*n - 5 = -5*c + 2*n, -21 = 3*c + 5*n. Does 32 divide 4/(-20) + ((-1305)/(-25) - c)?
False
Suppose 3*p + 37 = q, -22 = -q + 4*p - 6*p. Let g = q - -5. Is g a multiple of 11?
True
Let y be (5/20)/((-1)/(-8)). Suppose 0*q = -q - 3*g + 12, y*q + 2*g = 24. Let u = 46 - q. Is 7 a factor of u?
False
Let q(c) = -c**3 + 9*c**2 + 10*c + 16. Let w be q(10). Suppose 84 = 2*h + w. Is h a multiple of 17?
True
Suppose -b + 13 = f, -f + 0*f + 13 = -4*b. Suppose 2*q - 3*q + 2 = 0, 0 = -l - 5*q + f. Does 10 divide 1 - ((-27 - l) + 1)?
True
Let h(z) = -z**3 - z**2 - z. Let f be h(-1). Let r be 6 - ((5 - f) + -4). Suppose -r*b + 50 = -4*b. Is 8 a factor of b?
False
Let t(d) = d**3 + 12*d**2 - 2*d - 5. Let h be t(-5). Suppose j + 0*j - h = 4*i, i + 551 = 3*j. Does 16 divide j?
False
Suppose -3*t = -7*t + 456. Let p = -14 + t. Does 29 divide p?
False
Let c be 3/(-6)*(3 + 9/(-3)). Suppose i - 50 = -c*i. Does 10 divide i?
True
Let m(x) = x**2 + 3*x + 6. Let h be m(-2). Suppose -4*t - 5*q + 130 = t, 0 = 5*t - h*q - 130. Is t a multiple of 4?
False
Does 9 divide (-14410)/(-80) - 1/8?
True
Suppose 3*u + 80 = -40. Let k be -3*(u/(-12))/5. Is (-16 - 3 - -1)/k even?
False
Suppose -3*s = -4*s + 16. Suppose 140 = s*k - 12*k. Does 16 divide k?
False
Let i(l) be the first derivative of -2*l**3/3 - l**2 + 48*l - 1. Suppose -3*n = 4*d - 3 + 12, -n = -d + 3. Is 16 a factor of i(d)?
True
Suppose -60*t + 58*t - 4*j + 4398 = 0, -2*t = 2*j - 4402. Is t a multiple of 38?
False
Let h(v) = -v**3 - 23*v**2 - 22*v + 72. Does 24 divide h(-22)?
True
Suppose -5*i + 895 = 3*r - 955, -4*i + 1480 = -r. Is i a multiple of 5?
True
Let c(u) = -u - 109. Let i be c(0). Suppose -173 = 6*q + 175. Let h = q - i. Is 15 a factor of h?
False
Let m = -806 + 1202. Is 10 a factor of m/14 + 12/(-42)*1?
False
Let s(v) = v**2 - 6*v - 10. Is s(22) a multiple of 37?
False
Let f(w) be the second derivative of -w**5/20 - 5*w**4/6 - 5*w**3/3 - 2*w**2 - 2*w. Is f(-9) a multiple of 2?
False
Let c = 289 - 259. Is 4 a factor of c?
False
Let z = 186 - 124. Does 2 divide z?
True
Let j(i) = i**3 - i**2 - i + 3. Let k be j(0). Let b be (-8 - (2 - 4)) + k. Is 11 a factor of 55 + (-4 - -3)*b?
False
Let c = -8 + 20. Let a(j) = -j**3 + 12*j**2 + 5*j + 7. Is 12 a factor of a(c)?
False
Suppose 5*a + 1375 = 5*t, -156 - 104 = -t + 4*a. Is t a multiple of 20?
True
Let b(u) = 10*u - 15. Let o(t) = 7*t - 13. Let y(j) = 2*b(j) - 3*o(j). Let f(r) = -3*r + 10. Let m be f(7). Is 4 a factor of y(m)?
True
Suppose -r - 1289 = -2*c, c - 7*r = -2*r + 649. Is c a multiple of 7?
True
Suppose -6*a - 134 = -s - 11*a, 2*s - 244 = 2*a. Does 31 divide s?
True
Suppose -702 = -7*m + 2357. Is m a multiple of 43?
False
Is 3 + 695 + -6 - -4 a multiple of 29?
True
Let x be 2/2*(-2*14 - 4). Let d = 214 - x. Does 43 divide d?
False
Let m be 44/(-4) - (1*-4)/(-1). Is ((-132)/10)/(1/m) a multiple of 33?
True
Let a(r) = 375*r**2 - r. Let t be a(-1). Suppose -2*d - 2*d - t = 0. Let u = -50 - d. Is 22 a factor of u?
True
Let q(c) = -17*c - 37. Let t be q(12). Let f = t - -349. Is 11 a factor of f?
False
Let y be 185*8*(-3)/(-30). Let s be (y/12)/(1/(-6)). Let p = s + 146. Is 18 a factor of p?
True
Let i(a) = 9*a - 5. Let x be i(3). Suppose -4*p - 80 = -3*u, -u + x = p - 0*p. Is 12 a factor of u?
True
Suppose -130*h - 5032 = -134*h. Does 74 divide h?
True
Let x(z) = 11*z**2 - 47*z + 36. Let t be (-39)/15 + 16/(-40). Let j(c) = 4*c**2 - 16*c + 12. Let d(o) = t*x(o) + 8*j(o). Is d(10) a multiple of 11?
False
Let p = -114 + 237. Let n = p - 65. Suppose 3*g - n - 2 = 0. Is 13 a factor of g?
False
Suppose -33*s + 19350 = -20316. Is 8 a factor of s?
False
Suppose 0 = a - 5*s - 18, a - 7 = 2*s + 2. Suppose 5*q - i - i - 65 = 0, -4*q + 29 = a*i. Is 2 a factor of q?
False
Let g be ((-4)/3)/(18/(-189)). Suppose -3 = 13*z - g*z. Suppose -u = -3*s - 20, -8*u + z*u + 3*s = -88. Is 12 a factor of u?
False
Suppose 2*t = -2*p + 3*t + 2, -5*t = -3*p + 10. Suppose 2*o + o - 15 = p. Suppose 0 = n - 1, -4*s - o*n + 29 + 124 = 0. Does 14 divide s?
False
Let v(d) = 3*d - 13. Suppose 4*l - 30 = 26. Let k be v(l). Suppose 21 = 5*q - k. Is q a multiple of 3?
False
Suppose 4*i = 8 + 4. Let q(g) = g**2 + 3. Is 3 a factor of q(i)?
True
Suppose -2*q + 3*a + 1313 = 0, 4*q + 2*a - 1176 = 1410. Is 11 a factor of q?
True
Suppose 4*m = 4*s - 24, -36 = -3*s - 5*m + 6. Let h(d) be the second derivative of -d**5/20 + 2*d**4/3 + 11*d**3/6 + 3*d**2 + 2*d. Does 24 divide h(s)?
True
Suppose -4*v + 45 = v. Let h = v + 4. Does 5 divide h?
False
Suppose -12*f = -5*f - 126. Is (-4490)/(-14) - 0 - f/(-63) a multiple of 15?
False
Let h = 1083 - 729. Does 8 divide h?
False
Let j = 346 + -138. Does 50 divide j?
False
Is ((-455)/21)/(3/(-108)) a multiple of 15?
True
Let r(w) = 7*w**2 + 22*w + 3. Let d(t) = 11*t**2 + 33*t + 4. Let p(o) = -5*d(o) + 8*r(o). Let x be (-407)/33 - 1/(-3). Does 8 divide p(x)?
True
Let b be (298/(-6))/((-22)/198). Let g = -635 + b. Let l = -89 - g. Is l a multiple of 33?
True
Let a = 2080 + -1142. Is 44 a factor of a?
False
Let l = -46 - -54. Suppose 3*a + 5*p = 326 + l, 4*p + 495 = 5*a. Does 28 divide a?
False
Let t = 76 + -73. Suppose 3 = -4*s - 1. Does 4 divide (-1 + t)/s - -16?
False
Let j = 1170 + 182. Is j a multiple of 52?
True
Suppose 0 = 3*c + 65*u - 61*u - 3310, 0 = 3*c - 2*u - 3322. Is c a multiple of 7?
True
Suppose 3*v = 2*a + 21, -4*v - a + 14 = a. Suppose v*x = -8 + 3. Let h = 6 + x. Does 4 divide h?
False
Is 19 a factor of 5 - 3 - (-38 + -5470)?
True
Let g = 392 - 557. Is 3 a factor of 1/(2 - 0 - (-327)/g)?
False
Let j be (0 - -143)*(2 + 1). Suppose -3*i - 4*c = -651, 3*i - i + c - j = 0. Is i a multiple of 38?
False
Let p(s) = s**3 + 8*s**2 + 4*s + 3. Let w be p(-5). Let c be (w/6)/(9/54). Suppose 6*x - c = 4*x. Is x a multiple of 14?
False
Let m(j) = -19*j + 11. Let a = 18 - 25. Does 9 divide m(a)?
True
Suppose -5*d + 4*q = -1065, -3*d - 4*q = q - 639. Let f = d + -91. Suppose 2*j - 48 - f = 0. Does 17 divide j?
True
Suppose 0 = -5*v - 5*f + 1020, 4*v + 0*f = 2*f + 792. Suppose -466 = -9*m + v. Is 32 a factor of m?
False
Suppose -25 = -0*k - 5*k. Suppose 0 = 4*t + 2*l - 426, k*t - 5*l - 405 = 90. Is t a multiple of 21?
False
Let s = -56 + 112. Let r = 92 - s. Is 12 a factor of r?
True
Suppose -5*p + 90 = -0*p. Suppose 0 = -4*o - 14 + p. Does 5 divide (57 + o)*(-1)/(-2)?
False
Suppose -8*k = -820 - 140. Suppose -38 = -o - 2*a, -o = 2*o + 4*a - k. Is 11 a factor of o?
True
Suppose 2*w + 4*w - 12 = 0. Is (-1)/(w/144*-2) a multiple of 12?
True
Suppose 0 = 2*t - t - 15. Suppose -2*x = 2*x + 2*x. Suppose -c + x*y = y - t, 4*c - 64 = -5*y. Does 3 divide c?
False
Suppose 3*f + 142 = -2*a, -2*f - 93 = -0*a + a. Let x = f + 88. Is (-8)/x + 1236/22 a multiple of 15?
False
Let w(p) = 56 - 11*p + 63 - 123. Suppose -x + 5*y - 24 = x, -2*y = -8. Does 4 divide w(x)?
False
Let z(w) = -w**3 - 7*w**2 + 5*w - 19. Let x be z(-8). Suppose -x*y - 6 = -16. Is y even?
True
Let s = -86 + -39. Let o = -16 - s. Does 33 divide o?
False
Is ((-6)/(-8))/((-21)/(-11928)) a multiple of 3?
True
Let k(r) = -r**2 - 2*r. Let s be k(-4). Let i be (-44)/s*1*14. Suppose 0 = -6*q + 3*q + 3*l + 63, 4*q + 3*l - i = 0. Is q a multiple of 10?
True
Suppose 450 = 2*p - 698. Is p a multiple of 21?
False
Let n be (-253)/(-22) + 1/(-2). Let y = n - 9. S