f - 96, p*f + f - 72 = -3*a. Is 12 a factor of a?
True
Let a(f) = 35*f**3 + 2*f**2 + 4*f + 3. Let b be a(-1). Let h = b + 22. Is 36 a factor of (8/6)/(h/(-324))?
True
Does 6 divide (-5 - -22)*4*1?
False
Let a(q) = -q**3 + q**2 + 2. Let b be a(2). Let u(o) = 3*o + 5. Let y be u(b). Does 3 divide y/4 + 369/36?
False
Let y(l) = l - 10. Let g be y(8). Let h be 3*g*3/(-9). Suppose h*o = 96 - 14. Does 13 divide o?
False
Let l(w) = -w**2 - 6*w + 7. Let a be l(-8). Let v be ((-3)/a)/((-2)/(-162)). Let n = 43 + v. Is n a multiple of 20?
False
Let y(q) = 2*q**2 - 4*q - 8. Let h(s) = 2*s + 14. Let d be h(-9). Is y(d) a multiple of 7?
False
Suppose -15 = -z - 4*g, 2*z + 0*g - g = -6. Let m(k) = 3*k**2. Let f be m(1). Does 8 divide z/f - 75/(-9)?
True
Let m(q) = 2*q**2 + 6*q + 3. Let n be m(-3). Suppose 2*a - 29 = -g + 6*g, 4*a = -n*g + 123. Is 9 a factor of a?
True
Let r be (4/(-2))/((-8)/(-4) - 4). Is 47 + -15 - -4*r a multiple of 8?
False
Suppose 0 = -64*p + 72055 + 107657. Is p a multiple of 39?
True
Is 14 a factor of (217/(-124))/(4/(-256))?
True
Suppose -20 = -3*n - 5*f, 5*f + 8 = 4*n + 7*f. Suppose 15*t - 21*t + 462 = n. Does 11 divide t?
True
Let o(c) = 503*c**2 + c + 2. Let s be o(-1). Suppose 13*i = i + s. Is i a multiple of 14?
True
Let m be ((-4)/5)/(2/10). Suppose 34*t + 80 = -192. Is 15 a factor of 49 + (t - m)*1?
True
Let r be (-6)/(-9)*(-6)/(-2). Suppose -2*f + 19 = 3*n, n - f = f + 1. Suppose -n*h = -r*h - 126. Is 14 a factor of h?
True
Suppose -4*b + 2*b - 68 = 0. Let y = 51 + b. Does 3 divide y?
False
Let m = -557 + 221. Is 13 a factor of (2 + m/9)*-3?
False
Suppose 5*q - 4*y = -64, -q + y - 17 = -4*y. Let a(l) = 8*l**2 + 3*l - 4. Let g(i) = -i**3 - 4*i**2 + i + 1. Let t(h) = -a(h) + g(h). Is 29 a factor of t(q)?
True
Let o(q) = -2*q**2 + 4*q. Let a be o(3). Is a/6 + 11*2 a multiple of 8?
False
Suppose -40 = 4*n - o - 9, 2*n + o + 11 = 0. Let h(c) = -4*c - 17. Does 9 divide h(n)?
False
Let p = 441 + -285. Is 12 a factor of p?
True
Suppose -4*i + 11 = 5*w, 0*i - 4*i + 17 = -w. Is 12 a factor of 1/(2/i)*12?
True
Let g be 8 + (-2 + 3 - 2). Let o(u) = 2*u**3 - 14*u**2 - 13*u - 3. Let v(s) = s**3 - 7*s**2 - 7*s - 2. Let h(d) = -3*o(d) + 5*v(d). Is h(g) a multiple of 9?
True
Let g(m) = m**2 - m + 47. Let n be 1 - 4 - -1*3. Let o be g(n). Suppose -5*t - 12 = -o. Does 4 divide t?
False
Let k(a) be the third derivative of 5*a**4/6 + 11*a**3/2 - 5*a**2. Does 39 divide k(12)?
True
Is (55/33)/((-15)/(-38772)) a multiple of 21?
False
Let y(o) = o + 14. Let b be y(-10). Suppose 7 - 11 = b*h. Does 14 divide ((-49)/(-14))/(h/(-12))?
True
Let q(o) = -141*o + 35. Is q(-5) a multiple of 20?
True
Let i(t) = t**2 - 9*t - 7. Let h be i(12). Suppose -h = 3*s - 209. Is s a multiple of 14?
False
Is 44 a factor of -4*-22*(0 + 5 + 17)?
True
Suppose 0 = 4*g - 2*q - 2, 7*g = 3*g - 3*q - 3. Suppose -2*w + 4*n + 44 = -16, 5*w + 4*n - 220 = g. Is 13 a factor of w?
False
Let t = -30 - -33. Suppose 0 = -t*c + 101 + 7. Does 9 divide c?
True
Is (1/(-1))/(10/(-4100)*5) a multiple of 41?
True
Let i be (-1)/(28/30 + -1). Suppose 3*f = 4*o - 49, f = -o - f + i. Is o a multiple of 13?
True
Let j(b) = b**2 - 15*b - 1. Let f be j(13). Let h = f + 83. Let m = h - 6. Is 11 a factor of m?
False
Let k(x) = 32*x - 538. Does 3 divide k(17)?
True
Suppose l = -p - 11 - 21, 4*l = -5*p - 132. Is 5 a factor of (l/(-12) - -2)*3?
False
Let d(i) = 7*i - 1. Let g be d(1). Suppose 0 = c + 1 - g. Suppose c*z = -f + z + 18, 3*f = 2*z + 68. Does 18 divide f?
False
Let o(u) = -9*u + 3. Let v = 14 + -17. Let l(f) = f**3 + 3*f**2 - 4. Let w be l(v). Does 8 divide o(w)?
False
Let r = -552 + 965. Does 32 divide r?
False
Let o(w) = 4*w + 26. Let u be o(-6). Let l(j) = 9*j + 3. Is 19 a factor of l(u)?
False
Let s(y) = 66*y + 1. Let k be s(-2). Let m = k - -183. Let c = -36 + m. Is c a multiple of 7?
False
Let h(s) = 2*s**2 - 20*s - 285. Is h(-36) a multiple of 92?
False
Let x(q) = -2*q - 8. Let c be x(-6). Suppose -d + 24 = 4*y, -y - 11 = -c*y + d. Suppose 3*m - 96 = 2*m - 3*u, y*u = 0. Does 33 divide m?
False
Let r be 17572/60 - (-8)/60. Suppose 9*b - 67 = 8*b - 5*p, -4*b + 5*p = -r. Does 18 divide b?
True
Let h(y) = 31*y + 2 - 9 + 8. Let v be ((-2)/3)/(10/(-15)). Does 9 divide h(v)?
False
Suppose -8*y + 3*y + c = -657, c + 129 = y. Is 5 a factor of y?
False
Let l = 1685 + -1205. Is l a multiple of 3?
True
Let y be (-2)/6 + (-64)/(-12). Suppose 0 = -5*r + 5, -3*r - 18 = -y*x - 6*r. Let f = x + 45. Does 12 divide f?
True
Suppose 0 = -0*p + 3*p - 12. Let a(v) = p*v + 40*v - 8*v + 40*v. Does 19 divide a(1)?
True
Let u be 2*19*(-8)/(-1). Let v = u + -184. Is 19 a factor of v?
False
Suppose -8*f = -6*f - 10. Suppose f*r = -r + 522. Is 8 a factor of r?
False
Suppose -h - 4*h = 4*v - 585, -440 = -3*v - 4*h. Is v a multiple of 7?
True
Let v(k) be the first derivative of -k**4/4 + 4*k**3 - 5*k**2/2 + 5*k + 3. Let g be v(5). Suppose 120 + g = 5*t. Is 11 a factor of t?
True
Suppose 0 = -s + 3*s + 4, 4*s = 3*m - 182. Let c = m - -82. Is 24 a factor of c?
False
Let o = 56 - 121. Let c be -4*3/(-6) + o. Does 16 divide c/(-4) + (-10)/(-40)?
True
Let k(w) = 71*w - 61. Is k(2) a multiple of 9?
True
Let n(l) = -l + 7. Let w be n(6). Suppose -5*c + 9 = -w. Suppose c*y - 64 = -2*y. Does 7 divide y?
False
Let a(l) = -4*l - 20. Let k = 8 - 20. Is 14 a factor of a(k)?
True
Let q = -2103 - -2706. Is q a multiple of 7?
False
Let i(o) = -27*o**2 + 8*o + 21. Let j be i(-2). Suppose -4*n - 3*d = 18 + 180, -3*d + 6 = 0. Let u = n - j. Is 26 a factor of u?
True
Is ((-28)/56)/(2/(-1580)) a multiple of 27?
False
Suppose -3*n + 8*h + 2833 = 7*h, -5*n + 4715 = -5*h. Is n a multiple of 40?
False
Is 10 a factor of (-1*(-40)/12)/((-1)/(-75))?
True
Suppose 6*d = -0*d + 30. Suppose 5*r = -2*k + 98, 0*r = r - d*k - 25. Is 2 a factor of r?
True
Let a(o) = -o**3 - 6*o**2 - 2*o + 9. Let c(w) = -w**2 - 6*w - 5. Let h be c(-6). Let f be a(h). Let q = 45 + f. Is 12 a factor of q?
False
Let h = 14 - 6. Suppose k = -4 + h. Suppose -k*u = m - 167, -5*u - 119 = -5*m - 359. Is 14 a factor of u?
False
Suppose 2*f = 6*f + 4*j - 360, -2*j - 372 = -4*f. Does 51 divide f?
False
Suppose 0 = 5*i - 5*l + 945, -4*i + 5*i + 164 = -4*l. Let m = -79 - i. Does 19 divide m?
False
Let h = 291 - 53. Is h a multiple of 15?
False
Suppose -m - 3*m = 0. Does 13 divide (-2)/(-2) + (60 - m/(-3))?
False
Let s = -17 - -25. Let p = 12 - s. Is 2 a factor of p?
True
Suppose 0 = h + 3*k - 5, -5*h + 0*h + 3*k + 7 = 0. Let q be 30/h*48/18. Suppose 6*i - q = 32. Is 3 a factor of i?
True
Suppose 4*v + 4*q - 2*q = 212, 3*v - 3*q - 159 = 0. Suppose 0 = 2*g + v - 351. Is 34 a factor of g?
False
Let j(d) be the second derivative of d**4/8 + 71*d**3/6 - 4*d**2 - 7*d. Let m(l) be the first derivative of j(l). Does 16 divide m(0)?
False
Let t(b) = b + 24. Let r be t(-15). Let d = 55 + r. Does 32 divide d?
True
Let y(x) = -63*x + 4. Is 16 a factor of y(-4)?
True
Is 6 - -21 - (2 + -10) even?
False
Let g = 20 + -18. Suppose -4*f + g*f = -2*h + 28, 0 = 2*h + f - 16. Does 2 divide h?
True
Let a = -84 - -420. Is a a multiple of 28?
True
Let t be (-6)/(-4)*80/(-6). Suppose 5*z + d = -388, 0*z + 311 = -4*z - d. Let h = t - z. Is h a multiple of 19?
True
Let u = 326 + 163. Is 27 a factor of u?
False
Let c = -164 - -244. Is c/(-6)*(-3 - 0) a multiple of 20?
True
Let k be 134/8 + 2/8. Suppose -24 = -4*q - 4*s, q = s - 6 + 4. Suppose -2 = q*n, -2*j - 5*n + 10 = -k. Is j a multiple of 16?
True
Suppose -1557 - 787 = -8*u. Suppose 5*s + 571 = 4*m, 3*s = -2*m - 2*s + u. Is m a multiple of 36?
True
Let p be 1 + -2 + 1 + 10. Let i(h) = -h**3 + 12*h**2 - 14*h. Let g be i(p). Suppose -g = k - 6*k. Does 9 divide k?
False
Suppose -3*x = x - 16. Is 11 a factor of (-1 - 0) + (-128)/((-16)/x)?
False
Let j(r) = -59*r - 38. Let h be (-9)/2 + (-14)/(-28). Is j(h) a multiple of 22?
True
Let t(v) = 16*v**3 - 4*v**2 + 7*v - 5. Let r be t(2). Let l = -84 + r. Does 5 divide l?
False
Let b = -200 - -284. Does 14 divide b?
True
Let n be 1 + -28*(-2)/4. Let s = 21 + n. Is 12 a factor of s?
True
Suppose 4*x + 0*a - 52 = a, 56 = 4*x - 2*a. Let r = x - 10. Suppose 3*y + r*o = 97, 3*o - 76 = -3*y + 23. Is y a multiple of 10?
False
Suppose c + 0*r - 5*r = -42, 0 = 3*c - 3*r + 90. Let s be (-254)/(-6) + 9/c. Let x = s + 12. Is x