 Is 12 a factor of x?
False
Let d(i) = -i**3 + i**2 - 2*i - 4. Let m be d(-2). Let u = 19 - m. Is 7 a factor of u?
True
Let w = -12 + 17. Let n(c) = c**2 - c + 9. Let y be n(w). Suppose -2*g - 4 + 42 = 3*b, -5*g = 2*b - y. Is 4 a factor of b?
True
Suppose 4*p + 39 = 2*u - 5, -92 = -5*u + 4*p. Let v = 69 - u. Is 17 a factor of v?
False
Let r(q) = -30*q - 69. Is r(-6) a multiple of 19?
False
Suppose -u + 84 = -q, 21*u + 248 = 24*u - 2*q. Is 15 a factor of u?
False
Let i = -12 + 16. Let v = -4 + i. Let p = v - -8. Does 4 divide p?
True
Suppose -2*a + y - 45 = -5*a, -2*a + 3*y = -19. Let t(m) = m**3 - 13*m**2 - 12*m - 13. Does 3 divide t(a)?
True
Suppose 5160 = 76*k - 68*k. Is k a multiple of 31?
False
Let x be 0/3*2/(-8). Let m be (-2 - -2)/(4/(-2)). Suppose m = -2*i - x*i + 136. Is 17 a factor of i?
True
Let f(z) = 2*z**2 - 16*z - 113. Is f(-6) a multiple of 11?
True
Suppose -2695 = -8*a - 359. Is a a multiple of 39?
False
Suppose 4*z = z. Suppose -4*u - 13 = f, -3*f = -z*f + u - 5. Is 6 a factor of 3 + f/(-1) + 22?
False
Let m be 40/(-100) + 4/10. Is (-5 + m)*(-9 + 1) a multiple of 5?
True
Let k(z) = 5*z + 4. Let p(a) = a**2 - a + 1. Let y(d) = k(d) - p(d). Let x be y(6). Suppose 4*q + x*n = -0*n + 45, -3*n = q - 18. Is 9 a factor of q?
True
Suppose -12*b + 8*b + 488 = 0. Is 13 a factor of b?
False
Let d = 97 - 89. Is d a multiple of 3?
False
Let t = -142 - -232. Does 5 divide t?
True
Let y(c) = 4*c + 45 - 44 - c**3 - 5*c + c**2. Let i(m) = 3*m**3 - 4*m**2 + 3*m - 5. Let d(n) = -i(n) - 5*y(n). Is d(3) a multiple of 17?
True
Suppose 3 + 12 = -3*y - 3*j, -5*y - 4*j = 27. Let u = 9 + y. Suppose -u*d = -9 - 5. Is 7 a factor of d?
True
Suppose -2*x = -0*u + u - 195, 2*u - 5*x - 390 = 0. Suppose 4*p = p + u. Is 15 a factor of p?
False
Let q(d) = -d**3 - 12*d**2 + 2*d + 15. Let g be q(-12). Is g/(-36) - (-51)/4 a multiple of 8?
False
Suppose 5*r = -25, -7*q + 12*q = 2*r + 3335. Is q a multiple of 19?
True
Suppose 0 = -0*a - a + 3. Suppose -a*i - z = -45, -45 = -3*i + 3*z - 7*z. Is 3 a factor of i?
True
Let n be ((-2)/(-4))/1*(-260 - 0). Let i = n - -238. Is i a multiple of 12?
True
Let v be (12/9)/(12/27). Suppose 3*i - 153 = -v*c + 240, -3*c + 663 = 5*i. Is i a multiple of 27?
True
Suppose m - y = -126, 5*m - m - y = -513. Let l = 217 + m. Suppose -2*d + 0*d + l = 0. Is 22 a factor of d?
True
Suppose 4*n - 6 = 6. Let t be (-1)/n - 102/18. Let a = 15 - t. Is 7 a factor of a?
True
Let i = -386 + 826. Does 22 divide i?
True
Let y be (-1)/8 - (-699)/24. Suppose -6*g = y - 113. Is g a multiple of 3?
False
Suppose -4*t - 2*v = -4*v + 4, 0 = -4*t - 4*v + 8. Suppose t = -3*x + 4*x - 80. Is 16 a factor of x?
True
Suppose -5*p + 5*f = -1630, -3*p + 2*p = -3*f - 334. Let q = -166 + p. Is q a multiple of 26?
True
Let l = -10 - -1156. Is l a multiple of 56?
False
Let h be (-71 - (-6 + 2)) + -4. Let r = 241 - 61. Let c = h + r. Is c a multiple of 19?
False
Let j(u) = -u**2 + 8. Let p be j(-4). Let m = p + 71. Does 15 divide m?
False
Let t be (-2 + 3)*(7 + -4). Suppose 37 = t*v + 5*r + 2, -4*v + 5*r = 0. Suppose -5*j - v*n = -140, j + 140 = 6*j - 2*n. Is j a multiple of 14?
True
Suppose -5*m + 3156 + 5139 = 0. Does 21 divide m?
True
Let i = -273 + 473. Is 20 a factor of i?
True
Suppose -6*n + 37 - 13 = 0. Suppose -3 = -5*o - t - 7, 0 = t + n. Suppose o*j + 2*j - 24 = 0. Is 4 a factor of j?
True
Let h be (8/(-10))/((-6)/45). Let y(x) = -20*x - 87. Let k be y(-5). Let r = k - h. Is r a multiple of 5?
False
Suppose -3*u + 5*j + 1637 = 0, 3*j - 559 = -u + 8*j. Is 17 a factor of u?
False
Let c(m) = 2*m**2 + 17*m + 270. Does 10 divide c(-20)?
True
Suppose 163 = 4*p - 93. Is p a multiple of 4?
True
Let b = 18 - 11. Suppose 5*m = -5*p + b*p + 235, -4*m + 188 = -2*p. Is 27 a factor of m?
False
Let w be -13 + -1 + (-2)/(-2). Let m = 10 + w. Is 2 a factor of (m + 3 - -4) + 6?
True
Let t be 1/(-2) - (-70)/(-4). Let b = t - -42. Suppose -4*z + b = -24. Is 3 a factor of z?
True
Suppose -w = -3*k - 107, -5*k + 34 - 179 = 5*w. Let l = k + 37. Is l a multiple of 3?
True
Let v = -1482 + 2757. Suppose 1184 = 4*o + 4*x, -2*x + 199 + v = 5*o. Is 42 a factor of o?
True
Suppose 8 + 7 = 3*q + 3*f, -24 = -4*q - 2*f. Suppose 5*h + q = 482. Does 12 divide h?
False
Let z = 47 + -51. Let o(v) = -v**3 - 5*v**2 - 7*v - 2. Is o(z) a multiple of 2?
True
Let z(n) = -3621*n - 1. Is z(-1) a multiple of 20?
True
Let q be 18 - (0/2 + 3). Let z(j) = j + 8. Let m be z(-5). Is 146/m - (-5)/q a multiple of 17?
False
Suppose 1572 - 549 = 11*w. Is 27 a factor of w?
False
Does 20 divide 2/15 - 9/(540/(-28792))?
True
Let s = -600 + 906. Is s a multiple of 7?
False
Let a(h) = -3*h**2 + 29*h - 46. Let n be a(7). Suppose 5*d - 4*f = 170, 3*d - f - 119 = -2*f. Suppose -d + n = -z. Is z a multiple of 7?
True
Suppose 1475 = 5*o + 290. Is 26 a factor of o?
False
Suppose -5*k + 8*r - 7*r = -326, 0 = k - r - 62. Is 6 a factor of k?
True
Let g(c) be the second derivative of 23*c**6/720 - c**5/30 - 5*c**4/12 - 5*c. Let u(o) be the third derivative of g(o). Is u(2) a multiple of 21?
True
Suppose -3*a + 17 = -3*y - 4*a, -5 = a. Suppose 19 = 2*d + 5*o, 6 = -d - 2*d + 4*o. Let r = d - y. Does 3 divide r?
True
Is 10 a factor of -3 - ((-2)/2*-1 - 418)?
False
Let d be ((-9)/6)/(6/(-48)). Let t be ((-4)/(-6))/((-4)/d). Is (-5)/t*210/25 a multiple of 3?
True
Let f(y) = 5*y**2 + 2*y - 14. Is 16 a factor of f(5)?
False
Let k be -3*4/(-30) + 438/5. Suppose 3*j - 4*b - 2 = 0, -4*j = 5*b - 6 - 7. Suppose -3*c + j = -k. Is c a multiple of 10?
True
Suppose 2*f + 153 = 61. Let z = f - -79. Suppose 0 = -8*u + 3*u + r + z, 5*r = u - 21. Is u a multiple of 5?
False
Let h be (-2544)/(-60)*(-5)/(-2). Suppose -20 - h = -3*j. Is j a multiple of 14?
True
Let r = 541 + -458. Is r a multiple of 6?
False
Let z(h) = h**3 + 9*h**2 - 9*h + 15. Is 44 a factor of z(-7)?
True
Let i(f) = -96*f**3 + 5*f**2 + 11*f + 2. Is 16 a factor of i(-2)?
True
Does 10 divide (6/(-18))/(6 - (-127448)/(-21240))?
False
Let k be (6/(-18))/((-2)/12). Suppose 8*d - 3*d + 3*m = 285, -3*d = k*m - 171. Is d a multiple of 19?
True
Let m = -181 - -557. Does 8 divide m?
True
Let n(w) = -410*w - 11. Is 19 a factor of n(-1)?
True
Let w be (1 - (1 + 0)) + 2. Suppose -y = 3*y + 2*u - 92, w*u + 55 = 3*y. Does 8 divide 110/7 + 6/y?
True
Let k(t) = -t**2 + 16*t + 100. Does 8 divide k(15)?
False
Let s(w) = w**3 + 11*w**2 - 13*w + 42. Let k be ((-12)/30)/(4/120). Is s(k) a multiple of 9?
True
Suppose 3*c - 4*h = 0, 0 = -6*c + 5*c + 4*h + 8. Suppose 2*s = 17 - 5. Does 17 divide c/(-12) - (-202)/s?
True
Let r = 14 + -17. Let n(h) = -10*h**2 - h + 1. Let z be n(r). Let k = 134 + z. Is k a multiple of 16?
True
Is 3 a factor of (-21)/((-1155)/(-10)) - 1984/(-22)?
True
Suppose 9 = 4*o - 3*o. Let t = 16 - o. Suppose -6*x + t*x = 47. Does 19 divide x?
False
Let c(q) = 119*q - 11. Does 8 divide c(1)?
False
Let a be (0 - 2)*(-1464)/4. Suppose -5*j = -9*j + a. Does 29 divide j?
False
Suppose r + 4 = -3. Let y(q) = -q + 5. Does 4 divide y(r)?
True
Suppose 5*r + 4*l = 345, -6*l + 4*l = -5*r + 315. Is 24 a factor of r?
False
Suppose 4*o = 20*o - 16512. Does 6 divide o?
True
Let o = 13 - 25. Let i = 48 + o. Does 12 divide i?
True
Is ((-1356)/10)/((-10)/25) - 1 a multiple of 21?
False
Suppose 3*p + 5*a - 5 + 42 = 0, 5*a = -25. Let j be 0/(2 - p/(-1)). Suppose -5*l = -j*l - 175. Is l a multiple of 11?
False
Let a = 137 - 81. Is 6 a factor of a?
False
Does 15 divide 1*(1 + -2) + (-4 - -203)?
False
Let b be (264/9)/(1/3). Let z = 10 + b. Is 12 a factor of z?
False
Is (0 + 143)*(7 + 0 - 4) a multiple of 33?
True
Let c(d) = 27*d**2 - 10*d - 59*d**2 + 42 + 34*d**2. Is c(6) a multiple of 16?
False
Let c(q) = 3*q**2 - 2. Let u(b) = 3*b**2 - b - 1. Let y(h) = 4*c(h) - 6*u(h). Let p be y(2). Does 3 divide (-26)/(-3) + p/21?
False
Suppose 418 = 4*m + 3*n, -3*n - 434 = -4*m + 2*n. Is m even?
True
Let n = -19 + 22. Suppose 0 = -3*f - 9, -4*z + n*f + 10 + 15 = 0. Is 4 a factor of (-1)/z - 150/(-24)?
False
Suppose 0 = -4*m + 22 + 850. Is 18 a factor of m?
False
Suppose 5*d + 35*x = 30*x + 4015, 9 = -3*x. Is d a multiple of 31?
True
Let x(m) = m**3 + 9*m**2 + 12*m + 2. Let w be x(-7). Suppose -3*u = -b - w, -u - b = 3*b - 27. Is u a multiple of 4?
False
Let m = -14 + 19. Suppose r - 65 = -m*g, 2*g + 2*r - 26 = 6*r. 