 j a multiple of 7?
False
Let l be 4/7*(-91)/(-26). Suppose -l*p + 5*q + 84 = q, -3*p + 91 = q. Is p a multiple of 16?
True
Let k(l) = -13*l - 7. Let x be k(-2). Suppose 0 = 5*h + 5*z - 5, 5*z = 3*h - 36 + 9. Let j = x + h. Is j a multiple of 14?
False
Let h(j) = 26*j**2 - 6*j + 4. Does 24 divide h(5)?
True
Let c(b) be the first derivative of 25*b**2/2 + 6*b - 14. Is 12 a factor of c(6)?
True
Let k be (-321)/12 + (-3)/12. Let r = -13 - k. Is 17 a factor of (-12)/42 + 1180/r?
False
Suppose j - 2*j = 2. Let l(g) be the first derivative of -5*g**2/2 + 4*g + 19. Is l(j) a multiple of 9?
False
Let y(a) = 2*a**2 - a - 4. Let d be y(2). Let o(p) = 14*p - 4. Is o(d) a multiple of 24?
True
Suppose 79447 - 9388 = 33*v. Does 11 divide v?
True
Let a(b) = -114*b - 2. Is 42 a factor of a(-2)?
False
Suppose 5*m - 6 - 9 = 0. Suppose -4*p = 4*i - 5*i - 70, -m*p - 140 = 2*i. Is i/(-4) - (-6)/12 a multiple of 6?
True
Suppose -10 = -y - y. Suppose u = l - u - 88, 4*l - 327 = 3*u. Suppose -y*a - l = -6*a. Is a a multiple of 26?
True
Suppose 399 = 4*f - 3*o, 2*o - 434 - 82 = -5*f. Does 3 divide f?
True
Let u(d) be the second derivative of -d**7/60 - d**6/360 + d**4/24 + d**3/2 + 4*d. Let m(f) be the second derivative of u(f). Is 14 a factor of m(-1)?
True
Is (93/(-12))/((-1)/12) a multiple of 10?
False
Suppose 4*k - 25 = p, -2*p = -k + 2*p + 25. Suppose -k*l - 2*a = -115 - 81, -l - 4*a = -32. Is l a multiple of 11?
False
Does 61 divide (-326)/(2 + -1)*8/(-16)?
False
Let t = -20 - -27. Let v(g) = g**2 - 3*g + 18. Is 3 a factor of v(t)?
False
Suppose -2*z + 6 = 5*l - 0*l, -9 = -3*z - l. Suppose -2*p + z*q - 8 = 25, 0 = -4*q - 20. Let y = p - -33. Is 9 a factor of y?
True
Let j(r) = 10*r**2 - 3*r + 3. Let k be j(-3). Suppose 2*d = 4*m - k, -4*d - 26 = -3*m + 58. Is 2 a factor of (-27)/(-4) + 6/m?
False
Let p be 3/3*3/((-9)/(-57)). Suppose 0 = 5*l - 6*l + p. Does 2 divide l?
False
Suppose 6*y = -3*w + 5154, -2*y - 5194 = -0*w - 3*w. Is 48 a factor of w?
True
Let u(s) = 10*s - 36. Let c be u(-16). Let n = -136 - c. Does 20 divide n?
True
Suppose 2*s + 217 = 2*h - 561, 0 = h + 4*s - 414. Is 6 a factor of h?
False
Let s(k) = -59*k**3 - 2*k - 1. Is s(-1) a multiple of 7?
False
Suppose 3*k - 2*h = 88, k + h + 0*h - 21 = 0. Suppose -7*r + 3*r - k = -5*d, 0 = 2*r - 2*d + 14. Does 13 divide (46/(-10))/(r/45)?
False
Suppose -13*s = -15*s + 6. Let i(m) = 5*m**2 - 2*m + 5. Is i(s) a multiple of 11?
True
Suppose -55*b = -67*b + 27984. Does 22 divide b?
True
Suppose -3*i + 4*w + 612 = w, i + 5*w - 204 = 0. Is 17 a factor of i?
True
Let p(x) = -45*x**3 + x**2 + 2*x + 1. Let s be 30/21*7/2. Let j = s - 6. Is 15 a factor of p(j)?
True
Let q = -158 + 858. Is 14 a factor of q?
True
Suppose 3*d - 7*d = 0. Suppose 3*y = -3*t + 327, d = -7*y + 3*y + 4*t + 476. Does 19 divide y?
True
Suppose 4*y - 3 = -19, 2*k = 4*y + 12. Let l be 2/8 - 111/(-4). Let g = k + l. Does 15 divide g?
False
Let q = -392 + 908. Does 12 divide q?
True
Let y = 35 - 20. Suppose 4*k = -5*c - y, 0*c + 4*c = 2*k + 14. Is (-6)/(c/(57/(-6))) a multiple of 13?
False
Let h(q) be the third derivative of -q**6/120 + 7*q**4/24 - q**3 - 2*q**2. Let a be h(-6). Suppose 8*z - 4*z - a = 0. Is 7 a factor of z?
True
Let x(y) = 10*y**3 + 3*y**2 + y - 2. Let o be x(-2). Let m = 74 + -114. Let f = m - o. Does 16 divide f?
True
Let r = 28 - 28. Let b(k) = -k**3 + k**2 + 6. Is 5 a factor of b(r)?
False
Suppose -1731*q + 1735*q - 2804 = 0. Is 16 a factor of q?
False
Let t(r) = 2*r**2 - 9*r + 13. Let g be t(6). Suppose -49 = -3*k + 5*l, 4*k + 4*l = k + g. Does 13 divide k?
True
Suppose 3*f - 796 = 164. Is 32 a factor of f?
True
Let a = 2 + -2. Suppose -3*k + a = 2*u - 37, 0 = -u - k + 16. Let b = 42 - u. Is 11 a factor of b?
False
Let n(t) = t - 7. Let r be n(7). Let w(u) = -u - 99. Let k be w(r). Let h = -58 - k. Does 12 divide h?
False
Suppose -34590 = -37*i + 27*i. Does 28 divide i?
False
Let w = 3427 + -895. Is 8 a factor of w?
False
Suppose -3*w - 2*o = -4951, 0 = -98*o + 97*o - 1. Is 22 a factor of w?
False
Let n(t) be the second derivative of t**5/10 - 13*t**4/12 - t**3 + 9*t**2/2 + 23*t. Is 33 a factor of n(8)?
False
Let w(u) = -u**3 - 13*u**2 - 3*u - 27. Let m be w(-13). Suppose 10*z = 14*z - m. Does 3 divide z?
True
Suppose -3*f - 975 = -8*f - 3*c, f + 5*c - 217 = 0. Let i = 9 + -4. Suppose -4*s - i*u = -f, 0*u = 3*s - 2*u - 121. Does 27 divide s?
False
Let i(k) = 4*k**3 + 8*k**2 + k + 1. Let z(o) = o**3 + o**2 - 1. Let a(j) = -i(j) + 3*z(j). Is 11 a factor of a(-6)?
False
Let o(a) = a**3 + 3*a**2 - 7*a - 9. Let i be o(-4). Suppose 3*m + i*c - 109 = 4*c, -2 = 2*c. Is m a multiple of 12?
True
Let m be (18/15)/((-6)/180). Suppose -8*o + 4*o = 128. Let z = o - m. Is z a multiple of 2?
True
Let r = 440 - 300. Is r a multiple of 28?
True
Let c be (-1)/(((-340)/(-116) - 3)/(-6)). Let s = 57 - c. Does 12 divide s?
True
Let p = -5043 + 7768. Is 24 a factor of p?
False
Does 49 divide (-16 - -9)/((2/21)/(-2))?
True
Is 4 a factor of (-179)/(1*(-7)/14*1)?
False
Let x = -54 + 91. Suppose 2*g - 11 = -2*p + x, 4 = g. Is 10 a factor of p?
True
Suppose 2*d + d - 536 = -k, -k = -d - 540. Suppose 12*c = c + k. Is c a multiple of 20?
False
Let i = 996 - 579. Suppose 3*n - 315 = 3*m, -7*n + 3*n + m = -i. Is 26 a factor of n?
True
Suppose -j + 452 = 3*w - 6*j, -3*j = 3. Is 10 a factor of w?
False
Let m(k) = -k**3 - 5*k**2 - 2*k + 5. Let d be m(-5). Suppose 4*l = -d + 19. Does 9 divide l - -2 - (-702)/9?
True
Let c = -147 + 191. Is 4 a factor of c?
True
Does 13 divide 1411 - (2 - 82)/(-10)?
False
Suppose -3*h + 517 = -w + 12, 0 = -3*h + 2*w + 506. Let t = 368 - h. Does 53 divide t?
False
Let h = 76 - 41. Suppose -5*f = -5*g + 15, -5 = -2*g - 5*f + 8. Suppose -37 = -g*z + h. Is 9 a factor of z?
True
Let h = -12 + 16. Let p be h/18 + (-25)/(-9). Suppose 8*j - 103 = p*j + 3*x, -4*j = -2*x - 84. Is 23 a factor of j?
True
Is 29 a factor of -4 + 91 - (-14)/(-2)?
False
Let t = -194 + 234. Is t a multiple of 4?
True
Let l(i) = -i**3 + 7*i**2 - 7*i + 10. Let y be l(6). Suppose -o + y*t = -18, 2*o + 17 = -3*t + 86. Does 22 divide o?
False
Suppose -1820*q = -1819*q - 1219. Is q a multiple of 29?
False
Suppose -3*o + 325 = 4*a, 0 = 3*o - a - 228 - 107. Does 37 divide o?
True
Let f = -6 + 13. Let m = f - -14. Let t = 53 + m. Is 22 a factor of t?
False
Let w = 1 - -11. Let c = -17 + w. Let f = c - -9. Does 4 divide f?
True
Let g be 2/7 - (-25848)/84. Suppose 4*t - 2*c - 88 = g, -3*c = 6. Does 14 divide t?
True
Suppose -2*j = -2*d - d - 1491, -5*j + 2*d + 3722 = 0. Is j a multiple of 8?
True
Let x = 1 + 1. Let n(r) = -x*r**3 - 3*r - 4*r**2 + 0*r**2 + 4 - r**2. Is n(-3) a multiple of 7?
False
Let d(l) = -10*l**2 - 3*l + 4. Let n(k) = 40*k**2 + 12*k - 17. Let b(m) = -9*d(m) - 2*n(m). Suppose 4*j - 9*j + 5 = 0. Does 11 divide b(j)?
True
Is 169 a factor of (-3)/6 + -2*(-18254)/8?
True
Does 20 divide -2 - (-6 + 0 + (-3 - 313))?
True
Suppose -5*w + 4*u = -29, w + u - 29 = -4*u. Suppose j + w = 8. Let z = j + 10. Does 7 divide z?
False
Let l = -85 + 159. Let m = 2 + l. Is 4 a factor of m?
True
Let g = -3 + 8. Let j(h) = h**3 - 4*h**2 - 7*h + 4. Let o be j(g). Is o*-3*6/27 a multiple of 3?
False
Let u = 18 - 24. Let m be (3/u)/(2/(-52)). Let d = 19 - m. Does 2 divide d?
True
Suppose 4 - 1 = c, 2*w = -4*c + 44. Let v = 10 + w. Does 13 divide v?
True
Suppose -k + 0 = -v + 22, -2*k = 2*v - 56. Does 9 divide v?
False
Let a = 102 - -2. Let i be (14/(-3))/((-2)/3). Suppose i*h - 3*h - a = 0. Is h a multiple of 7?
False
Let m(o) = 32 - 68*o - 10*o - 42 - 11*o. Does 24 divide m(-2)?
True
Is 34 a factor of 20169/75 + 2/25?
False
Suppose 5*z + 333 + 772 = 0. Let h = -4 - z. Is h a multiple of 49?
False
Let a(g) = -g**2 + 12*g - 33. Let i be a(6). Is 7 a factor of ((-6)/(-9))/(i*(-1)/(-126))?
True
Is 7 a factor of (3 - 19315/(-25))/((-18)/(-45))?
True
Let y(j) = 110*j**2 - 29*j - 5. Is 20 a factor of y(5)?
True
Let p(t) = -2*t**3 - t - 1. Let q(u) = u + 5. Let s be q(-6). Let l be p(s). Suppose -3*a = -4*w + 3 + 8, -l*a + 2*w - 4 = 0. Is a a multiple of 3?
True
Let o(u) = u**3 - 13*u**2 + 12*u + 31. Is 10 a factor of o(13)?
False
Suppose -4*m = -27 + 11. Suppose 6*n + 228 = m*n. Is 2 a factor of n/(-18) + (-3)/9?
True
Suppose 21*i - 2488 = 1502. Is i a multiple of 13?
False
Suppos