6*(p + -2) + (594 - -1) a multiple of 7?
False
Let u(k) = -2*k**2 - 17*k - 10. Let w be u(-6). Suppose w = -l - 5*z, 2*z = -2*z - 20. Does 14 divide 144/l + (-20)/25?
True
Let q(h) = -9 + h + 56 + h. Let g be q(-21). Suppose -3*f + g*a = -6*f + 495, 5*a - 815 = -5*f. Does 40 divide f?
True
Let f = 2105 + -537. Is f a multiple of 16?
True
Let z be -2 - -2 - 1 - -31. Let f be 615/z*2*2. Suppose -j + 5*l = -f, 366 = -0*j + 4*j - l. Is j a multiple of 23?
True
Let v(r) = r**3 + 2*r**2 - 9*r - 8. Let d be v(3). Is (48/d)/((-63)/(-7350)) a multiple of 56?
True
Suppose 0 = -6*l + 4*l + 100. Suppose -m - x = -8, -5*m - 2*x + 7*x = -l. Let z(s) = s**3 - 7*s**2 - 16*s. Does 18 divide z(m)?
True
Is -5 - ((0 - -2) + 1 + 750576/(-38)) a multiple of 16?
True
Let m be 22/(-8)*(-24)/6. Suppose -2*o - 2*u + m = u, -2*o - 10 = -4*u. Is 5 a factor of (-10)/(-10) + o/((-2)/(-30))?
False
Suppose 19*v = 18*v + 4*u + 30332, -v + 3*u + 30338 = 0. Is v a multiple of 96?
False
Suppose 0 = -2*y + 2*c - 6 - 0, -y - 19 = -5*c. Suppose 2*w - y = -5*n, 3*n - 3 = 6*n. Suppose 3*t = j + 112, -t = -w*t + j + 73. Is 28 a factor of t?
False
Let w be 18/4 - 26/52. Suppose 15*s + w*s = 10241. Does 56 divide s?
False
Suppose 3268 + 723 = -13*i. Let y = -187 - i. Is y a multiple of 6?
True
Let q(z) = 7*z - z**3 - 21*z + 7*z**2 - 7 + 19*z. Does 2 divide q(7)?
True
Is (63/18)/(-7)*-47*682 a multiple of 31?
True
Suppose 2*i + 4*f - 172 = -2*i, 3*f + 91 = 2*i. Let q = i + -17. Suppose 2*b = b + 2, -q = -x - 5*b. Is 2 a factor of x?
False
Let y(z) = z**3 - 50*z**2 - 17*z - 324. Is 13 a factor of y(53)?
True
Let p(m) = -36 - 461*m - 449*m - 464*m + 1360*m. Let c be (9/2)/((-1)/4). Does 27 divide p(c)?
True
Suppose -4*f + 16 = -2*f. Let x(y) be the second derivative of y**4/3 - 5*y**3/6 - 19*y**2/2 + 37*y. Is 12 a factor of x(f)?
False
Suppose -14*j + 9957 = 5*j - 11931. Is j a multiple of 4?
True
Let v be (-2 - (-6)/6)*0. Suppose v = 3*q - 4*z - 2298, -2*z = 14*q - 12*q - 1532. Is 15 a factor of q?
False
Suppose 7*h + 9*h = 12688. Let y = h + -756. Is y a multiple of 19?
False
Let j(o) = 41*o**3 + 3*o**2 + 5*o - 25. Does 26 divide j(5)?
True
Let n = 25 + -16. Is 384 - (n - 8/2) a multiple of 23?
False
Suppose 130 - 118 = 4*i. Does 35 divide 0 - i/(-6)*10 - -460?
False
Suppose -3*s + 182 = 14*s - 3*s. Let p = 17 - 28. Let m = s - p. Does 5 divide m?
False
Let i be 76/18 + -2 - 28/126. Let k(x) = 12*x**3 - 5*x**2 + 2*x - 2. Is 39 a factor of k(i)?
True
Let j be 126/45*5 + -2. Suppose -j*n - 741 = -1329. Is n a multiple of 3?
False
Suppose -181*h + 116*h + 249600 = 0. Is h a multiple of 12?
True
Let t = -95 - -96. Does 24 divide 957/4 - t*18/(-24)?
True
Suppose 2*j - 82*j + 3412750 = 45*j. Does 193 divide j?
False
Suppose 5*r = v + 14, -5*r + 4*r = 4*v + 14. Suppose 0 = -4*x + r*t + 1212, 0 = 5*x - t - 1305 - 213. Does 12 divide x?
False
Let p be (1 - (-7 - -4)) + (0 - 2). Suppose 3*j + 169 = p*g + 3*g, -j = 2*g - 61. Does 4 divide g?
True
Suppose 4*r - d - 26109 = -0*r, 2*r - 13049 = -5*d. Is 54 a factor of r?
False
Let d(z) = -z**3 + 6*z**2 + 18*z + 7. Suppose 4*y + 21 + 19 = 0. Let c = y - -18. Is 4 a factor of d(c)?
False
Suppose 8*w + 5 = 13. Is w*((5 - -62) + -4) a multiple of 21?
True
Suppose 8*f - 35*f = -26244. Suppose 44*z - f - 3736 = 0. Does 11 divide z?
False
Suppose -4*m = 6 - 98. Let a = -34 + m. Let f(u) = -u**3 - 11*u**2 - 4*u. Is 16 a factor of f(a)?
False
Let g = -161 - -169. Suppose 3319 - 13535 = -g*o. Is o a multiple of 86?
False
Suppose 0 = 2*h + 205 - 215. Suppose -x - 272 = -h*s, -s + 3*x - 29 = -75. Is 11 a factor of s?
True
Suppose -110839 - 417421 = -72*v + 319756. Does 17 divide v?
False
Let u = 133 + -177. Let x = u - -349. Is x a multiple of 26?
False
Suppose -405*j = 702327 - 9306957. Does 25 divide j?
False
Is ((-1168)/(-73))/(3/180) a multiple of 24?
True
Let z be (-5 + -19)/(-4) - 0 - -2821. Let h = z - 1763. Is 76 a factor of h?
True
Let q = 8 + -8. Suppose 4*x = -0*x - 16, q = -2*u - 4*x + 90. Suppose -3*d = 3*j - 24 - 105, -d - 3*j = -u. Is d a multiple of 3?
False
Let r be (-4 + 7)*(114/9 + 2). Let w be 108/(-11) + (-8)/r. Let l = w - -96. Is l a multiple of 43?
True
Let h be -15 + 11 + -7 + 3. Does 12 divide 134711/184 - (-1)/h?
True
Suppose -61*q + 56 = -57*q. Let k be -1641*((-5)/105 - 4/q). Let g = 781 - k. Is 13 a factor of g?
True
Let l(j) = j**3 - 3*j**2 + 14*j + 2125. Is 50 a factor of l(0)?
False
Suppose 18*g = 19*g - 15. Let s = -37 + g. Is 6 a factor of (4 - 1)/3 - s?
False
Suppose 2527 = 6*a + 439. Does 12 divide a?
True
Let l be (0 - 0)/((-2)/(-1)). Let q(w) = w**3 - w**2 + w + 18. Is 9 a factor of q(l)?
True
Let l(i) = -i**2 - 5*i + 18. Let k be l(-7). Suppose v = -s + 58, v = -k*s - 17 + 78. Suppose 47*u - 48*u + v = 0. Does 13 divide u?
False
Suppose 80*o + 409694 - 536744 = 1409750. Is o a multiple of 17?
True
Suppose 4*j - 1 = o, -3*o - 3 = -j + 6*j. Suppose j = 13*g - 2*g - 10670. Is 106 a factor of g?
False
Suppose 6*t = -t - 196. Let f = t - -26. Is (3 + f)*336/4 a multiple of 11?
False
Let x be 10*(-28 - 1) - (-14 - -12). Let w = x - -416. Does 8 divide w?
True
Let h(c) be the first derivative of 4*c**3/3 - 3*c**2/2 - 35*c + 6. Let l be h(7). Suppose -l = -9*i + 7*i. Is i a multiple of 14?
True
Let h be 6/9*(-75)/(-10). Suppose -h*c = -5*m - 980, -5*c + 0*c + 3*m + 972 = 0. Is 16 a factor of c?
True
Suppose 0 = 10*q - 50 - 270. Let u(v) = 19 + 14*v**2 - 2*v + 7*v + 20*v**2 - q*v**2. Is 16 a factor of u(-8)?
False
Let i = -57 + 59. Suppose 0 = -5*v + 4*h - 28, v - 2*h + 16 = -i*v. Does 5 divide (3/4)/(v/(-432))?
False
Let a(d) = -61*d**3 - 7*d**2 - 41*d - 52. Is 122 a factor of a(-4)?
True
Suppose -4*q - 4*k = -1500, -4*k - 726 = -2*q - 0*q. Suppose -5*h - 5*n = -620, 0 = -6*h + 3*h - 4*n + q. Is 5 a factor of h?
True
Let s(t) = -132*t + 1352. Is s(6) a multiple of 28?
True
Suppose 8*k = -35*k + 648010. Is 11 a factor of k?
True
Let x(o) = -o + 167. Let z = 321 + -343. Is x(z) a multiple of 21?
True
Let u = 113 - 74. Let r be (-2)/(-6) + 260/u + 3. Suppose r*t - 2793 = -973. Does 26 divide t?
True
Is 98 a factor of ((-58)/609)/(3/7) + (-133184)/(-9)?
True
Suppose 64*r + 60494 = 93*r. Does 35 divide r?
False
Let m(f) = -3*f**2 + 78*f - 21. Suppose -4*w + 15 = x, 3*w - 43 = -2*x + 8*w. Does 42 divide m(x)?
True
Let a(v) = 3*v**3 - 4*v**2 + v + 1. Let s be a(1). Is -2*s*(-471)/(-18)*-3 a multiple of 8?
False
Let o(z) = 2*z**2 - 51*z - 701. Is 4 a factor of o(49)?
False
Let h be ((-26)/(-78))/((-2)/(-30)). Suppose 0 = 5*p - 2*y - 620, 2*p + h*y = -3*p + 655. Does 58 divide p?
False
Suppose 2 + 2 = 2*q, 2*t = 4*q - 46. Let i = 548 - t. Does 7 divide i?
True
Suppose 4*m + 3*a - 1460 - 6167 = 0, 0 = m - 2*a - 1904. Is 20 a factor of m?
False
Suppose 7 = p, 5*q - 11*p - 104506 = -9*p. Is 104 a factor of q?
True
Suppose 4*y = -337*s + 334*s + 84741, -5*y - 3*s + 105924 = 0. Does 23 divide y?
True
Let m = -15129 + 19732. Is m a multiple of 115?
False
Suppose 838922 = 100*f - 663878. Is f a multiple of 34?
True
Let i = -143 + 236. Let r = 38 - i. Let z = -36 - r. Is z a multiple of 3?
False
Let c(i) = -2121*i - 1199. Does 76 divide c(-7)?
False
Let s = -1195 + 1995. Suppose 4*q + 4*k + s = 8*q, -2*k - 196 = -q. Does 12 divide q?
True
Suppose 3*t - 3220 = -0*t - f, -2*t + f + 2145 = 0. Is 29 a factor of t?
True
Suppose 2*p = -3*u + 6378 - 690, 4*p - 11370 = -5*u. Does 105 divide p?
True
Let k(g) = 19*g**2 - 20*g - 24. Let m(s) = 28*s**2 - 30*s - 36. Let y(z) = 8*k(z) - 5*m(z). Is 40 a factor of y(6)?
True
Suppose 3*k + l = 2*l + 145, 3*k = 3*l + 135. Let v = 59 - k. Is 21 a factor of v*(16 + (-12)/4)?
False
Let q(h) = -11*h - 16. Let t(l) = -l**2 + 14*l. Let p be t(15). Let b be q(p). Suppose 2*y + o = b, -y = -4*y - 2*o + 226. Is 24 a factor of y?
True
Let r(b) = 21*b - 32. Suppose -5*x + 4*n - 423 = 0, -n = 8*x - 11*x - 258. Let g = x + 90. Does 18 divide r(g)?
False
Suppose 3*q + 18 = -45. Let a be (q/2)/(33/(-220)). Does 17 divide (4 - a/15)*-36?
False
Suppose 24 = 7*s - s. Suppose n = -s*n + 1565. Suppose -2*c + 0*f - 4*f = -210, -4*f = 3*c - n. Does 23 divide c?
False
Suppose k = 2*c - 1079, -2*c = 5*k - 2*k + 3229. Let m = 679 + k. Let j = -212 - m. Does 31 divide j?
True
Suppose -7*w = 2*v - 2260, 4*v - 89*w - 4476 = -92*w. Is 6 a 