ue
Suppose -5*u - u + 12 = 0. Suppose -2*p = u*p - 620. Does 16 divide p?
False
Is (-1 + 75 + -1)*46/46 a multiple of 51?
False
Suppose -k + 3*p + 15 = 0, 5*k - 5*p = -p + 20. Suppose 0 = -6*n - k*n + 24. Suppose n*v - z = 2*z + 39, 2*z = 3*v - 29. Does 9 divide v?
True
Suppose 0 = -5*p + 4*j + 944, -4*j + 54 - 246 = -p. Suppose -4*k = 2*a - 3*a + p, 3*k = -5*a + 917. Does 12 divide a?
False
Suppose -2*a + 1 + 5 = 0. Suppose 2*i = -3*i - x + 19, -a*i - 4*x + 25 = 0. Suppose -5*b + 42 = 3*k, -b + 3*k - 3 - i = 0. Is b even?
True
Let x(l) = 10*l + 25 - 19*l + 12*l. Does 2 divide x(-7)?
True
Let l(a) = a + 1. Suppose 5*n - 25 = 0, 4*u + n + 14 = 3*n. Let s(x) = x**2 - 24*x + 25. Let r(w) = u*s(w) - 6*l(w). Is 10 a factor of r(13)?
False
Let i(h) = 105*h**2 + 8*h - 40. Is 35 a factor of i(5)?
True
Let a(j) = j**3 - 51*j**2 + 98*j + 97. Does 97 divide a(49)?
True
Is -18*(-21 - -1)/5 a multiple of 24?
True
Suppose 0 = -4*g + 2366 - 590. Suppose -4*s - 60 = -g. Is s a multiple of 8?
True
Let a be (-6)/51 - (-108)/51. Is 39 a factor of (51/(-6) + a)/(2/(-12))?
True
Let i = 737 + -485. Is i a multiple of 14?
True
Let c(m) = m**3 + 14*m**2 - 32*m + 3. Let p be c(-16). Let a(b) = 20*b**2 - 5*b - 2. Is 12 a factor of a(p)?
False
Let b(f) = 34*f**2 - 10*f - 32. Is b(7) a multiple of 42?
False
Suppose 2*q + 53*f = 54*f + 13091, -4*q + 26179 = f. Does 35 divide q?
True
Is 21 a factor of (314/(-4))/(-6 - 1135/(-190))?
False
Is 48/(4 - -4) - -449 a multiple of 65?
True
Suppose 0 = 54*s + 18709 - 47005. Is 37 a factor of s?
False
Let o(x) = 22*x**2 + 11*x + 13. Is o(6) a multiple of 13?
True
Let c(u) = 16*u**2 + 23*u + 132. Does 13 divide c(-8)?
False
Suppose 2*h + 2*h - 9 = -3*y, -y + 3 = 0. Suppose 0 = -3*d - h*d - 75. Is 9 a factor of (-6)/(-15) - 215/d?
True
Let n(x) be the first derivative of 2*x**3/3 + 20*x**2 + 9*x + 8. Does 6 divide n(-21)?
False
Let q(i) = -2*i**3 - 4*i**2 + 5*i + 4. Let k be q(-4). Let n = k - 32. Is n a multiple of 15?
False
Let h be 16/(-6)*(-36)/(-16). Let x(w) = -w**3 - 8*w**2 - 14*w + 6. Is x(h) a multiple of 2?
True
Is 18 a factor of (-4)/(-10) - 307392/(-120)?
False
Let b(l) = l**3 + 8*l**2 + 4*l - 7. Let f be b(-7). Let p = -1 + f. Let r = 11 + p. Is r a multiple of 8?
True
Suppose 0 = -10*q + 10710 - 2060. Is q a multiple of 5?
True
Suppose 12 = 4*r - r. Suppose -3*l - 40 = -5*a, 5*l + 8 = r*l - a. Is 13 a factor of (-13)/(-4)*(l - -18)?
True
Is (-2)/4 - 249/(-2) a multiple of 62?
True
Let m = -15 + 20. Let i(n) = -n**3 + 6*n**2 - 5*n + 3. Let f be i(m). Is 30 a factor of ((-10)/f)/((-6)/108)?
True
Suppose 10 = 5*l, 777 = 5*b - 0*l - 4*l. Does 4 divide b?
False
Suppose -2*b = 0, 2*l + 2*b + 2*b + 10 = 0. Let g = 27 - l. Does 14 divide g?
False
Let c be 558/5 - 4/(-10). Let y = -75 + c. Is 20 a factor of (-5 - -4)/((-1)/y)?
False
Suppose -5*p + 1500 = -5*a, p = 4*a - 2*a + 298. Is p a multiple of 9?
False
Let a(c) = 326*c**2 + 3*c + 2. Is a(-1) a multiple of 13?
True
Let s(k) = -3*k + 26. Let d be s(8). Suppose 0 = 2*m + d*m - 420. Does 15 divide m?
True
Let r(l) = -l**3 + 15*l**2 + 16*l - 3. Is r(12) a multiple of 33?
False
Suppose 0 = -5*q - 3481 + 9421. Does 27 divide q?
True
Let p be 45/6*(-4)/(-6). Suppose -4*k = -p*k + 34. Let d = k - 6. Does 14 divide d?
True
Let c = -16 - -17. Let t be 24/(-18) + c/3. Let g = t - -9. Does 3 divide g?
False
Suppose -4*v + i + 82 = 0, -4*v = -v - 5*i - 70. Suppose -3*q = 3*l + l - 16, -5*l = -4*q - v. Is (9 - 4) + -2 + l a multiple of 2?
False
Let r(p) = -p**2 - 7*p. Let t be (-65)/(-55) + 2/(-11). Let d be (1/1)/(t/(-5)). Is r(d) a multiple of 2?
True
Let h = -6 - -24. Suppose -h*g + 90 = -15*g. Is g a multiple of 13?
False
Suppose 2*c - l = 685, -10*c + 1369 = -6*c - 3*l. Is c a multiple of 3?
False
Let f = -31 + 115. Suppose 2*o - f - 76 = 0. Is o a multiple of 40?
True
Let t be 1510/9 + (-2)/(-9). Suppose -4*a = 3*a - t. Is 6 a factor of a?
True
Let m be 17/6 + (-4)/(-24). Suppose 29 = -3*g + 5*i - 30, -71 = 2*g + 3*i. Let n = m - g. Is n a multiple of 20?
False
Let x = 40 - -13. Is x a multiple of 6?
False
Let y = 10 - -70. Suppose 5*h - 65 = y. Is 8 a factor of h?
False
Let y(v) = 5*v**2 - 3. Suppose -d + 50 = -2*m + 4*d, 0 = -m - 5*d - 10. Let j = -23 - m. Is y(j) a multiple of 16?
False
Let u(v) be the second derivative of v**3/2 + 61*v**2/2 - 44*v. Is u(15) a multiple of 17?
False
Suppose -12*h = -14*h + 10. Suppose -2*q - 20 = -3*d + d, -5*d - q = -56. Let l = d - h. Does 3 divide l?
True
Suppose 4*j = -2*h - 90, -5*j + 3*h - 37 = 81. Let z = j - -33. Is z a multiple of 10?
True
Let f(t) = -463*t**3 - 9*t**2 - 23*t - 2. Does 64 divide f(-2)?
True
Is 32 a factor of ((-8877)/(-110)*-4)/(6/(-15))?
False
Let c(b) = -18*b - 2. Let i(w) = 17*w + 1. Let z(t) = -5*c(t) - 6*i(t). Suppose 3*d = 5*x - 32, 2*d - 4*x + 12 = -3*x. Is 13 a factor of z(d)?
True
Let g = 1572 + -1312. Does 2 divide g?
True
Does 7 divide (-1 + (-5)/3)/(480/(-193680))?
False
Let j be ((-9)/(-3) - 3) + 38. Suppose v - j - 19 = 0. Suppose 0*k + 3*k = v. Does 6 divide k?
False
Let j = 32 - 23. Suppose 5*z = j*z. Suppose -4*g + 2*g = 2*n - 58, -3*n + 5*g + 119 = z. Does 11 divide n?
True
Suppose s + 2*s + 4*q = 20, 3*q + 27 = 3*s. Let j(o) = -o**3 + 7*o**2 + 14*o - 10. Is 19 a factor of j(s)?
True
Let x(c) = 2*c**2 + 13*c + 17. Suppose i = 2*a - 123 + 13, -4*a - 3*i + 210 = 0. Suppose 2*n - a = 8*n. Does 19 divide x(n)?
False
Let j(p) = 306*p - 28. Does 104 divide j(13)?
False
Let c = -2334 - -3676. Is 61 a factor of c?
True
Suppose 0 = 2*i + c - 10, -3*i + 2*c = -0*i - 1. Suppose -i*z + 126 = -0*z. Does 5 divide z?
False
Suppose -5*z - p + 1471 = 0, -5*p - 1594 = -5*z - 129. Is 14 a factor of z?
True
Let p = 16 + -14. Suppose -3*f = p*f + s - 53, -3*f - 4*s = -25. Is f a multiple of 5?
False
Suppose -3*v = v + 2*x - 12, 2*x = 0. Let o = -330 + 338. Suppose -v*m = 2*j, -2*m + 3*j - o = 7*j. Does 2 divide m?
True
Does 9 divide (360/(-105))/(4/(-42))?
True
Does 6 divide 27/((-2025)/(-10)) - (-2576)/30?
False
Suppose 2*c - k - 565 = 0, 0 = c - 4*k + 7 - 307. Does 35 divide c?
True
Suppose -4170 - 3670 = -16*c. Is 14 a factor of c?
True
Is (-4)/(-50) + -524*1162/(-1400) a multiple of 21?
False
Let y = -145 - -149. Suppose y*t - 68 - 180 = 0. Is 3 a factor of t?
False
Let k(g) be the first derivative of -3*g**2/2 + 16*g + 5. Let j be k(5). Is 18 a factor of 3/1 + (16 - j)?
True
Suppose 3*a + 78 = 195. Suppose 2*h + a - 117 = 0. Is h a multiple of 15?
False
Suppose -15*w + 8*w + 224 = 0. Suppose 34*y = w*y + 216. Is y a multiple of 18?
True
Let q = -393 - -727. Let c = -187 + q. Does 21 divide c?
True
Let w(q) = 23*q**2 + 5*q - 6*q + 6*q**2 - 2 + 55*q**2. Is w(-1) a multiple of 44?
False
Does 5 divide (-58)/(-10) - 6 - 44964/(-45)?
False
Let p(h) = -h**3 + 9*h**2 + 27*h - 10. Is 45 a factor of p(11)?
True
Let t(n) = -97*n + 1. Let g be t(-1). Let z = 198 + -195. Suppose z*d - g = 28. Is d a multiple of 14?
True
Let y(m) = 4*m**2 - 17*m - 12. Let u(n) = n**2 - n. Let g(r) = -4*r**2 + 17*r + 12. Let o(c) = g(c) + u(c). Let d(v) = 3*o(v) + 2*y(v). Does 16 divide d(13)?
False
Let f = 22 - 11. Let p = f + -4. Is 2 a factor of (-21)/p*2/(-2)?
False
Is (10*(-3)/(-8))/((-6)/(-224)) a multiple of 10?
True
Let x be (-126)/35*20/(-6). Let o(s) = s - 5. Does 2 divide o(x)?
False
Let r = -51 + 34. Let u = 35 + r. Let z = u - 10. Is 4 a factor of z?
True
Is ((-76)/(-6) + -10)/((-4)/(-1326)) a multiple of 26?
True
Suppose 17 = 5*n - 3*v - 6, 0 = 2*n - 3*v - 11. Suppose 0*s + s - 229 = -n*y, y - s - 51 = 0. Is y a multiple of 29?
False
Suppose 6*a - 487 = -25. Let v = -26 - -48. Does 12 divide 2786/a - 4/v?
True
Let t(b) = 25*b - 2. Let a be t(20). Suppose -5*y - a - 57 = 0. Let z = 170 + y. Is 26 a factor of z?
False
Does 6 divide (10/(-15))/((-2)/1998 - 0)?
True
Suppose 5*j - 1778 = 522. Suppose 0 = -0*z - 4*z + j. Suppose -z = -8*u + 3*u. Is 6 a factor of u?
False
Let z(h) = 6*h - 7. Let w be z(4). Suppose 0 = 5*k + 5*l + 15, 3*k - 9 = 4*l + w. Suppose 5*s - y = 28, 7*y - k*y = 2*s - 2. Does 6 divide s?
True
Let n(s) = -3*s**3 + 1. Let d be n(1). Let b(j) = -16*j**3 - 2*j**2 - 2*j. Is b(d) a multiple of 30?
False
Let p(l) = 10*l**2 - l. Does 6 divide p(-2)?
True
Suppose 0 + 3 = g. Let p = 1 + g. Suppose 2*b = 5*q + 71, b + q = -p*q