multiple of 12?
False
Let j(c) = 8*c**2 - 718*c - 28. Is j(-14) a multiple of 31?
False
Let x(h) = h**3 + 2*h**2 - 3*h - 6. Let n be x(-2). Suppose -5*i + k = -59, -i + 3*i - 4*k - 38 = n. Is 11 a factor of i?
True
Let t = 13442 + -8893. Is t even?
False
Let f(o) = 15*o**2 - 121*o + 87. Does 56 divide f(18)?
False
Let i(m) = m**2 + m. Let x = 60 + 15. Suppose x*o - 8 = 74*o. Is i(o) a multiple of 20?
False
Let v be ((-24)/9)/(-4) - 166/(-3). Let k = v - 52. Suppose 2*x + k*h - 30 = -8, 5*x = 2*h + 103. Is 8 a factor of x?
False
Let h(g) = -61*g - 52. Let a be h(-8). Suppose 0 = 22*u - 20*u - a. Is u a multiple of 9?
False
Let i = 638 + -635. Suppose -5*y + i*y + 3924 = 4*s, 0 = 3*y + 6. Does 24 divide s?
False
Suppose 240 = 9*m - 111. Suppose -n + 174 = 4*c, -5*c - 449 - m = -3*n. Let l = -64 + n. Does 17 divide l?
True
Let f be 62/(-3 + 15/6). Let y(u) = 33*u**2 - 9*u + 19. Let c be y(2). Let p = f + c. Is p a multiple of 2?
False
Let w(v) = -v**3 + v**2 + 52. Let i(j) = j**3 - 11*j**2 + 11*j - 10. Let k be i(10). Let n be w(k). Suppose -3*h + 119 = -n. Is h a multiple of 40?
False
Suppose -5*a - 10*d + 15730 = -6*d, 3*d = -a + 3157. Is 24 a factor of a?
False
Let t(b) = 2*b**2 + b - 1836. Is t(54) a multiple of 9?
True
Let o be (-3)/(-4) - 60/16. Let s be -1*o/9*-15. Let x(w) = w + 17. Is x(s) a multiple of 12?
True
Let r be (-35398)/(-176) - (-1)/(-8). Let c = -5 + 7. Suppose 3*a + 189 = c*d, 2*d + a - r = -0*a. Does 7 divide d?
False
Let l = 47 - 40. Suppose 0 = l*n - 92 - 118. Let o = 77 - n. Is o a multiple of 17?
False
Suppose -6222*f + 6224*f - 5418 = 0. Does 129 divide f?
True
Let o(n) be the second derivative of n**4/12 - 7*n**3/6 - 14*n**2 + 6*n + 11. Is o(-6) a multiple of 3?
False
Let u(x) = -2*x**3 - 16*x**2 - x + 19. Does 6 divide u(-13)?
True
Let m = 443 + -207. Let z(h) = -16*h**3 - 6*h**2 + 3*h + 18. Let f be z(-2). Suppose -4*y = 2*n - m, f + 5 = n + 3*y. Does 7 divide n?
True
Let k(a) = -a**2 - 8*a - 8. Let q be k(-6). Suppose -4*d = 5*z - 26, 3*d - 2*d = 4*z - q. Suppose 112 + 96 = z*i + 4*n, 2*i - 3*n = 229. Is 9 a factor of i?
False
Let m(z) = 53*z**2 - 6*z + 11. Let u(j) = -161*j**2 + 18*j - 32. Let c(i) = -11*m(i) - 4*u(i). Is c(2) a multiple of 10?
False
Suppose -3*b + 2*c + 19 = 0, 0*b - 4*b = -c - 22. Suppose -5*k - 138 + 27 = -3*n, -b*k = 0. Suppose 0 = 3*f - 8 - n. Is f a multiple of 3?
True
Let i be (8/(-3))/((-384)/(-189) - 2). Does 13 divide (-4)/14 - 7668/i?
True
Let s(j) = j**2 - 14*j - 10. Let o be s(15). Suppose 50 = -o*n - 95. Let t = 15 - n. Does 22 divide t?
True
Let n = 50 + -2. Is 2 a factor of ((-84)/n)/(3/(-144))?
True
Suppose -9*b + 15*b - 90 = 0. Does 18 divide (108/b)/(8/60)?
True
Let x(v) = v**2 + 3*v - 2. Let d be x(1). Suppose d*g - 322 + 278 = 0. Is g a multiple of 11?
True
Let g = -12139 + 23942. Does 37 divide g?
True
Let j(u) = -u**2 + 19*u - 46. Let f be j(16). Suppose f*t + 0 = 6. Let s = 83 - t. Is s a multiple of 9?
False
Let z(b) = -9*b**3 + 41*b**2 - 16*b - 14. Let d(v) = 5*v**3 - 21*v**2 + 8*v + 7. Let x(c) = 11*d(c) + 6*z(c). Let j be x(-15). Let n = j + -81. Does 8 divide n?
True
Suppose 4*i - 6 = -m, -3*m + 4*i + 4 = 2*i. Suppose m*r + 3*r + b - 35 = 0, 0 = 3*b. Suppose r*p - 299 - 65 = 0. Does 22 divide p?
False
Let u(y) be the second derivative of -13*y**3/2 + y**2/2 - 17*y. Let c be u(2). Let n = 129 + c. Does 15 divide n?
False
Let l(b) = b**3 - 2*b**2 + 3. Let f be l(2). Let z be 6/(-6)*0/f. Suppose 6*p - 416 - 142 = z. Is 31 a factor of p?
True
Suppose -131*c = 922772 - 3579976. Does 4 divide c?
True
Suppose t - 3*f = -17, 4*f = -3*t - t - 4. Let a be (-20)/(1 + 3) - t. Suppose -5*k - 5*z + 45 = a, -4*k + 5*z + 60 = z. Is k even?
True
Let w(h) = h - 3. Let y be w(7). Suppose -5*t + 53 = y*i, -5*i = 2*t + t - 50. Suppose -i*u + 136 = -5*u. Is 17 a factor of u?
True
Suppose 0 = -20*v + 21*v - 42. Suppose 3*y = 3*c + v, 0*c + 4*y = 2*c + 36. Does 24 divide (-48)/c*1/(2/20)?
True
Let i = 7899 + 4107. Is i a multiple of 2?
True
Suppose 10*r - 20 = -0*r. Is 47 a factor of r/6 + (-12675)/(-45)?
True
Suppose 921*x = 1797*x - 903*x + 104436. Does 113 divide x?
False
Let w = 555 - 549. Suppose -9750 = -w*s - 9*s. Is s a multiple of 13?
True
Let w = -14833 - -20552. Does 7 divide w?
True
Suppose 30 = 4*f - 5*k, 5*f - 3*k = -8*k + 15. Suppose 3*n - f*m - 725 = 0, 3*m + 195 - 1152 = -4*n. Does 40 divide n?
True
Suppose 2*w = g - 2548, 0*w + 5*w - 4*g = -6364. Let u be (6/(-4))/((-11)/w). Let t = u + 265. Does 25 divide t?
False
Suppose -10*z + 2323 = -117. Suppose -z + 52 = -f. Is 32 a factor of f?
True
Let m(o) = -4*o - 64. Let z be m(-16). Suppose 15*f - 14*f - 278 = z. Is 6 a factor of f?
False
Let u(k) = 6*k**3 - 9*k**2 - 38*k + 53. Let r be u(13). Suppose -16*t + 33*t = r. Is 22 a factor of t?
True
Is 66 a factor of 6/(6/5213)*1?
False
Let n = -1411 - -1292. Let f = -169 + 94. Let v = f - n. Is v a multiple of 22?
True
Suppose 2*b + 0*b + 4*j = 442, 0 = -4*b + 3*j + 840. Let s be b/(-6)*(-2)/(-1). Let r = s - -181. Is 12 a factor of r?
False
Suppose -34 = -f - 29. Suppose -2*t = f*m - 715, t = -2*m + 4*m + 362. Is 45 a factor of t?
True
Let b(g) = -186*g - 67. Does 43 divide b(-14)?
True
Let l = -240 - -496. Let b = -161 + l. Is 19 a factor of b?
True
Is 372480/72*2*15/20 a multiple of 80?
True
Let n be (-11 - -13)*(-3 + 2)*1603. Is 9 a factor of (-4)/38 + (-6 - n/133)?
True
Is 20 a factor of (1 - 56/32)/(2*1/(-80400))?
False
Let v(u) = u**2 - 7 + 2 - 25 - 4*u. Let l be v(-4). Is 40 a factor of l/(4/239) + 9/18?
True
Suppose -q - 96*v + 100 = -100*v, 5*v = -5*q + 500. Does 3 divide q?
False
Let o = -442 - -435. Does 22 divide (-420)/(-15)*(-66)/o?
True
Suppose -2*l + 12 = 4*l. Suppose -q + 276 = 2*t + 21, -2*q + 480 = -l*t. Is q a multiple of 49?
True
Is 13 a factor of 330/250*7415 - (-6)/5?
True
Suppose -12*b - 872 = -14*b. Let q(t) = -t**3 - 5*t**2. Let n be q(-5). Suppose 4*w = 4*r + b, 5*w - r + n*r = 553. Is w a multiple of 14?
False
Let x(p) = 10*p + 2. Let c be x(5). Let o = 88 - c. Let k = o + 28. Is 47 a factor of k?
False
Does 9 divide 23889/9 + 50/75?
True
Let b(c) be the first derivative of 2*c**2 - 46*c - 74. Does 4 divide b(22)?
False
Suppose -8*y + 10*y - 16644 = 2*p, 33295 = 4*y + 3*p. Is y a multiple of 32?
False
Suppose 25*z = 27*z + 16. Is (4/(-4) - z/4) + 182 a multiple of 26?
False
Suppose 550*r = -4*w + 551*r + 20108, 0 = 5*w - 5*r - 25120. Does 12 divide w?
True
Suppose 0*x + 13677 = 4*v + 3*x, -3*v + 10279 = -2*x. Suppose 24*u - v = 1257. Does 15 divide u?
True
Suppose 4*y - 4 = -4*o, 0*o = -3*o - 4*y. Let f be -2*6/o - -4. Does 20 divide (4 - f)*(-80)/(-6)?
True
Let p(h) = 5 + 2 + 3*h - 22 - 17. Let k be (-7)/(2*3/(-12)). Is 10 a factor of p(k)?
True
Let b = -6827 + 11291. Is b a multiple of 124?
True
Let h(n) = n**2 + 5*n + 17. Let i be h(8). Let c be 6/(-9) + (-2)/6. Let w = c + i. Is w a multiple of 24?
True
Suppose -120*c = -158*c + 272270. Is c a multiple of 91?
False
Suppose 4*k - 2*r - r = 2658, 5*k - 2*r = 3326. Let t = k + -300. Is 61 a factor of t?
True
Let l(t) = -27*t**2 - 202*t + 5. Let x be 1/(36/16 - 2) - 11. Is 8 a factor of l(x)?
True
Suppose 6 = v + v. Let p be (33/5)/(4224/280 - 15). Suppose p = -v*n + 4*n. Is n a multiple of 11?
True
Suppose 0 = g, 2*r + 2 - 10 = 2*g. Is (-2)/(-4) + 106/r a multiple of 2?
False
Is 15 a factor of -70*((-30)/(-7))/((-29)/203)?
True
Let v(z) = -111*z**2 + 9*z + 3. Let n(q) = 1. Let b(l) = -5*n(l) - v(l). Is b(-1) a multiple of 28?
True
Let v(m) = m**3 - 14*m**2 - 10*m - 78. Let d be v(15). Is 330/(-3 + ((-486)/48)/d) a multiple of 12?
False
Suppose 8*w + 5*m + 75 = 3*w, 0 = 3*w + 2*m + 48. Let l = 21 + w. Suppose -420 = -8*o + l*o. Does 12 divide o?
True
Let n = 7 - 1. Let r be -249 + -5 - (n + -2). Does 32 divide 0 - -2 - (-6 + 10) - r?
True
Let z be 0*(10/(-20))/(-1*1). Suppose z = -43*v + 12479 + 23512. Is 8 a factor of v?
False
Suppose 328 = -18*p + 58. Let l(x) = x**3 + 14*x**2 - 26*x - 25. Does 28 divide l(p)?
True
Suppose o - 19886 = 4*s, 81*s = -3*o + 85*s + 59722. Does 47 divide o?
False
Let u(g) = g**3 + 7*g**2 + g + 16*g + 3 + 12*g**2. Let m be (-11 + 9)*102/12. Is 62 a factor of u(m)?
False
Suppose 2*u = 6*u - 8. Suppose -3*j = -4*o + 4 + u, o = -j + 5. Let g(b) = 4*b + 3. Does 2 divide g(j)