 68511 = 4*k, -6 = -2*k. Does 145 divide l?
False
Suppose -4*n = -i + 24, -5*i + 2*n - 21 = -159. Suppose -i = -7*s + 6*s. Does 20 divide (-956)/(-9) - s/126?
False
Let t(c) = -57 - 23 - 80*c + 127 - 228. Does 77 divide t(-9)?
True
Let m(k) = -9*k**2 + 669*k - 36. Is 36 a factor of m(60)?
True
Suppose -13*a + 8*a = 205. Let l = -45 - a. Is 34 a factor of 716/l*-1 + (0 - -2)?
False
Let i(w) = -w**2 + 72*w - 314. Let f(l) = -2*l**3 + 17*l**2 + 23*l - 72. Let t be f(9). Does 39 divide i(t)?
False
Suppose -21 = 438*n - 441*n. Does 13 divide 8 + (5 - (n - 696))?
True
Let g(n) = -3*n + 213. Let p be g(0). Let y = 373 - p. Is 20 a factor of y?
True
Let l = 15715 - 10105. Is 33 a factor of l?
True
Let n be 42/9*216/84. Does 18 divide 2/12 + 1438/n?
False
Let i(p) = -20*p**2 + 39*p + 9. Let f(n) = 11*n**2 - 19*n - 4. Let b(v) = 11*f(v) + 6*i(v). Is 9 a factor of b(10)?
True
Let r = 6992 + 18736. Is r a multiple of 201?
True
Let g(r) = -5*r - 68. Let m(l) = -84*l - 1155. Let t(o) = -35*g(o) + 2*m(o). Is 4 a factor of t(-5)?
False
Let p(n) = 25*n - 2. Let w(m) = m**3 - 9*m**2 - 11*m + 10. Let v be w(10). Suppose 3*x - 6 = -v*x. Is 8 a factor of p(x)?
True
Let p(t) = -3*t + 1. Let b be p(3). Let v(d) be the first derivative of -d**4/4 - 3*d**3 - 5*d**2 + d - 140. Is 14 a factor of v(b)?
False
Suppose -99*s + 2621 = -98*s + 3*n, -3*s + n + 7933 = 0. Is 27 a factor of s?
False
Let m = 410 - 410. Suppose -3*i = 2*r - r - 404, m = i - 4*r - 139. Does 45 divide i?
True
Suppose -3*w = -3*j + 9, -3*j = -8*j - 4*w + 24. Let z be -53 + -1*(j - 6). Let v = 120 + z. Is v a multiple of 32?
False
Let f = 5126 - -2340. Does 11 divide f?
False
Let c(y) = 2*y**3 + 69*y**2 + 35*y + 101. Does 3 divide c(-34)?
False
Let o be (-3)/(-18)*15*-54. Does 20 divide (-70230)/o + (-4)/18?
True
Let j(q) = 25*q**2 + q - 8. Let m be j(-3). Let l = m + -138. Is l a multiple of 20?
False
Let o(y) = -74*y + 58*y + 76*y. Is o(4) a multiple of 12?
True
Let j = -3314 - -3990. Is 13 a factor of j?
True
Suppose -2*w = 2*i + 1194 - 15284, -4*i = w - 28192. Does 3 divide i?
False
Let x(i) = 2*i - 10. Let r be x(-4). Let h be 473/(-3) - r/(-54). Is 3 a factor of h/(-18) + 14/63 + 2?
False
Is (-11)/(-66) - -120863*4/24 a multiple of 25?
False
Suppose -164 = 18*c - 3926. Suppose -18 = -n + c. Is 10 a factor of n?
False
Let g(y) = -y**3 - 7*y**2 - 14*y - 8. Let j be ((-2)/4 + 0)*12. Does 10 divide g(j)?
True
Let s(j) = j**3 - 5*j**2 - 2*j + 22. Let y be s(5). Let w(i) = -6*i**2 + 84*i + 34. Is w(y) a multiple of 3?
False
Is 2/(4/(-6)) + 6200/5 a multiple of 14?
False
Let a = -10094 - -18094. Does 8 divide a?
True
Let o(i) = 28*i**2 + 65*i + 1029. Is 24 a factor of o(-13)?
False
Let m(r) = 5*r - 28. Let s be m(6). Suppose -4*c - 4*g + 3*g + 5 = 0, s*c - 2*g = 10. Suppose 188 = 4*a - 2*x, -c*x + 47 = a - 0*x. Is a a multiple of 11?
False
Let k(a) = -a**2 + 2*a + 5. Let w be k(0). Suppose -2*l + 64 = j - 4, -135 = -2*j - w*l. Suppose j = s + 16. Is s a multiple of 18?
True
Suppose o = 103 - 14. Let u(g) = -8*g + g**2 - o + 0*g**2 + 77. Does 5 divide u(10)?
False
Let w = 494 - 336. Let q = 276 - w. Does 15 divide q?
False
Let r(s) = -188*s - 3282. Does 19 divide r(-123)?
False
Let h(p) = 39 + 4*p + 14*p + 430*p**2 - 4*p - 428*p**2. Let f(w) = -2*w - 1. Let u be f(6). Is h(u) a multiple of 13?
True
Suppose -200*z + 192*z = -17448. Let h = -1533 + z. Is 11 a factor of h?
False
Let t = -780 + 784. Let i(q) = q**3 + 6*q**2 - 15*q - 7. Does 3 divide i(t)?
True
Suppose -1693 = -g + 3*v, 45 = g + 3*v - 1648. Is g a multiple of 7?
False
Let x(d) = 32*d**3 + 50*d**2 - 28*d + 14. Does 28 divide x(5)?
True
Let i(a) = 5*a - 47. Let q be i(11). Let r be 2/1 + -1*(-24)/q. Suppose 3*h + 3*k - 213 = 0, 0 = -r*h + 10*h - 5*k - 345. Is h a multiple of 35?
True
Suppose -b + 0*b = -2. Let c(v) = 0 + 2*v**3 + 3 - 3*v**b + 2*v**2 - 1. Is c(3) a multiple of 13?
False
Suppose -3*g + 0*t + 4*t + 11 = 0, -g + 3*t = -2. Suppose -g*l + 10*l - 120 = 0. Suppose 0 = -3*v + 12 + l. Is 12 a factor of v?
True
Does 319 divide (1372/490)/(6/8535)?
False
Suppose 9*v - 58289 + 350938 = 106*v. Is v a multiple of 7?
True
Let h = 333 + -196. Let s(n) = 3*n**2 + 56*n - 23. Let w be s(-19). Let t = h - w. Is t a multiple of 32?
False
Is 34 a factor of (-34)/(-8) + (-19182375)/(-708)?
True
Suppose 4*s - i = 29, -s - 4*s + 2*i = -40. Let b(p) = p**3 - 39*p**2 + 3*p - 119. Let h be b(39). Does 13 divide 52/s*(h + 8)?
True
Let v = -68 + 67. Let b be (4/(-10) - (-5889)/(-15))*v. Suppose -3*f + b = -495. Is 51 a factor of f?
False
Suppose 0 = k + 184 - 232. Suppose k*d + 3219 = 51*d - 2*b, 4*d = 2*b + 4290. Is 17 a factor of d?
True
Let j be 3 + (-876)/(-18)*6. Let v = j + -37. Is v a multiple of 12?
False
Let y = 131 - -121. Suppose 0 = -8*f - 28 + y. Let i = 18 + f. Is i a multiple of 16?
False
Let o(d) = d**3 + 21*d**2 - 12*d - 19. Let q(n) = n**2 - 1. Let k(c) = o(c) - 3*q(c). Is 19 a factor of k(-9)?
False
Suppose -9 = -2*j - 5*z + 11, -3*j - z + 17 = 0. Suppose 4*u = -2*q + 366, j*q - 208 - 671 = -u. Is q a multiple of 25?
True
Let h = -4562 + 5660. Is 61 a factor of h?
True
Suppose b - 85 = 51. Suppose 56 + 118 = 2*v - 2*d, 0 = 5*v + d - 423. Let z = b - v. Does 24 divide z?
False
Let h = 234 + -232. Suppose -3*l + h*f - 51 = -151, 0 = 4*f + 8. Is l a multiple of 2?
True
Let v(f) = -12*f + 4. Suppose -13*c + 5*c - 120 = 0. Let p = c - -13. Does 4 divide v(p)?
True
Let l(d) = d**3 - 2*d**2 + 3*d + 2. Let g be l(3). Suppose -766 - 254 = -g*z. Is 5 a factor of z?
False
Let y(m) = -15*m**2 + 953*m - 28. Is y(38) a multiple of 18?
True
Let m = 62 + -60. Suppose w + 3*l - 4 = l, m*w = 4*l + 16. Suppose w*i + 3*i - 72 = 0. Is 4 a factor of i?
True
Let l(f) = 2*f**3 - 27*f**2 + 23*f + 7. Let z be l(10). Let p = -187 - z. Does 43 divide p?
False
Suppose 2*g = 3*o + 11026, 15*g - o = 10*g + 27591. Does 31 divide g?
False
Suppose -2*c + 69*w + 3468 = 64*w, 3*c = w + 5163. Is 7 a factor of c?
False
Is 41 a factor of 24/(384/(-80))*-697?
True
Let u(v) = -22*v - 15*v**2 + 19*v**2 + 11 + 58. Does 3 divide u(5)?
False
Let g = -244 + 241. Is (g + -25)/((-4)/70) a multiple of 60?
False
Let n = 35 + -33. Suppose n*g - 2 = -3*y + 2, -3*y - 5*g = -10. Suppose y = m - 3, 4*z - m - 102 = m. Is z a multiple of 9?
True
Suppose 41450 = 20*b - 125850. Is 15 a factor of b?
False
Let x(v) = -22*v**2 - 51. Let f be x(-10). Let d = f - -3963. Is d a multiple of 107?
True
Let u = 5 - 6. Let d be ((-12)/(-18))/u*(-7 + 1). Suppose -92 = 2*g - d*g. Does 28 divide g?
False
Does 26 divide ((-2040)/96)/(10/(-1808))?
False
Let l(a) = a**2 - 12*a - 8. Let o(k) = -k + 23. Let x be o(12). Let w be l(x). Let n = w + 28. Is n even?
False
Suppose -4*o + 22 = 6, -5*o + 5 = -5*j. Suppose 0 = j*n + 5*b - 922, -2*b + 311 = n - 4*b. Does 70 divide n?
False
Let a(j) be the second derivative of j**5/60 + j**4/12 + 19*j**3/3 - 5*j**2 - 10*j. Let v(w) be the first derivative of a(w). Is v(0) a multiple of 10?
False
Let b = -300 - -459. Suppose 426 = 13*t - b. Is t a multiple of 6?
False
Does 42 divide (-94 - -73) + (0 - -49749)?
True
Suppose 13*r + 507 = 17407. Is 25 a factor of r?
True
Suppose 66*s - 178*s = -3762896 + 305232. Is 34 a factor of s?
True
Let f(t) = -50*t - 267. Let d(y) = -255*y - 1335. Let n(v) = -4*d(v) + 21*f(v). Does 10 divide n(-43)?
False
Suppose -3*p - 24 = -3*c, -2*c + 2 = -4*p - 10. Is 32 a factor of 3454/6 - (-2 - c/(-6))?
True
Let l = 1376 - -92. Suppose 0 = 23*x - 27*x + l. Let z = -256 + x. Is 13 a factor of z?
False
Let y = 14518 - 8470. Is 21 a factor of y?
True
Let t(j) = -14*j**2 + 747*j - 1. Is 4 a factor of t(2)?
False
Let t(j) = 245*j**3 + 4*j**2 + 71*j - 225. Does 14 divide t(3)?
False
Let j be (-5 - (-11)/2)*-3*66. Does 37 divide (j/(-6) + 2)*(-5 + 29)?
True
Let a = 40 - 6. Suppose 0 = -a*s + 24*s + 1330. Is s a multiple of 12?
False
Let p(h) = -h**2 + 19*h - 39. Let n be p(6). Suppose -37*m + z - 18 = -n*m, 9 = m - z. Does 4 divide m?
False
Let m be -1 + 0 + (-40 - -2). Let w be 8/(2*1) + 0/m. Suppose -w*d = -3*h + 116, 4*h + 5*d - 98 = h. Does 12 divide h?
True
Let o(y) = -y**2 + 15*y - 26. Suppose 20 = -4*d + 9*d. Let r(n) = -2*n**2 + 29*n - 51. Let h(c) = d*r(c) - 9*o(c). Does 6 divide h(18)?
True
Suppose -5*j + 16 = -3*u + 2, -2*j + 3*u + 11 = 0. Let