 -u**2 - u + 19. Let w be c(-5). Let i be (0/w)/(-1 + -1). Is 1 - (-2 - i)*(-67)/(-2) a multiple of 17?
True
Is (690/1610 - 66/7)*(-1238)/2 a multiple of 9?
True
Let d(w) = w**3 + 9*w**2 + 6*w - 19. Let q be d(-8). Let f(t) = -112*t + 7. Does 49 divide f(q)?
True
Suppose 45648 - 24435 = 13*f - 242531. Is f a multiple of 38?
False
Let k(g) = g**3 + 5*g**2 - 6*g - 19. Let o be k(-6). Does 12 divide o/(-1) + ((-160)/(-4))/8?
True
Let a(j) = 11*j + 23. Let w be a(-9). Let i = -71 - w. Suppose 5*v + 381 = 4*k, -2*k + 1 = i*v - 212. Does 14 divide k?
False
Let l = -487 - -494. Let a(s) = 9*s**2 - 29*s - 3. Is a(l) a multiple of 6?
False
Suppose 18*x = 14*x + 164. Suppose -d = f + 22, -3*f = 4*d - 8*d - 81. Let g = x + d. Is 2 a factor of g?
True
Let r(l) = -l**3 + 10*l**2 - 8*l. Let j be r(9). Suppose -z - j = -27. Is 32 a factor of (-8 + z)*32/10?
True
Let z be -2 - (2 - (-1)/(-2))*-2. Let l be (z - -5)*(114/(-18) + 7). Suppose a - 131 - l = 0. Is a a multiple of 27?
True
Let t = -1015 + 630. Let y = t - -602. Does 10 divide y?
False
Suppose 0 = 3*c - 5*w - 32020, c = -2*w - 871 + 11537. Does 62 divide c?
False
Suppose -5445 = -5*t - 305. Suppose 8*s - 964 = t. Does 41 divide s?
False
Let k(n) = -n**3 + 240 + 4*n + 348 + 8*n + 2*n**3 - n**2 - 6*n. Is k(0) a multiple of 20?
False
Suppose 4*s + 0*j + 632 = 2*j, -2*s = 4*j + 326. Let t = s + 244. Is t a multiple of 16?
False
Let j be 38/6 - 16/12. Suppose v = j, 4*d - v - 10 + 3 = 0. Does 20 divide -4 + -5 + 26 + d?
True
Let p be (-2)/(72/(-37) - -2). Let q = p - -31. Is ((-4)/q)/((-7)/(3087/(-6))) a multiple of 14?
False
Let u = 11 + -9. Suppose 0 = u*s - 7 - 51. Suppose -a + 45 = 3*h, -a = 2*h - s - 2. Is h a multiple of 13?
False
Suppose 5*h + 191 + 113 = -4*i, 0 = 5*h + 5*i + 305. Let f = -51 - h. Is 14 a factor of (-462)/f*-2 + 24/(-36)?
False
Suppose -191686 = -27*s + 12*s + 147914. Does 10 divide s?
True
Suppose 2*z - 3*i + 5*i = 2290, 6 = -3*i. Does 2 divide z?
False
Let x(r) = 805*r - 1632. Let t be x(2). Let i = 165 - 101. Let g = i + t. Is 21 a factor of g?
True
Let u(i) = i**3 + 81*i**2 - 402*i - 696. Is 10 a factor of u(-85)?
False
Let h be -1*(-3 - (19 + -2)). Let o(b) = 6*b**3 - 6*b**2 + h + 0*b**3 - 5*b**3. Does 26 divide o(7)?
False
Suppose -86*u = -84*u - 688. Suppose -u = -4*o + 288. Is o a multiple of 53?
False
Let i(n) = -5*n - 91. Let s be i(-17). Is 12 a factor of (-948)/40*5/s*4?
False
Suppose 8*i - 30 = 10. Suppose 4*d = 55*v - 59*v + 1828, -5*v = -i*d + 2305. Does 21 divide d?
False
Does 74 divide (-47 - 9)*(-2 + 0 + -131)?
False
Let b(n) = n + 15. Let t be b(-9). Let z be (-5)/(2*(-3)/t). Suppose -z*v + 0*v = -1250. Does 28 divide v?
False
Is 150 a factor of 34359 + -3 + 1 - (19 + -12)?
True
Suppose 7*j - 126 = -42. Is ((-327)/4)/(j/(-16)) a multiple of 4?
False
Let n be (1 + -11)*(0 - -2). Suppose 42 = 3*a - 2*a. Let h = n + a. Is 11 a factor of h?
True
Is 16 a factor of 2/(-44) + (-378630)/(-220)?
False
Let b be 4/1*(-3)/(-6). Suppose -5*c = -b*y - 98, -c + 23 = y + 2. Suppose -2*g + 64 = c. Does 11 divide g?
True
Suppose 149392 = 106*z - 259874. Is z a multiple of 39?
True
Let n = 764 + -512. Suppose -6*d + 300 = -n. Does 7 divide d?
False
Does 51 divide -5 + ((-1263)/(-5))/((-1)/20*-4)?
False
Suppose 0 = -7*d - 7*d + 3990. Let z(r) = -5*r - 15. Let b be z(-4). Suppose 3*u + 1491 = 8*u + 3*m, -d = -u - b*m. Is 30 a factor of u?
True
Let w = 50 + -42. Suppose w*r = 7*r - 2. Does 9 divide r*(-15 - 1) - -4?
True
Let n = -277 - -279. Suppose 118 = s - 4*q, -266 + 23 = -n*s + q. Is s a multiple of 5?
False
Suppose 60*a - 169*a + 887478 = 0. Is 138 a factor of a?
True
Let y be (-16)/20*(5 - -5). Let f(a) = a**2 + 11. Let j be f(y). Let g = -26 + j. Is g a multiple of 7?
True
Let a = 1196 - -2766. Is 72 a factor of a?
False
Let w be 4 + (-35)/10 - 9/(-2). Suppose -w*h + 348 = -237. Is h a multiple of 56?
False
Is (-34 - 25256)/(10/(-12)) a multiple of 12?
True
Suppose 7*i = t - 244, 3*t = -3*i + 705 - 93. Is 5 a factor of t?
False
Suppose -13 = 5*h + 12, -2*h = -2*j + 5798. Does 38 divide j?
False
Let y(z) = z**2 - 15*z + 24. Let d be 13*(-4)/12*-3. Let v be y(d). Is 13 a factor of -2 - (2 - v - 152)?
False
Suppose 2*x + 4*j + 106 = 0, -x - 4*x - 260 = 5*j. Let c = 571 + -646. Let a = x - c. Does 5 divide a?
False
Suppose -63 = -18*o + 45. Suppose 4*j + 216 = 4*b, -o*b + 52 = -5*b - 3*j. Is b a multiple of 12?
False
Let i(a) = -9*a + 347. Let s be i(38). Let z(f) = -15*f + 7. Let c(l) = 1. Let q(h) = -4*c(h) - z(h). Is q(s) a multiple of 21?
False
Let f(d) = -d**3 + 22*d**2 + 33*d - 38. Is 10 a factor of f(19)?
False
Suppose 3*p - 2497 = -7*x + 6*x, -3*p + 2498 = 2*x. Suppose 5*f - f - 4*b = 856, 2*b - p = -4*f. Does 10 divide f?
True
Let h be (-2)/(((-2)/10)/((-1)/2)). Let l = -24 - h. Let c(x) = 2*x + 48. Is 6 a factor of c(l)?
False
Suppose -3*z + 1022 = -274. Suppose -3*x - x = -z. Is 4 a factor of x?
True
Let d(v) be the first derivative of -37*v**2 - 143*v + 89. Does 15 divide d(-7)?
True
Let v = -3534 + 3531. Let u = -61 - -105. Let b = u + v. Is b a multiple of 15?
False
Suppose -3*b - 21528 = -2*d, 3*d - 982*b + 987*b - 32292 = 0. Does 36 divide d?
True
Let r(h) = 5*h + 20. Let n be r(-6). Let g(z) = 4*z**2 + 2*z + 53. Is g(n) a multiple of 13?
False
Suppose -3804 = -3*h - 3*k, 0 = 11*h - 16*h + 5*k + 6350. Does 47 divide h?
True
Let f(h) be the first derivative of -63*h**2/2 - 75*h - 78. Is f(-9) a multiple of 11?
False
Is 0/(4 - (-4 + 5)) - (-7473 - 15) a multiple of 9?
True
Let k(s) be the first derivative of s**4/24 + 10*s**3/3 - s**2/2 + 13. Let a(p) be the second derivative of k(p). Does 13 divide a(6)?
True
Let t(j) = j - 9*j + 2*j - 14*j**2 - j**3 + 32 - 4*j + j. Let w(f) = 6*f - 2. Let x be w(-2). Is 20 a factor of t(x)?
False
Let b(k) = 85*k + 102. Let g be b(-8). Let r = 1357 + g. Is 71 a factor of r?
False
Suppose 14*g = 21*g - 1379. Let m = g - 17. Is 10 a factor of m?
True
Let f = 1143 - -572. Does 20 divide f?
False
Let o(n) = 24*n**3 - 3*n**2 + 6*n - 3. Let c(f) = f**2 - 5*f + 2. Let r be c(0). Is 12 a factor of o(r)?
False
Let h = 10691 - 5647. Does 26 divide h?
True
Let w = -29412 + 43767. Does 33 divide w?
True
Suppose 16 = 2*n - 4*p, n - 11 = 5*p + 3. Suppose 5*r + 0*l + l - 45 = 0, 0 = n*r - 4*l - 12. Let q(u) = 2*u**2 + 2*u + 9. Is 17 a factor of q(r)?
True
Let a be 5*3*(-3)/(-9). Suppose 0*j = -j + 3, a*j - 119 = -4*z. Suppose 0 = -28*g + z*g + 48. Does 5 divide g?
False
Suppose r - 257 - 120 = -a, r - 749 = -2*a. Is 62 a factor of a?
True
Let r(z) = -108 + 4*z + 9*z + 2*z - 5*z. Does 9 divide r(15)?
False
Suppose -2*u = -2*r - 3658, 4*u - 4*r = -2*r + 7312. Suppose 0 = 3*q - 849 - u. Suppose -7*b + q = -53. Is b a multiple of 15?
True
Does 215 divide 62047 - (-7 + 21/7 + 17)?
False
Let j(k) = -64*k - 285. Let z = -515 + 503. Does 16 divide j(z)?
False
Suppose -x - 4*k = -6*x + 740, -4*x + k + 592 = 0. Suppose x = 12*i + 4. Let c(z) = -z**3 + 15*z**2 - 20*z + 8. Is 23 a factor of c(i)?
False
Suppose 0 = 25*j - 128 - 422. Suppose -o + j = -4*s, 2*s + 81 = 3*o + 5*s. Is 13 a factor of o?
True
Suppose 2*v + 13920 = 18*v. Let x = v + -597. Is x a multiple of 21?
True
Let b(h) = 46532*h**2 - 69*h + 57. Does 9 divide b(1)?
False
Suppose -5*s + 2*t - 66 = 5*t, -4*t - 68 = 5*s. Does 18 divide (2 + 0 + 10)/(s/(-414))?
True
Let g(z) = 769*z + 4123. Is g(75) a multiple of 11?
True
Let k(g) = 2*g - 1. Let m be k(3). Suppose 2*p + 3*p = -m. Let t = p + 77. Is 6 a factor of t?
False
Let n = -9494 + 32056. Is 54 a factor of n?
False
Let i(j) = j**3 - 23*j**2 + 26*j + 45. Let x be i(22). Let r = 220 - x. Let n = -61 + r. Is 13 a factor of n?
True
Let h(k) = -111*k - 768. Is h(-25) a multiple of 4?
False
Suppose 8*g + 1188 + 1116 = 0. Let r = -9 - g. Is 13 a factor of r?
False
Let q = -139 + 139. Suppose 2*v - 3*v = q. Suppose v = 2*t - 35 - 3. Is t a multiple of 7?
False
Suppose 36899 = 4*r + 5*x, 18*x = -4*r + 16*x + 36902. Is 15 a factor of r?
False
Suppose 2*v + v - 24 = -3*f, f + 3*v - 4 = 0. Let z be 2 - 8/f*(-12 - -17). Does 9 divide (-789)/(-9) - ((-7)/3 - z)?
False
Suppose 0 = -74*m - 14*m + 1976832. Does 108 divide m?
True
Suppose 595 = -14*k - 105. Let l = 433 + k. Is l a multiple of 7?
False
Let k(s) = -6*s + 14. Let d = -79 + 79. Let r be k(d). S