 417?
False
Let x = 21992 + 1608. Is 59 a factor of x?
True
Let j = 9121 - 6027. Is 47 a factor of j?
False
Is 12 a factor of 0/(-4) - -8 - -916?
True
Let h(r) = r**2 - 10*r - 3. Let i be h(10). Is 8 a factor of ((-72)/(-15))/(i*1/(-45))?
True
Let j = -30 + 650. Suppose 0 = m - 5*v - 866, -2*m = m + 2*v - 2615. Let i = m - j. Is 15 a factor of i?
False
Let q(n) = 2729*n + 856. Is q(4) a multiple of 13?
False
Suppose 0 = l - 2*r - 30 - 28, -5*l + 3*r + 297 = 0. Suppose 2*t - p - l = t, 4*p + 16 = 0. Let j = t + -46. Is 4 a factor of j?
False
Let v = 268 + -263. Suppose -v*o + 1847 = 4*w, 2*w - 326 - 595 = -3*o. Is 13 a factor of w?
True
Suppose 125*f = 118*f + 42. Does 41 divide f/(-3)*-13*115/10?
False
Let f(t) = -25*t - 38. Let g be f(-5). Let v = g - 168. Let h = 53 - v. Is h a multiple of 13?
False
Let m = 429 + -299. Suppose -a = -m + 26. Let z = -39 + a. Is z a multiple of 10?
False
Is -13 + 134388/27 - ((-20)/(-6) + -3) a multiple of 4?
True
Suppose -3*s - 2*h + 24 = 0, s - 3 = -2*h + 9. Let y = 780 + -601. Suppose s*m = 133 + y. Is m a multiple of 5?
False
Let d = -7094 - -10814. Is d a multiple of 31?
True
Suppose 0 = -4*a + y + 13, 2*a = 3*y + 14 + 5. Suppose 0 = 2*q + a*j + j - 294, -j = 0. Does 49 divide q?
True
Suppose -4279 = 5*u + 3*s, 689 + 177 = -u - 4*s. Let j = 1412 + u. Is 9 a factor of j?
True
Let n(v) = -6*v**2 + 4*v + 4. Let h be n(4). Let u be (95/(-15) - -6) + h/(-3). Is 8 a factor of (-10)/u + 42/5?
True
Suppose -l = -7*a + 160825, -a + 18096 = -l - 4885. Does 42 divide a?
True
Let r(x) = -5*x + 60. Let v(l) = -l + 12. Let g be v(9). Is 3 a factor of r(g)?
True
Suppose 4*l + 129812 = 3*o, -94*l + 90*l + 173008 = 4*o. Is o a multiple of 60?
True
Let i(f) = -5*f - 1. Let t be i(-1). Suppose -2*b + 6 = t*p, 4 + 1 = 5*b. Is (p + 20)*34/6 a multiple of 25?
False
Suppose 3*z + l - 34151 = 0, 0 = 109*z - 110*z + 5*l + 11341. Does 83 divide z?
False
Let l be (-3 - -5) + 9/(-3)*60. Let y = 1012 + l. Does 67 divide y?
False
Let f = 27593 + 24249. Is f a multiple of 23?
True
Let q = -4912 - -6809. Is q a multiple of 11?
False
Let l = -27 + 33. Suppose -l*n + 2808 = 7*n. Is 8 a factor of n?
True
Let d(c) = -28*c - 196. Let g = 370 + -389. Is 21 a factor of d(g)?
True
Suppose 3*m + 15*g = 14*g + 2868, m = -2*g + 961. Is m a multiple of 9?
False
Let w be (10 + 0)*(-13)/(-13). Let i = 33 - w. Does 23 divide i?
True
Let o(x) = 127*x - 987. Is 20 a factor of o(41)?
True
Suppose 11128 = 31*h - 13299 - 13052. Is h a multiple of 93?
True
Let r = -586 - -596. Suppose -r*q + 9*q = -389. Does 19 divide q?
False
Suppose -5*p = -11*p - 9204. Does 4 divide p*8/(-96) + (-3)/(-18)?
True
Let h(f) = f**3 + 16*f**2 - f + 15. Let t be h(-12). Suppose 9*v - t = 180. Let k = v - 71. Is k a multiple of 4?
True
Let w(d) = -d**3 + 7*d**2 - 64*d + 12. Let m be w(8). Does 47 divide m/((-28)/(-8) - (-4 + 9))?
True
Let u be 12/36 + 152/(-6). Suppose -21*q + 14*q = -329. Let o = u + q. Is o a multiple of 22?
True
Let b(s) = s**3 + 4*s**2 + 3*s - 2. Suppose q - 2 + 5 = 0. Let n be b(q). Does 8 divide (-8)/(-8) - (n + 1*-20)?
False
Let f be (-15)/255 + (-6450)/170. Suppose z = -2*z + 204. Let r = f + z. Does 11 divide r?
False
Let r = 1 + 9. Is -3*140/(-15)*r a multiple of 40?
True
Let q = -24755 + 27757. Does 2 divide q?
True
Let q(p) = 19*p + 5. Suppose -19 = -4*y + 6*z - z, 0 = -3*y + 2*z + 9. Let k be 6/2 - y*(-6 - -3). Is q(k) a multiple of 11?
False
Let n be ((-66)/88)/(2*(-2)/2032). Suppose 0 = -388*j + n*j + 8232. Is j a multiple of 56?
True
Let n = 64 + -60. Suppose 0 = 3*a + n*h - 17, h = -a - 4*h + 2. Suppose -a*z - 1620 = -16*z. Is z a multiple of 20?
True
Suppose -52*q + 15473 + 21487 = -31*q. Is 8 a factor of q?
True
Suppose -5*o + 3*y = -2 - 28, -3*y = -3*o + 24. Suppose 0 = -o*t + 289 - 91. Is 6 a factor of t?
True
Suppose 185*w - 641484 + 163967 = 3501463. Is w a multiple of 38?
True
Let b = -36 - -30. Let p be b + 11 - (301 + -1). Let w = p - -438. Does 30 divide w?
False
Let i(x) = -535 + 545 - x**3 - x**2 + 0*x**2 - x**3. Is i(-6) a multiple of 9?
False
Let n(i) = 8*i**3 - 16*i**2 - 11*i + 25. Does 128 divide n(13)?
False
Suppose -5*z + 3*z = 5*l - 24, -3*z + 2 = -l. Suppose l*p - 192 = 108. Is 17 a factor of p?
False
Suppose 37968 = -977*f + 1090*f. Is 3 a factor of f?
True
Does 82 divide ((-10)/(-4))/((-530)/(-4120008))?
True
Let d(v) = -v - 1. Suppose 0 = q + m + 8, -2*q + 4*m - 3 = q. Let s be d(q). Suppose 48 = -2*i + 3*i + g, s*i = 5*g + 156. Is 8 a factor of i?
False
Suppose 0 = 4*x + 30*l - 25*l - 15267, x = 5*l + 3823. Is x a multiple of 10?
False
Let n(y) = -5 - 12 - 1 + 3 + 61*y. Is n(6) a multiple of 27?
True
Suppose 716*b + 90746 = 733*b. Does 34 divide b?
True
Let o(z) be the third derivative of 0*z - 7/60*z**5 + 1/120*z**6 + 4/3*z**3 + 9*z**2 - 3/8*z**4 + 0. Is o(10) a multiple of 16?
False
Let b(p) = p**3 - 8*p**2 - 11*p + 11. Let r be b(9). Let z = r + 7. Suppose z = -2*o + 3*v + 225, -4*v + 2*v = o - 123. Does 37 divide o?
False
Does 48 divide (-545990)/(-3905)*1*11?
False
Let p be (-6)/24 - 465/12. Let s = p + 42. Suppose -s*k = -44 - 277. Does 17 divide k?
False
Let n(g) = 13*g**2 + 3*g + 14. Let o be n(3). Does 10 divide (o/7)/((-5)/(-200))?
True
Suppose 125*k - 25*k + 153*k = 177859. Is 19 a factor of k?
True
Let w(f) = f**2 - 40*f + 6. Let n be w(40). Is 5 a factor of (2388/n - -6) + (4 - 0)?
False
Let c(u) = 79*u - 128. Let k be -4*(-2)/4*28/7. Does 36 divide c(k)?
True
Suppose -10*h = 7*h + 15*h - 309824. Is h a multiple of 18?
False
Let q(r) = 49*r + 111. Suppose 0 = 3*i - 2*g - 35, -24*i - 36 = -27*i + 3*g. Does 65 divide q(i)?
True
Let s = 309 - 23. Let h = s - 56. Does 5 divide h?
True
Let k(y) be the first derivative of -9*y**3 - 5*y**2 + 13*y + 15. Let x(t) be the first derivative of k(t). Is 40 a factor of x(-3)?
False
Let i(q) = -q**3 - 8*q**2 - 5*q - 9. Let z be i(-7). Let c = 37 + z. Is 26 a factor of (34/4)/(c/12 + -1)?
False
Let y(h) = 3*h - 15. Let o be y(11). Let m = -38 + o. Is 14 a factor of m/(-90) + (-320)/(-18)?
False
Suppose -3*o - o = -4260. Suppose -220 + o = 5*p. Suppose 3*z - 4*u + 3*u = p, 3*u - 63 = -z. Does 7 divide z?
False
Let n = 3576 + -464. Suppose 8*d + 712 = n. Is 6 a factor of d?
True
Let d be 0/32*1/1. Suppose d = -4*a - 16, 4*a + 496 = 2*b + 6*a. Is b a multiple of 18?
True
Suppose 2*m - 328 = -2*k - 40, 2*k + 600 = 4*m. Suppose -m = -y + 123. Is y a multiple of 45?
False
Is 13 a factor of (19 - -36668) + (29 - 16)?
False
Suppose 5*f + 3716 + 579 = 0. Let g = -334 - f. Does 25 divide g?
True
Let m = -23215 - -59190. Does 25 divide m?
True
Let s(g) = g**3 + 20*g**2 + 7*g + 19. Let m be s(-19). Let w = m - 140. Suppose -102*v - 585 = -w*v. Is 39 a factor of v?
True
Suppose -41027 = 27*g + 9976. Let x = -908 - g. Is 88 a factor of x?
False
Suppose -9*u + 5*u = 3*m - 10204, 0 = 3*m - 2*u - 10234. Does 16 divide m?
True
Let c(q) = 2*q**3 - 10*q - 19. Let h be c(-7). Let m = -939 + 489. Let o = m - h. Is o a multiple of 30?
False
Let w = 3597 + 22. Does 11 divide w?
True
Let f = 52 - -35. Suppose -5*c + 4*c + f = 0. Let k = -3 + c. Is 12 a factor of k?
True
Suppose -5*w + 2*c - c = 0, -4*w - 4*c = 24. Let l = 3 + 1. Is l/(-4) + 19 - w a multiple of 7?
False
Let q(w) = -2*w**2 + 23*w - 26. Let z be q(9). Let t = 607 - z. Is t a multiple of 14?
True
Suppose o - 16 = -2*p, 2*o - 28 = p - 4*p. Let u be 6*(0 - (-36)/o). Suppose u = -6*l + 135. Does 3 divide l?
True
Let p(n) = n**3 + 3*n**2 + 5*n + 19. Let c be p(-3). Is 13 a factor of (c/(-3) - -1)*(-270 + -3)?
True
Let x(v) = 3*v**3 + 20*v**2 - 59*v + 366. Is 221 a factor of x(21)?
False
Let u be (-132)/(-10) - ((-30)/(-25) + -1). Suppose -636 = -u*d + 1184. Does 3 divide d?
False
Suppose -4 = h + 2*v, 3*h = 7*v - 3*v + 38. Suppose r = h*r - 435. Suppose 17*g - 100 = r. Does 10 divide g?
False
Let j be ((-54)/4)/1 - (-68)/136. Suppose 8*p + 80 = 3*p. Does 45 divide (p - (0 + -1))/(j/39)?
True
Let d be 4 + (-18)/4 - 1215/(-10). Let h = 133 - d. Is h a multiple of 4?
True
Does 33 divide (501171/6 - (-174)/116)/(0 - -2)?
False
Suppose 4*x - 3*l + 1283 = 0, 3*l = -l + 4. Does 46 divide (-2 - (3/(-3) + x)) + 3?
True
Let m(g) be the first derivative of 19*g**2 + 124*g - 139. Is 29 a factor of m(12)?
True
Let l = 124 + -173. Let w be 1/(-3) + 