s m a multiple of 68?
False
Let x(j) = 97*j + 96. Is x(3) a multiple of 23?
False
Is 41 a factor of (-255)/6*-20*1/2?
False
Let h(r) = r**2 + 7*r + 12. Let i be h(-5). Suppose i*t + 0*t - 45 = -d, -3*t - 158 = -4*d. Let a = -12 + d. Is a a multiple of 21?
False
Let u(g) = 11*g + 8. Let z = 4 + 9. Suppose -z = 4*s - 29. Is u(s) a multiple of 26?
True
Let h be -3*(-4)/6*2. Let b = 67 - 67. Suppose 0 = u - 2*c - 75, b*c = -u + h*c + 69. Does 27 divide u?
True
Suppose 5*y - 85 = p - 8, 4*y - 3*p = 66. Suppose -4*s = k - y, s - 3 = 2*s. Is ((-4)/3)/((-2)/k) a multiple of 18?
True
Is 48 a factor of (-21)/(-42)*(-1132)/(-2)?
False
Suppose x + 4*m - 301 = 155, -5*x + 2*m = -2236. Is 14 a factor of x?
True
Let u be (44/8 + -4)/((-9)/(-30)). Let q(w) = w**2 + 3*w + 2. Let d be q(-2). Suppose -u*h + 19 = g, 2*g + 5*h = -d*g + 53. Is 20 a factor of g?
False
Is ((-504)/90)/(4/(-290)) a multiple of 14?
True
Suppose 141*z - 120*z - 30807 = 0. Is z a multiple of 56?
False
Suppose k = -a + 135, a = -3*a + 2*k + 570. Is 7 a factor of a?
True
Let b = 45 + -33. Is (0 - (-4)/b)/(6/2322) a multiple of 26?
False
Suppose 3*r - 2*y = 1510 + 4, -4*r = 4*y - 2012. Is 29 a factor of r?
False
Let i(r) = r**3 + 7*r**2 - 11*r - 4. Let x be (-1 + 67)*(-4)/8. Let m = 25 + x. Does 19 divide i(m)?
False
Let b be (-21)/6*28/(-49). Let o = 70 + -12. Suppose -b*x = -o - 38. Is 13 a factor of x?
False
Let f(z) = -333*z - 9. Is f(-1) a multiple of 18?
True
Let v(t) = 52*t. Suppose -3*r + 0 + 3 = 0. Is 26 a factor of v(r)?
True
Suppose 0 = -l + 4*c + 203, -19*l + 20*l = -2*c + 209. Is l a multiple of 9?
True
Let a = 79 - 84. Does 3 divide -3 - a/(20/96)?
True
Suppose 5*c + 0*q - 255 = 5*q, 5*c + q = 237. Let t = c + -20. Is t a multiple of 7?
True
Does 4 divide 39/(((-3)/10)/((-2)/5))?
True
Does 29 divide ((-3)/(-4))/((12/1696)/3)?
False
Let f(h) = 3*h**2 - 42*h - 217. Does 128 divide f(44)?
False
Let s be (-270)/(-63) - (-2)/(-7). Suppose s = -4*u + 12. Suppose 2*k - u = 50. Is k a multiple of 12?
False
Suppose -r - 4 = -3*r. Suppose 10 = r*k + 3*k. Suppose k*h - 30 = -0*h. Does 13 divide h?
False
Suppose -7 = 2*u - 15. Suppose -4*b + 12 - u = 0, -2*b = o - 28. Is 9 a factor of o?
False
Let a(r) = -r**3 + 30*r**2 - 40*r - 77. Is a(28) even?
False
Let w(x) = x**3 + 7*x**2 + x - 15. Let d be w(-6). Let b = d + 13. Does 3 divide b?
False
Suppose -17*f + 19*f - 880 = 0. Is f a multiple of 8?
True
Suppose 2*f + l = -2*f + 38, l = f - 7. Suppose 4*x - x = f, 5*i + x = 133. Is 10 a factor of i?
False
Suppose 3*v = -v - 4*h + 612, v + 7*h - 123 = 0. Is v a multiple of 8?
False
Does 8 divide (-2 - 0) + 4 + 5 + 122?
False
Let j(m) = -11*m**3 + 3*m**2 + 3*m + 16. Is j(-4) a multiple of 9?
True
Let v(m) = 3*m - 34. Let y be v(13). Suppose -10*h + y*h = -850. Does 17 divide h?
True
Suppose -3*d + 9 = x + 2*x, -3*d = 5*x - 21. Suppose c - 4 = -x. Is c/10 - 608/(-40) a multiple of 5?
True
Let a(p) = -p**2 + 10*p - 15. Let u be a(8). Is 3 a factor of (-38)/(-3) + -6*u/9?
True
Suppose 13*l = 1106 + 1598. Is 44 a factor of l?
False
Suppose 4*s = 2*a + 6, 0*s = 4*a - 2*s - 12. Suppose 370 = 5*m + 3*b, 3*m = 5*m - a*b - 148. Is m a multiple of 37?
True
Let n(x) = 2*x**3 - 18*x**2 + 2*x + 13. Let b be n(9). Let w = -14 + b. Is 17 a factor of w?
True
Suppose -5*w + 2*w = 4*m - 2865, 0 = 4*w - 12. Is m a multiple of 17?
True
Let j(h) = h - 5. Let n be j(2). Let d be 2 + n + 0 + 3. Suppose -30 = -0*i - d*i. Is i a multiple of 5?
True
Let f(s) = -11*s - 4. Let t be f(-6). Let q = t + 40. Suppose 0 - 6 = 3*n, -2*l + q = -5*n. Does 21 divide l?
False
Let j(y) = 12*y**3 + y**2 - 6*y + 1. Let m be j(-3). Let s = m + 512. Does 12 divide s?
True
Let p(x) = -x**3 - 3*x**2 - 4*x - 2. Let k be p(-2). Suppose k*v - 5*d - 97 = -0*v, 3*d + 3 = 0. Is v/3 - (-8)/12 a multiple of 15?
False
Suppose 8*o - 14*o = -408. Is 23 a factor of o?
False
Suppose 5*l + 2*n + 3 = 0, -4*l - 4 = -2*l - 2*n. Let p be 5/((2 + -3)*l). Suppose 83 = p*q - 82. Is 13 a factor of q?
False
Let h = 11 - 37. Let s be h/2 + (-4)/4. Let p = 32 + s. Does 9 divide p?
True
Let b = -10 - -16. Let a(q) = -5 + q + b - 1 + 5. Is 12 a factor of a(7)?
True
Let q(j) = 373*j + 838. Does 28 divide q(8)?
False
Is 6/14 + (-19410)/(-35) a multiple of 18?
False
Let j = 23 - 40. Let s = 23 + j. Suppose 295 = -y + s*y. Is 10 a factor of y?
False
Let i(g) = g + 11. Let t be i(-9). Suppose 0 = t*b + 6 - 14. Suppose b*y = y + 84. Is y a multiple of 28?
True
Let o be (-4)/(-6) + (-90)/(-27). Suppose -2*d + 12 = o. Suppose 0 = -2*f + 2*a + 18, -3*f + 51 = a + d. Is 14 a factor of f?
True
Let d(g) = -g**3 - 3*g**2 - 2*g. Let r be d(-2). Let h = -16 + 12. Let b = r - h. Does 4 divide b?
True
Let j(x) = -6 + 7 + 3*x - 6*x. Let i be j(-2). Suppose -i*u + 10*u - 9 = 0. Is 3 a factor of u?
True
Let f(o) = -o**2 - 8*o - 8. Let k be f(-7). Let y(s) be the third derivative of -2*s**4/3 - s**3/6 - 27*s**2 + 3. Does 10 divide y(k)?
False
Let n(u) be the second derivative of -u**5/20 + 7*u**4/12 + 4*u**3/3 + 3*u**2/2 + 6*u. Let q be n(8). Suppose 0*j - 27 = -q*j. Is 8 a factor of j?
False
Suppose 31*l - 32*l = -299. Is 23 a factor of l?
True
Suppose -3*p - 3*m = -10 - 5, 0 = -5*p + 5*m - 5. Suppose 2*s - 188 = -r, p*s + 5*r + 38 = 218. Let b = s + 1. Is b a multiple of 16?
True
Suppose 2*f - 266 = -2*d, -4*f - 5 = f. Suppose 0 = -4*v + d + 142. Suppose v = -l + 2*l - 5*u, l - 81 = u. Does 28 divide l?
True
Let c be 31*(-2 + -3)/(-1). Suppose y + 5*b - 47 = 0, -3*y = -0*y + b - c. Is y a multiple of 26?
True
Let o(t) = -t**3 - 5*t**2 - 26*t - 47. Is 37 a factor of o(-9)?
False
Let t = 1443 + -833. Is t a multiple of 16?
False
Suppose 4*j - 5*j - 2 = 0, 3*c - 229 = -j. Let n = -14 + c. Is n a multiple of 9?
True
Let u = -1400 + 3338. Is 34 a factor of u?
True
Let x = 4618 + -1758. Does 52 divide x?
True
Let x(u) = u**3 - 12*u**2 + 9*u - 3. Let q be x(7). Is 3*3*q/(-15) a multiple of 18?
False
Is (6 - 11)/(-1) - -1990 a multiple of 15?
True
Let p(r) = 12*r**2 - 6*r - 1. Let x(n) = 24*n**2 - 12*n - 2. Let c(a) = -5*p(a) + 3*x(a). Is c(5) a multiple of 16?
False
Let v(y) = -y**3 - 7*y**2 + 14*y + 35. Let z be v(-14). Suppose 5*b - 3*j = -5*j + z, -4*j + 964 = 4*b. Does 27 divide b?
True
Let x = 1055 + -656. Does 51 divide x?
False
Let l(s) = s**2 + 5*s + 8. Let p be l(-12). Suppose -6*m - 5*h = -5*m - p, -4*m + 4*h = -248. Is m a multiple of 38?
False
Let b(c) = 47*c**2 - 2*c - 1. Suppose x + 0*x - 2 = 0. Suppose -x*k = 5 - 3. Is 24 a factor of b(k)?
True
Let h be 1 + 1*(-1 + -1). Suppose -124 - 36 = -5*k. Let s = h + k. Is s a multiple of 11?
False
Let r = -69 + 129. Is -2*(3 - r)/((-6)/(-9)) a multiple of 29?
False
Let i = -179 - -499. Is 40 a factor of i?
True
Let f = -1 - -4. Suppose -k = -2*k - f*v - 2, -2*k = 3*v - 2. Suppose r + 11*h = 6*h + 22, 2*r - 100 = k*h. Is r a multiple of 9?
False
Suppose 0 = 3*x - 372 - 1020. Is 16 a factor of x?
True
Let r = 2 + 9. Suppose 9*m = r*m - 80. Does 4 divide m?
True
Suppose -j = 4, -4*v + 3*j + 773 = 233. Is 3 a factor of v?
True
Is 8 a factor of -2*(0 - -6)*-24?
True
Let g(i) = i**2 - 8*i. Let t be g(7). Let f = t + 9. Is 15 a factor of 2 - (-27 + (-2)/f)?
True
Does 11 divide (-24)/(-16)*(-5412)/(-9)?
True
Suppose 3*w = o + 221, 25 = -9*o + 4*o. Let r be (w/(-63))/(4/(-14)). Suppose r*v + 1 = 121. Is v a multiple of 30?
True
Suppose -1899 = -40*h + 2581. Does 2 divide h?
True
Let v(g) = 2*g**2 - 7*g - 24. Let m be -1*1/(-3)*21. Is 11 a factor of v(m)?
False
Let w(u) = -u**2 - 9*u + 40. Is w(-9) a multiple of 5?
True
Suppose -4 + 2 = -x. Suppose -3*b - x*b = -195. Is 13 a factor of b?
True
Suppose 13*m = -12*m + 4800. Is 32 a factor of m?
True
Suppose a - 57 = -2*o + 22, -3*o + 2*a + 136 = 0. Suppose 0 = s - 0*s + 3*b - 5, 5*s + 2*b - 12 = 0. Suppose -o = -s*p - p. Is 14 a factor of p?
True
Suppose -3*r = -6*r + 12. Suppose 51 = 3*c + 3*w, 3*c - r*w = -c + 92. Is c a multiple of 10?
True
Suppose -q = -1, j + 3*q - 1 = -2*q. Is 44 a factor of (4/(-8))/(j/1056)?
True
Let z = -22 - -42. Suppose -4*h + z = 2*w, 3*h - 8 = -w + 6. Is (65*4)/4 - w a multiple of 21?
True
Suppose -k - 5 = 1. Let u be (-9)/k + (-2)/(-4). Suppose -3*z = -3*a + 117, -u*z - 4 = -12. Does 14 divide a?
False
Suppose 2*l + 7 = 4*g + 31, -l = 4*g. Let w = l - 6. Suppose h 