 - o. Is f a multiple of 7?
False
Let m(k) = 10*k**3 - 35*k**2 + 30*k - 14. Is m(10) a multiple of 29?
True
Does 3 divide ((-19292)/(-78))/(10/15)?
False
Does 96 divide (-336951)/(-117) - 1/(-13)?
True
Is -46*889/(-14) + -14 a multiple of 51?
True
Let z(i) be the first derivative of i**3/3 + i**2/2 + 13*i + 60. Is z(4) even?
False
Let g = -1 - -43. Suppose 26*q + g = 24*q. Does 17 divide (-32)/6*q - 6/(-2)?
False
Let j = 37954 + -21937. Does 12 divide j?
False
Suppose 6*v + 1144 = 10*v. Let y = 372 - v. Does 4 divide y?
False
Let x = 4906 + -2647. Suppose 18*r - 8235 = -x. Suppose r = -17*a + 19*a. Is 26 a factor of a?
False
Does 2 divide (-9 - (-455 + 1)) + (-10 - -2)?
False
Let s(c) = -2 + 6 + 10 - 19*c + 8*c**3 + 16*c**2 - 2 - 7*c**3. Does 15 divide s(-9)?
True
Let o(j) = -171*j - 1025. Is o(-16) a multiple of 29?
True
Let l = -3730 + 8764. Is 6 a factor of l?
True
Let t(k) = k**2 - 6*k + 3. Let l be t(6). Let z = -20 - -74. Suppose 0*m + 4*m = 0, -2*m = -l*o + z. Is 3 a factor of o?
True
Suppose 0 = 4*l + 11*l - 7290. Let h = l - 150. Is h a multiple of 26?
False
Let k be 174/8 - 1/(-4). Suppose 21*a - k*a = -176. Is 22 a factor of a?
True
Suppose -54045 = -43*u - 4724. Does 71 divide u?
False
Let z(l) = l - 27. Let r be z(29). Suppose -d = -r*q - 0*q - 51, 0 = 4*q + 16. Is 5 a factor of d?
False
Let x(g) = 1465*g - 1680. Let n(s) = 122*s - 140. Let u(v) = 70*n(v) - 6*x(v). Let o(f) = -28*f + 31. Let c(d) = -35*o(d) + 4*u(d). Is 23 a factor of c(-4)?
True
Let v(q) = 1 - 20*q**2 - 10 + 30 + q**3 - 2*q + 0*q**3. Let b be v(20). Let n(i) = i**3 + 20*i**2 + 18*i + 19. Is 19 a factor of n(b)?
True
Let c = -404 + 408. Is 10 a factor of (-2418)/(-3) - (-4 + c)/(-3)?
False
Suppose -2*g - 4 = -g, -5*b + g + 29684 = 0. Is b a multiple of 53?
True
Suppose 5*h + 12 - 45 = -4*r, 10 = 5*r. Suppose 7338 = h*z - 30*o + 26*o, 0 = -3*z - o + 4396. Does 13 divide z?
False
Let g(b) = b + 13. Let u be g(-2). Suppose 7*y + u*y - 6048 = 0. Is y a multiple of 42?
True
Let t(l) = -l**2 - 7*l - 8. Suppose 5*g - k + 10 = 0, -5*g = -3*g + 2*k + 16. Let v be t(g). Suppose 16 = 3*c + v, 5*b - 5*c = 75. Is 19 a factor of b?
True
Suppose -4*j - 392 - 310 = -2*p, -j = -4*p + 1439. Let g = -354 + p. Is 2 a factor of g?
False
Let y(x) = 825*x - 12454. Is y(23) a multiple of 9?
False
Let n = 25489 + -12221. Is 124 a factor of n?
True
Let z be 12524 - (-7 + 1 - -11). Does 11 divide -1 + 6 + (-22)/((-286)/z)?
True
Suppose 3*u = -3*t + 1244 + 19, t - 417 = 3*u. Is 105 a factor of t?
True
Does 7 divide (-9 - 76/(-8))*868?
True
Let t(j) = j**3 - 31*j**2 - 27*j + 35. Suppose 0 = 4*w - 68 - 60. Is t(w) a multiple of 48?
False
Let o(r) = -2*r**2 - 19*r - 67. Let z be o(-14). Does 16 divide (-3)/(-9)*-3 - z?
True
Let t(w) = -4*w + 167. Let l be t(29). Suppose 3*u + 3*z - 43 = 104, 2*z - l = -u. Is 3 a factor of u?
False
Let p(d) = 9*d**3 + 4 - 2*d**3 + 2*d + 12*d**2 - 18*d**2. Is p(4) a multiple of 55?
False
Let u = 531 + -524. Is 7 a factor of ((-18)/7)/(u/(-385 + -7))?
False
Suppose -6*f + 432 + 432 = 0. Let b = -71 + f. Is 4 a factor of b?
False
Suppose -551 = -2*h + t, -h + 171 = -2*t - 103. Is (12 - 5 - -2) + h a multiple of 19?
True
Let g(h) = h**3 + 13*h**2 - 20*h. Let u be g(-14). Suppose -a + u = 4*t, -4*a + t - 87 = -5*a. Is 11 a factor of a?
True
Suppose -18*m + 101821 = -80393. Does 54 divide m?
False
Let q = -3253 - -7725. Is q a multiple of 8?
True
Let k(q) = -31*q**3 - 5*q**2 - 5*q - 1. Let p be (3/3)/(2/(-8 - -6)). Is 2 a factor of k(p)?
True
Is 24 a factor of (-22538)/(-4) - (1617/(-14))/(-33)?
False
Suppose -37*d + 7197 = 3*q - 40*d, -3*d = 2*q - 4808. Does 49 divide q?
True
Suppose -2*h - 150 = -5*h. Suppose -10*c - 7*c + 289 = 0. Let z = h - c. Does 9 divide z?
False
Let o = 39 - 35. Suppose 0*w = o*w - 184. Is (0 - (-1 + -2)) + w a multiple of 7?
True
Let t be ((-3)/1)/((-1)/5). Let g(h) = h**2 - 13*h + 32. Let a be g(11). Let v = t - a. Is 2 a factor of v?
False
Let l(f) = f**3 + 10*f**2 + 19*f + 14. Let y be l(-7). Let w be 2807/y + (-9)/(-12). Suppose 195 = 4*h - 4*a - w, 5*h - 2*a = 355. Does 23 divide h?
True
Suppose -5640 = -44*r - 18*r - 32*r. Is r a multiple of 15?
True
Let b be (11 - 5)*3/6. Is -1 + (-1 - (-115 - b)) a multiple of 4?
True
Let i be (-11332 - 0)/(-7 - (4 - 12)). Does 3 divide i/(-84) + 14/147?
True
Let h(v) = v**2 - v - 8. Let f be h(4). Suppose 0 = 5*o - 3*m - 919, -f*o + 2*m = -321 - 413. Does 26 divide o?
True
Let s = 372 + -216. Suppose -b - g = -3*b - s, b - 4*g + 78 = 0. Let y = b - -196. Is 32 a factor of y?
False
Let m = 6871 - 3140. Is m a multiple of 15?
False
Let s = 51 - -22. Let h = s + -73. Suppose -l - 4*x - 4 = 0, h = -3*l - 5*x + 7 - 5. Does 2 divide l?
True
Suppose -g - 4 + 46 = 0. Let q = -39 + g. Suppose 36 = h - q*k - 0*k, -3*h = -4*k - 88. Is h a multiple of 3?
True
Is 38 a factor of (-3)/15*3995050/(-45) - 10/(-45)?
False
Let u(y) be the second derivative of y**5/20 - y**4/12 - y**3/3 + y**2 + 30*y. Let b be u(6). Let k = 300 - b. Is k a multiple of 11?
False
Suppose -8*s + 46757 = 23725. Is 24 a factor of s?
False
Let f(l) = l**3 - 8*l**2 + 6*l - 34. Let v be f(8). Suppose -7*x = -0*x - v. Suppose x*m + 3*w - 280 = -w, -2*m + 284 = 2*w. Is m a multiple of 24?
True
Let d(q) = 2*q**2 + 58*q - 82. Let c be d(-32). Let m = 286 - c. Is m a multiple of 16?
True
Suppose 130 = -h - 4*b + 5*b, -b + 630 = -5*h. Let l = -122 - h. Suppose 2*z - 4*u + 124 = l*z, 0 = 2*z - 3*u - 292. Is z a multiple of 20?
True
Let l be -2*(-1)/12 + 61500/360. Let d = l + -44. Is 2 a factor of d?
False
Suppose 7605 = -b + 7598, 4*n + 2*b - 139714 = 0. Does 116 divide n?
False
Let k = 123 + -150. Let q(l) = -l**3 - 28*l**2 - 27*l + 4. Let c be q(k). Is 18/c*208/39 a multiple of 4?
True
Let k(m) = -6*m**3 - 6*m**2 + 40*m. Let y be k(5). Let f = -462 - y. Is 14 a factor of f?
True
Suppose -744 = -456*n + 461*n - 6329. Is n a multiple of 11?
False
Let u = -72 + 77. Suppose -881 = -3*y + l - 309, -u*y + 4*l = -958. Is 10 a factor of y?
True
Let c be (224/10)/((-30)/(-75)). Let y = c + 14. Is 5 a factor of y?
True
Suppose -c - 29 = -n, -n + 63 = n - 3*c. Let p = n - -8. Suppose 28*d + 416 = p*d. Does 8 divide d?
True
Suppose -303370 = -9*h - 2*n, 3*h - 101125 = 9*n - 8*n. Does 159 divide h?
True
Suppose 25*n = -4*n - 435. Is ((-258)/n + -2)/(4/50) a multiple of 10?
True
Let o be 0/(-2) + -37 + 27. Does 17 divide 3*(-170)/((o/15)/1)?
True
Let h(g) = -4*g. Let y = 153 - 161. Is h(y) a multiple of 8?
True
Let o(k) = k**2 - 5*k - 26. Let v(f) = -9*f**2 + f + 2. Let j be v(1). Let l be o(j). Is (-1)/8 + 1285/l a multiple of 7?
False
Let m(n) = -265 + 42*n - 93 + 55 + 9*n. Is 9 a factor of m(10)?
True
Suppose 148 = 4*z - k, 4*z - 5*k - 206 = -42. Suppose -3*p - 1714 = 32*b - z*b, 0 = -p + 2. Does 5 divide b?
True
Suppose -7*x = -7 - 28. Suppose 5*r + 19 = 2*s - x*s, 0 = -4*s + 3*r + 23. Does 14 divide (6/2)/(s - 73/37)?
False
Let t be 142/16 + -9 + (-9889)/(-8). Suppose -4*n + t = 3*l + 2*l, 0 = -l + 3*n + 251. Is l a multiple of 55?
False
Suppose -40741 = -15*h + 4259. Is h a multiple of 8?
True
Let j(k) be the third derivative of -23*k**4/24 - 119*k**3/3 - 106*k**2. Is 4 a factor of j(-28)?
False
Suppose 1007 = -5*l + 8207. Suppose 29*s - 3697 = 838 - 127. Suppose -s*o + 157*o - l = 0. Is o a multiple of 22?
False
Let r = -417 - -175. Let p = 459 + r. Is 8 a factor of p?
False
Is -7 + (-88874)/(-12) + 10/12 a multiple of 20?
True
Suppose 2*a - 8 = -z, 2 + 18 = 4*z - 4*a. Let w be z + ((-10)/2 - -1). Is 14 a factor of (1245/(-10))/(-3)*w?
False
Let q(a) = -a**2 - 18*a - 1. Suppose -5*c = y + y + 8, 2 = c. Let g be q(y). Let m = g - 69. Is 3 a factor of m?
False
Suppose -25 + 24 = -4*c - 3*k, 0 = c + 2*k + 1. Does 20 divide 5/c*(-3 + 155/5)?
True
Let d be -4 + (6 - 1) + 1 + -288. Let r = d + 362. Is r a multiple of 33?
False
Let m(w) = 366*w - 146. Does 130 divide m(42)?
False
Suppose 0 = -21*n + 8*n + 117. Suppose 0 = -6*b + n*b + 18. Let f(w) = -21*w - 36. Does 15 divide f(b)?
True
Let k = 1 - 0. Let z(b) = -3*b + 3. Let f be z(k). Suppose 0 = -v - 0*v - 5*y + 122, 4*v + 4*y - 488 = f. Does 11 divide v?
False
Let a(n) = -39*n**2 + n - 17. Let i be a(-4). Let w = -395 - i. Let g = w - 138. Is g a multiple of 14?
True
Let z(g) = 5*g**2 + 38*g + 2460. Is