19*x - 33. Let t = 75 - 92. Let r be k(t). Suppose r = -p + 61. Is p a multiple of 15?
True
Let p(i) = 4*i**2 + 8*i + 8. Let v be p(14). Let b = -521 + v. Is 16 a factor of b?
False
Let l be (-78)/4*104/78. Let t(h) = -6*h - 102. Is t(l) a multiple of 3?
True
Let b be 3/(-2)*56/(-42). Let f be (-3)/9*-1 - 10/(-6). Suppose -2*k - 5*p = -138, -f*k + b*p + 152 = -0*p. Is 47 a factor of k?
False
Let a(x) = -x**3 + 43*x**2 + 3*x - 52. Does 4 divide a(-8)?
True
Suppose -6*y - 220 = 26. Let m = 61 + y. Suppose 0 = 23*r - m*r - 123. Is 8 a factor of r?
False
Suppose 3*j = -12*d + 9*d + 1905, 5*j = -3*d + 3161. Is j a multiple of 4?
True
Suppose -1 - 95 = 6*k. Let a be 2/6 + k/48. Suppose a = 8*n - 1404 - 164. Is 25 a factor of n?
False
Does 9 divide (-269)/(-3) + (-76)/(-57)?
False
Let j = 14012 + 7273. Does 9 divide j?
True
Let k(o) = -o**3 + 33*o**2 - 107*o + 35. Is k(7) a multiple of 20?
True
Let u be 9/12 - 7992/32. Let q = 399 + u. Is q even?
True
Suppose -5*p + 10218 = 2*u, p = -707*u + 703*u + 20472. Is u a multiple of 9?
False
Let s be 8 - (-1 - (-6 - -1)). Suppose -2*i - 2*o + 65 = 13, 0 = -s*o + 16. Suppose -v + i = 1. Does 18 divide v?
False
Does 140 divide 14503*(11/(-33) - (-90)/27)?
False
Suppose 3*c + 1 = -2*b, -2*b - b = 2*c - 11. Let t be (-12)/(-2) - 5 - b*1. Is 14/1 + 2 + t + 4 a multiple of 3?
False
Suppose 809 = 4*h + 81. Let t = h + -153. Is t a multiple of 6?
False
Let g(d) = -458*d + 14. Let y(c) = 458*c - 12. Let u(n) = -4*g(n) - 5*y(n). Is 14 a factor of u(-1)?
True
Is 6 a factor of -18*(2 - -4)/(-36)*332?
True
Let u = 112 + -108. Suppose -u*x + 3*w = -82, 0 = 5*x + 4*w - 2*w - 114. Does 2 divide x?
True
Let j(f) = 3*f - 8 - 8*f + 98 - 4*f. Does 48 divide j(-6)?
True
Suppose -2563468 - 296022 - 3462110 = -150*y. Is 214 a factor of y?
False
Let b(p) = 39*p**3 - p**2 - 3*p - 2. Let x be b(2). Let m = x - 55. Does 7 divide m?
True
Let f(a) = -22 + 1488*a**2 + 1484*a**2 - 2956*a**2. Does 42 divide f(5)?
True
Let u(z) = 13*z**2 - 87*z + 588. Is 21 a factor of u(18)?
True
Let t(h) = 3*h + 2 + 4*h**2 - 3*h - h. Suppose 0 = g - 59 + 58. Is 2 a factor of t(g)?
False
Suppose 0 = 4*m + 1195 - 255. Let t be (39 - -1)*(12 - -128)/14. Let c = t + m. Does 19 divide c?
False
Let y = -1475 - -2371. Is y a multiple of 32?
True
Suppose 46*i - 152*i + 2969908 = 106*i. Does 4 divide i?
False
Let v be 48/6*-1*(-2)/(-8). Let g(b) = 42*b**2 - 9*b + 6. Is 8 a factor of g(v)?
True
Let y = 1423 + 654. Is y a multiple of 37?
False
Suppose 748 - 9100 = -4*u + 4*c, 5*c + 4200 = 2*u. Is u a multiple of 50?
False
Let j be (52/65)/((-2)/(-10)). Suppose -a = -j*a + 9, 5*a + 77 = 2*i. Suppose -3*l = -i - 74. Is 3 a factor of l?
False
Let o = 50428 - 20218. Is o a multiple of 114?
True
Let t be (2 - 3) + -3 + (-66)/(-3). Let j(r) = 7 + 25*r**2 - r**2 - 4*r - t + 17. Does 25 divide j(2)?
False
Let x(t) = 513*t**2 + 16*t - 10. Is x(-4) a multiple of 14?
True
Let o(r) = 10*r**2 - 34*r + 202. Suppose -18*x - 56 = -26*x. Is o(x) a multiple of 8?
False
Let n = 71 + -83. Let o be n/9*(15*2 + 3). Is 4 a factor of 2/(-11) - 1240/o?
True
Suppose 7*a + 16 = 8*a. Suppose a*j = 14*j - 354. Let n = 312 + j. Does 27 divide n?
True
Let d(q) = -9*q**3 + 14*q**2 + q + 9. Does 2 divide d(-3)?
False
Let s be (-1800)/(-135)*(-2)/(2/15). Let v be ((-124)/10)/((-2)/s*5). Let r = v - -369. Does 11 divide r?
True
Suppose -2*i - 4*g + 33462 - 2562 = 0, 4*i - 61800 = 5*g. Is i a multiple of 150?
True
Suppose 6*o - 5855 = 493. Suppose -4*c + 3*f + 267 = -3*c, -4*c = -2*f - o. Is 4 a factor of c?
True
Let i be 2 - (-101)/9 - 14/63. Suppose i*j - 2*j + 792 = 0. Let m = -21 - j. Is m a multiple of 17?
True
Suppose -28*x + 136425 + 72567 = 0. Does 48 divide x?
False
Is 54/6 - 88*4*-32 a multiple of 8?
False
Suppose -18*o + 615 = -15. Suppose -31*g + o*g = 2612. Does 10 divide g?
False
Suppose 6283 = 4*t - 253. Does 14 divide t?
False
Let o = 4779 - 3575. Is o a multiple of 14?
True
Let c(u) = 2*u**3 - 510*u + 126. Is c(31) a multiple of 94?
True
Let i(k) = 8*k**2 + 3*k + 19. Let s(u) = -7*u**2 - 2*u - 18. Let y(v) = -6*i(v) - 7*s(v). Is 38 a factor of y(15)?
False
Let u = -865 - -2748. Is u a multiple of 11?
False
Suppose -21*h + 17000 = -25336. Is h a multiple of 21?
True
Suppose -d + 6 = w, -6*d - 32 = -2*w - 3*d. Suppose 3*h - 567 = w*h. Let k = -26 - h. Is 37 a factor of k?
False
Let r(n) = n**2 + 262*n - 1847. Is 32 a factor of r(144)?
False
Let b be -2 + ((-8)/20 - 22/(-5)). Let g be (2 - -4) + -5 - (b - 0). Is ((-1)/g - (-7)/35)*5 a multiple of 4?
False
Let u(x) be the first derivative of 2*x**3 + 4 - 3*x - 5/2*x**2. Is u(5) a multiple of 20?
False
Suppose 3*c + 762 = 5*c. Let w be 1/2 + -451*(-2)/(-4). Let d = w + c. Is d a multiple of 52?
True
Let w(q) = -q**2 - 9*q + 8. Let a be w(-9). Let o(c) = -c**3 + 6*c**2 + 5*c + 1. Let m be o(a). Is m/(-9) + (-3)/(-9) even?
True
Is 9 a factor of (-1)/(-10) + 1/((-100)/(-403790))?
False
Let b(f) = f**2 - 12*f + 28. Let l be b(10). Suppose -l*z + 3*z = 2*s - 816, 4*z + 3*s = 657. Does 18 divide z?
True
Let k(n) = 15*n**3 + 20*n**3 + 52 + 3*n - 36*n**3. Is 13 a factor of k(0)?
True
Let x = -38367 + 57491. Does 256 divide x?
False
Does 23 divide (7 - -1) + 64/416 + (-214104)/(-39)?
False
Let s = 298 + -162. Let z = 48 + s. Does 3 divide z?
False
Let c(l) = 2*l**2 + 4*l + 3. Let x be c(4). Suppose -22*j - x = -25*j. Is 17 a factor of j?
True
Let d(l) = -25*l**3 + 42*l**3 - 3*l + 6 - 16*l**3. Let x be d(6). Suppose 2*o + 2*f - 148 = -o, 0 = -4*o + 4*f + x. Is o a multiple of 7?
False
Let a(z) = 3*z**2 + 16*z. Let u(q) = 4*q**2 + 14*q - 1. Let v(m) = -5*a(m) + 6*u(m). Let r = 1 + 1. Is 5 a factor of v(r)?
False
Let z(p) = 2*p**3 - 17*p**2 + 21*p + 16. Let o be z(10). Suppose -o = -4*s - 46. Does 8 divide s?
True
Suppose 4456 = 3*l - 2*x, 520*x - 2988 = -2*l + 517*x. Does 62 divide l?
True
Suppose 2*f - 8308 = -3*l, -11061 = -4*l + 588*f - 593*f. Is l a multiple of 73?
True
Suppose -y + 6*y = -100. Let c(l) be the first derivative of l**4/4 + 19*l**3/3 - 11*l**2 + 5*l + 33. Does 5 divide c(y)?
True
Suppose -4*q + 12 = -3*y - 2, -q - y = 0. Is 10276/40 + q/20 a multiple of 9?
False
Does 13 divide -8*(-22)/(-264) + (-17714)/(-12)*4?
False
Let o(r) = 4*r**3 - 64*r**2 + 130*r + 60. Does 9 divide o(21)?
True
Let y(v) = v**3 + v**2 - 1. Let m be y(0). Let x(q) = q**2 + 41*q + 477. Let n be x(-26). Is (n + -15)/((-2)/(m - 1)) a multiple of 17?
False
Suppose 5*t = -4*r + 8200, 3*r = -3*t + 3093 + 1824. Is t a multiple of 6?
True
Let y(u) = -29*u + 5. Let t be y(-2). Let w = -60 + t. Does 6 divide 206/(-6)*(w + -6)?
False
Suppose -218*w + 498*w = -287*w + 7707798. Is w a multiple of 7?
True
Suppose -5*m + u = -0*u + 23, 12 = 4*u. Let q be 120/18*(-3)/m. Suppose -10*y + 465 = -q*y. Does 8 divide y?
False
Suppose 5*t - 9 - 1131 = 0. Suppose -2*q + c + t - 72 = 0, -2*c = -2*q + 154. Is 11 a factor of q?
False
Suppose -3*v = 6, -55*v = 2*y - 51*v + 74. Suppose i - 4*t - 42 = 4*i, i + 14 = 5*t. Let m = i - y. Does 10 divide m?
False
Let t(r) = 137*r**3 + 17*r**2 - 152*r + 29. Does 45 divide t(7)?
False
Suppose 3589*t - 1287724 = 3543*t. Is 14 a factor of t?
False
Let z(d) = -86*d - 4. Let k be z(-2). Suppose -2*g + 36 = k. Let n = -57 - g. Does 9 divide n?
True
Let l(a) = 12 + 22 + 37*a - 90 + 25. Is 13 a factor of l(11)?
False
Let p be (-4 - 0) + 1*12. Suppose -b - 5943 = -p*b. Does 38 divide b?
False
Let v be 1/(-1*(7/(-2) - -3)). Suppose v = 2*l, -4*l + l = 2*n - 647. Let y = n + -203. Is y a multiple of 19?
False
Is (51950/35 - -6) + (-18)/63 a multiple of 3?
False
Let s(n) = 2*n. Let i(g) = 36*g - 42. Let o(u) = 2*i(u) - 18*s(u). Is 22 a factor of o(6)?
True
Let w = -4044 + 9281. Is w a multiple of 7?
False
Suppose 0 = -9076*q + 9064*q + 66492. Does 46 divide q?
False
Suppose -8*m - 2*i + 217390 = 0, 5*m - 3*i - 5790 = 130100. Does 15 divide m?
False
Suppose 2*b = -q - 0*q - 919, b = 2*q + 1848. Let a = q + 1561. Does 15 divide a?
False
Suppose 4*b - 2*b = 2, -12 = 2*f - 4*b. Let l(y) = 16*y**2 + 5*y. Let n be l(f). Let g = -121 + n. Is 23 a factor of g?
True
Suppose 45*d - 437942 = -24887. Is d a multiple of 23?
False
Let q = -33409 - -75784. Does 22 divide q?
False
Is 56 a factor of ((-19)/(-3) + -3)*(1177 - 7 - -6)?
True
Suppose -3 = -2*n + 1. Suppose