 s = 2796 + -1434. Is 49 a factor of s?
False
Let j(q) = -8*q**3 + 2*q**2 + 5*q - 1. Let i(c) = 2*c**3 - 26*c**2 + 23*c + 10. Let b be i(12). Is 2 a factor of j(b)?
False
Suppose 22696 = 4*m + 2*p + 350, -3*m = -p - 16752. Is 49 a factor of m?
False
Suppose 0 = 5*r - 20*r + 75. Is (-3 + r)/(7/24388*4) a multiple of 13?
True
Is 11 a factor of 1 + (-1000512)/(-30) + (-1 - 18/(-30))?
False
Let z(b) = b**2 + 21*b + 120. Let t be z(-11). Suppose t*h - 6*h = -f + 2636, 2*f - 3292 = -5*h. Is 55 a factor of h?
True
Let b(z) = 18519*z**3 + 7*z**2 + 10*z - 18. Does 12 divide b(1)?
False
Let a = 65 + -61. Suppose g = -g - a, 4*g = 2*v - 2324. Suppose 3*t = -9, 4*h + 335 - v = 5*t. Is h a multiple of 9?
False
Let s = 133 - 88. Let j be (-2)/(-3*10/s). Does 25 divide 75*(2 + (2 - j))?
True
Suppose 375099 = 33*x - 149601. Is x a multiple of 150?
True
Is 30 a factor of -28*(-9 - (-18193)/(-14))?
False
Let r(y) = 6*y - 80. Let w be r(14). Suppose w*v - 369 = -3*q, -3*v - 264 = -6*v + 2*q. Does 9 divide v?
True
Suppose 55*f - 49*f = 24. Suppose -a + 243 = 3*n + f*a, 3*n - 243 = -3*a. Is 17 a factor of n?
False
Does 41 divide (7 + (-231)/42)*2952?
True
Is 19 a factor of 20/(-5) - (2267/3)/(4/(-12))?
False
Let v be (-12)/(116/(-104) + 1). Suppose -4*f = -v - 56. Is 20 a factor of f?
True
Let a(g) = 28*g - 112. Let c be a(4). Suppose c = 3*r + 3*k - 162, -k - 2*k + 60 = r. Is 7 a factor of r?
False
Let d = 531 - 306. Suppose y = m + d, 856 = 3*y - m + 171. Is y a multiple of 16?
False
Let a(t) = t**3 + 5*t**2 - 5*t - 3. Let l be a(-6). Let s = -4 - l. Let g = 35 - s. Is g a multiple of 29?
False
Is 15623 + -52 + (-26)/(-2) a multiple of 24?
False
Let l be (-1190)/(-20) - 2/(-4). Let t be ((-60)/50)/(((-1)/l)/1). Suppose -7*v + t = -v. Is v a multiple of 7?
False
Let i = 12789 - -3741. Is i a multiple of 95?
True
Let s be ((-55)/(-15) + 5)*3. Is 13 a factor of ((-21)/(-28))/(1/(s*6))?
True
Let x be (10/3)/(9/(-135)). Let z(o) = -2*o**2 - 14*o - 6. Let t be z(-9). Let a = t - x. Is a a multiple of 2?
True
Is (3/10)/((-285)/(-1900)) - 2872/(-1) a multiple of 15?
False
Suppose -24*u - 23*u + 1137948 = 46*u. Does 28 divide u?
True
Let l be 1/3 + 22/6. Let f(a) = -a**2 - 21*a - 83. Let z be f(-17). Does 27 divide z/l*(-47 + 11)?
True
Suppose -5*w + 0*b + 10 = -3*b, 0 = -w - 4*b + 2. Is 83 a factor of (-2 + (-3651)/(-6) + -5)*w?
False
Suppose -20465 = -5*g - 3*x, 150*x - 8186 = -2*g + 148*x. Is 76 a factor of g?
False
Suppose 0 = 5*w + 3*f - 389, 0 = 4*w + 6*f - 2*f - 308. Let t = -64 + w. Suppose 14*r - t*r + 132 = 0. Is 18 a factor of r?
False
Let p(r) = 14*r**2 + 2*r + 2. Let x(h) = -13*h**2 - h - 1. Let g(m) = -5*p(m) - 6*x(m). Let k = -13 - -11. Is g(k) a multiple of 4?
True
Is 151 a factor of 10/(-4)*1761396/(-455)?
False
Suppose 2*b - 54064 = 11*t - 14*t, 13*b = 65. Is t a multiple of 9?
True
Let v be 276070/50 - (1 + (-8)/5). Is 13 a factor of v/14 - 9/21?
False
Let s(j) = -4*j - 4. Let u be s(8). Let d be (u/(-8)*1)/(3/(-20)). Does 36 divide 12/d*-10*9*2?
True
Suppose 4*q = -2*p + 18, 3*p - 2 = -3*q + 7. Suppose -q*c = -172 - 770. Does 8 divide c?
False
Suppose 0 = 11*a - 17*a + 7076 + 11830. Is a a multiple of 11?
False
Let o be (-7 - -4) + 0 + 8. Suppose o*p - u - 852 = 0, 3*p - 4*u - 247 = 271. Does 10 divide p?
True
Let a = -85 + 1169. Suppose -8*b = -4*b - a. Does 49 divide b?
False
Let w(d) = -d**3 - 3*d**2 + 17*d + 22. Let v be w(-11). Let j = v - 383. Suppose -5*r - 5*s + j = 0, 8*r = 3*r + 2*s + 392. Does 20 divide r?
True
Let s = 1069 + -613. Let o = 101 + s. Is o a multiple of 20?
False
Suppose 20 = -22*s + 25*s + 5*v, -3*s + 34 = -2*v. Suppose 2*l - 30 = -s. Is l a multiple of 10?
True
Is -2388*((-11951)/3108 - 4/(-42)) a multiple of 18?
False
Let p(j) = j**3 - 4*j**2 - 17*j - 18. Suppose 2*h + 6*c = 11*c + 1, 4*c = 12. Is 34 a factor of p(h)?
True
Let s be (-16 - (-6 - -2))*1/(-2). Let r(i) = 3 + 5*i - s*i + 4*i + 14. Is 3 a factor of r(13)?
False
Is (-15 - -16)/((-492464)/(-98492) + -5) a multiple of 9?
False
Suppose 3*j = 2*p - 2*j - 15, 4*p - 15 = -5*j. Suppose 0 = -p*c + 3*c - 0*c. Suppose 2*l - l - 97 = -r, -3*r + 4*l + 277 = c. Is r a multiple of 13?
False
Let a be 8/36 + (-25)/(-9). Let z(g) = 12*g - 127. Let f be z(11). Suppose a*o = -f*r + 13, -4*r + 6*r + 10 = -5*o. Is r a multiple of 5?
True
Suppose 2*x - 1 = 3*y, 2*x + 4*y - 8*y = 0. Suppose 0 = 5*m - 3 - x. Is (-65 + 66)/(122/(-124) + m) a multiple of 27?
False
Suppose 0*a = 32*a - 160. Suppose -x = 4*x - 1705. Suppose 5*j - 4*o - 421 = -5*o, a*o = -4*j + x. Does 16 divide j?
False
Suppose 4*u = 2*u + 4*c + 14, -5*u - 2*c + 23 = 0. Suppose -4*b - 20 = w, u*w - b + 70 = -6*b. Is 19 a factor of -57*4*8/w?
True
Suppose -20*c = -61928 - 19612. Does 27 divide c?
True
Let l = 24668 - 10876. Is 32 a factor of l?
True
Let u(i) = -35*i**3 + i**2 + 2*i. Let y be u(-2). Suppose -3*n - y = -8*n. Suppose m + n = t, 0*t - 4*t - m = -229. Does 57 divide t?
True
Let n(d) = -7*d**3 + 16*d**2 + 17*d + 19. Let x(w) = -3*w**3 + 8*w**2 + 8*w + 9. Let r(a) = -2*n(a) + 5*x(a). Is r(8) a multiple of 20?
False
Suppose -4*i - 5*h = -6460, 4*h - 113 = -i + 1491. Is 20 a factor of i?
True
Let c = -2034 - -2966. Suppose 13*g - 160 = c. Does 4 divide g?
True
Let i be (-69)/(-9) + -1 + 2/(-3). Suppose -n + 35 = i*n. Suppose 2*l = -n*t + 361, 7*t - 5*l - 156 = 5*t. Is 13 a factor of t?
False
Let x(c) be the first derivative of -4*c**4 - 2*c**2 - 3*c - 158. Let k be -2 + 1 + 0/2. Does 17 divide x(k)?
True
Let k be -1 + 0 + (-22 - 8). Let h = 34 + k. Suppose 0 = -h*g + 10 + 59. Is g a multiple of 15?
False
Let u = -1382 - -97. Is 11/((-110)/6)*u*1 a multiple of 46?
False
Let m(p) = p**3 + 4*p**2 - 4*p + 9. Let h be m(-5). Suppose s = -2*i + 3 + 11, -h*s + 36 = 3*i. Does 18 divide (2/4)/(s*(-1)/(-624))?
False
Suppose 0 = x - 0*x + 73. Let a(p) = 6*p + 321. Let i be a(-36). Let k = x + i. Does 3 divide k?
False
Let f = -5690 + 10065. Does 175 divide f?
True
Let a = 897 - 395. Suppose 0 = 5*s + a - 1417. Does 15 divide s?
False
Suppose i = 3*u + 108223, i + 4*u = 120630 - 12463. Is i a multiple of 13?
True
Let n be 32/(-48)*24/(-1). Is 935/6 + n/96 a multiple of 4?
True
Let a = 1225 - 505. Suppose 15*f - a = -0*f. Is f a multiple of 7?
False
Is -2 + (5 - 15) - -278 even?
True
Suppose -4*q = -3*w - 22357, 4*q - 98*w - 22356 = -94*w. Does 21 divide q?
False
Is 21 a factor of -3164*(9 - ((-104)/(-32) + 8))?
True
Suppose 3*v + 6*u - 7*u = 258, 4*v - 322 = 5*u. Does 10 divide v?
False
Let z(p) = -8*p - 22. Let q be z(-8). Suppose 50 = 4*u + q. Suppose 0 = u*d - 124 - 316. Is d a multiple of 12?
False
Suppose 0 = -4*u - 4*q + 17640 + 1816, 0 = 5*u + 4*q - 24314. Is u a multiple of 133?
False
Let u = -1779 - -2511. Suppose -67*f = -64*f - u. Is f a multiple of 9?
False
Suppose 3*a = 4*u - 50, 3*a = -3*u + 4*u - 17. Suppose 4*d + 5*w - 10 = 0, d - 5*w - 1 = -u. Suppose d = -2*x - h + 5, -x - 10 = -3*x + 4*h. Does 3 divide x?
True
Let o(h) = -13*h + 18. Let k(n) = 15*n - 19. Let c(b) = 6*k(b) + 7*o(b). Does 4 divide c(-48)?
True
Let c = -12 + 0. Let k(r) = r**2 + 4*r - 23. Is 22 a factor of k(c)?
False
Let r(k) = -k**2 - 9*k + 40. Suppose -6*f - 2*g - 5 = -5*f, 45 = -3*f + 4*g. Is 3 a factor of r(f)?
True
Let j(u) = -u**2 - u + 2. Let p(i) = i**3 - 14*i**2 - 14*i + 11. Let n(b) = 2*j(b) - p(b). Does 67 divide n(11)?
False
Let g = 7569 - 5825. Does 109 divide g?
True
Suppose -2*m + 10 = -3*c + 150, -2*c - m = -105. Let d be c/125 + 51588/5. Is 4/(-14) - d/(-98) a multiple of 15?
True
Suppose 4*x - 5*d + 24 = 0, -2*d = 8*x - 5*x - 5. Does 56 divide 0 + (-2)/x - (-402 + 12)?
True
Suppose -8880 = 240*k - 270*k. Is k a multiple of 103?
False
Suppose 30 - 58 = -7*i. Suppose 228 = v + 5*f, -333 - 153 = -2*v - i*f. Does 11 divide v?
True
Suppose 9*w - 6*w = 0. Let h be (w - (-28)/5)/((-132)/(-1650)). Is (h/15)/1*48 a multiple of 16?
True
Suppose -8*j - 48 = -12*j. Suppose -9*t - j*t + 1533 = 0. Does 19 divide t?
False
Let u = 66 - 59. Let v(j) = -j + 18. Let l be v(u). Suppose b - 5*c + l = 0, c + 53 = 5*b + 3*c. Does 2 divide b?
False
Let k = 42633 - 16267. Does 41 divide k?
False
Suppose -1382*u - 64896 = -1347*u - 1262946. Does 105 divide u?
True
Suppose -68 = n - 3*a, 4*a = -2*n - 0*n - 146. Let d = n - -548. Does 38 divide d?
Fa