 - c. Let z(d) = -35*d - 1. Is 33 a factor of z(r)?
False
Does 13 divide 5110/9 + 48/216?
False
Let f(y) = -3*y + 24. Let p be f(6). Let j(q) = 7 - 1 + 19 + 7*q - p*q. Is j(6) a multiple of 13?
False
Suppose -9*r + 6869 = 8*r - 1138. Does 157 divide r?
True
Let w be 2 + (-46)/(-6 + 4). Suppose w = 32*m - 27*m. Suppose 5*v = -4*r + 56 + 521, -r = -m*v + 562. Does 22 divide v?
False
Let s(h) = -51*h**3 + 48*h**2 - 21*h - 12. Is s(-6) a multiple of 6?
True
Suppose 21 = 10*i - 169. Suppose -844 = i*t - 3219. Is t a multiple of 5?
True
Suppose 2*d - 403*a = -406*a + 27815, 3*d + 3*a = 41727. Is d a multiple of 14?
False
Suppose 5*q - 20351 + 13199 = 50898. Is q a multiple of 54?
True
Let l = -4683 - -7722. Is 3 a factor of l?
True
Let i(h) = 90*h + 94. Let r(l) = 3*l - 2. Let x(w) = -i(w) + 6*r(w). Is 3 a factor of x(-2)?
False
Let g = 86210 - 47636. Is g a multiple of 31?
False
Let a = -111 + 116. Suppose -5*s + a + 20 = 0. Suppose s*h + 5*k + 0*k = 175, -4*h = -k - 115. Does 19 divide h?
False
Let b(z) = 377*z**2 - 22*z + 5. Is b(-3) a multiple of 23?
False
Suppose -j - 1784 = -d, 109*d - 105*d - j - 7145 = 0. Is d a multiple of 71?
False
Suppose 2*z - 1782 - 5091 = -n, -z - 5*n + 3414 = 0. Is z a multiple of 115?
False
Suppose -2*m = -7*q + 10*q - 654, 3*q - 4*m - 672 = 0. Suppose 195*t - q = 191*t. Is 11 a factor of t?
True
Let s = 33523 - -6383. Is s a multiple of 27?
True
Let w(x) = -24*x**2 - 2*x + 8*x + 9*x**2 - 21 - 3 + 16*x**2. Does 2 divide w(5)?
False
Let b(o) = -6*o**3 + 102*o**2 + 11*o + 62. Let f be b(17). Let v(r) = -24*r + 9. Let n be v(6). Let u = f + n. Is 19 a factor of u?
True
Let i be ((-287)/123)/(2/6). Does 16 divide 9/3 + (-692)/(i + 3)?
True
Let z(j) = 10*j + 1044. Is z(30) a multiple of 112?
True
Let o(l) = -3*l - 3. Let c(q) = 13*q**2 + 4*q - 12. Let d(w) = -4*w**2 - w + 4. Let n(v) = 2*c(v) + 7*d(v). Let s be n(3). Is o(s) a multiple of 25?
False
Let s(y) = -2*y**2 - 13*y - 19. Let k be s(-5). Is (-1 - k)*(-6915)/(-225)*5 a multiple of 22?
False
Suppose 0 = t - 3*n - 107, 465 = 5*t + n - 2*n. Let s = t + 46. Let u = -50 + s. Does 21 divide u?
False
Suppose -86 = -13*n - 34. Suppose -2900 = -n*b + a, -3*a = -4*b + a + 2912. Is b a multiple of 78?
False
Suppose 2925387 = 49*j + 217*j - 3148191. Is 129 a factor of j?
True
Let a(r) = -25*r + 196. Let c(t) = 16*t - 131. Let q(l) = -5*a(l) - 8*c(l). Is 25 a factor of q(-19)?
True
Let v = 83 + 36. Suppose -125*f = -v*f - 8520. Is f a multiple of 90?
False
Let s(v) = 4*v**2 + 31*v + 67. Let w be s(29). Is 64/(-24) - w/(-15) a multiple of 46?
False
Let r(g) = -g**3 + 5*g**2 - 2*g - 7. Let a be r(3). Suppose 0 = a*m + 2*f + 102, -5*m + 5*f - 55 = -2*m. Let z = m + 54. Is z a multiple of 17?
True
Let l = 1602 + -993. Is l a multiple of 2?
False
Let f(h) = -h**3 - 5*h**2 - 2*h - 51. Let s be f(-6). Let v(r) = -260*r - 25. Does 53 divide v(s)?
False
Suppose -v - 11 = -5*v - g, 2*v - 28 = 4*g. Is (8/6)/((-9)/((-4914)/v)) a multiple of 26?
True
Does 6 divide (((-20624)/14)/(-2))/((-700)/(-7350))?
True
Suppose 114 = -4*f + 134. Let h = 92 - 50. Suppose -14 = -f*p + 3*p + y, h = 5*p + y. Is p a multiple of 4?
True
Let u(b) = 3*b**2 - 28*b - 35. Let k be u(14). Let p = -83 + k. Does 12 divide p?
False
Suppose -2*x = -2*x + 4*x. Suppose 2*v = 6*v - 3*m - 72, 3*v - 4*m - 54 = x. Is (-10)/6 + 2 - (-84)/v a multiple of 5?
True
Let t(q) = 12*q**2 + 80*q - 394. Does 34 divide t(11)?
True
Suppose 13 = -r + 41. Let k = r + -124. Let q = -57 - k. Is q a multiple of 13?
True
Suppose -u + 2*y + 5 = 0, -3*u + 25 - 10 = y. Let s = 419 + -271. Suppose -3*d + z + 41 = -39, 2*z - s = -u*d. Is 7 a factor of d?
True
Let o be 423/(-6) - (-3)/2. Suppose -s - 528 = -479. Let g = s - o. Is g a multiple of 5?
True
Let l = 26436 - 7740. Is l a multiple of 76?
True
Let c be 5*((1 - -1) + -3). Let o(u) = -5*u - 10. Let t be o(c). Let p = t - 2. Is 3 a factor of p?
False
Is 21 a factor of 2235/10430 + (-1)/(14/(-65559))?
True
Suppose -3*z = -3*i + 81, -z + 4*z + 51 = 2*i. Let s be (5/(20/(-24)) - 0)*-2. Suppose -i = -2*y + s. Is y a multiple of 9?
False
Let w be 0/(-4) + 4 - 5. Let d be 2 - 6 - -8 - w. Suppose 5*i - i - 130 = -5*y, d*i = -3*y + 169. Is i a multiple of 5?
True
Suppose 9 + 16 = 5*a. Suppose 0 = 3*r - h - 13, a = 3*r - 4*h + 5*h. Suppose -r*u + 26 = -271. Does 25 divide u?
False
Suppose -39*a + 17*a + 6160 = 0. Does 12 divide 176/(-40) + (-2)/(-5) + a?
True
Suppose -604 = -5*t + 3506. Suppose t*d - 5280 = 811*d. Is 24 a factor of d?
True
Suppose 0 = -3*v + 5*k + 4911, 4*k = -3*v + 6*v - 4917. Is 87 a factor of v?
False
Let l = 42 - 36. Let v(f) = f**2 - 6*f + 8. Let i be v(l). Suppose i*t = 119 + 73. Does 23 divide t?
False
Let h be (1*-9)/(-3)*(-6 + 7). Suppose 0 = h*n - 356 - 3064. Suppose -n = -5*g + 5*z, 0*g - z - 1148 = -5*g. Is g a multiple of 47?
False
Let r(p) = p**3 + 13*p**2 - 19*p + 14947. Does 38 divide r(0)?
False
Let h(z) = 102*z**2 + 287*z - 31. Is h(-5) a multiple of 38?
False
Suppose 0 = -5*z + 29 - 4. Suppose 71 = w + 4*y + 22, 2*w - 95 = -z*y. Does 29 divide w?
False
Let u = -47 - -51. Suppose -2*b - 98 = -u*r + 1156, -4*b = -12. Is r a multiple of 9?
True
Let q(d) = d**3 - 7*d**2 - 2*d + 14. Let g be q(7). Suppose g = -6*a - 0*a + 1302. Is 3 a factor of a?
False
Let q(v) = 5650*v + 809. Is q(7) a multiple of 33?
True
Suppose 0 = 5*f + 4*g - 62, -46*g = f - 44*g - 10. Does 10 divide ((-1)/1)/(f/(-140))?
True
Let r(x) = -x**2 - 5*x - 5. Let o(q) = -2*q**2 - 10*q - 9. Let f(y) = -4*o(y) + 9*r(y). Let j be f(-4). Let g(u) = -u**2 - 8*u. Does 3 divide g(j)?
True
Let g(y) = -y**2 - 20*y - 92. Let z be g(-12). Suppose -4*h + 5*n + 319 = 6*n, -12 = -z*n. Does 22 divide h?
False
Let c(d) be the first derivative of d**3/3 - 8*d**2 - 17*d - 8. Does 5 divide c(24)?
True
Suppose 3*i + 36*a - 41*a + 28 = 0, 5*i - 4*a = -25. Does 11 divide (i/(-4))/(26/75608)?
False
Let b(d) = -18*d**3 - 42*d**2 + 8*d. Is 32 a factor of b(-4)?
True
Let u be 351/(-15) - (-4)/10. Let j = u - -17. Let y(w) = -19*w - 2. Is 22 a factor of y(j)?
False
Suppose -5*h + 1 = -3*h + 3*k, -2*h = 5*k + 1. Does 6 divide 66 + -4 + 4/h?
False
Let d(u) = -676*u - 1040. Does 69 divide d(-7)?
False
Suppose 0 = 2*q - 4*f - 306, 39*q + 2*f + 300 = 41*q. Is q a multiple of 29?
False
Let c be 84/(-56) - 14/(-4). Suppose -4*p + c*t = -132, 0*t - 2*t = 3*p - 92. Is p a multiple of 12?
False
Let o(x) be the third derivative of 41*x**5/20 + 5*x**4/12 + 23*x**3/6 - 35*x**2. Is 21 a factor of o(-2)?
False
Let a(n) = n**2 + 12*n + 311. Let f be a(0). Let s = f + -11. Is s a multiple of 75?
True
Let k be (55/(-22)*3)/(3/(-2)). Suppose -2*t = -2*g + 1282, -5*g - k*t - 308 = -3513. Is 34 a factor of g?
False
Does 8 divide (2 - 38208/(-10)) + 29/((-290)/(-12))?
True
Is 8 a factor of (235563/466)/(1/10)?
False
Suppose -15 - 1 = -4*f. Suppose -f*h = 5 - 13. Suppose 5*d - 191 = -h*c + 80, 5*c - 15 = 0. Is d a multiple of 7?
False
Suppose 18*h + 5*h + 81538 = 247345. Does 89 divide h?
True
Suppose 0 = 6*f + 4*f - 4200. Suppose -85*u + 81*u = -f. Is 14 a factor of u?
False
Suppose -z - 266 = 3*g, -172 = z + g + 84. Let q = -128 - z. Suppose -5*p + q = -727. Is p a multiple of 34?
True
Suppose -3*y + 16 = y. Suppose y*n + 3*n - 413 = 0. Suppose 4*c + 11 - n = 0. Does 11 divide c?
False
Let u(a) = a**3 + 21*a**2 + 20. Let m be u(-21). Suppose 14*j - m = 10*j. Suppose 0 = -j*b - 3*b + 272. Is 4 a factor of b?
False
Let d(i) = i**3 + 16*i**2 - 20*i + 4. Let l be d(-16). Suppose -23*z + l = -22*z. Is 18 a factor of z?
True
Suppose 52*a - 6812 - 186056 = 0. Is 5 a factor of a?
False
Let n(s) = 3*s**2 + 13*s - 23. Suppose 10 = 3*z - 3*h - 17, -2*z + 3*h + 17 = 0. Let o be n(z). Suppose 13*t = 2*t + o. Is t a multiple of 23?
False
Let d be 3*(-12)/14*7*-2. Let a = 35 - d. Is 14 a factor of (-7)/((a + (-12)/(-16))*1)?
True
Let x be -3 - (-4)/2 - -13. Let l = 22 - x. Let h(o) = o**3 - 10*o**2 + 6. Does 3 divide h(l)?
True
Is 19 a factor of (-535 - 29)/(59/12 - (17 + -12))?
False
Let v = 2985 + -2525. Is v a multiple of 115?
True
Let h(x) = -4*x + 9. Let y(l) = 2*l - 5. Let a(w) = -6*h(w) - 15*y(w). Let p be a(3). Is p/(-5 - -2) - -113 a multiple of 8?
True
Suppose 234*x + 20424 - 137453 = 218995. Is 117 a factor of x?
False
Let i be (-241)/(-3) - (-85)/51.