ple of 14?
True
Suppose 2*t - 51*c - 5135 = -50*c, t + 5*c - 2562 = 0. Does 2 divide t?
False
Let k(s) = 167*s + 1432. Is k(32) a multiple of 16?
False
Suppose -s - 3*l - 4 = -2*s, -4*l - 20 = -5*s. Suppose s*g - 4 = 3*g. Let r(n) = 2*n**2 - 7*n + 6. Does 5 divide r(g)?
True
Let g = -1562 - -1796. Does 24 divide g?
False
Let i = -10 + -363. Let s = i - -511. Does 4 divide s?
False
Suppose 2*m = 0, -2*t - 95*m = -100*m - 5080. Is 5 a factor of t?
True
Does 13 divide (15/(-2))/(27/(-17658))?
False
Suppose -l + 4*l + 4*h = 75, l - 5*h = 25. Suppose 20*f - 2210 = 3*f. Suppose -f = -5*v + l. Does 7 divide v?
False
Let s(w) = -10*w**3 - 24*w**2 - 80*w + 31. Let r(p) = 3*p**3 + 8*p**2 + 27*p - 10. Let y(d) = -7*r(d) - 2*s(d). Is y(-6) a multiple of 11?
True
Let g(m) = -m**3 + 14*m**2 + 5*m - 14. Let x be g(12). Suppose 0*f + 4*f = 5*k - x, k - 90 = -5*f. Suppose 3*z - k = -2*z. Does 7 divide z?
True
Suppose -5*j = 4*j - 324. Let i = j - -66. Does 6 divide i?
True
Suppose 5*y = 0, 8*d + 2*y - 2546 = -3*y - 786. Is 45 a factor of d?
False
Let d(u) = 2*u**3 + u**2 - 4. Let j be d(6). Let c(k) = k**2 - 32*k - 33. Let b be c(11). Let w = b + j. Does 40 divide w?
True
Let p(z) = z**2 - 15*z + 10. Let f be p(26). Suppose 16 = -7*g + f. Does 2 divide g?
True
Suppose 14*r = 11*r + 117. Let w = 42 - r. Suppose w*a = 19 + 68. Does 29 divide a?
True
Let b be (2/(-6)*0 - -1)*2. Suppose 4*s - 6*s = -b*a - 2172, -3*s - 3270 = 3*a. Is ((a/2)/(-4))/1 a multiple of 21?
False
Let u be (4/12 + -1)*(4 + -1051). Let v = -404 + u. Is 9 a factor of v?
False
Suppose -3*g - 36 = -7*g. Suppose 6*m - 71 + 41 = 0. Suppose -3*r = r - 2*q - 36, r - m*q = g. Is 3 a factor of r?
True
Let x(h) = h**2 - 4*h + 2. Let d(b) = b**3 - 7*b**2 + 7*b - 3. Let w be d(6). Let z be x(w). Is (-4 - z)*-1 + 15 + 2 a multiple of 20?
True
Suppose 2*b + 0*b + 4*q + 178 = 0, 2*b - q = -168. Let t = 87 + b. Suppose 3*n - 4*p + 2 = 0, 3 = 3*n + t*p - 5*p. Does 2 divide n?
True
Let l = -62 + 65. Suppose -3*k = -5*i - 4107, l*k - 3*i + 8*i - 4107 = 0. Is k a multiple of 37?
True
Let b = -4015 + 11529. Is 13 a factor of b?
True
Let w = 4786 - -1155. Is w a multiple of 50?
False
Suppose 310 = 14*p + 58. Suppose 2*s = -3*z - 23, 3*s + 2*s - 2*z = -48. Let n = p - s. Is 6 a factor of n?
False
Let z = -107 + 113. Suppose -4*k - 6*u + 4*u - z = 0, u - 3 = 0. Is 16 a factor of -3*(k + 6)/9*-61?
False
Does 10 divide ((-42)/(-8))/(105/(-140) + 1179/1560)?
True
Suppose 0 = -2*t - 2*i + 4592, -202*i = -t - 201*i + 2284. Is 10 a factor of t?
True
Let c(j) = -2*j**2 - 59*j + 6. Let g be c(-28). Suppose 9*f - g = 189. Is 31 a factor of f?
True
Let i(z) = 8*z - 44. Let v be i(5). Let x be 2/(1*(0 - 2)). Is 4 a factor of 8 + v - 12/x?
True
Suppose -w = d - 6410, -4*d = 110*w - 105*w - 25642. Suppose 26*x - d = 21126. Does 22 divide x?
False
Suppose -3*o + 5*i + 22 = -0*i, -5*i = -4*o + 31. Suppose -13*k + 4 = -o*k. Suppose -5*t + k = -34. Is t a multiple of 6?
False
Suppose 32*o - 101 = -293. Let s(b) be the first derivative of b**3/3 - 2*b**2 + b - 10. Is 4 a factor of s(o)?
False
Suppose -14*x + 42 = -11*x. Let c be (-1491)/x*12/(-9). Let o = c + -25. Is o a multiple of 33?
False
Let n(j) = 1305*j**2 + 4*j - 4. Let d be n(1). Suppose 3*t + d = 3*y + 2*y, -4*t + 754 = 3*y. Does 34 divide y?
False
Let q = -142 + 148. Suppose -133 = -2*p + y, 5*p - 8*y - 333 = -q*y. Suppose 0*f = -4*f - 3*z + p, 3*f + 3*z - 51 = 0. Is f a multiple of 2?
True
Let t be (84/36)/(1/3). Suppose t*g = 2*g + 250. Suppose 67*l = 72*l - g. Is 6 a factor of l?
False
Suppose -4*d - 8 = 0, 2*r + 4*d + d + 1482 = 0. Let b = 850 + r. Does 13 divide b?
False
Suppose 14*l + 5208 + 924 = 0. Let y = l - -966. Does 16 divide y?
True
Let t be ((-36)/(-6))/(-6)*-25. Suppose -t*x + 2560 = 235. Does 58 divide x?
False
Let v(l) = 13*l - 40*l + 18*l - 24. Let o be v(6). Let r = -41 - o. Is 7 a factor of r?
False
Let q(x) = x**3 - 5*x**2 - 5*x - 10. Let l be q(-4). Let p = -82 - l. Is (-7677)/(-39) + 8/p a multiple of 17?
False
Let v = 82 - -91. Suppose -v = -4*n + 31. Suppose n*k + 70 = 53*k. Is 7 a factor of k?
True
Is 13 a factor of 2*-5 + (2361 - -99)?
False
Suppose -135948 + 433280 = 82*r. Does 49 divide r?
True
Let w be 2 - 36/(-12)*(-142)/(-6). Let t = w - 71. Suppose t*d - 14 - 242 = 0. Does 32 divide d?
True
Let y = -456 + 226. Let h = y - -504. Suppose -3*x - 3*b + 429 = 0, -x - x = -b - h. Does 14 divide x?
False
Let r(n) = 4*n**2 - 3*n + 17. Let q be r(-25). Suppose 40*x - q = 16*x. Is 4 a factor of x?
True
Suppose 0 = -2*k - 82*l + 77*l + 40524, 4*k - 81048 = l. Is 22 a factor of k?
True
Suppose 19 = 5*j + 4. Does 13 divide -2 - (394/(-6) + (-1)/j)?
False
Let a(y) = -263*y**3. Let d be a(-1). Suppose 0 = -x + m + d, 0 = -m + 5 - 1. Does 13 divide x?
False
Is (-364)/728 + 35874/4 a multiple of 19?
True
Does 146 divide 3728576/119 - 12/(-28)?
False
Let n = 390 + -364. Is (-8146)/(-50) + n/325 even?
False
Let m = -7712 - -8051. Does 8 divide m?
False
Suppose 2*t + 6 = 2*h + 4, -t - 3*h = -3. Suppose t = -7*s - 0*s + 336. Does 24 divide s?
True
Suppose -170716 = -8*k - 51100. Is 11 a factor of k?
False
Suppose i = -p, 2*i + 2*i - 2*p - 18 = 0. Suppose -2*h = 5*m - i*m - 30, -4*h = 5*m - 73. Is 6 a factor of m?
False
Suppose -32*v - 140*v = -9273552. Does 12 divide v?
True
Let i be 689/143 - (24/33)/(-4). Suppose i*p + 168 = 1248. Is 8 a factor of p?
True
Let n = 7182 + 1984. Does 282 divide n?
False
Suppose 3*g = 6*i - i - 12, -i - 2*g + 5 = 0. Suppose -3*y - 3*f = -495, -5*y - i*f + 674 + 141 = 0. Is 5 a factor of y?
True
Suppose 5*x = -742 + 762. Suppose -1671 = -5*g + x*d, 18*g - d = 14*g + 1328. Does 69 divide g?
False
Suppose 7088 = -0*u + 16*u. Suppose 14*b - 551 = u. Is 12 a factor of b?
False
Suppose 270 = -2*x + 2*z, 4*x = 3*x - 2*z - 138. Let b = 7 - x. Is b a multiple of 12?
False
Let j(i) = 11*i + 24. Let y(a) = -a. Let c(w) = j(w) + 6*y(w). Let z be c(-4). Let x(p) = p**3 + 7*p**2 - 4*p - 4. Is 52 a factor of x(z)?
True
Let f(m) be the third derivative of 7*m**4/12 - 2*m**3/3 + 3*m**2. Let a be f(-3). Let j = -14 - a. Is j a multiple of 8?
True
Suppose -p - 4*c + 62934 = 0, 629*p - 626*p = -3*c + 188883. Does 33 divide p?
False
Let s(i) = 108*i**2 - 3*i - 11. Is s(-4) a multiple of 91?
True
Suppose -2*y + 28885 = o, 5*y - 2*o - 51520 - 20670 = 0. Is 56 a factor of y?
False
Let s(j) = 154*j + 3314. Is s(7) a multiple of 36?
True
Let z = 41 + -38. Suppose 5*c - 3*c - z*r = 1527, 0 = 3*c - 3*r - 2295. Does 13 divide c?
False
Let v be 7 + -8 + -3*4/(-3). Suppose -v*r = 6 - 0. Is 2 a factor of (r/(-4))/((0 - -3)/102)?
False
Let d(i) = i - 8. Let b be d(9). Is 30 a factor of (((-240)/28)/(-2))/(b/105)?
True
Let z(x) = x**3 + 6*x**2 + x + 7. Let b be z(-6). Let o(j) = -18*j + 258. Let v be o(14). Is (72 - v) + (5 - b) a multiple of 15?
False
Let z be (-12)/30 + -20*(-12)/600. Suppose n - 3*n = -3*r - 278, -5*n + 706 = -2*r. Suppose z = 3*d - n - 758. Is d a multiple of 60?
True
Let x(z) = 5*z + 38. Suppose -11*b = -23 - 10. Let q(a) = 15*a + 114. Let k(j) = b*q(j) - 8*x(j). Is k(-6) even?
True
Let t(h) = -h**3 + 10*h**2 + 1. Let y be t(10). Suppose -246*q = -248*q - 32. Does 7 divide y/((-1)/1 - -2) - q?
False
Let j = -1 + 11. Let g(c) = 112*c - 314. Let z be g(3). Does 4 divide j*(z/4 - 2)?
False
Let r = -71 - -67. Let y(j) = 14*j**2 - j + 5. Let t be y(r). Suppose -5*w + t + 82 = 5*s, 4*w - 237 = s. Is 16 a factor of w?
False
Let f(r) = 4*r + 11. Let s be f(-2). Let l be (s*((-2)/(-1) - 3))/(-1). Suppose a + 5*k + 46 = 2*a, 0 = 5*a + l*k - 286. Does 6 divide a?
False
Let m be 6/10 + (-3)/((-30)/44). Is 4 a factor of (25/m)/(50/45 - 1)?
False
Suppose 3*w = b - 3753, -2*b + 8*w + 7521 = 7*w. Is 6 a factor of b?
True
Suppose 2*f = -3*i - 0 + 12, 2*i = 5*f - 11. Let k = -6 + 4. Is 26 a factor of 585/(-3)*k/f?
True
Let u = 24 + -42. Let c(b) = -11*b - 62. Is 34 a factor of c(u)?
True
Suppose 29*q - 26*q - 45 = 0. Let v be 10/q - (-16)/12. Suppose 2*y = -2*s + 5 + 13, 4*s - v*y = 24. Is 2 a factor of s?
False
Suppose 188 = -9*w + 611. Suppose g - l = -2*l + w, 0 = 4*g - 5*l - 143. Is g a multiple of 4?
False
Suppose -7*y + 8*y + 536 = -4*d, -d - 151 = -4*y. Does 7 divide d*((-8)/3 - -2)?
False
Suppose -6828 = -4*u + 4*l, -4*u - 4*l + 6906 - 54 = 0. 