60))/(2/(-10)) + 4. Is 7778/16 - r/256 a multiple of 40?
False
Suppose 3*b = -3*h + 12, h - 1 - 1 = 0. Suppose -72 = b*s - 8. Let d = 7 - s. Is d a multiple of 3?
True
Suppose -2*d + 2354 + 54142 = -2*a, 4*d - 112985 = -3*a. Is 27 a factor of d?
False
Let r(d) = -7*d**2 + 655*d + 100. Does 44 divide r(80)?
True
Let x be (-9 + 3 + -5)*(-1 + 0). Let z(a) = -a**3 + 14*a**2 - 22*a - 13. Does 15 divide z(x)?
False
Let u be ((112/10)/(-7) - -1)*-35. Is 2 a factor of (2 - 0) + 1218/u?
True
Let f(a) = -5*a + 17*a**2 + 58*a**2 + 14*a**2 - 3 + 147*a**2. Is 7 a factor of f(-1)?
True
Let h(l) = -5852 + 3*l - 7*l + 5707. Does 2 divide h(-43)?
False
Let i(d) = -d**2 + 3*d - 1. Let p be i(2). Let z be 26 + (2 + -5)/p. Let h = 55 - z. Is 6 a factor of h?
False
Let x = 322 + -112. Suppose 0 = 2*m + 8 - 18. Suppose m*q = 5*p - x, -66 = -p - 0*p - 5*q. Does 11 divide p?
False
Let d be 7/((-19)/92 + 21/84). Suppose 0*x + 31 = x. Suppose 0 = -n - x + d. Is 13 a factor of n?
True
Let j = 737 + 895. Does 43 divide j?
False
Let f(h) = 149*h**2 - 9*h - 90. Does 34 divide f(-4)?
False
Suppose -54*y + 213994 - 115198 = -295836. Does 42 divide y?
True
Let c(i) = i**3 + 61*i**2 + 11*i + 70. Is 46 a factor of c(-10)?
True
Let v = 5163 + -498. Is v a multiple of 5?
True
Suppose 0 = 8*j + 13*j + 168. Is (j - -2)/(46/(-5589)) a multiple of 9?
True
Let c(v) = v**2 - 3*v - 114. Does 2 divide c(-24)?
True
Let w be 8/20 + 16/10*41. Does 30 divide (0 + w/4)*10?
False
Suppose -3*p = 13*p - 17*p + 7759. Is p a multiple of 13?
False
Let c = 25864 + -19190. Does 3 divide c?
False
Let c(w) = -w**2 - 23*w + 18. Let i be (-9 + 3)*38/12. Is c(i) even?
True
Suppose -4*f = 2*h - 9958, -34*h + 5*f = -35*h + 4997. Does 28 divide h?
False
Let v(z) = -z**2 + 153*z + 83. Does 25 divide v(66)?
True
Suppose -43*j + 23*j = -1660. Let l = j - -124. Is l a multiple of 8?
False
Suppose 0 = 4*y + 3*i - 35, 0 = 14*y - 19*y + 5*i. Suppose 0 = 2*q - 8 - 2. Suppose -69 = -t - q*h, y*t - 85 = 5*h + 170. Does 27 divide t?
True
Let s(o) = -8*o + 17. Suppose 3*i + w + 17 = 0, -8*i + 5*w = -3*i + 15. Let x(n) = -n + 1. Let k(r) = i*x(r) + s(r). Is k(-7) a multiple of 19?
False
Let t = 14116 - 8374. Does 99 divide t?
True
Suppose 0 = -5*x + 10, 2*p - 386*x = -381*x + 6778. Is 6 a factor of p?
False
Suppose 0 = 10*b + 13*b + 69. Does 9 divide (33 - b)*(3 + 4/(-6))?
False
Let n(b) = -b**3 - 2*b**2 + 40*b - 16. Let s be n(-11). Let z = 127 + s. Does 76 divide z?
True
Is 17 a factor of 150/(11 - 26) + 1625?
True
Suppose -2*d - 3535 = -3*u, -5*d + 1925 = u + 707. Is u a multiple of 91?
True
Let w be (2 + (-3)/6)/((-21)/532). Let g = 34 + w. Is (-7)/(-4) + -2 + (-277)/g a multiple of 12?
False
Suppose -34*m = 5*m - 69*m + 633300. Is m a multiple of 29?
False
Suppose -y + 5*g + 1541 = 0, 5 = 2*g - 5. Does 29 divide y?
True
Let s be (2/(-5))/2 - (-5305)/25. Suppose 0 = 6*l + s + 262. Let a = 131 + l. Is a a multiple of 13?
True
Let k(b) = -2*b + 16. Suppose -3*d + 5*n = -45, 5*d - 2*n - 56 = -0*n. Let u be k(d). Is 22 a factor of u - -41*(-2 - -3)?
False
Suppose -3*s + 37 = -11. Suppose -s*v = -13*v - 1077. Is 38 a factor of v?
False
Let z = -27 - -30. Let n be (2 - z) + -7 + 4. Does 19 divide ((-29)/n)/(4/48)?
False
Let u = -29737 - -43160. Is 144 a factor of u?
False
Let q = -20 - -42. Let u(r) = -5*r**2 - 87*r - 33. Let i be u(-17). Let o = q - i. Is 3 a factor of o?
True
Suppose 8*l - 111 + 39 = 0. Is 37 a factor of l/((-45)/(-2402)) - (-21)/35?
True
Let j(u) = -u**3 + 5*u**2 - 25*u - 100. Is 6 a factor of j(-7)?
False
Let f = -2542 - -5378. Does 25 divide (1/(4 - f/708))/(-1)?
False
Let a = 9375 - 8950. Is 33 a factor of a?
False
Let f(o) = 4*o + 35. Let w be f(17). Let q = 73 - w. Does 2 divide (-1)/(-3) + 10/(-45)*q?
False
Let w(g) = g**3 + 4*g**2 + 7*g + 12. Let u be w(-3). Suppose 8*s + s - 378 = u. Is s a multiple of 2?
True
Suppose 25*z - 22*z = 48. Suppose 0 = -m - 88 + 426. Suppose z*s = 14*s + m. Is s a multiple of 13?
True
Let h = 383 + -239. Let r = -95 + h. Is 17 a factor of r?
False
Let i(k) = 2*k + 12*k - 5 - 2. Suppose 4*o = 5*o - 14. Does 27 divide i(o)?
True
Let w(m) = 68*m**2 - 7*m - 10. Let h be w(-6). Suppose -19*v + 16*v = 2*p - 1859, -h = -4*v - 3*p. Is 27 a factor of v?
False
Suppose -46*j + 46824 = 44*j - 82*j. Is j a multiple of 25?
False
Suppose -63*s - 65*s - 4032 = -140*s. Is 112 a factor of s?
True
Let i = -54 + 79. Suppose -20*b = -i*b - 135. Is (0 - 2) + (7 - b) a multiple of 10?
False
Let y = -341 - -147. Let h = y - -425. Does 10 divide h?
False
Suppose 147 = 4*t + 115. Is (16 + 1)/1*(t + 8) a multiple of 16?
True
Let n(o) = -2*o + 2. Let z be n(-1). Suppose -5*q + z = -6. Does 17 divide ((-3)/q)/(10/(-220))?
False
Let y = 8193 + 1151. Is y a multiple of 20?
False
Let x(k) = -5*k**2 + 5*k + 10. Let h(r) = 4*r**2 - 6*r - 10. Let i(d) = -2*h(d) - 3*x(d). Suppose -8*u + 25 = -3*u. Is i(u) a multiple of 25?
True
Let l(v) = -36*v + 12. Let b = 86 - 89. Does 10 divide l(b)?
True
Let y = 7433 - 4601. Is y a multiple of 118?
True
Let y(w) = -17*w**3 + 19*w**2 + 122*w - 38. Is 8 a factor of y(-5)?
True
Suppose q + 3481 = j, -41*j - 5*q = -39*j - 7018. Does 11 divide j?
False
Let b = -502 - -304. Let f = -140 - b. Let z = -31 + f. Is z a multiple of 9?
True
Let t(r) = -r**2 + 12*r - 7. Let c be t(7). Suppose -c*p + 30*p = 308. Suppose 0 = -x - 59 + p. Is x a multiple of 20?
False
Let i = -26 - -43. Let z = i - -52. Suppose 0 = v - 5*k - z, 4*v = -k - 180 + 519. Is v a multiple of 14?
True
Let d = 8666 + -4314. Does 86 divide d?
False
Let g be 2*((-9)/6)/((-5)/70). Suppose -g*q = -47*q + 240. Does 8 divide q?
True
Suppose -i + 4*i = 846. Suppose -2*p + 108 = 4*m, -5*p + m = 5*m - i. Is p a multiple of 22?
False
Let z(u) = 10*u**2 - 29*u**2 + 4*u + 12*u**2 - 12 + 13*u**2. Suppose 5*r = s + 23, -5*r - 4*s = -3*s - 17. Does 10 divide z(r)?
True
Let x(a) = 3*a**2 - 85*a + 113. Does 9 divide x(28)?
False
Suppose 3*a + 0 = -6. Let y = 4099 + -4102. Is (-1)/(y/408)*(-1)/a a multiple of 4?
True
Let y = -2196 + 14016. Is 7 a factor of y?
False
Suppose -2*w = 5*h - 3*h + 2, 4*w + 11 = 3*h. Let i be 8 - 1 - (h - -2 - 1). Suppose 3*n - i = 22. Does 9 divide n?
True
Let m(x) = 24*x**2 + x - 19. Let c be m(-5). Suppose -5*f = v - c, -f + 700 = 3*v - 1028. Is 24 a factor of v?
True
Suppose -2*b = -2*q - 6438, 5*b - 12*q + 9*q - 16091 = 0. Is b a multiple of 21?
False
Let d be (-11)/((-33)/(-12)) - 138*-1. Let f be 1050/7*8/6. Let h = f - d. Does 3 divide h?
True
Is ((-829872)/(-135))/(2/5) a multiple of 43?
False
Let j(x) = x**2 + x - 1. Let k(h) = -17*h**2 - 10*h + 8. Let i(a) = -4*j(a) - k(a). Let m(s) = 3*s**2 - 20*s - 83. Let d be m(-3). Is 13 a factor of i(d)?
False
Let q(k) = -2*k**2 - 24*k + 6. Let h be q(-10). Suppose 2*f + 46 = -h. Let p = f - -80. Does 12 divide p?
False
Suppose 3*l - 136403 = -5*a, -40477 = -5*a - 5*l + 95928. Is 248 a factor of a?
True
Let n(d) = -d**2 - 25*d + 4. Let o be 1/3 - 130/39. Let k = o + -19. Is 10 a factor of n(k)?
True
Does 22 divide 9*260748/(-486)*-3?
False
Let r = -366 - -12327. Is r a multiple of 9?
True
Let j(g) = -21*g - 9. Let o(d) = 3*d**2 - 2*d + 3. Let f be o(1). Suppose 2*u + 31 - 3 = -f*l, 4*l = 2*u - 4. Is j(u) a multiple of 9?
True
Suppose -4*w - x = -2859, w - x - 808 = -92. Does 97 divide w?
False
Let n = -5495 + 10128. Is 9 a factor of n?
False
Let b be -1 + (0 + 2)*3. Let c(j) = 25*j - 23. Is 6 a factor of c(b)?
True
Suppose -5*a = -8 + 58. Does 81 divide (1748 - a) + (-3)/3*3?
False
Let z(n) be the first derivative of n**3/3 + 5*n**2/2 + 9*n - 6. Let m be z(-4). Suppose 4*g - 441 = u - 6, 5 = m*u. Does 27 divide g?
False
Suppose 93 + 19 = -8*m. Is 40 a factor of (-112)/m*115/2?
False
Let h = 24 - 28. Does 3 divide (2/h)/(-1)*122?
False
Suppose -4*n = -0*f - 4*f - 156, 0 = 3*n - 4*f - 114. Is 17 a factor of (-34278)/(-63) - 4/n?
True
Is 4 a factor of (-78)/(-416) - 20445/(-16)?
False
Let y = -46 + 74. Suppose -v - 23 = -y. Let t(s) = 8*s**2 - 7*s. Is 33 a factor of t(v)?
True
Suppose 0 = 4*g + c + 2*c - 39, -2*c + 18 = 2*g. Let s be 9/(-12) - (-993)/g. Suppose -2*z = -0*z + 3*a - 174, z + 4*a = s. Is 15 a factor of z?
True
Let d(m) = 12*m - 10. Let n be d(28). Does 5 divide -2 + (-1 - 2) + n?
False
Suppose -5*q - 1791 = 2*d, 4*q + 1055 = -d - 3