*a - 2*t = -47. Suppose -a + 4 = -h. Let u(d) = 10*d + 6. Is u(h) a multiple of 13?
False
Let f(j) = j**3 + 5*j**2 - 8*j + 9. Let h be f(-6). Is -3 + (-1747)/(-3) + 14/h a multiple of 29?
True
Suppose -5 = -5*g + 5*x, -2*g - 1 + 6 = x. Suppose 12*f + a = 16*f - 1860, 0 = g*f + 3*a - 930. Is 15 a factor of f?
True
Let f(d) = 10*d**3 - d**2 + 1. Let l(g) = -10*g**3 + g**2 - 1. Let k(v) = -6*f(v) - 4*l(v). Let c = 6307 - 6308. Is 2 a factor of k(c)?
True
Suppose -5*v + 9*v - 4 = 0, 4*m = 4*v + 420. Let g = m + 146. Is g a multiple of 28?
True
Let v(q) be the third derivative of -q**5/60 - q**4/12 + 23*q**3/6 + 11*q**2 + 7*q. Is 4 a factor of v(3)?
True
Let n = 9 + -24. Let i be 193/(-4) + n/20. Let t = -27 - i. Is 10 a factor of t?
False
Let l be (36/(-3 - 1))/(6/4). Let s be (l/(-9))/(2/(-36)). Does 22 divide 23 - (4 + s/4)?
True
Let c = 4273 - -193. Is c a multiple of 29?
True
Suppose 6*t = -3*w + t + 13, w + 7 = 4*t. Let r = 2 + w. Is 17 a factor of (-1 - (r + 158/5))*-5?
False
Let b be 5 + -8 + -1 + 21. Let f(z) = z**2 - 18*z + 17. Let j be f(b). Does 2 divide (j - (1 + 0))/(19/(-133))?
False
Let k = -3399 + 5166. Is k a multiple of 19?
True
Suppose 8*k - 6*k = -88. Let o be k/(-36) - 1 - (-191)/(-9). Let v(d) = d**3 + 22*d**2 + 13*d - 22. Does 17 divide v(o)?
False
Suppose 100*l = 4*k + 101*l - 8090, k + l - 2027 = 0. Is 43 a factor of k?
True
Suppose -5*h + 40 = 3*v, 8 = 4*v - h - 7. Suppose 5*k = -0*d + v*d + 540, 5*d + 100 = k. Let i = -79 + k. Is 29 a factor of i?
False
Let l = 902 - -358. Suppose -345*o = -350*o + l. Is o a multiple of 36?
True
Suppose -a - 5 + 14 = 0. Let w(x) = -x**2 + 9*x + 5. Let l be w(a). Suppose h = -4*m - 57 + 149, -l*h + 570 = -2*m. Does 18 divide h?
False
Suppose 0 = 236*l - 219*l - 13209. Is l a multiple of 7?
True
Suppose -17*n - 2*a = -14*n - 15616, 2*n - 4*a = 10384. Does 34 divide n?
True
Suppose -3*m - 5*n + 10717 = 0, 4*m - 14291 = 8*n - 13*n. Does 11 divide m?
False
Is (135/(-225))/(2/(-15560)) - -4 a multiple of 20?
False
Let l = -6117 + 8785. Does 92 divide l?
True
Suppose -2*g + 4 = -6. Let m(y) = -8 + y - 3*y + 5 + g*y. Is 6 a factor of m(7)?
True
Suppose 6*h - 18 = -18. Suppose h = -207*u + 205*u + 608. Let g = u + -178. Does 9 divide g?
True
Let x(t) = -t**3 - 15*t**2 - 14*t + 15. Let s be x(-9). Let f = 357 + s. Is 12 a factor of f?
True
Let o be (45/(-10))/(20/8 - 3). Suppose 2*q - 33 = -o*q. Does 3 divide q?
True
Let m(v) = 119*v**3 - v**2 + 17*v - 31. Is 2 a factor of m(2)?
False
Let x be ((-12)/(-8) + 0)*(-20)/(-6). Suppose -1403 = -x*m + 4477. Is 84 a factor of m?
True
Suppose 29*r + 147*r = 300608. Does 15 divide r?
False
Suppose -3*t = 3*p - 30, -13 = -t - 0*t - 2*p. Suppose -t*m + 16 = -19. Suppose 0 = -m*n + 229 + 86. Is 10 a factor of n?
False
Suppose 504 - 24 = 5*h. Suppose -2 = -2*p, -2*k + 7*k + 239 = 4*p. Let a = k + h. Is a a multiple of 7?
True
Let i(s) = 20*s**2 + 7*s + 4. Let r(o) = 21*o**2 + 8*o + 5. Let v(b) = 7*i(b) - 6*r(b). Suppose -d + 33*d - 64 = 0. Does 7 divide v(d)?
True
Let q(m) be the third derivative of 109*m**4/24 - m**3/3 + 11*m**2. Let u be q(1). Suppose -4*x + 5*p + 51 + 160 = 0, -2*x + p = -u. Is 9 a factor of x?
True
Does 12 divide (9/6)/(-1 - (-8402)/8400)?
True
Let d(h) be the first derivative of 22*h**3/3 + 13*h**2/2 + 10*h - 32. Let l be d(-3). Suppose 5*m = 251 + l. Is 10 a factor of m?
False
Let u(n) = -n**3 - 2*n**2 - n. Let m(y) = -3*y**3 + 3*y**2 - 23*y - 20. Let j(l) = m(l) - 4*u(l). Is j(-11) a multiple of 20?
False
Let c(b) = 31*b**2 - 15*b + 14. Is 140 a factor of c(-23)?
False
Suppose -a + 5*z + 4 = -5, 0 = 4*z + 4. Suppose 0 = 4*x - a*w - 1420, 2*x - 475 = -3*w + 260. Is x a multiple of 24?
True
Let k = -130 + 132. Suppose 0 = -2*x - k, -y - 3*x = 3*y - 1293. Does 24 divide y?
False
Let t be 82/(-287) + -3*346/(-7). Suppose 2*l - 364 - t = 0. Is 5 a factor of l?
False
Does 22 divide (0 - (-1 - -2))*(-14 + -19 + -12510)?
False
Let r be ((-16)/10)/((-3)/45*-6). Let a(v) = -6*v**3 - v**2 + 7*v + 2. Let g be a(r). Suppose 3*o + 6 = 0, -2*d + g = -o - o. Does 13 divide d?
True
Let p = 254 - 246. Suppose p*h = 1618 + 198. Does 7 divide h?
False
Let q be ((-7)/(-21))/(2/48). Suppose q = t + 4. Suppose -5*y = -t*x + 133, 6*x - 2*y - 118 = 2*x. Is x a multiple of 21?
False
Suppose -404 = -3*f + 5*t + 774, 5*f = 4*t + 1946. Does 8 divide f?
False
Let s(a) = 17*a + 36. Let o be s(-2). Suppose -2*t - 1195 = -b, 4*b - o*t - 4760 = t. Is b a multiple of 32?
False
Suppose c + 5*c = 0. Suppose 3*l - 3*v - 579 = -4*v, c = l - 4*v - 180. Is 43 a factor of l?
False
Suppose 18*z = 21*z + 166 - 661. Does 107 divide z?
False
Does 22 divide (-3120)/(-960) - 58102/(-8)?
False
Let t(h) be the second derivative of -7*h**3/3 + 5*h**2/2 - 34*h. Let c be t(-7). Suppose 108*a = c*a + 135. Does 2 divide a?
False
Let n = 77 - 69. Suppose -5*f - n*q + 41 = -9*q, 2*q = 4*f - 34. Does 20 divide (6/f)/((-10)/(-40)) - -157?
True
Let t = -93 + 88. Let n be (-5 + (-20)/t)*-177. Let a = 297 - n. Is 30 a factor of a?
True
Let p = 13580 + -9760. Does 2 divide p?
True
Let y = -110 - -104. Let b(r) = -26*r - 52. Does 9 divide b(y)?
False
Suppose 170*y + 406849 = 7255469. Does 151 divide y?
False
Does 124 divide ((6/(-8))/((-15)/120) - -8668) + 2?
False
Let h = -8135 - -11464. Does 121 divide h?
False
Let c = -6574 + 10129. Is c a multiple of 38?
False
Is 38 a factor of (1702/(-6))/(((-35)/(-126))/(-5)*1)?
False
Let n be 7 - 1/2*(-1 + 3). Suppose n*a - 5*b - 3295 = a, -4*a - 4*b + 2644 = 0. Suppose -12*m = -23*m + a. Does 6 divide m?
True
Let d(x) be the third derivative of -x**6/60 - x**5/15 + 2*x**4/3 - x**3/2 - 122*x**2. Does 65 divide d(-6)?
False
Let x(i) = 115*i + 63. Is x(22) a multiple of 70?
False
Suppose 14*b - 4*b - 250 = 0. Does 44 divide (6 + 434)*30/b?
True
Let l(f) = -16*f**3 + 6*f**2 - 30*f - 6. Does 47 divide l(-6)?
False
Is 38 a factor of (-58606)/(-9) - (608/(-144) + 4)?
False
Let m = 217 + -221. Is 8 a factor of m/(-3 - (3 + -2)) - -197?
False
Suppose -3*a + a - 14 = 0. Let o(f) = -5*f**2 + 5*f - 2. Let l(x) = 14*x**2 - 14*x + 7. Let k(n) = 4*l(n) + 11*o(n). Does 11 divide k(a)?
False
Suppose 14*i - 15*i = 5*h - 4131, -4*i = 2*h - 16596. Is i a multiple of 27?
False
Let i = 24140 - 18854. Is i a multiple of 2?
True
Suppose -8*h + 68*k - 67*k + 3890 = 0, 0 = -h - 5*k + 517. Is 36 a factor of h?
False
Let n(u) = 17*u + 36. Let h be n(-2). Suppose h = c + 7, 3*f - 1284 = 3*c. Is f a multiple of 44?
False
Suppose -1282876 = -341*p + 7064804. Does 17 divide p?
True
Let a(t) = 11*t - 151 + 149 - t**2 + t. Is 3 a factor of a(9)?
False
Suppose -3*s + 35 = -19. Let w be (-3)/(s/(-21)) + (-1)/(-2). Suppose 0*p = -2*p - w, p = -5*h + 313. Is h a multiple of 7?
True
Let s = -2123 + 2129. Let h = -1 - -1. Suppose h = s*l - 18*l + 516. Is 5 a factor of l?
False
Let v = -508 - -510. Suppose v*z + 596 = 2*m, 0 = -5*m - 3*z + 1088 + 442. Is 3 a factor of m?
True
Let m be (4 - (-84)/(-15))/((-3)/15). Suppose q = -m*q + 1296. Does 18 divide q?
True
Suppose -l = 3*j + 2*j - 17, 2*j = 2*l + 14. Suppose -475 = -5*o + j*n, 5*o + 5*n - 432 - 43 = 0. Let v = o - -17. Is v a multiple of 10?
False
Suppose 4*w + 6*k = 9*k + 43211, -7*w - 5*k = -75609. Is 12 a factor of w?
False
Is 44044/32 + 30/(-80) a multiple of 3?
False
Let o = 14270 + -6323. Is o a multiple of 27?
False
Suppose 0 = -3*q - q - 20. Let h be (3/6)/(q/(-1830)). Suppose -h = -5*z + 112. Is z a multiple of 31?
False
Suppose -126*g = -22*g - 59488. Is 22 a factor of g?
True
Let g = 11 - -28. Let r = 157 + g. Is r a multiple of 8?
False
Does 3 divide 16798/18 + -7 + (-690)/(-54) + -6?
True
Let n = 912 - 1403. Let i = n + 861. Does 10 divide i?
True
Does 91 divide ((-18164)/(-38))/(-4*3/(-894))?
False
Is (15936/(-336))/((-4)/1610) a multiple of 19?
False
Let t(z) be the first derivative of -z**4/12 + 19*z**3/6 + 13*z**2/2 - 8*z - 3. Let l(g) be the first derivative of t(g). Is l(19) a multiple of 3?
False
Let v = 15866 + -5210. Does 148 divide v?
True
Let g(a) = -8*a**2 + a - 12. Let q be g(-7). Let r = -350 - q. Does 15 divide r?
False
Let x = 15417 - 10449. Is 72 a factor of x?
True
Suppose -19*g + 17*g - 31779 = -5*n, 2*n - 12711 = g. Does 28 divide n?
False
Let n = -61 - 40. Let d(m) = -m**3 - 16*m**2 + 45*m + 76. Let r be d(