i + 5*u, -8 + 23 = 5*u. Let x = i - -412. Is x a multiple of 7?
False
Let u be 14550/(-15)*3/(-3). Suppose y + 268 = u. Does 10 divide y?
False
Let h = 122 - 129. Let o(a) be the first derivative of -a**4/4 - 7*a**3/3 - a**2 + 14*a - 4. Is o(h) a multiple of 4?
True
Is (-3470792)/(-156) + 10/(-6) a multiple of 24?
False
Let z(d) = 8*d**2 - 14*d + 5. Let l(s) = -25*s**2 + 43*s - 16. Let y be 33/3 + -2 + (-2)/1. Let b(g) = y*z(g) + 2*l(g). Does 21 divide b(3)?
True
Let o(q) be the second derivative of -11*q**3/2 - 18*q**2 + 24*q. Is 27 a factor of o(-24)?
True
Let b = 12052 - 6661. Is 26 a factor of (-13)/(b/1080 - 5)?
True
Suppose 42 = -6*o + 6. Is 10 a factor of o + 12 - (1 + -375)?
True
Let l = 664 - 1218. Let c = 1543 + -1862. Let z = c - l. Does 9 divide z?
False
Let v(y) = 7*y - 328. Let s be v(53). Let g = -42 + 81. Suppose -g*o - 76 = -s*o. Is o a multiple of 19?
True
Let q be -792*(54/12)/9. Let g = q - -588. Is 16 a factor of g?
True
Suppose 1802 = 6*d + 248. Is 6 a factor of d?
False
Let q(n) = 6*n + 45. Let y be q(-8). Let j(z) = 62*z - 4. Let r be j(y). Let o = r - -274. Is o a multiple of 6?
True
Let n(j) = 7 + 2*j - 10*j**3 - j**2 - 5 - 3*j + 0*j**3. Let d = 80 - 82. Is 10 a factor of n(d)?
True
Let j(r) = -11*r**2 + 29*r + 14. Let f be j(3). Let p(q) = -7*q + 2*q + 2 + 4*q + 2*q**2. Is 2 a factor of p(f)?
True
Let l(u) be the second derivative of -19*u + 1/2*u**2 + 0 - 1/2*u**3 + 1/4*u**4 + 1/4*u**5. Is l(2) a multiple of 11?
False
Let s = -336 + 626. Let v = -269 + s. Is v a multiple of 21?
True
Let u = 42 - 45. Let h be (36/42)/u + (-94)/14. Does 2 divide h*2/6*(-1 - 2)?
False
Let s(j) = 45*j**2 + 565*j + 45. Is s(-41) a multiple of 14?
False
Let t = -3 - -2. Suppose 13 = -7*g - 5*o, 116*o + 12 = 120*o. Does 11 divide t/(3/165)*g/5?
True
Let l = -26 + 26. Let r be (1 + l)/(-3 + 21/6). Suppose 3*s + 223 = 4*y, -y - r*y = -3*s - 165. Does 6 divide y?
False
Suppose -3*x = -4*m - 46, -3*x = -3*m + 6*m - 39. Suppose -x = -d + 14. Is 96/1*(6 + (-147)/d) a multiple of 9?
True
Let r = 1911 + -873. Suppose -24*x + r + 3402 = 0. Is 28 a factor of x?
False
Let m = -2798 + 862. Let q = -442 - m. Is 10 a factor of (-1 - 14/(-10)) + q/15?
True
Is 91 a factor of (-27*(0 - 26))/((-20)/(-70))?
True
Suppose 201 = 27*y - 123. Let s(h) = h**3 - 2*h**2 - 50*h - 29. Is s(y) a multiple of 30?
False
Let p = -9646 - -18000. Is 3 a factor of p?
False
Suppose 5*n - 57 = 253. Let j = -37 + n. Suppose 32 + j = i. Is 5 a factor of i?
False
Suppose -172 + 477 = 2*y - 3*s, 0 = 3*y - s - 440. Let r = y - -71. Let u = r + -123. Does 7 divide u?
False
Suppose g - 20 = 5*g. Let q(r) = -r**2 - 5*r + 5. Let j be q(g). Suppose w - j*k - 25 = -0*w, -5*w + 2*k + 102 = 0. Is 12 a factor of w?
False
Let p(g) = g**3 - 78*g**2 - 266*g - 292. Does 61 divide p(82)?
False
Let c be (0 - -5) + (4058 - 49). Does 11 divide c/7 - (-69)/(-161)?
False
Let t(f) = f + 2. Let p be t(-1). Suppose -i - p = -2*o + 3, 4*i - 39 = -3*o. Does 10 divide 2/i*-3*-45?
False
Suppose -29*l = 41*l - 5390. Is 2 a factor of l?
False
Let b(n) = 9*n**2 + 2*n + 2. Let u be b(-5). Suppose -222*y + 170 = -u*y. Is 5 a factor of y?
False
Let p = -53458 + 86155. Is p a multiple of 173?
True
Suppose 0 = -159*d + 164*d - 12940. Is d a multiple of 39?
False
Let g = 119 + -112. Let n(a) = 28*a + 18 - 48*a + g. Is 41 a factor of n(-9)?
True
Let a(b) = b**3 - 26*b**2 - 19*b + 224. Let x be a(26). Let j = 854 - 456. Let s = x + j. Is s a multiple of 8?
True
Let b = -255 + 226. Is ((-2 - 172) + 1)*b/29 a multiple of 27?
False
Suppose 4*j - 36 = -2*u + 4, -30 = -4*u + 2*j. Let m(w) = w**2 + 2*w - 3. Let x be m(7). Suppose -x = -u*c + 180. Does 4 divide c?
True
Let f(p) = 2*p**3 - 23*p**2 - 96*p - 522. Is f(21) a multiple of 174?
False
Suppose 19*q - 21*q = -3376. Suppose -12*o + 2944 = -q. Is o a multiple of 20?
False
Let p be (-16)/6*33/22. Let z be (-6 + -2)/4 - p. Does 11 divide z - (-2 - (1 + 39))?
True
Suppose -17055 = -4*r + 2*k - 5*k, 8505 = 2*r - 3*k. Is r a multiple of 30?
True
Suppose -5*v = 15*v - 80. Suppose g = r + 291, -5*g + v*r + 176 + 1282 = 0. Is g a multiple of 14?
True
Suppose -4*t + 3*t + 10 = 5*r, -4*t - 11 = 3*r. Let s be (-1)/(r/2*5/15). Is 3 a factor of ((-15)/s)/(12/64)?
False
Let s(q) = q**3 + q**2 - 4. Let d be s(0). Let h = 9391 + -9349. Let n = d + h. Does 8 divide n?
False
Suppose 3*h + 17194 - 42283 = 0. Is 22 a factor of h?
False
Suppose -9 = 3*j, 2*j - 104054 + 36389 = -3*g. Is g a multiple of 49?
False
Suppose 36450*q = 36471*q - 422604. Does 12 divide q?
True
Let d(k) = 783*k - 10705. Is d(21) a multiple of 11?
False
Let p(i) = -481*i - 1568. Is 29 a factor of p(-18)?
False
Let p = -678 - -170. Let q = p - -870. Is q a multiple of 15?
False
Let p = 2843 + 72800. Does 67 divide p?
True
Let k = -9996 - -14368. Is 41 a factor of k?
False
Let g(j) = 10*j**3 - j. Let s be g(-1). Does 32 divide 208*2 + 0*s/45?
True
Let m(w) = w**3 + 18*w**2 + 17*w + 3. Let l = -43 + 77. Let s be (-1)/(-1 + 32/l)*-1. Is m(s) even?
False
Let a(z) = z**2 + 4*z + 2. Let c be a(-5). Let g(n) = -13 + c + n - n + 16*n**2. Does 46 divide g(4)?
False
Suppose -187 - 413 = -24*p. Suppose p*b - 3612 = 4*b. Is b a multiple of 5?
False
Let n(s) = -2*s**2 + 10*s + 12. Let m be 534/(-10) - (-56)/140. Let a = m - -58. Is 12 a factor of n(a)?
True
Suppose 4*w - 11468 = 5*r + 2220, -4*w + 3*r + 13680 = 0. Suppose 5 = -5*x, 0 = -3*n - 2*x + w - 644. Is n a multiple of 25?
True
Suppose -8*n = 45*n - 212. Suppose -4*g + 5*v = 7*v - 3426, -2*g + 1722 = n*v. Does 16 divide g?
False
Let o(k) = -21*k + 19. Let i be o(7). Let v = 384 + i. Is 12 a factor of v?
False
Is 36 a factor of (-10)/(-2) + 14385 - -3*(-4)/(-12)?
False
Let j be (-2 + 1)*(-50)/10. Let m(n) = -n**2 - 6*n - 2. Let a be m(-5). Suppose 0 = -2*h - a*h + 2*x + 207, j*h + 5*x - 235 = 0. Does 17 divide h?
False
Suppose 56*y - 188460 = -156518 + 191274. Is y a multiple of 172?
False
Let d(c) = -1229*c + 1681. Is 19 a factor of d(-6)?
False
Let o(i) = i**3 - 2*i**2 - 3*i + 4. Let p be o(3). Suppose 2*n + 1308 = p*r, 0*r - 5*n = -5*r + 1635. Suppose -5*b = -r - 108. Is b a multiple of 12?
False
Let m = -13068 + 38532. Is m a multiple of 26?
False
Suppose -33*d - 98 = -40*d. Suppose 15*r = r + d. Is 28 a factor of 35686/98 + r/(-7)?
True
Does 46 divide 42/(0 - 2) - -20445?
True
Let x(n) = 3391*n - 1388. Does 35 divide x(3)?
True
Let d(v) = -6*v**3 - 4*v**2 - v + 5. Let r be d(-4). Let s = r - -28. Does 17 divide s?
True
Let b = 5210 - -3640. Does 118 divide b?
True
Suppose 4*j = 113 - 33. Suppose 3*g + h = j, -2*g + 6*h + 32 = 2*h. Suppose g*c = 146 + 222. Is c a multiple of 20?
False
Let v = 84 - 84. Suppose 25*j - 30*j + 950 = v. Is j a multiple of 23?
False
Suppose -2*y - 2*f = -10, 12*y - 13*y + f + 1 = 0. Let r = 53 + 1. Suppose 9*n - r = y*n. Is 9 a factor of n?
True
Let v be (-1 - 2)/6*0. Let r be (v*(-2 + (-5)/(-2)))/2. Suppose -5*a + 63 + 407 = r. Is 11 a factor of a?
False
Let l(i) = -3*i - 23. Let a be l(-13). Suppose 1975 = 3*y + 4*k, 4 + a = -4*k. Does 13 divide y?
False
Is 48 a factor of ((-86352)/(-63))/(4*(-2)/(-288))?
True
Suppose -3*h - 2*h + 14988 = -b, -h - b + 2994 = 0. Is h a multiple of 27?
True
Let w(u) = 2*u**2 - 114*u + 2886. Is 59 a factor of w(102)?
False
Suppose 0 = -2*y - u + 13390, 6 = -4*u + 30. Is y a multiple of 14?
True
Suppose r = -c + 695, r - 5*c = -r + 1383. Let w = 1398 - r. Is 29 a factor of w?
False
Suppose -4*g - 4 = 28, -4*g = -5*t + 94242. Is 11 a factor of t?
False
Suppose -6*m - 11 = -53. Suppose m*q - 1639 = 4*q + 2*d, 5*q - 2733 = 4*d. Does 40 divide q?
False
Let r(z) = 2 + 5*z**2 - 9*z**2 - 2*z**3 + 8 + 7*z + z. Let b be 2 - -6*(-1 - 0). Is r(b) a multiple of 20?
False
Let b = -215 - 31. Let m = b - -370. Is 8 a factor of m?
False
Let b(i) = i**2 - i + 1. Let k(a) = a**2 + 8*a + 55. Let t(w) = 2*b(w) - k(w). Does 11 divide t(-12)?
False
Suppose 1527*o + 47430 = 1544*o. Is o a multiple of 155?
True
Let u = -115 + 119. Suppose 0 = u*a - 288 - 224. Is 13 a factor of a?
False
Suppose 185*b + 123725 = 210*b. Does 75 divide b?
False
Suppose -3*g + 4*r + 8794 = -1462, -g + 2*r + 3418 = 0. Is 45 a factor of g?
True
Suppose -4*b - 33 = 75. Let u = b - -27. Does 19 divide (7 - 50)*(-1 + u)?
False
Suppose -20 = -5*m + 5. Suppose