= -k, -3*c + 5 = -2*c. Is 19 a factor of g?
False
Suppose 2*y + y = -4*s - 44, -y = 5*s + 33. Let f(c) = 6*c**2 - 13*c - 15. Is f(y) a multiple of 11?
True
Suppose 22*x - 27334 = 37471 + 82309. Does 75 divide x?
False
Suppose 2*j + 1098 = 992. Let g = j + 337. Is 9 a factor of g?
False
Let a(r) be the first derivative of 2*r**3/3 + 2*r**2 + 2*r - 3. Let n be a(-2). Suppose 14 = -n*z + 38. Is z a multiple of 4?
True
Suppose -5 = -3*o + 2*o. Suppose m + 90 = 4*m. Suppose -219 = -o*w - 2*p, w + p = -4*p + m. Does 14 divide w?
False
Suppose -4*f - 8824 + 12388 = -17604. Is f a multiple of 98?
True
Let o = 599 - 599. Suppose -3*b - 12*b + 4770 = o. Is 9 a factor of b?
False
Suppose 17*s + 7*s = 11427 + 11997. Is 69 a factor of s?
False
Let v = 13155 - 11338. Is v even?
False
Suppose -4*l = 5*c - 12, -3*c + 7 - 1 = 3*l. Suppose -c*g + 294 = -174. Suppose -75 = -d + 4*b + g, 2*b = 6. Is 34 a factor of d?
True
Let y = -180 + -79. Let f = y + 411. Does 38 divide f?
True
Is 9 a factor of (-13 + 0 - -10131) + 10?
False
Let v(l) = -l**2 + 11*l + 13. Let u be v(12). Let k be u/(-5) - (-60)/50. Is 16 a factor of (80 - 4)*k + -3?
False
Suppose 250*y - 18806061 = -3429061. Is 49 a factor of y?
False
Let q = -3121 - -3601. Is q a multiple of 30?
True
Let z be -2*(1 - -1) - -8. Suppose 0 = 9*s - 10*s - 2*f + 70, -4*s - z*f = -288. Does 37 divide s?
True
Suppose -792 = l + 5*l. Let g = l + 260. Suppose -928 = -6*j + g. Does 8 divide j?
True
Suppose 23 + 29 = 4*h. Suppose 0 = 20*s - h*s - 518. Is 12 a factor of 1 + s + (5 - 0) + -3?
False
Let r(h) = 3*h**3 - 17*h**2 + 58*h - 58. Is 11 a factor of r(14)?
True
Suppose -4*y + 10*y - 84 = 0. Let m be (-52)/28 + (-2)/y. Is ((-3)/(-5))/(m/(-30)) a multiple of 2?
False
Suppose -45*f + 323856 = 56*f + 133*f. Is f a multiple of 13?
False
Suppose 19*g - 217901 + 38382 = 104379. Does 64 divide g?
False
Let f(p) = 2*p**2 - 168*p + 3281. Is 60 a factor of f(114)?
False
Suppose p - 66 = -2*s, -5*s - 2 = -5*p + 283. Suppose 0 = -g + 2*i + 152, 4*g = 3*i + 573 + p. Does 18 divide g?
True
Is 43 a factor of 3 - ((-30)/(-6) + -1511)?
False
Suppose -18*i = -7*i - 3014. Suppose -232 - i = -11*m. Does 23 divide m?
True
Let t(r) = -r**2 + 13*r + 32. Let s be t(15). Is ((-9)/((-9)/s))/(3/150) a multiple of 20?
True
Suppose 3*p - 5*u = 26 + 8, -2*p = 3*u + 9. Suppose 141 = -0*w + p*w. Is 35 a factor of w + 1/1*-3?
False
Suppose -5*z - 4*n + 76853 + 13412 = 0, 4*n = -2*z + 36094. Is 21 a factor of z?
False
Suppose -44*a = -48*a - 504. Does 10 divide ((-3960)/a)/(1/7)?
True
Let d(i) = -i**3 + 41*i**2 - 80*i + 610. Is d(32) a multiple of 17?
False
Suppose -6273 - 12812 - 20563 = -6*p. Does 14 divide p?
True
Let w be (5/10)/(3/3882). Suppose a = -5*b + 1858, 3*b = -5*a + w + 459. Suppose 2*q - b = -2*q. Does 24 divide q?
False
Let h = 268 + -157. Does 37 divide h?
True
Suppose 155238 + 46656 = 22*j. Does 12 divide j?
False
Suppose 54*j = 125*j - 775249. Does 61 divide j?
True
Let x(k) = -9*k - 7*k - 2 - 9*k. Let n be x(-8). Let i = -119 + n. Is 28 a factor of i?
False
Suppose 707 = 2*p - q, -11*q + 8*q + 371 = p. Is 4 a factor of p?
True
Suppose -3*b = -3*y - 36, -25*y + 21*y = -b + 24. Let n(z) = z**2 - 6*z + 10. Does 3 divide n(b)?
False
Let t = 91 + -608. Let j = t + 651. Is 2 a factor of j?
True
Suppose -2*q = 4*l - 1234 - 3702, 0 = 2*l - q - 2476. Is 12 a factor of l - 4*4/4?
False
Let g = 58 + 81. Suppose 0 = 63*v - 15*v - 384. Suppose v*w - g = 373. Is 9 a factor of w?
False
Suppose -3*w = 3*k + 12, 0 = 5*w + 2*k + 9 + 17. Let q(g) be the first derivative of -7*g**2/2 - 8*g + 477. Is 17 a factor of q(w)?
True
Suppose -18 = -9*l - 0*l. Let m be (l/(-4))/((-6)/36) + 0. Suppose 2*z + z = m, 404 = 3*g - 4*z. Is g a multiple of 17?
True
Let v(r) = 6094*r + 614. Is v(6) a multiple of 29?
True
Let m(u) = 556*u - 276. Is 7 a factor of m(4)?
False
Let q(c) = c + 97. Suppose 10 = 5*f - 110. Is 8 a factor of q(f)?
False
Let k be (-6*(-4)/30)/((-60)/150). Let x be 952/(k - -6) - 4. Suppose -5*h + h + s + x = 0, -3*h + 3*s = -180. Is 6 a factor of h?
False
Suppose 3*u = 5*n + 4*u + 4, -3*u - 12 = -5*n. Suppose 92*w - 89*w - 6 = n. Suppose -w*t + 51 = l + 12, 167 = 5*l + 3*t. Does 16 divide l?
False
Let f = 186 - 147. Suppose -f*z = -35*z - 364. Does 13 divide z?
True
Is -3 + 33*16 + -4 + 1 + -3 a multiple of 90?
False
Suppose -12*f + 4*f + 52472 = 0. Does 12 divide f?
False
Let v(i) = -6*i - 22. Let c be v(11). Let k = 94 + c. Does 11 divide (-408)/16*(-44)/k?
True
Is -427 + 7292 - (-30)/2 a multiple of 20?
True
Let a be -26 + (-58 - -58)*(-1)/(-3)*3. Let m(o) = 15*o. Let w be m(2). Let b = a + w. Does 4 divide b?
True
Does 10 divide 49533 + (-729)/27 - (-2 - -4 - -4)?
True
Suppose q = 3*a + 17063, -a = q + 2011 - 19050. Is q a multiple of 100?
False
Let j = 34 + -32. Suppose -j = 38*y - 39*y. Suppose -2*g + 63 + 111 = y*k, 3*g - k = 249. Is g a multiple of 12?
True
Let v(l) = -68*l + 3792. Is v(-17) a multiple of 9?
False
Suppose -6*y = 11*y - 2635. Let o = 12 + -4. Suppose -s + 4*u + 11 = -y, 2*u = -o. Is 25 a factor of s?
True
Let h(b) = 26*b**2 + 8*b - 12. Let r be h(2). Suppose -2*v + 5*v = r. Is v a multiple of 8?
False
Let g(x) be the first derivative of -x**4/12 - 17*x**3/6 - 6*x**2 + 3*x + 19. Let s(t) be the first derivative of g(t). Is 20 a factor of s(-9)?
True
Let h(a) = -9*a + 8*a + 74*a - 146 + 16*a. Is h(11) a multiple of 49?
True
Let v(y) = -8*y**2 + 1205*y + 233. Does 28 divide v(111)?
True
Let d(u) = 6*u**2 - 18*u + 9. Suppose 0 = 3*a - 5*p + 15 + 19, -5*a = 3*p. Let w(b) = 3*b**2 - 9*b + 4. Let i(n) = a*d(n) + 7*w(n). Is 27 a factor of i(8)?
False
Suppose 0 = 159*u - 168*u + 19494. Is 23 a factor of u?
False
Let n(v) = 245*v**2 + 14*v - 7. Is n(3) a multiple of 14?
True
Suppose 0 = -22*q - 173370 + 382630 + 194484. Does 228 divide q?
False
Let d(c) = -357*c + 1. Let v(h) = -360*h + 1. Let k(g) = 5*d(g) - 6*v(g). Is 27 a factor of k(1)?
False
Suppose -34 = -5*a - 3*d, -5*d - 1 = -4*a + 4. Suppose -w + a*w = -p + 346, -4*p + 5*w + 1426 = 0. Does 13 divide p?
False
Let f = -60 - -64. Suppose -10 = -5*y - 5*q, 0 = 2*y + q + f*q - 7. Is ((-18)/(-8) - y)/((-2)/(-136)) a multiple of 17?
True
Let v(w) = -w + 12. Let h be v(18). Let k = h + 10. Let q = 10 + k. Is 7 a factor of q?
True
Let h = -6216 + 7874. Does 29 divide h?
False
Suppose -3*m - 45 = 9. Let k(p) = -17*p**2 - 361*p + 15. Is k(m) a multiple of 26?
False
Let z = -355 - -362. Suppose -3*j = -10*x + z*x - 126, -4*j + 195 = 5*x. Is j a multiple of 45?
True
Suppose 243 = 2*w - 401. Suppose -10*m + w = -8*m. Is 7 a factor of m?
True
Let t be -1*((-7)/5 + (-8)/(-20)). Is 14 a factor of (-420)/(-90)*(233 + t)/1?
True
Let y be (-1 + 1)*1/(-1). Let f = -126 + 131. Suppose -2*g - 3*t + 83 = y, -4*g + t + 164 = f*t. Is g a multiple of 23?
False
Let g(r) = 5*r**2 - 106*r + 493. Is g(5) a multiple of 2?
True
Let a(s) = -s**3 + 26*s**2 - 35*s - 3. Let n be a(24). Is 12 a factor of n - 21/14*-2?
True
Let j = 9860 + -4420. Is j a multiple of 34?
True
Suppose 5*k + 5*n - 250 = 0, 3*k - 3*n - 165 + 45 = 0. Suppose 0 = -3*z + h + k, 3*z + 4*h + 0 = 60. Is z a multiple of 7?
False
Let j be (-2)/(-5) + (-274)/10. Suppose 383*z = 365*z - 864. Let f = j - z. Is 5 a factor of f?
False
Let i(b) = b**3 + 46*b**2 + 38*b - 76. Let j = 347 - 392. Does 24 divide i(j)?
False
Let o = 37 + -39. Suppose -3*b = -3*m - 2*b + 7, 5*b = 5*m - 25. Is 27 a factor of ((m - 1)/o - -1) + 107?
True
Let s be (-5)/(-2)*18/(-15) - -7. Suppose 4*n = -s*p + 136, 10 = -11*n + 12*n - 5*p. Is n a multiple of 10?
True
Let a = 80 - 161. Let h = a - -153. Does 18 divide h?
True
Let b be -278*(2/(-6))/((-2)/(-12)). Let m = b - 80. Is 35 a factor of m?
False
Let j(g) = 0*g**2 + 183 + 332*g + g**3 - g**2 - 334*g. Let y be j(0). Suppose 5*r - 377 = y. Is r a multiple of 28?
True
Suppose 2*u + 0*u + 17 = -5*h, -4*u + 5*h = -41. Suppose 2*r + 5*t - 3 = -0*r, 5*r + u*t = -18. Is 11 a factor of ((-16)/r)/(28/1386)?
True
Suppose 0 = -16*d + 15*d + 4. Let r = 7 - d. Suppose 332 = 4*o - i, r*o + 0*i - 244 = 2*i. Is 42 a factor of o?
True
Let l be 12/(((-96)/(-20))/2 - 2). Suppose 32*u + l = 38*u. Suppose 3*j - 3*m - 12 = -6, -u*j - 2*m = -10. Is j even?
True
Let l be 206/(-1)*1 - (-47 + 47). Let v = -98 - l. Is v a multiple of 6?
True