 multiple of 53?
True
Is 106 a factor of ((-10)/3 - -3) + (-2483971)/(-219)?
True
Let p be 3 + -1 + 11 + 0 + -1. Let r(v) = 7*v - 48. Let z be r(p). Is (((-20)/3)/(-5))/(1/z) a multiple of 7?
False
Let z(w) = 52*w - 6. Let n be z(11). Let q = n - 356. Does 11 divide 7/(q/(-12)) - 387/(-5)?
True
Is 19 a factor of (-22866)/37*(-152)/12?
True
Let k = -22106 + 37859. Is k a multiple of 177?
True
Suppose -21*j = -19539 - 16434. Is j a multiple of 115?
False
Let d = 90 + 168. Let n = d - -264. Is n a multiple of 18?
True
Let f(h) = 16 + 1 - 6 + h - 6. Does 4 divide f(19)?
True
Let j(h) = -33*h + 348. Let a be j(16). Is (56/(-7) - a) + 7 a multiple of 9?
False
Suppose 8*a = -3 + 19. Suppose -h - 4*o = o - 204, -3*h = a*o - 560. Does 11 divide h?
False
Suppose -10*u + 1884 = -6*u. Let c = u + -311. Does 16 divide c?
True
Let j be ((-30)/(-15))/((-2)/(-3)) + -1. Let u be (-6 - 16/(-4)) + j. Suppose -4*f - 8 + 296 = u. Is 12 a factor of f?
True
Let g(p) = 3*p**2 + 18*p + 315. Does 7 divide g(-13)?
True
Let u(a) = -28*a - 28. Let j(x) = -x - 1. Let v(z) = -j(z) - u(z). Let p be 0 - -1 - (-2 - (-4 + 4)). Does 13 divide v(p)?
False
Let o = 1590 - 1119. Let b = 672 - o. Suppose -4*y - 69 + b = 0. Does 3 divide y?
True
Suppose -38*o + 2032 = g - 42*o, 5*g + o - 10223 = 0. Does 2 divide g?
True
Suppose 8*x - 1095 - 2009 = 0. Suppose 0 = j + 3*w - x, 0 = -5*j + 12*w - 8*w + 1845. Is 6 a factor of j?
False
Suppose -2419*v - 124488 = -2432*v. Does 38 divide v?
True
Let m(h) = 22*h + 21. Let z be m(-2). Let a(b) = 2*b + 51. Let s be a(z). Suppose 2*q - q = -4*t + 508, 4*t - 484 = s*q. Is t a multiple of 7?
True
Let d(z) = -z**3 + 36*z**2 - 67*z - 49. Let b be d(34). Let s(p) = p**2 + 27*p + 204. Is s(b) a multiple of 24?
True
Suppose -11*k = -4*k + 812. Let g = k - -248. Is g a multiple of 12?
True
Suppose -2*a - 2*c = -27 + 3, 0 = 2*a - 3*c - 39. Suppose -4*i - 19 + a = 0. Is 10 a factor of 41 + (-1 + 5)*i + 3?
True
Suppose 3*y + 4*l = 132586, -11*y + 220984 = -6*y + 3*l. Does 41 divide y?
True
Let l be (20/(-4) - -6)*803. Suppose 0 = 5*o - l + 68. Is 7 a factor of o?
True
Let o = 45540 + -16453. Does 29 divide o?
True
Suppose 4*w = 1572 + 4052. Suppose m - 240 = -3*t, 5*m = 3*t + w - 206. Suppose 0 = 4*k + 4*z - m, 0*k = 4*k - 3*z - 261. Does 13 divide k?
False
Let k = -286 + 434. Suppose 0*j = 2*j - 4. Suppose -i + k = j*s + 3*i, -4*s - 5*i + 305 = 0. Is 10 a factor of s?
True
Let u(r) = -77*r - 70. Let p(n) = -231*n - 210. Let i(t) = 2*p(t) - 7*u(t). Does 27 divide i(4)?
True
Let c = 84 - 85. Let z be ((981/(-36))/(c/(-4)))/(-1). Let o = -45 + z. Does 16 divide o?
True
Let r = -420 + 416. Let h(s) = 2*s**2 - 4*s - 11. Let x(v) = v**2 - v - 1. Let i(q) = -h(q) + 5*x(q). Does 11 divide i(r)?
False
Is 842/5*-13*55/(-286) a multiple of 63?
False
Let l(d) = -d**3 + 7*d**2 + 30*d + 4. Let w be l(10). Suppose 588 = 4*f - w*k, -2*k + k = 2*f - 279. Is (3 - 11) + 5 + 1 + f a multiple of 28?
True
Let b = -1546 - -2415. Suppose -10*y - b + 5669 = 0. Does 15 divide y?
True
Suppose 2*c + 10 = 4*f, 21 = 4*f + 4*c - 7. Let p be (1 - 3)*(10 - 8)*f. Is (p/(-20))/(4/490) a multiple of 19?
False
Let d(t) = -4*t + t**2 - 30 + t - 12*t. Let c be d(17). Does 7 divide 6*(-2)/c + 124/4?
True
Suppose 0 = 3*f - 2*c - 19886, 26530 = 4*f - 95*c + 100*c. Is f a multiple of 85?
True
Let f(z) = 2735*z - 2716*z + 5*z**3 - z**3 - 10*z**2 + 50 + 2*z**3 - 5*z**3. Does 35 divide f(16)?
True
Let k = -38604 + 54198. Is k a multiple of 16?
False
Let n = -630 - -314. Let t = -464 - n. Is 25 a factor of 1 + t/(-6)*3?
True
Suppose p = 3*p + 2*p. Suppose 4*q - 5*w - 667 = p, 157 = -9*q + 10*q + 2*w. Does 42 divide q?
False
Let v(r) = -9*r - 144. Let l be v(0). Let q = l + 601. Does 14 divide q?
False
Let b(j) = -3*j**2 + 50*j - 27. Let x be b(16). Suppose 0 = 4*z - 5*z - 2, -z = -x*o + 922. Is o a multiple of 8?
True
Suppose 4*f + 3*d + 40459 = 6*f, -101193 = -5*f + d. Is f a multiple of 184?
True
Let f(m) = 224*m - 851. Is f(11) even?
False
Suppose k = 2*f + 4656 + 2399, 0 = 2*f. Is 60 a factor of k?
False
Suppose 29 - 17 = -a. Let h be (102/a - -4)/(1/(-108)). Suppose f = -8*f + h. Does 27 divide f?
True
Suppose 5*l = 3*t - 211969, 0*l + 70679 = t + 4*l. Is 264 a factor of t?
False
Is 2 a factor of 3481740/783 + 16/(-6)?
True
Let j(s) = -s**2 + 6*s + 4. Let l be j(6). Suppose 0 = l*k + 15*k - 8398. Does 17 divide k?
True
Let l be (-5225)/(-247) - (-4)/(-26). Let j = l - 18. Suppose -3*y + 308 = 4*q, -2*q - y = -j*y - 140. Does 37 divide q?
True
Let b = 42325 - 14011. Is 143 a factor of b?
True
Suppose 10*x + 117 = 19587. Does 18 divide x?
False
Suppose 0 = 5*z - 10*z - 5*h + 25, 5*z - 3*h - 9 = 0. Let p = 212 - 144. Suppose -4*x - 3*s = -p, -z*x + 5*s + 52 + 28 = 0. Is x a multiple of 5?
True
Let c be (-4 - -2 - 116)*1. Let a = c - -77. Let j = -9 - a. Is j a multiple of 8?
True
Suppose -13*v + 18*v = 15. Suppose 3*f - 9 = 0, z + f - 674 = v*f. Is 17 a factor of z?
True
Does 45 divide (-62766)/(-9) + 21/21?
True
Suppose 925 = 3*o + g, -8*o + 11*o + 3*g - 927 = 0. Let x = o + 308. Suppose 0 = 6*i - 20*i + x. Does 21 divide i?
False
Let j(f) = 2*f**3 - 14*f**2 - 15*f + 23. Does 2 divide j(11)?
True
Let k be (-2 + 3 - 2) + 55 + -76. Let l(p) = -p**3 - 23*p**2 - 39*p - 50. Is l(k) a multiple of 41?
False
Let c(a) = -553*a - 19. Let w(s) = -2765*s - 92. Let q(m) = 11*c(m) - 2*w(m). Is q(-1) a multiple of 33?
True
Let l(h) be the second derivative of -h**5/10 + h**4/6 + h**3/3 - 3*h**2 - 4*h. Let f(t) = t**2 - 6*t + 5. Let s be f(2). Is 11 a factor of l(s)?
False
Let t be 0 + -1094 - (5 + 12/(-4)). Let g be (t/(-12))/((-10)/(-15)). Let c = g + -133. Is 4 a factor of c?
True
Suppose -4*v - 2*o + 5*o - 19 = 0, 5*o - 25 = 0. Is 9 a factor of ((0 - -6)/(-12))/(v/758)?
False
Suppose -57*l = -260672 - 28489. Is l a multiple of 3?
True
Suppose -9*y = -229 - 23. Suppose y*w + 5005 - 19873 = 0. Is w a multiple of 9?
True
Suppose 136 - 116 = 5*k. Suppose 2*p = -p + c, 0 = 4*c. Suppose -5*u - 30 = -4*x - p, 0 = 4*x + k*u - 48. Does 3 divide x?
False
Suppose 2*i = g - 62, -4*g = -0*g + 4*i - 260. Let w be (26/(-39))/(6/(-459)). Let h = g - w. Is h a multiple of 4?
False
Let b = -412 + 399. Let s(l) = -l**3 - 12*l**2 - 10*l - 13. Does 57 divide s(b)?
False
Suppose -2*o + 199 = -975. Suppose 589*f - 1576 = o*f. Does 45 divide f?
False
Let b be -6*1/3*-22. Let c(s) = s**2 + 5*s - 290. Let r be c(17). Let f = r - b. Is 40 a factor of f?
True
Let v(y) = 4*y - 20. Let x be v(5). Let f = 1 + 2. Suppose -159 = u - 4*u - f*h, 3*u - h - 143 = x. Is u a multiple of 7?
True
Suppose 18*y + 24*y = 12*y + 448320. Is y a multiple of 112?
False
Let k be (9/(-27))/(2/(-6)). Let j be 19*k/(4/(2 - -2)). Suppose -j*p - 77 + 324 = 0. Is p a multiple of 4?
False
Let t be -3 + 9 + -45 + 3*1. Let z = -42 - t. Is 27 a factor of (-850)/z + (6/9)/2?
False
Suppose -27*r + 32*r - 2*y = 24527, 3*r + 5*y - 14710 = 0. Is 8 a factor of r?
False
Suppose -12*y + 987 = n - 13*y, -2*n = y - 1971. Is n a multiple of 29?
True
Suppose 2*y + c + 355 = -2*y, c = 4*y + 365. Let f = 89 + y. Is f/4 + ((-3812)/(-16) - 2) a multiple of 12?
False
Suppose 12*z = 7*z + 10. Suppose 3*n + 1 - 7 = -3*o, -3*o + 2*n - 4 = 0. Suppose o = -h + z*h - 42. Does 7 divide h?
True
Let y(a) be the third derivative of 0*a - 5/24*a**4 - 16*a**2 + 0 + 7/6*a**3 + 1/3*a**5. Does 22 divide y(2)?
False
Suppose 39156 = 15*u + 11*u. Let t = 2694 - u. Is 66 a factor of t?
True
Let f = -398 - -668. Suppose 4*w = 223 - 7. Suppose -2*v = s + 2*v - w, -5*v = -5*s + f. Is s a multiple of 18?
True
Let k = 107 - 104. Suppose -5*t + 3*t - 1656 = -4*q, 0 = -k*q + 4*t + 1232. Does 32 divide q?
True
Suppose -50 = -2*i - 2*r, 5*r = 5*i + 47 - 202. Is 4 a factor of (2652/238)/(6/i)?
True
Suppose 3*b - 15 = 0, 0*y = -3*y - 5*b + 4771. Suppose 3*n - 2*d - 12 = 4, 5*d - 2 = -3*n. Suppose 10*x - y = -n*x. Does 10 divide x?
False
Let i be (12 - 14)*(-509)/(-2). Let u = i + 765. Does 45 divide u?
False
Let f(q) = 3*q**2 - 12*q + 9. Let z(r) = 2*r**2 - 11*r + 9. Let l(h) = 4*f(h) - 5*z(h). Let p be l(-7). Is 10 a factor of (64/p)/((-4)/(-50))?
True
Let p(j) = -j**2 - 11*j + 14. Let i be p(-12). Suppose -2*t - i*v = 2*v - 226, -6 = 3*v. Does 13 divide t?
True
Suppose 4*q - 5*q = -2. Let k(r) = -4*r - 29 - 