f?
False
Let c(p) = -2*p**2 + 19*p + 1380. Is c(0) a multiple of 69?
True
Let r(q) = -q - 18. Let b be r(9). Let u = 62 + b. Suppose -4*m + 301 = 5*k, 0 = 3*k + 5*m + u - 226. Is k a multiple of 13?
False
Let j(x) = x**2 - 2*x - 3. Let a be j(-1). Suppose 0 = -3*o - 4*p + 210 + 35, a = 3*o + 2*p - 235. Is 15 a factor of o?
True
Let o = 115 - -68. Is 61 a factor of o?
True
Is 3999/6 + (-6)/(-12) a multiple of 29?
True
Let q(r) = -2*r**3 - r**2 - 4*r. Let h be q(-4). Suppose -656 = -8*n - h. Is 17 a factor of n?
False
Let y be -1 + 94 - (-8)/4. Is 5 a factor of (-15 - 0)/((-57)/y)?
True
Is 81 + 7 + 7 + -11 a multiple of 6?
True
Suppose 26*k = 31*k. Suppose 5*f - 182 - 403 = k. Does 13 divide f?
True
Let o(u) = u**2 - u. Let w(k) = -3*k**3 - 1. Let a be w(-1). Let x(y) = y**2 + y + 5. Let n(s) = a*o(s) - x(s). Is n(-5) a multiple of 8?
False
Suppose -8 = 4*z - 8*z, 2*y - 2*z = 2. Suppose y*l + l - 152 = 0. Suppose 0*d - l = -2*d. Is 9 a factor of d?
False
Suppose y = 5*y - 16. Suppose 0 = -5*k - 15, 2*k - y = 3*j + 5. Is 30 a factor of 554/7 + j/35?
False
Suppose 38*o - 23265 - 10479 = 0. Is o a multiple of 24?
True
Let p = 153 + 55. Is 11 a factor of (1 + (-58)/(-8))/(13/p)?
True
Let j(m) = m**3 - 33*m**2 + 4*m + 35. Is 16 a factor of j(33)?
False
Let i(d) = d + 10. Let j be i(-8). Suppose -18 = -j*h + 50. Does 8 divide h?
False
Suppose 5*k = 13 + 2. Suppose -5*v - k*r - 12626 = 0, -4*v - 2*r - 10096 = 2*r. Does 13 divide v/(-28) - (-2)/(-8)?
False
Let r = 879 - 259. Is 22 a factor of r?
False
Suppose -4*h = -h - 3, -5*h = -5*w + 1540. Is w a multiple of 48?
False
Let u be 1 + ((-15)/(-5) - -27*3). Let x = -77 + u. Is 4 a factor of x?
True
Suppose -18*c + 6469 + 6725 = 0. Is 8 a factor of c?
False
Let b = 444 + 276. Is b a multiple of 16?
True
Let c(t) = -16*t**2 - 3*t - 3. Let u be c(3). Let n = 279 + u. Is n a multiple of 14?
False
Let p = 16 - 9. Let a(k) = 2*k - 9. Let g be a(p). Suppose -g*d = -2*w - 21 - 36, 3*d + 3*w - 30 = 0. Is 5 a factor of d?
False
Suppose 9*m = -1542 + 6960. Is 14 a factor of m?
True
Suppose r = -r - 5*d + 8, -9 = -r - 5*d. Let a = r - -8. Suppose -83 = -5*v + a. Is 9 a factor of v?
True
Suppose -660 = -i - i. Suppose -4*b - i = -14*b. Does 9 divide b?
False
Let h(w) = -w**2 + 8*w + 11. Let u be h(7). Does 8 divide (-18)/(-81) - (-284)/u?
True
Suppose 98*a = 100*a - 352. Suppose a = -19*s + 23*s. Is s a multiple of 10?
False
Suppose -2472 = -6*k + 21378. Does 25 divide k?
True
Suppose -5*t = 4*h - 3903, -2*t + 3*h - 4*h + 1563 = 0. Does 29 divide t?
True
Suppose 6*s - 3570 = 3*m, -2*s - 3*m + 2986 = 3*s. Does 11 divide s?
False
Suppose 2*o = -3*z + 1842, -z + 603 = 6*o - 9*o. Is z a multiple of 12?
True
Let r = 0 + 3. Suppose -r*k + 5*k - 80 = 0. Suppose 0 = -3*n - n + k. Does 5 divide n?
True
Suppose 0 = y + 4, 4*f - y - 24 = -0*f. Suppose 5*j + 2*k = -0*k + 94, -f*j - 4*k + 88 = 0. Does 12 divide j?
False
Does 30 divide 9 - (-297)/(-22)*-66?
True
Suppose 2*i - 87 = -13. Let r = -38 - -58. Let v = i - r. Does 7 divide v?
False
Is 12 a factor of (7 - (-1209 + 4))*1?
True
Let i(u) = 16*u + 5. Does 44 divide i(45)?
False
Suppose -h + 2*g - 14 = -5*h, 4*h - 29 = 3*g. Suppose h*i - 197 = 413. Let n = 188 - i. Is n a multiple of 22?
True
Suppose 5*b = -d + 16300, -3*b + 9772 = 9*d - 10*d. Is b a multiple of 12?
False
Let b = 338 - -357. Is b a multiple of 8?
False
Suppose -4*c - 5*p + 2*p = 1198, 3*c + 4*p + 895 = 0. Suppose 4*x - 214 + 1050 = 0. Let b = x - c. Is 22 a factor of b?
False
Let i be (1/2)/((-38)/20 - -2). Suppose i = q, -4*d + d + 56 = 4*q. Is 2 a factor of d?
True
Let t = 169 - 164. Let l(v) = -v**3 - 5*v**2 - 2*v - 7. Let r be l(-6). Suppose j - 63 = -t*o - j, 0 = 3*o - 2*j - r. Is o a multiple of 4?
False
Let b(h) = 172*h - 332. Does 26 divide b(24)?
True
Let x(y) = -18*y - 27. Let g be x(-6). Let c = -17 + g. Does 17 divide c?
False
Let m be (-3)/6*-3*(1 + 1). Suppose 6*r = 3*r - m, 4*r - 256 = -4*k. Is k a multiple of 13?
True
Suppose y + y = 1498. Is 61 a factor of y?
False
Suppose 0 = -8*b - 483 + 539. Is b even?
False
Let i = 105 - 108. Let q(a) be the third derivative of a**5/30 + a**4/24 + a**3/3 + a**2. Is 7 a factor of q(i)?
False
Is 10 a factor of (-6)/(-10) + 3/(-10)*-628?
False
Suppose p = -3*g + 4*p + 57, 4*g + 3*p - 48 = 0. Let i = 179 - g. Does 26 divide i?
False
Suppose 13 + 23 = 4*n. Suppose 40*i + 18 = 46*i. Does 10 divide n/(-2)*(-20)/i?
True
Suppose 4*u - 5*u = 0. Suppose 0 = a - u*a - 15. Let y = 15 + a. Does 26 divide y?
False
Let r(g) = g**3 + 13*g**2 + 4*g - 3. Let q(f) = f**3 + 6*f**2 + 2*f - 1. Let m(o) = -7*q(o) + 3*r(o). Suppose -9*w - 10 = -4*w. Does 6 divide m(w)?
False
Suppose 3*u + 0 = 2*l - 2, -5*l + 5 = -3*u. Suppose -t + u*t + 22 = -m, 2*m + 20 = t. Does 12 divide t?
True
Does 62 divide 6 - (-441)/(-72) - (-44859)/24?
False
Let w = 12 - -3. Suppose s - w = -6. Is s a multiple of 4?
False
Let g(r) = -r**3 + 5*r**2 + 2*r + 6. Suppose -2*f - 12 = -2*k, -k + 0*f - 2 = 3*f. Suppose 0 = 8*u - k*u - 16. Is g(u) a multiple of 10?
True
Suppose -5*q + 3*q = -22. Let h = q + -15. Let x(u) = -u**3 - 3*u**2 - 4*u + 1. Does 9 divide x(h)?
False
Let y(m) be the third derivative of -m**4/24 - m**3/6 - 7*m**2. Suppose 0 = 4*h + 3 + 29. Does 7 divide y(h)?
True
Let d(k) = -3*k - 40. Let a be d(-14). Suppose 5*w - 4 - 4 = -2*b, 3*b = 12. Suppose -5*j + j - a*t + 120 = w, -j - 5*t + 30 = 0. Is j a multiple of 6?
True
Does 57 divide (527 + 2)*(-1 - -2)?
False
Suppose 0*q - q = -3*j + 16, -2*q = 5*j - 1. Let n = 12 - q. Is 19 a factor of n?
True
Suppose 0 = -2*q + 1263 - 597. Is 8 a factor of q?
False
Let w(f) = 10*f**2 + 7*f - 6. Let c(i) = -21*i**2 - 14*i + 11. Let z(l) = 4*c(l) + 9*w(l). Is 10 a factor of z(3)?
False
Suppose -5*d = -4*b + 4086, 2*b + 8*d - 2032 = 5*d. Is 16 a factor of b?
False
Let n = -21 - -26. Suppose -n*f - 173 = -4*s, 0*s + f + 138 = 3*s. Let q = 91 - s. Is 10 a factor of q?
False
Let d(h) = 2*h**3 - 48*h**2 - 45*h + 35. Does 32 divide d(25)?
True
Let y = -12 + 8. Let g be ((-20)/(-25))/(y/(-30)). Let u(b) = -b**3 + 7*b**2 + 7*b - 4. Is 20 a factor of u(g)?
False
Let k be (-55)/25 - (-1)/5. Is 5 a factor of k*(-722)/44 - (-8)/44?
False
Does 8 divide -1 - (-94 + 0 - (6 + -11))?
True
Is 86 a factor of (-1 - 1)/(((-10)/5)/1458)?
False
Suppose -84*c = -43856 - 1420. Does 10 divide c?
False
Let q = 262 - 130. Is q a multiple of 45?
False
Let o = 2 + 94. Is 12 a factor of o?
True
Let p be (-96)/(-21)*116 - 4/14. Is (-3)/2*(4 + p/(-15)) a multiple of 23?
False
Let c(d) = -2*d**3 - 5*d**2 + 5*d + 8. Is 23 a factor of c(-6)?
True
Let c be (-20 - -2) + 6/3. Let w = 5 - c. Is 9 a factor of w?
False
Let z = 15 - 28. Let b = 4 - z. Does 17 divide b?
True
Let i = 47 - 45. Suppose 144 = 3*p - b + 5*b, -2*p - i*b = -98. Is p a multiple of 22?
False
Suppose -167 - 10 = -3*c. Suppose c = p + 4*s, 0*s + 247 = 5*p - 4*s. Is 17 a factor of p?
True
Suppose -22 = -2*t - 2. Let x be 52/(-5) - t/(-25). Let h = x - -29. Is h a multiple of 19?
True
Suppose -2*r + 5*i = -14 - 2, -i = 4*r - 10. Suppose -2*p + 3*j + 11 = 0, -p + r*j + 3 = -4. Does 13 divide ((-6)/1)/(p/(-26))?
True
Suppose r + 4 = -1. Let v be (2/9)/(r/(-45)). Suppose v*w = 3*w - 35. Is 5 a factor of w?
True
Let n(r) = -r**3 + 14*r**2 + 18*r - 56. Is n(9) a multiple of 63?
False
Suppose -4*t + 4 = -8. Suppose -t*c - c = -100. Suppose 0 = 4*x + 2*m - c - 65, 2*m = x - 25. Is x a multiple of 10?
False
Let b = -26 + 29. Suppose -2*r - 4*z = -34, 5*z = -0*r + b*r - 51. Suppose 0 = j - 0*j - r. Is j a multiple of 5?
False
Let k = -32 - -42. Suppose k*z + 21 = 11*z. Is z even?
False
Is 19 a factor of (-215544)/(-420) - (0 - 2)/(-10)?
True
Suppose -u = -3*u. Suppose 2*t + 5*g + 27 = u, 8*g + 18 = -3*t + 5*g. Is t/3 + 442/3 a multiple of 41?
False
Let r = 23 - -22. Let u = -30 + r. Is u a multiple of 3?
True
Let m(x) = -x. Let p(c) = 6*c + 1. Let r(b) = -6*m(b) - 2*p(b). Let l = -28 + 24. Is 6 a factor of r(l)?
False
Suppose 3*s = -b - 2*s - 45, -33 = b + s. Does 5 divide 1198/12 + (-5)/b?
True
Let z(u) = u**2 - 2*u - 1. Let k be (-2414)/(-85) + (-4)/10. Suppose -4*g = 3*i + k, 7*g - 3*g - 3*i + 28 = 0. Does 18 divide z(g)?
False
Suppose -16 = -4*f, 0 = t + 4*t - 3*f + 12. Suppose t = -c + 5*c, 2*i - 24 = -5*c. Is 2 a factor of -4*(-