)*-6. Suppose t*n + 0*n = d - 249, 951 = 4*d + 3*n. Is d a multiple of 15?
True
Let a = 40837 - 28560. Is 51 a factor of a?
False
Suppose -2*r = -4*m - 84, m + 3*r + 11 = -10. Let l = -3494 - -3433. Let j = m - l. Is 40 a factor of j?
True
Let h(z) = z**2 + z + 41. Let i be h(15). Let u = 9 + i. Does 29 divide u?
True
Let b = 87 - -9981. Does 51 divide b?
False
Suppose -665920 - 191075 = -129*s + 97347. Does 54 divide s?
True
Is 36 a factor of (876208/(-1472))/(2/(-136))?
False
Suppose 206882 = 4*l + 2*c, 0*c = l - 4*c - 51752. Is l a multiple of 268?
True
Suppose -35*a + 372467 - 58622 = 0. Does 66 divide a?
False
Let r(q) = -q + 17. Let n be r(-18). Let l = -32 + n. Suppose -2*z + 3*m - 71 = -l*z, z - 2*m = 51. Is z a multiple of 7?
False
Suppose 29*n + 120876 = 32*n. Is 41 a factor of n?
False
Let j(n) = 4*n**3 - 2*n**2 - 8*n + 5. Let z be j(-4). Let g = 19 - z. Is 49 a factor of g?
False
Let q(v) = v - 6. Let b be q(1). Is (0 - b/2)/(8/832) a multiple of 51?
False
Let h(y) = -2*y + 35. Suppose 99*d - 105*d = 96. Is h(d) a multiple of 19?
False
Let l(a) = -a**3 - 13*a**2 - 11*a + 13. Let g be l(-12). Is 3 a factor of -11 + 13 - -27*g?
False
Let v = 34 - 30. Suppose 5*m - 39 = v*m. Let h = 73 - m. Is 34 a factor of h?
True
Suppose 2*n + 28504 = 57*h - 53*h, 4*h - n = 28502. Is 11 a factor of h?
False
Let k(c) be the first derivative of 79*c**3/3 + 24*c - 98. Is 15 a factor of k(-3)?
True
Let y be 1/(-1) + 5 + 2. Is 13 a factor of 4/y - (6960/(-36) - 11)?
False
Is 17 a factor of (10038 - 8)/17 - 0?
False
Let s(u) = -4*u - 17. Let g be s(-5). Suppose -v - g = 5*q - 0, -v - 1 = 3*q. Suppose -v*c - 4*j + 70 = -0*j, 3*j = -c + 33. Is 21 a factor of c?
False
Suppose -6*q - u = -148858, q + 27*u - 23*u = 24802. Is 199 a factor of q?
False
Let d(w) = -w**2 - 20*w - 8. Let l be d(-19). Suppose f + 1 - l = 0. Suppose f*a = 6*a + 112. Is a a multiple of 3?
False
Suppose 0*n - 3*n - 19*n = -227106. Does 37 divide n?
True
Does 5 divide 1*(22 - -10307) + (2 + 0 - -1)?
False
Let c(v) = -3*v - 8. Suppose 0 = j + 2*j + 12. Let m be c(j). Is 3 a factor of m/(-14) - ((-240)/7 - -1)?
True
Let a(p) = 31*p**3 - 10*p**2 + 27*p + 5. Is 7 a factor of a(2)?
False
Suppose -3438763 + 1258291 = -417*z + 2595846. Is 171 a factor of z?
False
Is (5/4*18/(-15))/((-7)/7350) a multiple of 5?
True
Let s = 115 - 446. Let o = -61 - s. Is 16 a factor of o?
False
Let l(u) = 1580*u**3 + 4*u**2 - 2*u. Does 7 divide l(1)?
True
Let z(t) = -5*t - 1. Let f be z(-2). Let b(i) = 14939*i - 14928*i - 7*i**2 - 137*i**3 + 138*i**3 - 11. Is b(f) a multiple of 34?
False
Suppose -c + 3*f + 39391 = 0, -f - 79640 = -3*c + 38605. Does 94 divide c?
False
Let m = 434 + -408. Let k(j) = 14*j - 148. Is k(m) a multiple of 54?
True
Suppose -59*t + 54*t = -4*z - 14, 4*t - 7 = -z. Is ((z - -1) + 1)/(127/104775) a multiple of 15?
True
Suppose 0 = -2*q - 2*q - k + 12, 3*q = 5*k + 32. Suppose q*l - 30 = 2*s, 5*s - s = -l + 30. Does 23 divide ((-920)/(-25))/(4/l)?
True
Let h(y) = 2470*y**2 - 91*y + 17. Does 125 divide h(3)?
False
Let j = 92 + -93. Let s be (-2)/(3 - (4 - j)). Is 27 a factor of (6/(-3))/(s - 130/128)?
False
Let m(i) = -2*i**3 - 8*i**2 + 12*i + 13. Let k be m(-8). Suppose 34*z - 7365 = -k. Is 12 a factor of z?
True
Suppose 3*y + 14749 = -8531. Let s = 11464 + y. Is 41 a factor of 4/6 + s/24?
False
Suppose 1150 = 14*j - 60*j. Suppose y - 26 = s + 2*s, 93 = 3*y - 4*s. Let m = j + y. Does 4 divide m?
False
Let s(t) = 113*t**2 - 1. Let c be s(-1). Suppose 4*x = 4*q - c, q - 175 = -4*q - 2*x. Does 11 divide q?
True
Let r(g) = -g**3 - 8*g**2 - 5*g + 16. Let b be r(-7). Let o = 29 - 48. Does 3 divide o/((-6)/b*(-4)/(-36))?
True
Let g(t) = -13*t - 17*t - 17*t + 18*t + 19. Does 14 divide g(-9)?
True
Suppose 2*l + 4*y + 6 = 26, 6 = 2*y. Suppose 62 = l*i + 5*p, 26 = -2*i + 4*i + 5*p. Does 6 divide i?
True
Let z(i) = -6*i**3 + 2*i**2 + 10*i + 18. Let l(q) = -6*q - 99. Let c be l(-16). Is z(c) a multiple of 12?
True
Let w(k) = 4*k**2 - 3*k - 16. Suppose 4*r = -23 - 1. Let u(s) = s + 12. Let o be u(r). Is 10 a factor of w(o)?
True
Suppose -3*h = -d - 8, 4*h - 3 = d + 8. Is 39 a factor of (9 - 4)*25*d + -4?
False
Let i = -318 - -346. Suppose i*x - 19*x = 1224. Is 13 a factor of x?
False
Suppose -4*l = 3*m - 38748, 10*l - 9*l + 12*m - 9687 = 0. Does 185 divide l?
False
Let g(m) = -m**2 - 26*m + 94. Let j be g(-29). Suppose -j*n = 330 - 3802. Is 28 a factor of n?
False
Let u(g) = g**2 + 14*g + 35. Let t(p) = 12*p + 4. Let n be t(2). Suppose -2*m - n = -0*m. Is u(m) a multiple of 5?
True
Let z = 493 - 292. Is 83 a factor of z?
False
Suppose -46*i + 49*i = -219. Let x = -70 - i. Suppose 0 = -4*p + x*b + 76, -4*p = -2*b - 43 - 37. Is 5 a factor of p?
False
Is 287518/42 - (87/63 - (-8)/28) a multiple of 58?
True
Let s be -2*(-4)/(-48)*6. Let f = -38 - -37. Is s/5 - (f - 266/5) a multiple of 9?
True
Suppose 5*w + l = -2*l + 37, -w - 2*l = -6. Is 186 + (w - 2)*-1 a multiple of 9?
True
Let i(l) = l**3 + 6*l**2 - 6*l + 1. Let m be i(-5). Suppose 8 - m = -6*a. Is a a multiple of 8?
True
Suppose -3*g - 106 = w - 3*w, -3*w + 172 = 2*g. Suppose -w*b = -57*b + 4. Suppose 0 = -0*z + b*z + 4*u - 84, 4*z = 5*u + 102. Is 23 a factor of z?
True
Let g(w) = -13*w + 5*w + 5*w - 26 + 4*w. Let x be g(10). Is 25 a factor of 4 - (-4)/(x/(-484))?
True
Suppose -92*q - 160232 + 398420 = 0. Does 6 divide q?
False
Suppose -6 = 5*g - 26. Suppose -3*j + g*v + 378 = -6, -5*v = -j + 139. Does 4 divide j?
True
Let y = -187 + 259. Suppose 68 = 7*g - y. Is g a multiple of 10?
True
Let l be -3 + (-3)/(-3) + 4. Suppose 2*h - 2 = y, -3*y - h = l*y - 12. Suppose -y*v + v = -36. Is v a multiple of 18?
True
Let n(c) = -2*c**3 - 8*c**2 - c - 6. Let i(v) = 5*v. Let h be i(9). Suppose 12*p + h = 3*p. Does 7 divide n(p)?
True
Suppose 236*h + 238*h = 481*h - 372792. Is 12 a factor of h?
True
Let z = -2759 + 9042. Is z a multiple of 22?
False
Suppose 339 - 9571 = -3*y + 4*q, -2*q = -5*y + 15368. Does 64 divide y?
True
Let p be ((-145)/(-116))/(1/4). Does 35 divide (-467 - 9)*p/(-4)?
True
Let l = 27 - 14. Let j = 202 + l. Suppose 4*p + j = 9*p. Is p a multiple of 18?
False
Suppose 27765 + 156040 = 46*n - 67907. Does 16 divide n?
True
Let c(u) = -74*u**2 - 6*u**3 - 5*u + 4 + 155*u**2 - 76*u**2. Let x(r) = 7*r**3 - 5*r**2 + 6*r - 4. Let n(m) = -4*c(m) - 3*x(m). Is n(3) a multiple of 5?
False
Suppose -q - 694 = -3*j, -2*q - 3380 = 3*q + 3*j. Let z = 1173 + q. Is 30 a factor of z?
False
Let g be 2/8*-1 + 75/60. Is 1*125 + g - (-102)/(-34) a multiple of 6?
False
Let r(q) = 7*q**2 + 2*q + 6. Let y(p) = 12*p**2 + 4*p + 6. Let z(c) = -5*r(c) + 3*y(c). Suppose -6*n + 4*n = 12. Is z(n) a multiple of 4?
True
Let o(u) = 14*u - 58. Let i be o(4). Is -4 - (-408 - -2) - i a multiple of 38?
False
Suppose -26357 = -3*g + 2921*k - 2917*k, -4*k + 8759 = g. Is g a multiple of 24?
False
Let y = 76 + -51. Suppose 5*a - v = 25, -y = -5*a + 4*v - 0*v. Suppose 0*g - g - 13 = -2*u, 47 = 4*u + a*g. Is u a multiple of 3?
False
Let m be -6 + (-2 - -3) + 1. Let s be 235 - -1*(3 + m). Suppose 47*p = 41*p + s. Is p a multiple of 4?
False
Let s(h) = -h + 3. Let k(w) = -60*w - 67. Let i(z) = -k(z) + 2*s(z). Does 52 divide i(25)?
False
Let z be ((-6)/18 + (-4)/60)*-5. Suppose z*m + 4*y - 1282 = 0, -2*m + 4*m = -5*y + 1279. Is 49 a factor of m?
False
Let i be 54/13 - ((-72)/78)/(-6). Suppose -o + 38 = -i*j, 10 = -2*j - 0. Is o even?
True
Suppose b - 3*c = 1298, -119*c = 2*b - 116*c - 2587. Is 108 a factor of b?
False
Let r(a) = -a**3 - 5*a**2 + 13*a + 26. Let u be r(-7). Suppose -u*z - 696 = -27*z. Let c = 170 + z. Does 6 divide c?
True
Let c(a) be the second derivative of -7*a**5/20 + 5*a**4/12 - 7*a**3/6 - 7*a**2/2 - 7*a - 4. Does 62 divide c(-3)?
True
Let m(h) = 3*h**2 + 37*h + 20. Let j be m(-12). Is (-195)/(12/j - 3) a multiple of 13?
True
Suppose 7*w - 75 = 2*w + 3*f, -3*f = -2*w + 39. Suppose -4*k + 6*k = w. Suppose 10*g - k*g = 200. Is 22 a factor of g?
False
Let m(d) = 12*d**2 - 162*d - 2016. Is m(-14) a multiple of 6?
True
Let p be (13*(-2)/(-39))/(1/399). Suppose 243*z = p*z - 23322. Is 13 a factor of z?
True
Suppose 14487 = 43*i + 2920. Does 4 divide i?
False
Suppose -45*v + 36064 = -18*v - 11*v. Is v a multiple of 7?
True
Suppose 63370 = 5*z + s, 0 = 2370*z - 2373*z - 3*s + 3801