c(u) = -49*u + 5. Let d(t) = -103*t + 9. Let p(x) = -5*c(x) + 3*d(x). Does 12 divide p(z)?
False
Let f be (1 + 0)*(-38 + (13 - 7)). Let s be (f/6 - -4)*(5 + -2). Is ((-2)/s)/(-1 + 255/252) a multiple of 32?
False
Let a be (2 - 5 - -3)/(-1). Let w(r) = a - 15*r + 20*r + 5. Is w(13) a multiple of 14?
True
Suppose -3*r - z = -2, -2*r = r + 4*z - 8. Suppose 0*a + 2*m = 4*a, r = 3*a + 5*m - 26. Suppose -t - s + 31 = 0, 5*s + 41 = -0*t + a*t. Does 9 divide t?
False
Let t(a) = -a**3 - 21*a**2. Let s be t(-21). Suppose 4*n = -r + 216, s = -3*r + 4*n + 584 + 80. Is 4 a factor of r?
True
Let r be (-7)/((-21)/(-72)) + 0. Let v = r - -22. Does 3 divide v/9 + 1312/72?
True
Suppose 427*i + 5453 = 434*i. Is 18 a factor of i?
False
Does 46 divide -8 - ((-9397 - 1) + 1 + 6)?
False
Let d = 1069 + -762. Suppose 8*t - 589 = d. Is 14 a factor of t?
True
Suppose 5*l + 37 = 177. Does 11 divide 2*-2 - (6 - (l + 4))?
True
Does 16 divide ((-8)/36)/((-9)/54)*10959?
False
Let x(m) = -190*m + 11611. Does 26 divide x(-28)?
False
Let l = -87 - -75. Is 15 a factor of 2607/6 - 6/l?
True
Suppose -81*v + 34*v = -41*v - 17118. Is 47 a factor of v?
False
Suppose -16 = -12*j + 8*j. Suppose r - 248 = -0*x - 3*x, j*x = -4*r + 960. Is 59 a factor of r?
True
Let c = -67 + 69. Let w be 3 + -2 + 1 + c. Suppose -2*q - k + 6*k + 215 = 0, w*q = -4*k + 444. Is q a multiple of 11?
True
Let w be 2/(-2)*(-6)/6*1021. Suppose g = w + 1137. Is 26 a factor of g?
True
Let d(w) = -3*w**3 - 4*w**2 - 2*w + 3. Suppose -3*q + 0*q - 11 = 4*n, 5*n + 3*q = -10. Let x be (-2 - (-3 - -5))*(0 + n). Is 38 a factor of d(x)?
False
Let t(a) = -a**3 + 4*a**2 + 10*a - 12. Let p be t(10). Does 30 divide (1/(-2))/(4/p)?
False
Suppose 9*i - 19*i = -120. Suppose -i*p = -19*p + 1666. Does 28 divide p?
False
Suppose 2*j + 2*c - 17282 = 0, -9*c = -4*j - 5*c + 34580. Is 22 a factor of j?
False
Let a = -2384 - -3723. Does 13 divide a?
True
Let q(m) = m**2 - 16*m + 7. Let i(d) = d**3 - 12*d**2 + 10*d + 20. Let c be i(11). Let z be q(c). Is 14 a factor of (-2)/(1 - (-60)/z)?
True
Suppose -3*a = 4*g - 3 - 14, a = -5*g + 2. Suppose a*f - 2*f - 40 = 0. Suppose f*r - 36 = 5*r. Is r a multiple of 4?
True
Let k = 22078 + -9958. Is 40 a factor of k?
True
Suppose 1060*l - 57974 = 978*l. Is 61 a factor of l?
False
Suppose -427*b + 895817 = -389*b - 618711. Is 47 a factor of b?
True
Let r(b) = -b**2 - 93*b + 568. Does 56 divide r(-61)?
True
Suppose -2*v + 13 = 3*a, -30 = -4*a - a + 5*v. Let l(w) = 17*w - 25. Let u be l(a). Is 3 a factor of 10/4*288/u?
True
Suppose 2*j - 140 = 6*j. Let a = j - -38. Suppose -a*y + m + 79 = 0, -y + 5*m - 8 + 53 = 0. Does 17 divide y?
False
Suppose -100*j + 49342 + 60758 = 0. Does 8 divide j?
False
Let y(s) = s + 3. Let r be y(0). Suppose -r*g = -4*o - 7*g - 8, -2*g = 5*o - 2. Suppose -o*v = 5*l - 177, -4*l - 61 = -v + 34. Does 23 divide v?
False
Let u(b) = -338*b - 311. Is 49 a factor of u(-12)?
False
Suppose 0 = -110*s + 121729 + 44591. Does 21 divide s?
True
Let k = -568 - -951. Is k a multiple of 3?
False
Suppose 314 + 873 = 3*h - 4*w, 4*w = 2*h - 798. Suppose m + b = 153, 0 = 5*m - b - 358 - h. Suppose -6*s - m = -5*d - s, -4*s = 0. Does 22 divide d?
False
Let y = -130 + 364. Is y a multiple of 6?
True
Suppose -9832 = -152*t + 149*t + 2*j, -j + 13124 = 4*t. Is 10 a factor of t?
True
Suppose 173*i - 180*i - 35 = 0. Is (0 - i) + -9 + (-45)/(-1) a multiple of 29?
False
Let v(a) = -a**3 + 11*a**2 - 11*a - 14. Let o be v(10). Let r = o - -26. Suppose r*p + 2*p - 172 = -2*d, -4*p = -4*d + 404. Is d a multiple of 16?
True
Is 3 a factor of (4014/12)/(78/104)?
False
Suppose -7*n + 17*n + 900 = 0. Let l be 4/14 + n/(-126). Is ((l + -3)*1)/(8/(-532)) a multiple of 31?
False
Suppose 22*c - 26*c = -672. Let s = 209 - c. Is 27 a factor of s?
False
Suppose -5 = -w + 5*s + 20, -4*w + 24 = -s. Suppose a - 18 = -w*a. Suppose 4*c = -a*z + 2*c + 319, 5*z = -2*c + 537. Is z a multiple of 8?
False
Suppose 558 = -52*c + 54*c. Let l = c - 181. Let d = 163 - l. Does 13 divide d?
True
Let m = 123 + 0. Let w be (-2)/20 + m/30. Suppose 2*j = -f + w*j + 14, -2*j = 10. Does 4 divide f?
True
Let x = 2 - 2. Suppose -20*j + 17*j = x. Suppose -2*w + 312 = -j*w. Is w a multiple of 52?
True
Let q = -76 + 69. Let c(l) = 14*l + 20. Let s be c(q). Let y = -54 - s. Does 8 divide y?
True
Suppose -3*l + 2*r = -l - 24, l + 2*r = 3. Let s be (l*20/6)/2. Let d(m) = m**3 - 12*m**2 - 26*m - 36. Is d(s) a multiple of 19?
False
Let u(v) be the third derivative of -v**5/40 - 11*v**4/8 + v**3 + 8*v**2. Let t(i) be the first derivative of u(i). Does 7 divide t(-17)?
False
Suppose -6 = 5*h - 21, 0 = 2*k + 3*h - 2251. Is k a multiple of 33?
False
Let c(j) = -10*j**2 - 4 + 4 + j**3 + 19*j**2. Let h be c(-9). Suppose h = -s - 11 + 17. Does 6 divide s?
True
Suppose 15 = 5*m - 2*m, 0 = -s + 3*m - 20. Let z(x) = 4*x**2 + 5*x - 5. Is 5 a factor of z(s)?
True
Let h(u) = u**3 - 16*u**2 - 2*u + 329. Is 2 a factor of h(15)?
True
Suppose -56 = -64*a + 264. Let l(i) be the first derivative of i**4/4 - 4*i**3/3 + 2*i**2 + 9*i - 1. Is 9 a factor of l(a)?
True
Let n be 2 + (5 + -4)*-1. Let i be (3*(n + 1))/(10/65). Let c = i + 171. Is c a multiple of 37?
False
Let z(j) = -2*j**2 - 30*j + 18. Let c(v) = -v**2 - 31*v + 16. Let u(w) = -5*c(w) + 4*z(w). Is u(9) a multiple of 64?
True
Let r = 31101 - 21190. Is r a multiple of 48?
False
Suppose -6*u - 4185 = -14*u - 7*u. Suppose 5 = v - 0. Suppose -5*f + 3*k = -2*f - u, -390 = -4*f - v*k. Is 10 a factor of f?
False
Let z = 6118 - -458. Is 8 a factor of z?
True
Let h = 54 - 14. Is 47 a factor of 8/2*(7 + h)?
True
Let m(r) = 232*r**2 - 32*r + 29. Does 7 divide m(-7)?
False
Let c(m) = m**3 + 2*m**2 - 7*m + 2. Suppose -4*j - 16 = -0*j. Let w be c(j). Let b(o) = 20*o**2 + 2*o + 1. Does 12 divide b(w)?
False
Let q be (704/(-48))/(1/(-3)). Suppose -4*n = -5*b + 28, -2*n - 3*b = 2*b + q. Is 19 a factor of (1 + 118/(-4))/(9/n)?
True
Let v be 0/(-4 - -1) + 859. Does 19 divide -4*5/(-20)*v?
False
Suppose 0 = 3*s + 2*s + 11025. Let t be 4/(-6)*s/42. Let k = -17 + t. Does 9 divide k?
True
Let p = 745 + -633. Suppose t - r + 42 = 159, -4*r = t - p. Does 4 divide t?
True
Let r(s) = -44*s - 44. Let g be r(-5). Suppose 15*i = -g - 124. Does 10 divide (-2)/(((-273)/i)/7 + -2)?
True
Is 50 a factor of 22 + 43/(731/93126)?
True
Let u = -80 - -82. Suppose 7*x - u*x + 56 = -3*j, -5*j + 3*x - 150 = 0. Is ((-1)/((-6)/52))/((-2)/j) a multiple of 31?
False
Suppose -4*n = 6*i - 2*n - 20760, 5*n = 2*i - 6937. Is 29 a factor of i?
False
Suppose 65*s - 38990 = 63*s + 5*y, 0 = -2*s - 3*y + 39006. Does 13 divide s?
True
Is (81/(-45) - -2) + 16069/5 a multiple of 14?
False
Let u = 33156 - 22949. Does 59 divide u?
True
Let h(g) = g**2 + 3*g + 2. Let o be h(-5). Suppose -5*u + 30 = 5*s, -o = -0*s - 4*s - u. Suppose 3*k + 83 = 4*k + 5*i, s*k = i + 144. Is k a multiple of 8?
False
Suppose w = -2*w + a + 1836, -612 = -w + 5*a. Let z = w - 267. Is z a multiple of 15?
True
Let f be 16/72 + (-56)/9. Let o be (-27)/6*f/9. Suppose o*n - 37 = 128. Is n a multiple of 11?
True
Let b(p) = -1877*p**3 - 19*p**2 - 8*p + 9. Is 3 a factor of b(-1)?
True
Suppose 3*u - 117582 = -7*t, -16*t = -15*t + u - 16802. Is 102 a factor of t?
False
Let l(u) = 199*u**3 - 2*u**2 + 14*u - 13. Let h = 48 + -47. Does 22 divide l(h)?
True
Suppose -15*o + 112*o - 3515246 = 602986. Is o a multiple of 116?
True
Suppose 134*o + 655425 = -44*o + 4036535. Is o a multiple of 145?
True
Let w(t) = 10*t**2 + 0 + 3 + 3 - 3 + 37*t + 5. Is 19 a factor of w(6)?
False
Suppose -5*w - 5*v + 28085 = 0, -3*v + 3456 = w - 2165. Is w a multiple of 22?
False
Suppose 5*v + 2*l + 94 = 0, -4*v = v + 3*l + 96. Let x = 92 - v. Does 10 divide x?
True
Suppose -1130074 = -31*g + 739567. Does 13 divide g?
False
Let d = -22146 + 28266. Does 51 divide d?
True
Does 7 divide 10314/22 - ((-3724)/(-209) + -18)?
True
Let f = 34481 - 19059. Is f a multiple of 5?
False
Suppose -5*t - 4170 = -4*q + 3*q, 0 = -3*q - 4*t + 12510. Does 78 divide q?
False
Let l(r) = -161*r - 1. Let t be l(-2). Suppose 5*d - g + 387 = 0, -g = 4*d + 2*g + t. Let n = 116 + d. Is n a multiple of 16?
False
Suppose 2726 = -r + 4*d + 11905, 0 = -4*r + 5*d + 36672. Is 17 a factor of r?
True
Let q = 277 + -356. Let x = 84 + q. Is x a multiple of 3?
False
Suppos