tiple of 11?
False
Let n = -73 - -76. Suppose n*b - 3369 = -4*h - 2*b, -3*b + 1685 = 2*h. Is 35 a factor of 5/(-20) - h/(-4)?
True
Suppose -3*y + 3*i = -60, -4*y - 44 + 109 = i. Let w(g) = -g**3 + 22*g**2 - 26*g + 72. Is 43 a factor of w(y)?
True
Let l = 2 + 4. Suppose 2 = 2*d, 3*d = -5*k + l*d + 262. Is k a multiple of 14?
False
Let r = -19618 - -36281. Is r a multiple of 19?
True
Suppose 0*p = 8*p + 1648. Let q = p + 77. Does 19 divide q/2*4/(-6)?
False
Let s be (1 - 2)/(3 - (-187)/(-62)). Suppose 0 = -2*x + 252 - s. Is x a multiple of 5?
True
Let m = 320 + -306. Is (2/4)/((-7)/m)*-215 a multiple of 6?
False
Let x be (-4)/(4/(-3)) + 117. Let k be (-6)/(x/(-28) + 4). Let d = k + -18. Does 2 divide d?
False
Let l(k) = -3*k**2 - 668*k - 8. Does 52 divide l(-160)?
False
Is (540702/(-153) + 17*-1)/(2/(-46)) a multiple of 53?
True
Suppose 27 = i + 3*v - 6*v, -3*i = 2*v - 26. Suppose 0 = l - m - 85, i*l - 9*l = -5*m + 247. Is l a multiple of 21?
True
Let g be 2*((-5)/(-1) - 294/28). Let u(b) = -b**3 - 7*b**2 + 15*b + 5. Is 28 a factor of u(g)?
False
Let w(d) = 13*d - 140. Let i(r) = 12*r - 140. Let u(y) = 4*i(y) - 3*w(y). Does 7 divide u(28)?
True
Suppose -34877 = -31*j + 88100. Is j a multiple of 55?
False
Is 8 + 67911/6 + (-1)/(8/12) a multiple of 15?
True
Let q = 4 - 5. Let z be 5*1/(0 - 25/(-290)). Let c = q + z. Is 8 a factor of c?
False
Is 41 a factor of 3608/(-176)*(1 - 51)?
True
Let y(a) = a**3 + 8*a**2 - 51*a - 11. Let h be y(-12). Let w = h + 193. Is 18 a factor of w?
False
Let n = 322 + 181. Suppose -z + 5*c - 32 = -374, -4*z + 1393 = 5*c. Let x = n - z. Does 12 divide x?
True
Let m = 63 + -61. Suppose -m*l - 9*l = -22. Suppose l*t = 4*a - 544, -3*a + 3*t + 422 = 5*t. Is a a multiple of 36?
False
Let c(r) = 25*r**2 + 22*r - 170. Let u be c(17). Suppose 44*i - 20819 = u. Is i a multiple of 15?
False
Does 39 divide -2 + -12 - (-10677 - 13)?
False
Let b = -70 - -66. Let q(a) = -3*a**2 - a + 14. Let z be q(b). Does 15 divide (-168)/z*75/2?
True
Let q(f) = -2*f**3 - 34*f**2 - 316*f + 60. Does 9 divide q(-21)?
True
Let p be 14/(-77) - 172/22. Let b(i) = -i**2 - 12*i - 17. Let j be b(p). Let o = j + 3. Is o a multiple of 3?
True
Let u = 78 - 42. Suppose 18 = 3*m - 5*q, 3*q - 8*q - 6 = -m. Is 42 + 1 + (3 - u/m) a multiple of 12?
False
Let j = -87 - -87. Is (j - 5) + (14 - -183) a multiple of 8?
True
Let n = 386 - -119. Let h = -1886 - -2213. Let a = n - h. Is 8 a factor of a?
False
Suppose -299780 = -79*r + 66*r. Suppose 27*d - 17926 - r = 0. Is d a multiple of 67?
False
Let x(u) = u**2 + 2*u + 4. Let v be x(0). Suppose -b - v*c = 4, b + 9 = 3*c + 33. Does 38 divide (-304)/b*9/(-2)?
True
Let f = 22 - 47. Suppose 21*p + 9*p - 4984 = -26*p. Let l = p + f. Is l a multiple of 8?
True
Suppose -32*k + 127378 = 9074. Is 6 a factor of k?
False
Let c = 1869 + -1019. Suppose -c = -5*h + 3*m, -3*h - 2*m = -254 - 237. Is 18 a factor of h?
False
Suppose 304980 = 64*i - 18*i. Is 51 a factor of i?
True
Let d(w) = -41*w. Let g be d(1). Let c = -39 - g. Suppose -3*p + c*l = l - 152, 5*p = -2*l + 257. Is p a multiple of 10?
False
Let w(h) = -6*h - 12. Let j be w(-10). Let z be j/(-4 + 56/12). Suppose 6*v - 3*v = z. Is v even?
True
Suppose -86*g = -84*g + 3*t - 8375, 0 = g + 4*t - 4200. Does 19 divide g?
True
Let k be (-1 + 3 + -1)/(-1) - -1. Suppose 3*a - 1073 = -3*n - n, -5*n - 5*a + 1335 = k. Is 34 a factor of n?
True
Let b(q) = 22*q + 101. Let c be b(3). Let p be 90/8 + 1/(-4). Let a = p + c. Is 36 a factor of a?
False
Suppose -13528 = -2*d + 3*p, d + 34*p - 6731 = 30*p. Is 83 a factor of d?
False
Let g(z) be the second derivative of 103*z**5/20 + z**4/4 - z**2 - 40*z - 1. Is 26 a factor of g(1)?
True
Let y(a) be the third derivative of a**5/60 - a**4/8 - 26*a**3/3 - 68*a**2. Does 18 divide y(10)?
True
Suppose -35*m = -13989 - 1411. Is m a multiple of 8?
True
Let t be 3 + 0/(2 - 0). Let d = -2114 + 2367. Suppose 62 + d = t*m. Does 13 divide m?
False
Let j(t) be the third derivative of -38*t**2 + 0*t**5 + 1/12*t**4 - 3/5*t**6 + 0 + 1/6*t**3 + 0*t. Is 4 a factor of j(-1)?
False
Let g be -181 + 187 - (-16)/(-2). Let o be 38*-4 + 2 + -4. Is 6 a factor of (o/(-21) - 6)/(g/(-27))?
True
Let u(a) = -4*a**2 - 5. Let s(h) = 7*h**2 - h + 10. Let v(p) = -6*s(p) - 10*u(p). Let z be v(-7). Let q = z - -190. Does 22 divide q?
False
Suppose t = -6, 3*l - t - 53455 - 53102 = 0. Is l a multiple of 15?
False
Let a = -1 - -5. Let i be -2 + 1/2 + 1165/466. Does 27 divide (a + -2 + 133)*i?
True
Let s = 57 - -15. Suppose s = p - 14. Suppose 0 = -5*k + m + 458, k - 4*m - p = -m. Does 7 divide k?
False
Suppose 2509*w - 63024 = 2496*w. Does 48 divide w?
True
Let p = 23373 - -13287. Is 104 a factor of p?
False
Let j(i) = 2*i**2 - 20*i - 25. Let r be j(20). Suppose 40*h - r = 35*h. Is h a multiple of 5?
True
Suppose 2*n + 3*u - 190 = n, 0 = 4*n - 4*u - 760. Let v = n - 62. Let g = v + -71. Is g a multiple of 10?
False
Suppose 5*m = 1327 + 1273. Let x = m + -58. Is 14 a factor of x?
True
Let j(t) be the second derivative of -10*t - 4/3*t**3 - 2*t**2 + 1/20*t**5 + 0*t**4 + 0. Is 14 a factor of j(6)?
False
Suppose 4*s = 12, 0*u - u = 2*s - 17. Let d(m) = -2*m + 72. Does 10 divide d(u)?
True
Let w(p) = -5*p - 19. Let l be w(-15). Let q = 256 + l. Is q a multiple of 13?
True
Suppose -5*q = 2*a - 903, 4*a - 1638 - 154 = 4*q. Let g = -432 + a. Is g a multiple of 17?
True
Let u(h) = 3*h - 49 - 4*h + 52. Let w be u(3). Suppose 2*c - c - 84 = w. Does 21 divide c?
True
Let b(t) = -t**2 + 14*t - 19. Let s be b(11). Let p be (s/(-6))/(4*(-9)/(-2052)). Is 34 a factor of 2/(-2) - (p + -2)?
False
Let o(s) = 9*s - 52. Let d be o(6). Let l(c) = c**2 + 3*c - 3. Let n be l(d). Suppose -2*b + 5*j + 149 = 0, n*j - 2*j = 5*b - 395. Is b a multiple of 41?
True
Suppose -3*x = -16 + 19. Let w(q) = -5*q**3 + q**2 - 2*q - 3. Let p be w(x). Suppose 3*h + 4*y = -0*h + 58, -p*y - 22 = -3*h. Does 4 divide h?
False
Does 27 divide 127094/44 - 2/(-4)?
True
Suppose 256 = 10*i - 51844. Is i a multiple of 36?
False
Let g = -86 + 92. Let i be 5 - (-125)/15 - (-4)/g. Is ((-148)/3)/(i/(-21)) a multiple of 21?
False
Let d = -2979 + 2973. Let p be (1 + 2)*272/6. Is 17 a factor of (-8)/d*(-30)/(-20)*p?
True
Let x(j) = -j**3 - 12*j**2 + 11*j + 11. Is x(-17) a multiple of 26?
False
Does 98 divide (-21)/(-28) - -2 - 2/(-8) - -2538?
False
Let g = 21 + -17. Suppose -g*a + 5 = -3. Suppose 140 = -a*w + 4*w. Is w a multiple of 7?
True
Let g be (18/18)/(2/8). Suppose 2*m = 5*f - 3*f + 94, -m + 67 = g*f. Does 51 divide m?
True
Let n(f) = f**2 - 42*f + 74. Let r be n(40). Does 36 divide 1518/5 + r/10?
False
Let l be (-16)/(-4)*11/22. Suppose l*k + 24*q - 19*q - 1322 = 0, -5*k + 3276 = -2*q. Does 82 divide k?
True
Let y = -12576 - -23280. Is y a multiple of 4?
True
Let o = 370 + -236. Let y be ((-9)/(-6))/(12/3424). Suppose 0 = 7*p - y + o. Is p a multiple of 3?
True
Let i = -1887 + 14037. Suppose -17*f + i = -2*f. Is 30 a factor of f?
True
Suppose 2*l + 4*f = -l + 172, f + 204 = 4*l. Let a = 48 - l. Is -1 + 226 + (-5 - a) a multiple of 16?
True
Let a be (5 + -1)/(8/44). Suppose 0 = -0*z + z - 3, -4*o - 2*z + a = 0. Suppose o*w + 17 - 81 = 0. Is w a multiple of 4?
True
Let t(y) = 141*y**2 - 10*y - 11. Let d be t(-1). Suppose 0 = 138*v - d*v + 482. Is v a multiple of 35?
False
Let b(x) = 364*x**3 - 23*x**2 - 4*x - 6. Let n(t) = 243*t**3 - 16*t**2 - 3*t - 4. Let k(o) = 5*b(o) - 7*n(o). Is k(2) a multiple of 10?
True
Let g be (-4)/10 - (-92473)/(-155). Let x = -380 - g. Does 31 divide x?
True
Suppose -6*l - 234 = -0*l. Let d = l + 43. Suppose d*h - 201 = h. Does 21 divide h?
False
Let o = -23334 + 39850. Is 74 a factor of o?
False
Let a = -168 - -178. Suppose -258 = a*f - 1618. Is f a multiple of 34?
True
Let x = 36 - -83. Suppose 7*n - x = 6*n. Let m = -40 + n. Is 15 a factor of m?
False
Is 20 a factor of 16/20 + (-429429)/(-195)?
False
Let k be ((-25)/(-4))/(-5) + (-6174)/72. Let p be 366/8 + (-2)/(-8). Let t = p - k. Is t a multiple of 19?
True
Let v(k) be the second derivative of -k**5/20 - k**4/3 - 7*k**3/6 + k**2 - 27*k. Let x be v(-7). Suppose 18*m = 21*m - x. Is m a multiple of 22?
True
Suppose -2*j = 5*s - 70, j = -j + s + 58. Is 2 a factor of j?
True
Suppose 4*c - 3*i + 1565 = 0, -3*c - 4*i = 507 + 648. Let u be (-15)/(-60) + c/4.