 i a multiple of 33?
True
Let u = -185 + 48. Let j = u + 281. Is j a multiple of 24?
True
Let r = 15 + -13. Let j be 6*(116 + 0)/r. Suppose -69*a = -73*a + j. Does 16 divide a?
False
Suppose -d - 1 = -a, -3 = -4*a + a + d. Let m(t) = 332 - 669 + 334 + 2*t + t**2 + 167*t**3 + t**2. Is m(a) a multiple of 56?
True
Suppose 2*l + u - 23402 = 0, 5*l - 11427 - 47077 = -2*u. Does 13 divide l?
True
Let r(d) = -52*d + 1424. Is 8 a factor of r(24)?
True
Suppose -4*q - 1336 = -2*y, 4*y + 0*q - 2652 = 3*q. Suppose -31*k = -25*k - y. Is k a multiple of 22?
True
Let h = -201 + 256. Is h*7 - (-6 - -7) a multiple of 12?
True
Suppose -2*p = -y + 575, y + 0*p - 582 = -5*p. Is y a multiple of 3?
False
Suppose -s + 28 = 3*f, -3*s + 6 = 3*f - 48. Suppose s*n - 10793 + 887 = 0. Does 16 divide n?
False
Let v(n) = -137*n - 2075. Does 16 divide v(-67)?
True
Let u be 3 + (-103 + -2)*(-3)/9. Let g = u + -66. Let q = g - -160. Does 13 divide q?
False
Suppose -67*p + 71*p = 20. Let w = 21 + -21. Suppose -3*c = -4*y + 801, -p*y + w*y = -2*c - 996. Is 22 a factor of y?
True
Suppose 5*r + 135 = 195. Suppose -r*y + 2574 = -y. Is y a multiple of 13?
True
Let m(j) = 6*j + j - 21 - 34 + 10*j. Is 8 a factor of m(7)?
True
Suppose 4*i + 16 = 2*u, -4*i - 16 = 2*u - 0*u. Suppose u = -5*d - 390 + 2000. Does 23 divide d?
True
Let q(r) = 5 - 9 + 1 - r + 2*r. Let k be q(9). Is 7 a factor of (-15)/k*(-25 - 1)?
False
Let s(m) be the third derivative of -3*m**4/8 - m**3/2 - 268*m**2. Suppose 0 = 3*t + 8 - 2. Does 2 divide s(t)?
False
Suppose -5*x + 5*z = -15910, -6*z + 12728 = 3*x + x. Is 6 a factor of x?
False
Suppose 2*m = 3*p - 7353 - 12797, 4*p + 4*m - 26880 = 0. Does 29 divide p?
False
Is 1170/(((-720)/27)/5 - -6) a multiple of 2?
False
Suppose -12*k + 1937 = -8*k - u, 3*k - 1430 = 4*u. Is 6 a factor of k?
True
Let z = -90 - -93. Let v be z/7 + (-2082)/(-42). Suppose 20 - v = -3*q. Is q a multiple of 4?
False
Let f = 15539 + -12955. Is 57 a factor of f?
False
Let l = -9493 - -13525. Is l a multiple of 9?
True
Suppose 0*f - 72 = 4*f. Let g be (-89)/(-7) + f/(-63). Suppose 0 = -2*a + g + 19. Does 4 divide a?
True
Let u(v) = 2*v**3 - 8*v**2 + 11*v + 2. Let h be u(4). Let z = h + -39. Suppose 2*i - 3*p = 81, -3*p = -i + 29 + z. Is 15 a factor of i?
True
Suppose 6*x + 104 - 494 = 0. Let d = x + -62. Suppose -600 - 245 = -5*a - d*u, a - 146 = 4*u. Is 49 a factor of a?
False
Let p be 2*(-13)/(-4)*-16. Let i(s) = -3*s**2 + 20*s + 248. Let m be i(14). Let z = m - p. Does 11 divide z?
True
Let d = -227 + 341. Suppose 2001 = d*b - 111*b. Is b a multiple of 28?
False
Suppose -5*z + 28*t - 26*t + 144200 = 0, -5*z + 144120 = 14*t. Is 260 a factor of z?
False
Does 66 divide (-17 - 110479)/(-6) + -2?
True
Suppose -14*y - 15 = -13*y - 2*g, 4*y - 2*g + 42 = 0. Does 6 divide y*16/(-360)*130?
False
Let n = 11327 - 7871. Is n a multiple of 12?
True
Suppose 665430 + 1224311 = 311*f + 8813. Is f a multiple of 18?
True
Suppose 5*l + 7547 - 41116 = -2*u, -l = 3*u - 6706. Is 85 a factor of l?
True
Suppose 789 = 13*q - 849. Is 25 a factor of 15813/q - (-1 - (-3)/2)?
True
Let u(w) = 1975*w + 659. Is u(6) a multiple of 36?
False
Let n be (18/12)/(2/124). Let x(k) = -k**3 + 12*k**2 - 2*k - 5. Let c be x(6). Let b = c - n. Is b a multiple of 13?
False
Suppose 0 = -5*v - d + 210304, -5*v = -33*d + 32*d - 210306. Is v a multiple of 15?
False
Let g(s) = 3*s**3 + 10*s**2 - 42*s + 280. Does 128 divide g(12)?
True
Let x(m) = 8*m - 3. Let z be x(1). Suppose 5*k - 2*j - 31 + 5 = 0, -z*k = -5*j - 20. Suppose 237 = k*f - 423. Is 22 a factor of f?
True
Suppose 4*u + 4*u + 56 = 0. Let a be (-3)/(-6 - u) + (4 - -1). Suppose -c = -a, 2*w - 3*c - c = 472. Is 20 a factor of w?
True
Suppose 0 = -0*u - 2*u - i + 108, 5*i = 0. Let n be (-6)/33 + (-4592)/154. Let m = u - n. Is 42 a factor of m?
True
Does 24 divide (-8)/((((-4)/(-168)*-2)/(-1))/(-9))?
True
Let j(n) = 804*n - 7701. Does 87 divide j(15)?
False
Let q = -38616 + 62380. Does 26 divide q?
True
Let t be (-92)/(-16) - 1/(-4). Suppose -171 + 146 = -k. Is (t - 10/k)/(1/25) a multiple of 35?
True
Let a be (-7)/(175/10) - 4/(-10). Suppose a = 6*g - 7*g + 52. Let x = g - -4. Is 33 a factor of x?
False
Let l = 3624 - 2729. Does 5 divide l?
True
Let f(b) = 112*b**2 - 17*b + 37. Let p(w) = 449*w**2 - 68*w + 146. Let m(r) = 9*f(r) - 2*p(r). Is 20 a factor of m(3)?
True
Let x be (-2 + -7 - -40608)*-1. Is 26 a factor of 8/6 + x/(-27)?
False
Suppose -4*n - 126 = 2*m, 3*n - 2*m + 88 + 3 = 0. Suppose 0 = -3*k + 5*k - 150. Let a = k + n. Does 13 divide a?
False
Is 111 a factor of (285/3)/((-7 - -10)/333)?
True
Suppose 400*l - 21*l - 199290 = -59*l. Does 5 divide l?
True
Let v(q) be the first derivative of 13*q**3/3 + 7*q**2 + 54*q + 63. Is 8 a factor of v(-4)?
False
Suppose 0 = -16*j + 742427 + 115045. Does 232 divide j?
True
Let c(p) be the first derivative of p**5/4 - p**4/6 + 2*p**3/3 - 3*p**2 + 26*p - 6. Let i(n) be the first derivative of c(n). Does 19 divide i(3)?
False
Is (107828/14 - 18) + -1*1*4 a multiple of 147?
False
Let p(d) = 15*d**3 + 5*d**2 - 5*d - 2. Let k be p(1). Suppose -k*y - 4224 = -21*y. Does 11 divide y?
True
Let z(m) = -79*m + 152. Let c be z(2). Suppose 0 = -2*a + 2, -a = -o + 4*o - 52. Let x = c + o. Does 2 divide x?
False
Let y(p) = 5*p - 3. Let m be y(7). Suppose 0 = m*h - 26*h - 114. Suppose -4*i - h = -5*i. Is 8 a factor of i?
False
Let o(v) = v**3 - 4*v**2 - 7*v - 10. Let l be o(8). Let f = -78 + l. Is f a multiple of 14?
True
Suppose 4*p + 273 = -3*p. Let g = p - -39. Suppose -i + 0*i + 222 = g. Is 11 a factor of i?
False
Let z = -18069 + 30385. Does 25 divide z?
False
Suppose -1436 = -4*v - 4*p, -5*p + p = v - 362. Suppose -395 - v = -2*x + s, 4*x - 4*s = 1500. Does 27 divide x?
True
Let v = 9576 + -8339. Is 2 a factor of v?
False
Let g(z) be the first derivative of 2*z**3/3 - 9*z**2 - 93*z - 101. Is g(19) a multiple of 41?
True
Let u(y) be the first derivative of -y**3/3 - 3*y**2/2 + 216*y - 1355. Let h = -2 + 2. Is u(h) a multiple of 18?
True
Let s = 57 - 57. Suppose s = 2*a + 3*a + 150. Is 12 a factor of (a/(-3) - -2)*(2 - -5)?
True
Suppose -5*u + 6*u = 3. Suppose 9 = -u*i, 3 = 5*m + 2*i - 11. Suppose 5*k - 9*a = -4*a + 430, 0 = -m*k + a + 359. Is k a multiple of 23?
False
Let j(v) be the third derivative of v**6/120 + v**5/30 + 5*v**3/2 + v**2 + 5*v. Is 5 a factor of j(0)?
True
Let q = -7552 - -8119. Does 17 divide q?
False
Let t(c) be the first derivative of -c**2 + 30*c + 1. Let j be ((-36)/15)/((-2)/(-5)). Is 9 a factor of t(j)?
False
Let d be (-13 + 0)*(3 + -4). Suppose d = -v - 2*o + 54, -3*v + o = -158. Suppose l - k + 6*k - v = 0, 0 = l + 4*k - 55. Does 7 divide l?
False
Let s(z) = 36*z**3 + 8*z**2 - 47*z + 181. Is s(6) a multiple of 13?
False
Suppose -32*p - 22*p + 42864 = -16*p. Is 141 a factor of p?
True
Let l be (-564)/90*-6 + 6/(-10). Suppose -2*f - 43 = -l. Let u(r) = -84*r - 18. Is u(f) a multiple of 19?
False
Let g = 734 + -381. Suppose -4*a - 2*a = 0. Suppose 5*q = -3*x + g, a = 4*q + 3*x - x - 282. Is q a multiple of 9?
False
Let l(q) = q**3 - 9*q**2 + 9*q + 21. Let c be l(9). Let w be (-147)/(-51) - (-12)/c. Let b(f) = 19*f**2 - 6*f + 11. Does 41 divide b(w)?
True
Let c(s) = 293*s**2 - 331*s + 4. Is 2 a factor of c(-5)?
True
Let x be (-30)/(-18) - (-1472)/24. Is (5/(60/x))/(6/616) a multiple of 19?
False
Suppose 5*p = -10, -5*p + 1476 = 5*j - 649. Is j a multiple of 7?
True
Let h be (2 + -11)*13/(-3). Suppose h + 116 = 5*v. Does 6 divide v?
False
Let p be (4/(-6))/2 - (-13)/39. Suppose v = -p*v + 2. Let s(l) = 5*l + 4. Does 7 divide s(v)?
True
Let y(o) = -461*o + 226. Is 52 a factor of y(-10)?
True
Let h(z) = 2*z**2 - 39*z + 20. Let n(m) = 2*m**2 - 40*m + 21. Let o(l) = -5*h(l) + 4*n(l). Is o(11) a multiple of 5?
False
Suppose -5*c - 59 = -4*j, 3*j - c = -2*j + 58. Let v be (36/(-27))/((-20)/6)*450. Suppose -v = j*q - 13*q. Is q a multiple of 15?
True
Let q(i) = 21*i**2 + 517*i - 8960. Does 5 divide q(17)?
False
Let x(i) = i**2 + 3*i - 20. Let h be x(3). Is 6 a factor of (h + 0)*(1 + (-34 - -3))?
True
Let u be (-62)/(2/(-1)) - 220/(-55). Does 15 divide (-1 - 44)/(u/(-105))?
True
Let t(n) = 14*n + 8 + 3*n + 6*n + 4*n. Is 4 a factor of t(7)?
False
Let r(f) = 59*f - 72. Let w(g) = -g. Let d(h) = -r(h) - 6*w(h). Is d(-8) a multiple of 20