6 = 0, 4*z = -3*g + 4142. Does 47 divide z?
True
Let b(s) = 15*s + 3. Let p be b(3). Does 4 divide (-24)/p + (-205)/(-2)?
False
Suppose -8*k + 182*k = -45*k + 423108. Is k a multiple of 84?
True
Let q(w) be the first derivative of -w**4/4 - 3*w**3 + 4*w**2 - 9*w + 1. Let n be q(-10). Suppose 0 = -n*t + 15*t - 448. Does 16 divide t?
True
Suppose -14840 = -5*q - 5*x, 5*q + 3*x + 11823 = 9*q. Does 3 divide q?
True
Suppose -2*k + r = -1 + 10, -3*k + 2*r = 15. Let m be k*(4 - 84/9). Let n = 82 - m. Is n a multiple of 11?
True
Suppose -125 = 19*s - 24*s. Suppose -32*f = -s*f + 917. Let l = -111 - f. Is l a multiple of 2?
True
Let o = -32 + 87. Let l(z) = z**3 - 25*z**2 + 25*z - 63. Let d be l(24). Let i = d + o. Is i a multiple of 6?
False
Let z = -271 + 188. Suppose 0 = -2*w + 155 + 235. Let m = w + z. Is 14 a factor of m?
True
Let p(y) = 4*y**2 + 1. Let x be p(-1). Suppose -d = -5*l - 65 + 17, 2*l + 309 = 5*d. Suppose 8*u - x*u = d. Does 14 divide u?
False
Let a = -1133 + 3179. Does 11 divide a/(-4)*6/(-9)?
True
Let t = -1947 - -2272. Is t a multiple of 5?
True
Let f = 272 + -139. Let t = 47 + f. Is 18 a factor of t?
True
Let g = -117 + 147. Is 47/((-14)/g - 40/(-60)) a multiple of 10?
False
Let z be ((-2)/2)/((-7)/((-280)/8)). Is (3/z)/((-22)/10120) a multiple of 10?
False
Let y = 9925 + -5657. Suppose 0 = 5*m - 442 - y. Does 22 divide m?
False
Let m(r) = 5*r**2 - 98*r - 54. Does 10 divide m(22)?
True
Let s be ((-219)/9 - 4)/(1/(-9)). Suppose -s = 8*g - 631. Does 10 divide g?
False
Suppose 2*u = -11*q + 6*q + 45203, 36136 = 4*q - 5*u. Is q a multiple of 12?
False
Suppose -4*j + 4 = 2*m, -4*j - j + 5*m + 35 = 0. Suppose -262 = -4*u + 2*v, -55 = 2*u - 3*u - j*v. Is 16 a factor of u?
True
Let w(f) be the third derivative of -f**6/120 + 7*f**5/30 - 3*f**4/8 + 13*f**3/3 - 2*f**2. Let l be (6/18)/(4/156). Is w(l) a multiple of 13?
True
Let k be -1 - -4*34/4. Suppose -3*g = -0*o - 4*o - k, -4*o = 4*g + 12. Is 23 a factor of ((-46)/o)/(3/18)?
True
Let l(m) = -26*m - 22 + 0 - 25 + 10. Let c(b) = -25*b - 37. Let a(r) = 6*c(r) - 5*l(r). Does 13 divide a(-7)?
False
Let n = 2347 - 4697. Let i = -1203 - n. Does 42 divide i?
False
Let s be -5 - ((-9)/((-36)/(-16)) - -1). Is (3 - (2 - 2)) + (s - -7) a multiple of 8?
True
Suppose n = 2*q - 12794, 0 = q - 31*n + 27*n - 6418. Is q a multiple of 36?
False
Let r = -35 + 25. Let g(y) = -y - 3. Let q be g(r). Suppose 894 = q*a - 261. Is 15 a factor of a?
True
Let a be (-1)/(((-4)/(-54))/(-2)). Suppose -s = 2*f - 38, 0 = s + 3*f - 12 - a. Is s a multiple of 10?
False
Suppose 18 = 3*s + 4*r - 5, -14 = -4*s + 3*r. Let z = 815 - 305. Suppose -7*t - 4*h + z = -2*t, -3*t + 269 = -s*h. Is 14 a factor of t?
True
Suppose -52*u = -89945 - 77287. Let m = u + -2280. Does 24 divide m?
True
Let c(l) = -3*l**2 - 15*l + 6. Let n be c(5). Does 30 divide 4*12/n - (-4718)/6?
False
Let y = -44889 + 47977. Is y a multiple of 4?
True
Let b(f) = 42*f - 24. Let q be b(-47). Is q/(-14) + 264/42 + -6 a multiple of 9?
False
Suppose 3*x = 3*g - 6, 0*x + 5*g - 14 = 3*x. Is -28*1*x*(-20)/16 a multiple of 12?
False
Let j(q) = 115*q**2 - 30*q + 200. Does 26 divide j(6)?
True
Let q(y) = y - 79. Suppose 0 = 4*v + c - 1, v - 4*c + 5 = c. Let g be q(v). Let a = g - -144. Is a a multiple of 13?
True
Suppose -22213 + 87 = -5*v - a, 0 = v + 4*a - 4448. Is 56 a factor of v?
True
Does 55 divide ((-2)/(-6))/((-504)/1581525*-3138 - 1)?
True
Let i be 13 + (-9 - -8) - 24/4. Is 3 a factor of ((-1)/(-9))/(i/3294)?
False
Let o = -89 - -91. Let c(s) = -s**o + 24 + 49 + 0*s**2 - 25*s. Is 10 a factor of c(-26)?
False
Let f be (-1 + -2)*(-8)/6. Suppose -f*r = -i - 10, 4*r + 30 = 4*i + 2*r. Suppose -128 = -i*m + 8*m - 2*g, -3*g = m - 72. Is m a multiple of 10?
True
Let o(r) = -4*r + 34*r - 6*r - 15*r**2 + r**3 - 9 - 3*r. Is o(16) a multiple of 53?
True
Let d = 24 + -12. Does 4 divide -16*(2 - 75/d)?
True
Let a = 492 - 300. Suppose -1112 = -4*g - a. Is 3 a factor of g?
False
Let y be 2222/(-8) - (13 + 153/(-12)). Let o = 303 + y. Is 2 a factor of o?
False
Let f(v) = 24*v**2 + 37*v - 324. Is f(-35) a multiple of 13?
True
Let f = 81 + -63. Suppose 19*o - f*o + 16 = 0. Let u(t) = -2*t + 28. Does 10 divide u(o)?
True
Suppose -5*o = -2*m - 52, -m = 5*o + m - 48. Let k be (-4)/o + (-17)/(-5) + 2. Suppose -c - 4 = -k*t, c + 4*t = -t + 36. Is c a multiple of 4?
True
Suppose 0 = -42*b + 2943 + 45441. Does 4 divide b?
True
Is 42 a factor of ((-43)/6)/((-56)/4816)*(13 + -4)?
False
Let s = -12805 + 18578. Does 23 divide s?
True
Suppose 4*n - 92930 = -5*x, -5*x + 48*n = 47*n - 92955. Is x a multiple of 26?
True
Suppose 5*n + 197 = 3*q, 79 = q + 10*n - 9*n. Let a = q + 460. Is 47 a factor of a?
False
Let i(m) = 5*m**3 + 7*m**2 + 16*m + 2. Let y(d) = -11*d**3 - 15*d**2 - 33*d - 4. Let n(w) = 5*i(w) + 2*y(w). Is n(6) a multiple of 78?
False
Let x = -378 - -655. Suppose 0 = -7*p + 711 - x. Let n = p + -46. Is n a multiple of 4?
True
Let u = -28804 - -57140. Is u a multiple of 176?
True
Let b be (-20)/(3/3*(1 + -2)). Let x be 26/(-10) + (-8)/b. Is 3/18*-2 - 523/x a multiple of 18?
False
Let k(q) be the first derivative of q**6/90 - q**5/30 - 59*q**4/24 + 17*q**3/3 + 20. Let l(i) be the third derivative of k(i). Is l(10) a multiple of 43?
True
Suppose m - 1514 - 479 = 0. Suppose -c = 3*j - m - 1431, 2*j + 2*c - 2288 = 0. Is 30 a factor of j?
True
Suppose 50 = -6*j - 76. Is (-9075)/j - 1 - (-2)/(-14) a multiple of 9?
False
Suppose 3*j + 57 = 225. Let g be 4 - 2 - -3*1. Suppose 0 = 3*h - 9, g*h - j = -s - 16. Does 6 divide s?
False
Let r = 4906 + 3749. Does 3 divide r?
True
Suppose 223*n = -703229 + 4309139. Is 35 a factor of n?
True
Let m = 158 - 155. Suppose o - 60 = -2*c, -31 = -c + m*o - 1. Is 6 a factor of c?
True
Suppose 0 = -19*a + 1378 + 3125. Does 3 divide a?
True
Suppose -2*z + 11*f = 12*f - 11130, f + 2 = 0. Does 23 divide z?
True
Suppose 17 + 7 = 8*d. Suppose -4*l + l + z + 214 = 0, d*z = 6. Is l a multiple of 24?
True
Suppose 25*z + 72*z - 24941 - 13568 = 0. Is z a multiple of 53?
False
Suppose 98*c - 2471565 = 723627. Does 15 divide c?
False
Let b be 32/(-160) + (-226)/(-5) + 2. Suppose 0 = p + 3*p + 140. Let h = b + p. Is 6 a factor of h?
True
Let w(a) = -a + 19. Let i be w(13). Suppose -i*v + 395 = -523. Does 18 divide v?
False
Suppose h - 120 = -2*h. Let j = h + -36. Does 5 divide (110/(-4))/((-2)/j)?
True
Let b = 6943 + -4227. Suppose 1412*d = 1408*d + b. Is 23 a factor of d?
False
Suppose 7*i = 470 + 31471. Suppose -4*x - 1059 = -i. Is 8 a factor of x?
False
Suppose 26*s - 7960 = 3584. Does 6 divide s?
True
Let g(i) = -i**3 - 30*i**2 + i + 35. Let z be g(-30). Is 9 - z - 0 - -85 a multiple of 7?
False
Let b(g) = 15*g**3 + 7*g**2 - g - 2. Let p(m) = 30*m**3 + 15*m**2 - 3*m - 3. Let h(y) = -7*b(y) + 3*p(y). Is h(-2) a multiple of 2?
False
Suppose -50*i + 80 = -42*i. Suppose 620 + 940 = i*d. Is d a multiple of 4?
True
Suppose -5*v = -2 - 8. Suppose 4*c = -2*j + 8, -j + 6*j = v*c - 28. Is 21 a factor of j/(-7) - (-4576)/77?
False
Suppose -5*j = 4*j + 180. Let a be 0*5/j - 2. Does 16 divide (a - -48)*(3 - 9/6)?
False
Let z = -39226 - -43902. Is z a multiple of 14?
True
Suppose 16320 = -3*c + 27*c. Suppose -3*r + 2*r = -4*d - 680, r = -3*d + c. Is r a multiple of 54?
False
Let m(n) = 3*n**2 - 8*n - 17. Suppose 4*x = 5*c + 10, 14 = -3*c - 0*x + 4*x. Let j(y) = y**2 - y. Let r(s) = c*j(s) - m(s). Does 15 divide r(6)?
False
Is 47*(54/(-3))/((-32)/192) a multiple of 54?
True
Let k = -4987 - -2555. Let u = -1545 - k. Does 17 divide u?
False
Is (-184)/6*(-1 + 1781/(-52)) a multiple of 5?
False
Suppose 4*l - 6*t = -4*t + 54, 4*l + 2*t = 58. Suppose -3*q + 13 = -3*n - l, -4*n = -q + 18. Suppose 2*f - 1168 = -q*f. Is f a multiple of 33?
False
Let x(b) = b**2 + 13*b - 7. Let y be x(-13). Let p be 20/(-8) - (y/2)/(-7). Is p + 11 - 0/3 a multiple of 4?
True
Let h(p) = 25*p + 1852. Is 6 a factor of h(-46)?
True
Let n(l) = -7*l - 59. Let z be n(-9). Let s be 14/((3 - z)/1). Is (-10)/(-35) - 1704/s a multiple of 16?
False
Suppose 2*o + 3*x - 39 = 2, -3*o + 54 = -3*x. Suppose w = -4*k + 27, 13*k - 16*k = 2*w - o. Does 6 divide k?
False
Suppose v - 7 = -0*v. Let b(a) = -18*a**3 + 19*a**3 - 26 + 42*a**2 + 3*a - 23*a**2 - 22*a**2 + 2*a. Does 20 divide b(v)?
False
Let v be (-3 + 12)*4/18. Suppo