 4*n = -5*w + 630, -2*n = -w - s*w + 356. Suppose -4*d - 17 = -2*v + v, 4*v + 2*d = w. Does 13 divide v?
False
Let c = 200 - 170. Does 10 divide c?
True
Suppose -5*u = -w + 3*w - 4, u = 0. Suppose 5*q - w*a = 3*a - 50, -5*q = -a + 34. Is 15 a factor of ((-208)/(-12))/((-4)/q)?
False
Suppose -4*o = -14*o + 350. Let s = 7 + o. Is 6 a factor of s?
True
Let o = 256 - 220. Is 12 a factor of o?
True
Suppose 36*u = 16*u + 27540. Is u a multiple of 27?
True
Let j be ((-4)/10)/((-4)/740). Suppose 0 = 10*i - 12*i - 100. Let u = i + j. Does 7 divide u?
False
Let q = -5 + 7. Suppose -206 = -q*s + 4*o, 0 = 5*s - 3*o + o - 539. Is 10 a factor of s?
False
Let f(r) = -r**3 - 4*r**2 + 2. Suppose 3*g + 24 = -3*j, 0*j = -j + g. Let h be f(j). Suppose h*b = -4*d + 4, b = 5*d + 19 + 4. Does 3 divide b?
False
Let h(n) = n**2 - n - 3. Let s be h(0). Let w(b) = -b - 3. Let t be w(s). Suppose -5*v + v + 204 = t. Is v a multiple of 17?
True
Suppose 2*i + s - 51 = 0, -i + 2*s = 5*s - 18. Suppose 68 = y - 3*k, y + i - 87 = 5*k. Is y a multiple of 20?
True
Let l(c) = c**2 - 10*c - 10. Let z be l(11). Let k be (-1 + z)/(1 - 0). Suppose k = 5*p - 352 - 218. Does 34 divide p?
False
Suppose -v + 424 = 3*j - 53, 0 = -5*v + 4*j + 2290. Does 21 divide v?
True
Is ((-12)/5)/((-64)/14880) a multiple of 62?
True
Let s = -39 - -44. Suppose 3*h = -n + 22 + 27, s*h - 93 = -2*n. Is 4 a factor of n?
False
Let c be 75 + (0 - (3 - 7)). Let h be 2/(-5) + (-3342)/(-30). Let w = h - c. Is 16 a factor of w?
True
Does 5 divide ((-144)/(-28))/(156/18200)?
True
Suppose 3*v + 119 = -t - t, -v = 5. Let y = t + 118. Is y a multiple of 11?
True
Does 8 divide -5 + 1/2*(-1218)/(-21)?
True
Let s(f) = 39*f + 460. Is 9 a factor of s(0)?
False
Suppose 45 - 10 = -5*j. Let f = -1 - j. Suppose 36 = -2*i + f*i. Is i a multiple of 8?
False
Let b(u) = -6*u**2 + 4*u - 5. Let a be b(1). Is (-6904)/(-56) + 2/a a multiple of 8?
False
Let g(l) = -12 - 11 + 5*l + 1. Is 15 a factor of g(17)?
False
Suppose 4*n + 3*v - 1190 = 0, v + 506 = 2*n - 94. Let k = n + -157. Does 53 divide k?
False
Let n(h) = 4*h - 2. Let l(a) = -4*a + 1. Let b(i) = -2*l(i) - 3*n(i). Let d be b(-2). Is 4 a factor of (-3)/d - 98/(-8)?
True
Suppose 0 + 2 = -y. Let n = 5 - y. Suppose n*j - 68 = 3*j. Is 5 a factor of j?
False
Let u(h) = 2*h + 306. Let o be u(0). Let y = o + -87. Is y a multiple of 25?
False
Suppose p - 4*p = -18. Suppose -192 = 3*c - p*c. Does 8 divide c?
True
Suppose 4*f = 3*f + 53. Let w = f - 26. Is w a multiple of 4?
False
Suppose w - 1 = 1. Suppose 0 = -w*c + 8, -d + 4*c + 0*c + 48 = 0. Does 16 divide (1 - (1 - 0)) + d?
True
Let o = -151 - -153. Suppose p = -o*d + 189, -2*p - 11*d = -8*d - 378. Does 27 divide p?
True
Suppose 8*p - 53 = 3. Suppose -p + 1 = -2*x. Suppose -2*q + 160 = 5*w, x*q - 240 = 2*w + 3*w. Is q a multiple of 14?
False
Let i(l) = -3 - 2 + 2 + 4*l - 3*l. Let o be i(7). Suppose 2*g = -2, -o = -2*t - 4*g + 8. Is 8 a factor of t?
True
Let f(w) = w**2 - 4*w - 3. Let h be 4*4/(-8) - 1. Let b be f(h). Is 23 a factor of (-3)/2 + 945/b?
False
Is (12114/12 - -4)*2 a multiple of 19?
False
Let p(a) = -6*a - 6. Suppose 0 = -0*u + 3*u + 27. Is 8 a factor of p(u)?
True
Let u(o) = -2*o**2 - 6*o**2 + 8 - 6*o - o**2. Let x(q) = 4*q**2 + 3*q - 4. Let w(n) = 2*u(n) + 5*x(n). Is 5 a factor of w(-4)?
False
Let x(u) = 1011*u**2 - 3*u - 2. Is 22 a factor of x(-1)?
True
Let f be (-4)/(-3) + 52/(-12). Let g be f - -10 - (-10)/5. Let y = g + 5. Does 14 divide y?
True
Let c(x) = 5*x - 19. Let f(d) = -d. Suppose -3*q - 13 = -2*s + 2*q, 0 = 2*s + 2*q + 22. Let l(a) = s*f(a) - c(a). Does 12 divide l(0)?
False
Let f(u) = 277*u**2 - 4. Is f(-1) a multiple of 29?
False
Suppose -n + v + 3 = 6, -5*v = 2*n + 27. Let i(s) = 2 + s**2 - 2 - s - 7 - 1. Does 22 divide i(n)?
False
Suppose 2*c = 4*c - 14. Let r(x) = -1 - 11 + 10*x + x - 2. Is 21 a factor of r(c)?
True
Let j(x) = -26*x - 3. Let y be j(-3). Suppose c + y = 6*c. Suppose -c = -5*s + 20. Does 7 divide s?
True
Suppose -7*q + 5*q - 4*n + 660 = 0, 9*q - 2970 = -3*n. Is 22 a factor of q?
True
Suppose -3*x + 21 = -3*y, 2*x - 17 = x + 3*y. Suppose -r = -x*g + 48, 3*g + 3*r - 86 = r. Is g a multiple of 9?
False
Suppose 29346 + 64065 = 97*t. Is 9 a factor of t?
True
Let z(j) = 137*j - 54. Does 7 divide z(3)?
True
Let s = -405 + 569. Suppose -3*p + s - 26 = -5*r, 0 = p + 2*r - 35. Is 16 a factor of p?
False
Let g(d) = -22*d + 3. Let v be g(-1). Let b = v - 8. Suppose 0 = -j - 5*k + 29, -3*j + b = 4*k - 15. Is j a multiple of 2?
True
Suppose 5*y = -144 - 296. Let v = -83 - y. Is 5 a factor of v?
True
Let r(j) be the first derivative of j**2/2 - 5*j + 11. Is r(7) even?
True
Suppose 4*x = -5*x + 5472. Does 19 divide x?
True
Let f(a) = 4*a**2 - 2*a + 40. Does 32 divide f(8)?
False
Suppose -4*m + 3 = 7. Is 3 - m*(-2 - -65) a multiple of 22?
True
Suppose 2*w = -0*w + 16. Suppose 0 = 5*r - 20, r = 3*f - w*f + 384. Does 14 divide f?
False
Let p = 35 + 111. Suppose -6*f - p = -956. Is 34 a factor of f?
False
Suppose 24 + 12 = -4*n. Let v = n + 12. Let t = 8 - v. Does 2 divide t?
False
Suppose 19*m - 9960 = 4062. Does 61 divide m?
False
Does 46 divide (-13)/(78/4)*-201?
False
Is 14 a factor of ((-514)/8)/((-21)/168)?
False
Let n(f) = 2*f**2 + 11*f + 4. Suppose 3*k = -0*k + 6. Suppose -3*r - 9 = -2*r - k*b, 3 = -r - 4*b. Does 25 divide n(r)?
True
Suppose 0 = -12*w + 5488 + 1040. Is w a multiple of 32?
True
Let d be 4/(16/6) - 68/(-8). Does 37 divide (-1 - d/(-4))/((-3)/(-336))?
False
Let z be 50*5/((-25)/(-24)). Suppose -4*i + 8 = 4*o, -4*o + 8 = -5*i + 2*i. Suppose i = -k + 6*k - z. Is k a multiple of 24?
True
Suppose p - 4*p + 3*r = 18, -3*p - 3*r + 6 = 0. Is ((-377)/39)/(3/18*p) even?
False
Suppose -120*y + 116*y - 3*h = -3816, -3*y + 2*h + 2862 = 0. Does 90 divide y?
False
Suppose -3*b - 4 = 2. Let r = b - 30. Let j = -17 - r. Does 8 divide j?
False
Let l be (12/18)/((-26)/(-24) - 1). Suppose 4*i - 208 = -l. Does 13 divide i?
False
Let a(z) = z**2 + 3*z - 13. Let l be a(-10). Let r be l/15 - (-1)/5. Let b(c) = 4*c + 2. Does 18 divide b(r)?
True
Let s be 4*1/8*0. Suppose 3*g + 9 = -s. Let m(h) = 3*h**2 + 2*h + 5. Does 14 divide m(g)?
False
Suppose -y = 4*h - 1468, -7*h + 5*h = 3*y - 4434. Does 40 divide y?
True
Let h be 1524/54 - 4/18. Suppose w = -0*w + h. Does 6 divide w?
False
Is 2 a factor of ((-176)/(-968))/(1/2123)?
True
Let p = 1209 + -683. Suppose p = 3*j + 5*u, -5*u - 2 = -27. Is j a multiple of 12?
False
Suppose -4*w - w - 5 = 0. Let b be 3 - 1 - 176/(-4). Does 15 divide (0/w - 1) + b?
True
Suppose -b - 3*b - 4*y = -56, 0 = 2*y - 10. Suppose 2*r - b*r = -406. Suppose 3*u = 4*m + 188, r = u - 2*m - 6. Does 10 divide u?
True
Suppose 4*h + 167 + 53 = 0. Let c = h + 102. Does 9 divide c?
False
Let l(g) = 2*g**3 + 15*g**2 - 7*g - 4. Let q be l(-7). Suppose 4*v - q = r + 16, 0 = -v - 2*r + 32. Is v a multiple of 14?
True
Let v(s) = 8*s**2 + 0*s - 3 - s**3 + 2*s - 2*s**2. Let f = -534 - -540. Is v(f) a multiple of 7?
False
Let a(h) = -41*h - 138. Is 4 a factor of a(-6)?
True
Let i = 723 + -628. Is i a multiple of 5?
True
Let w = 46 - 27. Let k = -5 + w. Let z(y) = y + 6. Is 10 a factor of z(k)?
True
Let i = 77 - 206. Let r = -75 - i. Suppose -r = -4*d + 42. Does 11 divide d?
False
Let x(l) = -l**3 - 14*l**2 + 8*l - 29. Is 38 a factor of x(-15)?
True
Let z(n) = n**2 - n + 44. Does 2 divide z(0)?
True
Let f be 6*(-2 - 52/(-8)). Suppose 0 = 16*z - 13*z - f. Is z a multiple of 9?
True
Let w(i) = -2*i**3 - 14*i**2 - 13*i - 28. Is 26 a factor of w(-10)?
True
Let x(c) = 28*c**2 - 14*c + 20. Let n(i) = 27*i**2 - 14*i + 21. Let s(b) = 5*n(b) - 4*x(b). Does 44 divide s(2)?
False
Let u be (-8)/12*12/4. Is (-1220)/(-80) - u/(-8) a multiple of 5?
True
Let d = 2 + 0. Let i = -245 + 250. Suppose 8 = b + 3*c, i*c = d*b + 2*b - 32. Is 4 a factor of b?
True
Suppose -90 = -2*u + 4*i, 5*i - 179 = -7*u + 4*u. Let h = -11 + u. Is h a multiple of 14?
True
Is ((-34595)/(-30))/11 + 3/18 even?
False
Let y(x) = x**2 + 6*x - 3. Let z be y(-7). Let v(b) = b**3 - 4*b**2 - 2*b - 11. Let c be v(z). Let u = c - -41. Is 5 a factor of u?
False
Let v(f) = 7*f**2 + 72*f - 17. Is v(14) a multiple of 17?
True
Let m(t) = 7*t**3 + t**2 + t + 19. Is m(3) a multiple of 4?
True
Let h(d) be the second derivative of d**6/80 - d**5/60 + 13*d**4/1