 multiple of 4?
False
Let j = 71 + -71. Let l = 41 + -33. Does 5 divide j - (-60)/l*10?
True
Suppose -5*l + 10032 = 721 - 56989. Is 15 a factor of l?
True
Let v = 32108 - 20803. Is v a multiple of 119?
True
Suppose 67*p - 465426 = -154*p. Does 81 divide p?
True
Suppose 3*u - 32 = 2*v, 2*u - 5*u - 4*v + 8 = 0. Let k be 12242/(-8) - (-2)/u. Does 17 divide (0 - 1)/(-1)*k/(-9)?
True
Suppose 0 = -11*n + 6537 + 5918 - 1136. Does 21 divide n?
True
Suppose x = -3*x + 24. Let c(j) = -4 - 3 + x + 3*j + 15*j**2. Is 12 a factor of c(2)?
False
Let c be (-6)/10 - 924/35. Is 16 a factor of 1*(2070/c)/(2/(-3))?
False
Suppose 5*p - i = 15973, -5*p + 2*i - 2497 = -18468. Is 8 a factor of p?
False
Suppose -2*g - 22 = -4*r, g + r - 3 = -2. Suppose -17*n + 45 = -14*n. Does 39 divide (78/n)/(g/(-90))?
True
Let y(v) be the second derivative of -34*v**3/3 - 5*v**2 + 7*v. Let a be y(-3). Let z = -114 + a. Does 20 divide z?
True
Suppose 0 = u - 4*s + 14, 3*u - 6*u - 15 = -3*s. Let m be (-42)/(-6) + 31 - (0 - u). Suppose -104 - m = -5*g. Is 9 a factor of g?
False
Let h(q) = q**2 - 2*q - 5. Let w be h(5). Let x be ((-13)/(143/(-110)))/(3 + 43/(-15)). Let c = x - w. Is c a multiple of 13?
True
Suppose -2*x + 9834 + 6999 = 5*j, 3*x - 3*j = 25197. Is 15 a factor of x?
False
Suppose 12*i = -7*i + 190. Let v(j) = 2*j - 18. Is 2 a factor of v(i)?
True
Does 77 divide (-4)/16 + 90559/28?
True
Let v(b) = -b**3 - 12*b**2 + 2*b - 18. Let d = -671 - -658. Is v(d) a multiple of 40?
False
Let j(n) = 3*n**2 - n + 2513. Does 48 divide j(-88)?
False
Let r(d) = -248*d**2 - d - 1. Let z be r(1). Let p = -116 - z. Is p a multiple of 22?
False
Let o = -14 - -17. Suppose -3*u + 5 = -2*x + 3, -4 = -o*u + 4*x. Suppose 2*j = -u*j + 26. Does 2 divide j?
False
Suppose -18*x + 14275 = -2663. Let s = x - 442. Is 35 a factor of s?
False
Let q = -40030 - -63342. Does 31 divide q?
True
Suppose c - 6097 = 3*p, 0 = -2*c + 2*p + 7137 + 5061. Does 122 divide c?
True
Suppose 0 = 47*f - 499436 - 739954. Is 54 a factor of f?
False
Suppose 24*o = 8*o + 5024. Let z = 383 - o. Is 28 a factor of z?
False
Suppose -5*m + 39*m = 173604. Does 74 divide m?
True
Let n(o) = -o**3 - 9*o**2 - 8*o + 5. Let l be n(-8). Suppose 5*c + 4*v - 2519 = 2972, -5*v - l = 0. Is c a multiple of 13?
False
Let v be (-7 - (-2305)/5)*2/(-4). Let i = v - -376. Is i a multiple of 5?
False
Let q be 14 + -7 - (1 - 1*5). Suppose 0 = -q*s + 229 + 431. Does 12 divide s?
True
Let b = 22 - -25. Let z = 19 - b. Is 5 a factor of -2 - -3 - z/(-6)*-3?
True
Suppose -d + 2*z - 5*z = -3, -4*z = 0. Suppose 0 = -n - 0*n - 3*f + 807, 0 = d*f - 15. Is 24 a factor of n?
True
Suppose 0 = 49*m - 5*m - 749365 + 203061. Is 97 a factor of m?
True
Suppose -4*n = 4 - 24. Suppose 5*w + 29 = 3*r + 312, 3*w + n*r - 163 = 0. Is 43 a factor of w?
False
Let a be (2/(-3))/(14/(-735)*7). Suppose a*f = 4*d - 704, -3*f - 169 = 4*d - 5*d. Is d a multiple of 10?
False
Suppose x + 3*x + a = 1616, -2*x + 4*a = -826. Suppose 0 = -2*h + 2*l + 76 + 82, 5*h = 3*l + x. Is 84 a factor of h?
True
Let c be 439/5 + (0 - (-1)/5). Let w = c + 16. Is w a multiple of 26?
True
Let x(u) = u**3 - 14*u**2 + 15*u - 13. Let f be (-30)/(-4 + -1) - 3. Suppose 4*q - 4*y + f*y = 56, q - y - 17 = 0. Is 9 a factor of x(q)?
False
Suppose -b = -4*z - 3331, -250*z - 13313 = -4*b - 245*z. Does 10 divide b?
False
Let d = 2419 + -4405. Is 28 a factor of d/(-54)*3*(-1 + 4)?
False
Let s(t) = t**2 - 20*t + 96. Let o be s(8). Suppose o = 2*f + 2*a - 196, 2*a + 168 = 2*f - 3*a. Is 3 a factor of f?
False
Let a(h) = -5*h + 15. Suppose -27 = 13*k - 10*k. Let w be a(k). Is 27 a factor of ((-2655)/w)/(6/(-16))?
False
Let b(y) = 7*y**2 + 13*y + 20. Let m(z) = 4*z**2 + 6*z + 10. Let x(g) = -3*b(g) + 5*m(g). Let f be x(-8). Is f - ((-1010)/15)/((-4)/(-6)) a multiple of 12?
False
Let s be (-63)/(-18)*12/21. Suppose 4*i - 1 = k - 2*k, k + s*i = 3. Is 63 + -1 - (k - (12 + -5)) a multiple of 16?
True
Does 3 divide (-31)/((-1240)/32)*6375?
True
Suppose 15*a + 24 = 9*a. Is 7 a factor of (2 - a - 48)*-1?
True
Let y = -57 + 30. Suppose -220 = 5*n - g - 893, 4*n - 546 = -3*g. Let u = y + n. Does 27 divide u?
True
Let x = 93370 + -42577. Is x a multiple of 53?
False
Let h = 40374 - 28550. Does 2 divide h?
True
Let y(f) = 3*f - 7. Let j be y(7). Let t be (j/(-56))/((-1)/20). Suppose 5*p - t*v = 235, 0 = -3*p - 3*v + 71 + 94. Is p a multiple of 3?
True
Suppose -3*g - g + 8 = 0. Let i be (5/(50/96))/((-45)/(-1200)). Suppose -i + 58 = -g*q. Is 11 a factor of q?
True
Let y(r) = -18*r**3 + r**2 + 4*r + 7. Let n be y(-4). Suppose 11*a - 370 = n. Is a a multiple of 2?
False
Let r(u) = -u**3 + 30*u**2 + 30*u + 49. Let h be r(31). Suppose -2*i + 123 - 51 = 0. Let c = i + h. Is c a multiple of 6?
True
Let b = -7641 + 10890. Is 35 a factor of b?
False
Suppose -32 = -p - 24. Is (-8)/32 - (-1370)/p a multiple of 15?
False
Suppose -32*x + 857016 = 26*x + 339424. Is 92 a factor of x?
True
Let f be (4 - 6 - -5) + (-2)/2. Suppose -j = -6*j - f*d + 1462, 5*d = -3*j + 862. Is j a multiple of 49?
True
Let q be (-3 - -1 - -1 - -1)/2. Suppose q = -7*d + 20*d - 1092. Does 42 divide d?
True
Let a = -68 + 72. Let t(u) = u - 4. Let n be t(a). Let f(z) = -z**3 + 191. Is 13 a factor of f(n)?
False
Let a(i) be the first derivative of -i**4/4 - i**3 + i**2 + 11*i + 27. Let d be a(-3). Suppose 72 = d*b - 113. Does 10 divide b?
False
Suppose -5*m - 4*t + 2920 = 0, 3*m + 4*t - 1750 = 2*t. Is 4 a factor of m?
True
Suppose 0 = -2*q - z - 9, -q = -2*z + 2 - 10. Is 16 a factor of 297/2*q/(-3) - -2?
False
Let c(k) = -k + 8. Let j be c(4). Suppose 0 = -0*f + j*f - 2*r - 1098, 5*f - 1392 = -4*r. Is f a multiple of 6?
True
Let a = -8731 + 11016. Does 116 divide a?
False
Let o = 11638 + -502. Does 48 divide o?
True
Let k(t) = 3*t**2 - 6*t - 16. Let b be k(4). Let v(d) = -d**3 + 16*d**2 - 7*d + 8. Does 35 divide v(b)?
False
Suppose -3*c - 153 = -4*c. Suppose -6*s + 7*s - c = 0. Let o = s + -106. Is 17 a factor of o?
False
Let i(u) = 64*u**2 + 13*u - 19. Is 36 a factor of i(-12)?
False
Let p = 6616 + -3935. Does 64 divide p?
False
Suppose -3*g + 1436 = -46. Let y = g + -257. Is 14 a factor of y?
False
Let i(u) = -4*u**3 - 25*u**2 + 25*u + 6. Let n(g) = 7*g**3 + 49*g**2 - 50*g - 12. Let l be 12/(-9)*9/(-4). Let o(a) = l*n(a) + 5*i(a). Does 5 divide o(-23)?
True
Let f = -5143 + 7608. Is 85 a factor of f?
True
Let z be (5 + 21/(-7))*10/4. Suppose 0 = -3*m + 4*n + 107, z*m + 4*n = 7*m - 70. Is 24 a factor of m?
False
Let h(b) = -324*b - 848. Is h(-34) a multiple of 124?
True
Suppose 29*n = -41 + 101 + 56. Let q = 1 - 1. Is 8 a factor of (44 - 1) + (n - q)?
False
Let t be (2 - (1 - -8)) + 2. Let r(l) be the first derivative of -l**4/2 - 7*l**3/3 - 4*l**2 + 7*l - 62. Is 24 a factor of r(t)?
False
Let y(h) = -4*h + 17. Let x be y(3). Suppose -4*m + 56 = f - 39, x*f + 5*m = 490. Does 11 divide f?
True
Let d(f) = -2447*f + 5. Let j be d(-3). Let r = j - 1598. Is 15 a factor of (r/15 - 8) + 2/(-10)?
True
Does 83 divide 3/12 - 1110/(-8)?
False
Is 104860/30 + (3 - 35/15) a multiple of 38?
True
Let f be (-90)/27 + (-6)/9 - -6. Suppose -5*j + 347 + 57 = t, -f*t + 822 = 3*j. Does 12 divide t?
False
Let c(z) = -3*z**3 + 260*z**2 + 70*z - 246. Is c(86) a multiple of 13?
True
Is ((-45627)/(-2))/((-81)/(-54)) a multiple of 74?
False
Suppose -78*u + 80*u - 9758 = -2*l, -2*l = -4*u - 9740. Is l a multiple of 6?
False
Let w(n) = -31*n - 10. Let x(r) = 7*r + 5*r + 6 - 75*r - 27. Let i(p) = -5*w(p) + 2*x(p). Is 17 a factor of i(5)?
True
Let f(l) = -6*l**2 - 10*l - 4. Let g be f(-10). Is 4752/g*(-12 + -1 + -1) a multiple of 6?
True
Let d(u) = -u**3 - 6*u**2 - 4*u + 7. Let x be d(-5). Suppose -x*a + 575 - 245 = 0. Is 22 a factor of a?
False
Suppose -x + 25*k - 31*k = -603, 4*k + 20 = 0. Is 5 a factor of x?
False
Suppose -6*a + 1491 = -1425. Suppose -2*l = 2*j - a, 4*j - 804 = l + 168. Is 29 a factor of j?
False
Let s(f) be the first derivative of -98*f**2 + 21*f + 116. Is s(-1) a multiple of 8?
False
Let q(c) = 12*c**2 + 14*c - 2234. Is 104 a factor of q(77)?
True
Let s(j) = j**2 + 7*j + 12. Let n be s(-3). Suppose n = -5*t + 337 - 92. Is t even?
False
Suppose 0 = -4*w + 21 - 5. Suppose 5*f = -w*t - 8 + 38, -f + 3*t - 13 = 0. Suppose -52 - 196 = -f*x. Is 10 a factor of x?
False
Suppose 3*z + 2 = -