or of w(v)?
False
Let i be -2*(-155)/(-2)*-1. Suppose -41 = j + i. Is 22 a factor of 40/60 + j/(-3)?
True
Let w(o) = 8*o**2 + 2*o + 20. Let d be w(-4). Suppose 0 = -4*a + 6*x - x + d, -3*x + 18 = a. Does 6 divide a?
True
Suppose -t - 5*m = 341 - 982, m = -t + 629. Suppose 0 = -4*d + t + 806. Is d a multiple of 28?
False
Let a(o) = 7*o - 22. Let m be a(11). Let c = 221 - m. Let h = c + -89. Does 11 divide h?
True
Let n(v) = 307*v**2 + 69*v - 696. Does 15 divide n(12)?
True
Let r(o) = -1851*o + 1213. Is r(-18) a multiple of 14?
False
Suppose 4*z - i = -62, 2*i = 3*z - 4*z - 20. Does 23 divide (-8)/10*920/z?
True
Suppose -25*z - 3 + 503 = 0. Suppose -z*c + c + 1064 = 0. Is 16 a factor of c?
False
Let c = 19295 - 11308. Is 6 a factor of c?
False
Let h be (-1)/(7/(-56))*3/6. Suppose 0 = 2*d - 3*b - 131, h*d + b - 67 = 216. Is 19 a factor of d?
False
Suppose -57*q + 92769 + 19977 = 0. Does 23 divide q?
True
Let r be 30/(-1 - 4) + 14. Does 31 divide (-10)/3*r/10*-168?
False
Let o = 13112 - 4135. Is 208 a factor of o?
False
Suppose 6*f = 4*f + z + 4564, -4*z - 2282 = -f. Is f a multiple of 326?
True
Let x = 11244 - 4860. Does 21 divide x?
True
Is ((-4)/3)/(167/(-10521)) a multiple of 13?
False
Suppose -k + 30191 = q, -53*q + 56*q - 3*k = 90579. Is 12 a factor of q?
True
Let v be (-48)/(-144) + (-13)/3. Does 13 divide v + ((-21)/14 - (-906)/4)?
True
Let h = -9909 - -15649. Does 41 divide h?
True
Let p(j) = 115*j**2 - 44*j + 151. Is p(5) a multiple of 23?
True
Let l = 188 - 81. Let w = l + -27. Does 8 divide w?
True
Suppose 2854*k - 2840*k - 29372 = 0. Is k a multiple of 42?
False
Let h(c) be the first derivative of -c**3/6 + 6*c**2 + 15*c + 29. Let r(a) be the first derivative of h(a). Does 6 divide r(-6)?
True
Suppose 29324 = 2*o - 5*g, -2*g = -8*o + 3*g + 117386. Is 22 a factor of o?
False
Let s = -612 - -609. Is (12/8)/(s/6) - -489 a multiple of 9?
True
Let b = 440 - 332. Let v = b + -6. Does 26 divide v?
False
Let o(b) = -b**3 + 22*b**2 - 58. Let y be o(17). Suppose 0 = 16*x - y + 59. Does 4 divide x?
False
Let z be 2/16 + (-4)/(224/287). Is 28 a factor of ((-320)/(-8))/z - -495?
False
Does 31 divide (9183/(-12) + -2)/(18/(-48))?
True
Let n(h) = 18*h**3 - 15 - 3*h - 17*h**3 - 15*h**2 + 2*h**2. Let w be n(13). Let s = 141 + w. Is s a multiple of 16?
False
Let m = 51 - 47. Let j be 2/m*8 + 6. Suppose j*x = -4*x + 280. Does 10 divide x?
True
Suppose 3*l - 485 = t, 0 = -5*l + 4*t + t + 805. Suppose 7*d - l = 454. Let g = 53 + d. Is g a multiple of 16?
False
Let v(k) = -k**3 - 7*k**2 + 6*k + 35. Let h be v(-7). Let j = 115 + h. Is 12 a factor of j?
True
Suppose -u + 4 = -0*u + 5*f, 3*u - 2*f = 12. Suppose 0 = -5*y + u*m + 40, 2*y - m = 7*y - 15. Is 18 a factor of (110/y - 4/(-8)) + 0?
False
Let c = -390 + 1726. Suppose -5381 = -5*u - 3*x, -x + 2973 + c = 4*u. Is u a multiple of 22?
True
Let g(c) = 213*c**3 + 71*c**2 + 8*c - 8. Does 19 divide g(5)?
False
Suppose -32291 = -5*l - 3*t, 3505 = l - 4*t - 2967. Is l a multiple of 10?
True
Let s = 137960 - 72219. Is s a multiple of 64?
False
Let r(q) = 5*q**3 - 13*q**2 - 68*q + 399. Is r(13) a multiple of 4?
False
Suppose 0 = -0*z - 4*z. Suppose z = -2*f - 38 - 14. Let i = f + 42. Is 6 a factor of i?
False
Let m be 1815/27 - 2/9. Suppose 3299*d = 3289*d + 3650. Suppose 4*o - m = d. Does 14 divide o?
False
Let q(z) = -7*z + 109. Let p be q(15). Suppose 0*j + p*j = 1712. Is 35 a factor of j?
False
Suppose 2*s - 7*s - 5*s = 0. Suppose -y = -g - 148, 2*g - 775 = -s*y - 5*y. Is y a multiple of 9?
True
Suppose 4*p - 40800 = -3*x, 2*x + 19830 = -4*p + 60630. Is p even?
True
Suppose 0 = 3*c - 4*c + 4. Suppose -9*d - 24 = -x - 11*d, c*x - 3*d = 41. Is 8 a factor of x?
False
Let o(j) = 100*j + 292. Is o(21) a multiple of 6?
False
Suppose 2*i + 114 = 60. Let o be ((-90)/i)/(4/6). Let w = o - -52. Is w a multiple of 19?
True
Suppose -21*b + 4*b + 52*b - 640640 = 0. Is b a multiple of 108?
False
Let z = 40765 - 30349. Is 48 a factor of z?
True
Is 14 a factor of 120/(-360) - (2 + (-1778)/6)?
True
Let v(w) = 40*w + 34. Let y be v(8). Suppose -j + y = 4*m - 369, 5*j - 735 = -4*m. Is m a multiple of 15?
True
Suppose 11*r + 2802 = 5*r. Let h = -276 - r. Does 9 divide h?
False
Let o = -47 - -191. Suppose -436 - o = -4*y. Suppose 2*d - 4*m - 216 = 0, -2*d - 4*m + y = -95. Is 19 a factor of d?
True
Let z be ((-76664)/(-84))/(1/3). Suppose 24*f = z + 3382. Does 51 divide f?
True
Suppose -2*i = 4*x - 6456, 0 = 8*i - 12*i + 2*x + 12872. Suppose -3*a = 4*w - i, -21*a + 17*a = w - 4276. Is a a multiple of 12?
True
Let m = 2455 - 1746. Is m a multiple of 44?
False
Let w = -2272 + 8006. Is w a multiple of 61?
True
Suppose -6*o + 3 + 9 = 0. Suppose 2 = o*d - 2, -4*c + 2562 = -3*d. Does 17 divide c?
False
Let k(n) = -n**2 + 20*n - 8. Let y be k(20). Does 5 divide -15*(y + (9 - 4))?
True
Let l(d) = 188*d**2 - 604*d + 1. Does 41 divide l(-10)?
False
Suppose 2*j + 12 = 2*s - 8, 86 = 5*s + 4*j. Let q(r) = 2*r**2 - 19*r + 4. Let f be q(s). Let l = f - 31. Is 41 a factor of l?
False
Let d(i) = -101*i - 195. Is d(-52) a multiple of 45?
False
Let i(m) = 2*m**3 + 10*m**2 + 38*m - 194. Is i(8) a multiple of 9?
False
Suppose -w + 46 = -2*m, -m + 0*m + 175 = 5*w. Let o = w - 32. Does 34 divide ((-10)/o)/((-6)/408)?
True
Let h = -51 + -285. Let k be (-1)/(-3) - h/72. Suppose 5*f = k, 3*u + 4*f - 168 = 31. Does 5 divide u?
True
Suppose -49*z + 2122848 = 225*z + 77*z. Does 9 divide z?
True
Let o(r) = -8*r**3 + 21*r**2 - 83*r - 97. Let x(m) = 3*m**3 - 7*m**2 + 28*m + 32. Let g(p) = -4*o(p) - 11*x(p). Is g(-11) a multiple of 26?
False
Suppose -110*d + 5*x = -114*d + 18913, 5*d - 4*x - 23590 = 0. Does 6 divide d?
True
Suppose -9 = -2*s - 2*n + 1, -21 = -5*s - n. Suppose -s*i + 114 = -1734. Does 21 divide i?
True
Suppose 17 - 57 = 20*n. Is (n/(-1) - -508)/(9/12) a multiple of 20?
True
Let g(a) be the first derivative of -331*a**2/2 + 5*a + 69. Is 42 a factor of g(-1)?
True
Let o = 1110 + -1107. Let k be 1*62*(2 - -8). Suppose -b - o*l = -165, 4*b + 0*l + 4*l - k = 0. Does 30 divide b?
True
Let d = 10820 - 6260. Does 16 divide d?
True
Suppose 0 = -5*r + 20, 4*l + 7*r + 188 = 5*r. Does 8 divide (160/6)/(l/(-147))?
True
Let x(c) = -c**3 + 8*c**2 - 5*c - 6. Let g be x(8). Let i = 48 + g. Suppose 56 - 344 = -i*l. Is 20 a factor of l?
False
Suppose -4*s - s = -3*c - 1015, c + 335 = 5*s. Let d = c + 342. Is d a multiple of 2?
True
Let b(a) = -3*a - 15 + 9 + 51 - 15*a - a**2. Let j be b(-20). Suppose r = -3*g + 42, -j*r + 3*g - 39 + 213 = 0. Does 14 divide r?
False
Suppose 0 = 6*l - 2*l - 216. Let k be (10/(-7))/(19/(-266)). Suppose -17*z = -k*z + l. Does 9 divide z?
True
Let w be 32/368 - -2*(-8138)/(-92). Let b(p) = p**3 + 8*p**2 + 4. Let q be b(-4). Let n = w - q. Is 11 a factor of n?
False
Let w be -10 + 10 + -5 + -493 + -2. Let g = w - -680. Is 16 a factor of g?
False
Let d be (9 - (-466176)/112) + 4/(-14). Suppose 7313 = 18*u - d. Is 7 a factor of u?
False
Suppose 4*h + 5*t + 48 = 46, -5*h + t + 12 = 0. Suppose 4*w + d = 662, 0*w + 4*d = h*w - 322. Is 8 a factor of w?
False
Let a(j) = 3561*j**2 - 81*j - 195. Does 39 divide a(-3)?
True
Let g = -5 + 15. Suppose 0*f + 2*f - g = 0. Suppose -7*z = -f*z - 180. Is 18 a factor of z?
True
Let v(b) = b**3 - 5*b**2 - 2*b - 20. Let y be v(6). Let u be 2/(2*y/12)*1. Suppose -4*q - 2 = -4*o - 6*q, -u*q = -3*o + 15. Is 2 a factor of o?
True
Let c(v) be the second derivative of -v**3/6 + 3*v**2/2 - 2*v. Let f be c(-7). Suppose 3*n = -o + n + f, 2*n = 5*o - 50. Is 5 a factor of o?
True
Let h = -76 + 88. Let i be h*((-105)/(-20))/7. Suppose i*a + 630 = 16*a. Is 10 a factor of a?
True
Let k(i) = -111*i**3 + 2*i**2 - 1. Let q = -38 - -68. Let h = -31 + q. Is k(h) a multiple of 14?
True
Let v be 9/3*88/6. Let l = -41 + v. Suppose -4*h + 288 = 5*j, j - l*h - 66 = -h. Is j a multiple of 10?
True
Let x = -28347 - -48426. Does 12 divide x?
False
Suppose 0 = -n - 4*a + 12707, 0 = 6*n - n + a - 63478. Is 45 a factor of n?
False
Let w(d) = -3*d**3 - d**2 - 7*d - 28. Let i be ((-6)/(-4))/(66/(-308)). Does 77 divide w(i)?
True
Suppose 0*u + 5*g = -2*u + 1243, 3*u + 5*g - 1872 = 0. Let o = u + -272. Is o a multiple of 17?
True
Let x be 16/10*(-7)/14*-5. Let a be (-6)/x*10/15 + -131. Let y = a - -223. Is y a multiple of 7?
True
Let g = -