 + 7*f - 4. Let v = 152 + -136. Suppose -50 = -v*u + 6*u. Does 22 divide i(u)?
False
Suppose 2*m + 81 = 2*x - 1745, -2*x = 5*m - 1861. Does 18 divide x?
True
Let r be ((-42)/15)/((-6)/15). Let d(p) = p**3 - 3*p**2 + 11*p - 9. Does 33 divide d(r)?
True
Does 23 divide -26 + (-123950)/(-125) - (-2)/5?
True
Let l(a) = 2*a + 20. Let p be l(-8). Suppose 4*n - 36 = -2*d, 0*d - p*n = -5*d + 34. Is (200/14)/(d/35) a multiple of 10?
True
Let d(m) = 13*m**2 + m + 4. Suppose -3*v + 36 - 210 = 0. Let b = -56 - v. Does 10 divide d(b)?
False
Suppose 0 = -3*h + 17*h - 4494. Let x = h - -155. Is 17 a factor of x?
True
Suppose 0 = f - s + 133, 4*f - f + 394 = 2*s. Is (f/20 + 4)/(2/(-60)) a multiple of 16?
False
Let m(g) = g**3 - 5*g**2 - 10*g - 18. Let t(h) = -2*h**3 + 10*h**2 + 19*h + 38. Let k(d) = -5*m(d) - 2*t(d). Is k(6) a multiple of 10?
True
Let q(o) = 93*o**2 - 1371*o - 7. Is q(17) a multiple of 22?
False
Let h be 233/7 - (-6)/(-21). Let n = 578 - 555. Suppose -8*p + n = -h. Is p a multiple of 5?
False
Suppose -5*m + 2*l = -1466, 10*l - 5*l + 284 = m. Let d = 634 - m. Does 34 divide d?
True
Let x(w) = -21 + 15*w**2 - 23 + 54 + 3*w - 19. Suppose 0 = 2*f - 5*f - 12. Is x(f) a multiple of 20?
False
Let x(l) = -9*l**2 - l + 9. Let f be x(-2). Let g be 333/5 - 8/(-20). Let k = g + f. Is 14 a factor of k?
True
Suppose -2*d + 5*d = 3*m + 810, -2*d - 810 = 3*m. Let n = -66 - m. Does 34 divide n?
True
Suppose 20*k - 23*k = 447. Let o = -28 - k. Is o a multiple of 4?
False
Let i(g) = -5*g + 2 + 5 + 75*g**2 + 4*g - 9. Does 30 divide i(-2)?
True
Let j = 18682 + -15459. Is 14 a factor of j?
False
Suppose 525 + 15 = -5*m. Let l be (-8)/12 + (-9)/(m/224). Suppose 0 = -l*d + 17*d + 156. Is d a multiple of 52?
True
Let k be 80 - (-3 - (0 - 0)). Suppose -4 = k*i - 82*i. Is i + 1 - (-168)/(-1 - -4) a multiple of 10?
False
Suppose 41*u = 2*b + 38*u - 11204, -5*b - u = -28078. Does 41 divide b?
False
Suppose -5*l - 30 = 0, -105099 = -2*n - 4*l + 1277. Is n a multiple of 10?
True
Suppose 12 = 4*d, -p + 180 = 2*p - 2*d. Suppose -3*x + 9 = y, -2*x = y - 3*x - 5. Let q = p - y. Does 14 divide q?
True
Is (-1 - -7707)/((66/15 - 4)*5) a multiple of 3?
False
Let q be (-4)/(-2 + -2)*1. Does 34 divide (-21 + 18)/(q/(-170))?
True
Let w = -756 - -2678. Does 76 divide w?
False
Let j(n) = -n**2 - 6*n - 22. Let i be j(0). Let s(t) = -25*t + 161. Is s(i) a multiple of 13?
False
Let o(r) = r**3 + 40*r**2 + 63*r - 66. Is 35 a factor of o(-34)?
False
Let r = 67 + 247. Let j = 184 - r. Let a = -51 - j. Is 27 a factor of a?
False
Is ((-6)/135)/((-3)/(-15)) + 355606/153 a multiple of 14?
True
Suppose -6*x + 9*x - 163 = 5*o, 284 = 5*x + 4*o. Does 4 divide ((-2152)/64)/((-7)/x)?
False
Is 4 a factor of ((-135)/(-27) + -3 + 1136/(-10))*-30?
True
Let m(j) = 4*j**3 - 23*j**2 - 2*j - 21. Let g be m(10). Suppose -229*y + 232*y = g. Is y a multiple of 7?
True
Let i(u) = 10*u**3 - 149*u**2 - 19*u + 20. Is i(18) a multiple of 12?
False
Suppose -y = -195 + 49. Suppose -r - 5*l + 45 + y = 0, -r = -5*l - 191. Is r a multiple of 3?
False
Let w = 341 + -326. Does 9 divide (w + 7575/(-45))/((-2)/3)?
False
Let g(f) = 3*f**2 - 22*f + 54. Let i be g(22). Suppose -i = -6*v - 122. Does 50 divide v?
True
Let i = 21 + -49. Let h = i - -28. Is (63 + h)/((-2)/(-2)) a multiple of 7?
True
Let j = 2817 + -1288. Suppose -3*u = 12, 2*g - j = g - 3*u. Is g a multiple of 78?
False
Suppose -25*a + 15*a + 12*a - 8736 = 0. Does 4 divide a?
True
Suppose -7*d - 60081 = -49*d + 20307. Is d a multiple of 29?
True
Suppose 5 = -7*c + 75. Let u(t) = -t**2 + 10*t + 3. Let z be u(c). Does 30 divide z/(-6)*4 - -95?
False
Suppose -2*g + 5*w = -569, -2*w - 395 - 171 = -2*g. Suppose 0 = 3*c - g - 186. Suppose 0 = 2*d, -3*l = -6*l - 5*d + c. Is 26 a factor of l?
True
Let s be (-232404)/15 + -3 - (-6)/10. Let l be s/286 - ((-48)/22 - -2). Is 23 a factor of l/(-3 + (-93)/(-33))?
False
Suppose 0 = -46*a - 7*a + 998230 + 693265. Does 65 divide a?
True
Let v = -12115 - -12368. Is 11 a factor of v?
True
Let d(x) = 152*x - 287. Let z be d(2). Let p be 30/1*4/5. Suppose -2*a - p = -4*a + 4*y, z = 2*a + 3*y. Does 2 divide a?
True
Let y(g) = 7*g + 14. Let d be y(-2). Suppose d = -28*c + 32*c - 748. Suppose -52 + c = 5*f. Is f a multiple of 3?
True
Let q be (-1 - 1 - 2)*(24 + -25). Suppose -2*w + q = p - 3*w, p - 5*w = -4. Suppose -14*c + p*c + 2288 = 0. Is c a multiple of 13?
True
Let h(w) = -3*w**2 + 15*w + 4. Let a be h(5). Suppose -4*j - a*p + 2*p + 422 = 0, -107 = -j + p. Does 8 divide j?
False
Let u(j) = -j**3 - 2*j - 1. Let w(b) = -6*b**3 - b**2 + 6*b - 1. Let y(s) = 3*u(s) + w(s). Let o be 4/(-2)*(4 - 3). Is 27 a factor of y(o)?
False
Is (-1 - -3)/(-8 - 4 - (-137955)/11496) a multiple of 6?
False
Suppose -x - x = -114. Let m = 581 - x. Suppose 5*b + 5*h - 1052 = -417, -m = -4*b + 4*h. Is b a multiple of 14?
False
Let a(d) = d**3 - 7*d**2 - 19*d + 11. Let u be a(9). Let p be ((-1 + u)*1)/(4/12). Is 6 a factor of (p*-2)/(((-28)/(-8))/(-7))?
True
Let p(z) = z**3 - 6*z**2 + 2*z + 7. Suppose -5*b = 4*y - 5, -y - 4*y + 37 = -4*b. Let t(i) = -i**2 + 9*i - 14. Let o be t(y). Is 3 a factor of p(o)?
False
Suppose k + 68 = 70. Let u be (3 + (-51)/15)*-245. Is 13 a factor of -2 + 4 + k + u?
False
Let o = 173 - 87. Let v = -107 + o. Is 4 a factor of (-8)/(4 - v/(-5))?
True
Suppose 0 = -4*n + 8*n - 576. Let o = -9 + n. Suppose -114 = -3*h + 4*p - 2*p, -4*h + o = 3*p. Does 6 divide h?
True
Let u(x) = -8*x**3 + 26*x**2 + x - 3. Does 57 divide u(-3)?
False
Suppose -n - 5*c = -0*n - 5, 0 = 5*c. Suppose 2*h - 49 = -n*h. Suppose -11*f + 728 = -h*f. Is 12 a factor of f?
False
Suppose 2*g + 5*d = -0*d + 60, g + 3*d = 29. Suppose 2*h = 37 + g. Is 16 a factor of ((-8)/(-2))/(2/h)?
False
Suppose 0 = -2*n + 5*y - 19, 0 = -3*n - y + 19 - 5. Suppose n*f = -i + 420, -191 + 627 = i - f. Is 36 a factor of i?
True
Let x = 11 - 9. Suppose -277 = 5*h - f, -5*h + x*f - 268 = -2*f. Let l = -26 - h. Is 15 a factor of l?
True
Let d = -1008 + 1470. Suppose 9*u - 663 = d. Is u a multiple of 11?
False
Does 42 divide (4/(160/(-3576)))/((-4)/280)?
True
Let v be 0 + (48 + 2/(-1) - 1). Let g = v - 45. Suppose g = -4*t + 11 + 217. Is 19 a factor of t?
True
Let l(c) = 3*c**3 - 341*c**2 + 257*c - 442. Is l(113) a multiple of 3?
False
Let l be 815/7 + -4*(-7)/49. Suppose a = -80 + l. Is 7 a factor of a?
False
Does 4 divide 13/(39/6) - (-1437)/1?
False
Let w = 393 + -393. Suppose -4*t - 2849 = -3*q, w*t - 5*t + 5 = 0. Does 36 divide q?
False
Suppose 2*i - g = 2208, 2*i + i + 2*g = 3312. Suppose -u + i = u. Does 69 divide u?
True
Suppose 5*i - 825 = 300. Suppose -5*x = 5*n - 180, -4*x + n + i = 61. Suppose -5*t + 60 + x = 0. Is 5 a factor of t?
True
Let q(w) = -w**3 - 4*w**2 - 98*w - 87. Does 57 divide q(-18)?
True
Let d(p) = -p**3 - p**2 - 4. Suppose -2*h - b - 5 = 0, 4*b = 2*h - 0*h - 20. Let a be d(h). Does 13 divide -95*5/(-5) + a?
True
Does 64 divide 20611/3 - 59/177?
False
Suppose 3*p - 2 = 4. Suppose 528 = -10*g + 43*g. Let m = g + p. Is m a multiple of 7?
False
Does 4 divide (-10166)/(-5) - (135/50 + 91/(-26))?
False
Let i = 143 - -58. Suppose -4*a - k + 94 + 27 = 0, 3*a - 5*k - 62 = 0. Suppose i = 5*y - a. Is y a multiple of 9?
False
Let f(a) = 735*a + 2631. Is f(20) a multiple of 53?
True
Let a = 7381 + 5505. Is 17 a factor of a?
True
Suppose 2*g - 2236 = -5*n, -2*n + 7*n + 5*g - 2245 = 0. Suppose -2*a - n = -5*o, 0 = 4*o + 5*a - 141 - 229. Is o a multiple of 45?
True
Suppose 0 = -22*u + 76 - 10. Suppose u*k + 201 = 246. Is 3 a factor of k?
True
Let n = 3601 + -2140. Let h = -940 + n. Is h a multiple of 20?
False
Let m(w) = -11*w - 175. Let v be m(-15). Does 8 divide 564/14 + v/35?
True
Suppose -6 = -2*d + 2. Let v be (d + 340/(-8))/(2/(-4)). Let k = 64 + v. Is k a multiple of 47?
True
Suppose 5*v - 19925 = 17637 - 8202. Is v a multiple of 35?
False
Let a(n) = 74*n - 1716. Does 152 divide a(76)?
False
Let j(t) be the second derivative of -3*t**3/2 - 5*t**2 - t. Let i = 102 - 108. Does 7 divide j(i)?
False
Suppose 3*a - 34872 = -5*j - 564, -3*a = -5*j - 34278. Is 100 a factor of a?
False
Let r(w) = -17*w**2 - 20*w + 19. Let u(t) = 9*t**2 + 11*t - 10. Let y(p) = -6*r(p) - 11*u(p). Is 4 a factor of y(-8)?
True
Let i(h) = 2*h + 5. Let n be i(-12). Let o = n + 61. Suppose 2*b - 4*b = -o.