pose -q + 24 = -2*h, -r*q - 2*h + 105 = 3*h. Is 11 a factor of q?
True
Let i = 88 + -93. Let j be i/(-10) + (-35)/(-14). Let c(n) = 14*n**2 + 3*n - 6. Is c(j) a multiple of 7?
False
Is 7 a factor of (1 + 921/(-6)*1)*(-2736)/120?
False
Suppose -8 = -4*k + 4*l, k + 4*l - 12 = -0*l. Let t(a) = -2*a**3 + 5*a**2 - 7*a + 4. Let v be t(k). Is 14 a factor of ((-2)/(-3) + (-2076)/v)*2?
False
Let p(y) = y + 18. Let c be (2 - 42/3)/1. Let k be p(c). Suppose 11*g - 615 = k*g. Is g a multiple of 21?
False
Let b(x) = -105*x**3 + 10*x**2 + 17*x + 126. Is 104 a factor of b(-5)?
True
Let f(g) = g**3 + 8*g**2 - 10*g - 1. Let r be f(-9). Suppose 0 = r*i - 9*i. Suppose 3*v - 246 - 93 = -z, 5*v - 5*z - 545 = i. Is v a multiple of 12?
False
Let v(n) = -n**3 - 15*n**2 + 30*n - 15. Let m be v(-17). Let o = -58 + m. Let r(w) = w**3 + 5*w**2 - 10*w + 3. Is 6 a factor of r(o)?
False
Let s(b) = -1331*b - 4056. Is 50 a factor of s(-5)?
False
Let f(r) = -r**3 + 10*r**2 + r - 10. Let t be f(10). Suppose -2*x + 3*x - 3*b - 124 = t, 2*b - 272 = -2*x. Let j = x - 68. Does 13 divide j?
True
Let x(t) = -4*t**3 - 5*t**2 - 2*t - 1. Let s be x(-2). Let h(y) = 13*y**3 - y**2 + 1. Let u be h(1). Suppose -s*j + u*j = -10. Is 5 a factor of j?
True
Does 5 divide (-100 - -1921) + (-12 - -1)?
True
Let f = -70 - -81. Suppose 13*h = f*h + 5*d + 2260, 2*d + 5692 = 5*h. Is 60 a factor of h?
True
Suppose -n + 8591 + 1909 = 0. Suppose n = 10*k - 4560. Does 61 divide k?
False
Let y(i) = i**3 + 24*i**2 - 22*i + 33. Let j be y(-25). Let c = j - -168. Is 18 a factor of c?
True
Suppose -6*w + 141 - 15 = 0. Suppose 2499 + w = 5*r. Does 34 divide r?
False
Suppose -2*u + 2942 = 23*m - 21*m, -4*u - 5*m = -5883. Is u a multiple of 23?
True
Let h = 410 - 983. Let r = 1035 + h. Does 22 divide r?
True
Let j = -324 + 407. Suppose -4*w - 3*s = -482, -3*w + 5*s = -264 - j. Is 24 a factor of w?
False
Let m = -6727 + 9509. Is 26 a factor of m?
True
Suppose 113*x + 373 = 5*y + 109*x, 4*y + 6*x = 326. Is 4 a factor of y?
False
Suppose -226*s + 212*s = -38178. Suppose -a - w = -1034, 375 = 3*a + w - s. Does 22 divide a?
True
Let c = 11681 + -8321. Does 112 divide c?
True
Let z = -2042 - -2661. Is z a multiple of 3?
False
Let v = 287 - 298. Is 11 a factor of (3 - v/(-2))*(-1304)/10?
False
Suppose 0 = 2*w - 9*w. Suppose 2*d + 8*d - 3520 = w. Is d a multiple of 16?
True
Let n = 55 - 48. Suppose 3*c = -n*c + 7130. Suppose 5*j + 263 = c. Does 10 divide j?
True
Suppose -3*w = 4*g - 16, -2*g = 2*w - 13 + 1. Suppose 3*b - 4 = f, -5*b - w = -f + 3*f. Suppose 5*p - 285 = -b*p. Does 16 divide p?
False
Suppose 6*c = k + c - 793, -4*k - 3*c + 3195 = 0. Suppose 29*o - 31*o = -k. Does 39 divide o?
False
Suppose 0 = 3*b + 2*n - 1508, 18*b - 22*b + 2004 = -4*n. Is 4 a factor of b?
False
Suppose 6*n = 2*n - 176. Let p = 16 - n. Suppose p = 2*y + 2*y. Is 3 a factor of y?
True
Let q = -91978 + 144978. Is 265 a factor of q?
True
Let j(g) = 2830*g**2 + 131*g - 389. Does 24 divide j(3)?
False
Let p be 1/(7/56) - 20. Is 8 a factor of 124/(2 - p/(-7))?
False
Let h(z) = 56*z - 2. Let r(b) be the third derivative of -b**5/60 - b**4/3 + 5*b**3/3 + 49*b**2. Let w be r(-9). Is h(w) a multiple of 3?
True
Let r = 4698 - 3382. Is 14 a factor of r?
True
Suppose 6*u = -0*u + 1920. Suppose 11*p = 7*p + u. Is 16 a factor of (896/p)/(2/20)?
True
Let s = -180 - -191. Suppose 1139 = s*t + 116. Is t a multiple of 12?
False
Let i(n) = -32*n - 3. Let s = -73 + 73. Suppose -2*t - 4 = -s. Is i(t) a multiple of 20?
False
Let c(z) = -1323*z + 5583. Is c(-6) a multiple of 67?
False
Let l = -56 + 59. Suppose -98 = -l*c + 178. Is 14 a factor of c?
False
Let x be (24/16)/(5 + 8301/(-1662)). Suppose -5*c = 470 - 2475. Suppose x = 3*b - 4*m, -4*b - 3*m + 2*m + c = 0. Is 11 a factor of b?
True
Suppose 0 = -4*h + 3*b + 3, 3*h + 0*b + 2*b = 15. Suppose p + 29 = 2*w, w + h*p - 3 = 8. Let x(q) = 2*q + 43. Is 18 a factor of x(w)?
False
Let l be ((-2)/7 + 0)/((-20)/280). Let i = l - -80. Does 14 divide i?
True
Suppose 0 = -7*t + 4*t + 27, 2*t = -3*l + 11622. Is 2 a factor of l?
True
Suppose 184*r - 1732723 = -608299. Is r a multiple of 63?
True
Suppose -18 = 3*w, 219*w - 686 = -2*u + 224*w. Does 24 divide u?
False
Let f(h) = 8*h**2 + 63*h + 154. Does 9 divide f(-19)?
True
Let f(o) = 2 + 113*o - 8 + 1 + 4. Let k be f(5). Suppose 5*t - k = 3*t + 3*a, 2*t = 5*a + 564. Is t a multiple of 47?
True
Suppose 4*f - 60 = 8*s - 4*s, -2*s = 5*f - 68. Suppose -1 = 3*z - 5*k + 2, f = 2*z + 2*k. Suppose -2*h - 1 = 1, -i - z*h = -37. Does 7 divide i?
False
Suppose -5*p - 18*p = -132273. Is 81 a factor of p?
True
Is (-32246)/(-2) - (-30)/(0 + -3) a multiple of 19?
False
Suppose -69*o + 71*o = 0. Suppose o = -6*j - 500 + 1358. Is 13 a factor of j?
True
Suppose 0 = 3*h + 4*s - 21, 5*h + 2*s + s - 24 = 0. Suppose h*l + 6 = -p + 14, 4*p = -4*l + 16. Does 12 divide (4 - p/3)*60?
False
Suppose 69588 = -16*v - 8*v + 610500. Does 16 divide v?
False
Let y be (-124)/(6/(-21) - -1 - 1). Suppose -3*k = 3, 3*x = 5*k - 27 + y. Suppose 3*b + s = x, -b + 3*s - 87 = -3*b. Is 5 a factor of b?
True
Let w be -4*5/(-2)*(-28)/8. Let k = 49 + w. Let p(d) = -d**2 + 21*d - 34. Is 16 a factor of p(k)?
True
Suppose -4*l + p - 130 = 0, 4*p - 1 = 7. Let k(q) = q**2 + 31*q + 34. Let v be k(-30). Does 6 divide 5 - (v - 3) - l?
True
Does 29 divide (-537152)/56*1/(-2)?
False
Let t be (-25)/50 + (-1)/(-2). Suppose 0*c - 5*l = -5*c - 5, t = -3*c + 2*l - 3. Is (45 - c) + (-15 - -19) a multiple of 25?
True
Let d(v) be the first derivative of 15*v**4 + 3*v**3 - 19*v**2/2 + 5*v - 25. Is 69 a factor of d(2)?
True
Let y(l) = -1207*l + 5286. Does 19 divide y(-4)?
False
Let y be -69*11*(-6)/6. Suppose -3*r + b + 2253 = 0, -3*b + y = r - 6*b. Is r a multiple of 15?
True
Suppose -5*h - 632 = -9*h. Suppose 2*b + h = r, 5*r + 3*b + b - 748 = 0. Is r a multiple of 37?
False
Let f = -208 - -205. Is 4/4 + 1362/((-6)/f) a multiple of 55?
False
Let j(x) = -190*x + 764. Let b be j(4). Suppose 4 + 2 = 2*q. Suppose w = -q*h + b*w + 387, -389 = -3*h + w. Is 29 a factor of h?
False
Suppose 0 = -2*b, 5*r - 10 = -6*b + 2*b. Suppose -r*s - 3*p = -489, -4*p + 0*p + 20 = 0. Is 22 a factor of s?
False
Suppose -4*x + 0*x = 192. Is ((-243)/12)/(-2 + (-92)/x) a multiple of 39?
False
Suppose -11*z = -10395 - 9900. Is z a multiple of 9?
True
Is 59 a factor of 9 - 115/13 - 107376/(-26)?
True
Suppose 4*q = -3*u + 703, -5*q + 507 = 5*u - 378. Suppose 22 = -2*r + 4*m, -4*r - 6 = -8*r - 2*m. Let v = q + r. Is 19 a factor of v?
True
Suppose -2*m + 9 = -2*b + 1, -b - m + 2 = 0. Let l(o) = 27*o + 59. Let z be l(-2). Is 14 a factor of 2511/45 - b/z?
True
Let n = 28 + -21. Let f(x) be the second derivative of 14*x**3/3 + 7*x**2 + 36*x - 1. Does 14 divide f(n)?
True
Let g be 0 - (-27)/(-6)*(-56)/12. Let i be (-4)/(-24)*g*(-8)/(-7). Suppose 0 = -3*j + i*j - 19. Does 19 divide j?
True
Suppose -3694 = 5*q - n, 3706 = -2*q - 3*q + 4*n. Let h = q - -1677. Is h a multiple of 29?
False
Suppose 24 = -7*v - 11. Let i(k) = -56*k - 30. Is 39 a factor of i(v)?
False
Let f = -5717 - -8540. Does 62 divide f?
False
Let f = 16 - -112. Suppose -f = -2*w + 5*p, 2*w = -p + 164 - 24. Does 23 divide w?
True
Let i = -247 + 267. Suppose -i*s - 412 = -22*s. Does 27 divide s?
False
Let b(y) = -y**3 - 17*y**2 + 18*y + 14. Let p be b(-18). Let a be p*-4*1/(-4). Let s = 17 + a. Does 7 divide s?
False
Let b(v) = 7*v - 63. Let x be (-392)/32*(-4)/2*-2. Let i = 62 + x. Is b(i) a multiple of 28?
True
Let y = -147 + 152. Suppose y*d = -d + 498. Does 9 divide d?
False
Suppose 4*r + 3 = 3*n, 14*n = -2*r + 9*n + 31. Suppose o - 187 = -4*k, r*o - k + 71 - 658 = 0. Is o a multiple of 15?
True
Let y be (3 + -6 + 3)/(-2). Suppose -3*d + 2*r + 503 = -2*r, 5*d + 4*r = 817. Suppose 6*k - 297 - d = y. Is 26 a factor of k?
False
Is (-6256)/(-115)*(720 + 5) a multiple of 17?
True
Let s(d) = 1. Let i(a) = 4*a + 37. Let h(w) = -i(w) + 4*s(w). Let q be h(-9). Suppose -q*t - 5*g = -96, -2*g = 3*t - g - 84. Is 9 a factor of t?
True
Suppose 2*i - 2 = 0, 16*i - 1667 = -5*k + 14*i. Is k a multiple of 3?
True
Let x be ((-6)/15)/(1464/1460 + -1). Let b be (-32)/40*5/2 - x. Suppose 0 = 37*f - 34*f - b. Does 24 divide f?
True
Let i be 4/6*2*(-27)/(-4). Suppose -4*v + 52 = 4*b, 4*b + i*v - 61 = 8*v. Is 3 a factor of b?
F