 factor of 7*(-7 - -12)/(p + 2)?
False
Let z be 0 + (-1)/(-2)*0. Let y = -178 + 196. Suppose 3*p + 2 - y = -4*g, z = p. Is g a multiple of 2?
True
Let j(m) = -52*m - 17. Let b be j(-7). Suppose 0*n + n + b = 5*g, 5*g + 2*n = 341. Does 17 divide g?
False
Suppose 14 = -5*n + 2*u + 234, 2*u - 194 = -4*n. Let o = n + -2. Is 4 a factor of o?
True
Suppose -6*w + 2*w - 4*o + 380 = 0, -3*w - 4*o = -287. Does 16 divide w?
False
Let k(y) = -y**3 + 9*y**2 + 12*y - 21. Let i be k(9). Suppose 36 = 3*f - i. Is 2 a factor of f?
False
Is (79/(-3))/((-12)/180) a multiple of 15?
False
Let f(i) = -i**3 + 21*i**2 + 45*i - 161. Is f(20) a multiple of 67?
True
Let d(g) = g**3 + 12*g**2 + 26*g - 1. Let y be d(-9). Suppose 4*l - y*l + 207 = 5*n, l - 2*n = 55. Is 13 a factor of l?
False
Let x = -1082 - -1115. Is 2 a factor of x?
False
Suppose -7*g = -4*v - 10*g + 1292, 5*v = 3*g + 1588. Is v a multiple of 5?
True
Let x(z) = -z**3 + 41*z**2 + 55*z + 12. Is x(42) a multiple of 6?
True
Suppose 3 = -3*b - 3. Let w = b - -7. Suppose 4*i - 182 = 3*a, w*a = -1 - 9. Is i a multiple of 21?
False
Suppose -2*x - 2 + 20 = 0. Suppose -2*f = a - x, -a = -0*a + 5*f - 12. Is 2 a factor of a?
False
Suppose -4*x - 2*x = -2022. Suppose 0 = 7*f - x + 85. Is f a multiple of 9?
True
Let l = -337 + 99. Let k = -34 - l. Is k a multiple of 34?
True
Let i(l) = 259*l + 15. Is i(1) a multiple of 12?
False
Suppose 3*a + 4*x - 4 = 5*a, 0 = -5*a + x + 35. Is 10/a + -1 + 6147/36 a multiple of 20?
False
Let k(x) = -61*x + 64. Let q(l) be the second derivative of 2*l**3 - 13*l**2/2 - 2*l. Let z(b) = 2*k(b) + 11*q(b). Is z(9) a multiple of 24?
False
Let q be (10 - 14)/(1 - 3). Suppose -q*k - 660 = 5*z, 4*z + 0*z = 2*k - 528. Is 33 a factor of ((-3)/2)/(2/z)?
True
Suppose -7*g = -10*g + 390. Does 9 divide g?
False
Let m be 112/(-48)*-1*21*1. Let n = m - 17. Is 8 a factor of n?
True
Let v be (322/21)/(1/3). Suppose -2*g + 66 + v = 0. Is 28 a factor of g?
True
Suppose 3 + 3 = -3*p. Let t be ((-15)/(-6))/((-1)/p). Suppose 2*m - 2*v + 28 = t*m, 2*m + 2*v - 20 = 0. Is m a multiple of 5?
False
Suppose -2*u - 47 - 40 = -3*n, 67 = -2*u - n. Let p = 61 + u. Does 4 divide p?
False
Suppose 0 = 7*x - 3*x - n - 22, -2*x + 3*n + 6 = 0. Let o(l) be the first derivative of 5*l**2/2 - 3*l + 1. Does 9 divide o(x)?
True
Is ((-3141)/9)/(4/(-8)) a multiple of 22?
False
Let j = 4991 - 1869. Is 74 a factor of j?
False
Let u = 8 + -18. Is 2 a factor of 9/6 - 25/u?
True
Let p(n) = -n**3 + 0 - 6*n + 13*n**2 - 3*n**3 + 5*n**3 - 5. Let f be p(-13). Let k = f + -47. Is 26 a factor of k?
True
Let r = -14 - -22. Does 4 divide r?
True
Let l be (-27)/(1*1/(-3)). Suppose 3 = 3*b - t - 118, 5*t + 20 = 0. Let y = l - b. Is y a multiple of 17?
False
Let v be 5/((-5)/(-10) - (-1)/2). Suppose -4*j = -n + 4*n - 48, -v*n + 5*j = -45. Is n a multiple of 3?
True
Suppose 0 = 3*t - 5 - 37. Suppose -13*k - 43 = -t*k. Does 15 divide k?
False
Let f = -89 + 106. Let m(x) = 3*x - 13. Does 5 divide m(f)?
False
Let y(h) = 2*h + 40. Does 19 divide y(7)?
False
Let a(s) = -s**2 + 14*s - 17. Let o be a(14). Let h = 45 + o. Does 7 divide h?
True
Suppose -36*k = -3574 - 12158. Does 24 divide k?
False
Let n(c) = -11*c - 28. Let q be n(-8). Suppose 99 = 63*r - q*r. Does 7 divide r?
False
Let z(c) = -362*c - 218. Is 17 a factor of z(-13)?
True
Suppose 4*r + 3*s + 121 = 0, 3*r + 0*s - s = -94. Let d = -10 - -45. Let w = r + d. Is w a multiple of 2?
True
Let j be (-64)/24*(5 + -2). Let r(k) = k**3 + 7*k**2 - 15*k + 20. Does 16 divide r(j)?
False
Let x(s) be the first derivative of 2*s**3/3 + 2*s**2 + 2*s - 4. Let i be x(-2). Is 23 a factor of i/(-10) + (-2076)/(-30)?
True
Suppose 7*f - 1 = 6*f. Is (f - (-12)/(-4)) + 104 a multiple of 17?
True
Let g = 10 - 7. Suppose -g*i + 23 = 17. Is 18 a factor of (2/(-8))/(i/(-424))?
False
Let l = 1141 - 241. Is l a multiple of 36?
True
Let l(p) = 5*p**2 - p - 1. Let q be l(-1). Let k(y) = y**3 - 3*y**2 - 9*y + 8. Does 13 divide k(q)?
True
Suppose 5 = -5*f, 2*f - f - 5 = -3*x. Let j(h) = -5 - h**2 + 0*h**x + 7 + 3 - 8*h. Does 12 divide j(-7)?
True
Let s(w) = -2*w**2 - 25*w + 9. Let x be 102/(-10) + (-104)/130. Is s(x) a multiple of 14?
True
Suppose 230*y - 236*y + 1344 = 0. Is 7 a factor of y?
True
Let o be 3/((-54)/(-96)) - (-2)/(-6). Suppose 0 = 3*y - y + 4. Let c = o + y. Is c a multiple of 2?
False
Suppose 2 = 2*g + 4*a, -3*g - a + 2 = -6. Suppose -385 = -g*p - 4*v - 63, 0 = 4*p - v - 423. Does 14 divide p?
False
Let r(g) = g**2 - 5*g - 6. Let l(t) = -2*t - 15. Let b(j) = 4*j - 4. Let k be b(-2). Let i be l(k). Is 10 a factor of r(i)?
True
Let g = 690 - 478. Does 10 divide g?
False
Let m = -115 + 465. Suppose 4*n - m = -l, 4*l + 116 - 460 = -4*n. Suppose -5*x + n = -x. Is 6 a factor of x?
False
Let t(o) = -o**2 + 13*o - 18. Let d be t(11). Is 54/12 + -5 - (-1174)/d a multiple of 44?
False
Let k(q) = q**3 + 19*q**2 + 14*q + 234. Does 44 divide k(-15)?
True
Suppose f = -4*f + 4*k + 1975, 2015 = 5*f + 4*k. Suppose -2*g + 3*g + 79 = u, f = 5*u - g. Does 14 divide u?
False
Suppose -3*w + 1330 = 2*c - 471, 0 = -c - 2*w + 900. Does 3 divide c?
False
Suppose 2*p - 3*u = 4930 - 350, p - 2308 = -3*u. Is p a multiple of 28?
True
Let u = 9 - 5. Let p(l) = 6*l - 8. Let j be p(u). Suppose 4*y + 2*h - 152 = -j, -3*y + 88 = 5*h. Is 12 a factor of y?
True
Let k be 1 + 3/((-3)/11). Let w be 84/k*10/3. Does 16 divide (-2)/(-2) - -3 - w?
True
Let b = -161 - -227. Let y = 122 - b. Is 16 a factor of y?
False
Let s(x) = -2*x**3 + 3*x**2 - 3*x + 16. Is s(-6) a multiple of 14?
True
Let z = 22 + -22. Suppose z = -3*m + 6 + 3. Suppose 4*l - 4*k = 372, -m*l - 3*k = -k - 264. Is 30 a factor of l?
True
Suppose 4*g = -2*y, 1 = 2*g - 3*y - 7. Let z(i) = 3*i + i**2 - g - i - 7 - 4*i. Is 7 a factor of z(5)?
True
Suppose -5*v - 6*v + 7920 = 0. Does 72 divide v?
True
Let x = 92 + 42. Let y = x - 34. Is 16 a factor of y?
False
Suppose 0 = -2*o + w + 979, -o - 14*w + 16*w = -482. Does 12 divide o?
True
Suppose -5*t + 1643 = 673. Is t a multiple of 14?
False
Let w be -1 + 20/15*3. Suppose 4*t + 3*c = -7 + 217, -w*c + 57 = t. Does 3 divide t?
True
Is 4 a factor of 4/3*5076/24?
False
Let j(f) be the second derivative of -f**4/12 + 8*f**3/3 + 15*f**2/2 + 39*f. Is 5 a factor of j(16)?
True
Let x = -5 + 9. Suppose -3*l + 87 = x*y - 285, 0 = 4*l - 16. Is y a multiple of 19?
False
Let q(g) = g**3 + 5*g**2 + g + 115. Is 115 a factor of q(0)?
True
Let d = 1382 - 648. Is d a multiple of 9?
False
Suppose -4*m + 3*w = -3790, -2*m - 3*w - 1892 = -4*m. Is 13 a factor of m?
True
Suppose -162 = -2*t + 22. Let q = -52 + t. Is 4 a factor of q?
True
Suppose 0 = -8*p + 6977 + 2103. Does 47 divide p?
False
Let b = 941 + 275. Is b a multiple of 152?
True
Suppose 17*n + 2423 - 32768 = 0. Is n a multiple of 51?
True
Is 342/12*(-882)/(-27) a multiple of 17?
False
Let m(u) = -u**3 + u**2 + 3*u + 6. Let r be m(0). Suppose 0 = -2*i - 5*b + 229, r*i = i + 2*b + 500. Does 11 divide i?
False
Let b(l) = -l**3 + 10*l**2 - 11*l + 13. Let v be b(9). Let f be (-1 - 1)*v + -1. Suppose d - f = 9. Is 6 a factor of d?
True
Let j be 36/(-3 - -1)*3/(-2). Suppose 3*i + j = 5*b - 21, -5*i + 20 = 0. Is 2 a factor of b?
True
Let n be ((-38)/4 - 1)*-2. Suppose -4*g + 51 = -7*g. Let c = g + n. Does 4 divide c?
True
Suppose -3*f - 4*m = 19 - 425, 5*m = -25. Is f a multiple of 22?
False
Does 10 divide (8 - (-3425)/(-15))*18/(-2)?
False
Let j(l) = 8*l**3 - 4*l + 1. Is 31 a factor of j(3)?
False
Let h(g) = 12*g**2 - 11*g - 42. Does 24 divide h(8)?
False
Let d = 8 + -4. Let b be (4 - -150 - -3) + 3. Suppose 0*a - b = -d*a. Is a a multiple of 10?
True
Let k(b) = -b**3 - 36*b**2 + 24*b - 24. Is k(-37) a multiple of 27?
False
Suppose 2*y + 4*p = 1672, 3328 = 4*y - 2*p + 6*p. Is 36 a factor of y?
True
Suppose 35*m = 40*m - 2*j - 4204, m = -4*j + 854. Is m a multiple of 37?
False
Suppose 57941 = 22*s + 21905. Is 14 a factor of s?
True
Let d be (2 - 9/(36/(-16))) + 3. Suppose -d*v + 243 + 90 = 0. Does 10 divide v?
False
Let l(s) be the third derivative of s**6/40 - 7*s**5/60 - 7*s**4/24 - 6*s**2. Let a(q) be the second derivative of l(q). Is 19 a factor of a(6)?
False
Suppose 3*r = 1 - 4, -r = -3*k + 7. Suppose 3*j + k*j = 2180. Is 13 a factor of 2/11 - j/(-22)?
False
Let p(d) be the third derivative of d**6/360 - d