 a multiple of 43?
True
Let u = 229 - 1215. Let h = 1502 + u. Is h a multiple of 9?
False
Let x = 30313 - 13203. Is 58 a factor of x?
True
Let c(y) = -y**2 - y + 17. Let k be c(-4). Suppose k*b + 170 = 6*b - s, -s + 355 = 2*b. Is b a multiple of 25?
True
Let m be (-1*4)/(9/((-585)/10)). Suppose m*y + 11072 = 42*y. Is 10 a factor of y?
False
Let i(w) = 11*w**2 + 35*w - 341. Let v(g) = 5*g**2 + 17*g - 170. Let h(f) = 6*i(f) - 13*v(f). Is h(0) a multiple of 3?
False
Let n(u) = 2*u + 7. Let x be (54/12 + 1/2)*-1. Let i be n(x). Is 5 a factor of (-85)/i - 8/(-12)?
False
Let i = -156 - -213. Suppose v = 82 + i. Is v a multiple of 15?
False
Suppose 3*k = 4*r - 3*r + 28, -3*k + 24 = 3*r. Let m(v) = 2*v**3 - 10*v**2 + 6*v - 27. Does 15 divide m(k)?
True
Let x(t) = -10*t - 34. Let c be 178/8 + (38/8 - 5). Let k = c - 28. Is x(k) a multiple of 10?
False
Let n be (-4 - -15) + 50 + -2. Suppose o + 69 = w, -4*w - o - 23 + 279 = 0. Let q = w - n. Is 6 a factor of q?
True
Suppose 9*a - 725 + 2705 = 0. Let z = 151 - a. Is 34 a factor of z?
False
Let h(x) = -13*x**3 + 4*x**2 + 6*x + 3. Let t be h(-1). Suppose -t*v - 502 = -10106. Is v a multiple of 49?
True
Suppose 0 = 23*s - 32*s + 18. Is (-8900)/(-75) + s/(-3) a multiple of 14?
False
Let k(v) = 7*v**2 - 3*v - 4. Let d be k(-2). Is 5 a factor of 12/(-126)*-7*d?
True
Is 19842/8 + 6 + (-464)/64 a multiple of 5?
False
Suppose -3*d = 2*a + 37 + 102, 4*d + a = -177. Let v = d - -9. Let i = v - -154. Is i a multiple of 15?
True
Let v(t) = 133*t**3 + 7*t**2 - 11*t + 29. Is v(2) a multiple of 36?
False
Let y = -904 - -1842. Is 14 a factor of y?
True
Let q(s) = 325*s**2 + 20*s - 9. Does 24 divide q(-3)?
True
Let x(a) = -a**3 - 5*a**2 + 12*a + 69. Let u be x(-12). Suppose 0 = -q - 6*y + 2*y + 897, 5*y + u = q. Is q a multiple of 11?
True
Suppose 0 = -8*i - 9*i + 41075 + 704341. Does 56 divide i?
True
Let m(v) = v**3 - 126*v**2 + 64*v - 1017. Does 140 divide m(127)?
True
Let p be -6 - -1*5/(-5). Let m(t) = -31*t - 67. Does 25 divide m(p)?
True
Let y = 18428 + -11432. Is 159 a factor of y?
True
Suppose 142 - 102 = 5*x, 2*x + 50188 = q. Does 8 divide q?
False
Let l(c) = 8*c**2 + c - 681. Does 10 divide l(24)?
False
Suppose 0 = 4*x + 3*u - 1699, 0*x + 5*u = x - 419. Let m(j) = -j**3 - 24*j**2 + 54*j + 55. Let c be m(-26). Suppose -c*f - 34 = -x. Does 51 divide f?
False
Let m(j) = -j**2 - 61*j - 13. Let t be m(-45). Let a = t + -82. Is a a multiple of 5?
True
Suppose 5*j - 174 = 46. Is 5 a factor of j/3 + (49/7)/21?
True
Suppose 4*f = 3*y - 55484, 2*y - 7*f = -8*f + 37015. Is y a multiple of 15?
False
Let c(h) = -h + 188. Let v(r) = -104*r - 7. Let y be v(1). Let g = -111 - y. Is c(g) a multiple of 47?
True
Suppose -211*h + 212*h + 192703 = 5*k, 4*k - 154172 = 2*h. Is k a multiple of 10?
False
Suppose 0 = -15*b + 18*b - 1017. Suppose 0 = 11*j - b - 508. Suppose -j*u = -78*u + 56. Is u a multiple of 5?
False
Let a(t) = 12*t + 78. Let d be a(4). Suppose d = 9*w - 5850. Does 83 divide w?
True
Let v(d) = d**2 + 3*d + 5. Let j be v(-3). Suppose -j*o - 4*i + 131 = 0, -3*o + 21 + 61 = -i. Is o a multiple of 27?
True
Let u(i) = 2*i**2 - 31*i - 415. Is u(33) a multiple of 18?
False
Suppose t = -44 + 50. Let v be (-1280)/15*(0 - t/4). Suppose n = 3*h + v + 25, -149 = -n - h. Is 26 a factor of n?
False
Suppose -2*d - 3*r - 3 = d, d + 3 = -3*r. Let s(n) = 2*n**2 + 2*n - 4. Let v be s(d). Is 14 a factor of (-28)/(2 - ((v - -9) + -1))?
True
Suppose -3*p = 5*b - 83, 3*b - 53 = -p - 0*p. Is 2 a factor of b?
False
Suppose -4*t + 3*x = -3316 - 7206, 5*x + 10 = 0. Is t a multiple of 14?
False
Suppose -5*n + 4*s = 246 - 282, -2*n - 3*s = 4. Let i = -56 + 161. Suppose -n*f = 5*a - 134, 5*a = 2*f + i + 53. Does 13 divide a?
False
Suppose -498 = -17*c + 16*c + 2*y, c = y + 501. Is c a multiple of 41?
False
Suppose -52 = -2*p - 3*b, -p + 3*b + 8 = -0. Suppose 18*t = p*t - 4. Suppose 280 = t*c + 5*c. Is c a multiple of 6?
False
Let y be (-21)/(-4) + (-81)/(-12) + -6. Is (-29)/58 - y/(-4)*23 a multiple of 2?
True
Let t = -3882 - -10392. Does 62 divide t?
True
Suppose -3 - 9 = 3*l. Let c be 0*(6/l)/((-3)/2). Suppose -180 = -t - 5*j + 17, 2*t + 4*j - 400 = c. Is 42 a factor of t?
False
Is 34 a factor of (7854/616)/((2/(212*-1))/(-68))?
True
Let i(h) = -11*h - 1. Let r be i(-1). Suppose -3*k = r - 16. Suppose -2*v + 212 = k*v. Is 21 a factor of v?
False
Suppose 2*y = -2*h + 2, -3 + 6 = -h - 5*y. Suppose v = h*g + 88, 2*v + 2*v = -5*g + 300. Is v a multiple of 2?
True
Let v(m) be the third derivative of m**6/120 + m**5/6 + m**4/2 - 7*m**3/6 - 2*m**2 + 19. Is 14 a factor of v(-7)?
True
Suppose -131*t + 439679 = 124100. Is t a multiple of 73?
True
Let s(d) = d**3 + 42*d**2 - 235*d - 96. Is s(-39) a multiple of 6?
True
Let g be -4 - (-4 - (-4 + 9)). Suppose -g*f + 12 = -2*k + 2, -21 = -k - 4*f. Suppose -3*y - 4*q + 249 = k, 0 = 4*q + 20. Does 13 divide y?
False
Suppose 60*b - 4510695 = 83*b - 268*b. Is 19 a factor of b?
True
Let p(k) = -k**3 - 4*k**2 - 6*k - 5. Let g be p(-3). Let n be 174*(14/g + -2). Suppose -n = -4*a + 91. Is 29 a factor of a?
False
Suppose 41 = v + 4*t, 0*v + 5*t = 3*v - 72. Suppose v*o - 33*o + 4 = 0. Is o + 20 - -2*(-2 + 1) a multiple of 6?
False
Let k be (3/((-18)/(-20)))/((-18)/189). Let o be 2/(-3)*3048/(-16). Let d = k + o. Does 23 divide d?
True
Let a be (-630)/(-153) - (-2)/(-17). Suppose 3*q - 5*r - 25 = -a, 5*q = -2*r + 66. Is 6 a factor of q?
True
Suppose -4066*u + 4081*u - 21030 = 0. Does 3 divide u?
False
Let i(s) be the third derivative of -s**6/60 - s**5/15 - 5*s**4/24 - s**3/3 - s**2. Let v be 7 - (12 + 5/(-5)). Does 8 divide i(v)?
False
Suppose 129*y - 127*y = 3*s + 11, y + 3*s = -8. Does 13 divide 7 + y + 236 + 14?
False
Let p = -239 + 247. Suppose -9*a = -350 + p. Is a a multiple of 19?
True
Let m(g) = -g**3 + 42*g**2 + 114*g + 37. Let y be m(44). Let z = 2116 - y. Does 11 divide z?
True
Let u(x) = 7*x**2 + 9*x - 27. Let o be u(3). Suppose 24 + o = f. Is f a multiple of 10?
False
Let f = -292 - -386. Suppose 32 = z + 4*m + 10, 0 = -5*z - 2*m + 20. Suppose 104 = z*l - f. Is l a multiple of 23?
False
Let v be (-15 + 4)*(-5 + -1). Suppose -5*u = v - 441. Let m = 151 - u. Does 19 divide m?
True
Let i = 108326 - 76803. Is i a multiple of 22?
False
Let n(u) = u**2 - u + 30. Let i be n(10). Is (-144)/i*665/(-2) a multiple of 57?
True
Let g(u) = u**3 + 11*u**2 + 27*u - 8. Let d be g(-6). Suppose -2*k + f + 1012 = 0, -d*k + 2*f = -14*k + 2008. Does 21 divide k?
True
Suppose -4*t = 6*l - 7*l - 23, 0 = -3*l + 4*t - 29. Is 301 - l*(-6)/18 a multiple of 25?
True
Suppose -2*o - 10907 = -2*p + 6409, 2*p = o + 17310. Is 21 a factor of p?
True
Is 1424 - (7 + 300/(-20)) a multiple of 105?
False
Suppose 2*t = -5*s + 24, 9*t - 13*t + 26 = -s. Suppose 0 = -t*v + 814 + 306. Does 20 divide v?
True
Let h(k) = -25*k - 11. Let t be -2 + (16/10)/(6/15). Let r = t - 4. Does 6 divide h(r)?
False
Suppose 2*g = 41*y - 39*y + 8, 0 = -5*g - 4*y + 2. Suppose -6*i + g*i - 164 = -2*b, -352 = -4*b - 4*i. Is b a multiple of 10?
False
Suppose 24*x - 46 - 2 = 0. Suppose 0*n = -x*l - n + 2605, 2*l - 4*n = 2600. Does 14 divide l?
True
Let w = 60723 + -40288. Is 17 a factor of w?
False
Suppose 44 = m + 4*b - 2094, -10666 = -5*m + 4*b. Suppose 18*u - 3860 = m. Is 18 a factor of u?
False
Suppose 27*f - 402097 + 303406 - 1370460 = 0. Does 39 divide f?
False
Suppose -3*h + 72 = -11*h. Let v(j) = j**2 - 6*j - 72. Does 6 divide v(h)?
False
Suppose 114975 = -90*j + 111*j. Is j a multiple of 25?
True
Let y be 46/(-5)*(-2 - (-15)/(-5)). Suppose -2*v - y = -56. Suppose -5*d - w + 293 = 43, -v*d + 235 = -2*w. Does 25 divide d?
False
Is 25 + -18 + -13 - -5617 a multiple of 11?
False
Suppose 1039 = 4*j - 0*y + y, -j - 4*y + 256 = 0. Suppose -4*p = c - 38, 0 = -p + 4*c - 2 + 3. Suppose -j = p*g - 1115. Is 19 a factor of g?
True
Suppose -7*w + 2 = -6*w. Suppose w*l + 5*t + 124 = 0, 2*t - 3*t - 68 = l. Let c = -30 - l. Is c a multiple of 6?
True
Suppose 4*a = -24, 3*c + 65*a - 63*a - 4308 = 0. Is 21 a factor of c?
False
Let z(a) = a**3 - 114*a**2 - 328*a + 392. Is 53 a factor of z(118)?
True
Let d(w) = 8*w**2 - 27*w + 141. Let o be d(8). Let u = o + -224. Does 29 divide u?
False
Let t = 318 - 318. Suppose -34*b + 7046 + 2372 = t. Is 30 a factor of b?
False
Let m(p) = 128