 5*a - 47. Does 11 divide y?
True
Suppose 16*g - 170 = 15*g. Does 18 divide g?
False
Let q = 2241 - 1514. Is q a multiple of 19?
False
Suppose -4*r = -3*o + 563, 4*o = 2*r + 282 + 482. Does 6 divide o?
False
Let w(l) = 21 - 5 + 4 + l**3 - 2*l**2 - 7*l. Is w(5) a multiple of 13?
False
Does 27 divide (0 - 25)*(-928)/80?
False
Let d(u) = u**3 + 9*u**2 + 10*u + 1. Let g be d(-8). Let m be g/10*(-16)/6. Suppose -f - 221 = -m*r, -8 + 61 = r + 2*f. Is r a multiple of 29?
False
Let u(n) = n + 8. Let r be u(-5). Suppose -4*y - d = 1, -3*y - r*d - 10 - 2 = 0. Is ((-16)/12)/(y/(-39)) a multiple of 15?
False
Let i(l) = l**2 - 8*l - 8. Let g be i(9). Suppose t + g = -2, 5*f = 5*t - 665. Does 13 divide f/(-10) + (-6)/10?
True
Suppose 4*z = -2*s + 8 - 0, -3*z = -4*s - 28. Let i(b) = -18*b - 10. Let d be i(s). Let m = -18 + d. Is 18 a factor of m?
False
Let v(j) = j**2 - 3*j + 4. Let r(q) = -q**3 - 6*q**2 + 8*q + 2. Let a be r(-7). Let s = -11 - a. Is 29 a factor of v(s)?
True
Suppose -56*t + 11264 = 32*t. Does 3 divide t?
False
Let q = -143 - -127. Is ((-1365)/20)/13*q/6 a multiple of 7?
True
Let f(j) = -j**2 + 18*j + 22. Let z be f(19). Suppose -2*x + 55 = z*x. Is x a multiple of 10?
False
Let o(l) = l**3 - 5*l**2 - 24*l + 4. Does 12 divide o(14)?
False
Suppose 0 = 3*o + 6, 5*v - 4*o - 109 = -2*o. Let y = -16 + v. Suppose -y = -5*j + 135. Is 13 a factor of j?
False
Suppose 0*u = 2*h + 5*u - 320, -4*h + 616 = 4*u. Is 6 a factor of h?
True
Is 58 a factor of -5 - (-255 + 27/(-9))?
False
Let a = -2235 + 6034. Is a a multiple of 131?
True
Let o = 232 + -114. Let g = -54 + o. Is 23 a factor of g?
False
Let t(d) = -3*d**3 - d**2 - 2*d - 1. Let k be t(-1). Suppose -4*y = -5*n - 140, -k*n + 4*n - 86 = -3*y. Is y/(-10) + (-118)/(-2) a multiple of 15?
False
Let x be 0/(7/((-7)/2)). Suppose 2*f + 2*f + 32 = x. Is 27 a factor of f/(4/(-1))*41?
False
Let b = 80 - 76. Let f be 15/((-3)/(-1)) - 3. Suppose 0 = -f*h - 0*h + b. Is h even?
True
Let j(v) = v**3 + 3*v**2 - 3*v + 943. Is j(0) a multiple of 37?
False
Suppose 0 = 4*u + 14*u - 396. Suppose 2*v - 40 = -0. Let l = u + v. Is 7 a factor of l?
True
Suppose 5*j = -2*x + 3733, 0 = -3*j - 10*x + 13*x + 2244. Is j a multiple of 8?
False
Let d(o) = -o**3 + 12*o**2 + 15*o - 12. Does 4 divide d(12)?
True
Let m be -3 + 5 + -17 - 0. Let y = m + 43. Is y a multiple of 28?
True
Let l(j) be the third derivative of 0*j + 0 - j**2 - 2/3*j**3 + 1/6*j**4. Does 13 divide l(6)?
False
Let h(c) = -2*c**2 - 4*c + 3. Let k be h(2). Let a = k - -17. Suppose r - 19 = -0*r - a*m, -m = -r + 44. Does 13 divide r?
True
Let c = -22 - -24. Suppose -4*k = -5*j - 51, -2*k + 26 = -c*j - 0. Let p = 44 - k. Is p a multiple of 15?
True
Let m be 2 + (3 - (2 - -1)). Suppose -26 = g + m*g - 5*z, -4*g - 4*z - 56 = 0. Is g/4 - -6 - -9 a multiple of 12?
True
Let n be (-3 - 2 - -3) + 8. Suppose v - h = -n + 38, -3*v + 5*h = -100. Suppose -v - 64 = -2*x. Is 15 a factor of x?
False
Suppose 14*x = 18*x - 1584. Is 22 a factor of x?
True
Suppose 5*k + 2*h + 1 = 0, 7*h - 4*h + 6 = -3*k. Suppose 80 = t - k. Does 19 divide t?
False
Let v = 55 + -27. Suppose 160 = 4*k + 4*b + v, -4*k + 126 = 2*b. Is k a multiple of 5?
True
Suppose -7*u + 2801 + 4423 = 0. Is u a multiple of 25?
False
Let r be ((-353)/(-4) - -2) + 1/(-4). Suppose -47*d + 45*d + r = 0. Is 10 a factor of d?
False
Let o = 42 - 102. Let c = -24 - o. Suppose -4*u + c + 148 = -2*b, 5*b = -4*u + 212. Is u a multiple of 16?
True
Suppose 5*t + 2*m = 32, 2*t + 2*m = 8 + 6. Suppose 5*r = 4*o - 8099, 0 = 2*r + t*o - 2*o + 3262. Is 2/(-10) + r/(-15) a multiple of 16?
False
Let d(r) = r - 7. Let v be d(10). Is 10 a factor of 2/v - (-4768)/48?
True
Let b = -4300 - -6155. Is 35 a factor of b?
True
Let r(b) = -3*b**3 - b**2 + 10*b. Let y be r(3). Let v = 78 + y. Is v a multiple of 9?
True
Suppose -23*d = -m - 25*d + 1448, -d + 5820 = 4*m. Does 28 divide m?
True
Let x(o) = -6*o - 5. Let h(d) be the second derivative of -d**3/2 - d**2 + 5*d. Let u(m) = -9*h(m) + 4*x(m). Is u(2) a multiple of 4?
True
Let c(l) be the first derivative of -l**4/4 + 7*l**3/3 - 3*l**2/2 - 4*l + 11. Does 32 divide c(4)?
True
Let i(d) = -41*d - 41. Is 4 a factor of i(-5)?
True
Suppose -2*q + g - 22 = -4, 42 = -2*q - 5*g. Let i(m) be the third derivative of m**4/24 + 9*m**3/2 + 3*m**2 - 7*m. Is 8 a factor of i(q)?
True
Let i(t) = t**3 + 3*t**2 - 6*t - 3. Let b be i(-4). Suppose -q = -b*a + 85, -3*a - 4*q + 70 + 4 = 0. Is 18 a factor of a?
True
Suppose -18 = -3*c + 45. Let v(j) = -j**3 + 21*j**2 + 3*j + 26. Does 6 divide v(c)?
False
Suppose 0*w - 3*w = -3*j - 387, 0 = -4*j - 8. Let d = -34 + w. Let a = -37 + d. Is a a multiple of 20?
False
Let g be 2*(0 + (-1)/(-2)). Let q(y) = -y**3 + 21*y**2 + 26*y - 91. Let h be q(22). Does 2 divide g/(3/15) - h?
True
Let k be ((-8)/(-6))/(5/(-255)). Let h = -27 - k. Is h a multiple of 8?
False
Is (-6427)/(-5) - ((-532)/70)/(-19) a multiple of 36?
False
Suppose 0 = -p + 3*a + 2*a + 81, 3*p - 253 = 5*a. Suppose 5*s - p = n, -n - 64 = -4*s + n. Is s a multiple of 9?
True
Let z(c) = 12*c + 39. Does 21 divide z(23)?
True
Suppose -d - 412 = -2*p, 3*p - 11*d - 628 = -7*d. Does 6 divide p?
True
Let d be 12/(-10)*25/(-10). Suppose r - 3 - 41 = 2*i, 4*r - 201 = d*i. Is 9 a factor of r?
True
Let a(n) = 2*n + 4. Let s be a(3). Let r(d) = -d + 10. Let o be r(s). Suppose o = -3*b + 6*b - 90. Is 5 a factor of b?
True
Let n = 729 + 1316. Is n a multiple of 15?
False
Let v be 6 + -58 - (1 + -2). Let s = -44 - v. Is 2 a factor of s?
False
Let z be 16/6 - 6/9. Let a(b) be the third derivative of b**6/40 + b**5/20 - b**4/12 - b**2. Does 16 divide a(z)?
True
Suppose -24*d + 18150 = 9*d. Is d a multiple of 11?
True
Suppose -2*v - q + 155 = 0, 2*v + 3*v + 5*q - 380 = 0. Suppose 592 = 4*d - 5*f, -4*d + 2*f + 501 = -v. Does 13 divide d?
True
Suppose -k + 0*l = 3*l - 75, 2*k - 4*l = 120. Does 11 divide k?
True
Let g(f) = 2*f**3 + 8*f**2 - f + 14. Let q be g(-6). Let h = -98 - q. Is h a multiple of 8?
False
Let p(d) = -d**2 - 6*d + 4. Let v be p(-8). Let i be 6/(4*v/(-32)). Is 7 a factor of (-20)/8*(i + -10)?
False
Let b = -559 - -1434. Is b a multiple of 35?
True
Suppose 18 = 3*j - 0*j. Suppose 2*a = -a + j. Suppose -3*n = -a*c + 2*n + 45, 3*n + 54 = 3*c. Is c a multiple of 5?
True
Let w = -1158 + 2414. Does 14 divide w?
False
Let i(s) be the second derivative of -1/6*s**4 + 1/20*s**5 + 0*s**3 - 5*s + 3*s**2 + 0. Is i(3) a multiple of 15?
True
Is (-2754)/((-4)/(-2))*(-7)/7 a multiple of 24?
False
Suppose 4*w = 4*f + 1292, 8*w - 9*w = 5*f - 293. Suppose 0 = -3*k - 4*x + 946, k = x - 3*x + w. Is k a multiple of 15?
False
Let r be 4/18 + 395/45. Suppose h + r = 59. Is 10 a factor of h?
True
Let b(h) = 62*h**3 - 2*h**2 + h. Let m be b(1). Let g = -38 + m. Does 10 divide g?
False
Let j be (-6)/12 - (-23)/2. Let b(u) = 10*u - 17. Is b(j) a multiple of 31?
True
Let b(q) = -6*q**2 + 2*q - 9. Suppose -c + 3 = -1. Let r(i) = -5*i**2 + i - 8. Let m(j) = c*b(j) - 5*r(j). Does 2 divide m(-4)?
True
Suppose -63*r = -65*r. Suppose r = -7*v + 13*v - 606. Does 9 divide v?
False
Suppose 0 = 10*b - 1270 - 4330. Does 20 divide b?
True
Let b be -6*(-5)/(60/(-8)). Let x(y) = -3*y - 7. Let i be x(b). Suppose -401 = -5*j - 3*o, -i*j + 0*o = 5*o - 395. Does 19 divide j?
False
Let c = 1490 + 221. Does 19 divide c?
False
Let j = 855 + 484. Is j a multiple of 15?
False
Suppose 3*g - 3*k - 9 = 0, -4*g - 6 + 18 = -3*k. Suppose 5*a - 3*y + 59 = 0, -2*a + g*y = a + 33. Is 0 + (a + -3)/(-2) a multiple of 2?
True
Let m(g) = 302*g**2 + 8*g + 8. Is m(-1) a multiple of 26?
False
Suppose -3*j = -9 - 9. Let o be (3/2)/(j/16). Suppose -o*n = -0*n - 40. Does 4 divide n?
False
Let a(d) = 2*d**3 - 2*d - 14. Is a(7) a multiple of 14?
True
Let i = 4037 + -1466. Is 17 a factor of (-2)/15 + i/45?
False
Suppose -3*z = -403 - 98. Suppose -z + 45 = -p. Is p a multiple of 9?
False
Is 6 a factor of -3 + 8 - 4/(8/(-146))?
True
Suppose -5*y = -235 - 210. Let a = -12 + -22. Let u = a + y. Does 30 divide u?
False
Suppose -r = 4*r + 2*a - 53, -2*r = 2*a - 26. Let u = -4 - r. Let h = u + 84. Does 11 divide h?
False
Let c(q) = 20*q**3 + 2*q - 1. Let g(l) = -l + 6. Let m be g(5). Suppose 0 = 3*j - m - 2. Is 21 a factor of c(j)?
True
Let t(c) be the second derivative of -c**3/3 + 2*c**2 - 2*c. Le