4)*-4?
False
Let c = 120 - 77. Suppose 0 = -4*a - 27 + c. Suppose 0*v - v - a*x + 19 = 0, 3*v - 5*x + 11 = 0. Is v a multiple of 3?
True
Suppose -2*x = -3*p + 21 - 4, -4*x + 8 = 0. Suppose s - p*s + 30 = 0. Suppose 0 = -j + s*i - 4*i + 87, 3*j = -2*i + 276. Is 19 a factor of j?
False
Let u(v) be the third derivative of v**5/30 + v**3/6 + 7*v**2. Let l be u(9). Let k = -97 + l. Is k a multiple of 11?
True
Suppose 9*m - 291 = -129. Is m a multiple of 2?
True
Let k be 2/(6/(-9)) - -10. Suppose 2*u + 10 = k*u. Suppose 0 = -u*w + 21 + 9. Does 15 divide w?
True
Suppose 4*c - w = 2*w + 363, -5*c - 2*w = -448. Suppose -4*a = -c - 194. Does 32 divide a?
False
Let q be 18/(-99) - 1038/(-22). Let r = q - 26. Is 16 a factor of r?
False
Is 69 a factor of (-3 + (-2 - -5) - -4) + 606?
False
Suppose -4*k = -5*q - 101, 5*q + 107 = 4*k - 6*k. Let n = q + 25. Is 2 a factor of n?
True
Let v be (-15)/20*24/(-9). Is 7 a factor of ((-21)/v)/(18/(-36))?
True
Let l be 4/(-6) + 210/18. Suppose -45 - l = -2*y. Is y a multiple of 5?
False
Let l(w) = w**2 + w + 1. Suppose 0 = -6*d - 54 + 144. Suppose d = -3*r - 0*r. Is l(r) a multiple of 7?
True
Suppose 1992 = 4*v - 2*o, 150 = 2*v - 5*o - 846. Does 17 divide v?
False
Let p(q) = 29*q - 2. Let m(h) = 3*h**2 - h - 1. Let g be m(-1). Is 19 a factor of p(g)?
False
Let w be (-1)/(-1) - (-1292)/(-2). Is w/(-6) - (-6)/4 a multiple of 19?
False
Let i be ((-58)/18 - -3) + (-654)/(-27). Does 7 divide (-4)/((-2)/i*2)?
False
Let k(j) = -2*j**3 - 4*j**2 + 7*j - 1. Let f be k(3). Is (7/(-2))/(-2 + f/(-36)) a multiple of 41?
False
Suppose 2*q = -6*s + 10*s + 302, 25 = -5*s. Does 35 divide -1*4 - (-2 + (-1 - q))?
True
Suppose -6*x + 909 = 5*k - 7*x, 4*k + 5*x - 733 = 0. Is k a multiple of 16?
False
Let s = 18 + -16. Is 15 a factor of (-562)/(-8) + (42/24 - s)?
False
Let h(x) = -4*x - 11. Let n be h(-13). Suppose 0 = -5*y - n - 29. Does 10 divide (-56)/(-8)*(-20)/y?
True
Let y be 12/30 - (-46)/10. Suppose 3*s - y*s = 0. Suppose 5*f + 0*g + 5*g - 120 = s, 0 = -2*g - 10. Is f a multiple of 8?
False
Let t(c) = 99*c - 1. Let x be 21/15 - 4/10. Let g be t(x). Does 20 divide g/5 + 6/15?
True
Suppose 20*j = -27296 + 93896. Does 45 divide j?
True
Suppose -w = -4*q + 12561, -4*w = -5*q + 13661 + 2043. Does 11 divide q?
False
Does 6 divide 42/(-189) - 866/(-9)?
True
Let v(o) = 20*o - 2. Let p(d) = -d - 1. Let z(m) = 4*p(m) + v(m). Let t(q) = -31*q + 13. Let n(g) = -2*t(g) - 5*z(g). Is n(-2) a multiple of 20?
True
Suppose n = -5*r + 73 + 26, 0 = -r - 4. Let z(y) = -3*y + 62. Let w be z(0). Suppose 2*s + a = -1 + w, 4*s + a = n. Is 11 a factor of s?
False
Let u be 41/2 - ((-4)/(-8) - 0). Is 12 a factor of (u/30)/((-4)/(-1038))?
False
Suppose 3*n + 438 = 2*g, 4*n + 29 - 453 = -2*g. Is g a multiple of 4?
True
Suppose -5*m + 4*b - 225 = -16437, 4*b + 3252 = m. Is 15 a factor of m?
True
Suppose 5*u + 5*q = 1539 + 1851, -5*u + 5*q + 3410 = 0. Is 20 a factor of u?
True
Let z(h) = h**3 + 8*h**2 + 12*h + 11. Let o(c) = -c - 1. Let w(i) = -3*o(i) - z(i). Let d be w(-7). Suppose 340 = d*q - q. Is q a multiple of 16?
False
Let k(o) be the first derivative of o**3/3 - 7*o**2/2 + 8*o - 39. Suppose 3*w = -4*u + 43, 36 = 3*u + 6*w - 3*w. Does 4 divide k(u)?
True
Let p(m) = 3*m**2 - 2. Let q be p(-3). Let h = q + -15. Suppose -5*f + h = g - 55, 5*g - 17 = -3*f. Is f a multiple of 6?
False
Does 132 divide (-12)/10 + 13224/20?
True
Let a = -113 - -231. Let q = -64 + a. Is 18 a factor of q?
True
Let m be 5 - (-3 + 5 - 0). Suppose 596 - 32 = m*w. Suppose 4*c - 82 - 82 = -3*o, -3*o = -4*c + w. Does 12 divide c?
False
Let n = 451 + -422. Is n a multiple of 29?
True
Suppose -w = -1 - 6. Is 6 a factor of 3/21 + 272/w?
False
Let f(c) = 2*c**2 - c - 1. Let k be f(2). Suppose -k*a + b + 419 = 0, -a - 5*b + 3*b = -86. Is 12 a factor of a?
True
Let c = 92 + -65. Let i = c + -23. Suppose i*b - 37 = 3. Is b a multiple of 10?
True
Let g(z) be the first derivative of -z**4/4 - 3*z**3 - 7*z**2 + 12*z - 27. Is g(-10) a multiple of 12?
True
Let v(z) = -71*z**3 + 2*z**2 - 3. Is v(-1) a multiple of 10?
True
Suppose -5*y + 84 + 22 = 4*v, -v = -2*y - 20. Let o be (-16)/v - 94/(-6). Let m(l) = l. Does 15 divide m(o)?
True
Let v = 510 + -434. Is 2 a factor of v?
True
Let h(l) = -l**3 - 4*l**2 - 4*l - 1. Suppose -1 = -o - 4. Let t be h(o). Suppose y = -t*y + 90. Is 15 a factor of y?
True
Suppose 4*y + 3*n = 11, 2*n - 5*n + 13 = 5*y. Suppose 4*h = l + 14, -y*l + 10 = 3*l - 4*h. Is 6 a factor of l/15 - 272/(-20)?
False
Let t(q) = 2*q**2 - 9*q - 2. Let a(w) = -8*w - 3. Let j be a(6). Let h be (-8)/28 + j/(-7). Is 15 a factor of t(h)?
False
Suppose -6*j = -5*j. Suppose 2*f - f = j. Suppose f*r + 155 = 5*r. Does 21 divide r?
False
Suppose -705 = 6*m - 3285. Is m a multiple of 44?
False
Let o = -24 + 743. Suppose -110 = 7*q - o. Does 29 divide q?
True
Let y be 3/(16/(-6) - -3). Is 31 a factor of 153 - (-2 + (-3 - y/(-3)))?
True
Let f(g) = g**3 + 22*g**2 - 4. Is f(-6) a multiple of 29?
False
Suppose 0 = -5*a + 3 + 17. Suppose 2*s + s - 8 = -4*y, -a*y - s + 16 = 0. Is y a multiple of 2?
False
Let p be (3/4)/(2/16). Let m(a) = a**2 - 5*a - 7. Let b be m(p). Is 28 a factor of (3/(-6))/b*76?
False
Suppose 0 = -3*c - 3*c. Suppose c + 34 = p. Is 17 a factor of p?
True
Let h = 899 - -2198. Is 19 a factor of h?
True
Let w(s) be the first derivative of s**4/12 - s**3/3 - s**2/2 - s + 5. Let y(d) be the first derivative of w(d). Is y(-8) a multiple of 17?
False
Let o = 4 + 5. Suppose -o*m + 6*m = -51. Let v = 48 - m. Does 22 divide v?
False
Let v(b) = 15*b + 63. Is v(7) a multiple of 28?
True
Suppose -5*h - 4*s + 247 = -496, 4*h = -2*s + 598. Does 17 divide h?
False
Let m be -1*(-52 - (-5)/1). Let t = m + 80. Is 32 a factor of t?
False
Suppose 0 = 3*c + 4 - 10. Suppose -c*a - 6*f + 202 = -2*f, -a + 4*f + 95 = 0. Does 33 divide a?
True
Let f be (-1)/(-6) - (0 + (-123)/18). Suppose -s + 3 = 1. Suppose -s*m + f = -217. Is 28 a factor of m?
True
Let n be 3 - (-1)/(-1)*2/2. Suppose -3*z - 241 = -2*c, -n*c - 125 = -3*c - 3*z. Is 18 a factor of c?
False
Let s(c) = -75*c - 1. Let l be s(2). Let o = -56 - l. Is 27 a factor of o?
False
Suppose -4*d = 2*i - 290, 6*i = 4*i - 3*d + 289. Does 22 divide i?
False
Suppose -2*z - 2*u = 2*u - 28, -4*u = -3*z + 12. Suppose z*p - 180 = 5*p. Is p a multiple of 12?
True
Let k(t) = t**2 - t + 10. Let x = -9 + 15. Let d be k(x). Suppose -4*b + d = -112. Does 19 divide b?
True
Let y = 336 - 315. Is y a multiple of 5?
False
Let s(n) = 21*n + 51. Is 6 a factor of s(7)?
True
Suppose -172*b + 179*b - 17122 = 0. Is 75 a factor of b?
False
Suppose 26 = 4*d - 3*r, -5*d = -10*d - 2*r + 21. Suppose 0 = 3*j - d*j. Suppose 5*a - 96 - 319 = j. Does 14 divide a?
False
Suppose 0*k = 25*k - 125. Let f be 0 + 1*-2 + 4. Suppose i + 25 = x + 5*i, -f*x + 38 = k*i. Is x a multiple of 3?
True
Let l be (-613)/(-5) + (-3 - (-68)/20). Let d = l + -83. Does 5 divide d?
True
Let p be (7/(-42)*-2)/((-1)/(-12)). Suppose -p*q = 3*o - 66, -5*q - 3*o + 85 = 2*o. Is q a multiple of 9?
False
Let k = 2 + 32. Is 5 a factor of (k/(-8))/(2*1/(-40))?
True
Let t = 1601 - 817. Is 16 a factor of t?
True
Let n(q) = -q**3 - q + 2. Let t be n(0). Suppose o + t*o = 99. Let x = o - 19. Does 14 divide x?
True
Suppose 0 = 12*n + 75 - 207. Let t = -1 + -1. Let b = n + t. Is b a multiple of 9?
True
Let k(f) = 13*f**2 - 21*f + 48. Is 30 a factor of k(6)?
True
Let o = -82 + 39. Let q = o - -77. Is 17 a factor of q?
True
Suppose 3*u = 7*u - 756. Suppose -5*a = -5*n - 180, -5*a + 2*n = -0*a - u. Let k = a + 9. Is 9 a factor of k?
False
Let d(p) = -p**3 - 6*p**2 - 6*p. Let r be d(-5). Suppose -2*j + 2*o = -62, j = r*j - 3*o - 122. Let f = 3 + j. Is 11 a factor of f?
False
Is (3885/49 + 3)*7 a multiple of 12?
True
Does 3 divide 342/(-95)*(15/(-2))/1?
True
Does 92 divide (-13047)/(-6) - 12/(-24)?
False
Let r(f) = 2*f + f - 8 - 6*f - 4 + f**2. Suppose 0 = 3*g - 20 + 2. Is r(g) a multiple of 6?
True
Let o = -37 + 41. Suppose o = -c + 12. Is 8 a factor of c?
True
Suppose 63*s - 492 = 57*s. Is s a multiple of 2?
True
Let w = 122 + -72. Suppose -3*b + w = 5. Is b a multiple of 3?
True
Suppose o - 3*o + 10 = 0. Let r(x) be the first derivative of 2*x**2 - 6*x - 31. Is 7 a factor of r(o)?
True
Suppose -3*d - 4 = d. Let a(i) = -7*i**3. Let u be