ose m*i = -p*h + 348, 0 = 3*i - 2*h - 2*h - 532. Is 22 a factor of i?
True
Let b(t) = 41*t**2 - 4*t + 3. Let c be b(1). Let r = c + -30. Suppose 0 = -6*y + r*y - 336. Is 12 a factor of y?
True
Let p be (((-50)/(-15))/(-5))/((-2)/36). Is (3/18)/((-2)/(-184))*p a multiple of 15?
False
Let v = -9 - -20. Suppose -4*n - 20 = 0, 4*h - 6*n + 3*n - v = 0. Is 14 a factor of 2159/17 - (1 - h)/2?
True
Let k = -1691 - -2215. Is k a multiple of 4?
True
Is (-6)/(-126)*21 + 14874 a multiple of 35?
True
Let x(t) = 4*t - 9. Let u be 198/42 - (-4)/14. Suppose 4*o - u - 15 = -5*a, 20 = 4*o - a. Does 6 divide x(o)?
False
Is 73 a factor of -19053*(2 - (1008/(-27))/(-16))?
True
Let s(y) = y**3 + 37*y**2 - 442*y - 92. Does 9 divide s(-40)?
False
Let o = -4968 - -7186. Is 54 a factor of o?
False
Suppose 0*z = -5*z + 3*f + 7316, 2*z - 2926 = f. Is z a multiple of 86?
True
Let d(i) = 39*i - 1991. Is 50 a factor of d(119)?
True
Let t(n) = 10*n**3 - 13*n + 32. Let l be t(4). Suppose -v = -l + 411. Is 24 a factor of v?
False
Let x be 9*-1*((-88)/(-12) + 3). Let a = x + 121. Is 3 a factor of a?
False
Let y(b) = -3*b**2 - 12*b - 44. Let m be y(-3). Let q = 270 + m. Is 47 a factor of q?
True
Suppose -2*y = -5*f - 10302, 27*f + 25895 = 5*y + 32*f. Is y even?
False
Suppose -4*c + 5*c - 2545 = -5*y, -3*y = -5*c - 1499. Suppose -4*l = -2*z - y, -4*l - 63 = 3*z - 581. Does 16 divide l?
True
Let v = -4320 + 7342. Is v a multiple of 30?
False
Let g = -323 + 819. Let r = g + -235. Suppose -3*x = -0*x - u - 158, 0 = -5*x + 4*u + r. Is x a multiple of 29?
False
Is 15 - (-11)/((-143)/(-27261)) a multiple of 44?
True
Let v be (-2)/(-19) + 52787/133 + 4. Let h = 49 + v. Is 25 a factor of h?
True
Suppose 7837 + 569763 = 320*l. Is l a multiple of 19?
True
Suppose 21*n - 60 = 6*n. Suppose n*b + 5*v = 46 + 61, -3*b + v = -85. Is b a multiple of 18?
False
Let p = 25 - 19. Suppose 4*n + 61 - 573 = 0. Suppose -n = 4*c - p*c. Is c a multiple of 32?
True
Suppose -p = -2*w + 943, 705 = w - 5*p + 247. Suppose -j - 3*s = -w, j + 1401 = 4*j + 3*s. Does 29 divide j?
True
Let a be ((-45465)/(-6))/(-7)*8/(-10). Suppose a*o + 2358 = 872*o. Is 38 a factor of o?
False
Is (-239)/(-10 - (-3762)/378) a multiple of 7?
True
Suppose -69*d = -185913 - 179235. Is d a multiple of 7?
True
Suppose -4*n + 18632 = 4*z - 29960, 5*n - 60738 = -4*z. Is 73 a factor of n?
False
Let x = -440 - -1000. Suppose -13*b - x = -15*b. Is 10 a factor of b?
True
Suppose 5*s - n - 19 = -0*n, s - 3*n = 15. Suppose 4*g = 6*g - y - 451, g = s*y + 233. Is 14 a factor of g?
True
Suppose u = -2 - 45. Let v = u + 35. Let z = v - -43. Does 7 divide z?
False
Suppose -2*q + 5*g + 41 = 0, -4*q - 7*g + 52 = -11*g. Suppose 2*m + 5*a = 3121, 5*m + 4707 = q*m - a. Is 98 a factor of m?
True
Let q(i) = -i**3 - i**2 + i. Let a(r) = 4*r**3 + 2*r**2 - 23*r. Let f be 2/9 - (-21)/27. Let y(x) = f*a(x) + 3*q(x). Is y(7) a multiple of 22?
True
Let t(r) = -490*r + 6990. Does 22 divide t(12)?
False
Let l(g) = -19*g**2 + 2*g + 2. Let c be l(-2). Let i = 200 - 326. Let a = c - i. Does 17 divide a?
False
Let n = -20 - -19. Let a(o) = -1410*o**3 + 4*o**2 + 5*o + 2. Does 17 divide a(n)?
True
Suppose 80*w + 780 = 85*w. Suppose -3*b + w = -69. Let n = b + -41. Does 9 divide n?
False
Let z be (-16)/6*36/(-16). Let m(b) = -16*b + 106. Is m(z) a multiple of 3?
False
Let f(q) be the first derivative of q**4/4 - 2*q**3/3 - q**2 - 19*q - 20. Let r(v) be the first derivative of f(v). Does 13 divide r(-6)?
True
Suppose r + 23*x = 25*x + 4082, -r - 3*x + 4117 = 0. Is r a multiple of 8?
True
Let u(z) = 3*z**2 - 3*z + 1. Let f be u(1). Does 3 divide f + 2 - (-72)/(-12) - -146?
False
Let w be 87/(-1)*1*-2. Suppose -2 = l, -4*l - 14 - 54 = 5*v. Let d = w + v. Is d a multiple of 17?
False
Is 11 a factor of (-140784)/(-32) - 11/(-22)?
True
Let v = -3176 + 1879. Does 27 divide v/(-2) - (-2)/(-4)?
True
Let y(m) = -142*m**3 - 75*m**3 - 21*m**3 + m - 84*m**3 + m**2 + 1. Is 3 a factor of y(-1)?
False
Let i = -70 - -73. Suppose -i*g + 171 = -21. Suppose g - 15 = x. Is 2 a factor of x?
False
Suppose -5*o + 4 = -46. Suppose -9*t + o = 5*p - 10*t, p - 2 = -t. Is p a multiple of 2?
True
Let r = 8439 + -4570. Is r a multiple of 53?
True
Let s be 14/(-16) + 1 - 30/(-16). Let z be 1*(0 - (s + -5)). Suppose -3*y + 14 = -2*y - k, 42 = z*y + 3*k. Is 7 a factor of y?
True
Let g(j) be the first derivative of -j**4/4 + 2*j**3/3 + 7*j**2/2 - j + 220. Suppose 0 = l - 3 - 0. Is 4 a factor of g(l)?
False
Let l(o) = -5 - 1 - 2*o**2 - 20*o - 6*o**2 - o**3. Let j(g) = g**3 - 7*g**2 + 13*g - 21. Let c be j(5). Is 30 a factor of l(c)?
False
Let m = 23244 + 18297. Is m a multiple of 61?
True
Let g = -5537 - -9935. Does 39 divide g?
False
Suppose x = 0, 20 = -0*q + 4*q - 4*x. Let s be -21*(-10)/35 + -4. Suppose -3*i + q*f = -295, -i + 2*f = s*i - 307. Is 12 a factor of i?
False
Suppose -4*i = 20, 0 = a + 4*i - 3321 - 2521. Is 20 a factor of a?
False
Let k = 40 + -22. Suppose y - k = 88. Let x = 31 + y. Does 39 divide x?
False
Suppose 2*i + 4*j - 74 = -20, 0 = -i + j + 24. Suppose -1188 = -i*x + 3*x. Is 6 a factor of x?
True
Let g be -9 + 9 - 6/1. Let p(y) = -y**3 - 4*y**2 + 13*y + 10. Let i be p(g). Suppose 6*t - 3*t = -i*x + 137, 4*x + 5*t = 143. Does 29 divide x?
False
Is 28 a factor of (-7*(-30582)/(-315))/((-4)/30)?
False
Let p = -2906 + 9656. Does 75 divide p?
True
Suppose 2*j = 12*j - 150. Let o(m) = 2*m - 2*m + 3*m - 34. Is 8 a factor of o(j)?
False
Let t(u) = -3*u - 12. Let z be t(-6). Let n be 1001/33 - 2/z. Suppose -i + 1 + n = q, 5*i + q - 155 = 0. Is i a multiple of 16?
False
Suppose 800 = 5*z - 50. Suppose 2310 = -26*l + 33*l. Suppose 4*h + l = 2*f + h, -f - h = -z. Is 16 a factor of f?
False
Suppose 0 = -141*h + 133*h - 2344. Let t = h + 629. Does 8 divide t?
True
Suppose 315 - 129 = 21*m - 486. Does 6 divide m?
False
Let c = 13 + -10. Suppose 0*r - 4*r + 1089 = 3*s, -c*r - 3*s = -813. Is r a multiple of 7?
False
Let o = -16009 + 19705. Does 22 divide o?
True
Let m = 30520 + -21544. Does 34 divide m?
True
Suppose 17*w - 18*w + 2*n - 1145 = 0, -3429 = 3*w - 4*n. Let p = 1913 + w. Is p a multiple of 36?
False
Suppose -4*o - 4 = 0, 0 = -p - 4*o + 10423 - 1874. Is 2 a factor of p?
False
Let k(u) = 1968*u + 750. Is 148 a factor of k(2)?
False
Suppose -5*i = -3*t, 4*t - 4*i = t. Suppose -f = -5*s - 4, -2*f + t*f - 2*s = -44. Suppose -f*d = -14*d - 140. Is 28 a factor of d?
True
Suppose -89*h + 3735039 = -20*h. Is 60 a factor of h?
False
Suppose 54 = 3*g - 318. Suppose 4*z - g = -2*v, 3*z - 8*z = -5*v + 325. Does 15 divide v?
False
Let q be (5 + 323 - 6) + -5. Let m = q - 137. Is m a multiple of 10?
True
Let v = -822 - -4480. Is 11 a factor of v?
False
Let a(x) = 2*x**3 + 3*x - 7*x - 3*x**3 + 16*x**2 + 0*x + 8*x - 65. Is a(10) a multiple of 11?
False
Suppose 1548 = -41*t + 47*t. Let x = t - 198. Is x a multiple of 3?
True
Suppose -11*l = -13*l + 3*m + 19059, -15*l - 3*m = -142866. Does 22 divide l?
False
Is (-13 + 16459)*(12/2 + (-13 - -9)) a multiple of 96?
False
Let a be ((-2)/(-3))/((-2)/(-105)). Let u be -2 - 7/(a/(-10)). Let p(k) = k + 51. Is p(u) a multiple of 15?
False
Let w(p) = -1648*p - 1646*p + 3292*p + 28. Let j be (16/(-10))/((-1)/(-5)). Is w(j) a multiple of 11?
True
Suppose -6*x + 3372 = -4*x + 2*c, 3*c - 3371 = -2*x. Is x a multiple of 5?
False
Let n = 1594 + -3890. Is 10 a factor of 1/(4/n*(-3 - -1))?
False
Suppose 5*l = -0*l + 25, 4*y - 1105 = -l. Suppose -7*a = -306 - y. Is a a multiple of 3?
False
Suppose -4*t - 10 = -9*t, 4*z = 2*t + 28. Let w(h) = 5*h + 11 - z*h + 5. Is 8 a factor of w(0)?
True
Let g = -3117 + 4277. Is 145 a factor of g?
True
Suppose -79*m = -47*m + 1772800. Is m/80*(-4)/10 a multiple of 6?
False
Suppose -76*i = -60*i - 1280. Suppose i*p = 72*p + 4352. Is 34 a factor of p?
True
Let u be (17 - -3)*-2*9/24. Let l be (9/u)/(1/(-55)). Is 2 a factor of 402/l + ((-8)/(-11))/(-4)?
True
Let r(h) = -h**3 + 28*h - 11. Let k be r(5). Suppose -56 = -4*p - k*s, -p + 3*s = -14 - 20. Is 3 a factor of p?
False
Suppose 31*x - 489 = 28*x. Suppose d - x = -3*d + 5*h, -2*d - 5*h = -89. Is 9 a factor of 16/(-4) - (2 - d)?
True
Let x(o) = 6*o**2 - 39*o + 268. Does 2 divide x(10)?
True
Suppose -8*t + 5600 + 4232 = 0. Suppose -18*a = -391 - t. Does 9 divide a?
True
Suppose 2*u - 2*b = 