ue
Let q(y) = -5*y - 16. Let z be q(-4). Suppose 2*d + 0*d - 248 = -z*c, -396 = -3*d + 2*c. Does 13 divide d?
True
Suppose 1304 = 2*n + 4*s, 5*n - 6*s + 11*s = 3240. Is ((-32)/3)/(n/216 - 3) a multiple of 8?
True
Let q(g) = 64*g - 123. Let p be q(10). Suppose -2*r - j = -p, -10*r + 5*r - 5*j = -1295. Is 23 a factor of r?
False
Let d be -3*4/24 + 203/2. Is (-4 - (-2 + 4)) + d a multiple of 19?
True
Suppose 1382*f - 1368*f = 0. Suppose -z = -2*z + 132. Suppose 0 = -2*d - f*d + z. Is 11 a factor of d?
True
Let a(b) = 35*b + 9432. Does 58 divide a(110)?
True
Let r = -26383 + 37474. Does 9 divide r?
False
Suppose -321 + 77 = -x. Let p = 284 - x. Does 3 divide p?
False
Suppose 13 = 5*t + 2*a, -4*a = -a + 3. Let n be 2/(0 - -2)*(t - 0). Suppose 8*q - 110 = -n*q. Is 7 a factor of q?
False
Let o = 698 - 310. Let t = o - 558. Is 18/27*(t/(-4) + -2) a multiple of 9?
True
Let r be (0/5)/(2/(1 + 0)). Suppose r = -2*v - 4*k + 2*k + 8, -2*v + k + 8 = 0. Suppose -v*w = -w - 24. Is w a multiple of 8?
True
Let z = -5792 - -5815. Let f = -6 - -53. Let n = z + f. Is n a multiple of 21?
False
Let l(t) = 950*t - 271. Is 59 a factor of l(7)?
False
Let m = -7339 - -8491. Does 144 divide m?
True
Suppose 0 = -0*l - 4*l - 16. Let c(w) = -7*w - 265. Let s be c(-34). Is (s/(-6))/(l/(-48)) a multiple of 9?
True
Suppose 2*k - 4380 = 4*f, 0 = -4*f - 609 + 621. Does 61 divide k?
True
Let v = 17260 - 13967. Does 37 divide v?
True
Let f(m) = 18*m**2 + 30*m - 1070. Does 98 divide f(15)?
True
Let y(t) = 2*t**3 - 18*t**2 - 43*t + 263. Is y(14) a multiple of 10?
False
Let c = -11 + 37. Suppose c*r + 15 = 29*r. Suppose -1242 = -r*f - 232. Is 39 a factor of f?
False
Does 8 divide 5754/8 + (-16)/(1152/(-54))?
True
Let h(j) be the second derivative of 18*j**3 - 6*j**2 + 2*j - 63. Does 11 divide h(3)?
False
Suppose -2280 = 4*w - 2*y, 2*w = 4*w - 5*y + 1132. Let o = w + 842. Is o a multiple of 14?
False
Let u(r) be the first derivative of -r**4/4 - 7*r**3 + r**2/2 + 33*r + 10. Is 12 a factor of u(-21)?
True
Let d(c) be the third derivative of -c**5/20 - 5*c**4/4 - c**3/2 + 150*c**2. Let m(j) = -j - 4. Let n be m(5). Is d(n) a multiple of 8?
True
Let u = -319 - -233. Is (0 + 43/(-2))/(43/u) a multiple of 2?
False
Suppose -3*z + 33*f = 37*f - 32476, 3*z + f = 32464. Does 10 divide z?
True
Let p be ((-79)/2)/((-1)/2). Let j(y) = -5*y + 85. Let c be j(16). Suppose 2*d - p = -d + 5*h, -h = -c*d + 95. Is d a multiple of 9?
True
Let n(r) = -3*r + 7. Let d be n(0). Let o = d - 1. Is (-16)/6 + (-2)/o + 159 a multiple of 26?
True
Let w be (158/(-79))/((-2)/(-1224)). Let m = w + 2516. Does 38 divide m?
True
Let s(h) = h**2 + 11*h + 19. Let f be s(-8). Let o = 37 + f. Is 8 a factor of o?
True
Let z(b) = -b**2 + 30*b - 5. Let f be z(20). Let l = f + 404. Suppose 0 = -4*v - 3*w - 131 + l, -5*v + 596 = w. Is 40 a factor of v?
True
Let u(w) = -10*w - 26. Let v be 4/28 + -1 + 198/(-14). Is u(v) a multiple of 22?
False
Let z(y) = 2*y**2 - 57*y - 28. Let w(a) = 3*a**2 - 57*a - 31. Let n(m) = 4*w(m) - 5*z(m). Suppose 0 = -x + 4, -5*d + 3*x - 5*x - 137 = 0. Does 5 divide n(d)?
True
Let p be (-4)/(-2) - 0/2. Suppose 213 = -14*f + 85*f. Suppose m - 90 = p*t, -4*m + 168 = -f*t - 167. Does 14 divide m?
False
Let o(y) = 5*y - 25. Let i(q) = -14*q + 75. Let z(a) = 4*i(a) + 11*o(a). Is z(-34) a multiple of 59?
True
Suppose 14*d - 32423 = -10320 + 33687. Is 5 a factor of d?
True
Let q = 3719 - 1013. Does 82 divide q?
True
Let j be 290/(-725) - (428/(-10))/2. Suppose -2*b = -7*b - 20, j = w - b. Is 3 a factor of w?
False
Let r be (-2)/(-6) + 50/3 + 0. Let q = 23 - r. Suppose 623 = q*z - 223. Is z a multiple of 14?
False
Let x(r) = -116*r**3 + 25*r**2 + 10*r - 33. Does 46 divide x(-5)?
True
Suppose -441 = 3*j + 3*m, -4*m - 215 = 2*j + 79. Let i = 183 + j. Is i a multiple of 9?
True
Suppose -269*n + 275*n = 135990. Is 30 a factor of n?
False
Let x(w) = 2023*w**3 + w. Is 14 a factor of x(1)?
False
Let u = -84 - -31. Let w = u + 55. Is (-34)/(w + 15/(-6)) a multiple of 17?
True
Suppose -3*a = 2*a. Let j(v) = 2*v**3 + 2*v + 34. Does 17 divide j(a)?
True
Does 22 divide 1*-1*(62674/(-16) - (-2)/16)?
False
Suppose -3*g + 4*u = -880, -4*u = 56*g - 58*g + 588. Is g a multiple of 5?
False
Suppose s = -2*g + 50099, 2*g - 3*s - 35987 = 14084. Is g a multiple of 183?
False
Let m = 28 + -29. Let f be (1287/12)/(-3) + m/4. Let o = -18 - f. Does 9 divide o?
True
Suppose 0 = -4*d + 3*y + 84843, 5*y = -21*d + 18*d + 63567. Is d a multiple of 114?
True
Suppose -5*t = -15, 3*t + 10921 = 2*x + 8*t. Is 19 a factor of x?
True
Suppose -4*b + 5*b - 54 = -t, -8 = 2*b. Let o = t - 110. Let a = -32 - o. Does 20 divide a?
True
Suppose 37 = 4*c - 3*i, 3*i + 13 - 32 = -4*c. Suppose v - 19 = -c. Does 15 divide (v/3)/(4/50)?
False
Suppose -2*b - 1001 = -5*l, 0*l + 2420 = -5*b - 4*l. Let f = -216 - b. Is 16 a factor of f?
True
Let z(g) = g**2 - 21*g + 45. Let f be z(19). Suppose -f*j + 12 = -3*j. Suppose -j*d = -3*b - 678, 2*b + 468 = 3*d - 209. Does 18 divide d?
False
Let b(p) = 5*p**2 - 11*p + 42. Suppose -17 = -n - 10. Is b(n) a multiple of 35?
True
Let o(s) = -10 + 44 + 4*s + 46 + 38*s. Is o(7) a multiple of 22?
True
Suppose -10*y + 560 = -7*y - 2*v, 10 = 5*v. Suppose g - y = -33. Suppose 50 + g = 5*x. Is 15 a factor of x?
False
Let w be 3242/(-14) - ((-104)/(-14) + -8). Let x = w + 350. Is 17 a factor of x?
True
Let s = 84 + -68. Suppose 7*n - 79 = -s. Does 4 divide n?
False
Suppose 0*q = 5*l - q + 233, 0 = 2*l + q + 89. Let x = l - -81. Let j = x + 117. Is 14 a factor of j?
False
Suppose 23*h + 4*w = 22*h + 12, 2*h - 5*w + 2 = 0. Suppose 2*r = h*g + 3*r - 861, 1086 = 5*g - 2*r. Does 72 divide g?
True
Suppose -2*q - 6*o = -8*o - 37622, -4*q + 2*o + 75260 = 0. Does 51 divide q?
True
Let u = 29 + 4780. Is 21 a factor of u?
True
Suppose 49*w - 36*w = 182. Does 55 divide (-204)/357 + 5398/w?
True
Is ((-1366)/(-6) - 4)*(-2 - -110) a multiple of 66?
True
Let a = 4617 + -2339. Does 9 divide a?
False
Let z(y) = -5*y**2 - 9*y + 3. Let o(r) = r**2 + r. Let d(h) = 6*o(h) + z(h). Let v be d(3). Does 11 divide (v + (-3)/12)*12?
True
Let z(n) = -n**3 + 6*n**2 + 23. Let s(v) = -2*v**3 + 13*v**2 + v + 45. Let u(i) = -3*s(i) + 7*z(i). Is u(-8) a multiple of 12?
False
Suppose 65*l - 4857915 = 5*l - 51*l. Is l a multiple of 20?
False
Suppose 0 = -g + 4*h - 21, 0*g - 3*g = 3*h + 18. Let x(p) = p**3 + 13*p**2 + 11*p - 5. Is x(g) a multiple of 22?
True
Suppose -3*q = -2*j - 4, -4*q - 9 + 17 = 0. Let y(b) = 438*b**2 + 5*b + 1. Is y(j) a multiple of 37?
True
Suppose 4*x - 9*x - 9*x = -218428. Is x a multiple of 58?
True
Let d = -13 + 17. Suppose -9 - 12 = -d*c + v, 3*v = -2*c + 7. Suppose 17 = -4*y + 5, -2*q + 53 = c*y. Is q a multiple of 19?
False
Let g = -6287 + 12392. Does 102 divide g?
False
Let u be (-16 + 1)*((-2244)/36 - -17). Let w = u - 556. Does 51 divide w?
False
Let u(f) = 463*f - 23. Let l be u(1). Let j be (3 - 2)*538/(-2). Let w = j + l. Is 19 a factor of w?
True
Suppose 207*x + 1836 = 225*x. Is x a multiple of 17?
True
Let s(x) = 6*x + 88. Let c be s(21). Let t = c - 184. Does 5 divide t?
True
Suppose -155*h + 3990 = -222465. Is h a multiple of 7?
False
Let q(t) = -t**3 - 6*t**2 - 8*t - 13. Let d be q(-6). Suppose -s + 0*o + 15 = -3*o, -5*s = -5*o - d. Does 10 divide (4/s)/(24/1620)?
True
Let a be 4 + -4 + 2 - 3. Let y be 4/14 + (-5870)/35*a. Suppose 0 = 10*h - 6*h - y. Does 6 divide h?
True
Suppose 0 = o - 8*o + 1277 + 767. Is 16 a factor of o?
False
Let i = 60 - 48. Suppose -i - 17 = c. Let x = c - -46. Does 17 divide x?
True
Suppose 0 = 35*n + 217*n - 659584 - 311120. Is 2 a factor of n?
True
Suppose -290*b = -298*b + 37312. Is b a multiple of 44?
True
Suppose 4*y - 21 = 27. Let s(o) = -o**3 + 13*o**2 - 3*o + 14. Let t be s(y). Let c = t + -39. Is c a multiple of 11?
False
Suppose 785099 = 57*a - 61361 - 57161. Is a a multiple of 83?
True
Let d(t) = 1163*t**2 + 53*t - 104. Does 13 divide d(2)?
True
Let f be (0/2 + -3)*70/15. Let u(k) = -16*k - 22. Let s(g) = -g - 1. Let z(b) = -s(b) + u(b). Is 21 a factor of z(f)?
True
Let q = 301 - 207. Suppose 5*j - 490 = -5*u, -u + 4*j = 3*j - q. Is u a multiple of 8?
True
Let n(k) = -133*k**2 + 70*k**2 + k - 3 - 1 + 75*k**2. Is n(-5) a multiple of 19?
False
Let s = -194 + 787. Suppose 3*t - 441 = -5*x, -2*t -