Suppose -2*n = 5*t - 24, -3*t + 12 - 3 = 3*n. Does 17 divide j(t)?
True
Suppose 5*g - 573*r - 88882 = -569*r, -6*r + 42 = 0. Is g a multiple of 17?
True
Let h(a) = 9*a**2 + 6*a - 8. Let b = -133 + 125. Is h(b) a multiple of 8?
True
Let r be ((-9)/(-6))/((-3)/(-836)). Let a = r - 254. Suppose 5*b = 331 + a. Does 19 divide b?
False
Let u be 9/(-10)*(-10)/12*-8. Let r be (u/(-7))/(1/91). Let g = r - 51. Is g a multiple of 3?
True
Suppose -2*c + 4*y = 8, -2*y = 1 - 5. Let r(o) = -2*o**3 + 3*o**2 - 26. Let j(a) = -3*a**3 + 5*a**2 - 53. Let l(g) = -3*j(g) + 5*r(g). Is l(c) a multiple of 9?
False
Let x(p) = -2*p**3 + 52*p**2 - 15*p + 37. Does 48 divide x(25)?
True
Let s be (8/(-3))/(2/33). Suppose 5*i = 45 + 255. Let q = i + s. Does 16 divide q?
True
Suppose n + 19*n + 322681 = 847981. Does 85 divide n?
True
Let w(y) = -20*y**2 + 22*y - 53. Let c(h) = -4*h**2 - h - 1. Let o(x) = 4*c(x) - w(x). Does 7 divide o(17)?
True
Let l = 5079 - 2056. Does 25 divide l?
False
Let u(h) = h**3 - 48*h**2 + 509*h - 154. Does 182 divide u(45)?
False
Let z(a) = -24*a + 204. Let u be (64 + 5)*(-5)/15. Does 63 divide z(u)?
True
Suppose 180 = 6*d - 0*d. Suppose 0 = 7*l - l - d. Suppose -l*c + 540 = -3*y - y, 0 = y. Is 18 a factor of c?
True
Suppose -924*p + 4090044 = -763*p. Does 73 divide p?
True
Let c(x) = 27*x**2 + 5*x - 6. Let j be c(-3). Let y be (-111)/(12/((-8)/2)). Let h = y + j. Is 15 a factor of h?
False
Suppose 4*t = 4*p - 0*p - 12, 0 = 3*p + t - 1. Let x be (-5)/p*(-2)/5. Suppose z - x*l - 151 = 0, 2*l = l + 1. Is 17 a factor of z?
True
Let g = 68 + -64. Suppose -3*c = -2*c - 5*l + 8, 4*l = -4*c + 16. Suppose -g*h + 166 = c*r - h, -5*r = 5*h - 415. Is r a multiple of 10?
False
Suppose 13*s - 49536 - 13891 = 0. Is s a multiple of 7?
True
Let g = 343 + -193. Suppose -4*b + g = b. Suppose r + b = 6*r. Does 6 divide r?
True
Let r(a) = 348*a - 3634. Is r(11) a multiple of 14?
False
Let l(d) = 18*d - 18. Let o be l(3). Let q = o - 34. Does 8 divide (q/3)/(3/126)?
False
Suppose -p + 3 = -0, -5*g - 2*p = -2241. Let r = -238 + g. Is 7 a factor of r?
False
Suppose -16*y = -29622 - 21012 - 9718. Is 69 a factor of y?
False
Let a(h) be the third derivative of -13*h**4/24 - 61*h**3/3 + 50*h**2. Does 28 divide a(-18)?
True
Let c(k) = -k**3 + 46*k**2 + 50*k - 142. Let y be c(47). Is y + 603 + 154/22 a multiple of 29?
True
Let h(v) be the first derivative of -v**4/4 - 2*v**3/3 - v**2/2 + 12*v - 164. Is h(-9) a multiple of 28?
True
Does 150 divide ((-77028)/490)/((-4)/930)?
False
Suppose 0 = -25*o + 10*o + 330. Suppose -2165 = -o*z + 17*z. Is z a multiple of 49?
False
Suppose -4*z + 33425 = 4*h + h, h - 8357 = -z. Is z a multiple of 38?
True
Is 27 a factor of ((-207)/(-230)*4)/(3/8100)?
True
Suppose 0 = -4*f + 4, 3*u + 13 + 127 = -f. Let c = -43 - u. Suppose 5*y - 52 = -2*p + 25, -c*p - 5*y = -149. Is 12 a factor of p?
True
Suppose -346640 = -525*j + 517*j + 2*a, j - 43340 = -a. Is 23 a factor of j?
True
Suppose -3*b = -3*n, 3*n + 6*b + 24 = 3*b. Let m be n/6 + 3/(-9). Is 81 + 4/m + 0 a multiple of 27?
False
Let r be (3/4)/(9/(-8))*-9. Let u be (-4 - -1)/(r/10*-1). Is 8 a factor of (5 - -4)/(1/u)?
False
Let h be (-1 + -1)/((-3)/(-3)). Let p(o) = o**2 + 9*o - 155. Let q be p(6). Let t = h - q. Is 4 a factor of t?
False
Suppose -v = 3*f + 2*v - 39, 5*v - 47 = -3*f. Suppose -4*j = -b - 204, -4*j - 4*b - 255 = -f*j. Suppose -4*u - 3 + j = 0. Does 3 divide u?
True
Let t = 38 - 40. Let l be (-32)/(-40)*(-5)/t. Suppose 0*a - 54 = -l*u + 5*a, -4*u + 108 = 3*a. Does 9 divide u?
True
Let s = -17 + 55. Is (0 - 5) + 0 + 3 + s a multiple of 4?
True
Let n(b) = -b - 2. Let a(m) = 2*m**2 + 16*m + 8. Let j be a(-7). Let h be n(j). Suppose -3 = -h*k + 29. Is 6 a factor of k?
False
Suppose 5*q - 11247 = -2362. Suppose -4*l = 4*h - 3516, 5*l + 28 = -2*h + q. Is 12 a factor of h?
False
Suppose 631 = v - 2*m, 0 = -3*v + 4*m - m + 1908. Is v a multiple of 4?
False
Let u = -1467 - -4523. Is 10 a factor of (-4)/(-18) - (u/(-9))/2?
True
Let s = -10147 - -11958. Is 6 a factor of s?
False
Let o = 0 + 3. Let c(l) = 4 + 2 - 9 + 25*l + 15. Is 14 a factor of c(o)?
False
Let s = 488 - 212. Does 4 divide s?
True
Let s = 14407 + 5888. Is 11 a factor of s?
True
Let i = 38 - 38. Suppose 5*f - 39 + 14 = i. Let p = f - -2. Is p a multiple of 2?
False
Let a(m) = 26*m**2 + 15*m + 9. Is a(9) even?
True
Let d = 4348 + -2892. Suppose -13*v + d = -5*v. Is 26 a factor of v?
True
Let q be (-410)/2665 - (12946/13 - -1). Let m = 1482 + q. Is m a multiple of 7?
False
Does 6 divide 252314/238 - 5/(-175)*-5?
False
Suppose -364*u + 364*u + 4*g = 0, -4*g + 89760 = 4*u. Is 22 a factor of u?
True
Let l(u) = 8*u - 12. Let x be l(5). Let s be (-12)/(-7) - (-1 + 20/x). Suppose g = -5*d + 282, s*g + 177 = 3*d - 0*g. Is d a multiple of 10?
False
Let r be (-114)/(-7) - 14/49. Suppose r = 28*y - 26*y. Suppose d - 96 = -w, -2*w - y = -0. Is d a multiple of 25?
True
Suppose -2*h = y + 57, -8*y = -10*y + 4*h - 82. Is 38 a factor of 7/(y/(-2849)) + -1?
False
Let z(b) = b**2 + 2*b + 17. Let r(y) = -y**2 + 1. Let w be r(3). Let l be z(w). Let c = l + -19. Does 7 divide c?
False
Let x(j) = j**2 + j - 10. Let s(f) = f**2 + 14*f - 20. Suppose 70 = -5*m + r, 0*r + 60 = -5*m + 3*r. Let i be s(m). Does 10 divide x(i)?
True
Let y(p) = 2*p**3 + 17*p**2 + 20*p - 29. Let f(g) = g**3 + 9*g**2 + 10*g - 15. Let i(n) = -11*f(n) + 6*y(n). Is 13 a factor of i(4)?
True
Let i = 431 - 433. Let d(p) = 130*p**2 - 13*p - 5. Is 7 a factor of d(i)?
False
Let w = 80055 - 55988. Is 11 a factor of w?
False
Let h(n) = 192*n - 83. Let w be h(5). Suppose 75*v = 74*v + w. Does 15 divide v?
False
Let k(x) = 5*x**2 - 34*x + 27. Let p be k(8). Suppose 0 = -p*d + 84*d - 4464. Does 31 divide d?
True
Suppose 18*b - 4196 = 16*b + 2*m, b + m = 2094. Is b a multiple of 8?
True
Let j = 97 + -95. Let k(r) = 112*r + 24. Does 11 divide k(j)?
False
Suppose 32*y + 165202 = 6*y + 1223818. Does 108 divide y?
True
Let s = 21278 - 7888. Is 16 a factor of (1 - s/(-50))/(2/10)?
True
Let u = -4 - -25. Suppose u*z - 23*z - 8 = 0. Is z/28 + (198/14 - 2) a multiple of 4?
True
Suppose -3*o = 4*a, 4*a + 2*o - 28 = 6*o. Suppose -5*h = a*d - 810, 5*d - 3*h - 19 = 1331. Does 30 divide d?
True
Let a(d) = 9*d + 2. Let f be a(-9). Let p = f + 69. Does 13 divide (-272)/p*(2 - 0 - -3)?
False
Let n be (-11)/((-110)/15)*20/6. Suppose 8*r - n*r - 9 = 0. Suppose -4*b = -4*x + 240, -5*x + b = -r*x - 120. Does 6 divide x?
True
Let m = 0 + -5. Let x(k) = 8*k**2. Let j(h) = -13*h**2 - 2*h + 7. Let q(b) = j(b) + 2*x(b). Is q(m) a multiple of 20?
False
Suppose -16 = 4*w - 36. Suppose -5*f + 55 = w. Is 4 a factor of f?
False
Let i(x) = -599*x - 8. Let v be i(-3). Suppose 4*r - v = 5*z, r + 5*z = 3*z + 444. Suppose -2*w - 8*c + r = -7*c, -4*c = -3*w + 680. Is w a multiple of 28?
True
Let b(d) = 10*d**2 + 9*d + 1. Let g be b(-1). Suppose 2*j - g*c - 2840 = -4*c, -4*j + 5701 = -3*c. Is j a multiple of 16?
False
Let u(q) be the first derivative of 13*q**2 - 9*q - 45. Suppose 0*z = -4*h - 5*z - 12, -24 = -2*h + 5*z. Is u(h) a multiple of 23?
False
Let s(c) = 94*c**2 - 12*c - 30. Let j be s(-4). Let p = j - 584. Is 27 a factor of p?
False
Let r(h) = h**3 + 24*h**2 - 27*h + 2. Let k = -12 - 13. Let y be r(k). Is 2 a factor of 1 + 10 - y/(-13)?
False
Suppose 2*u - 4 = 0, -179*u = -4*i - 180*u + 2306. Is i a multiple of 64?
True
Let h = 33 - 28. Suppose h*g - 453 = 4*g. Suppose 4*y - g = 251. Is y a multiple of 11?
True
Let n be (25/(-15))/(1/(-6)). Suppose -12 + 32 = n*m. Suppose -2*d + 500 = -0*h + m*h, 0 = -2*h - d + 499. Does 37 divide h?
False
Let q = 32 - 57. Let w = q + 23. Is 4 a factor of (-6 + 25)*(-1)/w*2?
False
Let q(w) = 14*w - 72. Let p be q(19). Does 29 divide -6*p/(-8) - 1/2?
True
Let o(s) = s - 3. Let k be o(1). Let x be 15 - (0 + 2 + k/2). Suppose -19*c + x*c = -145. Is c a multiple of 29?
True
Is 49 a factor of (1464 + 6)*(10 - (15 - 7))?
True
Let w(c) = -6*c + 76. Let i be w(12). Suppose -4*a + 76 = 4*n, -3*n - i = -3*a - 43. Does 7 divide n?
False
Suppose -8*k - 1392 = -4*d - 4*k, -2*d + 693 = -k. Let p = d - 223. Is 23 a factor of p?
False
Let i be 2/8 - (-10)/(-8). Let v be 3 - (3/i + -7). Suppose 0 = v*f - 12*f - 72. Is 12 a factor of f?
True
Let r = -31 + 76. Let k = 30 - r. Is (-1 - k/(-4))/((-1)/4)