v) = v**3 + 6*v**2 - 2*v + 1. Let c be a(j). Let s = c + -3. Is s a multiple of 10?
True
Let j(f) = -f**2 + 14*f + 13. Let m be j(15). Is 20 a factor of m/(-7) + 1254/21?
True
Let h be (-1 + -1)/(12/(-3606)). Suppose -4*g - z = -h, -g + 3*z - z + 157 = 0. Suppose -g = -2*a + 1. Is a a multiple of 19?
True
Let a = -165 - -224. Suppose 77 = 5*t - 68. Let p = a - t. Is p a multiple of 8?
False
Suppose l + 36 = 5*u, 4*l = -2*u - 0*u + 10. Suppose -141 = -2*z - u. Let t = z + -18. Does 15 divide t?
False
Suppose -19*g - 1200 = -59*g. Suppose -4*t + 5*m - 8 + 33 = 0, -3*m + 22 = 5*t. Suppose -5*s = -t*i + g, 2*i - 11 = 2*s + s. Does 2 divide i?
False
Suppose 2*t + 11 = 3. Let d(f) = f**2 + 3*f - 5. Let n be d(t). Is (-30)/(14/(-8) - n) a multiple of 10?
True
Let s(x) = x - 6. Let k be s(4). Let n(q) = 11*q**2 + q + 6. Does 12 divide n(k)?
True
Let p(o) = o**3 - 3*o**2 - 5*o - 10. Let t be p(5). Let i = t - -51. Is 14 a factor of i?
False
Let y = -11 + 13. Let j be -10*(6 - 4)/y. Let k(m) = m**2 + 6*m - 13. Is k(j) a multiple of 18?
False
Is 1 + 4/(-7) + 197008/392 a multiple of 34?
False
Suppose u + 3 = 5. Suppose -u*b + 3*b - 7 = 0. Suppose b*z - 456 = 3*z. Is z a multiple of 25?
False
Let n(x) be the second derivative of x**4/6 + 2*x**3/3 - 3*x**2/2 + 4*x. Let s be n(2). Let b = 21 - s. Does 4 divide b?
True
Suppose 193 + 353 = 2*a. Does 68 divide a?
False
Suppose 13*v - 17331 = 21357. Is 16 a factor of v?
True
Let w be -1 - (-1)/4 - (-1577)/76. Let i(a) = -a**2 + 20*a + 21. Is 7 a factor of i(w)?
True
Suppose 127 = -w + 5*b, 2*w + 579 = -3*w - 3*b. Let c = -25 - w. Is 51 a factor of c?
False
Let h = -170 + 339. Does 46 divide h?
False
Let z be 0 - -5 - (8 + -6). Let x be z - (2 + 8 - 3). Is -4*x/8*4 a multiple of 8?
True
Let j(o) = -4*o - 2. Let b be j(-2). Let m be 27/6*4/b. Suppose -5*k + 114 = m*u, -2*u + k = -33 - 43. Is 29 a factor of u?
False
Let l be 8 - (1 + 6 - 5). Suppose 2*r - 43 = 5*s, 2*r = l*r + s - 31. Is r a multiple of 9?
True
Let u(c) = 2*c**3 - 4*c - 1. Suppose 10*n = 6*n + 12. Let o be u(n). Let k = o - 13. Is k a multiple of 14?
True
Let v be (-2)/((-3)/135*-6). Let a = v + 32. Let f = a + -4. Does 2 divide f?
False
Suppose 139 = 4*d + 15. Is d a multiple of 12?
False
Let x(r) = 2*r**2 + 12*r - 12. Let c be x(-7). Suppose -c*j + 17 = -7. Does 3 divide j?
True
Let z be (44 - 1)/(3/12). Suppose -8*s + z - 68 = 0. Does 13 divide s?
True
Let x(v) = -v**2 + 26*v - 15. Let s be x(26). Is (-39)/((-1 + 6)/s) a multiple of 13?
True
Let q(h) = 2*h**2 + 5*h - 3. Let z be q(-4). Let y = -2 + z. Suppose -3*v = 3*r - y*v - 235, -4*v + 8 = 0. Does 27 divide r?
True
Let h = 17 - 13. Suppose -3*j + 2 = -h*j. Let i = j + 17. Is 3 a factor of i?
True
Suppose -38 = -2*i + 3*u + 37, 87 = 3*i + 4*u. Is 5 a factor of 1 + (-4 - -2) + i?
False
Let m(q) = -9*q + 60. Does 10 divide m(-20)?
True
Let c = 1065 + -154. Does 15 divide c?
False
Is -1 - -7 - (-94 + -284) a multiple of 22?
False
Suppose 2*h = 2*s + 128, 406 = 6*h - 3*s + 37. Is h a multiple of 59?
True
Let l(v) = v**3 - 3*v**2 + 2*v**2 + 0*v**2 + 184 - 2*v. Is l(0) a multiple of 46?
True
Suppose -17*s + 64*s - 4230 = 0. Is s a multiple of 5?
True
Is 14 a factor of (1*-1 - 0)*(-6 + -243)?
False
Suppose -4*c + 0*c + 3*y = -395, 3*y = c - 110. Let b = c - 54. Suppose -5*u - 5*i + 170 = 0, -b = -3*u - 5*i + 57. Does 12 divide u?
True
Suppose -14*j = -9*j - 75. Does 31 divide (-620)/25*j/(-6)?
True
Let r(i) = 13*i**2 + 37*i - 22. Does 33 divide r(-10)?
False
Let d(n) = n**2 - 11*n + 7. Let t be d(11). Let f(x) = 2 - x + 1 - t + 2*x. Does 8 divide f(12)?
True
Suppose 4*u + 5*x - 4*x - 2195 = 0, -3*u - 5*x = -1625. Is 15 a factor of u?
False
Let b = 54 - 42. Suppose 9*p + 168 = b*p. Is p a multiple of 7?
True
Suppose 4*o = 5*h - 6702, 3*h - 4*h - 5*o + 1352 = 0. Is 22 a factor of h?
True
Suppose -i = -u - 404, 6*i - 1591 = 2*i - u. Is i a multiple of 19?
True
Is 297*(-20)/130*-13 a multiple of 6?
True
Let f(q) = 434*q + 35. Does 9 divide f(1)?
False
Is 62 a factor of (2/(-6)*-1)/(15/19170)?
False
Suppose 2*f - 6 = -f. Let s(i) = i**2 + 14*i + 12. Let t(w) = -w**2 - 1. Let q(z) = f*t(z) + s(z). Is q(12) a multiple of 16?
False
Let r(y) = y**3 + 5*y**2 + 4*y + 7. Let f(g) = -g**3 - 5*g**2 + 2*g + 8. Let o be f(-5). Does 3 divide r(o)?
False
Let i = 819 - 476. Does 36 divide i?
False
Suppose -2*q = 4*j - 10, 0*q - 2*q - 17 = -5*j. Suppose 101 = -j*m + 389. Is m a multiple of 12?
True
Let q = 365 + -85. Is 25 a factor of q?
False
Let k(a) = -a**3 - a - 1. Let h(j) = 4*j**3 + 6*j**2 + 6*j + 5. Let g(q) = h(q) + 5*k(q). Let f be g(6). Is f/4*(-1564)/(-51) a multiple of 19?
False
Let q = 330 + 87. Does 26 divide q?
False
Let o = 13 + 85. Is o a multiple of 7?
True
Is 20 a factor of 1116/8 + (-4)/(-8)?
True
Let t = -35 + 79. Suppose 4*l + 5*g - t = 0, 0 = -4*l - 0*l - 3*g + 52. Does 8 divide l?
True
Let a = 11 + -12. Let o be (-30 - (-5 - -3))/a. Suppose -u + o = u. Does 9 divide u?
False
Let y(h) = -4*h**2 + 12*h - 14. Let b be y(7). Is 12 a factor of -54*(2 - -1)/(b/112)?
True
Suppose 170 = -3*o + 3*d + d, 5*o + 260 = -5*d. Let p = 89 + o. Does 18 divide p?
False
Let s(p) = -68*p + 7. Let h be s(-4). Let z = h - 192. Does 4 divide z?
False
Let s = 24 - -27. Suppose -o - s = -3*m + 4*o, 3*m + o = 51. Does 10 divide m?
False
Suppose -16 = k - 2*k - 4*b, -64 = -4*k - b. Suppose -t = 3*w - 5, -3*w = -5*w + 2*t + 6. Let l = w + k. Is 8 a factor of l?
False
Suppose 16*v - 11*v = -25. Let b be ((-95)/v - 3)/2. Suppose 0 = 2*x - 4*l - b, -5*x + 16 + 28 = -4*l. Is x a multiple of 4?
True
Suppose -2*g = -2*n - 3*n + 4, -2*n = -5*g + 11. Suppose -v + 5*t + 194 = 3*v, 2*v = n*t + 96. Is 11 a factor of v?
False
Let k = 5 - -16. Suppose 10 = 2*m, -3*m = -4*h - 4*m + k. Does 9 divide (0 + 3)*(h - -1)?
False
Suppose 6 + 4 = 5*h. Suppose h*s = -5 - 31. Is 15/9*s/(-1) a multiple of 10?
True
Suppose 3*h + 74 = 470. Is h a multiple of 42?
False
Let k be (16/20)/(1 - (-9)/(-10)). Is (3 + -5 + 3)*6*k a multiple of 7?
False
Let x(a) = -4*a**3 - 3*a**2 + 5*a + 2. Let t be x(-3). Suppose -18*n - 130 = -8*n. Let i = t + n. Is 8 a factor of i?
False
Let p = 7 - -71. Suppose 3*b + p = 5*b. Is b a multiple of 13?
True
Suppose 234 = x - 264. Let t = x - 343. Suppose 5*o + 5*b = t, 3*o - 87 - 5 = -2*b. Is o a multiple of 10?
True
Suppose -3*x - 2*i + 285 = 0, 2*i = -3*x - 2*i + 291. Is x a multiple of 8?
False
Let o be 8/(-36) - 80/(-36). Suppose 0 = o*b + 33 - 1. Is 6 a factor of (195/(-52))/(2/b)?
True
Let c = -1579 + 3211. Does 32 divide c?
True
Let n be (-3)/(-9) - (-24)/9. Suppose -4*u + 24 = 3*d, -n*u = -5*d - 14 - 33. Does 5 divide u?
False
Let l be (1 + 0)/(2/8). Suppose 2*q + 36 = 3*q. Suppose 0*z - q = -l*z. Is z a multiple of 9?
True
Suppose 3*v = l - 4 - 1, 4*l - 4*v - 36 = 0. Suppose -s + l*s - 1920 = 0. Does 12 divide s?
True
Suppose -6 + 24 = 2*a. Suppose r - 3*z = 2, -2*r = -0*r - 2*z - 8. Is r*(a - (-2)/2) a multiple of 9?
False
Suppose -4*a + 29*w - 27*w + 3044 = 0, 2283 = 3*a - 2*w. Is 33 a factor of a?
False
Suppose -3*c + 1236 = 3*h, 5*h - 1471 = 5*c + 639. Is 35 a factor of h?
False
Let i be (727 - 0) + (-4 - -1) + 3. Let y = i - 408. Is y a multiple of 29?
True
Let l(g) = -41*g - 44. Is l(-16) a multiple of 29?
False
Is ((162/(-8))/3)/(5/(-200)) a multiple of 15?
True
Suppose -c + 324 = 3*p, 5*p + 0 = -10. Is c a multiple of 5?
True
Let p = 3 - -13. Suppose 0 = 4*w + p - 0. Let h(g) = -4*g + 5. Does 21 divide h(w)?
True
Let j = -32 - -35. Suppose -2*d + 3*d = j*k - 648, -5*d = 0. Is k a multiple of 27?
True
Let f(h) = h**3 + 2*h**2 - 2*h. Let s be f(2). Let d = -8 + s. Suppose 14 - 86 = -d*i. Is 6 a factor of i?
True
Suppose -4*j + 26 = -158. Suppose -14 = 2*x - j. Is x even?
True
Let q = 5 - 10. Is (-3)/(2 + q)*65 a multiple of 32?
False
Suppose -1262 + 378 = -j. Is j a multiple of 13?
True
Let g(p) = -1. Let r(a) = -a**3 + 5*a**2 - 6*a + 5. Suppose 3*v = -n - 1, -2*n = 5*v + 2*n - 3. Let z(o) = v*r(o) - 5*g(o). Is 26 a factor of z(6)?
False
Let p(j) be the third derivative of -j**4/8 - 3*j**3/2 - 4*j**2. Does 3 divide p(-7)?
True
Let b be (-21)/(-49) - (-120)/14. Suppose 5*f - b = 21. Is 15 a factor of 53 + -2 + f + -3?
False
Let q = -10 + 22. Suppose h = -z + q, 3*h + 6 = 2*h + 5*z. Does 2 divide h?
False
