+ 7242, 5*p - 2*h - 12096 = 0. Is p a multiple of 31?
True
Suppose -16 = 4*r, h + 0*h - r = 29. Suppose -3*u = 2*u - h. Suppose -5*i = -u*a - 135, -i - i - a + 57 = 0. Is i a multiple of 7?
True
Let x be ((-6)/21)/(2/(-56)). Does 8 divide (52 + -4)/(-1*x/(-12))?
True
Suppose 418*j = 411*j + 5887. Let u = j - 780. Is u even?
False
Let i(m) = 16*m - 69. Let r be i(4). Is 42 + 1 + 7 + (r - -1) a multiple of 46?
True
Suppose 0 = 5*i - 5*a - 25915, -i - 7*a + 1455 = -3760. Is 149 a factor of i?
False
Is 528/15*(29 + 1) a multiple of 44?
True
Let o(a) = a**3 - 8*a**2 - a + 8. Let u be o(8). Suppose -i + 5*q + 591 = u, -2715 = -3*i - 5*q - 882. Suppose 0 = -7*h - 235 + i. Is 29 a factor of h?
False
Let j(b) = 17*b - 5. Let d = 64 + -63. Let a be j(d). Suppose 5*o + a - 92 = 0. Is 16 a factor of o?
True
Suppose 4*f - 15 = -7. Suppose 5*w - 5*m - 70 = 0, w - 2*w + 23 = f*m. Suppose 0*c = -w*c + 1445. Is 17 a factor of c?
True
Let t(h) = h + 5. Let l be t(15). Suppose 11*x - l = x. Suppose 3*y - 700 = -4*w, 230 = 3*y - x*y + 3*w. Does 59 divide y?
True
Let a be (-15)/((-135)/(-6))*-36. Suppose 27825 = 11*m + a*m. Is 53 a factor of m?
True
Let t(z) = -78*z + 2259. Is 10 a factor of t(-48)?
False
Suppose -35*s + 859 + 1871 = 0. Is 3 a factor of s?
True
Let a = 6 - 1. Let w(j) be the second derivative of j**5/20 - j**4/3 - j**3/6 - 11*j**2/2 - 2*j + 40. Is w(a) a multiple of 4?
False
Let q(c) = -138*c**2 - 11*c - 8. Let s be q(-2). Let u = s - -879. Is 11 a factor of u?
True
Suppose -4*z + 4*j + 4 = -0*j, -4*z = -3*j - 5. Suppose 5*h - z*h = -4*y + 147, 9 = -3*h. Suppose -4*w - y = -5*w. Is 20 a factor of w?
False
Let o = 4 + -13. Let u(b) = 14*b - 19. Let j be u(o). Is 29 a factor of (0 - 2) + 3 + (-3 - j)?
False
Let h = -838 - -11291. Is h a multiple of 143?
False
Let w be -57*1/(-3) + 0. Suppose w*u = 18*u + 34. Suppose 0 = 2*l - u - 54. Is l a multiple of 27?
False
Let c(t) = -t**3 - 7*t**2 - 7*t - 4. Let i = 32 + -30. Let l be (4 - 3)/(i*1/(-14)). Is c(l) a multiple of 5?
True
Let y = -5811 - -15693. Is 122 a factor of y?
True
Suppose -12*f = -f - 9537. Suppose -3*l - 797 = -4*s, -4*s + 4*l = -f + 71. Is s a multiple of 12?
False
Suppose -3*n = -5*t + 5103, 3*t - 814 - 2259 = -n. Is 7 a factor of t?
False
Let c(t) = -4*t + 11. Let z be c(2). Is z/4 + ((-4599)/(-28) - -10) a multiple of 25?
True
Suppose 4*r + 4*w - 19104 = 0, -6*w + w = -4*r + 19104. Is 8 a factor of r?
True
Suppose -3 = -7*t + 11. Let p(k) = 36*k**2 + 6*k - 12. Is p(t) a multiple of 6?
True
Does 9 divide ((-864)/2160)/(2/(-42480))?
True
Does 98 divide 6/(-51) + (-2215920)/(-1190)?
True
Let p(x) = -2*x**2 - 3*x. Let k be p(-3). Does 25 divide 400/(-8)*(k/3 + 0)?
True
Suppose -2*y = 3*y - 3*y. Let v be (-6)/12*(0/(-2) - y). Suppose v = 3*b + 112 - 322. Is b a multiple of 10?
True
Let z = 17322 + -10887. Does 39 divide z?
True
Suppose -24154 = -4*j - 4*b - 6918, b - 1 = 0. Is j a multiple of 33?
False
Does 69 divide ((-2277207)/456 + 2/(-16))/((-1)/2)?
False
Suppose 3*h = -0*s - 2*s - 6, -3*s + 2 = -h. Let q(m) = m**3 - 3*m**2 - 4*m + 518. Is q(s) a multiple of 7?
True
Suppose 3*l + 136 = 5*l + 2*d, 2*l - d - 124 = 0. Suppose -5*b = -67*q + l*q - 959, -3*b + 582 = -4*q. Is b a multiple of 38?
True
Let r = 6075 + -3869. Does 9 divide r?
False
Suppose 1113 = 11*c + 17382. Let k = c + 2123. Is k a multiple of 14?
True
Suppose -928*b = -733*b - 57915. Does 3 divide b?
True
Let t = -37 + 37. Suppose t = -4*n - 3*g + 58, -n + 3*g = -4*n + 45. Does 7 divide n?
False
Suppose -4301 = -a + 3*u, 0 = 4*a + 2*u - 3511 - 13693. Is 50 a factor of a?
False
Let r(n) = n**2 - 79*n + 482. Let a be r(72). Let i be (-2)/7 - (-256)/14. Let x = i - a. Is 3 a factor of x?
False
Let o(z) = z**3 + 4*z**2 - 4*z + 7. Let p be o(-5). Suppose -2*x + 2 = -4*s, -64*x - 10 = -62*x. Is 16 - (s + p + -1) a multiple of 9?
True
Suppose -10*v - 390 = -20. Let t = 23 + -46. Let a = t - v. Does 7 divide a?
True
Does 21 divide 2/21 - (146/(-219) - (-164918)/(-21))?
True
Let y = -8554 + 12898. Does 12 divide y?
True
Is 19 a factor of (-1)/(28 + -12 + -11 - (-145192)/(-29038))?
False
Let b(i) = 7*i**2 - 15*i - 19. Let w = 65 + -66. Let h(f) = -2*f**2. Let y(z) = w*b(z) - 3*h(z). Does 9 divide y(9)?
False
Let v = 31846 - 29457. Does 81 divide v?
False
Suppose o + 1886 = 5*b, -b = -2*b + 4*o + 381. Suppose 0 = -6*t + b + 55. Suppose 8*w = 9*w - t. Does 22 divide w?
False
Let p be (-182)/9 + -5*4/(-90). Let z = 22 + p. Suppose -17 - 23 = -z*t. Is 4 a factor of t?
True
Let s be ((-10)/4)/(-1)*-2. Let b be (s - -2) + 8*5. Suppose -b + 53 = i. Does 12 divide i?
False
Let s(i) = -6*i + 9*i**2 + 40*i - 8 - i**3 + 5*i**2. Does 8 divide s(-5)?
False
Suppose -1661*n - 14424 = -5*u - 1665*n, 0 = u + 4*n - 2904. Is u a multiple of 48?
True
Let a(f) = -832*f + 2707. Does 11 divide a(-17)?
False
Suppose 219 + 586 = p. Let k be 16/(-24) + p/(-3). Let n = 11 - k. Is n a multiple of 47?
False
Suppose 11*j + 7 = -4. Let f(t) = -210*t**3 - 2*t**2 + 2. Is 7 a factor of f(j)?
True
Suppose -9 = -o + 36. Suppose 61*u - o*u = 4816. Does 6 divide u?
False
Let z(l) be the third derivative of -l**5/60 + 7*l**4/12 - 10*l**3/3 + 7*l**2. Is 7 a factor of z(6)?
True
Let b(l) = -2*l. Let u be b(-2). Suppose -22 = u*i - 14. Does 8 divide (192/(-20))/(i/10)?
True
Suppose -4*y - 4*o = 36 - 4, 0 = -3*y - 4*o - 26. Let z(a) = 2*a**2 + 11*a - 5. Let v be z(y). Is 36 a factor of (-8)/(v + 1) - -184?
True
Is (9 - 5) + -5 - -4400 a multiple of 53?
True
Let o(a) = -74*a - 30. Let v be o(-15). Suppose 28*k - v = 22*k. Does 18 divide k?
True
Suppose 4*o + 104 = 4*s + 2*o, -5*o = 0. Suppose -19*b + s*b = 147. Is 18 a factor of b?
False
Let m be 1 + (-3)/(0 + -3). Let d(g) = -19*g - 500*g**2 + 248*g**m - 8 + 251*g**2. Is 40 a factor of d(-16)?
True
Suppose w = -3*d + 7, 0 = -w + 9*d - 4*d + 7. Suppose -100 = -5*s - w*a + 12*a, -5*s = -a - 96. Does 2 divide s?
False
Let w = 432 + -440. Let b(d) = -31*d - 32. Does 9 divide b(w)?
True
Let u(a) = -339*a**3 + a**2. Let d be u(-1). Let q be d/2 - (2 + 0). Let i = -113 + q. Is 23 a factor of i?
False
Let q(r) = 113*r - 69. Let j(w) = 19*w + 250. Let p be j(-13). Does 9 divide q(p)?
True
Suppose 532687 = -75*y - 18*y + 1465570. Is y a multiple of 26?
False
Let c(b) = -2*b**2 + 6*b**2 + 28*b + b**2. Is 32 a factor of c(-8)?
True
Suppose 984 = -61*j + 63*j. Suppose -j - 3904 = -7*r. Is r a multiple of 7?
False
Suppose q - 3*i - 44 = 0, -3*q + 18 = 4*i - 49. Suppose -2*j + 3*x = -q - 139, 3*x = -12. Is 5 a factor of j?
False
Suppose 5*i - 2 = 2*y - 3, 2*i = -5*y + 17. Suppose a + y*b - 1289 = 0, -5*a - b + 6*b + 6425 = 0. Does 9 divide a/10 - (3 - 36/15)?
False
Suppose 83*o + 4986 = 4*x + 86*o, -5*o = -5*x + 6285. Is x a multiple of 39?
False
Suppose -44*v - 26*v + 858176 + 1735744 = 0. Is 14 a factor of v?
False
Suppose -156*t - 20 = -161*t. Suppose -t*h - 5*p + 2270 = h, h + 5*p = 470. Does 9 divide h?
True
Let f(t) = 17*t**3 + 4*t**2 - 5*t - 5. Let z(l) = -9*l**3 - 2*l**2 + 3*l + 2. Let i(p) = 2*f(p) + 5*z(p). Does 22 divide i(-3)?
True
Let o(y) = -12*y**3 - 2*y**2 - 14*y - 28. Let l = 258 + -260. Does 4 divide o(l)?
True
Suppose 66 - 830 = 4*h. Let p = -140 - h. Is 24 a factor of p?
False
Suppose 0 = -23*g - 398 - 108. Let z(s) = s**3 + 21*s**2 - 34*s + 23. Is 23 a factor of z(g)?
False
Let f = -178 - -185. Does 15 divide (f/(63/48))/((-2)/(-45))?
True
Let l be 1*3/((-9)/102). Let s be -27*(245/(-21) + 6). Does 10 divide 176/18 - l/s?
True
Is (-6 - 320/(-55)) + 1261820/55 a multiple of 14?
False
Let n = 5 - 1. Let c(w) = w**3 + 15*w**2 - 14*w + 14. Let j be c(-9). Suppose n*i - 22 - j = 0. Does 10 divide i?
False
Let l(s) = -3*s**3 - 19*s**2 - 12*s - 7. Let d be l(-6). Suppose -25*o = -d*o - 16. Let r(p) = -p**3 + 2*p**2 - 7*p - 4. Is r(o) a multiple of 10?
True
Does 160 divide (-50)/1*(-3)/((-12)/(-896))?
True
Suppose n = 4*w + 1159, -4*w = n + 811 + 358. Let t = w - -368. Is t a multiple of 10?
False
Let o be 1*2 - (-2)/(-1). Suppose o = 4*w - 16. Is 2*w*(-6 - -15) a multiple of 18?
True
Let s be (-1)/((-3)/(-503)) - (-34)/(-102). Is 18 a factor of (s/(-32))/(1/68)?
False
Let a(x) be the second derivative of -x**3/2 + 67*x**2 - 2*x - 6. Is 10 a factor of a(-20)?
False
Suppose 2*p = 3*w - 2*p - 1820, 0 = 3*w + 4*p - 1804. Let 