 5*s + 107721. Is c a multiple of 134?
True
Let j = 44 - 48. Is 14 a factor of 3725/20 - ((-5)/j + -1)?
False
Let r = 182 + -122. Let j = 341 - r. Is 8 a factor of j?
False
Suppose 2*m + 0*m = 4*c - 484, 4*m + 368 = 3*c. Let i = 1454 + -962. Suppose 0 = -9*v + c + i. Is v a multiple of 17?
True
Let x(p) = -p**3 + 9*p**2 + 17*p + 32. Let z be x(9). Suppose 0 = 3*q + b + b - z, -b = q - 60. Is 3 a factor of q?
False
Suppose 3*m = -5*r + 188, -5*r - 177 + 10 = -2*m. Suppose 8 = m*y - 69*y. Suppose 419 = y*g - 157. Is 16 a factor of g?
True
Let x(l) = -l**2 + 20*l - 1. Let b(f) = -f**3 - 5*f**2 + 5*f + 14. Let t be b(-6). Let z be x(t). Does 4 divide (3/((-18)/(-4)))/(z/(-30))?
True
Let t = 72 - 42. Let n be (t/21)/(3/21). Let y(l) = -l**2 + 10*l + 6. Is y(n) a multiple of 2?
True
Suppose -31*w - 3152 = -39*w. Suppose -3*c = -452 - w. Does 7 divide c?
False
Suppose 2*c + 449 = -2*o + 6741, 7*o - 3182 = -c. Does 20 divide c?
True
Suppose -2*b = 8, 3*c + 2*c - 20 = 5*b. Suppose 3528 = 18*x - c*x. Is 17 a factor of x?
False
Suppose -4*q + 3*d + 651 = 0, 3*q = 3*d + 173 + 313. Does 9 divide ((-40)/6)/((-10)/q)?
False
Let n(t) = 221*t + 788. Is 151 a factor of n(35)?
False
Let i be -6*((-26)/4 - -2). Does 20 divide (-2694)/i*-1 + 6/27?
True
Suppose 5*n - 1173660 = -5*n. Does 20 divide (-2)/9 + n/837?
True
Let j = 148 + -140. Is 18 a factor of (2 + j/(-3))/((-2)/1350)?
True
Let p be (-4 - (3 + 26/(-4)))*-14. Suppose -p*a + 5*a = -176. Is 22 a factor of a?
True
Let o(p) = 45*p + 69. Let n be o(31). Let j = 27 - 14. Suppose j*v - 226 = n. Does 22 divide v?
False
Let o = 348 + -342. Does 11 divide 3/2 + 1041/o + 1?
True
Suppose -8 = -2*c + 4*r, -c + 4*r = -0 - 8. Suppose 0 = -c*t + 2*t - 370. Let b = -60 + t. Does 14 divide b?
False
Does 81 divide 2/8*856/1498 + (-115667)/(-7)?
True
Let d(j) = 2*j**2 - 29*j - 13. Let z be d(15). Suppose -4*p + 4 = h - z, -3*h + 11 = 5*p. Is 15 a factor of 1017*(-2)/12*-2*p?
False
Suppose 0 = 5*j + 4*n - 325, 4*n = -j + 59 - 10. Suppose j*g = 59*g + 960. Is 32 a factor of g?
True
Let j = 34 + -30. Suppose 0*s = 4*s - 3*g - 952, 4*s - j*g = 952. Is s a multiple of 37?
False
Suppose 3*p - 324 + 321 = 0. Is 1/(2*p*(-8)/(-6320)) a multiple of 35?
False
Let q be (-12)/((-2)/(-8)*96/72). Let j(c) = -15*c - 200. Is j(q) a multiple of 14?
False
Let l(f) be the first derivative of -2*f**2 - 52*f + 50. Is l(-17) even?
True
Suppose -20*s + 19296 = -11*s. Let r = -1381 + s. Does 20 divide r?
False
Suppose 9*d - 11*d = -3*i - 11760, 29400 = 5*d - 4*i. Suppose 2*o = -12*o + d. Is o a multiple of 7?
True
Let p be 2 + 730/22 + 8/(-44). Let n = p + -92. Let a = n + 226. Is 13 a factor of a?
True
Suppose z - 150 = r, -5*r + 2*z = 4*z + 785. Let i = r + 294. Let o = i - 44. Does 19 divide o?
True
Suppose 34*k - 11*k = 483. Suppose 0 = -k*t + 4*t + 19924. Is t a multiple of 17?
False
Suppose 0 = 2*m - 3*g - 805, m - 10*g = -11*g + 410. Is 11 a factor of m?
True
Is ((-3039)/(-4)*-1)/((-1653)/15428) a multiple of 7?
True
Let q(i) = -25*i - 25 + 36*i**2 - 8*i + 5*i**3 + 61*i - 4*i**3. Does 6 divide q(-35)?
False
Suppose 0 = -16*o + 214 + 170. Suppose o*d + 5*d = 4292. Does 17 divide d?
False
Suppose 0 = -z + 373 - 38. Is 11 a factor of 2/((0 + (-2)/z)*-5)?
False
Let z(i) = 131*i - 12. Let d be z(-2). Let l = 467 + d. Let h = l + -33. Does 40 divide h?
True
Let c(y) be the second derivative of 55*y**3/6 - 43*y**2 - 17*y. Is c(6) a multiple of 23?
False
Let m = 94 - 97. Let w be (-6 - m)/(3/2). Let y(k) = -3*k**3 - 2*k**2 - 2*k - 5. Is y(w) a multiple of 5?
True
Let j(k) = k**3 + 13*k**2 + 27*k + 140. Let r be j(26). Suppose -40*g - 3886 = -r. Is g a multiple of 15?
False
Let i be 291*(-2)/2*(-11 + 10). Let f(d) = d**2 + 8*d + 9. Let n be f(-7). Is 9 a factor of (n + 4/(-1))*i/(-6)?
False
Let p = 166446 - 118047. Is 221 a factor of p?
True
Let x(u) = 3*u + 4 - 4 + 3*u**3 - u**2 + 5*u**3. Let f be x(-2). Is -1 - 1 - (f + 0) a multiple of 7?
False
Suppose 291 - 4555 = -8*d. Suppose 2*h + 29 = d. Is 18 a factor of h?
True
Let b = 64308 - 35181. Does 18 divide b?
False
Let g(p) be the first derivative of -p**3/3 + 4*p**2 - 19*p - 16. Let x(r) = r. Let i(j) = g(j) + 4*x(j). Is 5 a factor of i(7)?
False
Suppose -3*f = 4*o - 18, o - 9 = 3*f - 27. Suppose 4*b = -f*d + 2*d + 1688, -2*b = -d - 859. Is 17 a factor of b?
False
Let p(x) = 41 - 2*x + 21 + 31. Let d be p(0). Suppose -d = -3*n + 5*z, 7*n - 5*z = 2*n + 155. Is 8 a factor of n?
False
Suppose 41*f = -152*f + 507998 + 1283428. Is f a multiple of 21?
True
Let h(y) = -309*y**3 + 16*y**2 - 2*y. Is h(-6) a multiple of 12?
True
Let c = -3 + -5. Let l(j) = -j**2 - 8*j + 8. Let f be l(c). Suppose 0 = -12*g + f*g + 476. Is 17 a factor of g?
True
Suppose -150*g + 145*g + 29160 = 0. Is 9 a factor of g?
True
Let v = 159 + -132. Suppose -2760 = -31*q + v*q. Is q a multiple of 30?
True
Suppose -4*g - 20*g + 36408 = 0. Suppose 14*j - g - 2165 = 0. Does 10 divide j?
False
Let s = -15093 + 27255. Does 99 divide s?
False
Let d(m) = -3*m**2 + 4*m + 4*m**2 - 6*m. Let z be d(3). Is (-11)/((z/18)/(-1)) a multiple of 11?
True
Let f(x) = x**3 + 11*x**2 + 14*x + 25. Let u be f(-11). Let h = 184 + u. Is 9 a factor of -2 + 0 + (h/1 - -1)?
True
Suppose 4*r = 8 - 12. Let j be r - -51 - (21 - 21). Is 2 a factor of (-92)/(-16) + -5 + j/8?
False
Suppose -10*y + 5*y - 905 = 0. Let l = 266 + y. Is 6 a factor of l?
False
Let l(a) = 2078*a - 5220. Is l(11) a multiple of 93?
False
Let k(v) = -11903*v - 4193. Does 182 divide k(-2)?
False
Let r be (-1 - 5/(-2))*(-4836)/(-117). Suppose 4*f + 3*w + 286 = 0, 0*f + 4*w = f + r. Let p = -32 - f. Does 11 divide p?
False
Suppose 8*h - 22 = 10. Suppose 2*n = -3*o + 1190, 5*o = -h*n + o + 2384. Is n a multiple of 23?
True
Suppose -5*a + 34741 = 4*h, 0 = -4*h + 149*a - 145*a + 34696. Does 75 divide h?
False
Suppose 0 = 6*r + 5*r - 18128. Suppose -3*m = 2*p - 1213, 4*m = -0*p + 5*p + r. Let l = m + -212. Is l a multiple of 15?
True
Let h = -2696 - -6967. Is 154 a factor of h?
False
Let g(n) = 8*n - 21. Let h be g(4). Suppose -5*k = 3*p + 7, 5*k - 2*p = -1 - h. Is 9 a factor of (-8)/(-2) + (75 - k)?
True
Let k = 6007 - 1330. Is k a multiple of 14?
False
Let w = -1340 + 3875. Does 30 divide w?
False
Suppose -228*m - 106074 = -4*p - 225*m, -3*p + m = -79558. Is p a multiple of 26?
True
Let z(y) = -2*y**3 + 19*y**2 - 13*y + 12. Suppose 2*f - 7*f + 45 = 0. Suppose 8*n = f*n - 8. Does 25 divide z(n)?
True
Let g = 27760 - 19544. Is 79 a factor of g?
True
Is ((-242424)/90)/(40/(-100)) a multiple of 7?
True
Suppose g - 3*m = -8, 5*g + m - 40 = -4*m. Suppose -11*c = -15*c - g. Is 27 a factor of 41 + (0/(-4) - (-4 - c))?
False
Let q(z) = -461*z + 310. Does 30 divide q(-63)?
False
Let d(z) = -68*z + 17. Suppose -23*w - 29 - 40 = 0. Does 17 divide d(w)?
True
Let u be (43/2)/((-5)/(-20)) + -2. Let r = -77 + u. Let t(g) = g**3 - 2*g**2 - 6*g + 7. Does 42 divide t(r)?
True
Let b be (3 - 2) + -2 + 1 + -3. Let d be b*(-4 + -1 + 14/3). Suppose 2*v - 48 = -3*l, -v + 6*v = l + d. Does 2 divide l?
True
Let m = 16872 + 2565. Is 33 a factor of m?
True
Let x be (-4)/16 - (-1013)/4. Suppose -4*o + x = -5*s, -228 = -4*o + 3*s + 23. Let n = o + -22. Is 40 a factor of n?
True
Let r be 551/9 + (234/(-81))/13. Let h = r + 535. Does 74 divide h?
False
Suppose -3*j = 4*u - 2*j - 1238, 3*j - 1242 = -4*u. Let k = 477 - u. Is 12 a factor of k?
True
Let f = -506 - -649. Let h = f - 68. Is 6 a factor of h?
False
Suppose 41 = 12*u - 247. Is u + 2 + (-12)/6 a multiple of 5?
False
Suppose 202*b + 5*b - 1877904 = 0. Is 14 a factor of b?
True
Let t = -7274 + 13132. Is 19 a factor of t?
False
Let a(k) be the first derivative of 58*k**3/3 + 9*k**2/2 + 5*k - 81. Is a(-2) a multiple of 45?
False
Suppose 0 = -28*u + 32*u + a - 6749, 0 = 4*u - 2*a - 6746. Does 20 divide u?
False
Suppose -6*p = 6*p - 74101 - 60239. Is p a multiple of 21?
False
Suppose -35*s + 562710 + 122355 = -129945. Is 33 a factor of s?
False
Let c(o) = o**2 - 2*o + 20. Let n be c(0). Suppose -h - 3*h = -n. Suppose 2*z - 13 = s - 61, -2*z + 192 = h*s. Is s a multiple of 11?
False
Let t(u) = u**2 + 13*u + 68. Let d(h) = 2*h**2 + 24*h + 135. Let w(z) = -4*d(z) + 9*t(z). Does 6 divide w(-20)?
False
Suppose 3*b - 6282 = -l, 8*b - 3*l - 8389 = 4*b. Is 5 a factor of b?
True
Let s