 i?
True
Let n(v) = 5*v**3 - v**2 - 20*v - 6. Let j(g) = 2*g**2 + 29*g + 19. Let z be j(-14). Is n(z) a multiple of 13?
True
Let i = -16 - -24. Suppose 5*r = -3*b + 10, 0*r + 4*r + 2*b - i = 0. Suppose -3*h - 6 = 2*q - 40, -2 = h - r*q. Does 2 divide h?
True
Suppose 114*l - 622865 = -16613. Is 4 a factor of l?
False
Let s = 15361 + -2279. Does 6 divide s?
False
Let f be ((-2)/(-20)*-2)/(7/(-385)). Suppose -f*r + 660 = -6*r. Is r a multiple of 15?
False
Suppose 0 = -47*h + 95*h - 54240. Is 13 a factor of h?
False
Let c be ((-3)/(-9) + -1)*-19*66. Suppose 5*p - c = 1909. Is p a multiple of 9?
True
Let w be 5 + 0/2 + -2. Let r be w*4/8*4. Suppose 0 = -2*m - 4*g + 120, 2*g - r*g = 16. Is 17 a factor of m?
True
Let l(w) = -31*w**3 + 12*w**2 + 51*w - 27. Is l(-6) a multiple of 22?
False
Let z(g) = 3*g**2 + 86*g - 471. Is 45 a factor of z(-53)?
False
Is (117 - 51)*(26 + 0) a multiple of 44?
True
Suppose 0 = 2*d + 2*j + 22, 4*d - 9*j + 12*j + 48 = 0. Let x = 17 + d. Is 29 a factor of 36 + (-4 - (0 - x))?
False
Suppose -69213 = -14*v - 52881 + 69740. Is 116 a factor of v?
True
Let x(f) = -f**3 - 8*f**2 - 4*f - 300. Let w(j) = j**3 + 7*j**2 + 3*j + 301. Let s(a) = 5*w(a) + 4*x(a). Does 19 divide s(0)?
False
Suppose -24 = 5*b + 3*j, -b + 3*b + j + 9 = 0. Let f = -270 + 490. Does 9 divide (f/12)/(b/(-9))?
False
Let b(f) be the second derivative of -f**5/20 + 2*f**4/3 + 7*f**3/6 - 2*f**2 + 26*f. Is 26 a factor of b(8)?
True
Suppose 27*l = 9*l + 188352. Does 16 divide l?
True
Let w = -5 - -119. Let u be ((-11)/22 + (-5)/14)/(6/(-63)). Let r = u + w. Is r a multiple of 20?
False
Suppose -126960 = -13*u - 10*u. Does 98 divide u?
False
Let x = 14426 - 6242. Does 10 divide x?
False
Let s be 8812/(-16) - (-6)/8. Let g = 1776 + -2106. Let j = g - s. Does 17 divide j?
False
Suppose 3*i = -3*x + 309, 3*x = i + 2*i + 315. Suppose -x = -14*l + 10*l. Let t = 13 + l. Is 26 a factor of t?
False
Suppose -22*d - 3023 + 537 = 0. Let h = 411 + d. Is 9 a factor of h?
False
Let g(v) = v**3 + 6*v**2 - 11*v - 5. Suppose -15 = 3*p + 30. Let w(t) = t**2 + 16*t + 8. Let i be w(p). Does 22 divide g(i)?
False
Suppose z = 2*z - 3*o + 69, -2*o = -4*z - 276. Let p = -67 - z. Is 38 a factor of 2 - (-2 + p) - 206/(-1)?
False
Is ((-40)/(-12) + -4)/((-74)/656343) a multiple of 9?
True
Suppose -38*a + 106779 + 38571 = 0. Suppose -a = -46*x + 29*x. Is x a multiple of 3?
True
Let n be 0/(-1)*((-120)/16)/15. Suppose -5*i - 16 = m - 5*m, n = -5*m + i + 20. Is 26 a factor of 75 - (m - (10 - 3))?
True
Let g(o) = 3*o**2 + 21 + 363*o - 430*o + 49. Is 6 a factor of g(25)?
True
Suppose -18*d + 80902 + 147914 = 0. Is 15 a factor of d?
False
Let g(w) = -w**3 - w**2 - 4*w - 8. Suppose 13 = -u + 4*b, -u - 5*b - 18 = -50. Suppose -u - 9 = 4*a. Does 36 divide g(a)?
False
Suppose 2*s - 6 = 0, 2*x + s = 4*x + 39. Is 21 a factor of x/27 + (-3788)/(-12)?
True
Let w(z) = 124*z - 2350. Is 19 a factor of w(23)?
False
Suppose -9*r = -5*r - 16. Suppose -2*t = r*y - 434, -2*y + 6*t = t - 187. Let b = y + -73. Is 2 a factor of b?
False
Let h = -52 - -57. Suppose 6*o - o + 125444 = -4*d, -3*d = -h*o - 125472. Is (-2)/(-18) + o/(-162) a multiple of 31?
True
Let t(p) = -p**3 + 3*p**2 + 9*p - 7. Let x be t(4). Let m be (x + (3 - 3))*26. Is m/18 - 4/(-18) a multiple of 2?
False
Suppose -14*p = -59*p - 315. Is 566/(9 - (p - -15)) a multiple of 7?
False
Let y be 21/((-210)/220)*(2 + -5). Suppose 55*v + 8019 = y*v. Is 27 a factor of v?
True
Is 123 a factor of ((-12446)/(-21))/14*(-492)/(-8)*6?
True
Let d(q) = -q**3 - 6*q**2 - 2*q + 18. Let m be d(-5). Is 1296/3 + 1 - m a multiple of 31?
False
Let n = -395 - -912. Suppose -50*y = -39*y - n. Is y a multiple of 3?
False
Let l = 2386 + -1474. Suppose 14*x - l = 8*x. Suppose 0 = 5*m + 20, -x = -4*d + 2*m + 112. Is 8 a factor of d?
True
Let f be (1 - 3) + -1 - 12. Let p(b) = -b - 17. Let i be p(f). Is 5 a factor of (5/i + 2)*-132?
False
Let s(q) = 3*q + 1. Let c be s(1). Suppose -4*m + 0*f + c*f - 396 = 0, 83 = -m - 3*f. Is 21 a factor of ((-2508)/m)/(6/20)?
False
Let w be 4 + 0/4 + -49. Let z be (1/(-5) + 261/w)/(-2). Is 18 a factor of z/9 + -3*(-347)/9?
False
Let d be (-1 - 0)/((-11)/(-605)). Let u = d - -52. Is (-104)/24*u*9 a multiple of 14?
False
Suppose -5*n = -5*x - 1372 - 1653, 0 = -5*n + 2*x + 3022. Does 13 divide n?
False
Suppose -2*w + 6 = 2*k, k + 5*w = -0*w - 1. Suppose 0 = -3*a + b + 788, -3*a - k*b = -2*a - 254. Suppose 7*i = a - 24. Is 19 a factor of i?
False
Let m be ((-15)/10)/(3*1/(-4)). Suppose 5*p + 3*q - 147 = 4*p, m*p + 3*q = 285. Does 12 divide 2/(-12) - (-19895)/p?
True
Suppose 0 = 2*i + 3*i + 230. Let g be (352/24)/(18/(-27)). Let p = g - i. Is 8 a factor of p?
True
Suppose 86*p - 91*p = -r + 1723, -p + 5 = 0. Does 23 divide r?
True
Let a be 2/(-15) + 31744/30. Let t = -522 + a. Is 13 a factor of t?
False
Let x = 14 - 28. Let z be 56/(-98) + (-106)/x. Suppose z*j = 113 - 36. Is j a multiple of 11?
True
Let a(u) = -215*u - 1235. Is a(-107) a multiple of 49?
False
Let f(x) = 16*x - 13. Let h be f(1). Suppose -h*n = -6*n + 1050. Is n a multiple of 31?
False
Let t(u) = -8*u - 10*u + u + 11 + 3*u**2 - 5*u**2. Let h be t(-9). Does 15 divide (14/14)/(h/460)?
False
Let m = -38 - -38. Suppose -2*w + d - 50 = -520, m = -4*d - 8. Is 26 a factor of w?
True
Let n = -343 - -486. Suppose t - n = 537. Does 34 divide t?
True
Suppose 0 = -88*y - 88*y + 207*y - 284394. Does 139 divide y?
True
Suppose 4*s = 86 - 62. Does 19 divide (-8750)/(-20) - 3/s?
True
Let f(t) = t**2 - t - 30. Suppose -10 = 2*j - 0*j. Let n be (21/15)/(j/(-25)). Is 12 a factor of f(n)?
True
Suppose 2*b + 2*p + 5 + 7 = 0, -p = 4. Is 8 a factor of (b + (-21)/(-9))*(210 + 12)?
False
Let z = 59496 + -37198. Does 158 divide z?
False
Let r(u) = -u**3 - 9*u**2 + 13*u - 27. Let b be r(-11). Suppose -5*p + b = -2*p. Is 3 a factor of p?
True
Let c(g) = -436*g - 5643. Is c(-25) a multiple of 65?
False
Suppose -7035 = -3*q - 2175. Is 18 a factor of q?
True
Let h(q) = 7*q - 9. Let b(y) = y - 5. Let i(n) = 2. Let l(c) = 3*b(c) + 5*i(c). Let x(v) = 6*h(v) - 11*l(v). Is 8 a factor of x(7)?
True
Suppose -136934 = 276*m + 140*m - 512166. Is m a multiple of 16?
False
Let r = -129 - -750. Is r a multiple of 23?
True
Let h be -5 + (-2)/(-1) + (-315)/(-35). Suppose h*r + 32 = 152. Is r even?
True
Suppose -3*t - 6*z + 1003 = -2*z, -1693 = -5*t + 4*z. Let m = t - 174. Let q = -55 + m. Is q a multiple of 36?
True
Let a be (-7)/(-3) + (-2)/6. Suppose 4*u + 20 = 0, -7*u = -2*g - 2*u + 149. Let f = g - a. Does 4 divide f?
True
Suppose -20*o + 1050 = -13*o. Let h = o - 13. Let t = 170 - h. Does 10 divide t?
False
Let l = 2213 - -312. Is l a multiple of 29?
False
Let u be 0 - ((-12)/15)/2*210. Is 9 a factor of 1 - (1 + 2 - (u + -10))?
True
Suppose -122068*d + 122060*d = -35520. Is 20 a factor of d?
True
Let g be 80/(-45) + 2/(-9) + 179. Let c = g - 107. Does 8 divide c?
False
Let n = -24 - -25. Let z = 1 - n. Is z + 3 + 420/10 a multiple of 21?
False
Let n = 368 - 367. Is 21 a factor of (-24724)/(-56) - n/2?
True
Suppose 17*n + 4*d - 6332 = 12*n, -4*n + 3*d + 5078 = 0. Is 73 a factor of n?
False
Let w(t) = 20*t**2 - 25*t - 205. Does 16 divide w(24)?
False
Suppose 0 = -2*f + 2*c + 134, -4*f = -171*c + 170*c - 256. Does 16 divide f?
False
Suppose 5*d - 239*v + 238*v - 19015 = 0, -2*d + 7613 = v. Does 32 divide d?
False
Let d(n) = -86*n**3 - 2*n + 1. Suppose -14*f = 2*j - 17*f + 16, -5*f + 24 = -2*j. Is 77 a factor of d(j)?
True
Suppose 21*b + 10006 = 23*b - 2*r, 8*r - 25080 = -5*b. Does 16 divide b?
True
Let f(w) be the second derivative of -5*w**4/24 + 16*w**3/3 + 5*w**2 - 18*w. Let l(g) be the first derivative of f(g). Is l(-20) a multiple of 12?
True
Let x = -31 - -31. Suppose 3*v - 21 = -2*a - 1, -2*v + 5*a - 12 = x. Suppose n - 6*n = -4*p + 165, v*p = -5*n + 195. Does 15 divide p?
True
Suppose 23*m = 27*m - 280. Suppose m*u - 75*u = 45. Let b = 19 - u. Is 4 a factor of b?
True
Suppose 2*b + 5*t + 6 = -0*t, 5*b - 12 = t. Does 22 divide ((-4)/b)/(13205/(-1650) + 8)?
True
Let a(c) = 11*c**2 + c + 4. Let b(s) = 14*s + 1 - 2*s - 4*s - 5. Let f be b(1). Is 23 a factor of a(f)?
True
Suppose y - 137 + 66 = 0. Suppose 8*f = 1631 - y. Suppose -5*i + f = -2*i. Does 6 divide i?
False
Let k be (2 - 3)*0/(-2). Suppose k*y - y = 2*y. Is 19