?
True
Is (2 + -7 - -4 - 4) + 418 a multiple of 59?
True
Let b be ((-3 - 15)/(-2))/1. Suppose 0 = 4*t - m - b, 4*t - 5*m - 12 = -m. Is 6/(-10)*t*-30 a multiple of 4?
True
Let s(i) = 5*i**2 - i + 12. Let v be s(-6). Suppose -4*o + 2*d + 363 = 109, -3*o - d + v = 0. Is o a multiple of 13?
True
Is 24 a factor of 575 - (-4)/(-12)*-3?
True
Suppose -4*j + 20 = 0, 2*x + 0*x = 2*j - 74. Let u = 42 + x. Does 2 divide u?
True
Let d = 118 - 33. Let x = d - -1. Does 18 divide x?
False
Let u = -121 + 119. Is u*(-36 + 2)*1 a multiple of 8?
False
Suppose -2*c - 5*x = c + 1, 2*c = x - 5. Let a(s) = -5*s. Is 6 a factor of a(c)?
False
Let w(b) = -2*b**2 + 9*b - 5. Let j be w(4). Let g be ((-2)/(-4))/j*-10. Suppose -287 = -5*z - 4*s - 44, 0 = 4*z + g*s - 189. Is 11 a factor of z?
False
Suppose -25*a = 37*a - 85932. Is a a multiple of 42?
True
Let t be (1 + -2)*(-64)/1. Let a = 83 + -81. Suppose -2*p = -a*c + p + t, 4*c - 5*p - 126 = 0. Is 29 a factor of c?
True
Is -5*(-2)/(-40)*-7484 a multiple of 43?
False
Let q = -381 - -396. Does 14 divide q?
False
Let q(n) = -n**2 - 6*n. Let a be q(-5). Is (3 - -1 - a)*-29 a multiple of 21?
False
Suppose -f - f - 2*v - 488 = 0, f - v + 236 = 0. Suppose -24 = -2*r - 2*c, 9*c = -r + 4*c + 20. Is 24 a factor of (8/r)/((-4)/f)?
True
Suppose 8 - 34 = l. Let q = l + 26. Suppose -i - 55 + 15 = -4*f, q = 5*f - 4*i - 50. Is 5 a factor of f?
True
Suppose 4*h = n - 4 - 0, 0 = 4*h. Suppose -k = 5*w - 90, 202 + 218 = n*k + 5*w. Is 55 a factor of k?
True
Let q be (8/24)/((4/(-2))/(-24)). Is (-12)/(((-3)/(-36))/((-2)/q)) a multiple of 24?
True
Let t = 2064 - 259. Is t a multiple of 35?
False
Let p = 10 + 291. Does 43 divide p?
True
Let g be -3 + 4 + -2 + 48*1. Suppose 2*p - 5 = g. Is 8 a factor of p?
False
Suppose -27 = -17*z - 10. Is z*72*108/48 a multiple of 9?
True
Suppose -3*w + 346 = -104. Does 9 divide w?
False
Let k(p) = -10 - 11 + 9*p**2 - p + 19. Does 23 divide k(4)?
True
Suppose f + 19 = -5*d - 8, 12 = 4*f. Is 2*41 - (-6)/d a multiple of 11?
False
Let z be 6 - 9 - 5/(-1). Suppose j - 54 = -z*j - 3*v, -2*v = 0. Is j a multiple of 18?
True
Suppose -11*n + 5098 = -2811. Is n a multiple of 31?
False
Suppose 2491 - 1315 = 6*h. Is h a multiple of 2?
True
Let q be (2 + -7 - -4)*-2. Suppose 2*v - 394 = -2*k - q*k, -392 = -4*k - 4*v. Does 13 divide k?
False
Does 54 divide (-7)/((-7)/(-6)) - -3*128?
True
Suppose 0 = 5*r - t - t - 13, -5*t - 20 = 0. Does 11 divide r - (-1 + -3)*18?
False
Let z(n) = n + 4. Let i be z(4). Does 47 divide ((-4)/(i/(-282)))/((-3)/(-2))?
True
Suppose 2*g - 3*k + 4*k = 99, 0 = -g - 3*k + 42. Let i = g + -11. Does 20 divide i?
True
Let j(t) = -t**3 - 14*t**2 + 26*t - 30. Let y be j(-16). Suppose -4*s + y = 5*h, 3*s - s - h = 26. Does 7 divide s?
True
Let f = 11 + -9. Suppose 17 = f*u + 5. Suppose -3*w = 3*o - 57, 68 = -2*w + u*w + 2*o. Is w a multiple of 4?
False
Suppose -3*h + 37 = -3*k + 2*k, -h + 3 = -5*k. Let l be (h + -7)*(0 - -1). Is -2*(-4 - (-3)/l) a multiple of 7?
True
Let f be (3 - 3/1) + 5. Suppose -2*d + f = -m, -d + 5*m + 20 = m. Let w(u) = u**2 + 25. Is w(d) a multiple of 13?
False
Let i be (-368)/(-88) - 2/11. Suppose -4*y + 2 + 2 = i*r, 0 = -y - 3. Suppose 21 = u - r*a - 8, -a = -4*u + 86. Does 11 divide u?
False
Is 15 a factor of (205/123)/(2/18)?
True
Let w(x) = -13*x - 1. Let h be w(-2). Suppose -h = -5*n, -5*o - 3*n = 18 - 193. Suppose 2*v - 19 = 5*f, 2*v + 2*f - o - 8 = 0. Is v a multiple of 8?
False
Let w = 247 - 125. Does 15 divide w?
False
Let a = -24 - -27. Suppose -3 = -h + a. Suppose -3*o = -o - h. Does 3 divide o?
True
Let w(u) = u**3 - 4*u**2 + 3*u + 21. Let g be (3/(-2))/(15/(-70)). Is 28 a factor of w(g)?
False
Suppose 2*i = -2*w + 1646, -3*w - 10*i + 8*i = -2471. Is 25 a factor of w?
True
Suppose 6*f - 4 = 7*f. Let s = f + -9. Let z(a) = a**3 + 14*a**2 + 12*a - 8. Does 5 divide z(s)?
True
Let b(r) = 18*r - 19. Let f(m) = -9*m + 9. Let l(w) = 6*b(w) + 13*f(w). Is 10 a factor of l(-4)?
False
Let n be (1/(-2))/((-6)/36). Suppose 34 = n*i - 59. Let z = 11 + i. Does 25 divide z?
False
Let v(h) = 2*h - 8. Let c(f) = 11*f**2 - 1. Let x be c(1). Let z be v(x). Suppose z = 2*m - 4. Is 8 a factor of m?
True
Suppose 2*j - 128 = -4*g, -3*j + 6*j - 2*g - 176 = 0. Let a = j - 28. Does 6 divide a?
False
Suppose -7*b + 832 = -3*b - 5*j, 4*b - 836 = 4*j. Suppose 2*l = -0*l - 5*o + b, l - 99 = 5*o. Is 26 a factor of l?
True
Let f(a) = a**3 + 7*a**2 + a + 15. Let s(x) = -x**2 + 14*x - 29. Let z be s(12). Does 43 divide f(z)?
False
Let b(y) = -10*y + 5. Let r be b(4). Let p = 9 - r. Does 21 divide p?
False
Let y be 15/(1*(-1)/(-9)). Suppose -4*f = f - y. Suppose 0 = 3*h + b - 86, 3*b + 79 = 4*h - f. Does 14 divide h?
True
Is (8152/10 - 4) + (-8)/(-10) a multiple of 116?
True
Let d(s) = 39*s**2 - 1. Is d(2) a multiple of 31?
True
Suppose 0 = 3*z - 2*i - 9, -3 = 2*z - 3*z + 2*i. Let y(x) = 3*x**3 + 5*x - 7. Is 15 a factor of y(z)?
False
Let l = 2 - 2. Suppose h - 17 = -l*h. Suppose -4*s - 3*c = -56, 3*c + c = 3*s - h. Is 11 a factor of s?
True
Suppose 0 = 3*p, -36*s - 5*p = -34*s - 614. Is s even?
False
Let d be (30/9)/((-2)/108). Let p be (3 - d/(-8))*-2. Is 54/4*26/p a multiple of 2?
False
Let l = 99 + -95. Let c(b) = 6*b + 3. Let p be c(5). Suppose r = 4*d - 15, -7 - p = -4*r - l*d. Is r a multiple of 2?
False
Suppose 0 = -78*h + 84*h - 6996. Is 52 a factor of h?
False
Suppose 4*j - 472 = 424. Is j a multiple of 8?
True
Let y(c) = -c**3 + 2*c - 1. Let w be y(1). Does 41 divide 1 + 71 - (-4 - w)?
False
Let q(x) = 11*x - 73. Is 25 a factor of q(18)?
True
Suppose 5*c + 2*y = 962, 3*y = 2*c + 6*y - 387. Let b = 84 + c. Suppose -4*z + 0*z = -b. Is 23 a factor of z?
True
Let x be (3 - 6)*(-15)/9. Suppose 295 = -0*o + x*o - l, l = -3*o + 169. Is o a multiple of 18?
False
Let o = -284 + 294. Does 2 divide o?
True
Let g = -11 - -6. Suppose a + 4 + 8 = -4*p, 2*p - a + 12 = 0. Is 12 a factor of g/((-30)/p)*-18?
True
Suppose -f + 13 = -2*f + 5*d, 2*d - 4 = 0. Let y(j) = -2*j + 10. Does 4 divide y(f)?
True
Suppose y - 6007 = -3*n, -59*n + 60*n - 1997 = 5*y. Is 38 a factor of n?
False
Is 118 a factor of (-1428)/(-126)*(178 - 1)?
True
Let l be ((-25)/10)/((-3)/(-6)). Let z be l - -6 - (5 + -1). Is 24 a factor of (38/10 + z)*60?
True
Suppose -5*s - 74 = -3*r, -4*r + 2*s = s - 76. Suppose -f = -0*f - r. Is f a multiple of 9?
True
Suppose 3*w - 5 = 2*i, -5*w + 4*w + 15 = 2*i. Suppose -w*x + 4*a = 10, 7 = -x + 4*a - 11. Suppose 3*d = -x*d + 60. Is 8 a factor of d?
False
Let h(w) be the first derivative of -w**5/10 + w**4/6 + w**3/3 + w**2 + 3*w + 2. Let r(d) be the first derivative of h(d). Is 11 a factor of r(-2)?
True
Suppose -3*j + k = j - 221, -4*k = j - 68. Is 2 a factor of j?
True
Let z = -42 - -59. Suppose 6*f - 2*u = 2*f - 16, 5*u = 5*f + 10. Let i = z - f. Is 23 a factor of i?
True
Let v = 14 - 23. Let m = 0 - v. Suppose 7 = 2*u - m. Is 8 a factor of u?
True
Is 40952/40 + ((-11)/(-5) - 2) a multiple of 32?
True
Let b(j) = -21*j**3 + 6*j**2 - 12*j - 23. Does 37 divide b(-5)?
True
Let y = 25 + 95. Is 16 a factor of y?
False
Let d(p) = 233*p**2 - 4*p - 3. Let l be d(-1). Suppose k + s = l, 4*k + 2*s = -k + 1182. Does 34 divide k?
True
Suppose -8*o = -5*o - 3*z + 789, 2*o = -2*z - 506. Let d = -42 - o. Is d a multiple of 36?
True
Let b = -75 + 61. Let z(m) be the second derivative of m**5/20 + 13*m**4/12 - 5*m**3/2 - m**2/2 - m. Is z(b) a multiple of 13?
True
Let d(k) = 3*k - 2. Let j(i) = 4 - 4 - 8*i**2 + 2*i**2 - 4 - i**3 + 6*i. Let l be j(-7). Does 7 divide d(l)?
True
Let v(m) = -455*m - 16. Let x be v(-2). Suppose 0*s + 5*s - 1490 = b, 0 = 3*s + 5*b - x. Is 13 a factor of s?
False
Let w(y) = -y - 8. Let u = 15 + -20. Let v be w(u). Does 4 divide 4/v*(-84)/8?
False
Suppose 6*i + 690 = 9*i. Suppose -4*f + 6*f = i. Does 15 divide f?
False
Suppose -6*k = -11 - 13. Suppose 158 = 4*s + 2*h, -h - 105 = -k*s + 68. Does 6 divide s?
True
Suppose 3*t - 108 = -t. Is 2 a factor of t?
False
Let r = -70 + 171. Let a = -72 + r. Does 6 divide a?
False
Suppose -v + 8554 = 25*v. Is 7 a factor of v?
True
Is (-6)/4*(-2954)/21 a multiple of 11?
False
Does 2 divide ((-23)/46)/(2/4)*-161?
False
Suppose 3*g - 2616 = 3*f + 2*f, -2613 = 5*f - 4*g. Does 21 divide (-1)/(530/f + 1)?
True
Let c(l) = -l**2 - 13*l + 30. Let i be c(-16). Le