 Let t = u + y. Is t a multiple of 17?
True
Is 3 a factor of ((-131)/(-4))/((-114)/120 + 1)?
False
Let c(p) = -3*p**3 - 14*p**2 + 5*p + 13. Let q be c(-7). Let h = q - 139. Suppose -5*j = -h - 443. Is j a multiple of 13?
False
Let b(z) be the third derivative of z**5/60 + 7*z**4/12 + 8*z**3/3 - 2*z**2. Let d be b(-12). Let a(m) = -13*m - 12. Does 33 divide a(d)?
False
Suppose -5 = 5*a - n, a + 4*n = 6*a + 20. Suppose -z + 2*f + 25 = a, 5*f = 3*z - z - 53. Is z a multiple of 5?
False
Let f = 14167 + 10912. Is 21 a factor of f?
False
Let p be -7 - (-108815)/(-12 + 5). Is ((p/(-40))/9)/(6/105) a multiple of 13?
False
Suppose 4*p = 3*o + 14089, 33*p - 10563 = 30*p + 3*o. Is 17 a factor of p/11 + 114/(-209)?
False
Let y(n) = n**2 - 15*n + 11. Let x be y(14). Let f(p) = 18*p**2 - 2*p - 6. Let g be f(x). Suppose o - g = -2*o. Is o a multiple of 6?
True
Let m = 4245 + -2994. Is 40 a factor of m?
False
Suppose 4*h + 16410 = 2*s + 1322, 0 = -5*s - h + 37687. Is 150 a factor of s?
False
Let g(v) be the first derivative of 10*v**3/3 - 5*v**2/2 + 27*v + 33. Does 3 divide g(5)?
True
Suppose -4*b - 3 = 5*p, 2*b - p - 4 + 9 = 0. Let r(v) = -11*v + 46. Is r(b) even?
True
Let p(i) = -101*i - 626. Is 45 a factor of p(-10)?
False
Let b(d) = 10*d**2 - 108*d + 673. Is 33 a factor of b(62)?
False
Let o = 5920 + -3322. Suppose -5*l + 1557 + 1040 = -3*m, -5*l = -2*m - o. Suppose 0*i = -4*i + l. Is 26 a factor of i?
True
Is 70 a factor of 8953*(9 - 11)/(-2) - -7?
True
Suppose 0 = -z - s + 24084, 15*z - 11*z - s - 96351 = 0. Does 87 divide z?
False
Let l(k) be the second derivative of -k**5/20 + 2*k**4/3 - 2*k**3/3 - 5*k**2/2 - 13*k. Let n be l(6). Suppose n + 34 = s. Is 7 a factor of s?
True
Let a(h) = 4*h**2 + 38*h + 10. Let r(j) = 12*j**2 + 114*j + 30. Let f(q) = 8*a(q) - 3*r(q). Let d be f(-9). Let z(p) = 4*p**2 - 6*p + 9. Does 31 divide z(d)?
True
Let z = -784 + 1429. Suppose 0 = 4*r + 12, -b = 3*r - z - 321. Does 22 divide b?
False
Suppose -5*f = 4*g - 669, -2*f + 7*f - 2*g = 663. Let k be (-14)/f - (-14940)/57. Suppose 0 = 2*a - u - u - k, -a + 125 = u. Does 10 divide a?
False
Let l be 2/5 - 1186/(-10). Suppose -9*t = -14*t - 4*o - 44, -37 = 4*t + 5*o. Let k = t + l. Is k a multiple of 22?
False
Let i(a) = -4*a**2 - 3*a - 1. Let s be i(-2). Let x(k) be the second derivative of k**4/12 + 4*k**3/3 - 27*k**2/2 + 520*k + 1. Does 3 divide x(s)?
True
Suppose -2*f + 3*u = -3241 - 5269, 5*u = 2*f - 8518. Is f a multiple of 17?
False
Let m(j) = j**3 - 20*j**2 - j + 5. Let g(u) = -19*u + 1. Let f be g(-1). Let b be m(f). Does 13 divide 583/15 - 2/b?
True
Let m(n) = 40*n**2 - 51*n + 198. Does 144 divide m(18)?
True
Let q = -286 - -60. Suppose -1238 = -3*n + 5*x, -5*n + 38*x + 2046 = 34*x. Let j = n + q. Is j a multiple of 30?
True
Let v(a) = -521*a**3 - 14*a**2 - 57*a - 12. Is 45 a factor of v(-3)?
False
Suppose -m + 4*c + 454 = 0, -4*m - c - 2232 = -9*m. Suppose -m*h - 100 = -450*h. Is h even?
False
Let o be 2/((27 + -24)*(-2)/3699). Let h = -632 - o. Does 12 divide h?
False
Let p be (-16)/((-352)/55) + (-7)/2. Let w(q) = -q + 51. Let s be w(0). Let r = p + s. Is r a multiple of 7?
False
Let i = -1430 + 1771. Is 45 a factor of i?
False
Suppose -5*q = 5*l - 35810, 32*l + 14320 = 34*l + q. Is 3 a factor of l?
True
Suppose 0 = -3*o - t + 299 - 1694, 4*o + 4*t + 1852 = 0. Let c = o + 715. Is c a multiple of 35?
False
Let n be 29/3*(42 - -60). Suppose 3*j - n = -2*k, -21*j + 18*j - k = -982. Does 9 divide j?
False
Let j be 2418/3 - -1*3. Let a = 1697 - j. Suppose -4*w = 4*w - a. Does 16 divide w?
False
Suppose 5*n + 16 - 41 = 0, 4*p - 3*n = -7. Suppose r + 2712 = 3*v, 0*v + 3*v - p*r - 2715 = 0. Does 43 divide v?
True
Let b(n) = 6*n**2 + 71*n - 339. Does 264 divide b(-33)?
False
Let s = -10 - -24. Let t = s + -69. Does 17 divide 268*(t/(-10) - 5)?
False
Let o(j) = j**2 + 6*j + 17. Let t = -7 - -7. Suppose 5*m + 0*s + 2*s + 46 = t, -4*m = -3*s + 23. Does 8 divide o(m)?
False
Let c(r) = -2*r**3 - 3*r**2 + 8*r + 26. Let t be c(6). Let q = 724 + t. Is 43 a factor of q?
True
Let m(k) = k**2 - 13*k - 28. Let q be m(15). Suppose 465 = q*i + i. Is 8 a factor of i?
False
Suppose 0 = 143*x - 140*x + 9. Let d be (-200)/(-52) + x/(39/(-2)). Does 42 divide (d*42/60)/(1/120)?
True
Let g(u) = -u**3 + 71*u**2 + 311*u - 302. Does 128 divide g(70)?
True
Suppose 7*k - 16*k + 25 = -4*k. Is 2 a factor of k?
False
Suppose 58*d = -36*d + 11*d + 59013. Does 2 divide d?
False
Suppose -z + 120 = 4*z. Let k = -1945 - -1945. Suppose k = -0*n + n - z. Is 12 a factor of n?
True
Suppose 10*g - 693 = 17*g. Let f = g + 122. Does 7 divide f?
False
Let q(h) = 26 + 2*h + 7*h**2 - 60 + 26. Is q(-4) a multiple of 17?
False
Let n(s) = -10*s + 82. Let r(w) = 1. Let f(x) = n(x) + 2*r(x). Is f(-18) a multiple of 12?
True
Suppose -10*z - 244 = -11*z. Let n = z - 208. Is 16 a factor of n?
False
Suppose -12140 = -33*o + 14458. Is o a multiple of 174?
False
Let v(z) = 24*z - 48. Let r be v(6). Suppose d - r = -2*d. Is d a multiple of 4?
True
Let w(l) = 85*l**3 + 4*l - 3. Suppose 0 = -22*o + 17*o + 15. Let t be (-5)/(-4) + (o/(-12) - 0). Is w(t) a multiple of 43?
True
Suppose 33*r = 18*r + 21375. Suppose 48*i - 49*i = -r. Does 19 divide i?
True
Suppose 16*x + x - 32164 = 0. Does 86 divide x?
True
Let p(s) be the first derivative of -s**2/2 + 117*s - 134. Is 7 a factor of p(11)?
False
Let k = -8758 - -11471. Is k a multiple of 5?
False
Let x(n) = 48 - 144 + 15*n**2 - 65 - 16*n**2 - 42*n. Does 4 divide x(-37)?
True
Suppose 1 = 4*u - 7. Suppose -5*v + 3*q = -37, 26 = 5*v - u*q - 7. Suppose v*x - 13 - 22 = 0. Does 2 divide x?
False
Suppose 2*y = -25 + 47. Suppose 0 = 2*r + 4*u - 14 - 0, 5*r - 2*u = y. Suppose -2*t = -r*a - 3*t + 198, 0 = a - 3*t - 66. Is a a multiple of 6?
True
Let g(c) = -2*c**3 - 32*c**2 + 2*c + 76. Does 11 divide g(-21)?
True
Let l(g) = -4*g**3 - 7*g**2 + 10*g + 13. Let p be l(-6). Let c = -525 + p. Is c a multiple of 4?
True
Suppose d = -4*d - 35. Let n(v) = -18*v**2 - 2*v - 2. Let o be n(1). Let w = d - o. Does 15 divide w?
True
Let q(f) = 2*f**2 - 16*f - 4. Let z be q(7). Does 62 divide z/(360/5) - (-1330)/8?
False
Let p = -194 + 8133. Is 16 a factor of p?
False
Let o(k) = -2*k + 65. Let z(i) be the first derivative of 2*i**3/3 + 20*i - 29. Let b be z(0). Is o(b) a multiple of 13?
False
Let f(p) be the second derivative of p**5/20 + 3*p**4/2 + 31*p**3/6 + 4*p**2 + p - 11. Does 14 divide f(-10)?
False
Let b = 844 + -788. Does 6 divide 6/42 - (-2680)/b?
True
Let v(n) = 4*n - 2. Suppose r - l + 3 = -0*r, 4*r + 3*l = 16. Let p be v(r). Let b(t) = 13*t - 3. Is 6 a factor of b(p)?
False
Let f be (-24)/(-20)*(-2650)/(-15). Suppose -r + 86 = -2*x - f, 4*r = x + 1199. Does 25 divide r?
True
Suppose -3531 = -3*h - 6*q, -42*h + 2*q = -38*h - 4738. Is h a multiple of 13?
True
Let s be 2 - (-2 - (10 - -11)). Suppose 2*y - 13 - 32 = -5*z, -4*y = 2*z - 34. Let v = s - z. Is 18 a factor of v?
True
Suppose 0 = -6*h + 9 + 279. Let p = 82 - h. Is p a multiple of 4?
False
Let x(b) = 201*b - 72. Is x(6) a multiple of 14?
True
Let a(q) = -6116*q + 8800. Is 242 a factor of a(-6)?
True
Suppose 3*m - 4*m + 151 = 0. Let j = m - 168. Let y = 24 - j. Is y a multiple of 17?
False
Let k = -1968 + 3300. Suppose -13*y = -k - 956. Does 22 divide y?
True
Suppose 9900 - 2483 = 5*c + 4*v, -5*v - 4428 = -3*c. Is 22 a factor of c?
False
Let g(r) be the second derivative of 0 - 5/2*r**2 + 5/6*r**3 + r. Is g(21) a multiple of 11?
False
Let p(w) = -1092*w - 4279. Is 42 a factor of p(-11)?
False
Suppose 40*s + 26*s - 174044 = 64480. Is s a multiple of 79?
False
Let j(d) = -64*d + 1650. Is 86 a factor of j(-2)?
False
Let m(r) = -50*r + 122. Let v be m(-16). Let o = v + -456. Is o a multiple of 41?
False
Let t(s) = -s**2 + 17*s - 3. Let n be t(17). Let f be 1*(2/(-2)*n + -226). Let v = 366 + f. Does 11 divide v?
True
Suppose -12*p = 122 - 2570. Let f = p + -196. Is f a multiple of 3?
False
Let a(p) = 3*p**2 - 59*p - 838. Is a(-69) a multiple of 133?
False
Is -16 - (-2912 + (1 - -7)) a multiple of 4?
True
Let s(k) = 43*k**3 - 10*k**2 + 6*k - 6. Let o be s(2). Let r = o + -145. Does 24 divide r?
False
Suppose -16*m - 26*m = -126. Let g(k) = 3*k**3 + 5*k**2 - 4*k - 2. Let q be g(-5). Is 10 a factor of q*m/(-6)*1?
False
Let u be -2*(-5 + 2) - (5 -