 + 3*z, -4*u + 12*z = 10*z + 16. Does 5 divide (u*(-2 + 2 + -47))/1?
False
Suppose c = -4*z - 47 - 135, -2*z - 82 = -4*c. Is 22 a factor of 173*2 + z + 42?
False
Suppose 8*i - 84 = i. Suppose -2*z + 3*o + 451 = 0, -3*z = -i*o + 16*o - 702. Is z a multiple of 78?
False
Let a(h) = -33*h**3 + 2*h**2 - 6*h + 7. Let z be a(2). Let u = z + 653. Is 56 a factor of u?
True
Let y(k) = 11*k - 11. Let w(q) = 8*q - 2. Let l be w(2). Let i be y(l). Let f = 247 - i. Is 28 a factor of f?
False
Let p(z) = 587*z**2 - 29*z + 69. Is 13 a factor of p(3)?
True
Suppose 7*c - c = 12. Is 4/(-6) + (560/6)/c a multiple of 31?
False
Let v = -4446 - -7792. Suppose 0 = -13*q + v + 60. Is q a multiple of 14?
False
Suppose 24998 = 4*n + 2*s, 5*s = -3*n + 5911 + 12848. Is n a multiple of 27?
False
Let l be (-3 + -3)/3 - 3/1. Is -3 + (151 + 0 - l) a multiple of 17?
True
Let s(c) = -7*c**2 - 262*c + 34. Does 35 divide s(-20)?
False
Suppose r - 185 = -4*r. Suppose z - 5*h - r = -126, -425 = 4*z + 3*h. Let n = -11 - z. Is 16 a factor of n?
False
Suppose 3*t - 330 = -5*v + 239, 0 = -3*v + 4*t + 324. Suppose 28*n - 29*n = -v. Is 7 a factor of n?
True
Suppose -h + 4*f + 372 = 0, -88*h + 85*h + 1129 = f. Is 4 a factor of h?
True
Suppose 18*k - 105*k = -177306. Is 6 a factor of k?
False
Does 22 divide (-55 + -1261)*(18/(-4) - 1)?
True
Let d(v) = 15*v - 19. Let s be d(-4). Let n = 151 + s. Suppose -t - 24 = -2*t + 3*q, 3*t - 4*q = n. Is 24 a factor of t?
True
Suppose w + 16 = 26. Suppose w = -2*s, 10*s - 13*s - 367 = -j. Is 8 a factor of j?
True
Let r be 0 + 36 - -1*2. Let l(f) = f**2 + 28*f - 200. Let d be l(6). Suppose 0 = d*u - 6 - r. Is u a multiple of 5?
False
Does 56 divide (504/20)/((276/(-4160))/(-23))?
True
Let o(w) = 93 - 16 + 20*w - 2. Is o(11) a multiple of 20?
False
Suppose -3*z = 12, -4*t + t + 31 = -z. Suppose 0 = -6*n + 9*n - t. Suppose -861 = -n*g - 81. Is 44 a factor of g?
False
Let x = -17380 - -33110. Is 13 a factor of x?
True
Let w(c) = -c**3 - 7*c**2 + 4*c + 95. Let n be w(-7). Suppose 6*k = n + 833. Does 10 divide k?
True
Suppose 0 = -4*k + 3*t + 11492, -4*t - 150 + 166 = 0. Does 15 divide k?
False
Suppose -17038 = 28*c - 50302. Is 27 a factor of c?
True
Let n(s) = 564*s + 4206. Is n(0) a multiple of 9?
False
Suppose g = -3*c + 1048 + 760, 4*c = -3*g + 5399. Let x = -753 + g. Does 26 divide x?
True
Suppose -18*j - 44*j + 1422032 = 0. Is 121 a factor of j?
False
Let w(f) = 3*f**3 + 79*f**2 - 83*f - 2. Is w(-27) a multiple of 71?
True
Let q = 157 + -145. Is ((-1800)/(-32))/((6 + -3)/q) a multiple of 15?
True
Let o be 11/(-4) - (-23)/(-92). Is 4 a factor of (5/((-30)/(-9)))/(o/(-20))?
False
Let w = -270 + 272. Is 20 a factor of (3 - (-800)/w) + -3?
True
Let z be ((-623)/(-28))/((-1)/(-4)). Let u = -87 + z. Suppose -2*q + 2*m = u*q - 192, -4*m - 184 = -4*q. Is q a multiple of 13?
False
Suppose 31*h - 4*y = 27*h + 149324, 186665 = 5*h - 3*y. Is h a multiple of 26?
True
Suppose -5*o - 4*j = -43, 2*j + 73 - 45 = 2*o. Suppose 2*m + 73 = 3*w, 4*m - 5 + 67 = 2*w. Suppose 2590 = w*g - o*g. Does 37 divide g?
True
Suppose -6*n + n = -25. Suppose y = n*y - 2880. Suppose 2*s + 6*s = y. Does 23 divide s?
False
Suppose l + 5*p = 4672, -p + 13988 = -0*l + 3*l. Is 63 a factor of l?
True
Suppose 0 = -4*c + 17 + 3, -3*s - 2*c = -22. Let t be -3 - 150/s*100/15. Let z = t - -435. Does 14 divide z?
True
Suppose -3*y = -y + 5*g - 99, 2*y - 2*g - 64 = 0. Suppose -y*z - 3*i = -33*z - 748, -561 = -3*z - 4*i. Is 74 a factor of z?
False
Let o(p) = -102*p**3 - 8*p**2 - 31*p + 5. Is 41 a factor of o(-5)?
True
Let g(v) = 17255*v + 1357. Is 238 a factor of g(1)?
False
Let l be (-944)/(-12) + (-32)/48. Suppose l*u = 84*u - 1710. Is 19 a factor of u?
True
Suppose 4*p = -11 + 31. Let w(r) = r**2 - 3*r - 7. Let l be w(p). Suppose 0*a + 615 = l*a + 5*u, 5*a - 1056 = 2*u. Is a a multiple of 14?
True
Suppose 0 = 5*x + 14 - 34. Let m be (-342)/24 + (-3)/x. Is 27 a factor of (486/m)/(16/(-40))?
True
Let r(l) = -5*l**3 - 15*l**2 - 5*l + 14. Let a be r(-10). Suppose 14*n - 5*n = a. Is n a multiple of 36?
True
Let s(x) = -27*x - 699 + 649 + 133*x. Is 19 a factor of s(3)?
False
Let k(w) = -5*w**2 - 49*w + 43. Let r be k(-10). Suppose 35*d - 1242 = r*d. Does 69 divide d?
True
Let v be 185937/33 - (-156)/286. Suppose 0 = 8*z - v + 443. Is z a multiple of 77?
False
Suppose 40 = -x - 11. Let o = -51 - x. Suppose -15*k + 14*k + 142 = o. Does 16 divide k?
False
Let s(z) = z**3 + 5*z**2 - z - 2. Let x be s(-5). Suppose x*b + 3 = -0*b. Is 17 a factor of 391/23*(-1)/b?
True
Let t = -34979 - -49282. Is 19 a factor of t?
False
Let y(c) be the first derivative of -c**3/3 + 18*c**2 - 68*c - 119. Is y(22) a multiple of 15?
True
Let r(u) = -47*u**2 + 504*u - 30. Is 93 a factor of r(5)?
False
Let r(g) = 2*g**2 + 3*g + 30. Let h be r(-12). Let p = h + -191. Is p a multiple of 7?
True
Does 12 divide (2/9)/(4/6) + 61295/39?
True
Suppose 18*s + 5*s - 1006375 = -102*s. Is 97 a factor of s?
True
Is 345/483*(-1)/(-2)*7*2366 a multiple of 210?
False
Let q(v) = 12*v**2 + 43*v + 286. Is 46 a factor of q(-61)?
False
Suppose -3 - 21 = -4*u - 3*k, -2*k + 8 = 0. Suppose 5*v - 2247 = -2*m, -3*v + u*m + 868 + 497 = 0. Does 16 divide v?
False
Let a = 48 - 64. Let v = 3 - a. Let x(i) = i**2 - 17*i + 22. Is 10 a factor of x(v)?
True
Let p(x) = -85*x**3 - 50*x**2 - 487*x - 19. Is 10 a factor of p(-7)?
False
Suppose 3*j + 4*v - 149 + 36 = 0, 134 = 4*j + 2*v. Suppose j*m - 384 - 18216 = 0. Is 10 a factor of m?
True
Let l(x) = 10 - 4 + x**3 + 3*x - 2*x**2 - 3. Let p(k) = -2*k**3 + 5*k**2 - 5*k - 5. Let a(z) = -7*l(z) - 3*p(z). Is a(-3) a multiple of 7?
False
Let k be ((-200)/(-60))/((-4)/(-678)). Let l = k + -23. Does 17 divide l?
False
Suppose 3*s + 35259 = 3*a, 4*s = 2*a + 5527 - 29051. Is a a multiple of 16?
True
Let h(l) = l**3 + 4*l**2 - 2*l + 19. Let c be h(-5). Suppose 5*s = -c*d + 2058, 4*d - d = -s + 416. Is s a multiple of 41?
True
Let o(h) = 12*h**2 + 426*h - 6. Is 60 a factor of o(-41)?
True
Suppose 0 = -12*j + 95 + 85. Let z be -45*((-63)/j - -3). Let c = -46 + z. Does 3 divide c?
False
Let v(r) = -r**3 - 6*r**2 + 5. Let g be v(-6). Let w be -6*((-423)/(-27) + -13). Let y = g - w. Is y a multiple of 8?
False
Let b = -25 + 25. Let m = -108 - -244. Suppose -4*v = -3*k - b*v + m, 3*k = -v + 146. Is 7 a factor of k?
False
Let r = 35825 - 28265. Does 6 divide r?
True
Let p = 2861 - -2830. Is p a multiple of 5?
False
Let g = 76 - 86. Let u be 821/5 + (12/g)/6. Suppose 2*v + 20 = u. Is 38 a factor of v?
False
Suppose -27*j = 77 - 239. Is 42 a factor of 79 + (20/j - 100/(-60))?
True
Let i = 1243 + -654. Let a = i - -410. Is 30 a factor of a?
False
Suppose -32*d + 3*h = -26*d - 141615, 5*d - 5*h - 118020 = 0. Does 93 divide d?
False
Let y = -42 + 45. Suppose -d = -y*d - 1220. Is 35 a factor of (-15)/60 - d/8?
False
Let u(l) = 10*l**2 - l - 1. Let x be u(3). Let p be -80 - 9*7/63. Let t = p + x. Is t a multiple of 4?
False
Let j be (2/2 - -16) + -1. Let d = 831 + -833. Let v = j - d. Is 9 a factor of v?
True
Suppose -2*c + 9152 + 31348 = 13*c. Is 75 a factor of c?
True
Let k(l) = -l**3 - 25*l**2 + 152*l + 32. Let v be k(-30). Does 2 divide 1/(-3)*(v + 4)?
True
Let w(k) = 14*k + 111. Let r be w(27). Suppose -9*j = -13*j - 12, 0 = 2*u - 3*j - r. Is u a multiple of 24?
True
Suppose -5*g = 2448 + 1052. Is 5/((-8)/(-10)*(-7)/g) a multiple of 25?
True
Let r = 16253 - -8039. Is 280 a factor of r?
False
Let r(d) = -17*d**3 - d**2 + 4*d + 111. Is r(-6) a multiple of 51?
True
Let l be (-3)/(-9) + 124/6. Is 1025 - 3*(-28)/l a multiple of 34?
False
Suppose 4*a = i + 1009, -3*a - 2*i = -a - 512. Let p = a + 107. Is p a multiple of 8?
True
Let o(v) = v**2 - v - 18. Let w be o(5). Let k(d) = 232*d + 36. Is k(w) a multiple of 25?
True
Let c = 375 + -873. Let p = c + 850. Is p a multiple of 10?
False
Suppose 3 - 7 = 2*w. Let r be -2*12/(-16) + 3/w. Suppose r = 4*n - 5*n + 4. Does 4 divide n?
True
Let c(o) = o**2 - 6*o - 27. Let k be c(9). Suppose 17 = n + 5*i - 76, -3*n + 3*i + 261 = k. Suppose 7*u - 6*u - n = 0. Is 18 a factor of u?
False
Let o(t) = 31*t + 148. Is o(15) a multiple of 8?
False
Let n be (15/1)/(-3) - (-37 - -17). Suppose -3375 = -n*i + 5295. Is i a multiple of 38?
False
Let t(l) = 30*l**2 + 272*l + 4854. Does 9 divide t(-18)?
False
Suppose 