t k be r(-2). Let t be -229*(k + -3) - 0. Suppose -l - 190 = -4*j, 0 = 5*j + 3*l - 0*l - t. Does 16 divide j?
False
Let m(s) = 107*s**2 + 1. Let f be m(-1). Let t(j) = -j**3 - 3*j**2 + j + 180. Let n be t(0). Let b = n - f. Does 18 divide b?
True
Suppose -1086 = -2*q - 4*s, 0 = 5*s + 6 - 1. Does 18 divide q?
False
Let u(d) = -9*d - 20. Let j(p) = -p**2 + 13*p - 4. Let r be j(13). Does 14 divide u(r)?
False
Let o = -363 + 516. Let f be o/(-15) - 2/(-10). Let w(a) = -5*a - 24. Does 26 divide w(f)?
True
Suppose 0 = 17*d - 20*d + 4*j + 525, 4*d - 5*j - 699 = 0. Is d a multiple of 9?
True
Let s(r) be the second derivative of -29*r**3/6 + 3*r**2 - 8*r. Does 16 divide s(-2)?
True
Suppose -17*s + 234 = 98. Is 4/(-6)*s/(56/(-693)) a multiple of 33?
True
Let b = 1128 + -48. Is b a multiple of 9?
True
Let j = 1 - 8. Suppose -5*l + 2*q = 4154, -4*q - 2482 = 7*l - 4*l. Is (-2)/j - l/35 a multiple of 12?
True
Suppose -4*q = 4*u + 60, -6*u - 35 = -3*u + q. Is ((-45)/2)/(u/40) a multiple of 10?
True
Let x(k) = 71*k - 14 + 32 - 15. Is 12 a factor of x(1)?
False
Let p(a) = -2*a**3 - 16*a**2 + 15*a**2 + 101 + 3*a**3. Does 47 divide p(0)?
False
Suppose 5*k - 82 = 2*t + 54, -k + 62 = -t. Let j = 7 - t. Does 16 divide j?
False
Suppose -33 = -7*d + 16. Is 13 a factor of -160*(-70)/49 - (-3)/d?
False
Suppose -3*i = 4*x - 796, 17*i - 20*i - 968 = -5*x. Does 98 divide x?
True
Suppose q - 2*q = -3. Suppose 0 = h - q*h + 40. Suppose -d + 14 + h = 0. Is d a multiple of 13?
False
Suppose -3*c + 2*w + 12148 = -0*w, 0 = -5*c + w + 20249. Does 45 divide c?
True
Let b be 4 - (-64)/(4/(-2)). Let i = 47 + b. Does 9 divide i?
False
Let d(z) = 4*z + 34. Let o be d(-8). Suppose 5*j + 7 = -4*i + 64, -2*j = -o*i + 24. Is i a multiple of 2?
False
Let n(l) = 28*l**2 + 20*l + 18. Is n(-8) a multiple of 30?
True
Let b(y) = y + 17. Let q be b(-15). Let u(s) = -7*s + 8 - 5*s**2 + q*s + s**3 - 2. Is 4 a factor of u(6)?
True
Let y(t) = -t. Let k be y(-1). Let w = 1 - k. Suppose -5*p + 49 + 166 = w. Is p a multiple of 11?
False
Suppose 2*a - 4*a = 0. Let f be 6/(-3) + (-3)/(3/(-20)). Let o = f - a. Is o a multiple of 3?
True
Suppose 0 = -l + 3*y + 36, -132 = -3*l + y + 2*y. Suppose 3*i - 5*v = 48, -5*i - v = -2*i - l. Is 8 a factor of i?
True
Suppose -3*g + 248 = -x, -98 - 86 = -2*g - 4*x. Does 28 divide g?
True
Suppose -374*n = -389*n + 40500. Is n a multiple of 135?
True
Let b(m) = -m**3 + m**2 + m + 2. Let l be b(0). Suppose -l*t = -0*t - 8. Suppose -4*w + 0*y + t*y = -196, -2*y + 266 = 5*w. Does 13 divide w?
True
Let z(g) = -7*g + 15. Is 64 a factor of z(-7)?
True
Let o = 30 + 7. Suppose 8*p - o = 19. Does 7 divide p?
True
Suppose -1399 = -7*i + 1401. Does 10 divide i?
True
Suppose 0 = -5*n - 15, -2*n = -2*u + 1943 - 77. Is u a multiple of 15?
True
Let p be (0/4)/(-1) + 5. Suppose p*s = 3*s + 4. Suppose -142 = s*w - 4*w. Is w a multiple of 15?
False
Suppose c = 4*q - 23, -3*q + c + 18 = -0*q. Suppose 5*p + q*m - 225 = 0, -2*m - 2*m - 45 = -p. Is 9 a factor of p?
True
Let g = 446 + -207. Suppose -66 = -5*j + g. Is 9 a factor of j?
False
Let s = 6 + -2. Let p = 18 - s. Is p a multiple of 7?
True
Let b(i) = -i**3 + 10*i**2 - 2*i - 23. Let y(q) = 2*q**3 - 19*q**2 + 3*q + 45. Let x(j) = 5*b(j) + 2*y(j). Does 8 divide x(10)?
False
Let h(x) = -35*x + 51. Is h(-12) a multiple of 10?
False
Let z = 415 - 58. Is z a multiple of 51?
True
Suppose 10 = 3*k + 5*j, 2*k - 2 = -2*k - j. Let l = 52 + k. Is l a multiple of 10?
False
Suppose -1040 = 103*q - 111*q. Does 2 divide q?
True
Is 14 a factor of 612/7 - (-16)/28?
False
Let d = -74 - -219. Let c = 181 - d. Is c a multiple of 4?
True
Suppose 20*u = 18*u + 20. Is 15/(675/u) + 914/18 a multiple of 12?
False
Suppose 3 = -n, 4*n - 9 = -4*j + j. Suppose -2*a = 3*z - 38 + j, -5*a + 46 = -3*z. Is 4 a factor of a?
False
Suppose -4*g - 164 = -3*q, -4*q + 6*q + 30 = -g. Let t = -23 - g. Is 13 a factor of t?
False
Suppose 12*b - 1 = 11*b. Let v be (-4 - (2 - 6))*b. Suppose -2*x + 7*x - 3*p - 150 = v, p = -4*x + 137. Does 7 divide x?
False
Let b = -1509 - -2405. Is b a multiple of 7?
True
Suppose 0 = 3*b - 12, -3*a + 0*b - 3*b = -3990. Is 102 a factor of a?
True
Let j(h) = -h**2 - 2*h + 12. Suppose -m - 3 + 5 = -5*v, 3*m = 2*v + 6. Let r be j(v). Let p(n) = -n**3 + 13*n**2 - 10*n - 6. Is 12 a factor of p(r)?
False
Let v be (-128)/(-10) + (-36)/45. Let f(l) = 2*l - 16. Let w be f(v). Does 34 divide w/3*(-231)/(-14)?
False
Does 12 divide (-4 - 35/(-10))/(3/(-2952))?
True
Let g(i) = -i**3 + 6*i**2 + 5*i. Let n(b) = b - 2. Let a be n(8). Is 12 a factor of g(a)?
False
Does 12 divide (1 + 0 - -2)*15 + -1?
False
Let p be (2/(-4))/((-12)/72). Is 16 a factor of 96 + (p + -3 - 0)?
True
Suppose -2*f + 11 = -d + 94, -4*d + 347 = -5*f. Is 3 a factor of d?
True
Let x(z) = -4*z**3 - 2*z - 1. Let h be x(-1). Suppose 5*l = h*s - 40, l + 47 = 4*s + 2*l. Does 7 divide s?
False
Suppose 2*u - 53 = -39. Let q be 1 + 0 + (-2)/(-2). Let a = u - q. Is a a multiple of 2?
False
Suppose 4*h - 5*a = 1672, -5*h - 4*a + 911 + 1179 = 0. Is 46 a factor of h?
False
Is 32/(-2)*20/((-1040)/3913) a multiple of 10?
False
Suppose -192 = -0*p - 4*p. Is p a multiple of 8?
True
Suppose 4*p = r - 2, -4*r - r = p + 11. Let v be r/(6/(-111)) + 0. Suppose w = v + 47. Does 14 divide w?
True
Suppose 4*a + 2*g + 9 = 195, 3*a = -4*g + 147. Does 22 divide a?
False
Is 32 a factor of ((-956)/6)/((-26)/39)?
False
Let g(i) = -i**3 - 9*i**2 + 24*i - 44. Does 15 divide g(-14)?
True
Let a(i) = -i**2 + 13*i - 12. Let f be a(12). Suppose f = -5*s - 3*l + 31, -l + 7 = s - 0*l. Suppose -3*k - s*t = -t - 70, -35 = -k + t. Is k a multiple of 6?
True
Suppose -606 = -4*x - 3*u, -2*u + 176 = 3*x - 279. Does 5 divide x?
False
Let m(s) = 4*s - 44. Let u be m(13). Suppose 0 = 5*l - u*l + 162. Is 18 a factor of l?
True
Let z(k) = k - 5. Let h be z(12). Suppose 3*v = h*v. Suppose -5*l + 195 = -v*l. Does 8 divide l?
False
Let t = 53 - 51. Does 11 divide 27 - -7 - (-4)/t?
False
Let a(u) = 5*u - 25. Let n(b) = b**3 - 3*b**2 - 6*b + 6. Let i be n(6). Suppose 0 = 5*x + x - i. Does 33 divide a(x)?
False
Let z(o) = 3*o**3 + 2*o**2 - 2*o + 1. Let i be z(1). Suppose -5*l + 6*j = 3*j - 492, 4*j - 400 = -i*l. Suppose -21 - l = -6*n. Is n a multiple of 5?
True
Let a(j) = -j**3 - j**2 - j + 2. Let b be a(0). Suppose x - 54 = -g - 2*g, -b*x - 3*g + 105 = 0. Is 16 a factor of x?
False
Let q(k) = 7*k**3 - 13*k**2 + 9*k + 23. Let v(n) = 4*n**3 - 6*n**2 + 4*n + 12. Let g(y) = -3*q(y) + 5*v(y). Is g(7) a multiple of 8?
True
Let j be (-1*2)/(-8) + (-216)/(-32). Suppose 6*m - j = 449. Does 19 divide m?
True
Let y(a) = -a**2 - 4*a + 1. Let f be y(-3). Suppose 0 = 2*k + f*d - 96, 4*k - 145 = 5*d + 8. Does 14 divide k?
True
Let p = -6 + 6. Suppose 3*l + p = 144. Suppose 2*f = -3*w + l, -4*w - w = -2*f + 48. Is f a multiple of 12?
True
Let l be 9/(-15) + (-26)/(-10). Suppose z - 34 = -3*w, 0*z - 42 = -5*w + l*z. Suppose -w = -n + 11. Is n a multiple of 6?
False
Let b(q) = 6*q**2 - 2. Let m be b(1). Suppose 0 = -m*g - 7 + 187. Does 15 divide g?
True
Let g be (9 - 3)/(1 + 1) - -28. Suppose -28*o - 81 = -g*o. Is o a multiple of 6?
False
Let s(x) = 48*x - 24. Let t be s(13). Suppose -5*q = -b - 3*b + t, 300 = 2*b + 3*q. Is 25 a factor of b?
True
Let l be 56/(-40) - (-4)/10. Let p(j) = -81*j**3 - 3*j**2 - 2*j - 1. Is p(l) a multiple of 54?
False
Suppose -5*j + 12 = -c - 6, 3 = 3*j + 2*c. Let x be 7/(10/(-4) + j). Suppose -4*l = -62 - x. Is l a multiple of 12?
False
Suppose 5*k - k + 5*r - 429 = 0, 0 = -5*k - 3*r + 533. Let x = 175 - k. Does 11 divide x?
False
Let h(v) = 18*v**2 - 8*v + 4. Let d(m) = 53*m**2 - 23*m + 12. Let j(k) = 3*d(k) - 8*h(k). Is j(2) a multiple of 27?
True
Let y = 816 + -111. Suppose 10*x = y - 85. Does 7 divide x?
False
Suppose 8*f + 345 = -23. Let r = 110 + f. Is r a multiple of 14?
False
Let a be (-52)/6*45/(-10). Suppose 9 = 5*u + a. Is 20 a factor of 70 - 2*9/u?
False
Let b = -13 + 11. Let r(t) = 14*t**2 + 4*t + 3. Let c be r(b). Suppose -131 = -4*s - c. Is 7 a factor of s?
False
Let z = 907 - 309. Is z a multiple of 49?
False
Let c(s) = s**3 + 6*s**2 + 4*s - 5. Let d be c(-5). Suppose -150 = -d*z - 2*z. Suppose -t + z = 22. Is 13 a factor of t?
False
Let j(u) = 55*u**2 - u + 1. Let z be j(1). Suppose -p - 13 = -5*b, 3*b = -4*p + p +