False
Suppose -1 = -2*u - 7. Let s = 8 - u. Is s a multiple of 11?
True
Let a(m) = m - 61. Let y(j) = 2*j - 123. Let l(p) = -7*a(p) + 3*y(p). Suppose -7*k + 3*k = -3*z + 3, -4*k + z - 1 = 0. Is l(k) a multiple of 21?
False
Suppose 3*v + 5*l - 2 + 0 = 0, 5*l = -25. Let u be (564/v)/((-2)/(-3)). Let a = u + -66. Is a a multiple of 19?
False
Suppose 2*d + 339 = 5*d + x, -3*x + 9 = 0. Does 28 divide d?
True
Let p be (-1)/(-3) - (-16)/6. Suppose 90 = -0*d + p*d. Is d a multiple of 11?
False
Suppose 2*q - 2 = -2*r, -r = 4*q + r - 8. Suppose -2*n + 16 = -4*a, -5*n = 2*a - a - 7. Let j = n + q. Does 5 divide j?
True
Let y(x) = -7*x - 3. Is 3 a factor of y(-6)?
True
Suppose -5*q + 50 = m, 3*m = 4*m - 5. Does 7 divide q?
False
Suppose 6*h - 80 = h. Is h a multiple of 3?
False
Suppose 2 = 5*x - 113. Suppose -x = 4*f - 63. Is f a multiple of 4?
False
Does 17 divide 72 - ((2 - 1) + 2)?
False
Suppose 3*l - 23 = -5*w, 0 = 4*l - 5*l + 3*w + 31. Let m = l - -2. Is m a multiple of 13?
False
Let x(g) = g**3 - 3. Let f be x(0). Let i(b) = 2*b**2 + b - 3. Let k be i(f). Suppose 0 = 3*s + 3*m - k, -14 = 5*m + 1. Does 7 divide s?
True
Let j = 56 - -64. Suppose -v + j = v. Suppose 0*u - 5*u + v = 0. Does 12 divide u?
True
Suppose d - 530 = -0*m - 2*m, -4*d = -2*m + 540. Does 38 divide m?
True
Suppose y = -5*z - 12, 0 = -4*z - 3*y - 2 - 12. Let u be (-3 + 2)*(2 + z). Suppose -4*b - 5*v + 3 = u, -5*b + 10 = -v + 6*v. Is 7 a factor of b?
True
Let n(u) = u + 8. Let f be n(-6). Suppose -5*b = 10, -f*p - b - b = 64. Let j = 45 + p. Is 15 a factor of j?
True
Let y = -6 + 33. Let n = 49 - y. Does 11 divide n?
True
Let x(q) = q - 9. Let k be x(5). Does 5 divide (8*-9)/k + -2?
False
Suppose 4*t - 111 = 3*t - 5*c, -3*t = -2*c - 316. Is 18 a factor of t?
False
Let u(x) = x**3 - 13*x**2 + 12*x. Let l be u(12). Suppose 2*f + 6 - 22 = l. Suppose 0*p - f = -p. Is 5 a factor of p?
False
Suppose -2*a + 2 = -3*a. Is 7 a factor of 0/a + (-1 - -15)?
True
Let a = -78 + 186. Is a a multiple of 6?
True
Let k = 8 - 6. Suppose -k*i + 12 = i. Suppose -18 + 47 = j - m, -i*m = j - 4. Is j a multiple of 12?
True
Let t be 17*(1 - (-4)/(-2)). Let b = t - -24. Does 3 divide b?
False
Is 1 - (-3 + 33/(-3)) a multiple of 4?
False
Let n be (3 + 1)*(-146)/(-8). Suppose -5*r = 15, 4*v - r + 6*r = n. Does 11 divide v?
True
Let g = 8 - 5. Let y be ((-6)/4)/(g/(-64)). Suppose -5*u + y = 4*l, 5*u = 2*u - 3*l + 21. Is 2 a factor of u?
True
Let j(l) = -l + 1. Let q(p) = 3*p + 2. Let i(w) = -4*j(w) - q(w). Is i(10) a multiple of 3?
False
Let h be 10/(-45) - 76/(-18). Let x = 14 + h. Does 12 divide x?
False
Let d = 1 - 4. Suppose -5*q + 105 = -2*j, 0 = -q + 5*j - 2. Let x = d + q. Is 10 a factor of x?
True
Let m(x) = -x**3 - 9*x**2 - 14*x + 10. Is m(-9) a multiple of 34?
True
Suppose 13*x = 10*x - 18. Let n(a) = a - 1. Let c(z) = z**2 + 3*z + 6. Let k(v) = c(v) - 2*n(v). Is 19 a factor of k(x)?
True
Let q = 0 + 2. Suppose -m + 0*m - 9 = -q*j, -2*j + 15 = 5*m. Suppose -26 - 54 = -j*f. Does 8 divide f?
True
Suppose -3*f = 2*m - 0*f - 87, -5*f = 4*m - 175. Does 15 divide m?
True
Suppose -7*c = -4*c - 6. Suppose -c*n = 3*n - 600. Suppose 2*h + 2*h - n = 0. Is h a multiple of 12?
False
Let x be 4/(-10) - (-198)/(-30). Let a = -1 - x. Does 3 divide a?
True
Suppose 2*h = -45 + 109. Does 16 divide h?
True
Let a be (-1)/((-3)/(-12)*-1). Let f be (-2)/1 - a/(-2). Suppose 2*q - 48 = -f*q. Is 12 a factor of q?
True
Let s(c) = -5659*c - 2. Let v be s(-2). Does 29 divide 2/9 - v/(-108)?
False
Suppose 5*f - 31 + 6 = -j, 4*j + 20 = 4*f. Let o(w) = -2*w**3. Let i be o(-1). Suppose -i*v + f = -29. Is v a multiple of 9?
False
Let b(a) = -a**2 + 7*a - 6. Let v(r) = -r - 1. Let k be v(-5). Let s be b(k). Suppose 3*i + 13 = o, -4*o + i + 18 = s*i. Is o a multiple of 3?
False
Is (6/(-10))/1 - 279/(-15) a multiple of 9?
True
Let s be -2 - -1 - (2 + -5). Suppose 2*q + s*a = 44, 2*q + 4*a - 42 = a. Is 10 a factor of q?
False
Suppose -2*f + 7*f = 0, -3*f = 5*q - 155. Is q a multiple of 17?
False
Let x be (2 - 2)/(1 + 1). Suppose -4*y - 2*s + 20 = -3*s, x = -4*y - 4*s. Suppose 0*d - p = -y*d + 59, -3*p = -5*d + 65. Is d a multiple of 10?
False
Suppose -4*m + 0*m + 12 = 0. Suppose -87 = m*j - 279. Suppose 0*c - 5*k - j = -2*c, -5*k = 4*c - 98. Is 10 a factor of c?
False
Suppose 5*w - 5*d = 1230, 0 = -4*w + 3*d + 722 + 263. Is 40 a factor of w?
False
Let q(s) = -5*s**3 + 2*s**2 + s + 1. Let w be q(2). Let f = 17 + w. Let m = f + 23. Is 4 a factor of m?
False
Suppose -3*s + 8*s = 40. Let u = 11 - s. Is 3 a factor of u?
True
Let x be (-3)/(2/((-4)/3)). Let a be ((-222)/(-8))/(x/8). Suppose 1 - a = -5*f. Is 14 a factor of f?
False
Is 29 a factor of (-21)/63 - (1220/(-6))/1?
True
Let r be (-48)/9*27/12. Let a = r - -22. Does 6 divide a?
False
Is 18 a factor of 4/(-10)*(-207 + -18)?
True
Let f be 8*1 + 3 + -2. Suppose f = -2*r + 81. Does 12 divide r?
True
Suppose -2 = 2*n - 44. Let j = 43 - n. Is j a multiple of 22?
True
Suppose -131 = 3*v - 614. Is v a multiple of 12?
False
Let c(h) = 3*h**3 + 5*h**2 - 5*h - 13. Let s(i) = 2*i**3 + 2*i**2 - 3*i - 7. Let u(b) = -3*c(b) + 5*s(b). Let a be u(5). Does 15 divide (a + -2)/(2/15)?
True
Suppose k + 40 = 2*k. Suppose 4*r + r - k = 0. Does 4 divide r?
True
Let u = 199 + -79. Does 10 divide u?
True
Suppose z + 4 = 1. Let m be (-5 - z)*(-50)/4. Suppose -x + 9 = 2*b - 0, 5*b = -m. Is x a multiple of 5?
False
Let m = -15 + 53. Is m a multiple of 19?
True
Suppose 4*f = r - 5*r + 72, -4*f = -8. Is 8 a factor of r?
True
Let m = 9 - 6. Suppose 195 = m*f + 2*f - 5*z, -3*f + z = -111. Is f a multiple of 18?
True
Let a = -55 + 105. Is 14 a factor of a?
False
Suppose -2*a + 0*a + 122 = 0. Suppose a = 5*w - 134. Is 13 a factor of w?
True
Suppose 3*w + 5 = -7. Let h = w - -26. Is 378/h - 8/44 a multiple of 11?
False
Let u be (-2 - 43)*14/21. Let j = 34 - u. Is 13 a factor of j?
False
Suppose -15 = -5*m + g, -4*m + 2*g + 2 = -16. Let o(l) = 14*l - l**3 + 0*l**m + 7*l**2 - 4*l. Is 16 a factor of o(8)?
True
Let k(r) = 2*r**2 + 2*r + 2. Let i be k(-2). Suppose 2*d - 6 = i. Is d*(13/2 - 2) a multiple of 16?
False
Let l be (5/(-10))/(1/(-58)). Suppose 2*b - 83 = -l. Is b a multiple of 17?
False
Let x be (-2)/(-6) + 2/(-6). Suppose x = -2*z - 2*z + 160. Does 12 divide z?
False
Suppose -2*j + 120 = -2*b, 2*j + 3*b = -0*b + 120. Is 12 a factor of j?
True
Is 12 a factor of (7 + (-3)/(-3))*(-66)/(-4)?
True
Let i be -6 + 6 + 0/(-1). Suppose -r + 35 = y, i*r - 2*r = -y + 35. Is y a multiple of 11?
False
Suppose -3*k + 4*w = -51, w = -k - 2*w + 30. Does 8 divide k?
False
Suppose 0 = -4*q - 5*u + 119, -4*q + 46 = -u - 55. Let y be (-4323)/39 + (-4)/q. Does 11 divide (3 - 1) + y/(-3)?
False
Let g = 30 + 32. Is g a multiple of 10?
False
Suppose 0 = -3*d + 99 + 84. Let u = d + -28. Does 12 divide u?
False
Let m(r) = -r + 3. Let x be m(3). Suppose -5*u + 21 = -x*z - 3*z, 0 = 4*u - z - 14. Suppose 4*c - 4*o - 56 = 0, 2*o - 36 = -u*c + 7*o. Is 5 a factor of c?
False
Suppose 18*q - 10*q - 624 = 0. Is 3 a factor of q?
True
Let r = 7 - 12. Let k(z) = 2*z**2 - z + 2. Let v be k(2). Let o = v + r. Is 2 a factor of o?
False
Suppose -148 = -o - 5*u, 2*u = 4*o + u - 592. Let x = o - 102. Is x a multiple of 13?
False
Let s be 1 + 5 + (-6)/2. Let r = 13 - s. Is r a multiple of 5?
True
Does 28 divide (-168)/3*-2*1?
True
Suppose 137 = b - 5*q, 6*b - 3*b - q = 355. Is 13 a factor of b?
True
Let y = -9 - -12. Suppose -2*z + 60 = 6*r - 2*r, -y*r + 39 = 3*z. Is 7 a factor of r?
False
Let t be 269/4 + 4/(-16). Suppose 2*i = -8, -44 = -5*n + 4*i + t. Is 11 a factor of n?
False
Let k = -54 + 101. Suppose -4*j = -0*x - x + k, -2*x + 119 = -3*j. Is 28 a factor of x?
False
Let i = -6 + 7. Let c = 17 - i. Is c a multiple of 16?
True
Let k = -142 - -218. Suppose 0 = 5*q - k - 14. Does 18 divide q?
True
Let y(z) = -4*z**3 - z**2 + 3*z + 2. Let k be y(-2). Suppose -s - l - 3*l = -k, 4*s - 2*l = 186. Is 11 a factor of s?
True
Let a = 189 + -69. Suppose a = 5*y - 5*v, y = -2*v + 11 + 22. Suppose 17 = 2*x - x - u, 0 = x + u - y. Does 11 divide x?
True
Let t = -284 + 399. Is t a multiple of 23?
True
Suppose 4*s - 5 = 15, 2*j = -s + 35. Suppose -2*h = -h - j. Let z = h - -18. Is z a multiple of 10?
False
Suppose 2*x + 4 = -4*c + 2, -3*x = 4*c + 5. Let b = x + 33. Is