or of -38*15/(-24) - (-235)/188?
True
Suppose y - 9*y = -288. Is y a multiple of 8?
False
Let k(a) = -6*a + 7. Let y(s) = 8*s - 7. Let v(g) = -3*k(g) - 2*y(g). Suppose -i = -5*r + 47, -4*r - 5*i + 29 = 3. Is 4 a factor of v(r)?
False
Is 74 a factor of (-3 + 0)/(6/(-1270))?
False
Suppose -32*z + 1800 = -27*z. Is 9 a factor of z?
True
Let t = 7 - 1. Let g be (85 + -1)/2*8/(-6). Is 10 a factor of (g/t)/((-1)/3)?
False
Let v(r) = -5*r**3 + r**2 + r. Suppose 0 = u + 5, -5*u = -4*k + 2*k + 13. Let o = -7 - k. Is v(o) even?
False
Let f(z) = -z**3 + 20*z**2 + 13*z - 224. Is 3 a factor of f(20)?
True
Suppose 2*o + 7 = 19. Is 34 a factor of ((-465)/(-3) + -2)/(9/o)?
True
Let k(z) = -z**3 + 20*z**2 - 9*z + 7. Let d be (-57)/2*(-24)/36. Is k(d) a multiple of 21?
False
Suppose 7 = -5*w + 22. Suppose w*x - 8 = -z - 0, 0 = 2*x - 2*z. Suppose -52 = -3*y + 5*i, -4*y + 35 + 17 = x*i. Does 9 divide y?
False
Suppose 4*s = -2*v + 3*s - 285, -3*s - 710 = 5*v. Let h = 2 - v. Does 17 divide h?
False
Is (3/(18/(-21)) - -3)*-836 a multiple of 22?
True
Suppose 1 = -2*r + 13. Suppose r = 2*f + 66. Is 21/(-2)*40/f a multiple of 4?
False
Suppose 3*n + 899 = 2*j, 4*j - 1601 = 3*n + 194. Is j a multiple of 56?
True
Suppose -4*m = -9*m + 3*z - 3, 1 = 2*m + z. Suppose 2 = j - 3*o - 17, 3*j - o - 17 = m. Suppose j*y = -4, -t + 0 = 2*y - 12. Is t a multiple of 7?
True
Let q(k) = -2*k**3 - k - 9. Let g(b) be the second derivative of -3*b**5/20 - b**3/6 - 13*b**2/2 + 9*b. Let l(v) = -5*g(v) + 7*q(v). Is l(2) a multiple of 5?
False
Let h = -12 - 41. Let k = h - 37. Let b = k - -150. Does 13 divide b?
False
Suppose -4*v + 2850 - 103 = 3*o, -o = v - 916. Is o a multiple of 7?
True
Let y = 1152 - 336. Is 12 a factor of y?
True
Suppose j + 3 = 2*j. Suppose h - j*h = 0. Suppose n + n + 2*i - 20 = h, -4*n + 5*i - 5 = 0. Is n even?
False
Let l(j) = 6*j**2 - 3*j - 56. Does 91 divide l(-17)?
True
Let s be 3801/(-27) + 4/(-18). Is (s/2)/(51/(-136)) a multiple of 13?
False
Suppose 4*f = 0, 9*u - 10*u - f = -460. Does 23 divide u?
True
Let l = 4302 - 2949. Does 41 divide l?
True
Let p(z) = z**3 + 3*z**2 - 7*z - 18. Does 3 divide p(-3)?
True
Let w(f) = 17*f**3 - f**2 - 8*f - 16. Does 73 divide w(5)?
True
Let u(v) = v**3 + 22*v**2 - 12*v + 13. Is u(-21) a multiple of 4?
False
Let b(p) = 4*p**2 - 29*p - 20. Is 15 a factor of b(-7)?
False
Let j be 1*(-1)/(2/(-6)). Let c = j + 13. Let d = c + 11. Is d a multiple of 9?
True
Suppose -c + 1 = -w - 8, -4*c + w = -24. Suppose c*d = 4*b - 0*b + 64, 0 = 3*d - 3*b - 39. Suppose 3*q = 48 - d. Is 11 a factor of q?
False
Suppose -4*c + 4*p + 21 = -c, c - 3*p = 12. Suppose -212 = -c*f - 71. Is f a multiple of 9?
False
Does 53 divide -7*36/(-63) - -480?
False
Suppose -m - 95 = -2*v, -3*m - 60 = -0*v - v. Is v a multiple of 2?
False
Suppose 5*l - 1284 = 2*g, 3*l + 7*g = 2*g + 789. Is 4 a factor of l?
False
Suppose -66 = -4*v + i, -4*i = -3*v - 0*v + 43. Let m = v - 16. Suppose 5 = u + m. Is u a multiple of 2?
True
Let q(t) = -t**3 - 8*t**2 - 8*t - 4. Suppose -10*u - 14 = -8*u. Let a be q(u). Does 7 divide a/(2 + 22/(-14))?
True
Let t = 2 + 0. Let g = -87 - -259. Suppose 6*q = t*q + g. Is 25 a factor of q?
False
Let f(o) = -5*o**2 + 6*o + 5 - o**3 + 3*o**2 - 8. Let q be f(-5). Suppose -2*c + q = -38. Is c a multiple of 11?
False
Let k(a) be the first derivative of -3*a**2/2 - 11*a - 1. Suppose 3*m = 3, 4*h + 40 = -0*h - 4*m. Is 14 a factor of k(h)?
False
Suppose -2*v - v - 2*y - 150 = 0, y = v + 50. Let f = v - -154. Suppose -5*j = 4*l - 345, 3*j - l - 103 - f = 0. Is j a multiple of 15?
False
Let p(m) = 24*m**3 - 6*m**2 + 24*m - 51. Does 3 divide p(3)?
True
Let z be (-1)/(3/84)*-1. Suppose -z = -6*l + 8. Does 6 divide l?
True
Suppose 0 = -3*y - 614 + 77. Let b = y + 352. Is 21 a factor of b?
False
Is 13 a factor of (3/((-9)/(-69)))/((-2)/(-46))?
False
Suppose -4*u - 6 = -18. Is u*(4/(-24))/((-1)/158) a multiple of 28?
False
Let a = -229 + 226. Let x(z) be the second derivative of z**4/6 - z**3 - 3*z**2 - 2*z. Is 15 a factor of x(a)?
True
Suppose 4*v + 6*x - 20 = x, 2*x = 0. Is (0/v)/2 + 249 a multiple of 44?
False
Suppose 5*b - 6 = -2*x, 0 = 2*x - 3*b + 1 - 7. Suppose -5*t + 33 = x. Suppose 2*z - t*z - 2*i = -110, 0 = -z - 4*i + 45. Is 25 a factor of z?
True
Is 6 - 0 - (-243)/3 a multiple of 3?
True
Let x be ((-712)/(-12))/(2/(-6)). Let i = -124 - x. Is i a multiple of 27?
True
Let c = 84 + -79. Suppose 250 = 3*s + c*x, -2*s + 169 = -4*x + 17. Does 10 divide s?
True
Let m be ((-3)/(15/22))/(6/(-30)). Is m/99 + (-1582)/(-9) a multiple of 19?
False
Let t = -659 - -1070. Suppose 1131 - t = 6*w. Is 34 a factor of w?
False
Let b(w) = 3*w**2 + 3*w - 4. Let a be b(-3). Suppose -a*u + 364 + 1050 = 0. Is u a multiple of 7?
False
Suppose -30 = -2*m - m. Suppose 5*i + 6 = -34. Let x = i + m. Is x even?
True
Let i(j) = 3*j**3 - 2*j. Let z be (-22)/(-5) + 10/(-25). Suppose z*h - 6*h + 6 = 0. Is 32 a factor of i(h)?
False
Suppose -8*n + 1458 = n. Let w = n + 138. Does 60 divide w?
True
Is (-26)/(-13)*(0 - (-374 + 1)) a multiple of 22?
False
Let o = 8805 - 5512. Is 89 a factor of o?
True
Suppose -5*q - 286 = 8*q. Does 17 divide (q/16 - (-12)/(-96))*-126?
False
Let b be (-3)/1*36 - 0. Let g = -76 - b. Is 16 a factor of g?
True
Suppose 287*o = 284*o + 399. Does 12 divide o?
False
Let g(u) = u**3 + 4*u**2 - 9*u - 15. Let h be g(-5). Suppose -n + 3*n + h*j - 50 = 0, n - 10 = 5*j. Is n even?
True
Let c(k) be the second derivative of k**4/6 - 2*k**3/3 + 3*k**2 - 3*k - 28. Let h = 10 - 5. Is c(h) a multiple of 6?
True
Suppose -8*b - 1936 = -0*b. Does 12 divide (-4)/10 - b/5?
True
Suppose 0 = 20*t - 9*t - 506. Is t a multiple of 14?
False
Is 4/10*(3 - 4 - -296) a multiple of 9?
False
Does 22 divide (-4)/54 + -5 + (-40830)/(-81)?
False
Suppose 363 = 5*f + r - 68, 2*f - 168 = 4*r. Let a be 1*(-1)/(-2)*f. Suppose 5*c - 35 - 20 = 5*h, a = 3*c + 2*h. Does 5 divide c?
False
Suppose i = -r + 3*r - 148, -2*i + 370 = 5*r. Is 74 a factor of r?
True
Let g = -247 - -351. Is g a multiple of 16?
False
Let f be ((-20)/4)/((-4)/4). Suppose 2 - f = -y. Suppose 0 = y*d + 4*n + 16 - 55, 27 = 4*d - 3*n. Is 3 a factor of d?
True
Does 39 divide (-6)/(-33) + (90144/99)/8?
False
Is ((-15)/(-3) + -4 - 4)*-508 a multiple of 40?
False
Suppose -5*a - 67 = -452. Suppose 2*g = 4*l - 328, -6*l + 5*l = -3*g - a. Is l a multiple of 24?
False
Let w(y) = y**2 - 7*y - 1. Let q be w(7). Let f = q - -12. Suppose 15*c = f*c + 48. Does 4 divide c?
True
Let c(j) = -j**2 - 8*j + 4. Let i be c(-8). Suppose 3*x = 3, -2*q + i*x = -5*q + 118. Suppose 34 + q = g. Does 18 divide g?
True
Let u(g) = -951*g**3 + 9*g**2 + 11*g + 3. Is u(-1) a multiple of 34?
True
Suppose 5*o - 116 = 69. Let a = 9 + -6. Let m = o - a. Does 13 divide m?
False
Suppose -4*k - 4 = -24. Suppose k*j = -0*j + 345. Is j a multiple of 23?
True
Let n = -126 - -130. Let z(l) be the second derivative of -l**4/12 + 5*l**3/3 - 3*l**2 - 2*l. Is 18 a factor of z(n)?
True
Suppose 77 = 2*x + 17. Let m be (-604)/x - (-6)/45. Is 5 a factor of 137/9 + m/90?
True
Suppose 5*n + 2*v = 436, -5*v = -n + 67 + 31. Is n a multiple of 8?
True
Suppose 8 = 5*v - 17. Suppose -v*l - 390 = -g, 3*g - 2*l - 1735 = -526. Suppose 0 = p - 6*p + g. Does 14 divide p?
False
Let a be 0 - (0 + -6 + 3). Let f be 7 - (3 - (a + -1)). Suppose -f*j + 467 - 47 = 0. Is j a multiple of 10?
True
Suppose -g = 181 - 281. Is g a multiple of 25?
True
Let g be (1 - 1) + -2 + 312/(-12). Is 14 a factor of ((-3)/(-3)*1*g)/(-1)?
True
Let m(n) = 2*n - 8. Let f be m(6). Let a(y) = -5*y - f*y + 4 - 3*y. Does 10 divide a(-3)?
True
Let b be (2*-1)/((32/(-6))/(-8)). Is (-906)/18*b - 1 a multiple of 30?
True
Suppose 1231 + 1673 = 8*j. Is 33 a factor of j?
True
Suppose 24*i = 16*i + 768. Does 16 divide i?
True
Suppose -5*z - 25 = -5*y, 2*y - 3*z = 6 + 6. Suppose -56 = -y*g + 13. Does 7 divide g?
False
Let m(o) = -o**3 + 4*o**2 + 4*o + 11. Let w be m(5). Let p(k) = 4*k**2 + 5*k - 13. Is p(w) a multiple of 23?
True
Let g be (5/(-3))/(6/(-648)). Suppose 4*h = 8*h - g. Is 23 a factor of h?
False
Let w(f) = f**3 - f**2 - 2*f. Let s be w(2). Suppose s*t = 3*t - 99. Is 9 a factor of t?
False
Let c = 18 + -15. Suppose -c*d + 0*p = -5*p - 97, 0 = -2*p - 4. Is 29 a factor of d?
True
Suppose -4*c + 114 = a, -c + 40*a = 38*a - 24