s 19 divide 1*(-28)/a*-12?
False
Let s = 23 - 13. Let r be ((-96)/40)/((-2)/5 + 0). Suppose -s*o + r*o = -96. Is o a multiple of 17?
False
Let p = -2828 - -4336. Is p a multiple of 29?
True
Let f(n) be the second derivative of n**4/2 + 5*n**3/2 - 10*n**2 + 40*n. Is f(-7) a multiple of 13?
True
Suppose 3*s = 3*t + 2613, -5*t - 5*s - 7041 + 2656 = 0. Let h = t - -1966. Is h a multiple of 13?
True
Suppose 13 = 2*z + 3*d - 6*d, 0 = -4*d - 12. Does 5 divide 5 + z/(5 - 7) + 5?
False
Let v be (-15)/(4084/(-1360) - -3). Suppose -13*d + v = 4*d. Does 60 divide d?
True
Let m(p) = 56*p**2 + 24*p + 57. Does 13 divide m(-10)?
False
Let f be (24/20)/((-165)/(-50) - 3). Suppose f*i - 90 = -4*h + 5*h, -2*h - 26 = -i. Is i a multiple of 11?
True
Suppose -18*f + 39680 = -2*f. Suppose -11*i - f = -7474. Is i a multiple of 69?
False
Let u = -13487 + 20462. Is 25 a factor of u?
True
Let f = -6652 - -11681. Suppose -w = 3*w + 3*h - f, 5*h = w - 1263. Is 37 a factor of w?
True
Suppose 5868 = 11*n + 379. Let t = n - 151. Is t a multiple of 38?
False
Suppose -8*o = -3*o - n - 136, -5*o = -3*n - 128. Is (-16)/o*1624/(-8) a multiple of 3?
False
Suppose -6*q + 102172 = 104*q + 54*q. Is 49 a factor of q?
False
Let o be (5 + 0 - 3) + (2 - 1). Does 14 divide (12/(-16))/o - 109/(-4)?
False
Let j(d) = 7*d**2 - 21*d - 135. Suppose -16*w = -2 + 130. Is j(w) a multiple of 34?
False
Let w = -126 - -128. Suppose -2 + 1 = m + d, -d + 2 = w*m. Suppose 2*y = -2*s + 276, 8*s - 550 = -4*y + m*s. Is 10 a factor of y?
True
Let q = 467 - 789. Let z = -90 - q. Does 29 divide z?
True
Let s(j) = 265*j**3 - 6*j**2 + j + 2. Is s(2) a multiple of 50?
True
Let t be 1 + -6*(-6)/9. Suppose 6*s - 50 = -5*u + s, t*u = 5*s. Let g = u + 30. Is 5 a factor of g?
True
Let n = -8825 + 12112. Is n even?
False
Suppose 4*x - 6 = -18, 360 = 5*b - 5*x. Suppose 67*y - b*y + 672 = 0. Is y a multiple of 6?
True
Let w = 1777 + -919. Is 26 a factor of w?
True
Let n(j) = 211*j - 63. Suppose -52 = -14*x + 18. Is n(x) a multiple of 8?
True
Let k(b) = -2*b - 15. Let f be k(-10). Suppose 2*x = -l + f*l + 730, 5*l = 4*x - 1475. Is x a multiple of 15?
True
Let r(q) be the first derivative of -q**4/4 + 4*q**3/3 + 5*q**2/2 + 4*q - 8. Let k be r(5). Suppose 0 = -d + 53 + k. Does 20 divide d?
False
Suppose -13*m = -6*m - 35. Suppose 2*o - o + 878 = m*n, 536 = 3*n + 4*o. Suppose -54 = -5*z + n. Does 8 divide z?
False
Suppose 20 = -734*z + 738*z. Suppose 4*r - 1792 = -z*d, -5*d + 3*d = 4*r - 712. Is d a multiple of 77?
False
Let k(w) = 85*w**2 - 31*w + 200. Is 34 a factor of k(7)?
True
Suppose -47*f + 108 = -29*f. Is 10 a factor of f*(4 + 27) - 6*-1?
False
Let i be (2 + -26)*3/(-9). Suppose -5*k + i = 2*u - 6, -2*u = -2*k. Suppose -k*r - 92 = -6*r. Does 2 divide r?
False
Let m(a) be the third derivative of -16*a**2 - 5/8*a**4 + 0*a + 1/60*a**5 + 7/2*a**3 + 0. Is m(16) a multiple of 10?
False
Suppose 19583 = 3*t - 5*b, 8040 = t - 5*b + 1529. Is t a multiple of 48?
False
Let x(p) = 4*p - 33. Let i(z) = -z**2 + 4*z + 3. Let l be i(5). Let b be 41/4 + l/8. Is 2 a factor of x(b)?
False
Let c = 15157 + -4622. Does 19 divide c?
False
Let d = -407 - -1260. Suppose 2*y + 2*r - 68 = 778, 2*y = 5*r + d. Is 60 a factor of y?
False
Suppose 0 = 36*d - 1234 - 2366. Does 24 divide d?
False
Let l(t) = t**3 - 16*t + 5. Let i be l(-4). Suppose 0 = -i*d + 5, 8*d - 10*d - 229 = -3*b. Is b a multiple of 3?
False
Let x(y) = y - 3. Let o be x(5). Suppose 0 = -o*a + 263 + 49. Let g = a + -85. Is g a multiple of 24?
False
Let h be (1/(-9))/(-1) + 3886/18. Let p = h + -30. Is p a multiple of 5?
False
Let t(c) = c**3 + 6*c**2 - 4*c + 10. Suppose -242 + 32 = 3*a. Let o be 2/(-6) - 5*a/(-75). Is t(o) a multiple of 24?
False
Suppose -3*t = -0*t - 18. Let d(v) = -v**2 + 7*v - 15. Let j be d(t). Is j/(-3) + 94 - -1 a multiple of 19?
False
Suppose 0 = 21*h - 5*h - 32. Does 46 divide (h + -3 - -179)/((-3)/(-6))?
False
Let t = -463 + 882. Let a = 573 - t. Is 34 a factor of a?
False
Is 26 a factor of (35 + -27 - (-23)/2)*(-2092)/(-3)?
True
Suppose 0 = -23*q - 21170 + 82626. Is 8 a factor of q?
True
Let u(c) = 90*c**3 - 11*c**2 + 59. Does 3 divide u(4)?
True
Is (220/(-400)*-10)/(2 + 153/(-78)) a multiple of 11?
True
Let s(n) = n**3 + 4*n**2 - 15*n - 15. Let z be s(-6). Suppose z*o - 2*o = -5*d + 6164, -4*d + 5*o + 4908 = 0. Does 56 divide d?
True
Let v(j) = j**2 - 10*j + 10. Let p be v(-8). Suppose -3*t - 5*g = -p, 0*t + 3*t - 4*g = 109. Let w = 183 - t. Does 28 divide w?
True
Suppose 11 - 11 = 7*r. Suppose 24*n - 26*n = r. Suppose -5*l + 691 + 349 = n. Is 37 a factor of l?
False
Does 27 divide 6/(-81)*-6 - ((-3144445)/207 + -37)?
True
Let q(u) = u**3 - 27*u - 4. Let o be q(-5). Let a(l) be the third derivative of -l**5/60 + 3*l**4/8 - 7*l**3/3 + l**2. Is 2 a factor of a(o)?
True
Let c(i) = 96*i + 416. Does 104 divide c(0)?
True
Let i = 49843 + -26578. Does 235 divide i?
True
Let u = -13796 + 17828. Is u a multiple of 28?
True
Suppose -5*s + 3*a + 0*a = -4, -4*s + 5*a - 2 = 0. Let w be (-1 + s)*5 + 563. Is w/6 - -6*(-16)/(-72) a multiple of 32?
True
Suppose 5*h - 18 = -h. Suppose w - 6 = -h. Let u(a) = 15*a**2 - 4*a + 9. Is u(w) a multiple of 44?
True
Does 34 divide (24684/9)/(92/138)?
True
Let r(p) = 23*p**2 - 294*p - 10874. Is r(-46) a multiple of 23?
False
Suppose 88 = -61*q + 53*q. Does 13 divide ((-3900)/9)/(q/33)?
True
Let l(h) = h**2 - h - 1. Let d be ((-52)/5)/(38/475). Let c = -118 - d. Is 12 a factor of l(c)?
False
Suppose -10*t = -9*t - 15. Let s(n) = n**2 - 6*n - 32. Does 10 divide s(t)?
False
Let p be 25/(-200) + 66/16. Suppose p*k - 5 - 11 = 0. Suppose l - 3*b - 7 = 0, k*l - 44 - 35 = -5*b. Is 16 a factor of l?
True
Let z(w) = w**2 - w - 43. Let p be z(20). Suppose -623 = -5*b + p. Suppose -5*y = -b - 258. Is 15 a factor of y?
True
Suppose 4*z + 3232 = 4*a, -11*a + 3*z + 1616 = -9*a. Does 4 divide a?
True
Let c(p) = -p**3 - 23*p**2 - 2*p - 41. Let m be c(-23). Suppose -5*q = -m*b - 4825, q - 50 - 921 = -2*b. Is q a multiple of 28?
False
Let m(o) = 157*o**3 + 2*o**2 + 3*o + 2. Does 22 divide m(3)?
True
Let m = 6133 + -2457. Is m a multiple of 49?
False
Let k = 120 - 53. Suppose t - x - k = x, -12 = -3*x. Suppose -b = -5*w + b + 382, -b = w - t. Does 14 divide w?
False
Is 56 a factor of 43568 + 32 + (-14 - -2)?
False
Let t = -1147 - -6123. Is 16 a factor of t?
True
Let a(m) = 2*m**3 - 9*m**2 + 3*m - 1. Let q be a(4). Is -3 - (3314/(-5) + q/25) a multiple of 8?
False
Let i = -6275 - -34318. Does 29 divide i?
True
Suppose -5*c + 4*v - 1756 = 289, -v = -2*c - 818. Let a = 772 + c. Is a a multiple of 27?
False
Is 18*(-9)/(-108)*134240/15 a multiple of 76?
False
Suppose -2*x + 4 = 0, -8*k = -5*k - 2*x - 878. Let o(i) = 19*i + 14. Let r be o(12). Suppose 8*p - k - r = 0. Is 13 a factor of p?
False
Suppose -33*x + 992827 + 905154 = 136078. Is x a multiple of 13?
True
Let i(r) = -r**3 + 14*r**2 + 8*r + 12. Let n be i(14). Let d = n - 124. Suppose d = -5*l + 281 + 1144. Does 15 divide l?
True
Let b(a) = 87*a - 1965. Is 6 a factor of b(27)?
True
Suppose 40*u - 27*u - 774865 = 0. Suppose -3*s = -38*s + u. Is s a multiple of 30?
False
Let o = 28898 + 3761. Is 75 a factor of o?
False
Let z(k) = -k**3 - 9*k**2 - 9*k - 6. Let w be z(-8). Suppose -m = -4*m - 6, 22 = w*c - 5*m. Suppose c = 5*j - 269. Does 5 divide j?
True
Let x be (-3 - -1)/((-6)/(-180)). Suppose -5*a - 391 - 629 = 0. Is a/(-10)*x/(-18) a multiple of 35?
False
Suppose -59176 = -23*f + 80572. Is 62 a factor of f?
True
Let g be (0 - 1)*(2 + -4215 - -1). Suppose -91*u - g = -100*u. Is u a multiple of 12?
True
Let o = -3680 + 4496. Does 16 divide o?
True
Let g = 27547 + -3647. Is g a multiple of 87?
False
Suppose -98*o + 96*o = -2210. Suppose 111*w - 106*w - o = 0. Does 13 divide w?
True
Let b(p) = -p**3 - 3*p**2 + 3*p. Let k be b(2). Suppose 40*q = 44*q + 196. Let t = k - q. Is 29 a factor of t?
False
Let f(v) be the second derivative of -v**4/12 - v**3 + 5*v**2 - 40*v. Let o be f(-7). Suppose -3*n = -237 - o. Is n a multiple of 20?
True
Let f(i) = i**3 + 13*i**2 - 2*i + 8. Let t be f(-14). Let d = -807 + 1035. Let b = t + d. Is 6 a factor of b?
False
Suppose 10951 = 6*r - 16589. Does 45 divide r?
True
Let s be (6 - (3 - 4))*1. Suppose 0 = -6*b + 5*b + s. Is 453/b - (8/(-7))/4 a multiple of 5?
True
Le