393 = -2*u. Let y = h + u. Is 15 a factor of y?
False
Let g(r) = 9*r - 127. Let h(a) = -20*a - 81. Let b be h(-5). Does 12 divide g(b)?
False
Suppose -8*a - 4 = -9*a, 0 = r + 3*a - 1800. Is r a multiple of 37?
False
Let j be 5 + 15/(-7) + 11/77. Suppose 0 = j*u - 3*v - 807, -v = -5*u - 2*v + 1363. Is u a multiple of 17?
True
Let m(n) be the second derivative of n**5/20 - n**4/2 - n**3/2 - 3*n**2 - 3*n. Let d(s) = s**2 - 4*s + 2. Let k be d(5). Does 3 divide m(k)?
False
Suppose 5*c - k - 21077 = 0, 16858 = 4*c - 0*k - 2*k. Is 31 a factor of c?
True
Is 23528 + 396/18 + -11 a multiple of 18?
False
Suppose i - 136 = -3*k + 411, -2*i + 1102 = 2*k. Let y = i - 315. Is y a multiple of 14?
True
Suppose 3*g - 2*n + 14 = 0, 0 = 39*g - 37*g + 5*n + 3. Is (48/6)/4*(-274)/g a multiple of 9?
False
Suppose -9*p = n - 235, 0 = 2*p + 2*n - 34 - 20. Suppose -12 = -3*w, -5*w + 1335 = -21*s + p*s. Does 11 divide s?
False
Suppose -4*o = 3*k - 2862, 19*k - 20*k - 3*o = -949. Does 14 divide k?
False
Let g = 4211 + -1457. Is 4 a factor of (-4)/10 + g/85?
True
Suppose -13*z + 529 = 5599. Let s = z - -618. Does 6 divide s?
True
Let v(l) = 14*l**2 - 50*l - 24. Let x be v(16). Suppose 23*s + x = 29*s. Is 20 a factor of s?
True
Is 33 a factor of (8/10 - 144684/(-45)) + 6?
False
Suppose -3*h - q + 29814 = 0, 190*q - 195*q - 39733 = -4*h. Is 26 a factor of h?
False
Let m = 28349 - 14885. Is 88 a factor of m?
True
Suppose g = 3*j - 6*g - 5136, 4*j = -2*g + 6780. Is j a multiple of 99?
False
Let x(o) = 2*o**2 - 55*o - 78. Let a be (2170/(-175))/(2/(-5)). Is 9 a factor of x(a)?
False
Let q = 3944 - 3188. Is 27 a factor of q?
True
Let v be (-16)/28 - ((-6400)/28 - -1). Suppose 2*g - v - 92 = -5*m, 0 = -3*g + 5*m + 416. Does 9 divide g?
False
Let o(w) be the third derivative of -w**5/60 - 25*w**4/24 - 41*w**3/6 - 121*w**2 + 2. Does 5 divide o(-7)?
True
Suppose -2*k + 5426 = 4*l, 14*k - 2733 = -2*l + 9*k. Is 9 a factor of l?
False
Suppose -4*l + 639 = 5*l. Suppose 0 = 5*k - l - 29. Suppose -3*a - z = -k, -2*a + 2*z = -0*a. Is a a multiple of 2?
False
Let k = -8 + 6. Let m be (2 - 3) + (k - -2 - 9). Let f = m - -55. Is f a multiple of 15?
True
Let j(o) = -6*o**3 - 5*o**2 - 23*o + 10. Does 21 divide j(-11)?
True
Suppose -95686 = -2*h - 2*f, 24*h - 19*h - f = 239185. Is 61 a factor of h?
False
Suppose -5*y = -5*s - 0*y - 125, -3*y = 3*s + 51. Does 12 divide (-7)/(-1)*(5 - 2379/s)?
True
Suppose -5*u - 5*o = -29035, 85*o - 90*o = 3*u - 17425. Does 3 divide u?
True
Suppose -5*m = i - 1723, -8*i = -4*m - 9*i + 1379. Is 43 a factor of m?
True
Is (-4 + 3)*(4 + (-66920)/10) a multiple of 62?
False
Is 13 a factor of (-39)/(-12)*-6*-830?
True
Let b(s) = s + 1. Let x(n) = 11*n**2 - 5*n - 2. Let k(i) = 4*b(i) + x(i). Let r be k(2). Let o = 59 - r. Is 3 a factor of o?
True
Let q(j) = -j**2 + 15*j + 37. Let h be q(17). Let v(k) = 43*k**3 - k**2 - 1. Let i be v(2). Suppose i = h*l - 63. Is l a multiple of 11?
False
Let r = -945 - -495. Is (r/6)/(-3) - -4 a multiple of 8?
False
Suppose -3*s - 2*s = 0. Let i(o) = -39*o**2 - 10*o**3 + 11*o**3 + 60 + 20*o**2 + 18*o**2. Is 4 a factor of i(s)?
True
Suppose 436 + 961 = 11*b. Let p = b + 33. Does 19 divide p?
False
Let y be 1*(-44 + 6) + -1 + -3. Is 12 a factor of 28/294 + (-21584)/y?
False
Let i = -3 + 4. Suppose 5*v = 9 + i. Suppose 0*x - b + 402 = 3*x, -141 = -x + v*b. Is x a multiple of 12?
False
Let m(h) = 3*h + 49. Let n be m(0). Is 37 a factor of (-2)/(-7) - (-22085)/n?
False
Let u be ((-18)/15)/(166/40 - 4). Let s(q) = -32*q - 48. Does 15 divide s(u)?
False
Let o = -98 + 65. Let h = 2 + o. Let x = 0 - h. Is 6 a factor of x?
False
Suppose -2*k - 59*z + 19397 = -58*z, -4*z + 48488 = 5*k. Is 116 a factor of k?
False
Is ((-2544)/(-40))/(4/870) a multiple of 8?
False
Let a = -1600 + 1605. Let z be (4 + -6)/((-4)/134). Suppose a*g - 3*q - z = 0, 3*g + 8*q - 4*q = 46. Does 7 divide g?
True
Does 77 divide -33*((-20482)/57 + (-7)/3)?
True
Let w be (-106)/3 + (-1)/(-3). Let m be (3300/96)/5 + (-2)/(-16). Is (1 - 2)/(m/w) a multiple of 2?
False
Let c(p) = 83*p - 743. Does 13 divide c(55)?
True
Suppose -7*o = -81 - 52. Suppose 567 = o*m + 2*m. Is m a multiple of 18?
False
Let f = 57 - 54. Suppose d + 1116 = f*g - 2*d, -8 = 2*d. Does 46 divide g?
True
Suppose 2*z = 5*p + 2651 - 858, -2*p = 2*z - 1828. Suppose 16*h - 19*h = -z. Does 33 divide h?
False
Suppose -2390*w - 4530 = -2396*w. Is (1 - w/(-3)) + (-85)/51 a multiple of 44?
False
Suppose -3*u = -2*v + 22, -5*v - 3*u - 46 = -143. Suppose 4*w = v*w - 1326. Suppose 6*y = w + 258. Does 15 divide y?
True
Suppose 0 = -2*r - h + 60945, -161192 + 8858 = -5*r - 12*h. Does 5 divide r?
False
Suppose -2929 = -9*s - 12*s + 62339. Does 12 divide s?
True
Suppose 17238 + 224842 = 68*h. Does 40 divide h?
True
Let l(g) = g**2 + 11*g + 10. Let i be l(-10). Suppose i = -5*h + 25. Suppose u - h*d = 4, 5*u - 3*u = d + 8. Is 2 a factor of u?
True
Let n(z) = 7*z**3 - 1. Let g be n(1). Let c(k) = k**3 - 5*k**2 - 9*k + 9. Let v be c(g). Let d = 6 - v. Is 4 a factor of d?
False
Suppose 3*k - 3*c = 5568, 0 = -32*k + 28*k - 2*c + 7400. Is 13 a factor of k?
False
Suppose 5*j = 25, -2*j = -10*a + 8*a - 8. Suppose 2*x = 2*k, 2*x - 2 = k + 3*k. Is -79*a/k + 1 a multiple of 20?
True
Suppose -209069 = -8*f - 35018 + 31405. Is 74 a factor of f?
False
Suppose 15*a - 95398 = 266550 - 57028. Is a a multiple of 15?
False
Let z(y) = 3*y**2 + 14*y - 3. Suppose 2*k - 5 = -17. Let i be z(k). Suppose 295 = 26*c - i*c. Is 16 a factor of c?
False
Let t(v) = v. Let r be -8 + 9/(-6)*-2. Let w be t(r). Is 24 - (3 - 3)/w a multiple of 6?
True
Is (-11)/(44/(-52))*159 a multiple of 139?
False
Suppose 15159 = -z + 56423. Does 240 divide z?
False
Is 6 a factor of 21/(-42)*(5 - 5) - -1080?
True
Let m(x) = -5*x**2 - 144*x - 64. Is m(-26) a multiple of 76?
False
Suppose 23 - 109 = -43*t. Suppose -5*i - b - 5 = 4*b, -5*i - 4 = 4*b. Suppose i = 4*v - 3*k - t*k - 47, 13 = v - k. Is 18 a factor of v?
True
Suppose 44*f = -4882 + 15090. Let p = -82 + -70. Let y = p + f. Is y a multiple of 40?
True
Let b = 6856 - -11634. Does 24 divide b?
False
Let h(a) = -24*a - 6. Let y be h(1). Does 17 divide (-5)/(25/y) + 725?
True
Let v be (-9 + 21)/(-4) + 10/2. Is 11 a factor of 3*(-302)/(-12)*v?
False
Does 149 divide (-4)/((3 - 0)/(111762/(-12)))?
False
Suppose 9 = -0*a - 3*a. Let u be ((a + 3)/(-5))/2. Suppose 4*w - 93 = -3*t, t - 3*w - 18 = -u*t. Is t a multiple of 2?
False
Let u = -1299 - -6211. Is 86 a factor of u?
False
Let a = 32476 + -26821. Does 15 divide a?
True
Suppose -16*h + 88 = 10648. Let r = 906 + h. Is r a multiple of 30?
False
Suppose -2313 = 16*s - 70569. Is s a multiple of 6?
True
Suppose d + f = 7053, 121 = 5*f + 111. Is d a multiple of 99?
False
Let g = -21 - -30. Suppose -3*v + f + g + 5 = 0, -14 = -4*v - f. Is 29 a factor of (5 - 9/2) + 346/v?
True
Let n(g) = 2*g**3 - 12*g**2 - 14*g + 6. Let r be n(7). Does 4 divide (-6 + r)/(-5) + 35?
False
Let c be (1/(-2))/(14/(-140)). Let k = -18 + 18. Suppose k*u = -u + c*s - 6, -u = -s - 2. Does 2 divide u?
True
Let x = 7460 - -2602. Does 39 divide x?
True
Let n = 167933 + -114197. Is n a multiple of 24?
True
Is 111 a factor of 10022/8 + (-22 - 1691/(-76))?
False
Suppose x + 0*x = -4*f - 16, -4*x = -f - 21. Suppose 3*w - 129 = -3*n, 6*n - 215 = n + x*w. Let p = n + -30. Is 7 a factor of p?
False
Let n(k) = 89*k**2 - 109*k + 1076. Does 38 divide n(9)?
False
Does 56 divide (-24 + 78150/(-60))/(1/(-16))?
True
Let a(y) = y**2 + 513*y - 435. Is 117 a factor of a(97)?
False
Suppose -5*h - 42245 = 791*j - 796*j, 0 = -3*j - h + 25363. Does 25 divide j?
False
Suppose -4*p = -3*o + 16, 5*o - 33 - 11 = -2*p. Suppose -1428 = -o*u + 2*u. Does 17 divide u?
True
Let b be (-70)/(-12) + (232/(-48) - -5). Does 20 divide 12552/96 - (-2 + b/8)?
False
Suppose 3*v = -1886*q + 1888*q - 12, -v = 4*q - 10. Let c be (18/(-8))/(1/(-4)). Is (v + 6/c)/((-4)/42) a multiple of 3?
False
Let k(f) = 92*f**2 + 281*f + 17. Is k(-9) a multiple of 52?
True
Let d = -522 - -534. Is 11 + -14 - (-220)/5*d a multiple of 6?
False
Let z(t) be the first derivative of -3*t**4/4 - 10*t**3/3 + 3*t**2/2 - 10*t + 69. Is 5 a factor of z(-5)?
True
Let n(f) be the first derivative of 2*f**3/3 - 4*f**2 + 54*f + 51. Is n(5) even?
True
Let a(k) = -7*k**3 + 4*k**2 + 15