f. Is s a multiple of 43?
True
Let z be (-493)/(8 - (8 + -1)). Let x = 1045 + z. Is x a multiple of 6?
True
Let b be -6*(-12)/9 - -25. Suppose -168 = 4*v - 4*k, -4*v - 4*k = 62 + 130. Let p = b - v. Is 26 a factor of p?
True
Suppose 0 = -4*x - 0 - 104. Let h(y) = -y - 24. Let u be h(x). Suppose -u*j = -184 - 104. Does 18 divide j?
True
Let w(v) = -2*v - 9. Let c be w(-14). Suppose m = -c*f + 15*f + 5751, 0 = -5*f - 3*m + 7187. Is 20 a factor of f?
False
Suppose p - 12896 = -m, 0 = 4*m + 62*p - 60*p - 51590. Does 46 divide m?
False
Suppose 86871 = -13*a + 7*a + 29*a. Is 8 a factor of a?
False
Let v = 24698 + 19087. Is v a multiple of 139?
True
Let r(x) = -231*x + 695. Let w be r(3). Suppose -39 = 4*h - 415. Suppose -b + 362 = 4*m, -m - w*b + 0*b = -h. Is m a multiple of 30?
True
Let d(h) = -6*h**2 - 4*h - 4. Let s be d(-2). Let j = s - -58. Suppose -3*x + 61 = 3*p + 13, 3*p - j = 2*x. Is p a multiple of 7?
True
Let i(d) = -3*d**3 - 19*d**2 + 21*d + 28. Let o(s) = 2*s**3 + 12*s**2 - 13*s - 19. Let u(v) = 5*i(v) + 8*o(v). Let h = -11 + 16. Is u(h) a multiple of 13?
True
Suppose 0 = 5*y - 2*v + 4316, -4*y + 8*v = 3*v + 3446. Let z = -338 - y. Suppose 4*x + x = -j + z, -4*x = -5*j - 415. Does 35 divide x?
True
Let x be (-36)/(-15) - (1 - 56/35). Suppose 4*u + f = 572, 45 + 87 = u + x*f. Is 9 a factor of u?
True
Let q = 598 - 133. Is 31 a factor of (q/(-20))/(6/(-40))?
True
Let x(h) = 35*h**2 + 10*h - 38. Let l be x(7). Suppose 0 = 5*m + y - l, 2*m + 2*m - 1415 = 5*y. Is m a multiple of 7?
True
Is 93 a factor of 9/(-90) + (-164302)/(-20) + -10?
False
Suppose 0 = -6*m + 11*m - 2*g - 1439, -5*g - 871 = -3*m. Suppose -6*o - 429 = -3*o. Let x = o + m. Is x a multiple of 12?
True
Let n be 57/11 + (0 - 4/22). Suppose 7*x = 4*d + 2*x + 2, n*x - 12 = -d. Suppose -l - 30 = -d*l. Is 19 a factor of l?
False
Suppose 40585 = 15*k - 43655. Is 5 a factor of k?
False
Does 64 divide 11/1 + 2 - -6757?
False
Suppose -41*q = 31*q - 96*q. Suppose 0 = 3*v - 634 - 1256. Suppose 7*s - v = -q*s. Is 30 a factor of s?
True
Let g = 50 - 50. Suppose g = -0*j + j + 68. Let d = 16 - j. Is d a multiple of 28?
True
Suppose -4*v - 2*j + 6 = -0*v, -v + 4*j - 12 = 0. Suppose 3*h - 25*h + 5456 = v. Is h a multiple of 62?
True
Let v = -7465 - -12728. Does 115 divide v?
False
Let f be (1 + -1)/(5 + -1 + -5). Suppose 3*b = -5*v + 1335, f = 3*v - b - 0*b - 815. Is v a multiple of 9?
True
Let s = -8285 - -11935. Is 73 a factor of s?
True
Suppose 6 = -2*d + 4*y, 0*d - 4*y + 3 = -3*d. Suppose 0 = d*j - 2294 + 836. Is 18 a factor of j?
True
Let v be ((-11)/(44/24))/(-2) + -1. Suppose 3 = 3*q + 18, -v*q + 104 = 3*i. Does 10 divide i?
False
Let d(n) = 212*n**3 - 2*n**2 + 5*n - 4. Let s = -265 + 266. Is d(s) a multiple of 11?
False
Suppose -260 = -2*w + 2*p, 391 = 3*w + 37*p - 39*p. Is w even?
False
Suppose -6*t + 115 - 7 = 0. Suppose -t*r - 80 = -23*r. Is r even?
True
Let s = 2611 - -9549. Is s a multiple of 80?
True
Suppose -5508 = -d - 3*c, d + 0*c - 5444 = 5*c. Does 216 divide d?
False
Suppose -5*m + 825 = 2*w, -496 = -m - 2*m - w. Suppose 8*c - 4*c + 3*p = 475, 227 = 2*c + 5*p. Let v = m - c. Is 17 a factor of v?
False
Suppose 7*x + 13 = 55. Suppose -x*n + n + 40 = y, -5*y + 345 = -4*n. Let b = y - 60. Is 5 a factor of b?
True
Suppose -3*g = 4*b - 356, 2*g - 7*g = 2*b - 598. Let w = g + -84. Does 18 divide w?
True
Let s(c) be the first derivative of -57*c**2/2 - 114*c + 27. Is 27 a factor of s(-5)?
False
Suppose -27*s - 25 = -700. Does 25 divide (1 - (-627)/5)/(10/s)?
False
Let d be 5/((-90)/(-88) - 1). Suppose -19*b + b - 6 = -20*b. Suppose -4*j - m + 347 = 0, 42 + d = b*j - m. Is 15 a factor of j?
False
Let g = 949 - -78. Suppose -g = -4*y + 3*i, -5*y + 1250 = 3*i - 0*i. Is y a multiple of 15?
False
Is 6636/(-56)*(-48)/18 a multiple of 5?
False
Let q(i) = 34*i**2 + 3. Let h be q(-3). Let c(r) = -r**3 - 11*r**2 - 4*r - 19. Let f be c(-8). Let z = f + h. Does 30 divide z?
False
Let q be 758 - ((-5)/(5 + 0) - 0). Let b = q + -457. Is 7 a factor of b?
False
Let w = -1 - -1. Let i be 3/((-2)/(-2) - w/(-2)). Suppose -a + 81 = p - 6*a, -3*p - i*a = -297. Is p a multiple of 32?
True
Suppose 5 = -5*t + 25. Let p = 7 - t. Suppose -2*d - o + 64 = 4*o, 3*d - 75 = p*o. Is d a multiple of 3?
True
Let w = -445 - -1233. Suppose -n + 2*u + 398 = 0, 21*u = -2*n + 23*u + w. Is 65 a factor of n?
True
Let k = 3392 - 1614. Suppose 8*m - 702 = k. Suppose 135 + m = 5*n. Is 21 a factor of n?
False
Suppose 5*a - a = 5*u - 25, -4*a = 3*u + 17. Let b(y) = 2*y**2 + y - 1. Let v(t) = t**3 - 5*t**2 + t + 7. Let g(h) = 6*b(h) + v(h). Does 3 divide g(a)?
False
Suppose g = m - 3*m + 661, -2*g = -m + 338. Let x = m + -157. Is x a multiple of 5?
True
Is 55/(-22)*(-286752)/120 a multiple of 42?
False
Let h = -30 + 65. Suppose -17 = -4*o + h. Does 17 divide 72*(o/(-4) + 4)?
False
Let u(h) = -11 - 3*h + 32*h + 52*h - 2*h - 2*h. Does 11 divide u(16)?
True
Let v(x) = -41*x**2 + 45*x**2 - 6*x + 2 - 5. Does 8 divide v(5)?
False
Suppose 0 = 5*f - 13*c + 11*c - 503, c + 4 = 0. Let s = f - -16. Is 4 a factor of s?
False
Let f = 128217 + -76418. Does 17 divide f?
True
Suppose -12*d + 15312 = -8028. Does 88 divide d?
False
Let w = -3497 - -4897. Does 20 divide w?
True
Let j(t) = 2*t**2 + 14*t + 11. Let k = 81 - 31. Suppose -n = n - 5*s - 3, 5*n - s = -k. Is j(n) a multiple of 39?
False
Let y(s) = 9*s + 20. Let r(k) = -10*k - 20. Let j(t) = 6*r(t) + 7*y(t). Let a be j(-10). Let q(h) = h**3 + 10*h**2 - 4*h - 1. Does 8 divide q(a)?
False
Let a be (-2 - 6361)/(-3) - 1. Let i be 7 + 3 + 1 + 7. Is 8 a factor of (-3)/i + a/48?
False
Let k = -4370 + 9587. Is 141 a factor of k?
True
Suppose -2 = -a - 0. Let k = -107 + a. Is (-4)/(-30) - (1876/k + 4) a multiple of 3?
False
Suppose 0 = -632*t + 629*t + 2358. Suppose -16*l - t = -3346. Is l a multiple of 7?
False
Let b = -115 - -107. Is (-349)/b + (-27)/(-72) a multiple of 9?
False
Let m(h) = 8*h - 31. Let l be m(19). Suppose -l - 1499 = -5*r. Suppose -3*v - 3*i + 202 = 10, -5*v = 3*i - r. Is v a multiple of 6?
True
Let l = 71 - 65. Is 9/l*(-2580)/(-5) a multiple of 9?
True
Suppose 5*u - 9*u + 564 = 4*p, 0 = -2*p + 3*u + 312. Is p a multiple of 10?
False
Let j(w) = 4 - w - 7 - w + 33. Let s be j(9). Is -3*(-704)/s + 2 a multiple of 34?
False
Suppose 7*m - 100 = 1048. Suppose m = -8*u + 12*u. Let z = u + -13. Is 12 a factor of z?
False
Let q = -726 + 1346. Is 6/4*q/(-18)*-15 a multiple of 55?
False
Let i(s) = -s**3 + 13*s**2 - 30*s + 3. Let m be i(4). Let u be 130/(-18) - 2/(-9). Does 29 divide m*3 + u + 5?
False
Let w = 356 + -328. Suppose -w*x = -34966 - 146. Is x a multiple of 19?
True
Suppose 2*o = 5 - 35. Let r(f) = 2*f**3 + 34*f**2 + 59*f + 42. Let q(v) = v**3 + 17*v**2 + 30*v + 21. Let p(x) = -5*q(x) + 2*r(x). Is 9 a factor of p(o)?
True
Suppose -380713 - 380626 = -108*o - 24563. Is 24 a factor of o?
False
Is (22368/(-400)*5 + -1*4)*-60 a multiple of 24?
True
Suppose 0 = -u + 4*s - 0*s + 17, -s + 7 = 2*u. Let z(f) = -f**2 - 23*f - 81. Let o be z(-10). Let h = o - u. Is h a multiple of 19?
False
Suppose -9*y + 228 = -6*y. Suppose 3*q + q - 16 = 0. Suppose q*l - 100 - y = 0. Does 9 divide l?
False
Let h be -4*2/(-44) + 582/66. Is (837/h)/(3 - (-54)/(-20)) a multiple of 17?
False
Let l = -2302 - -2942. Does 10 divide l?
True
Let s be 33/(-198) - (-25)/6. Is (-1)/s - 5288/(-32) a multiple of 18?
False
Let g(b) = 624*b**3 + 4*b**2 - 5*b + 3. Is g(1) a multiple of 11?
False
Suppose 41*y + 8 = 45*y. Let n be (-618)/(-12) - (-2)/4. Suppose 2*b - 116 = -y*f, f = b + b + n. Is f a multiple of 15?
False
Suppose 29*j - 397414 - 306242 = 0. Does 54 divide j?
False
Let k = 560 + -555. Suppose -2*z = 5*i - 1037, -z - 36 + 562 = -k*i. Is 6 a factor of z?
False
Let f(y) = 10*y + 130. Suppose -4*m = 7 - 23, 2*m = 4*a - 84. Is 12 a factor of f(a)?
True
Let s = -62 - 292. Let c = 54 - s. Does 17 divide c?
True
Suppose 6*i = -2*i. Suppose i = -2*a - 6, l + 3*a - a - 8 = 0. Suppose -17*z = -l*z - 240. Does 8 divide z?
True
Let v = 88913 - 49865. Is v a multiple of 18?
False
Let y(j) = 243*j + 551. Is 12 a factor of y(5)?
False
Let a = -7981 - -17296. Is 27 a factor of a?
True
Let g = -36 + 3867. Suppose -12*o + 1569 = -g. Does 15 divide o?
True
Suppose x + 10*x = -55. Let g(m) = 26*m**2 + 6*m + 23. Is g(x) a 