. Is p a multiple of 3?
True
Suppose 38672 = 5*r + 4*n, 19040 = 3*r - 2*n - 4128. Is r a multiple of 69?
True
Suppose -10 = -2*j, 2*j - 4 = 3*i - 3. Suppose 129 = 3*u + 3*k - 156, -5*u + i*k = -483. Is 32 a factor of ((u/40)/6)/(1/160)?
True
Suppose -1306*l - 6402 = -2*h - 1304*l, 5*h + l = 16035. Is h a multiple of 66?
False
Let s be 0 + (-193 - (-3)/(-1)). Let g = s + 128. Let x = -24 - g. Is x a multiple of 10?
False
Let f(o) = -131*o - 396. Let r be f(5). Let v = r - -1908. Does 35 divide v?
False
Let y(o) = -o**3 - 3*o**2 - 28*o - 134. Let x be y(-4). Is 77/(x/(-90)*5) a multiple of 11?
True
Suppose 0 = -12*b - 42893 + 231149. Suppose -35*c - b = -48868. Does 15 divide c?
False
Suppose -401 = -2*k - 3*w, -k - 5*w - 168 = -2*k. Let b = k + 478. Is 12 a factor of b?
False
Let g be 5 + -1 + -1 + 1. Let k = g - -6. Suppose 0 = 4*b - i - 52 - 24, 0 = -b - 2*i + k. Is 3 a factor of b?
True
Let z be 33/(-4) + 31/124. Let y(m) = -54*m - 41. Is y(z) a multiple of 34?
False
Suppose -547*t + 465*t = -241900. Is t a multiple of 13?
False
Let u(d) be the first derivative of -11*d**4/2 - d**3 - 3*d**2/2 - d - 47. Is u(-1) a multiple of 21?
True
Let b(z) = 134*z - 134*z + 4*z**2 - 1. Let g be b(-1). Does 9 divide (-1)/(4/(-540)*g)?
True
Suppose -4*k = -9*k - d + 45, -5 = -2*k - 3*d. Suppose -1366 = -k*a + 34. Is a a multiple of 28?
True
Let p be 1148/35 + -9 - (-1)/5. Is 35010/85 - p/(-204) a multiple of 8?
False
Suppose -99*s = -93*s + 936. Let i = s + 549. Is 54 a factor of i?
False
Let q(j) = 13 + 4*j - 9 + 4*j + 12. Let l(s) = s**3 - 14*s**2 + 28*s - 41. Let d be l(12). Is q(d) a multiple of 9?
True
Suppose -37 = -5*s - f, s - 19 + 4 = -4*f. Suppose 1055 + 1514 = s*w. Is w a multiple of 25?
False
Suppose -134*z + 138*z = u - 10383, -3*u + 31167 = -3*z. Does 7 divide u?
False
Suppose -2*t = -5*h - 57, h - 2536 = -3*t - 2527. Is 2 a factor of t?
True
Suppose -223478 = -5*v - 36*v - 40085. Does 63 divide v?
True
Suppose -5*n - 14 = c, -2*c - 2 = -3*c - n. Suppose c*d - 8*d + 34 = -2*a, 5*d - 81 = a. Is 4 a factor of d?
True
Is 26 a factor of 3/18*9 + 42140/56?
True
Suppose 6 = 2*k - 0*k. Suppose o + 5*b - 106 = 0, 23*b - 14*b - 479 = -4*o. Is (5 + -4)*(k + o) a multiple of 28?
False
Let w(l) = -6*l - 5. Let b be w(-7). Let h = 35 + -59. Let k = b - h. Is k a multiple of 13?
False
Let u = -325 - -383. Is 6 a factor of -63 + u - (-5)/((-10)/(-312))?
False
Suppose c - 4977 = 5*u, -3*c - 4*u = -21031 + 6062. Let r(y) = 12 + 4*y + c*y**2 + 12*y - 4985*y**2. Is r(-12) a multiple of 18?
True
Let j = 4043 - 373. Is 2 a factor of j?
True
Let r be (-1)/(-2)*(2811 + -1). Suppose s - 33*o - 485 = -37*o, 0 = -3*s - 2*o + r. Does 9 divide s?
False
Is 11 + -4 - (-596560)/20 a multiple of 51?
True
Let w(h) = 1312*h + 1144. Is 24 a factor of w(8)?
True
Let q(v) = -15*v + 7. Let s be q(-12). Let d = s - 59. Suppose 7*g = 9*g - d. Is g a multiple of 8?
True
Suppose -157*b + 445 = -162*b. Let t = 259 + b. Is 5 a factor of t?
True
Suppose -3*b - 24 = -b - 4*n, -2*b + 2*n = 32. Let p(s) = s + 26. Let z be p(b). Suppose 0 = 3*a + z - 18. Is 3 a factor of a?
False
Suppose -3*p - 895 = -5*y + 2*p, -2*p - 10 = 0. Let j = 1581 + -1588. Let h = j + y. Is h a multiple of 18?
False
Let p = 33728 + -13862. Does 77 divide p?
True
Let y be 154 - 0/((-7)/7). Suppose -y = 3*z - 1936. Does 54 divide z?
True
Let a = 103 + -70. Suppose 4*z - a = 2*x + 151, 5*x = 4*z - 178. Let w = z - 1. Is 8 a factor of w?
False
Suppose -418*s + 733851 = -2168323. Does 70 divide s?
False
Let t be (-282)/(-18)*101 - 3/9. Suppose -1577 - t = -9*z. Is z a multiple of 27?
True
Suppose -5*s + 140 = 3480. Let o = 437 + s. Does 11 divide (20/(-6))/(14/o)?
True
Let x(b) be the second derivative of -b**5/20 - b**4/12 + b**3/3 + 5*b**2/2 - 2*b. Let n be (16/(-10))/(((-36)/15)/(-6)). Does 10 divide x(n)?
False
Is (132 + (3 - 0))/((-62)/(-682)) a multiple of 33?
True
Suppose -1632 = 276*b - 72*b. Let q(y) = y**3 + 6*y**2 - 2*y - 2. Let c be q(-6). Is c/(-4)*(b + -28) a multiple of 15?
True
Let k be 51/(-2)*6/(-9). Suppose k = 5*f - 8. Suppose 0 = f*s - 52 + 2. Is 5 a factor of s?
True
Suppose 0 = -4*u + u + 6. Suppose -3*f + 10 = u*l - 193, l - 99 = -2*f. Is l a multiple of 6?
False
Let m(w) = -77*w + 684. Let y(v) = 52*v - 456. Let r(c) = 5*m(c) + 8*y(c). Is r(34) a multiple of 47?
False
Let a = -103 - -140. Suppose -a*t + 8*t = -33640. Does 58 divide t?
True
Suppose 5*p - 6*p = -2*v + 41, 5*p = -4*v - 247. Suppose 2486 = 113*g - 135*g. Let x = p - g. Is 35 a factor of x?
False
Let o be 128/10*(-505)/(-2). Suppose -o = -6*q + 770. Does 29 divide q?
True
Suppose -8*q + 367 = -7260 - 4445. Is 37 a factor of q?
False
Let w(f) = 6*f - 14. Let y be w(-6). Let s be ((-6)/15)/((-62)/60 - -1). Does 11 divide 0 + (s/(-3) - y)?
False
Let c = 86 + -89. Is (-28 + -18)*c/2 a multiple of 5?
False
Suppose 5*g - d - 76176 = 0, -2*g - 2*d + 30488 = 2*d. Is g a multiple of 13?
True
Suppose -82*k = -314133 + 97201 - 537468. Is k a multiple of 16?
True
Let m = 91 + -89. Let o(l) = 30 + 2*l + 9*l - 34*l + l**m. Is 10 a factor of o(23)?
True
Let v(z) = z**3 + 21*z**2 + 20*z - 2. Let u be v(-19). Let q = 1 + u. Suppose 53 = -9*r + q. Is r a multiple of 4?
True
Let l be -4*(-7)/70 + 22/(-5). Is 12 a factor of -28*(1440/21)/l + 0?
True
Let k(d) = -21*d**2 - 11*d + 33. Let s(r) = 5*r**2 + 3*r - 8. Let i(c) = -6*k(c) - 22*s(c). Is i(4) a multiple of 18?
True
Is 21 a factor of 56286/30 + (-8)/(-10)?
False
Let l = -48 - -78. Let u(b) = -b**2 + 42*b - 87. Is u(l) a multiple of 13?
True
Let s(d) = -14*d - 22. Let a(m) = -m**3 - m**2 - m + 3. Let x be a(2). Let b(q) = -q - 24. Let n be b(x). Is 19 a factor of s(n)?
False
Suppose 561*b - 508*b = 88086. Is 92 a factor of b?
False
Let l = -4204 - -8828. Does 6 divide l?
False
Let z(q) = q**3 + 5*q**2 - 7*q + 12. Let a be z(-6). Does 27 divide (-5 - -3) + a*5?
False
Let b(r) = 4*r + 29. Let j be b(-7). Let f be (15 - 12)/(j/(-3)). Is 5 a factor of 8/(-36) + ((-65)/f - 2)?
True
Suppose 5*a - x = -0*a - 529, -5*x = -20. Let r = a - -44. Let f = -32 - r. Does 29 divide f?
True
Let v be (-2*2)/((-16)/8). Let y be (146/(-10) + 1)/(v/(-5)). Let h = 50 - y. Is h a multiple of 16?
True
Let y = 29 - 19. Let w(k) = -6*k + 55. Let v be w(y). Let p(f) = 2*f**2 - 12*f - 2. Does 11 divide p(v)?
False
Suppose z = b - 1, 5*b + 3*z - 24 = -3. Suppose 5*k - b*d - 1920 = 2*d, 5*d + 380 = k. Is k a multiple of 11?
True
Let c be (-2)/(1 + -5)*-2 - -17. Suppose -c + 13 = -k. Suppose 3*a = -5*t + 54, 4*t - 18 = 3*t + k*a. Is 6 a factor of t?
True
Let m(f) = -3*f**2 - 32*f + 70. Let o be m(2). Let s(t) = -2*t**2 + t - 7. Let q be s(5). Let w = o - q. Does 23 divide w?
True
Let r be (-12)/39 + (-4072)/(-52). Let o = -4 - -7. Suppose -o*y = 2*z + r - 193, -3*z - 2*y = -185. Is 21 a factor of z?
False
Let d = -348 + 680. Let q = 584 - d. Is 18 a factor of q?
True
Let h(v) = 10*v**2 + 20*v - 32. Let l be (6/10)/(17/170). Is 97 a factor of h(l)?
False
Let n(u) = 5*u + 74. Let d be n(-17). Let a be (40/14)/(d/(-154)). Does 10 divide (a/(-6))/((-10)/90)?
True
Suppose 21*o - 64*o = -103329. Does 12 divide o?
False
Suppose 10 + 50 = -3*m. Let h(q) = -q**3 - 20*q**2 - q - 15. Let p be h(m). Suppose p*u + 37 = 112. Is 3 a factor of u?
True
Is 3/11 - (-11789272)/2662 a multiple of 7?
False
Let w(r) = 2*r**3 + 2*r**2 + 1. Let f be w(-3). Let t(a) = -9*a - 85. Is t(f) a multiple of 23?
True
Let u be 1 + (1 - (-14)/2). Let w be (4/4 - 2)/((-3)/u). Suppose -4*y + 523 = w*b, -5*b + 62 = -y + 187. Does 12 divide y?
False
Let w(d) = 254*d**2 + 24*d - 3. Does 11 divide w(-5)?
False
Suppose 10*b - 5*b = 0, 12*b = 4*h - 55100. Does 25 divide h?
True
Let g = -544 - -547. Let c(l) = 46*l + 53. Is c(g) a multiple of 8?
False
Suppose y = 4*y + 4*f - 18, -3*f = 5*y - 19. Suppose -5*l + 3185 = 4*b, 0 = -2*l - y*b - 3*b + 1257. Is 72 a factor of l?
False
Let r(h) = 52*h + 97. Let p(t) = -55*t - 96. Let s(c) = -3*p(c) - 4*r(c). Is 32 a factor of s(-12)?
True
Suppose 0 = 3*q - 2*u - 58901, 3*u = -5*q + 4*u + 98152. Is 14 a factor of q?
False
Let k = 4054 + -3846. Is 6 a factor of k?
False
Let d = 4669 + -3568. Is d a multiple of 6?
False
Let a = 50 - 41. Suppose 30 = j + a. Does 35 divide (-2580)/(-14) + 2 + (-6)/j?
False
Let u = -325 - -463. Let n b