 Let u = 767 + a. Is u a multiple of 34?
True
Let v(r) = r**2 - 19*r + 32. Let k be v(18). Let g be 16/7 + (-4)/k. Suppose -2*j + 54 = q + g*q, 2*j + 2*q = 50. Is 12 a factor of j?
False
Suppose -2*w - 4*w = -0*w. Suppose -3628 + 316 = -5*z + b, w = -4*z + 5*b + 2637. Does 13 divide z?
True
Let p = 204 + -197. Suppose -5*s - 132 = -p*s. Does 22 divide s?
True
Let n(o) = o**2 + 4*o - 2. Let h(v) be the second derivative of v**5/20 + v**4/2 - v**3 + v**2/2 + 5*v. Let l be h(-7). Is n(l) a multiple of 10?
True
Suppose 22*k + 959 = 23*k - 4*q, 0 = -k - 3*q + 931. Does 2 divide k?
False
Let r = -2471 - -3586. Suppose r = 5*q + 5*w, 5*q + w + 2*w - 1109 = 0. Is 3 a factor of q?
False
Let j(h) = 366*h - 60. Let y be j(4). Suppose y = 28*s - 16*s. Is s a multiple of 13?
True
Let n = 21 - 12. Suppose -n*k + 3 = -6*k. Does 7 divide (k - 4)*(-87)/9?
False
Suppose -197*h + 9120 = -181*h. Suppose 2*v + 15*i - 20*i - h = 0, 5*i = 4*v - 1130. Does 10 divide v?
True
Suppose 4186 = 8*r - 9038. Let v = 2715 - r. Does 18 divide v?
True
Suppose -605*v + 3564267 = -206*v. Is 40 a factor of v?
False
Let s(w) = 4*w**2 + 21*w - 7. Let c be s(-5). Let x be (62/(-6))/(c/108). Let p = x - 45. Is p a multiple of 8?
True
Let d(l) = -532*l + 9. Let t(p) = 266*p - 5. Let k(c) = -2*d(c) - 5*t(c). Is k(-3) a multiple of 21?
False
Let t(q) = 21*q**2 - 54*q - 4. Let v be (26 - 34)/((-2)/(-1)). Is 16 a factor of t(v)?
False
Let d(g) = -g**2 + 6*g + 37. Let l be d(-7). Let z = l + 147. Let f = z + -37. Is 7 a factor of f?
True
Does 5 divide ((-158)/237)/(1226/1230 + -1)?
True
Suppose -g + 1342 = -i, -1526 - 3839 = -4*g + 3*i. Is 13 a factor of g?
True
Suppose 73*d - 70*d = -2*k, -k = 2*d. Let f(i) = 65*i**3 - i**2 + 1. Let l be f(-1). Does 14 divide (3 - (1 - k)*l) + 0?
False
Let r = -55 + 81. Suppose r*n - 34*n + 912 = 0. Does 19 divide n?
True
Let l = -393 + 718. Let p = -85 + l. Is 24 a factor of p?
True
Suppose 0*m - 993 = -3*m. Let o = m + -69. Is o a multiple of 10?
False
Let m(y) = 10*y + 128. Let f be m(-12). Let d(j) = j**2 + 15*j - 11. Let p(q) = -q**2 - 30*q + 21. Let o(c) = 5*d(c) + 3*p(c). Is 16 a factor of o(f)?
True
Let m(r) = 220*r**3 - 32*r**2 - 14*r + 5. Is m(5) a multiple of 7?
True
Suppose 0 = -t + 4*z + 13, z = -2*t - 3*t + 23. Suppose t*s = -10, i + 5*s = -3*i - 10. Suppose 299 = 4*o - 5*p, 2*o + i*p - 155 = -3*p. Is o a multiple of 30?
False
Let t(g) = -6*g**2 - 10*g + 9. Let q be t(4). Let w = q - -532. Is w a multiple of 32?
False
Suppose 10 = -30*g + 31*g. Is 10 a factor of ((-20)/100 + 22/g)*170?
True
Let w = 2883 + -2085. Is w a multiple of 114?
True
Let q = -114 - -118. Let m(n) = 319*n - 11. Is 15 a factor of m(q)?
False
Let m = 579 - 549. Suppose 33*l - m*l - 873 = 0. Is l a multiple of 63?
False
Let z = 784 - -977. Is 3 a factor of z?
True
Does 22 divide -1 + 3778 + -11*(-152)/209?
False
Let d(y) = 172*y - 212 - 173*y - 133*y - 101. Does 25 divide d(-7)?
True
Does 9 divide (32/(-36))/(-4) + (-13)/((-819)/837634)?
False
Let p = -318 + 1245. Is 19 a factor of p?
False
Let j(d) = -3*d + 15. Let i be j(4). Suppose -i*m - 306 = -4116. Suppose 5*o - m = -2*h, 5*o - 3*h = -407 + 1652. Is o a multiple of 28?
True
Let u(n) = 2374*n - 5724. Does 8 divide u(14)?
True
Suppose -5*o = -4*l - 3*o + 1922, -5*o = -25. Let j = l - 468. Is j a multiple of 2?
False
Let n(m) = m**3 + 39*m**2 - 84*m - 8. Let f be n(-40). Let o = -722 + f. Is o a multiple of 53?
False
Suppose 0 = -65*j + 58*j + 826. Suppose 6*f = -j + 3250. Is 87 a factor of f?
True
Let g = -4 + 54. Suppose -44*z + g*z = 30. Suppose -z - 457 = -7*r. Does 22 divide r?
True
Suppose 9*u - 4*u = 0. Suppose u = 6*w - 2*w - 3*t - 85, -4*w - 2*t = -90. Does 3 divide w?
False
Suppose 30 = -2*m + 12*m. Suppose -637 = -m*v - 103. Suppose -3*o = -50 - v. Is 9 a factor of o?
False
Suppose 0 = 2*f, 2*k + 4*f = -12 - 0. Let g = -15 - 6. Does 6 divide -7*(-3)/g*k?
True
Is (-212)/53 + 1960 + 2 + -1 a multiple of 103?
True
Suppose 4*b - 15200 = -145*d + 143*d, 0 = 4*d + 5*b - 30388. Is 19 a factor of d?
False
Suppose 13 + 17 = 3*y - 4*t, -2*t - 24 = -3*y. Let k(p) = 4*p - 19. Let q be k(y). Suppose -4*i - b = -77, q*b = -2*i + 19 + 42. Is i a multiple of 9?
True
Let k be (6/8)/((-69)/(-184)). Suppose k*o - 21*o = -817. Is o a multiple of 5?
False
Suppose 0 = -182*o + 190*o - 6960. Is 4 a factor of o?
False
Let k = -545 - -12865. Is 77 a factor of k?
True
Let o(y) = -95*y - 184. Let p(a) = 47*a + 92. Let b(c) = -2*o(c) - 5*p(c). Is 16 a factor of b(-7)?
False
Let k(h) = h**2 - 49*h + 198. Let j be k(38). Is 8 a factor of (-6)/3 - j - -8?
False
Suppose -16 = 4*f - 464. Is (-1176)/f*24/(-7) a multiple of 12?
True
Suppose -503*v = -124*v - 8072700. Is v a multiple of 100?
True
Let x = 6040 - 4111. Is x a multiple of 4?
False
Let i(b) = -b**2 + b + 34. Let k be i(0). Let m = 11 - k. Let q = 29 - m. Does 5 divide q?
False
Let p = -38 + 49. Suppose -6*s - 25 = -p*s. Suppose 8*v = s*v + 138. Is 23 a factor of v?
True
Suppose -5*u = -4*i + 173, 5*i - 195 = -u + 3*u. Suppose 575 = -4*q - i. Let o = 261 + q. Is o a multiple of 18?
True
Suppose -5*r + 66 = 36. Suppose 4*b + f - r*f = 2192, 0 = 2*b - f - 1090. Does 19 divide b?
False
Let t be 2080/280 + 6/(-14). Suppose t*v + 65 = 2543. Does 18 divide v?
False
Let a(i) = 8*i + 6. Let p be a(2). Let f(w) = 2*w**2 + 4 + 3*w**2 - w**2 - 14*w - 3*w**2. Does 30 divide f(p)?
True
Let o(r) = 327*r**2 - 36*r + 90. Is o(3) a multiple of 13?
True
Suppose 14 = 3*b - 0*b - 4*k, 2*k + 4 = 0. Suppose 2*q = -3*o - b + 10, -q - 11 = -o. Let i = 146 - o. Does 28 divide i?
True
Suppose 13*q - 18 = 15*q. Let y(v) = -v**2 - 12*v - 6. Let c be y(q). Does 4 divide (-3 + (-66)/(-18))/(1/c)?
False
Suppose -9*x + 3 = -24. Let z(t) = -24 - 4*t + t**2 + 12*t + 21. Does 15 divide z(x)?
True
Let u(l) = 3*l - 2. Let i be u(3). Suppose -31 = -6*f - i. Is 10 a factor of (-56)/(-3) - f/(-3)?
True
Suppose -5*s + 6929 = -3*t - 10326, -s + 11501 = -2*t. Is 23 a factor of t/(-4) - (-3 - (-24)/16)?
False
Let s = 19012 + -12313. Does 21 divide s?
True
Let f be -4*(20/8 + (-6)/3). Is 8 a factor of (f - -352) + -3 - 6?
False
Suppose 10*w - 709 = 421. Let i = w - 116. Let a(v) = 4*v**2 - 3*v + 4. Is a(i) a multiple of 40?
False
Does 50 divide 132008/(-40)*-1 - 4/(-140)*-7?
True
Let b(m) = m**3 - 37*m**2 + 54*m - 350. Is b(37) a multiple of 30?
False
Let o(p) = -p**2 - 9*p - 24. Let s = -121 - -115. Let d be o(s). Is 6 a factor of (-76)/6*27/d?
False
Suppose 93*q + 651 = 92*q. Let o = -311 - q. Is 5 a factor of o?
True
Suppose 28 + 0 = 5*f + 4*q, 4*f - 41 = 3*q. Suppose 0 = -4*b - a + 2807, -a + 7 = f. Is b a multiple of 18?
True
Suppose 6*b - 7 - 5 = 0. Suppose -s - 4*p = b*s + 390, p = -3*s - 381. Let o = s + 181. Is o a multiple of 5?
True
Let p(k) = -198*k + 132. Is p(-16) a multiple of 80?
False
Let u be 32/(-12)*17352/(-16). Suppose 11*x + u = 23*x. Is 32 a factor of x?
False
Let c(b) be the second derivative of -13*b**5/120 - 5*b**4/12 - 17*b**3/6 + 31*b. Let s(h) be the second derivative of c(h). Is 15 a factor of s(-10)?
True
Let f be 36/(-9)*(0 - 1). Suppose -3*v + 1 = 2*d, 2*d - 7*d = -2*v - 31. Does 19 divide 3122/56 + d/f?
True
Let p(h) be the second derivative of 52*h**3/3 + 37*h**2/2 - 8*h - 7. Is p(7) a multiple of 9?
True
Let l be ((-316 - -6) + 6)/(-2). Suppose 0 = 35*u - 33*u - l. Is u a multiple of 7?
False
Let p be 192/(-42) + (-125)/(-35) + -4. Let x be -5 + (-2)/(-1) - 8. Let g = p - x. Does 4 divide g?
False
Suppose -4*o = -3*r - 5833, 62*o = 60*o + 5*r + 2927. Is 28 a factor of o?
True
Let t(c) = 2*c**2 - 34*c + 76. Let w be t(38). Suppose 4*m - w = -3*d, -246 = -5*d + m + 2579. Is 6 a factor of d?
True
Let n = 3991 - -73. Does 33 divide n?
False
Is 4 + (-3)/(-3) - (1 - 1251) a multiple of 113?
False
Suppose 0 = -10*t + 6*t + 2140. Suppose 0 = -3*u + 3, -5*g - u - 2*u = -28. Suppose g*v - t + 80 = -5*s, -3*s - 5*v = -263. Is s a multiple of 8?
True
Suppose 3*f = 12, b + 3*f + 254 - 1577 = 0. Is 8 a factor of b?
False
Let m be (-34)/(-10) - 26/65. Suppose m*j - 5*x + 4*x = 142, -4*j + 3*x = -181. Is 7 a factor of j?
True
Let y(r) = -2*r**2 + 41*r - 53. Let g be y(19). Suppose -g*w + 101 = 3*t - 458, t - 5*w = 199. Does 7 divide t?
True
Let w = 13341 - 8675. Is w a multiple of 22?
False
Let k(a) = 