8/96). Suppose -o - 10 = -l. Is 3 a factor of n(o)?
True
Suppose 3*k + 10 = -5*h - 2*k, -h = 2*k + 7. Let s be (1/h)/(3/9). Suppose -2*r + 41 = s. Is r a multiple of 10?
True
Suppose 0*w - w = -f - 427, -8 = 4*f. Does 25 divide w?
True
Suppose 0 = -4*q + 8, 2*q + 3230 + 90 = 4*x. Does 72 divide x?
False
Does 13 divide (-350379)/(-380) + (-1)/20?
False
Let w(h) = h - 6. Let u be w(-3). Let m = u - -13. Suppose -m*k - 28 = -5*k. Is 14 a factor of k?
True
Let n(v) = 2*v**2 + 5*v + 109. Is n(0) a multiple of 10?
False
Let h(x) = 206*x**2 + x + 1. Let s be h(1). Suppose 52*z - s = 50*z. Is 11 a factor of z?
False
Suppose 777 = 3*i + 3*m, 0 = 3*i - 0*m + m - 771. Does 14 divide i?
False
Let c be (-3 - -3)*(-3 - -2). Suppose c = -3*f, -1 - 11 = -4*p + f. Suppose -60 = -p*g + 138. Is 22 a factor of g?
True
Suppose -2*m = -a + 1161, 3*m + 4500 + 159 = 4*a. Does 17 divide a?
False
Let c(g) = g**3 - 3*g**2 + 2*g - 1. Let h be c(2). Let d(v) = -3*v. Let m be d(h). Suppose -71 = -m*f - j, -2*f + 16 + 38 = 4*j. Does 13 divide f?
False
Suppose 4*h + 6*w = w + 145, 3*h - 2*w - 80 = 0. Let k = 18 + h. Does 16 divide k?
True
Let u(n) = -n - 20. Let m be u(-20). Suppose z - 2*z - 3*g + 95 = m, -380 = -4*z - 4*g. Is z a multiple of 19?
True
Let p(g) = g**3 - 6*g**2 - 5*g - 9. Let w be p(7). Let b be ((-3)/(-3))/1*w. Suppose -75 = -0*d - b*d. Is d a multiple of 15?
True
Let i(j) = 2*j**2 - 6*j - 6. Let y(m) = -3*m - 5. Let k be y(-11). Suppose 8 = 4*p + k. Does 37 divide i(p)?
True
Suppose 8*t = 7*t + 107. Let h = 179 - t. Is 18 a factor of h?
True
Suppose -c + 247 = 3*c + f, -63 = -c + f. Let s = c - -4. Does 11 divide s?
True
Let v(t) = t**2 - 21*t + 200. Is 8 a factor of v(0)?
True
Suppose v - 532 = -0*v - 3*y, -4*y = -2*v + 1034. Does 54 divide v?
False
Suppose -4*d + 1804 = -640. Does 47 divide d?
True
Suppose 495*x = 498*x - 543. Is 6 a factor of x?
False
Suppose -2*g + 3*q = -87, -4*q = -5*q - 1. Does 13 divide g?
False
Suppose 4*m + 18 = -2*m. Is (66/4)/(m/(-22)) a multiple of 11?
True
Suppose -2*n - 4*g + 481 = -g, 239 = n + 2*g. Suppose d + 5*j - n = 0, 3*j - 38 = 5*d - 1235. Does 16 divide d?
True
Let d(s) = 6*s + 6*s - 52 - 16. Does 9 divide d(8)?
False
Let k be (-80)/(-12)*72/15. Is k*(-12)/(-8)*(-15)/(-9) a multiple of 18?
False
Let b = -26 - 5. Let l be 7 - 6 - b/(-1). Let w = 45 + l. Does 11 divide w?
False
Suppose -2*d - 1639 = d - 4*o, 0 = -2*o - 10. Let b = -349 - d. Is b a multiple of 12?
True
Is ((-162)/(-324))/(((-5)/3036)/(-5)) a multiple of 23?
True
Let j(z) = -8*z - 8. Suppose 0 = 4*y + 3*l - 1, -y + 4 = -0*l + 2*l. Does 4 divide j(y)?
True
Suppose a - 2*a = -4. Suppose 5*b + 8 = b, 52 = 3*l + a*b. Is l a multiple of 14?
False
Let y(k) = -19*k. Let z(b) = -29*b - 2 - 8*b + 2. Let p(o) = 13*y(o) - 6*z(o). Does 14 divide p(-2)?
False
Let r(v) = v**3 - 12*v**2 + v - 9. Let t be r(12). Let g(q) = -q**3 - 6 - 3*q + 3 + 0*q**3 + 3*q**t - 5*q**2. Is 19 a factor of g(4)?
False
Let f be 2/8 + (-88)/(-32). Suppose w = f - 14. Let n(z) = -z + 3. Is n(w) a multiple of 4?
False
Let i = 1614 - 1014. Is 25 a factor of i?
True
Suppose 3 = -3*d + 18. Suppose -3 - 7 = -d*f. Suppose 2*l = 7*l - 3*c - 102, -f*l = 2*c - 28. Is 4 a factor of l?
False
Let t(o) = 26*o**2 + 2*o. Let k be t(1). Does 16 divide k + (-1 - (-4 - 1))?
True
Let w be -1 + 15 + 0/1. Let o(c) = -c**3 + 15*c**2 - 14*c + 6. Let s be o(w). Suppose s = m + p, 3*m + m = -5*p + 22. Does 8 divide m?
True
Let y = -126 + 236. Let j = y - 60. Let p = j - 26. Is p a multiple of 6?
True
Let d = -141 - -211. Does 12 divide d?
False
Let z(g) = -g**2 - 6. Let a be z(-5). Let r = a + 72. Let m = r + -13. Does 14 divide m?
True
Let k be 2374 + (1 - 1)/(-5). Is 22 a factor of k/9 - 2/(-9)?
True
Suppose -117 = n + 4*x, 4*x - 465 = 5*n - 0*n. Let m = -39 - n. Is m a multiple of 6?
False
Suppose 0 = 5*a - u - 943, 3*a + 5*u - 332 = 217. Does 2 divide a?
True
Let m(z) = -29*z. Let t be m(-3). Let i be 2*1 - 10/(-5). Suppose -i*q = -t - 33. Is 17 a factor of q?
False
Let q(x) = -2*x**2 + 40*x + 32. Does 14 divide q(16)?
False
Let w = -746 + 1242. Suppose -5*p = -4*z - w, 5*z - 405 = p - 5*p. Is p a multiple of 25?
True
Suppose 15*n - 1550 = 6220. Is 14 a factor of n?
True
Suppose 4*d = -4 - 4. Let q = d + 65. Does 15 divide q?
False
Suppose -2*d - 110 = -10. Let t = 0 - d. Does 14 divide t?
False
Suppose j + 7*j - 1208 = 0. Is j a multiple of 10?
False
Let j(u) be the first derivative of u**4/4 - 11*u**3/3 - u**2/2 + 13*u + 3. Let k be j(11). Does 18 divide (-612)/(-12) + 1 + k?
True
Let r(f) = 156*f - 87. Does 119 divide r(12)?
True
Is 9 a factor of (-8)/(-60) - 6069/(-45)?
True
Suppose 86*j - 2098 = 6158. Let q be 0 - (0/(-1) - 4). Suppose 3*t - 5*u = j, t - u - 18 = -q*u. Does 6 divide t?
False
Suppose -3*n = -2*z - 144, -3*n + 192 = n + 3*z. Does 12 divide n?
True
Let o = -130 + 191. Suppose 0 = -3*j + b + o, 2*j - 69 = -10*b + 5*b. Is j a multiple of 4?
False
Let f be 16*-3*3/(-18). Let x be (-1 - -1)/(f/4). Suppose -2*b + 42 + 52 = -m, 5*b + 3*m - 257 = x. Does 18 divide b?
False
Suppose -4*w = -3*z + 1063 + 715, w - z = -444. Let a = -296 - w. Is a a multiple of 9?
False
Let v = -1759 + 2893. Is v a multiple of 14?
True
Suppose 0 = -3*k - m + 4042, 6*k - 6722 = k + 2*m. Is 7 a factor of k?
False
Suppose 6 - 15 = -3*l. Let y be -1*(0 - (l - 5)). Is 13 a factor of 1/(-3)*y*39?
True
Let x(u) = -186*u - 24. Does 9 divide x(-4)?
True
Let p(s) = -s + 7. Let r be p(0). Let d = r + 33. Is 10 a factor of d?
True
Let s = 37 + -36. Does 11 divide (s + -2 - -4) + 115/1?
False
Let p be (-5)/20 - 1*46/8. Does 5 divide ((-1)/3)/(p/360)?
True
Let h be (8/(-6))/(24/(-36)). Suppose -3*l + h + 3 = j, 2*j - 14 = -4*l. Is j a multiple of 7?
False
Let c(m) = m**2 + m - 1. Let t(v) = -3*v + 5. Let n(r) = c(r) - t(r). Let g be n(-12). Suppose s = 4*q - 424, 0 = -2*q - s + g + 122. Does 37 divide q?
False
Let q be (-9)/12 + 213/12. Suppose 0*i + 2*i - 90 = -3*m, m + 5*i - q = 0. Is 9 a factor of m?
False
Let t(r) = -3*r - 4. Let o be t(-2). Suppose 311 = 5*l - v + 99, l + o*v = 49. Does 10 divide l?
False
Let p be (-3 + 3)/(-3) - -2. Suppose 5*n = p*a + 270, 5*n - 5*a - 373 = -118. Does 14 divide n?
True
Let d(v) = 2*v**3 - 3*v**2 - 17*v + 9. Is 21 a factor of d(6)?
True
Suppose 15*i = 18*i - 6. Suppose i*u + 4*l = -4, -4*u + 4*l - 38 = u. Let s(f) = f**3 + 7*f**2 + 2*f + 8. Is 8 a factor of s(u)?
True
Let z(d) = -3*d + 112. Is 32 a factor of z(-16)?
True
Is (-28)/4 + (84 - 0) a multiple of 7?
True
Let s(b) = 5*b**3 + b - 1. Let n be s(1). Let c(j) = j + 0*j - n*j - 3*j + 14 + j**2. Does 7 divide c(7)?
True
Let z(q) = q**2 - q. Let y be z(-2). Let b be (y/4)/((-6)/(-8)). Suppose -2*d + 300 = b*d. Is 20 a factor of d?
False
Let z be (-2 - (-10)/4)*6. Suppose 3*d - 2*d + 2 = -2*s, -4*s - 6 = z*d. Let c(a) = -a**2 + a + 20. Is 7 a factor of c(s)?
False
Does 37 divide 8869/8 + 282/752?
False
Let h = -77 - -87. Is 21 a factor of ((-40)/12)/h - (-70)/3?
False
Let s be (-9 - -4)/((-1)/2). Is (-3)/(-5) + 274/s a multiple of 7?
True
Let p = 2448 - 1574. Is p a multiple of 51?
False
Let s = -18 - -5. Let i = 11 + s. Is 3 a factor of (24/9 + i)*12?
False
Let s be (-14 - -11) + (-282)/(-2). Does 27 divide s + (-2)/5*(0 + -5)?
False
Suppose 90 = -23*f + 21*f. Let i = -18 - f. Is i a multiple of 22?
False
Suppose 7067 = 24*c - 877. Does 32 divide c?
False
Let d = 1377 - 398. Does 14 divide d?
False
Let w(g) = 31*g**2 + g - 5. Let t be w(-3). Suppose 4*p - t = 17. Suppose -3*s + 39 + p = 0. Is 18 a factor of s?
False
Suppose -11 + 0 = -3*d - 2*v, 0 = -3*v - 6. Suppose -6 = 2*y, 95 = -d*i + 2*y + 361. Is 13 a factor of i?
True
Let j = 294 + -150. Does 9 divide j?
True
Suppose 0 = 9*s - 4*s + 10. Let t(b) = -2*b**3 + 2*b**2 + b. Let n be t(s). Suppose 3*x - 2*k - 94 = 0, -2*x + n = k - 29. Is x a multiple of 14?
True
Suppose 289 = 4*i - 415. Is 16 a factor of i?
True
Suppose 0 = -2*x + 27 + 465. Suppose -3*k + x = 4*d - 0*k, -3*d + 178 = -k. Does 14 divide d?
False
Suppose 69*u = 67*u + 102. Is u a multiple of 3?
True
Let j = 280 - -19. Is 4 a factor of j?
False
Suppose -8*d + 760 + 25712 = 0. Is 117 a factor of d?
False
Let t(h) = 4*h - 6 - 3*h + 5. Let s be t(1). Suppose s = c + 2*c - 183. Does 21 divide c?
False
Suppose -b - 25 = 51. Let t