 = -g*r - 1026. Is 15 a factor of r?
True
Suppose -2*p = -4*r + 74, -4*p = -r + 2*r - 32. Let f = -14 + r. Suppose f*u = 5*y + 3*u - 828, u = 4. Is 42 a factor of y?
True
Suppose -7*j = q - 2*j - 608, -2900 = -5*q + 3*j. Is q a multiple of 32?
False
Is 28 a factor of (3 + (-245)/105)*37152/2?
False
Suppose -3*p + 5*r = -2401, 4*r - 2*r = -5*p + 4043. Let x = 1929 - p. Is x a multiple of 19?
False
Let s(u) = -66*u**3 - 2*u**2 + 1. Let z be s(-1). Suppose -35*n + 4053 = -228*n. Let i = n + z. Is i a multiple of 22?
True
Suppose 0 = -2*h - 4*q + 26, 2*h - 2*q = -2*h + 2. Suppose 0 = 4*t + 5*l - 3*l - 436, 0 = 3*t - h*l - 336. Is t a multiple of 32?
False
Let w be 24/16*(-8)/(-6). Is ((-10)/30)/(w/(-318)) a multiple of 4?
False
Let y(m) = -m**3 - 4*m**2 - 2*m + 4. Let a be y(-3). Let q(p) = 27*p**2 - 13*p**2 + 11*p - 2*p + 13*p**2 + 2 - 11*p. Does 27 divide q(a)?
True
Suppose -41*z - 82*z = 18*z - 362934. Is z a multiple of 26?
True
Suppose -3*b + 1290 + 32934 = 3*u, 4*u = -5*b + 57049. Does 49 divide b?
True
Is 3048/(-254) + (-1 - -6943) a multiple of 55?
True
Let b(z) = 209*z**2 + 6*z + 6. Let n be b(9). Does 5 divide n/168 + ((-3)/8)/3?
False
Let d(j) = 3*j**3 - 11*j**2 - 4*j - 13. Let u be d(7). Let c = 1017 - u. Is 15 a factor of c?
False
Let z(c) = 3*c + 5. Let n be z(-1). Suppose -l - n = 1. Is 44 a factor of l/(2 + (-710)/352)?
True
Suppose -4*k - 4*g = -28, -2*k + 2*g + 28 = 3*k. Let i(t) = -k + 42*t**3 - t + 2*t**2 + 7 - 1. Is 5 a factor of i(1)?
False
Suppose -m - 3*s + 862 = 0, -3*m + 0*s = 2*s - 2579. Suppose -55*h = -54*h + 3, -2*h = 2*n + 1172. Let b = n + m. Is 25 a factor of b?
False
Let g = 54039 + 333. Is 197 a factor of g?
True
Let c(o) = o**3 + 17*o**2 - 5*o - 30. Let d be c(-16). Let v = -101 + d. Let b = v + -71. Is 10 a factor of b?
False
Let v(t) = -4*t**3 + t**2 - 2*t - 2. Suppose 6 = -3*d + 3. Let u be v(d). Suppose 4*m - 17 = -4*r + 27, -u*m = r + 5. Does 3 divide r?
True
Suppose 141*k = 152*k - 70521. Is 8 a factor of k?
False
Suppose 5*k = -0*k - 4*j + 2234, -2*j = 4*k - 1786. Is 51 a factor of (-14)/(-2) + -14 + k?
False
Let j = -715 - -492. Let p = 535 + j. Does 10 divide p?
False
Let q(k) be the second derivative of 0 + 7/6*k**3 + 24*k + 25/2*k**2 + 1/12*k**4. Is q(-11) a multiple of 23?
True
Suppose 0 = 224*d - 241*d + 366843. Does 11 divide d?
False
Is (-244524)/(-126) + 2/6*-2 a multiple of 20?
True
Suppose 466 - 1109 = 2*c - 3*c. Is c a multiple of 146?
False
Let o(i) = 3*i**2 - 43*i + 181. Let b be o(26). Let y = b - -163. Is y a multiple of 22?
True
Let t = -1927 - -8434. Suppose -2451 = 6*n - t. Is 13 a factor of n?
True
Let z be -3 + (142/(-2) - (9 + -6)). Is 1517/7 + (-22)/z a multiple of 63?
False
Let z be 0 - 0 - (-5280)/2. Suppose 0 = 6*n + 2*n - z. Suppose -31*f = -26*f - n. Is 14 a factor of f?
False
Let i(g) = -137*g - 693. Does 57 divide i(-45)?
True
Let b = 1 - -10. Suppose 6 = b*p - 8*p. Is 13 a factor of p/8 + (-428)/(-16)?
False
Let o be (-15)/(-2)*(-20)/(-30). Let l(n) = 11*n**2 - 2*n - 20. Let i be l(o). Let r = -155 + i. Is 31 a factor of r?
False
Let d = 7147 + -3412. Does 9 divide d?
True
Suppose 4*u = -0*u + 532. Let w = 505 + -513. Does 3 divide w/(-60) - (u/(-15) + -3)?
True
Suppose 4*x = 5*h + 3*x - 56, 0 = -4*h + 2*x + 40. Suppose 18*i - 1944 = h*i. Does 18 divide i?
True
Let z(c) = 4*c**2 - 25*c - 23. Let g be z(10). Suppose g*d = 131*d - 1632. Is 51 a factor of d?
True
Let n be -3 + -4 - (4 + -1). Is 32 a factor of 9 - -42 - n/2?
False
Let u be ((-54)/(-30))/((-6)/(-10)). Suppose -3*z + 5*z - 2*x = 6, -u*x + 15 = 5*z. Suppose o = 5*o - 2*i - 88, -z*i - 72 = -3*o. Is o a multiple of 10?
True
Suppose 0 = 104*y - 119*y + 38250. Does 34 divide y?
True
Suppose 5*v - 17 = 2*y, -3*v + 5*v - 26 = -4*y. Suppose 2*s = 8, 0 = -y*i + s - 240 + 836. Does 9 divide i?
False
Let q(p) = -p**2 + 15*p - 6. Let h be q(6). Let v = 318 - h. Is v a multiple of 10?
True
Suppose 16*x - 11*x - 45 = 0. Suppose -x*k - 78 + 1023 = 0. Does 15 divide k?
True
Does 22 divide 12903/(-2)*5036/(-3777)?
True
Suppose 5*i - 5*k = 3045, 4*i - k - 248 = 2188. Is 11 a factor of i?
False
Let t(k) = -19*k**3 + k**2 - k - 45. Does 14 divide t(-9)?
False
Let r(x) = -2*x**2 - 15*x - 10. Let n(s) = -7*s**2 - 43*s - 28. Let p(g) = -3*n(g) + 8*r(g). Is p(-5) a multiple of 37?
False
Let i(u) = -8*u - 15. Let l be i(-6). Let x = l - 16. Suppose -270 = x*f - 20*f. Does 15 divide f?
True
Suppose 0 = 3*z + 4*o - 20967, 5*z + 306*o - 34968 = 307*o. Does 4 divide z?
False
Let a(f) = 22*f**2 + 25*f + 66. Let n be a(-7). Let z = 1437 - n. Does 78 divide z?
True
Suppose -5*g + 4*d = 2*d - 17, 3*d = -2*g + 3. Suppose 0 = -g*y + i + 19, -20*i - 15 = -3*y - 23*i. Is y a multiple of 6?
True
Let t be 1246/42 + (-2)/(-6). Suppose -4*z + 9*z = -d - 41, 2*z = 3*d - t. Is 60*(18/(-4))/z a multiple of 10?
True
Suppose 2*m - 3*f = m + 1813, 4*f - 5556 = -3*m. Is 80 a factor of m?
True
Let y = 4535 + -2822. Does 3 divide y?
True
Is 5181/4 - 11/44 a multiple of 141?
False
Let u = 80 - 77. Suppose 3*r + 1633 = g + 3*g, u*r = g - 397. Is 52 a factor of (-70)/(-28)*g/5?
False
Let b(p) = p**2 - 16*p - 16. Let u(l) = l**3 - l**2. Let t be u(3). Let q be b(t). Let c(n) = -n + 34. Does 3 divide c(q)?
False
Let w(k) = -2110*k**3 + 2*k**2 + 21*k + 18. Is w(-1) a multiple of 57?
True
Let v(x) = -24*x**3 - 9*x**2 - 14*x + 28. Does 21 divide v(-10)?
True
Let b be ((-14352)/(-80))/((-4)/(-60)). Suppose -t - c = -1353, t - 3*c = -t + b. Does 45 divide t?
True
Let m = -18 - -2. Let n = m - 5. Let v(a) = -5*a + 21. Is v(n) a multiple of 39?
False
Let z = -79 + 83. Suppose -d - i - z*i = -167, -163 = -d - i. Suppose -2*s = -3*t + 29 + 63, -5*t = s - d. Is 32 a factor of t?
True
Suppose -4*t + 38 = -2*k - 138, 215 = 5*t - 5*k. Let a = -36 + 71. Let o = t - a. Does 3 divide o?
False
Let p(t) = -t + 16. Let c(b) be the first derivative of -b**2 + 33*b - 8. Let k(l) = -4*c(l) + 9*p(l). Does 5 divide k(-13)?
True
Let u = -207 + 235. Is 3111/12*u/7 a multiple of 61?
True
Let r = 3 + 1. Suppose -3*b - 2*y + 29 = 0, r*b + 4*y = 3*b + 23. Suppose 4*v = b*v - 282. Does 17 divide v?
False
Suppose 0*j = -3*j - 0*j. Suppose j = a + 1, 0 = -k - 0*a + a + 316. Suppose 13*m - 5*b = 18*m - 325, 5*m - 5*b = k. Does 8 divide m?
True
Suppose -5*d = 4*d + 2754. Let l = -153 - d. Does 17 divide l?
True
Is (-102 + -136)*((-2 - -4) + -43) a multiple of 82?
True
Let d = -292 - -296. Suppose -d*n = -21*n + 8653. Does 99 divide n?
False
Suppose 5*i + 205 = -5*m - 1130, i - m + 261 = 0. Let f = 139 + i. Let q = 185 + f. Is 12 a factor of q?
True
Let g be -5*3/(-45) - 429/(-9). Does 26 divide ((-390)/(-4))/(-5 - (-249)/g)?
True
Suppose 0 = 251*a - 475*a + 3882816. Is a a multiple of 27?
True
Let r(t) = 7939*t**2 + 13*t + 12. Is 27 a factor of r(-1)?
True
Let b = -174 + 69. Let p = b - -63. Let q = 72 + p. Is q a multiple of 15?
True
Suppose -z = 78*z - 275653 - 132145. Is 29 a factor of z?
True
Let o = -19 - -1789. Does 6 divide o?
True
Let k(b) = -b**3 - 108*b**2 + 308*b - 350. Does 68 divide k(-111)?
False
Suppose 0*m = 2*m - 146. Suppose -4*k - 3*g + 34 + m = 0, 4*k - 3*g - 101 = 0. Is k even?
True
Suppose 5*p = 2*p - 2*r + 1216, -5*r = 3*p - 1222. Let w = 92 + p. Is w a multiple of 86?
False
Let g be (64/(-6))/((-6)/(-63)). Let k = 106 + g. Let b(j) = 7*j**2 + 5*j + 6. Is 38 a factor of b(k)?
True
Let o(r) = r**2 - 58*r - 228. Is 20 a factor of o(-28)?
True
Suppose -128 = 7*a + 1755. Let d = a + 877. Is 8 a factor of d?
True
Let y = 13439 + -13036. Does 13 divide y?
True
Let w be (-70)/21*(3 - -3). Let k = 1 - w. Is k a multiple of 3?
True
Suppose -27*w - 10 = -26*w. Let n be -2*(-3 + w/(-4)). Let k = n - -28. Is 6 a factor of k?
False
Let i = -29 - -41. Suppose -6*f + i*f - 30 = 0. Suppose f*c + 2*j - 1064 = 0, 2*j + 2*j + 868 = 4*c. Does 28 divide c?
False
Suppose 136*o + 26698 = 143*o. Is 7 a factor of o?
False
Let z(g) = g**3 + 23*g**2 - 25*g - 340. Is z(-23) a multiple of 4?
False
Suppose -14*x = -181281 + 32979. Is 5 a factor of ((-2)/(-3))/(11/(x/6))?
False
Let a be 121 - ((0 - -1) + -2). Let j = -3271 - -3173. Let f = j + a. Does 12 divide f?
True
Let f(h) = -569*h + 199. Let a(x) = 189*x - 66. Let t(p) = -11*a(p) - 4*f(p). Is 27 a factor of t(2)?
True
Suppose h + 3*t = 13, -3 = -h +