?
False
Let q(u) = u**2 + 12*u - 17. Let l be q(-13). Let c be (-1)/l*(8 + 20). Suppose -c*j - 72 = -240. Does 24 divide j?
True
Suppose 271*i - 283*i - 5436 = 0. Let k = i - -531. Is k a multiple of 13?
True
Let p = -5392 - -5468. Let x be 2*(1 - (-142)/4). Suppose -p*f + x*f + 78 = 0. Is f a multiple of 13?
True
Let x = 31 - 627. Let v = 135 - x. Is 26 a factor of v?
False
Let z(y) = -5*y - 2*y**2 - 7*y + 5*y - 2. Let h be z(-4). Is (2 + 15/h)*-78 a multiple of 5?
False
Let y be ((-6)/10)/((-22)/(-8030)) + -4. Let n = -31 - y. Is n a multiple of 6?
True
Let n(j) = j**2 + 9*j + 8. Suppose 0*u + 3*v = 5*u - 23, -7 = -u + 3*v. Suppose a = -4*g - 19, a = -3*g + u - 21. Is 17 a factor of n(a)?
False
Let y(f) = -f**2 - 7*f + 7. Let l be y(0). Let n be 2/(-2) + -3 + l. Suppose 4*b - 2*w = 482, 0 = -n*b + 5*w + 90 + 282. Is 32 a factor of b?
False
Let h = -349 - -454. Suppose -112*v + h*v + 5845 = 0. Is v a multiple of 43?
False
Suppose -2*s + 8356 = -5*z, -z + 2*z - 8344 = -2*s. Suppose -s - 5331 = -6*u. Suppose u = 11*h + 308. Is 29 a factor of h?
True
Suppose 0 = 9*d - 7*d - 16*d + 13860. Does 11 divide d?
True
Suppose 14 = 2*r + 3*j, -3*j + 5 = -r + 3. Suppose -2*q - 506 = -3*i - 0*i, r*q = -5*i + 836. Is 8 a factor of i?
True
Suppose 9*i - 86 + 5 = 0. Is (12 - (-2 + 5))*138/i a multiple of 15?
False
Let j be (2/(-6))/((-7)/42). Suppose -9*z + j*z + 1351 = 0. Let w = -48 + z. Is w a multiple of 39?
False
Suppose -4*n = 5*m - 10, 4*n + 4*m - 8 = -n. Suppose 2*j + 6*j + 32 = n. Is 5473/52 - (-1)/j a multiple of 14?
False
Let q(g) = -37*g - 29. Let m(f) = 7*f + 6. Let y(u) = 11*m(u) + 2*q(u). Is 4 a factor of y(4)?
True
Let v(l) = -l**3 - 18*l**2 - 37*l + 55. Is 4 a factor of v(-16)?
False
Suppose -4*d + 2878 = m, 4*d - 901 = m + 1981. Is d a multiple of 30?
True
Let g(t) = t**3 - 10*t**2 + t + 16. Let v be g(11). Let f = 241 - v. Is 14 a factor of f?
False
Suppose -486 = -8*g + 24354. Suppose 0 = -15*u + 5250 + g. Is u a multiple of 17?
False
Let b be 0 + -1 + (2 - -3). Suppose 1 = -l + b*o, 3*l - 4*o + 10 = 5*l. Let a(k) = 15*k**2 + k + 5. Is a(l) a multiple of 13?
True
Let m(f) = f + 15. Let n be m(-5). Suppose 0 = 27*t - 22*t + n. Does 13 divide -8*20/(-12) - t/(-6)?
True
Let u(y) = 37*y - 2. Let w = -50 + 49. Let o be u(w). Let g = 213 + o. Is 29 a factor of g?
True
Let x = 10352 - 8463. Is x a multiple of 18?
False
Let m = 165 + -36. Let d = -113 + m. Is d a multiple of 7?
False
Suppose -97*i + 24*i + 268574 + 209430 = 0. Is 2 a factor of i?
True
Let l = -49 - -5. Let u = l - -47. Suppose -153 = -4*x + 5*n, n + u*n = -4. Does 26 divide x?
False
Let v(g) = 379*g - 119. Let b be v(4). Suppose -197 + b = 3*i. Is 25 a factor of i?
True
Let s = -908 + 1276. Let m = s - 270. Does 7 divide m?
True
Let i be (6 - 5) + 0 + 84 + 28/(-7). Suppose 4*f + 5 = 5*f. Suppose 0 = 3*p - 2*m + f*m - i, 5*m = -2*p + 39. Is p a multiple of 16?
True
Let c(v) be the second derivative of -v**4/12 - v**3/3 + 4*v**2 - 17*v. Let p be c(-4). Suppose -x - b = 3*x - 164, p = -x + 3*b + 54. Is 17 a factor of x?
False
Suppose -x = l + 4*x + 6, l + 4*x = -2. Suppose -l*y + 100 = -222. Does 3 divide y?
False
Is (-42000)/(-204) + (-14)/(-119) a multiple of 206?
True
Let v = -264 + 266. Suppose 0 = 5*g + v*n - 185, -4*n + 185 = 5*g + n. Does 34 divide g?
False
Suppose -35*g + 39572 = 37*g - 59*g. Does 39 divide g?
False
Suppose 28*d + 80*d - 137448 = 25*d. Is 6 a factor of d?
True
Suppose 109 = -4*y + 89. Let b(w) = 9*w**2 - 7*w - 5. Let q be b(y). Let l = -158 + q. Is 23 a factor of l?
False
Let j = 44991 + -22683. Does 11 divide j?
True
Let z(t) = -t**3 + 5*t**2 + 2*t - 5. Let f be z(4). Let k = -14 + f. Suppose 25 = 2*w + k. Is 4 a factor of w?
False
Suppose 77*o = -45*o + 817010 + 1225392. Does 8 divide o?
False
Is 66 a factor of ((-6120)/75)/(-6*5/7425)?
True
Suppose 13*b - 36*b = 0. Suppose 0 = -2*u + 6*u. Suppose u = -b*l - 3*l + 117. Is 8 a factor of l?
False
Let h = 6198 + 798. Is h a multiple of 9?
False
Let s(w) = -2*w**2 + 18*w - 10. Let l(q) = -6*q**3 + q**2 - q. Let p be l(-1). Is s(p) a multiple of 6?
True
Suppose -2*z - 2*h + 6 = 0, 5*h + 1 = -z + 2*h. Suppose z*r = 125 + 675. Suppose 3*w = 4*s - 708, r = 2*s - s - 5*w. Does 45 divide s?
True
Suppose 4*y + q = 30218, 116*y = 111*y + 2*q + 37766. Is y a multiple of 2?
True
Let v(m) be the second derivative of -31*m**3/6 - 31*m**2/2 - 9*m. Let h be v(-12). Let x = h + -199. Is x a multiple of 10?
False
Let j(m) = -m**3 + 27*m**2 - 50*m. Let b be j(25). Suppose b = -2*r + 3*a + 1264, 3*r - 3*a - 1906 = -a. Is r a multiple of 22?
True
Let z(c) = -8*c - 8. Let i be z(6). Does 8 divide -240*(-6 - i/12)?
True
Suppose -2*s + 2651 + 2515 = 3*l, 10326 = 4*s + 3*l. Is 22 a factor of s?
False
Let x be (-10)/(-120)*-3 - 349/(-4). Let n(k) = -k**3 + 5*k**2 - 8*k - 1. Let b be n(4). Let s = b + x. Is s a multiple of 7?
True
Is -3 + (-3931315)/188*4/(-5) a multiple of 69?
False
Let u be (-28)/(-42) + (-4)/(-3). Let i(w) = 43*w**3 + w**2 - 3. Does 15 divide i(u)?
True
Let t(i) = 1004*i**2 + 12*i + 11. Is t(-1) a multiple of 59?
True
Suppose 0 = -5*a + 9 + 1. Let i(j) = 20*j**3 - 1 + j**2 - 6*j**3 + 2*j - 3*j**a. Does 20 divide i(2)?
False
Let l = -2306 + 3597. Suppose -y - i = -801, 3*i + l + 2722 = 5*y. Does 31 divide y?
False
Does 109 divide (-152)/(-152) - -7411*1?
True
Let a(p) = 13*p**3 - p**2 + p - 1. Let i be a(1). Suppose -i*x + 2304 = 4*x. Does 16 divide x?
True
Suppose -6*k + 13398 + 13026 = 9834. Is k a multiple of 15?
False
Let l(y) = -447*y - 10687. Does 237 divide l(-46)?
False
Let u(w) = -4*w**2 - 87*w + 24. Let b be u(-22). Suppose 0*q + 10 = 2*q, -5*q + 1385 = b*i. Is 53 a factor of i?
False
Let n be (-234)/(-195) - (-5114)/5. Let h = -750 + n. Does 6 divide h?
False
Let h = -122 - -138. Let p be (-102)/(-4)*-1*h/(-24). Suppose 18*i - 352 = p*i. Does 22 divide i?
True
Let y be 1003*(-5)/10*2. Let n = y - -1269. Is 7 a factor of n?
True
Let u(r) = -r**2 + 3*r + 2. Let z be u(3). Let s(d) = 99*d - 68. Let t be s(1). Suppose -z*a - 7 = -t. Is 7 a factor of a?
False
Does 142 divide (1/5)/((-7)/(-323036)) + (-20)/(-50)?
True
Suppose 1330 = 18*b + b. Does 24 divide (-3)/2*b/21 - -77?
True
Let o(i) = i - 1. Let d be o(4). Suppose 6*f - 3*f = -7*f. Suppose f*n + n = 5*b + 120, d*b = -6. Is n a multiple of 22?
True
Let n(v) = 211*v**2 - 49*v + 2. Let o be n(-2). Suppose -2194 = -3*k + 5*a, o = 2*k - 3*a - 518. Is 7 a factor of k?
True
Suppose 29*d - 26*d + 2*n - 2015 = 0, -d + n = -680. Is d a multiple of 9?
True
Suppose 100*p = -190*p - 36*p + 963330. Is p a multiple of 9?
False
Let c(l) = -2*l + 17. Let s(z) = z - 16. Let a(x) = 2*c(x) + 3*s(x). Let i be a(-14). Is 20 a factor of (i - -30)/((-15)/(-45))?
False
Let n = -57 + 74. Let i = n - 16. Let a = i - -40. Does 3 divide a?
False
Let u(n) = n**3 - 2*n**2 + 6*n - 1. Let q be u(4). Let h = q - 37. Suppose 5*l = 6*l - h. Is 8 a factor of l?
False
Let q be -129 + -5 + -1 + 0. Does 2 divide 24/(-10) + 2 - 15984/q?
True
Let v(t) = -t**2 + 133*t + 2262. Let j be v(-15). Suppose i - 3 = -2*o, -5*i + 5*o - o = -85. Let f = j + i. Does 11 divide f?
True
Let d(m) = -22*m - 44. Let h(v) = 2*v. Let q(g) = -d(g) - 12*h(g). Is q(5) a multiple of 3?
False
Let i(q) = 20*q**3 + 4*q**2 - 8*q + 14. Is 39 a factor of i(4)?
True
Suppose -9*b + 13*b - 4584 = 0. Is 6 a factor of 1/(-5) - (b/(-30) - -3)?
False
Let p(h) = -3342*h - 991. Is 27 a factor of p(-11)?
False
Suppose -719 = -8*t - 199. Let r = 41 + 0. Let u = r + t. Is u a multiple of 28?
False
Let a(f) = -f**2 + 4*f + 4. Let k be a(4). Suppose k*n - 350 = 2*m, -n + 2*m = 2*n - 260. Is 10 a factor of n?
True
Let x = 385 + -387. Is 2 a factor of (x/6)/(8 - (-10086)/(-1260))?
True
Let s(f) = f**2 + 7*f - 16. Let r be s(-9). Let u(p) = 2*p + 2*p**2 + 14*p**r + 25 - 5*p**2 - 11 + p**3. Is u(-9) a multiple of 16?
False
Suppose 23*y - 216 = 14*y. Is 32 a factor of (-52)/(-2)*(-69)/y*-4?
False
Let b = 420 - 420. Suppose 4*t - 2737 = 5*r + 3871, -3*t + 2*r + 4956 = b. Does 26 divide t?
False
Suppose -4*f = 3*m - 9*f + 175, 4*m + 3*f + 243 = 0. Is (m/(-18))/(2*(-1)/(-30)) a multiple of 22?
False
Let j(i) = i**2 + 5*i + 5. Let s be j(-5). Suppose -s*r + 6 = -3*a + 4*a, 0 = r - 4*a - 18. Suppose 529 = r*u - 73. Is 12 a factor of u?
False
Le