3*n + 5 = q. Is (-2)/m*129/(-3) a multiple of 13?
False
Suppose 3*h - 4*k = 4948, 4721 = 3*h + 3*k - 241. Is h a multiple of 5?
False
Let l(k) = 2*k + 2. Let a be l(2). Suppose -2*n - 9 = -5*n. Suppose 2*c = -a*r + 2*r + 346, 3*c = -n*r + 267. Is 28 a factor of r?
True
Let i(j) = -702*j - 48. Is i(-4) a multiple of 40?
True
Suppose 5*g + 3*r - 5 = 0, 5*r + 25 + 20 = 5*g. Suppose g*z = 3*b + 7, -5*b - 2*z + 32 = 9. Is 30 a factor of (-18)/4*(-7 - b)?
False
Suppose 5*x = 3*x + 48. Does 18 divide x*(-1 + (-14)/(-8))?
True
Let k be (-4)/(-3)*(-39)/(-26). Is 3 a factor of k + 3/3 + 18 - 1?
False
Suppose 8 = o + 7. Let q(v) = 5*v**3 + v**2 - 5*v + 5. Is q(o) even?
True
Let r = -7 + 14. Suppose r*y = 13*y - 606. Is 19 a factor of y?
False
Let m = -283 - -250. Suppose -t - 186 = -3*t. Let h = m + t. Is 18 a factor of h?
False
Let o(y) = -y**2 + 7*y + 2. Let f be o(7). Let r(m) = -m**3 + 3*m**2. Let d be r(f). Suppose 2*q - 108 = d*w, 55 = q + 2*w - 7. Does 10 divide q?
False
Let n(y) = -2*y + 5. Let p be n(3). Let o be p/1 + 3/3. Suppose o = -3*d + 4*d - 21. Is 6 a factor of d?
False
Suppose 0 = 3*r + h + 7, r - 5*h - 11 = -40. Is 6 a factor of (-183)/r + 8/32?
False
Let p = -13 + 15. Suppose l + w = -2*w + 51, p*l = -3*w + 105. Is 18 a factor of l?
True
Suppose -4*o + 15 = -3*l, o + o - 15 = 3*l. Suppose 6*v - 24 = v - p, 5*p = 2*v + 12. Suppose o*y + y = v. Is y a multiple of 4?
True
Let s = -12 - -17. Let i(m) = -3*m**3 + 10*m**2 - 5*m - 4. Let t(u) = -4*u**3 + 11*u**2 - 5*u - 3. Let y(b) = 3*i(b) - 2*t(b). Is 15 a factor of y(s)?
False
Let f(r) = -49*r**3 + 2*r**2 + 7*r + 2. Is f(-2) a multiple of 24?
False
Suppose -3*j - 2*k = -3*k - 488, 5*j - 5*k = 800. Is j a multiple of 41?
True
Let b be (12/6)/(2 + -1). Suppose k + 45 = -3*w - 49, 4*k = b*w + 72. Does 10 divide 4/(-8)*w + 2?
False
Let f(y) = -y**3 + 9*y**2 - 9*y + 9. Let d be f(7). Suppose 0 = 3*o - m - 46, -3*o + m + d = -m. Is o a multiple of 8?
True
Suppose 3*k - 4*k + u = -4, 8 = -4*u. Suppose -5*q + 126 = -k*q. Does 6 divide q?
True
Let n = 24 + -12. Suppose n = 5*h + 2. Does 5 divide ((-15)/6)/(h/(-4))?
True
Does 51 divide (18/(-36))/(3/(-3060))?
True
Suppose 8*b - 1654 - 7346 = 0. Is b a multiple of 45?
True
Let a(h) = 5*h**2 + 41*h + 70. Does 18 divide a(-16)?
False
Suppose 3*f + 1 - 16 = 0. Suppose 13 = f*w - q - 2, -2*w = -2*q - 14. Suppose u = k - 12, k - w*u + 4*u - 12 = 0. Does 5 divide k?
False
Let b = -57 - -54. Let h = b - -47. Does 44 divide h?
True
Let q(w) = -3 - 1 - 2*w + 3*w. Let m be q(6). Is 15/m*168/18 a multiple of 14?
True
Suppose 5*i = 364 - 54. Suppose 0*x - x - 101 = -3*d, -i = -2*d + 2*x. Is 5 a factor of d?
True
Suppose 3*b - 5*b + 648 = 0. Let r = -226 + b. Let x = r + -23. Is x a multiple of 15?
True
Let a be 4 + (-3 + 1)*2. Suppose -t + 19 = -d, 0*t - 3*t + 5*d + 67 = a. Does 7 divide t?
True
Is (90*24/(-96))/((-1)/10) a multiple of 15?
True
Let d = -542 + 914. Is 12 a factor of d?
True
Let f be 0/(-5) + 10/(-4)*-10. Let s = 126 - f. Is 19 a factor of s?
False
Is 26 a factor of (-5 - 11/3)*(-192)/1?
True
Is -4 + (-20)/(-4) + 581 a multiple of 16?
False
Is 23 a factor of (-116384)/(-20) - (-46)/(-230)?
True
Let a be 4*(-156)/8 - -1. Let r = a + 138. Is 16 a factor of r?
False
Let a(l) = -l**3 - 16*l**2 - 28*l + 8. Let z be a(-14). Is 8 a factor of (-38)/(-3)*3*z/8?
False
Let v(j) = 92*j**2 - j - 1. Is v(1) a multiple of 15?
True
Let o be ((-4)/12)/((-2)/(-12)). Let q be 76/18 + o/9. Suppose 15*b - q = 14*b. Is 3 a factor of b?
False
Let k(f) = -f**3 + 7*f**2 + 2*f - 10. Let y be k(7). Suppose o + 10 = -2*v - v, 3*v - y*o = -5. Does 15 divide (74/8)/(v/(-12))?
False
Let n be -2*(-5)/(-5 + 10). Suppose -3 = n*y + 3, -3*m + y = -387. Does 32 divide m?
True
Suppose -5*v + 35 = -55. Let l = v - 16. Suppose -3*p + 45 = l*p. Is 3 a factor of p?
True
Suppose -2528 = -11*o + 332. Is 20 a factor of o?
True
Suppose 0 = -3*t - 5*i + 682, i - 21 + 727 = 3*t. Is 2 a factor of t?
True
Suppose 41 - 81 = -m. Does 32 divide m?
False
Let m(f) = 6 - 1 + 6 + 38*f + 1. Is 32 a factor of m(3)?
False
Let j(x) = 6*x**2 + 2*x - 4. Let r be j(4). Suppose u + b = r - 35, -123 = -2*u + 5*b. Let h = 123 - u. Is h a multiple of 12?
False
Let a(j) = 4*j**2 + 10*j + 11. Suppose -2*o + 12 = -2*d, -5*o + 9 = -d - o. Does 18 divide a(d)?
False
Let z(q) = -8*q + 5. Let i(d) = -17*d + 10. Let s(l) = -4*i(l) + 7*z(l). Let o be s(5). Suppose -3*u + o + 29 = 0. Does 9 divide u?
False
Let r = -83 - -84. Does 19 divide (53 + -1)/(r - (2 - 2))?
False
Let m = 9 + -19. Is 7 a factor of ((-42)/9)/(m/45)?
True
Let l = 111 - 116. Let m(u) = 3*u**2 + 2*u - 1. Is 21 a factor of m(l)?
False
Let m(s) = -9*s - 2. Let o be m(-1). Let i(c) = c + 23 - 9 + o. Does 7 divide i(0)?
True
Let i(k) = -47*k + 3. Let x = -109 - -107. Is 22 a factor of i(x)?
False
Suppose 10*q - 2473 - 167 = 0. Does 3 divide q?
True
Let f = 924 - 537. Let v = f - 189. Is 33 a factor of v?
True
Suppose i + i = -4*c + 586, -3*c + 4*i + 412 = 0. Suppose 4*l = -2*m + c, 4*m - 273 = 2*l + 25. Is 21 a factor of m?
False
Suppose 0 = -2*t + 7 - 27. Is 3 a factor of 1*3/6 + (-415)/t?
True
Let s(k) = -1207*k**3 - 2*k**2 - 3*k - 1. Does 48 divide s(-1)?
False
Suppose 9*d - d = 72. Is 20 a factor of (3/d)/((-2)/(-120))?
True
Let k(b) = 563*b - 83. Is 47 a factor of k(6)?
False
Let c(q) = -q**3 - 9*q**2 + 9*q - 10. Let j be c(-10). Suppose -4*r + 5*p + 8 = j, 24 = -4*r - 0*p - 3*p. Is -19*(r - 2/(-1)) a multiple of 15?
False
Suppose -13*v + 11*v = -864. Suppose 2 = 4*b - 18, 3*u + 3*b = v. Is 19 a factor of u?
False
Suppose -6*n = -9*n. Suppose 0 = -4*y + 16, -d + 0*y - 3*y + 151 = n. Is 16 a factor of d?
False
Suppose 0 = 24*l + l - 7425. Is l a multiple of 6?
False
Let g be ((-2)/6*0)/1. Suppose g = -4*q + 16 + 68. Is (28/q)/(2/51) a multiple of 7?
False
Suppose 4*r - 4*g - 341 = 255, -3*r - 6*g = -456. Does 25 divide r?
True
Suppose -83 = -4*d - 63. Suppose 0 = -5*c + 52 + 63. Suppose 2*i = c - d. Does 9 divide i?
True
Let m(z) = z**2 - 18. Let i be m(-5). Is 92 + ((-1)/i)/((-4)/28) a multiple of 5?
False
Is ((-1)/2)/(-12 + 321545/26796) a multiple of 14?
False
Let h(f) = f**2 + 8*f + 3. Does 5 divide h(2)?
False
Suppose -4*z = -4*j - 8, z = 2*z. Is 7/((-14)/(-304)) + j a multiple of 25?
True
Let x(z) = z**3 + 6*z**2 - 4*z - 17. Suppose -4*c + 11*c = -35. Is x(c) a multiple of 14?
True
Suppose -m + 6*m = -35. Let t be 0 + -2*m/(-2). Is (20/(-6))/(t/21) a multiple of 5?
True
Let c be (14/(-6))/((-2)/6). Suppose -c*a + 4*a = -201. Suppose -2*k + 2 = 0, -3*h + 6*k + a = k. Does 5 divide h?
False
Suppose -5*y + 1999 = 5*o - 8*y, -2*o + 4*y = -808. Suppose 5*d - 490 = -p, -5*d + 4*p + o = -117. Is d a multiple of 9?
True
Let j(d) = 37*d**2 - d + 22. Is j(-5) a multiple of 61?
False
Suppose -5385 = -5*f - 0*n + 5*n, -5*f + 5355 = n. Is f a multiple of 30?
False
Suppose 0*h + 6 = 3*h. Suppose 3*u - 6*u = -h*f - 131, -170 = -4*u + 5*f. Is 15 a factor of (u - -3) + 6/(-2)?
True
Suppose 4 = -58*q + 62*q - 5*v, q - 26 = -5*v. Let g(w) be the first derivative of 4*w**2 + 7*w + 1. Is g(q) a multiple of 22?
False
Let c = 635 + -452. Let j = 321 - c. Does 23 divide j?
True
Let y = 1666 + -276. Is 34 a factor of y?
False
Suppose -1930 = -5*f - 5*t, 5*t + 1 - 6 = 0. Is 11 a factor of f?
True
Suppose 19*b - 20*b = -12. Is -38*20/b*-3 a multiple of 19?
True
Suppose -11*d + s - 1508 = -13*d, -3*d + 2248 = -2*s. Is 22 a factor of d?
False
Let v be 5 + -2 - 0/(-2). Suppose 0 = -2*x - v*x + 10. Suppose -4*j - 152 = -4*s, 198 = x*s + 3*s + 3*j. Is 13 a factor of s?
True
Let m = 77 + -63. Let k(y) = -8*y**2 + 7 + 19*y + 2*y**2 + 5*y**2. Is 12 a factor of k(m)?
False
Suppose 5*v - 39 = 3*i + 20, -30 = 2*i - v. Is (1 + 0)/(i/(-884)) a multiple of 24?
False
Let z(m) = -25 + 24*m - 5 - 12*m + 30*m. Let b(w) = 14*w - 10. Let g(n) = -17*b(n) + 6*z(n). Does 17 divide g(6)?
False
Let a = 49 - 23. Let c = 32 - a. Suppose 3*z - c*z + 84 = 0. Is 5 a factor of z?
False
Suppose 0 = 6*d + 11 - 95. Suppose d*o - 10*o = 96. Does 20 divide o?
False
Let v(r) = -3*r + 344. Let u be v(0). Is u/10 + (-8)/20 a multiple of 8?
False
Let b = -59 - -41. Let a be 8/(-6)*81/b. Does 3 divide 3 - 2 - (0 - a)?
False
Let u = -291 - -305. Is u a multiple of 7?
True
Suppose -4*h + 17 = 9. Let w = h + -11