-520)/(-60)*(7 - s)?
True
Let h(m) be the third derivative of 5*m**4/24 - 25*m**3/2 - 11*m**2 - 4. Does 16 divide h(19)?
False
Let v = 677 + 100. Does 31 divide v?
False
Suppose 3*h - 3 = 3. Suppose 0 = 5*c - 4*g + h*g - 30, 9 = -4*c - 5*g. Suppose 20 = 3*z - 5*q, 3*q - 36 = z - c*z. Is z a multiple of 10?
True
Let r = -66 + 298. Does 37 divide r?
False
Let c = 4921 - 3099. Is 87 a factor of c?
False
Suppose -2*o + 3*j + 12 = 0, 3*j = 4*o - 13 + 1. Suppose 2*x - 33 + 11 = o. Suppose 119 = 5*h - x. Is 13 a factor of h?
True
Let j(b) = 61*b - 134. Is 28 a factor of j(10)?
True
Let l(d) = 5*d**2 + 18*d - 176. Is 137 a factor of l(-23)?
True
Let u(d) = -d**3 - 16*d**2 + 3. Let n be u(-16). Suppose 4*f = n*t - 2*t - 11, 5*t = 4*f + 23. Suppose t*q = 67 + 20. Does 10 divide q?
False
Does 5 divide (52/65)/(4/890)?
False
Let j = 189 + 555. Does 31 divide j?
True
Let p(a) = -a + 2. Let h be p(-2). Suppose -258 = -h*t + t. Suppose -s + 2*f - t = -4*s, 4*s - 5*f = 153. Does 8 divide s?
True
Let h = -3932 - -6325. Does 70 divide h?
False
Suppose 6*r - 3*r - 117 = 3*s, -3*s - 120 = -2*r. Let o = s + 48. Does 4 divide o?
False
Suppose 0*h - 4*h = 96. Is (56/h + 2)/((-2)/366) a multiple of 35?
False
Let h(l) = 11*l + 18. Let i be h(-1). Suppose 2*b + g - 33 = 0, 2*b + 4*g + 36 = 6*b. Suppose 0 = -p + b - i. Is p a multiple of 4?
False
Let w(a) = -6*a - 6. Let r be w(3). Let q = r + 42. Does 11 divide q?
False
Let g(w) = w**3 + 4*w**2 + 2. Let m be g(-4). Suppose 8 = 2*s - m. Suppose -4*f - 110 - 38 = -4*b, -s = -f. Does 6 divide b?
True
Let u = 8 - 7. Suppose 0 = 2*z + 5*k - 2*k + 6, u = -z - 2*k. Is 3/z + 316/12 a multiple of 12?
False
Suppose 0 = -3*h - 20 - 4. Let q = 4 + h. Is 9 a factor of (-9)/((q/1)/12)?
True
Does 5 divide 100 - (16/(-24))/(8/(-12))?
False
Suppose 0 = -3*w + 5*i + 560 + 35, 5*i - 605 = -3*w. Is 8 a factor of w?
True
Suppose g + 3*g + 64 = 0. Let j = 21 + g. Suppose -s = -2*u + 7*u - 41, -143 = -3*s + j*u. Is s a multiple of 23?
True
Suppose 2*l - 96 = -2*l. Suppose 3*y + y = 0. Suppose -22*c + l*c - 38 = y. Is c a multiple of 10?
False
Let n = 35 - 25. Suppose n*d - 226 = 8*d. Let l = -59 + d. Is l a multiple of 23?
False
Let z(b) = -7*b - 18. Suppose 2*u + 5 + 13 = 0. Is z(u) a multiple of 14?
False
Is 21 a factor of (12/(-27))/(-2) + (-43460)/(-45)?
True
Suppose 4*c = 2*j + 936, 229 = -3*c + 4*c + 2*j. Is c a multiple of 13?
False
Suppose -56*n - 1216 = -60*n. Is 7 a factor of n?
False
Let v = -66 - -123. Is v a multiple of 10?
False
Does 24 divide 8/(-12) + (1 - 2048/(-12))?
False
Suppose 2*g - 3*n = 277, -4*g + 4*n - 7*n = -509. Is 39 a factor of g?
False
Let a = 0 + 2. Let r be (0/1)/(a + -1). Suppose r = -2*l - b + 41, 0*l + 3*l - 64 = -4*b. Does 10 divide l?
True
Let i(n) = -n**3 - 4*n**2 - 5*n - 4. Let y be i(-3). Suppose -y*k + 10 = 0, 0*z + 2*z - 87 = -k. Does 10 divide z?
False
Suppose 0*q + 20 = 2*q. Let n = -10 + q. Let w(j) = -j + 6. Is w(n) a multiple of 5?
False
Suppose 62179 - 15361 = 54*o. Is o a multiple of 3?
True
Let u(k) = 28*k + 36. Let w be u(-6). Is 15 a factor of -2 + (1 - w - -4)?
True
Let z = 17 + -12. Suppose -16 = -5*s - i + 2*i, -3*s - z*i + 4 = 0. Let x(u) = u**2 + u - 1. Does 5 divide x(s)?
False
Let c = -1982 - -4047. Is c a multiple of 13?
False
Let r(l) be the third derivative of 7*l**4 - l**3/2 - 23*l**2. Does 15 divide r(1)?
True
Let z = -15 - -10. Let w(v) = -3*v**2 + 3*v + 4. Let g(h) = 2*h**2 - 4*h - 4. Let o(p) = 4*g(p) + 3*w(p). Does 3 divide o(z)?
True
Suppose -2*z = -9*b + 7*b + 6740, 2*z + 3374 = b. Is 102 a factor of b?
True
Let d(l) = -l**3. Let c(u) = -2*u**3 - 8*u**2 - 8*u - 10. Let f(k) = -c(k) + d(k). Let v be f(-7). Suppose p = 2*p - 5*z - 76, v*z = p - 66. Does 15 divide p?
False
Let t = 2372 - 1876. Is t a multiple of 2?
True
Let g(i) = -2*i**2 - 18*i + 9. Let d(k) = 10*k**2 + 89*k - 45. Let p(a) = -2*d(a) - 11*g(a). Does 6 divide p(-12)?
False
Does 11 divide 29/(174/268)*1*9?
False
Suppose 4*t + 4*b = 8148, 2*t - t - 2041 = -3*b. Is 30 a factor of t?
False
Let s(m) = -2*m**3 + 3*m**2 - m - 1. Let a be s(5). Let q = -73 - a. Is q a multiple of 27?
True
Let v = -19 - -21. Suppose 370 = 3*k - 5*r, -v*k + 4*r + 114 = -k. Does 13 divide k?
True
Let m = -28 - -31. Is (-4 + -32)*m/(-2) a multiple of 3?
True
Suppose 2*k - 2556 = -4*q, 0 = -4*k + 3*q + q + 5124. Does 20 divide k?
True
Let d = -6 - -11. Suppose -2*h - 3*h = -3*u + 28, -40 = -d*u + 5*h. Is 14 a factor of 246/u + (2 - 1)?
True
Let t be (-1 - 0)/(11/(-1166)). Suppose 0 = -5*m + 104 + t. Is m a multiple of 21?
True
Let j be 1 + -121 + 1 - -3. Let w = 188 + j. Is w a multiple of 24?
True
Suppose -2*u + 0 = -4. Let j(i) = -i**2 - 30*i - 1. Let p be j(-19). Suppose -p = -2*t - u*t. Is 13 a factor of t?
True
Let w = -21 + 29. Suppose w*z - 770 = 3*z. Is 11 a factor of z?
True
Suppose -39*v = -42*v + 138. Does 4 divide v/253 - (-436)/22?
True
Let q(d) = 416*d**2 - 15*d - 30. Is 64 a factor of q(-2)?
True
Let c(r) = -r**3 + 21*r - 4. Is 2 a factor of c(4)?
True
Suppose -4*h + 12 = 2*f, 5*f = -13 - 7. Suppose -h*k = -2*k - 390. Is 13 a factor of k?
True
Let h(p) be the third derivative of -p**6/120 - 7*p**5/30 - p**4/4 + 8*p**3/3 - 2*p**2 - 4. Is 25 a factor of h(-14)?
True
Let j(m) = 58*m + 73. Is j(5) a multiple of 33?
True
Suppose 0 = -4*t + 12*t + 1520. Let x = -114 - t. Is 23 a factor of x?
False
Is (-3093)/2*68/306*-3 a multiple of 3?
False
Let q(h) = h**2 - h - 3. Let s be q(-2). Suppose 4*y = o + s - 30, -6 = 2*y. Is o a multiple of 11?
False
Let l(x) = 20*x**2 + 4*x - 7. Is 5 a factor of l(3)?
True
Let b be (2 + -4 - 1) + (-3 - 0). Let k(y) = -y**2 - 9*y - 10. Is k(b) a multiple of 8?
True
Suppose 1500 = 65*t - 59*t. Is 25 a factor of t?
True
Suppose 0 = -8*c + 29 + 1163. Is c a multiple of 24?
False
Let o = 10 + -7. Suppose 22 - 8 = 2*h. Does 9 divide -1 + o*h/1?
False
Let y = 523 + -237. Is 22 a factor of y?
True
Let w be (18/45)/((-1)/(-10)). Suppose -1 - 15 = -w*q. Suppose 374 = q*o - 2*i, 0 = 3*o + o + 3*i - 379. Does 29 divide o?
False
Let h(j) = j**2 - 9*j - 7. Let i be h(11). Suppose 0 = -0*t + 3*t - i. Suppose -65 + 5 = -t*b. Does 6 divide b?
True
Let y(u) = 2*u**3 + 7*u**2 + 6*u. Let g be y(-4). Let r be (-4)/6 + g/(-6). Suppose -r*z = -a - z + 18, 40 = 3*a - z. Is a a multiple of 13?
True
Let w(k) = -k**3 + 2*k**2 + 3*k + 5. Suppose 0 = -5*y - 7 + 47. Suppose 0 - y = 4*n. Is w(n) a multiple of 3?
True
Let m(p) = 16*p**2 - 22*p + 46. Is m(6) a multiple of 70?
True
Let h be (1 - -2) + (-7 - 0). Let r be (-8 - -2)/(6/h). Suppose -x + b + 110 = -0*x, r*x - 422 = -5*b. Is x a multiple of 36?
True
Suppose -2*w + 671 = -851. Does 32 divide w?
False
Suppose -2*f + 89 = -3. Let k be (-2)/(-3)*33/(-22). Let a = k + f. Does 15 divide a?
True
Is 40/(-32)*4 + 1069 a multiple of 76?
True
Let s be -11 - (1 - 5 - -1). Is (-112)/(-6)*(-18)/s a multiple of 16?
False
Suppose 0 = -4*h + 10 - 2. Suppose 2*i - h*n - 7 - 203 = 0, -4*i = 4*n - 380. Is i a multiple of 25?
True
Let l = 14 - 39. Let j = 23 - l. Is 12 a factor of j?
True
Let z(w) be the third derivative of -w**6/60 - w**5/6 - 3*w**4/8 + 7*w**3/3 - 13*w**2 + 1. Is 35 a factor of z(-6)?
True
Suppose 0*z + 212 = -2*z + q, -3*z + q = 318. Let k = z - -203. Is 30 a factor of k?
False
Let i be (4 + -5)*-2*1. Let r be (-9 - 0)*(i + -4). Suppose 22*s - 236 = r*s. Is s a multiple of 18?
False
Suppose 0 = -2*j - 6, -3 = i - 4*i - 2*j. Suppose 58 = -u + i*u. Is 7 a factor of u?
False
Suppose 0 = 4*a + 3*a. Suppose 209 = 3*w - 4*t, 0 = -5*w - a*t - t + 310. Does 21 divide w?
True
Let k(r) = 5*r + 32. Is k(12) a multiple of 23?
True
Let s be (3 - 5 - -2)/(-1*1). Let h be (4/6)/(5/45). Suppose h*q - 8*q + 60 = s. Is 7 a factor of q?
False
Let h = 626 - -138. Suppose -97 = -3*b + h. Suppose k = -p + 4*p - b, -2*p - 2*k + 194 = 0. Is p a multiple of 24?
True
Suppose 0 = -4*n - 6 - 10. Does 21 divide -2 - (260/n - 0)?
True
Let n be (68 + 0)*6/4. Let k = n - 45. Is 9 a factor of k?
False
Suppose 26 - 6 = 4*a. Suppose 5*d = -a*v - 5, -v - 16 = 3*v + d. Let i(w) = -9*w - 6. Is i(v) a multiple of 13?
True
Let q = -179 - -479. Is 15 a factor of q?
True
Let t be -126*2/(-5 + 1). Is 2 + t + (3 - 8) a multiple of 12?
True
Suppose 55 = 2*a + 3*s, 3*s + 6 = 2*a - 79. Is 4 a factor of a?
False
Let