?
True
Let f(r) = -r**3 + 41*r**2 + 23*r + 2. Is f(13) a multiple of 18?
False
Let x = 1289 - -1419. Is 13 a factor of x?
False
Suppose -936 = -3*g + 948. Let f = g - 415. Is f/2 - (-45)/30 a multiple of 18?
True
Let p be (-1*(-10)/(-4))/((-17)/(-2346)). Let i = 745 + p. Is i a multiple of 17?
False
Let c = 8103 - 7329. Is c a multiple of 22?
False
Let d be (0/(-3) + -391)/(-1 - 0). Let f = d + -209. Is 12 a factor of f?
False
Let y = -197 + 1037. Suppose -2*t = t - y. Suppose t = 5*x + 2*x. Is 10 a factor of x?
True
Suppose -5*c + 192 = -2*n, -68 = -2*c + 4*n - n. Let l be c/6*1008/35. Suppose -w + 5*w = l. Is 12 a factor of w?
True
Let p = 643 + -1. Is p a multiple of 2?
True
Let z = 10053 - 3213. Is 57 a factor of z?
True
Is -5 + (-13 - -7) + 142425/9 a multiple of 80?
False
Let q(z) = 23*z**2 + 62*z - 907. Is 2 a factor of q(-22)?
False
Suppose -2*c + 2*i = -132, 2*c - 83 = -2*i + 45. Let o = c + -50. Suppose 41*w = 44*w - o. Is 2 a factor of w?
False
Suppose -16 = -8*m + 4*m. Suppose 6*d - 20 = d, -m*r - d = -4. Is -3*22/(-3) + (1 - r) a multiple of 15?
False
Let l = -210 - -2591. Does 29 divide l?
False
Suppose n = 2*j - 0*n + 104, 0 = -4*j - 2*n - 208. Let y = j - -76. Does 16 divide -25*(-2 - y/20)?
True
Let n = -238 + 241. Suppose -21*b = -24*b - 3*j + 324, 92 = b - n*j. Does 9 divide b?
False
Suppose -5*a + 5959 = 4*w, 18*w - 5*a = 16*w + 3017. Does 11 divide w?
True
Suppose 0 = -38*y + 34*y + 544. Suppose -49*d + 47*d = -y. Is 4 a factor of d?
True
Let j(h) = -h**3 - 7*h**2 - 4*h - 38. Let q be j(-10). Suppose -t - q = -i, -120*t = -119*t. Is i a multiple of 14?
False
Let t = 157650 + -84174. Is 33 a factor of t?
False
Let z(g) = -g**3 + 19*g**2 + 35*g + 139. Let c be z(21). Does 13 divide (-7)/(14/c) - 17280/(-16)?
False
Suppose 292 = 4*j - 88. Suppose 97*n - j*n - 6 = 0. Suppose -4*q = -n*f + 65, -5*q = 3*f - 19 - 1. Is f a multiple of 3?
True
Suppose 4*r = -5*m - 5, m - 2*r = -3*r - 1. Let c be (m*(0 - 1))/((-8)/(-64)). Suppose -15 = -c*y + 225. Is y even?
True
Let i = 62 - -261. Is 9 a factor of i?
False
Is 8 a factor of ((-732)/(-14) - (-20)/(-70))*(3 - -109)?
True
Let f be 47445/(-75) - 3/(-5). Let u = 767 + f. Does 9 divide u?
True
Let m(v) be the first derivative of -v**4/2 + 2*v**3/3 + 5*v**2/2 + 7*v + 1. Let y be (21/(-28))/(6/24). Does 11 divide m(y)?
False
Let a be 228/54 + 4/(-18). Let w = 2296 - 2291. Suppose a*s - 2*b - 1235 = -w*b, 3*b - 619 = -2*s. Is 28 a factor of s?
True
Let g(f) = f**3 + 11*f**2 + 3*f + 11. Let i = -48 + 41. Let p be g(i). Suppose -132 = -3*n - 0*n - 4*w, -4*n - 2*w + p = 0. Is 12 a factor of n?
True
Let x = -49 - -140. Let a = x + -55. Does 14 divide 2 + a/((-9)/(-3))?
True
Let b(u) = -u + 0*u + 7*u + 57. Let c = 7966 - 7946. Does 28 divide b(c)?
False
Let d be 0 - (-2 + (4 - 2)). Let l(x) = -x**3 - 31*x**2 - x - 35. Let r be l(-31). Does 3 divide d/4 - (-2 + r)?
True
Suppose 4*a = -13*c + 369484, -2*c + 2*a = -29093 - 27769. Does 8 divide c?
True
Suppose -t + 16 = q, -89*q + 90*q = 3*t - 48. Suppose 47736 = 52*i - t*i. Is i a multiple of 21?
False
Suppose -4*d + 714 = 2. Suppose l = 5*o + d, -4*o - 416 = -4*l + 216. Is l a multiple of 4?
False
Let w(y) = 82*y + 151. Let k be w(-21). Let r = k + 2518. Is r a multiple of 47?
False
Let c(x) = x**3 - 4*x**2 + 149. Let y = 42 - 42. Let z be c(y). Let u = 329 - z. Is u a multiple of 30?
True
Suppose -3*r - 2352 = -2*o, -4*o = -r + 262 - 4966. Is o a multiple of 56?
True
Suppose 5616 = p + p - 4*n, -2*n + 8440 = 3*p. Does 74 divide p?
True
Let i be (-2 - -1) + (21 - 18). Suppose -l - i*s = -302, -2*s + s = 2*l - 604. Is 19 a factor of l?
False
Let g be -5*((-28)/20 - (-2)/5). Suppose 4*f - 3*f = -g*f. Suppose f = 23*k - 14*k - 855. Does 19 divide k?
True
Suppose 0 = -2*w + 3*v + 136, -3*w = 5*v - 2*v - 189. Suppose -w*a + 73*a = 224. Is a a multiple of 8?
False
Let o be (-8 - -2) + (-15)/(15/(-8)). Suppose o*m - 135 - 135 = 0. Is 27 a factor of m?
True
Let a(r) = -5*r - 1. Let d be a(-1). Suppose d*q - 990 = 1350. Is q a multiple of 69?
False
Suppose 4*d - 13*q = -15*q - 2126, 0 = 3*d + 5*q + 1612. Let g = d + 637. Is g a multiple of 26?
False
Let z(a) = a**2 - 5*a - 3. Let x be z(6). Suppose -115 = -2*h + 3*m, 0 = x*h - 6*m + 4*m - 160. Suppose -g - h = -6*g. Is g a multiple of 10?
True
Let h = 3912 - -1042. Is 18 a factor of h?
False
Let p = -24 - -34. Let c be p/(-6) + (-66)/(-18). Is 14 a factor of 52 + (-20)/(-5) + c?
False
Suppose -153 = -11*m + 12. Let u be ((-6)/m)/((-1)/205). Let d = -53 + u. Does 15 divide d?
False
Let i(o) = 23*o**3 + 2*o**2 + 4*o + 3. Let b be i(-2). Let k = b - -327. Suppose -3*t - 2*a = -k - 142, 0 = 4*t + 4*a - 384. Is t a multiple of 32?
True
Does 97 divide (6402/44)/((-2)/(-4))?
True
Let z(y) = 4*y**2 + 57. Let d be z(-6). Suppose v = 839 - d. Is 29 a factor of v?
True
Let z(k) = -45*k + 294. Let i be z(-42). Let f = i + -1375. Does 10 divide f?
False
Is (-2)/(-9) + 3142635/135 + -25 a multiple of 22?
True
Suppose 4*u - 2*v - v - 8 = 0, 4*u + 5*v = 40. Let l be -2 - -630 - ((-6 - -8) + 1). Suppose -2*i + u*k = -7*i + l, 0 = 5*i + 4*k - 626. Is 24 a factor of i?
False
Suppose 0 = -2*t - 5*v + 10755, 5377 = t + 24*v - 22*v. Is 20 a factor of t?
False
Let c be (7 - 4) + (-62)/(-1). Suppose 3*b = -4*t + 152 + c, -2*t + 113 = -3*b. Is 8 a factor of t?
False
Suppose 0 = 698*j - 576*j - 469822. Is j a multiple of 11?
False
Suppose 38*m - 28771 = 50573. Is m a multiple of 9?
True
Let n(r) = -r**2 + 3*r + 10. Let o be n(5). Suppose 3*h = a - o*a + 381, 0 = -2*h + 2*a + 258. Does 9 divide h?
True
Suppose -14060 - 85312 = -39*s. Is 19 a factor of s?
False
Suppose 216*w + 321 = 88172 + 26197. Does 11 divide w?
True
Let h(j) = 3*j**2 - 2*j**2 - 5 - 38*j - 2*j. Is h(-8) a multiple of 11?
False
Let k be (-2)/5*(-100)/(-4). Let c = -28 - -56. Let f = k + c. Is f a multiple of 9?
True
Let u(w) = 257*w**3 - 3*w**2 + 6*w - 4. Let q be u(1). Suppose 37*d - q = 35*d. Is d a multiple of 4?
True
Let j be (-5054)/57*((-3)/(-2) + 0). Suppose -2*b + 5*u + 293 = 0, 3*u = -3*b - 76 + 526. Let k = b + j. Is k a multiple of 5?
False
Suppose 16 = 4*d, -4*d + 1906 = -50*j + 55*j. Is j a multiple of 6?
True
Let o = 116 - 114. Let y(l) = -6 + 14*l**o - 1 - 12. Is y(-4) a multiple of 28?
False
Let z(d) = -149*d - 15. Let q be z(-3). Suppose 73 - 269 = -2*i - 2*c, 4*i - 4*c = q. Is i a multiple of 27?
False
Suppose -145*l = -72*l - 5183. Does 71 divide l?
True
Let j(i) = -3*i**3 - 5*i**2 - 5*i. Let k be j(-2). Suppose 3*g + 1144 = k*g. Let p = g + -94. Is p a multiple of 7?
False
Suppose -16*h = -50 - 30. Suppose 0 = -3*s - 4 - 2, -5*m + 455 = -h*s. Is 4 a factor of m?
False
Let u be 3*-1*104/12. Let g = u + 31. Suppose a - 133 = h - g, -5*h - 250 = -2*a. Is a a multiple of 13?
True
Suppose -5*v + 9 = 2*h, -2*v = 3*h - 2*h - 4. Suppose -11*q = -h*q - 819. Is q a multiple of 35?
False
Is 121 a factor of 11397853/361 - 8/(-1)?
True
Let o be (-2397)/12*-1 + 2/8. Let p = o + -50. Is p a multiple of 50?
True
Suppose 5944*r - 429913 = 5927*r. Does 19 divide r?
True
Suppose 116 = -5*f - 3*y, -3*y + y = -f - 18. Let a be (-2)/(-8) + f*3/(-24). Suppose 14 = 4*h - 3*z - 7, -a*h - 3*z = -42. Does 8 divide h?
False
Suppose y = -2*y + 6. Suppose -24 = -2*s - y. Let j = 41 - s. Is j a multiple of 6?
True
Is (-2)/(-10) - ((-4406310)/(-600))/(9/(-12)) a multiple of 61?
False
Suppose 5*x - 4*c - 6304 = 0, 5*c + 2508 = x + x. Let m = x + -648. Is 14 a factor of m?
True
Let k(v) be the first derivative of -5*v**2 - 159*v + 32. Is k(-21) a multiple of 9?
False
Let p = 623 - -246. Is 12 a factor of (-13 + p/77)/(1/(-14))?
True
Suppose -11*x + 14574 + 38039 = 0. Is x a multiple of 7?
False
Let y be (2384/6)/(30/(-45)). Let o = y + 695. Is o a multiple of 11?
True
Let z = 8621 + -2659. Is z even?
True
Let r = 43 + -40. Suppose -2*d = 4*d - r*d. Let a(b) = 3*b + 65. Does 13 divide a(d)?
True
Suppose -3*r - 7 = -4*r. Suppose -8 = r*l - 11*l. Suppose -3*p + 321 = 2*b + b, 0 = 4*b + l*p - 424. Does 21 divide b?
True
Is 2 - ((-1 - 7) + -503) a multiple of 19?
True
Let n be 2150 + 0 - (2 - -6)/(-8). Suppose -n = -55*a + 46*a. Is 20 a factor of a?
False
Let h(z) = 6*z**2 + 103*z - 243. Does 9 divide h(33)?
False
Is (-105)/525 + (-11292)/(-10) a multiple of 12?
False
Let g be (