2/2. Let t = m - 9. Suppose 2 + 214 = t*h. Is h a multiple of 30?
False
Suppose -5*v + v = -j - 543, 162 = v + 5*j. Let f = v + -72. Does 13 divide f?
True
Let c(n) be the second derivative of n**4/12 - 5*n**3/6 + n**2 - 4*n. Let f be c(5). Suppose -140 = -5*v + 2*w, f*v - w + 4*w = 56. Does 9 divide v?
False
Does 12 divide (-3836)/(-10) - (-30)/75?
True
Suppose 0 = g + 1, -4*c - 2 + 16 = -2*g. Suppose 0 = 5*o - 4*p - 15, -4*o - c*p = -0*p - 43. Is 33 + o/(14/6) a multiple of 16?
False
Suppose 0 = v + 3*g - 12, 2*v + g = 4*v - 3. Let w be ((-1)/v)/((-8)/240). Suppose 3*k = -2*x + 23 + w, 2*k = -5*x + 11. Is 6 a factor of k?
False
Let d(z) = -8*z**3 + 3*z**2 + 3*z. Let t be d(-1). Suppose t*f - 14*f + 1080 = 0. Is 36 a factor of f?
True
Let o(a) = -a**3 + 3*a**2 - 2*a + 168. Is o(0) a multiple of 12?
True
Suppose 2*p + 2 = 12. Suppose -2*n + 20 = 2*d, 0*n - p*n = -5*d - 40. Suppose -85 = -0*x - 2*x - 3*r, 3*r = n. Is x a multiple of 19?
True
Let s(f) = 2*f**3 + 18*f**2 - 2*f - 12. Let u be s(-8). Suppose u + 343 = 5*v. Is 19 a factor of v?
True
Let s(j) = 23*j. Let t be s(-1). Let f = 1106 + -1054. Let h = f + t. Is 13 a factor of h?
False
Let k(q) = q + 4. Let r be k(-7). Let s be 1 - (2 + r + -3). Suppose -s*n - 4*z + 154 = -51, -2*n + z + 69 = 0. Does 12 divide n?
False
Let y(c) = 1166*c**3 - 4*c**2 + 3*c - 1. Is 65 a factor of y(1)?
False
Let h(l) = 34*l - 11. Is h(9) a multiple of 10?
False
Let l be -15*(2/(-13) - 48/195). Suppose -b + 427 = l*b. Is 10 a factor of b?
False
Let c(y) = y - 23. Let a be c(25). Suppose -a*t + 158 + 154 = 0. Is 39 a factor of t?
True
Suppose -14 + 6 = -2*h. Is 1760/35 - -2 - h/14 a multiple of 26?
True
Let m = -69 - -354. Suppose m = 6*g - 471. Does 6 divide g?
True
Suppose -7*y + 10022 + 14415 = 0. Is 12 a factor of y?
False
Suppose 72 = -5*c - c. Is -4*((-3)/c - (21 - 2)) a multiple of 14?
False
Let c be 2*(2 + 2/4). Suppose -31 = -c*n - 1. Is -1 - -1 - (-18 + n) a multiple of 6?
True
Let v(b) = -53*b**2 + 658*b + 2. Is v(6) a multiple of 27?
False
Let c(z) be the second derivative of z**5/20 + 13*z**4/12 - z**3/6 + 29*z**2/2 - 18*z. Does 21 divide c(-13)?
True
Suppose 6*g = -11*g + 6681. Is 71 a factor of g?
False
Let t be ((-6)/4)/((-2)/4). Suppose -3*k + 2*a = -2*k - 16, -a + 55 = t*k. Is 4 a factor of k?
False
Let h = -5 + -182. Let f = 509 + h. Suppose -192 - 63 = -3*o + 3*q, -5*q + f = 4*o. Does 29 divide o?
False
Let h(a) = a**3 - 2*a**2 + 3*a + 4. Let b be h(4). Let f = b - 31. Does 9 divide f?
False
Let z(c) = -c**3 + 9*c**2 + 6. Let f be z(7). Suppose 3*b + f = 7*b. Does 13 divide b?
True
Suppose g = -3*q + 426, -g - 426 = -3*q + 2*g. Let a = -87 + q. Does 10 divide a?
False
Let f be (98/(-4))/(3/(-6)). Let z = f + -31. Is 6 a factor of z?
True
Is 28 a factor of (56/10)/7*(64 - -1)?
False
Let p(u) = -u + 32. Let y be p(17). Suppose 0 = -2*b - y + 19. Suppose 5*c + 4*d + 60 - 254 = 0, -b*c - 3*d = -79. Is c a multiple of 8?
False
Let j(z) = z**3 - 5*z**2 + 4*z + 2. Let m be j(4). Let d be (1/m)/((-8)/(-64)). Suppose -d*q = -286 + 30. Is 16 a factor of q?
True
Let o(m) = 5*m**2 + 6*m - 4. Let i be o(4). Suppose i = 3*h + 4*x + x, h = 3*x + 10. Does 25 divide h?
True
Suppose -s = -3*j + 44, -2*j + 4*j - 2*s = 24. Suppose j = t + 1. Let z = 14 + t. Is z a multiple of 8?
False
Suppose -4*x = -4*h + 44, 36 = 2*h + 4*x + x. Does 3 divide (-12 + h)/((-1)/(-4))?
False
Let l = 107 + 3. Is 11 a factor of l?
True
Is ((-1)/3 + (-145)/(-87))*2244 a multiple of 16?
True
Suppose 16*o + 4224 = 4*i + 21*o, -3*i + 3*o + 3168 = 0. Is 22 a factor of i?
True
Let k = -1355 + 2330. Is k a multiple of 26?
False
Let z(d) = 0*d**2 + d**2 + 2*d - 1 + 0*d - d. Let a(n) = 6*n**2 - n - 2. Let c(i) = a(i) - 5*z(i). Is 6 a factor of c(9)?
True
Let j = -23 + 34. Suppose k - t - 3 = -0*k, 4*k = 5*t + j. Suppose 0 = -6*h + k*h + 16. Is 4 a factor of h?
True
Suppose 0 = 6*k - 11*k + 25. Let c = 5 - 3. Suppose -c*n = -k*n + 84. Is 14 a factor of n?
True
Let i be 14/2 + 40/(-10). Let r(g) = 2*g**3 + g**2 - g - 5. Is 19 a factor of r(i)?
False
Suppose 5*n = 2*c - 3*c - 1, c - 6 = 2*n. Suppose -c - 2 = -3*g. Suppose -a = 5, -3*m + g*a = -48 - 43. Is m a multiple of 9?
True
Suppose 0 = 20*l - 2640 - 10160. Does 25 divide l?
False
Suppose -5*w = -5*o + 2*o - 139, 81 = 3*w - o. Is 5 a factor of ((-6)/2 - (-33)/6)*w?
True
Let v be (-6)/15 - 117/(-5). Suppose 33 + v = -4*j. Is 656/28 + (-8)/j a multiple of 8?
True
Suppose 5*q + 5*o - 2354 = 6*o, 0 = -2*q - 4*o + 924. Is q a multiple of 2?
True
Suppose 16*n - 20*n = 5*i - 3268, -3*n = 3*i - 2448. Is 7 a factor of n?
True
Let g(v) = -2*v - 8. Let x be g(-6). Let p(w) = 2*w**3 - 4*w**2 + 10*w - 1. Let f be p(x). Suppose f - 367 = -4*a. Does 14 divide a?
False
Suppose f + 4 = 2, 2*f = 2*p - 10. Suppose -5*r - 98 = -2*q, p*q + 5*r = -0*r + 97. Suppose -3*v = -0*v - q. Does 13 divide v?
True
Suppose 0 = -0*x + x - 181. Suppose -2*p + p + x = -3*h, -2*h + 171 = p. Is 35 a factor of p?
True
Let z be (-121)/(-7) + (-4)/14. Suppose 2*a + 2*r + 2*r - 22 = 0, 2*a - 2*r - 34 = 0. Let j = a + z. Does 24 divide j?
False
Suppose 0*z - 3*z = -198. Let q = 218 - z. Is 18 a factor of q?
False
Does 3 divide 45/2*((-108)/6)/(-9)?
True
Suppose -3*s + 191 = 5*v - 74, -2*s + 166 = -2*v. Let t(j) = -j**2 + 3*j - 7. Let x be t(8). Let q = s + x. Is 12 a factor of q?
False
Let a = -78 - -82. Suppose 0 = a*j - 4*r - 524, -j = -7*r + 4*r - 123. Is j a multiple of 9?
True
Let d be (15/9)/(7/(-21)). Let c(o) = -2*o**2 - 10*o + 11. Is c(d) even?
False
Suppose 6*y = 2*y - 2*y. Suppose y*c - 3*c = -90. Is c a multiple of 15?
True
Let w(n) = -n**2 + 4*n + 1. Let a be w(3). Suppose -f = -r + 6, 5*r + 17 - 46 = a*f. Suppose 4*m - 45 - 45 = -o, r*o = -3*m + 416. Is o a multiple of 41?
True
Let g = 5 + -14. Let p = g - -3. Let s(n) = -2*n - 6. Does 6 divide s(p)?
True
Let r(o) = -o**3 + 5*o**2 - o + 7. Let k be r(5). Suppose 0 = 3*x - x + 8, -2*x - 8 = -k*j. Let w = 12 + j. Is w a multiple of 7?
False
Let a = -56 - -63. Suppose 0 = -x - a + 27. Does 4 divide x?
True
Does 14 divide ((-600)/(-5))/(2/5) - 0?
False
Let a = -41 + 50. Suppose -a*r + 1331 = 143. Is r a multiple of 33?
True
Suppose 2*d - 14 + 6 = 0. Suppose d*k - 3*a = 6, -k - 4 = k - 5*a. Suppose -3*p - 89 = -k*m + p, 0 = -5*m + 5*p + 145. Is 15 a factor of m?
False
Is (-5 + (-15)/(-6))/(1/(-222)) a multiple of 77?
False
Suppose -2*v + 16*y - 18*y = -1296, 0 = -3*v - 5*y + 1948. Does 38 divide v?
True
Let h(i) = -182*i + 14. Is 9 a factor of h(-2)?
True
Suppose -4*p - 11 = 41. Let i = 70 + p. Does 24 divide i?
False
Let w = 770 - 390. Is w a multiple of 38?
True
Let a = 255 + -171. Let g be (-4)/10 + a/35. Suppose 0*y = 2*y - g, -5*o = -5*y - 10. Does 2 divide o?
False
Let b(k) = -10 + k**2 - 3*k + 0*k + 2*k. Let a be b(7). Does 3 divide a/5 - (-2)/(-5)?
True
Let t(m) = 2*m**2 - 60*m + 358. Let o be t(21). Let q be (34/6)/((-1)/6). Let h = o - q. Is h a multiple of 7?
True
Let a = -34 + 70. Is a a multiple of 4?
True
Let g be 5*6/5*3. Let b(p) = -p**3 - 11*p**2 - 8*p + 11. Let m be b(-10). Let z = m + g. Is z a multiple of 5?
False
Is 192/(-5)*(-195)/26 a multiple of 4?
True
Let t be 2 + 2 + -2 + 1. Let l be 13 + -3*t/3. Suppose 4*a - 79 = -5*c + 87, 5*c + l = 0. Is a a multiple of 22?
True
Is ((-12960)/140)/(9/(-336)) a multiple of 32?
True
Let l(b) = -b**2 - 3*b - 2. Let j be l(-5). Let t = -21 + 13. Let o = t - j. Is o a multiple of 2?
True
Is 9 a factor of ((-312)/130)/(-2*3/90)?
True
Let m be ((-98)/56)/(-2 - 18/(-8)). Let t(c) = -6*c**3 - 8*c**2 - 12. Let o(a) = -7*a**3 - 8*a**2 + a - 13. Let z(q) = 5*o(q) - 6*t(q). Does 21 divide z(m)?
True
Let z = -14 - 2. Let w be ((-12)/z)/(1/52). Suppose -2*f + w = -23. Is f a multiple of 17?
False
Suppose -3*y - 265*t = -270*t - 3664, -3*t + 6152 = 5*y. Does 20 divide y?
False
Suppose 0 = -22*g + 27*g - 15. Suppose 1 = 2*d - d. Suppose g*u - 5*q = 51, -q - d = -4. Does 11 divide u?
True
Let z = 412 - -164. Is z a multiple of 36?
True
Let m = 15 - 13. Suppose -4*j + 5*q + 272 = m*q, 0 = -5*q. Does 17 divide j?
True
Let f(k) = 2*k - 1. Let d(h) = 1. Let g(i) = -6*d(i) + 3*f(i). Is 17 a factor of g(10)?
True
Suppose -2*b - 1012 = -5*z, -10*b + 7*b = -4*z + 804. Does 23 divide z?
False
Suppose -10*d = 55 - 5. Let c = d - -52. 