tiple of 12?
True
Let k(q) = 14*q**2 - 20*q. Let g be ((-66)/(-99))/(1/3). Is k(g) a multiple of 8?
True
Suppose 0 = -8*s + 9*s - 1. Does 16 divide (8 + 0)/(((-3)/(-132))/s)?
True
Let q = -22014 - -30882. Is 12 a factor of q?
True
Let m be (14/3)/((-35936)/(-5988) - 6). Suppose 403 = -10*v + m. Does 21 divide v?
False
Let c = 220 + 1616. Is 2 a factor of c?
True
Let y(d) = -d**3 + 25*d**2 - 9*d - 68. Is 3 a factor of y(17)?
True
Let m(q) = -2*q**2 - 8*q + 44. Let r be m(-7). Is 2 a factor of 1 - (r + -233 - 9)?
False
Let r be (16 - -1)*(2 - 0). Suppose -5*w = -6*n + 11*n - 135, -2*n - 6 = 0. Suppose 2*x = p + w, -5*x + 3*p + r = -43. Is x a multiple of 2?
False
Suppose -16*q = 21*q - 21312. Is 12 a factor of q?
True
Let n(t) = -62*t + 74. Let a(s) = s**3 - 11*s**2 + 17*s - 4. Let q be a(9). Is 80 a factor of n(q)?
True
Suppose 88 = 5*c + 5*o - 7, 5*c - 5*o = 45. Let v = 3518 - 3514. Suppose c*p - v*p = 140. Does 7 divide p?
True
Suppose 2*b - 24506 = 4*s, -3*b + 6*b + s - 36759 = 0. Is b a multiple of 116?
False
Let p = 74 + -79. Let m be (p/(-15) - -1)*(5 - 2). Is 11 a factor of 3*2/(-24) - (-281)/m?
False
Let i = -18 + 34. Let d = i + -1. Does 14 divide ((-350)/d)/(1/(-3))?
True
Let n(g) = -19365*g + 247. Is n(-1) a multiple of 18?
False
Let o = -6119 + 9373. Suppose o + 112 = 9*k. Is 34 a factor of k?
True
Let h(o) be the third derivative of -331*o**4/24 + 2*o**3 - 28*o**2 - 1. Is 49 a factor of h(-1)?
True
Suppose 0 = 189*z - 188*z - 32. Suppose z*d = 9*d + 5957. Is d a multiple of 7?
True
Let u(b) = 2*b + 36. Let q be u(-17). Let d(c) = c**3 - 17*c**2 - 16*c**2 - 3*c + 1 + 26*c**q. Is d(9) a multiple of 34?
True
Let k(b) = 78 + 87 + 119 + 35 + 4*b - 15. Is k(-13) a multiple of 21?
True
Let q be 5/(-2 - (-15)/7). Let k = 57 + -35. Suppose 0 = f - k - q. Does 29 divide f?
False
Let n = 39 - 38. Let v be (-206 - 1)/((-1)/n). Is 2 a factor of 22/121 + -1 + v/11?
True
Suppose -21*r = 18*r - 518154. Does 26 divide r?
True
Let u(q) = 36*q**3 - 5*q**2 + 5*q - 2. Let v(o) = 4*o + 30. Let j be v(-7). Is u(j) a multiple of 46?
True
Suppose 85 = 3*w - 14. Let q = -25 + w. Is 13 a factor of -114*(0 + (-4)/q)?
False
Suppose 12*c - 30 = 6*c. Suppose 5*a = 2*n - 868, -257 - 651 = -2*n - c*a. Is n a multiple of 12?
True
Let y = 2819 - -1060. Is y a multiple of 11?
False
Suppose f + 13 = p, p - 5*f - 17 = -4. Suppose 17*t - p*t - 16 = 0. Suppose 5*x = -t*s + 403, 300 = 3*s - 3*x - 36. Is s a multiple of 20?
False
Suppose -5*x - 158*z = -161*z - 83230, 0 = -5*x + 4*z + 83230. Is 14 a factor of x?
True
Suppose -67 + 82 = i. Suppose i*d = d + 4284. Does 34 divide d?
True
Suppose 14 + 9 = t. Suppose 5*n - t = -18. Suppose -n = 3*g - 4*g, g - 401 = -5*s. Is s a multiple of 16?
True
Suppose 0 = 2*n - 8 - 2, 0 = 3*d - 3*n - 1665. Does 80 divide d?
True
Suppose 30 = -0*a + 15*a. Suppose 171 = a*b - b - 3*u, b = 4*u + 166. Let c = b + 4. Does 38 divide c?
True
Let u be 1*((27/3 - 0) + -2). Suppose u*a - 10*a = -1650. Is 11 a factor of a?
True
Let v(m) = 12*m**2 - 236*m + 2962. Is 3 a factor of v(12)?
False
Let y = -23847 + 46045. Is y a multiple of 11?
True
Suppose -12281 = -24*a + 14959. Suppose 2*t + 3*n = 774, 0 = -4*t + 2*n + a + 413. Is 8 a factor of t?
False
Suppose 5*h + p - 95 = 0, 0 = 3*h - 3*p - 11 - 64. Suppose 22*g + 100 = h*g. Is g/(-4) - (2 + (-1)/2) even?
False
Suppose c - 3402 = -3*t + 1114, 4*t = 4*c - 18096. Is 7 a factor of c?
True
Let i(r) be the first derivative of -119*r**2/2 - 560*r + 49. Let t(d) = -7*d - 33. Let n(w) = -4*i(w) + 70*t(w). Is n(-16) a multiple of 7?
True
Suppose -3*b = 2*j - 97928, 2*b - 579*j = -578*j + 65304. Is 53 a factor of b?
True
Let w be ((-42)/(-35))/((-6)/(-10)). Let p be -33 - (w + -3 + 3). Does 3 divide ((-60)/(-50))/((-1)/p)?
True
Let m = -188 - -182. Does 2 divide (-176)/12*m/4?
True
Suppose 0 = -3*k - 4*j + 37, -2*j = 4*k - 27 - 9. Let l(r) = -11*r - 10. Let d be l(k). Is 12 a factor of 2/3 - 4466/d?
False
Let j be (-189)/252 - 114/8. Is 3 a factor of (54/j)/(-1 + (-145)/(-150))?
True
Let z = 31743 - 14759. Is z a multiple of 6?
False
Suppose -5*b - 32 = -y - 103, 4*b - 59 = 3*y. Let c(l) = -l**2 + 21*l - 15. Is c(b) a multiple of 2?
False
Let o(i) = 43*i**3 - 4*i + 3. Let c be o(2). Let h = c - 161. Is 24 a factor of h?
False
Let o be (28 - -1)*(-15 - -42). Let b = -423 + o. Is b a multiple of 45?
True
Let u be (-2)/10*-305*23. Let p = u + -811. Is p a multiple of 16?
True
Suppose 0 = 4*p + 4*o - 62256, -5*p + 9*o - 5*o = -77874. Does 18 divide p?
True
Let d(j) = 23*j - 43. Suppose 9*n - 6 = 8*n - 4*r, 0 = 3*r. Does 19 divide d(n)?
True
Let y = -179 - -828. Suppose 648*i - y*i + 332 = 0. Is 14 a factor of i?
False
Let d = 546 + -167. Let s = 663 - d. Let x = s - 154. Is 26 a factor of x?
True
Let m(w) be the first derivative of -w**4/4 + w**2/2 - 28. Let s be m(1). Suppose s = -g + 1, 0 = -k - g + 2*g + 7. Does 8 divide k?
True
Suppose 3*b + 4029 = 3*m, -3*m + 45*b - 43*b + 4031 = 0. Is m a multiple of 5?
True
Suppose 5*g - 3*c - 44725 = 22134, -13355 = -g - 5*c. Is g a multiple of 80?
False
Is (2056/(-5))/(((-6)/(-100))/(1188/(-495))) a multiple of 41?
False
Let l = -3579 + 5553. Is l a multiple of 141?
True
Let c = 1755 + -856. Let b = -502 + c. Is 29 a factor of b?
False
Suppose 608090 = 71*a - 36*a. Is a a multiple of 34?
True
Suppose -3*v + 1652 = 4*v. Does 22 divide 2 - 0 - (-4 - v)?
True
Suppose -219*u - 112 = -235*u. Let l(j) be the third derivative of j**5/15 - 13*j**4/24 - 7*j**3/3 - j**2. Is 25 a factor of l(u)?
False
Let s(t) = 14*t + 73. Let d = -35 + 39. Let b(l) = 5*l + 24. Let k(c) = d*s(c) - 11*b(c). Is 21 a factor of k(-7)?
True
Suppose 3470 = -17*b - 3738. Let a = b + 572. Is a a multiple of 46?
False
Let s(a) be the second derivative of -a**6/360 + 9*a**5/40 - 11*a**4/12 + 19*a**3/6 - 20*a. Let z(d) be the second derivative of s(d). Is 15 a factor of z(12)?
False
Let c = 434 + -313. Is 31 a factor of 3071/11 - (-11 - (-1353)/c)?
True
Let h be (98/4)/(11/(-22)). Let g = h - -231. Is 13 a factor of g?
True
Let n(h) = 120*h**2 + 51*h - 230. Is n(5) a multiple of 121?
True
Let m(u) = -14 - u - 4*u - 13*u**2 + 6*u**2 + 170*u**2. Is m(-2) a multiple of 36?
True
Let q be (-115 - -1)*(-7)/(-14). Let w = q - -530. Is w a multiple of 28?
False
Suppose -4*d - 2*x - 190 = 0, d - 60*x + 61*x = -49. Suppose f + 8 = -10. Is (d/4)/(9/f) a multiple of 23?
True
Let g = 848 + -656. Let m = 800 + g. Does 14 divide m?
False
Suppose 681*v = 686*v + 1715. Let f be 13/(((-3)/37)/3). Let u = v - f. Is u a multiple of 23?
True
Let m = 287 - 64. Let q = m + 305. Does 24 divide q?
True
Let r = 56 - 76. Let j = 25 + r. Suppose -1176 = j*m - 9*m. Is m a multiple of 35?
False
Let i = -6530 - -6729. Does 2 divide i?
False
Let f(q) = q**2 - 8*q - 11. Let o be f(11). Let n be ((-4)/(-6))/(o/(-1056)). Let p = n - -37. Is 3 a factor of p?
False
Let o = 3446 - 1484. Let b = o + -870. Is b a multiple of 52?
True
Let a = -46 + 43. Let y be 3 + a/(9/6). Suppose -y = -2*t - 4*z - 9, -24 = -4*t + 2*z. Is t a multiple of 3?
False
Is 26 a factor of (-28)/(2/5*((-700)/10270)/14)?
True
Let u = -568 + 1072. Suppose -96 - u = -4*p. Does 6 divide p?
True
Suppose 277*b = 288*b - 69443. Is b a multiple of 50?
False
Let x(l) = 37*l**2 - 94*l + 2128. Is 126 a factor of x(34)?
False
Let s = -51049 + 83724. Is s a multiple of 59?
False
Suppose 3*w + y = -3*y + 24, 0 = -5*w - 3*y + 29. Suppose v - 859 = -w*t, 2*t - v - 192 = 245. Does 20 divide t?
False
Let c(p) = -538*p + 2773. Does 19 divide c(-7)?
False
Suppose 505 = 5*j + 5*b, -j = -3*b + 5*b - 106. Let s = 99 + j. Suppose 3*r - 157 = 5*o, -8*r + 3*r - 5*o + s = 0. Is 11 a factor of r?
True
Suppose 0 = -p - p - 887 + 2525. Is p a multiple of 16?
False
Let c(k) = -2*k**2 - 5*k - 11. Let o be c(-5). Does 69 divide 460*(-6)/o*(-36)/(-10)?
True
Let s = 737 - 512. Suppose 7*b + s = 2*b. Let a = 86 + b. Is 8 a factor of a?
False
Suppose 219731 + 1783706 = 86*k + 193997. Is 263 a factor of k?
True
Does 4 divide (-9090)/198 + 46 - ((-26795)/11 + -1)?
False
Suppose 4*f = 5*s - 1091, s = f + 346 - 72. Let l = 189 + f. Does 30 divide (l/21)/((-27)/(-14) - 2)?
True
Suppose -x - 2*x = 5*x. Is ((-1270)/15 + x)*-3 a multiple of 2?
True
Suppose 99262 = 4*p - 26*t + 25*t, 198534 = 8*p + 3*t. Is 12 a fac