 a multiple of 14?
True
Let r(m) = m**2 - 14*m + 2. Let h be r(11). Let v = -13 - h. Is 2 a factor of v?
True
Suppose 0*d = d + 44. Let l = d + 92. Is 6 a factor of l?
True
Let k(c) = -15*c + 36*c + 5*c - 72. Is 12 a factor of k(6)?
True
Let x(f) = -3*f - 4. Let b be x(-2). Let v(q) = 3*q**2 + 2*q - 5. Is 11 a factor of v(b)?
True
Suppose 3*z + 2*k - 319 = 0, -k + 417 = -z + 5*z. Is 8 a factor of z?
False
Let p = -151 + 178. Is 9 a factor of p?
True
Suppose -3*i = -4*i + 192. Is i a multiple of 24?
True
Let a(o) = -5*o**3 - 21*o**2 - 11*o + 29. Is 56 a factor of a(-9)?
True
Let d = -135 + 828. Is 63 a factor of d?
True
Let k(n) = 3*n**2 + 5*n - 6. Let u be (-84)/(-18) - 4/6. Is 15 a factor of k(u)?
False
Suppose 0 = 2*g - 7 - 3. Let x(z) = z**2 - 6*z + 7. Let f be x(g). Suppose -3*y = f*h - 55, -h + 37 = -5*y - 10. Does 8 divide h?
True
Let b = 71 + -65. Is (((-3)/b)/(-1))/(4/1384) a multiple of 10?
False
Let x be ((-6)/8)/(4/((-192)/6)). Suppose -2*f = x - 4, -3*q = -5*f - 437. Does 26 divide q?
False
Let h = 0 - -5. Let r = h + -3. Is r/4*(65 - 3) a multiple of 7?
False
Let v = 1132 + -832. Is v a multiple of 10?
True
Let t = 303 + -199. Is 35 a factor of t?
False
Let x(b) = -b + 32. Let k be x(23). Let q(n) = 46*n - 1. Let o be q(4). Is 14 a factor of (12/k + -1)*o?
False
Is 20 a factor of 11424/288 + (-1)/(-3)*1?
True
Let d = -46 - -53. Is (10 - 8)*d/1 + -1 a multiple of 11?
False
Let j(b) = -21*b**3 + 2*b**2 + b. Let y be j(1). Let n = 26 + y. Is n a multiple of 5?
False
Let z(p) = 215*p - 18. Let c be z(9). Suppose -f + 5*o = 3*f - 1521, 0 = -5*f + o + c. Does 16 divide f/21 + (-4)/14?
False
Suppose -h = 547 - 849. Is h a multiple of 9?
False
Let k(m) = -4*m**3 - m**2 - 2*m - 5. Let i(c) = 11*c**3 + 3*c**2 + 6*c + 14. Let f(d) = -3*i(d) - 8*k(d). Let g = -1 + -2. Does 17 divide f(g)?
False
Suppose -4*t = -3*m + 91 + 147, 4*t = -5*m + 386. Suppose o + 0*q = -4*q + 39, -5*q = -2*o + m. Is o a multiple of 13?
True
Suppose 4*c - 968 = -164. Is c a multiple of 13?
False
Let c be 15 + 3*(4 - 5). Suppose -c*p + 14*p - 130 = 0. Is 30 a factor of p?
False
Let z be (-105)/14*8/3. Let n be z/(-6)*(-18)/(-12). Suppose n*g - 45 = -0*g. Is 4 a factor of g?
False
Suppose -19*f + 15*f = -12. Suppose 506 = 4*q + 2*k, f*k + k + 20 = 0. Is q a multiple of 43?
True
Suppose -93 = -2*w + w. Let m = w - 27. Suppose 5*t + 4*f = m - 18, 3*f = 4*t - 26. Does 7 divide t?
False
Let a(x) = x**2 + 4*x + 6. Let d be a(-6). Let f be (-4)/(-1) + -7 + d. Suppose 3*h = -2*j + f + 22, 4*h - 4*j = 36. Does 5 divide h?
False
Suppose -8 = 2*b + 6. Let x(o) = -5*o**3 - o**2 + 1. Let d(s) = -3*s**3 + 1. Let g(i) = b*d(i) + 4*x(i). Is g(5) a multiple of 10?
False
Let z(q) = 2*q**2 + 12*q + 17. Is 23 a factor of z(8)?
False
Suppose j = -3*j + 8. Suppose -3*r + 1 + j = -4*b, -2*r - 4*b + 22 = 0. Suppose f - 3*f = 4*i - 196, r*i = 2*f + 254. Does 25 divide i?
True
Let j(d) = d. Let a(v) = 10*v + 1. Let c(m) = a(m) + 5*j(m). Let s be c(3). Suppose 4*o = -g - o + s, 4*g - 148 = -2*o. Is 9 a factor of g?
True
Let h(v) = -v**3 + 9*v**2 - 5*v + 6. Let q(g) = g**3 - 5*g**2 - 5*g + 2. Let f be q(6). Let x be h(f). Suppose -x = -5*i + 165. Is i a multiple of 13?
True
Let w(o) = o**2 - 30*o + 66. Let d be w(12). Let a = d - -219. Is a a multiple of 23?
True
Suppose -v = -2*h - 2, 0 = -2*v - 0*v + 2*h + 6. Is (-4)/(-2)*26/v a multiple of 6?
False
Let c = 1948 - 958. Is c a multiple of 66?
True
Does 9 divide (-38)/57 - 4108/(-6)?
True
Let x(n) = n. Let a be x(5). Suppose 0*q + j + 33 = q, j - 159 = -a*q. Does 15 divide q?
False
Let t(n) = 2*n**2 - 7*n + 1. Suppose -h = -3*a + 4 + 7, h = -a + 9. Let q = -7 + h. Does 10 divide t(q)?
True
Let n be 12/(-30) - 567/(-5). Let o = n - 49. Does 16 divide o?
True
Let c(x) be the first derivative of -3/4*x**4 - 2*x + 13 + x**3 + 1/2*x**2. Is 32 a factor of c(-2)?
True
Does 7 divide 45/(17/357*(0 + 3))?
True
Let s = 59 + -19. Let c = s - 28. Is c a multiple of 3?
True
Let x(y) = -y**2 - 4*y + 7. Let h be x(-5). Let p(j) = -6 + h*j + 0 - 6*j + 2*j**2. Does 8 divide p(5)?
True
Let f(z) = -8*z**3 + z**2 + 9*z - 28. Is 4 a factor of f(-5)?
True
Let m(y) = 2*y - 4. Let s(h) = -h + 8. Let p be s(6). Let i be m(p). Suppose i = -g + 28 + 12. Is g a multiple of 10?
True
Let o = -30 - -153. Is o a multiple of 41?
True
Let g(f) = 7*f + 5. Let j be g(-1). Does 23 divide (5 + -28)*(j - -1)?
True
Let y(r) = 10*r + 22. Let v be y(-13). Let k = v - -243. Is 27 a factor of k?
True
Is 230*-6*3/(-45) a multiple of 3?
False
Suppose -i + 0*d + 54 = -3*d, 2*d = -2*i + 140. Does 22 divide i?
True
Suppose 14*s - 15*s = -5. Suppose -4*m + s*i + 649 = 0, i = -m - 4*i + 131. Is m a multiple of 39?
True
Let n(x) = 2*x**2 + 9*x + 15. Is n(-5) a multiple of 3?
False
Let d(r) = -6*r**2 + 4 + 8*r**2 + 4*r**2. Is 40 a factor of d(3)?
False
Let p = -1696 - -2872. Does 12 divide p?
True
Suppose 26 = 7*x + 6*x. Suppose 5*u + 3*v = -v + 53, 2*u + x*v - 20 = 0. Does 2 divide u?
False
Let n be -7 + 10 - (1 - 4). Suppose -4*x + 9 = -q, 3*q - q = 4*x - n. Suppose -x*h = -308 + 44. Is 22 a factor of h?
True
Suppose 116*j - 39699 - 287421 = 0. Does 99 divide j?
False
Suppose 0 = -33*w - 2*w + 5320. Is 76 a factor of w?
True
Let i(r) = 11*r. Let q be i(4). Let p be 296/10*40/16. Let u = p - q. Does 10 divide u?
True
Let q(y) = y**2 + 10*y + 5. Let w be q(-11). Let j(c) = c**2 - 15*c + 1. Does 6 divide j(w)?
False
Suppose -10*m + 7*m = -12. Suppose 5*h + 1 = a, 69 = 3*a + m*h - 10. Is a a multiple of 3?
True
Suppose 30 = 4*c + 6. Let y(n) = -n**3 + 7*n**2 - n - 7. Is y(c) a multiple of 18?
False
Let i be ((-12)/(-14))/((-52)/(-91))*-2. Is 39 a factor of i/2*2 + 198/1?
True
Let p(a) = -a**2 - 3*a + 5. Let z be p(-4). Suppose 0 = -w - z + 6. Is (0 - -2)/(w/90) a multiple of 12?
True
Let j(v) be the third derivative of -v**5/60 - 19*v**4/24 + 5*v**3/6 + 2*v**2. Does 9 divide j(-17)?
False
Let n = 613 + -349. Is n a multiple of 22?
True
Let q = 503 - 157. Does 12 divide q?
False
Let m = -9 + 14. Suppose 0 = 3*z + 3*j + 9, 3*j = -m*z + 2*j - 19. Is 7 a factor of 38 - z/12*0?
False
Suppose -12 = -3*c, -t - 5*c = -1877 - 1128. Is t a multiple of 15?
True
Let r(y) = -71*y + 123. Is 75 a factor of r(-12)?
True
Let x be 3*4/30*-35. Let o(b) = b**2 + 13*b + 3. Is 17 a factor of o(x)?
True
Suppose -2*q = -3*q. Suppose -v = 5*i - 33, q = -v - 2*i + 4 + 17. Does 13 divide v?
True
Suppose -2*w + 4*d + 16 = 0, 0*d = 2*w - 3*d - 14. Suppose 0 = -7*f + 2*f + o + 124, -5*o = f - w. Is f a multiple of 4?
True
Let y(j) = j + 6. Let b be y(-5). Let w(m) = -42*m + 1. Let o be w(b). Let h = o + 62. Is 21 a factor of h?
True
Let w be 3 + -3 + (-2)/1. Let z(s) = 7*s**2. Does 14 divide z(w)?
True
Let q = -205 + 341. Suppose q = 2*w - 3*v, 2*w + 0*v - 132 = v. Is 15 a factor of w?
False
Suppose 5*f = f + 656. Let t = 317 - f. Suppose 3*r - t = d + 2*d, 0 = -4*r - d + 229. Is r a multiple of 28?
True
Let f = 4 - 13. Let q = 171 - 122. Let l = f + q. Is l a multiple of 11?
False
Let o(v) = -5*v**2 + 1. Let d be o(1). Is (d/(-5))/((-1)/(-35)) a multiple of 23?
False
Suppose 1289 = s - 731. Does 10 divide s?
True
Suppose 36*t - c = 35*t + 1898, -2*t + 3804 = 2*c. Does 19 divide t?
True
Suppose 1592 = 4*t - 2*u, 14*t + 1196 = 17*t - 2*u. Is 33 a factor of t?
True
Suppose 3*y - v = 4*v + 531, 5*v = 5*y - 895. Let a = -106 + y. Is a a multiple of 41?
False
Suppose -4*z - 213 = -z. Let i = z + 104. Let c = i - 8. Does 6 divide c?
False
Let l(v) = 4*v - 9. Let r be l(-5). Let x = r + 34. Suppose 0 = 2*g - 4*m - 8, -2*g - x*m + 0*m = -26. Is 4 a factor of g?
True
Let z = -490 + 1654. Suppose 0 = 3*y - 114 - z. Suppose 5*o - y = -4*v, 0 = -v - v - 5*o + 218. Does 23 divide v?
False
Is 60/25*-38*(-20)/6 a multiple of 19?
True
Is 7 a factor of ((9870/4)/15)/(1/14)?
True
Suppose -5*l - 1102 = -4*d, 2*d + d - 821 = l. Is 21 a factor of d?
True
Let l(q) = 50*q**2 - 15*q + 3. Is l(5) a multiple of 38?
True
Is 2/(-18) + 1592/72*55 a multiple of 26?
False
Suppose -3*h + 246 = 3*p, -4*p - 7*h + 2*h = -331. Suppose -39 - p = -2*g. Is g a multiple of 6?
False
Let w(d) = d**2 + 10*d + 15. Let k be w(-7). Let j be (k/(-4))/(4/8). Is 24 a factor of ((-108)/2)/(2 - j)?
False
Let w(z) = -51*z - 155. Is 14 a factor of w(-13)?
False
Does 63 divide (