pose z = 3*c - 19. Suppose -c*f + 120 = -3*f. Does 6 divide f?
True
Is 10 a factor of -3 - 14246*3*7/(-42)?
True
Let y = 455 + -455. Suppose -t - 5*l + 56 + 78 = 0, y = 4*t - 4*l - 608. Is 22 a factor of t?
False
Let r = 14826 - 7176. Is r a multiple of 25?
True
Let m = -2489 + 2756. Does 2 divide m?
False
Suppose -5*p - 20 = -10*p. Suppose 5*d - 6*d = -p. Let i = d - -29. Is i a multiple of 14?
False
Suppose 154257 = 30*w + 8457. Is w a multiple of 30?
True
Suppose -66*u + 377249 = -42511. Does 24 divide u?
True
Let n = 23 - 8. Suppose n*o = 4*o + 1782. Does 6 divide o?
True
Let o(z) = 49*z + 511. Is o(-8) a multiple of 8?
False
Let s(j) = 3*j**2 - 90*j - 114. Is s(32) a multiple of 11?
False
Suppose 4*j = -5*x + 7 + 2, 0 = -4*x + 4. Let s be (j + (5 - 8))*-17. Let d = s - 10. Is d a multiple of 12?
True
Suppose -4*j + 9*j - y = 155, 4*y = 2*j - 62. Let c(n) = -j*n + 15 + 61*n - 28*n. Is 7 a factor of c(3)?
True
Suppose 20 = l + 4*q, -l - 3 = 3*q - 19. Let j(m) = 16*m**2 - 12*m - 28. Let t(w) = 4*w**2 - 3*w - 7. Let o(f) = -2*j(f) + 9*t(f). Is o(l) a multiple of 15?
True
Suppose 0 = -x - 5*o, 3*x - 2*o = o + 18. Suppose 7*y = x*y + 594. Does 27 divide y?
True
Let g(t) = -53*t - 67. Let z(v) = -13*v - 17. Let o(f) = -2*g(f) + 9*z(f). Let q = 2649 + -2655. Does 3 divide o(q)?
False
Suppose -25*o - 681980 = -111*o. Does 26 divide o?
True
Suppose 31*h = 29*h - 65*h + 407561. Is h a multiple of 79?
True
Suppose 48*r - 3078 = 66042. Does 8 divide r?
True
Let k = -213 + 632. Let u = k + -267. Does 6 divide u?
False
Let r(l) = -l**3 + 51*l**2 - 250*l + 116. Does 16 divide r(36)?
False
Let k be ((-4)/(-3))/((-2)/(-3)). Suppose 4*o - 1 = -d, 5*o - k = o - 2*d. Suppose 4*n - 2*s - 100 = -o*n, 2*n - 5*s - 58 = 0. Is 8 a factor of n?
True
Suppose 52*t - 5*u = 50*t + 3, -3*t = 2*u - 33. Suppose 2*r - 1378 = -2*s, 0 = -t*s + 4*s + 4*r + 3481. Is s a multiple of 11?
True
Suppose 2490 = 152*k - 157*k. Let d = 984 + k. Does 14 divide d?
False
Let b = -21 - -13. Let k(u) = -11*u - 1. Let w be k(b). Suppose -4*q + w + 97 = 0. Does 23 divide q?
True
Does 14 divide 5/((-45)/2) + 3230170/153?
True
Let m be (14 + 1)*(-10)/((-30)/(-9)). Let v = 69 + m. Suppose -v*u = -27*u + 132. Is 7 a factor of u?
False
Suppose 4*w + 3*w + 70 = 0. Let q(k) = -78*k + 104. Is q(w) a multiple of 17?
True
Let g = 71086 - 39950. Is 278 a factor of g?
True
Let o be (-3)/4 + (-190)/(-8). Suppose -5*y - 2*j = -0*j - o, -2*y + 3*j = -13. Suppose -45 - 205 = -y*s. Is 8 a factor of s?
False
Let t(w) = w**3 - 10 + 11*w**2 + w + 0*w**3 - w**2. Let l be t(-7). Suppose 3*v - l = -2*i, 2*v - 5*i - 118 = -6. Does 13 divide v?
False
Let v(m) = 785*m + 1044. Is v(6) a multiple of 21?
True
Let a be ((182/(-70))/(-13))/((-1)/(-10)). Does 3 divide (-2)/a + -9 - -5 - -172?
False
Let t = 36203 + -30452. Does 6 divide t?
False
Suppose 4 = 2*p, -l + 6*l - 5*p = -6030. Let h = l + 2329. Is 23 a factor of h?
False
Let k = 5717 + -5621. Is k even?
True
Let l = 155 - 147. Suppose 15*z - 1722 = l*z. Is 41 a factor of z?
True
Is (1/2)/((-4)/32) - (-703872)/104 a multiple of 58?
False
Let w(j) = -3*j + 64. Let i be w(-14). Suppose -5*m + i = 3*h, 4*m = -4*h - h + 168. Suppose -605 = 27*l - h*l. Is l a multiple of 28?
False
Let g(u) = 34*u**2 - 19*u - 155. Is 14 a factor of g(15)?
True
Suppose -5*p = 4*k - 6964 - 755, -2*p = -k + 1946. Is k a multiple of 17?
False
Let m = 15358 + -9222. Does 26 divide m?
True
Let v = -9829 - -13625. Does 29 divide v?
False
Is -5 + (-208)/(-32) + 6857/2 a multiple of 10?
True
Suppose 2*z - 1339 - 4023 = 270*y - 267*y, 2*y = 0. Is 56 a factor of z?
False
Let p(r) = 151*r**2 + 6*r - 11. Let k be p(2). Let f = k - 143. Does 26 divide f?
False
Let y(t) = 25*t - 57. Let k(n) = -2*n**3 + 23*n**2 + 12*n + 3. Let l be k(12). Is 5 a factor of y(l)?
False
Let b = -61860 + 101565. Does 15 divide b?
True
Let c be 15 - (5 + -7)*-3 - 3. Let j(o) = -2*o**2 + 4*o**2 - 4*o + 0*o - 12. Is 10 a factor of j(c)?
False
Suppose 69 = o - 5*z - 45, 5*z = -2*o + 213. Suppose -o*w + 112*w = u - 696, 0 = -u - 4*w + 696. Is u a multiple of 32?
False
Is ((-2096003)/651)/(2/(-18)*1) a multiple of 13?
True
Suppose 0 = 5*f - v - 535 - 668, -969 = -4*f + 3*v. Is 30 a factor of (-8000)/f*(-1 + 13/(-5))?
True
Suppose -9*s - 3*b + 21105 = -8*s, -2*s - 5*b + 42204 = 0. Is s a multiple of 33?
True
Let k = 1427 + -1249. Is k even?
True
Suppose 9*d - 5 - 22 = 0. Suppose 0 = 2*c + 4*z + 10, 2*z = 5*c + d*z + 7. Is 3 a factor of 36 + c + 1/(1/(-4))?
False
Let k(x) = -x - 31*x**2 - x + 75*x**2 + 0*x - 29*x**2. Let b = -5 - -3. Does 16 divide k(b)?
True
Suppose 4*a + 0*s = -5*s + 2404, 0 = -4*a - 3*s + 2412. Let q = -308 + a. Let x = q - 138. Does 15 divide x?
False
Suppose 0 = 5*k - 23*d + 22*d - 104, 4*d = -16. Suppose -920 = -k*s - 140. Does 39 divide s?
True
Suppose 0 = -5*a + 7 + 13. Suppose -140 = -q - l - 3*l, -2*q + 292 = -a*l. Does 12 divide q?
True
Let r be ((-13)/1)/(16/96). Let q = r + 96. Suppose -208 = -q*f + 14*f. Is f a multiple of 13?
True
Suppose 5*q - 108 - 47 = 0. Suppose -1624 = -q*p + 6405. Is p a multiple of 7?
True
Let u be (1 - 9)*3*2/3. Let a = -18 - u. Let b(m) = 34*m**2 + 5*m + 3. Is 41 a factor of b(a)?
False
Suppose 28*b - 15 = 27*b. Suppose -2*p = -2*c - 8, -1 - b = -2*p + 4*c. Suppose p = -11*n + 5*n + 66. Is n a multiple of 3?
False
Let l = 41 - 39. Let i(o) = 3*o**2 + 5*o + 5. Let a(c) = 4*c**2 + 4*c + 6. Let m(d) = l*a(d) - 3*i(d). Is m(-5) a multiple of 6?
False
Suppose 1492 = -5*r + 3767. Suppose -6*v + 11*v - r = 0. Let b = 169 - v. Is b a multiple of 11?
False
Suppose 35*y - 453738 = -247*y. Does 53 divide y?
False
Let k(f) = -f**3 - 50*f**2 - 71*f + 236. Is 10 a factor of k(-50)?
False
Let p = -1190 - -1627. Is 3 a factor of p?
False
Suppose 9*t + 4*p = 4*t + 20, -2*p = -3*t - 10. Let q(y) = 2*y + 17. Let x(g) = -1. Let u(w) = q(w) - 4*x(w). Is u(t) even?
False
Let u(z) = -3*z**2 - 35*z + 20. Let l be u(-10). Suppose -5*c + 10*c = l. Is c a multiple of 14?
True
Let o = 4 - 10. Let w be (28/o)/7 - (-1)/(-3). Is 7 a factor of 35 - 2/4*(w - -1)?
True
Let r be ((-4)/(-1) + -1)/((-78)/(-364)). Suppose r - 2 = 6*p. Suppose k = 5*a + 82 - 226, p*a = k + 60. Does 10 divide a?
False
Let m = -12 - -16. Suppose 291 = 4*r - f, r - m*f - 80 = 4. Suppose o - 5*o = -r. Does 3 divide o?
True
Suppose 3*d = -180 + 36. Does 6 divide (1 - (-3274)/8)*(-64)/d?
False
Does 27 divide 6 + (-310280)/(-128) - 3/48?
True
Let d = -1485 + 904. Let u = -341 - d. Does 12 divide u?
True
Let k(b) = b**3 - 34*b**2 + 65*b - 26. Let c be k(32). Suppose c*h - 4*h - 450 = 0. Does 25 divide h?
True
Let u(k) be the third derivative of -7*k**7/720 - 23*k**6/720 - 7*k**5/30 + 31*k**2. Let s(d) be the third derivative of u(d). Does 13 divide s(-4)?
False
Let j = 1381 + 1364. Does 45 divide j?
True
Let i = 433 - 478. Does 10 divide 6306/45 + 6/i?
True
Let t(d) = 27*d - 23. Let n be t(12). Let c = n + -181. Suppose -c = -5*x - h - h, -3*x - 4*h + 72 = 0. Is x a multiple of 21?
False
Suppose 4*g - 6 = 10. Let w(a) = -a - 9. Let i be w(0). Is g/(-6) + (-33)/i a multiple of 3?
True
Let p = 544 - 540. Suppose -5*t - 4064 = -p*k, k - 3*t - 678 = 331. Is k a multiple of 24?
False
Suppose -k + 4*q + 792 = 0, -3*q + 4*q - 1584 = -2*k. Suppose -26*z + k = -15*z. Does 3 divide z?
True
Let w(n) = 9*n**3 - 17*n**2 + 167*n - 30. Is w(8) a multiple of 318?
False
Suppose 0*k - 2*k + 10 = 0. Suppose -k*w + 2*w + 466 = 4*m, 0 = 4*w + 3*m - 633. Does 18 divide w?
True
Let p = -65 - -105. Does 30 divide p/30*135/6?
True
Suppose -2*a + 25 + 17 = 2*c, 0 = -4*c + 2*a + 66. Suppose -3584 - 142 = -c*q. Is 23 a factor of q?
True
Let x = -12261 + 26226. Is 15 a factor of x?
True
Let k be (-78 - 268)/((-2)/(4/1)). Suppose 5*s - 1073 = k. Is 40 a factor of s?
False
Let h(d) be the first derivative of -d**4/4 + 10*d**3/3 + 11*d**2/2 + 4*d - 2. Let t = -970 - -980. Does 19 divide h(t)?
True
Suppose 93*n - 91*n = 22. Is 5 a factor of ((-1364)/12)/n*-12?
False
Is 7 a factor of 122639/99 - ((-4)/(-18))/(-1)?
True
Let z = 12 - 10. Let u(b) = 0 - z + 17*b - 79*b - 5*b. Does 42 divide u(-3)?
False
Suppose 26*l - 1672 = -1048. Is l a multiple of 12?
True
Let p = 4 - -11. Suppose -2*y - 5 = -p. Suppose y*s = -4*f + 329, -48 = f - 2*s - 127. Is f a multiple of 9?
Tru