 0 = -4*n + i + 27 - 7, -3*i + 36 = 4*n. Suppose k + 104 = n*o. Does 17 divide o?
False
Suppose 90*v + 17*v + 55*v = 2049948. Is 24 a factor of v?
False
Suppose -137459 + 19397 = -21*l. Does 12 divide l?
False
Suppose -6*i = -11*i - 4*d + 16, -d + 11 = 3*i. Suppose -4*f + q = -441, i*f + 3*q - 276 = 161. Is 27 a factor of f?
False
Let b(i) be the second derivative of i**3/6 + 11*i**2 - i - 122. Suppose -5*u - 30 = -2*u. Is 4 a factor of b(u)?
True
Let g = 354 - 288. Suppose 0 = -45*n + g*n - 16506. Is 62 a factor of n?
False
Does 69 divide 17323 + (138 - 141)/((-3)/(-4))?
True
Suppose 1716 = -3*l + 6288. Suppose 0 = -3*b - 12, -4*u + 13*b + l = 9*b. Is u a multiple of 7?
False
Suppose 3*w - 16798 = -i, w - i - 2275 = 3335. Is 2 a factor of w?
True
Suppose 9*l - 11*l + 6 = 0. Let k be (136 - -5) + 1*l. Suppose 504 = 3*q + k. Does 24 divide q?
True
Let f = -1378 + 1205. Suppose -q - 39 = -5*l + l, -2*q - 4*l - 102 = 0. Let r = q - f. Is r a multiple of 18?
True
Is (-58006)/(-13) + -10 + (-14 - -2) a multiple of 15?
True
Suppose -5*v - a + 3257 = 0, -2823 = -4*v - 5*a - 230. Is 2 a factor of v?
True
Let n = 46 + -41. Suppose -10 = -n*x + 25. Suppose -24 = 6*z - x*z. Is z a multiple of 12?
True
Suppose 756*c - 683*c = 1070034. Is c a multiple of 50?
False
Let v(c) = 5*c**2 + 2*c + 13. Suppose 2257*q - 2249*q = 40. Does 16 divide v(q)?
False
Let j(s) = -s**3 + 9*s**2 + 5*s - 28. Let p(c) = c**3 - 6*c**2 - 5*c + 29. Let v(t) = -5*j(t) - 6*p(t). Is v(-13) a multiple of 56?
False
Is 186 a factor of (6912/(-1440))/((-6)/13840)?
False
Suppose 122*g - 1975 = 117*g. Suppose -5*x + g = -5*a, 4*x + a = 3*a + 308. Is 16 a factor of x?
False
Let a(o) = 706*o**2 + 5*o - 15. Does 29 divide a(3)?
False
Let c = -85 + 130. Let d = 14 - 12. Suppose o - c = -d*o. Is 3 a factor of o?
True
Suppose 5*s + 25 = 0, 79 = -6*k + 3*k - 5*s. Let c be (-76)/k + (-14)/63. Let j = 55 - c. Is 17 a factor of j?
True
Let o be (-12*19/76)/(6/16). Let s(f) = -67*f + 64. Is s(o) a multiple of 8?
True
Suppose 0 = -3*g + 2*t + 835, t - 172 - 387 = -2*g. Suppose -2*v - z + 641 = -g, 2*v - z = 928. Does 10 divide v?
False
Suppose -f = -w - w - 84, 2*f = -3*w - 140. Let z be (-226)/(-10) - 0 - 4/(-10). Let v = z - w. Is v a multiple of 22?
False
Let w(k) = 2*k - 34. Let m be w(14). Let g(d) = -6*d - 36. Let r be g(m). Suppose c + 7 - 41 = 3*p, 3*c - 5*p - 106 = r. Is 12 a factor of c?
False
Let w be 552 + 2/(-8)*-12. Let s = -172 + w. Is 33 a factor of s?
False
Suppose -13*l - 15*l + 157900 = -8*l. Does 67 divide l?
False
Suppose 6*q = 8*q - 18. Let m(j) = 7*j**2 - 3*j - 1. Let o be m(q). Let k = -346 + o. Does 53 divide k?
False
Is 47 a factor of (282 + 0)/((110/1914)/((-10)/(-12)))?
True
Let w(o) = 15*o + 4874. Is w(63) a multiple of 36?
False
Suppose -4*b + 24*i - 15 = 27*i, -4*b = -5*i - 25. Is (-370 + b/2)*(83 + -85) a multiple of 22?
False
Suppose -g + 2*k = -4542, 3*g + 4*k = 21221 - 7535. Is 33 a factor of g?
True
Let y(n) = 3*n**2 + 4*n - 356. Let h(s) = -s**2 - 2*s + 178. Let j(c) = 5*h(c) + 2*y(c). Is 12 a factor of j(28)?
False
Suppose 2*q + 4*z = 8, 2 = 2*q - 5*z + 3*z. Let j(r) = -2*r**2 + 3 - 6*r**3 + 4*r**3 + 0*r**3 + 7*r - q*r. Is j(-3) a multiple of 12?
True
Let b(q) = -q**3 + 3*q**2 + 4*q + 5. Suppose -4*l = -20, -k - 5*l + 3*l = -14. Let g be b(k). Suppose -2*y + g*y = 150. Is y a multiple of 10?
True
Suppose 3*f + 6*f - 36 = 0. Suppose -q + 480 = 4*g, -3*q = -5*g - 5*q + 597. Suppose -5*u + g = f*t, -6*t + 3*u + 145 = -2*t. Does 15 divide t?
False
Let v(s) = -18*s**3 - 5*s**2 - 3*s + 9. Let l be v(-5). Is 62 a factor of 54/216*(l + -1)?
False
Is (-36342)/(-495)*45 + 2*(-1)/(-11) a multiple of 7?
True
Let n(y) = -y**3 - y**2 - 1. Let v be n(-2). Let f be 9 + 96/(-10) + (-28)/(-5). Suppose v*g = -g + 20, -2*o - f*g + 69 = 0. Is o even?
True
Let w(k) = -9*k + 62. Suppose -10*x + 0*x = 120. Is 34 a factor of w(x)?
True
Let p(h) = -35*h - 69. Suppose -12 = 3*t, 2*v - 6*v - 40 = 2*t. Is p(v) a multiple of 12?
False
Let i(r) = 2*r**2 + 14*r + 24. Let o be i(-5). Suppose -z + 2*z - 20 = -o*p, 2*z - 45 = -3*p. Does 6 divide z?
True
Let a(x) = 1123*x**2 + 21*x + 13. Let n(r) = -281*r**2 - 5*r - 3. Let k(b) = -2*a(b) - 9*n(b). Is k(-1) a multiple of 24?
False
Suppose -62687 = -67*s + 8039 + 21868. Does 13 divide s?
False
Let m(i) = -i - 4. Let z be m(-11). Let s(j) = j**3 - 2*j**2 - 18*j + 7. Is 9 a factor of s(z)?
True
Suppose 58708 = 2*s - k, -73*s = -71*s + 3*k - 58684. Is s a multiple of 49?
True
Let v = -11548 - -17268. Is 6 a factor of v?
False
Let q = 41 - 53. Let g = q - -18. Suppose 2*y + 4*i + 100 = g*y, -4*i + 116 = 4*y. Is 7 a factor of y?
False
Let a(t) = -t. Let j be a(1). Let m(r) = 46*r**2 + r - 1. Let z(f) = 47*f**2 - 3. Let w(h) = 3*m(h) - 2*z(h). Is w(j) a multiple of 4?
True
Let z be 538/5 + (-4)/(-10). Suppose -3*j = 3*j - z. Let h = 38 - j. Does 20 divide h?
True
Suppose 12*x - 221 = -17. Suppose -2*j - x = -3*z, 0 = -2*j - 6*z + 2*z + 4. Is 16 a factor of -8*(j - (3 + -3))?
True
Let x be ((-2)/(-6) + (-20)/(-12))*1. Suppose 0 = -7*d + 2*d - x*o + 3210, d - 629 = -3*o. Is d a multiple of 28?
True
Suppose 5*g = -3*c + 4658, 6*g + 3*c = 5*g + 946. Does 65 divide g?
False
Let b = 19 - 13. Suppose 7*r = b*r + 68. Suppose 10*q = 12*q - r. Is 3 a factor of q?
False
Suppose -46*k - 94356 + 242798 = 0. Does 12 divide k?
False
Let c = 1259 + -598. Suppose -13*j + c = -2381. Is 26 a factor of j?
True
Suppose 0 = -k - 2, 2*g + 3*k + 28 = -20. Let u = 780 + g. Is 11 a factor of u?
True
Let t be -12 + 12 + (-1 - 52). Let f = t - -311. Is f a multiple of 23?
False
Let n = 2087 - -2568. Does 6 divide n?
False
Let k = -71 - -34. Let a = 25 + k. Does 11 divide 113 - (-7)/(28/a)?
True
Let c(b) = b**2 + 1 + 1 + 2*b + 10*b. Let x be c(-12). Is (-3)/(2/x) + 40/2 a multiple of 11?
False
Suppose 7 = -n + 11. Suppose 2*j - 1445 = -5*l, 0*l - n*j - 867 = -3*l. Is 9 a factor of l?
False
Suppose -1409 - 427 = -2*n - 3*d, 5*n - 4*d - 4544 = 0. Is 16 a factor of n?
True
Let r(c) = -1797*c - 1241. Is r(-9) a multiple of 28?
False
Let g = -42 - -41. Let w be ((-17)/(-34))/(g/(-262)). Let f = -82 + w. Is f a multiple of 9?
False
Suppose 43*d = 41*d + 2494. Suppose 3*l + 0*l + u = d, -5*l = 3*u - 2077. Does 13 divide l?
True
Suppose -14*m + 104 = -6*m. Suppose 0 = m*v - 6061 - 2259. Does 32 divide v?
True
Suppose -3*u + 0*u + 252 = 0. Suppose 5*r - 854 + 179 = k, -r = -3*k - 149. Let t = r - u. Is 20 a factor of t?
False
Suppose -2*f = 9616 - 26050. Does 5 divide f?
False
Let t(w) be the first derivative of -w**4/4 + 2*w**3/3 - 3*w**2 + 2*w + 83. Is 5 a factor of t(-3)?
True
Let a(n) = 3*n - 26. Let t be a(10). Let m(g) = 28*g + 32. Does 20 divide m(t)?
False
Suppose q = 4*c - 4362, c - 3*q - 891 = 205. Suppose -c = 7*i - 3134. Is i a multiple of 12?
False
Suppose 4*y = -8*y - 1596. Let k = 87 - y. Is 20 a factor of k?
True
Does 14 divide (-1)/((-22)/63562) + 266/(-1463)?
False
Suppose -21 - 14 = -5*i. Suppose i*u + 624 = 9*u. Does 26 divide u?
True
Let o be (-42)/(-77) - (-765)/(-11). Is (-4 - (-184)/(-24))*o a multiple of 62?
False
Let u = -25 - -25. Suppose u = -4*m - 4, 4*m + 10 = p - 0*m. Does 8 divide (-2)/p + (-680)/(-15)?
False
Suppose -5*d + 2*g - 26 = -195, -5*g - 10 = 0. Suppose d*m - 29*m = 1180. Is m a multiple of 41?
False
Suppose -5*d - 93452 = -5*v - 27822, -2*v + 26231 = 5*d. Does 17 divide v?
False
Let l(g) = 2*g - 23. Let a be 32/(1 + 3) + 4. Let i be l(a). Let s(o) = 54*o - 3. Does 17 divide s(i)?
True
Suppose 0 = 2*z - 3*s - 3898, -4*z + 4950 = -4*s - 2842. Is z a multiple of 13?
False
Suppose -4*y - 2*y + 12 = 0. Let n(v) = 4*v - 5. Let g be n(y). Suppose -112 = g*c - 4*c. Is 16 a factor of c?
True
Let m(g) = 2*g**2 - 22*g - 26. Let o(x) = 1. Let k(q) = m(q) + 10*o(q). Let i = -31 - -44. Does 6 divide k(i)?
True
Let z = 6556 - -17348. Suppose -14*u = 2*u - z. Does 14 divide u?
False
Suppose 2*r + 21*i - 2818 = 26*i, 4*i - 2800 = -2*r. Is 49 a factor of r?
False
Let j(i) = 198*i**2 - 606*i - 3620. Is j(-6) a multiple of 3?
False
Is 89 a factor of 10 + 104166/90 - (-6)/10?
False
Let c = 68 - -1223. Suppose -53 - c = -7*f. Is 9 a factor of f?
False
Suppose -3*o + 331 = 2*o - 4*m, -106 = -2*o - 5*m. Let i(q) = 2*q - 41. Let t be i(66). Suppose -t = -h + o. Is 28 a fac