ltiple of 13?
False
Let j = 42 - 44. Does 2 divide (16/(-8))/(j/4)?
True
Let r be ((-25)/1)/(3*(-6)/(-144)). Let g = r - -336. Is 34 a factor of g?
True
Let y(x) = -2*x**3 - 51*x**2 - 39*x - 60. Is 85 a factor of y(-25)?
False
Let h be 15/(-10)*(-8)/6. Let m(y) = -14 + 11*y + y**h - 2*y**2 - 9 + 17. Is 9 a factor of m(8)?
True
Let z(g) = 7*g + 9. Let v = 27 - 24. Suppose -2*k - v = -11. Is 37 a factor of z(k)?
True
Let z = 275 + 22. Is z a multiple of 27?
True
Let z(y) = 5*y**2 - 7*y + 154. Is 31 a factor of z(9)?
True
Let j = -229 + 437. Let d be (((-6)/(-9))/(24/108))/1. Suppose -d*h = -h - j. Is h a multiple of 19?
False
Let p = 43 + -79. Does 10 divide (-6)/p + 0 + (-1283)/(-6)?
False
Let f be 24/(-9)*(-54)/(-12). Let t = f - -16. Is 4 a factor of t?
True
Suppose f - 4*j = 102, 240 = 2*f - 2*j + 3*j. Is f a multiple of 15?
False
Let w be 3*(4 - 6 - -3). Let r be w/(-2) + (-11)/22. Does 10 divide (-25)/r*(-96)/(-30)?
True
Let p(n) = -n + 1. Let y(h) = -7*h + 74. Let j(z) = -4*p(z) + y(z). Let b = -201 - -201. Does 8 divide j(b)?
False
Suppose -5*g - 10 = 0, 0*w + 4*g + 8 = 3*w. Suppose 6*f - 2*f - 8 = w. Suppose -4*r - f = -5*r. Is r a multiple of 2?
True
Let u(q) = -13*q + 43. Let f be u(-7). Let t = f - -129. Is t a multiple of 34?
False
Suppose -32*u = -38*u + 54. Let v be 99/1 - (-2)/1. Suppose 4*f + u = -4*n + v, -17 = -f + 2*n. Does 7 divide f?
True
Let b = 274 - -3. Does 13 divide b?
False
Suppose 9 = -2*o + 5*o. Is 4 a factor of -5*(-2 + o + -4)?
False
Suppose 2*l - 107 - 37 = 0. Suppose 2*i = 96 + l. Does 27 divide i?
False
Let w be (26/(-5))/(6/(-15)). Let x = -8 + w. Suppose 5 = -x*z, 5*d + 2*z - 303 = 5*z. Does 20 divide d?
True
Suppose -368 - 256 = -6*i. Does 12 divide i?
False
Let s(t) = -t**3 + 4*t**2 - t. Let b be s(4). Let f(o) = -2*o**3 - 5*o**2 - 3*o - 4. Is 14 a factor of f(b)?
True
Let h(d) = -27*d + 4. Let f be h(-3). Suppose -5*v + 75 = -f. Suppose 2*n - 3*n = 4, -v = -m + 4*n. Does 11 divide m?
False
Let i(p) = 3*p**2 + 4. Let g be i(4). Suppose 2*d = g - 8. Suppose d + 98 = 4*v. Does 8 divide v?
False
Let j = 187 - 25. Does 18 divide j?
True
Suppose 3*k + 381 = 4*y, -2*k + 4*k = -2*y + 208. Is y a multiple of 7?
False
Suppose -5*p + 678 = 4*c - c, 4*p - 4*c = 568. Is p a multiple of 6?
True
Let f(x) = x**2 + 48*x + 204. Is f(-4) a multiple of 7?
True
Let v(k) = 2*k**3 - 47*k**2 - 11*k + 71. Does 12 divide v(24)?
False
Let g be (-258)/12 + (-9)/(-6). Let s = 22 + g. Suppose 5*c - 2*a = 2*a + 65, s*a = -10. Is 3 a factor of c?
True
Let s = 3814 - -2386. Is s a multiple of 20?
True
Let a(i) = i**3 + 7*i**2 - 6*i. Let b be a(-9). Let z = b + 269. Suppose -3*l = -s - 0*s + 29, 5*s + l = z. Does 23 divide s?
False
Let x(a) = 2*a**2 + 101*a - 19. Does 14 divide x(-55)?
True
Suppose -g + 8 = g. Suppose 934 + 338 = g*p. Suppose 3*l - 316 = 2*z - 7*z, 4*l = -5*z + p. Is 13 a factor of z?
False
Suppose 4*x = 5 + 7. Suppose 8*u - 20 = x*u. Suppose -d + 30 = d + u*a, -5*a + 85 = 5*d. Is d a multiple of 11?
False
Let x = 870 + -337. Suppose -2*u = -4*t + 424, -8*t + 3*t + 4*u = -x. Does 21 divide t?
True
Suppose -5*i - 2*m = 45, -5*i + 4*m + 17 = 62. Let l = 12 + i. Suppose -4*n = n - 5*t - 50, l*n - 28 = 4*t. Does 3 divide n?
True
Let z = 1837 - 1687. Is 5 a factor of z?
True
Let s(j) = -507*j - 6. Is s(-2) a multiple of 24?
True
Let t = 10 + -10. Suppose -26 - 22 = -5*n - 4*b, t = -3*n + 5*b + 14. Let h(o) = o**2 - 8*o + 12. Is 9 a factor of h(n)?
False
Suppose 0*r + 378120 = 115*r. Is 24 a factor of r?
True
Suppose 2*p = 76 + 266. Is p a multiple of 19?
True
Let p = 744 + -464. Let k(l) = -l**2 + 13*l - 25. Let h be k(10). Suppose 2*t - 350 = -h*d, -4*t = -2*d - 2*d + p. Does 14 divide d?
True
Let n(r) = 11*r**3 - 53*r**2 + 85*r - 22. Let p(x) = 4*x**3 - 18*x**2 + 28*x - 7. Let m(v) = -3*n(v) + 8*p(v). Does 17 divide m(11)?
True
Let j = 2223 - 759. Is 62 a factor of j?
False
Let w = -61 + 165. Is w a multiple of 15?
False
Let b be 1*3 + (0 - 1). Does 14 divide 185/10*(0 + b)?
False
Let l(t) = 3*t + 3*t**2 + 1 - t - t + 0. Let r be l(-5). Suppose 19 - r = -w. Does 16 divide w?
False
Let m(a) = -19*a + 132. Is 21 a factor of m(-25)?
False
Suppose -4*v + p = -0*p + 1193, 3*v + 891 = -3*p. Is 15 a factor of (-4)/(-8) + v/(-4)?
True
Is 25 a factor of (1/(-2)*-106)/(5/235)?
False
Let a(n) = -97*n + 395. Does 13 divide a(-10)?
True
Suppose -2*y - 5 - 1 = 0. Let t = 13 - y. Is t a multiple of 5?
False
Suppose -3*p = -v - 30 + 2, 0 = -p - 4*v - 8. Let a(t) = t**2 + t + 4. Let j be a(-3). Is (-56)/j*(3 - p) a multiple of 8?
False
Let g = -353 - -1155. Is 22 a factor of g?
False
Let y(h) = -h**2 - h + 2. Let n be y(-2). Let j be (n + 1)/(7/49). Suppose -636 = -j*b - 188. Is 16 a factor of b?
True
Let v(x) be the second derivative of -x**4/6 - 13*x**3/3 - 14*x**2 - 3*x. Let j be v(-19). Does 16 divide (j/80)/((-2)/20)?
True
Let q be ((-8)/6)/(36/(-54)). Let v(g) = 12*g**3 + g**2 - 5*g - 2. Is v(q) a multiple of 18?
False
Let g = 3 + -1. Let y = -3 + 5. Suppose -4 = -6*w + y*w, -g*o = -2*w - 224. Is 24 a factor of o?
False
Let q be (4/(-12))/1*0. Suppose q = 5*l - 2 + 12. Is (l/1)/(1/(-6)) a multiple of 12?
True
Let h = 7 - 21. Let k = 19 + h. Suppose 7*m - 2*m + 101 = v, k*m - 203 = -3*v. Is v a multiple of 18?
False
Let h(r) = 9*r + 10. Let y be h(6). Suppose 5*k - y = 5*i + 411, -k + 2*i + 94 = 0. Does 24 divide k?
True
Let z = 29 - 13. Let w be (396/(-16))/(-3)*z. Let p = w - 88. Is 27 a factor of p?
False
Suppose 0 = -3*y + 316 + 80. Does 13 divide y?
False
Suppose 4*h = 3*d - 42, -2*d = 2*d + 3*h - 81. Is 15 a factor of (d/15 - 0)/(2/125)?
True
Let x be 6/(-12)*(4 - -2*1). Let i(a) = -8*a**3 - 4*a**2 + a + 3. Does 45 divide i(x)?
True
Suppose -2 = 3*u - 4*t + 2, 5*t - 5 = 4*u. Suppose 5*w = -2*k - 11, -3*k + 21 = -5*w - u. Is 10/(-12)*-3*k even?
False
Let j(g) = -25*g - 55. Is j(-6) a multiple of 19?
True
Let w(a) = 10*a**3 - 2*a**2 - 4*a - 2. Let h be w(-2). Let n = h - -117. Is 35 a factor of n?
True
Suppose 7*d - 7950 + 712 = 0. Is d a multiple of 9?
False
Let o be 14/(-7) + (-3 - 0). Is 11 a factor of 524/7 + o/(-35)?
False
Is 6 + -2*(-4)/((-40)/(-705)) a multiple of 14?
False
Let r(b) = -10*b + 4. Let w be r(-2). Let s be (w/(-40))/(2/(-10)). Suppose 2*y = s*y - 11. Is 3 a factor of y?
False
Suppose -92 = -3*w - 2*u, 61 + 63 = 4*w + 4*u. Suppose -5*b = -6*b + w. Is b a multiple of 16?
False
Suppose -15 = -3*v, 3*i + 0*v = -3*v + 9. Let h be -2 - (i + 3) - -6. Suppose -h*o - 2*o = -240. Does 16 divide o?
True
Suppose 10 + 0 = -5*l. Does 5 divide 3 + (-38)/(l - 0)?
False
Let t be 2/(-4) + 730/20. Suppose -5*y = -6 + t. Does 19 divide (-4)/y + 165/9?
True
Suppose 2*c + 4*a - 80 = 0, 3*c + 4*a + 21 = 147. Is 30 a factor of c?
False
Let s(i) = -2 + 3 + 3 + 5*i. Let v(l) = l**2 - 2*l - 2. Let r be v(5). Is 19 a factor of s(r)?
False
Suppose 147 = z - 2*x, 6*z = 4*z - 2*x + 306. Is z a multiple of 4?
False
Let y(f) = -f**3 + 2*f**2 + 2*f + 3. Let n be 312/(-18) - (-8)/6. Let v = n + 13. Is 14 a factor of y(v)?
True
Suppose -3*n - 3*i + 13281 = 0, 3*n + 6335 = 3*i + 19628. Is n a multiple of 43?
True
Let m(o) = 2*o**2 - 72*o + 119. Does 14 divide m(36)?
False
Let w(x) = x**2 - 12. Let o be (3 + 8/12)*-6. Let h = 17 + o. Is 13 a factor of w(h)?
True
Suppose -4904 = -4*g - 2*m, -6*g - 6116 = -11*g + m. Is 51 a factor of g?
True
Let c(n) = -n**2 - 20*n + 73. Is c(-18) a multiple of 21?
False
Suppose -405 = -13*f + 8*f. Suppose 4*c = -l + f, 3*l + 45 - 128 = -4*c. Is 6 a factor of c?
False
Let c(a) = -a**2 + 4*a + 16. Let j(v) = -v**2 + 3*v + 16. Let u(l) = 6*c(l) - 5*j(l). Let h be u(12). Let t = -8 - h. Is t a multiple of 12?
True
Let h be (0 - 2) + -198 - -2. Let l = 385 + h. Is l a multiple of 41?
False
Is 33 a factor of ((-26688)/(-72) - (-4)/(-6)) + 2?
False
Let h = -493 + 944. Is h a multiple of 11?
True
Suppose -5 = 5*q - 15. Suppose -2*t + q = -34. Is 3 a factor of t?
True
Suppose 5*l - 236 = 2*a, 3*l = -5*a + a + 152. Is ((-27)/(-12))/(3/l) a multiple of 9?
True
Let c(n) = n - 14. Let o be c(6). Let u be ((-54)/24)/(3/o). Suppose u*i = 2*i + 212. Is i a multiple of 16?
False
Suppose 3*y + 2778 = 5*u, 0 = 27*u - 23*u - 4*y - 2216. Is 6 a factor of u?
True
Let y be (240/18)/((-4)/(-18)). Let x(w) = -4*w + 6. Let g be x(-8). Let