+ -13 + -3)/((-2)/10) a multiple of 40?
True
Let q be 7/2 + 10/(-20). Let t(r) = 10*r**2 - r - 10. Is 7 a factor of t(q)?
True
Let o be -6 + (-7)/(42/4404). Let k = o + 1196. Is 9 a factor of k?
False
Let g(z) = 10*z**2 + 11*z - 113. Is g(-10) a multiple of 22?
False
Let t = 365 - 124. Let o = t - 115. Is 8 a factor of o?
False
Suppose 4*u + 120*u - 1562112 = -20*u. Does 12 divide u?
True
Suppose 4*s + 1459 = 12415. Is 33 a factor of s?
True
Let h(v) = 50*v**2 + 82*v - 20. Is h(-6) a multiple of 14?
True
Suppose 690*a - 695*a + 5 = 0. Does 11 divide ((45/(-12))/(-15))/(a/1244)?
False
Let l = 7 - 8. Let y be -3 - -5 - 0 - (l + -275). Let h = y + -186. Is 19 a factor of h?
False
Let v = -31 - -35. Suppose -v*c - 36 = -4*q, -3*q - 4*c = -25 - 9. Suppose 5*j + 505 = q*j. Does 16 divide j?
False
Let k be (-646)/38*(-2)/17. Let h(d) be the third derivative of 3*d**4/8 - 2*d**3/3 - d**2. Is 14 a factor of h(k)?
True
Suppose -2*j + 12 = -4*s, -4*s = -0*j + j. Suppose -9*t = -u - 12*t + 6, 5*t = -j*u - 4. Is u/(6/(-18) - 0) a multiple of 9?
True
Let d(s) = 5456*s**2 - 307*s + 307. Does 176 divide d(1)?
True
Let r be 3*(-3)/(18/(-68)). Suppose -3*t - 77 = -4*b + 24, -5*b - 2*t = -109. Suppose -21*c = -b*c + r. Is 4 a factor of c?
False
Suppose -3*v = 214*x - 211*x - 3408, -3404 = -3*v - 4*x. Does 228 divide v?
True
Let f(n) = n**2 + 19*n + 69. Let m be f(-14). Is m/15 - (-102128)/120 a multiple of 23?
True
Let s be 1 + 3*(-4)/(-3). Suppose 0*r = -s*r + 15. Let v = 5 + r. Is v a multiple of 8?
True
Suppose 5*p - 9*q - 5011 = -5*q, 4*q - 2981 = -3*p. Suppose -11*w + p = 2*a - 12*w, 5*w + 486 = a. Is 36 a factor of a?
False
Does 17 divide 947 - (-2 - 6 - -5)?
False
Let a be (108/10)/((-4)/(-10)). Suppose a + 1011 = 6*b. Is b a multiple of 2?
False
Suppose 4*b + 2*d = 33 + 191, -200 = -4*b + 4*d. Let q be 5/(-2)*(-632)/395. Suppose -b = -o - 4*a, -q - 11 = 5*a. Is 12 a factor of o?
False
Let i(a) = 1550*a**2 + 345*a - 1034. Is 21 a factor of i(3)?
False
Suppose -g + 3*i = 3181 - 35329, -5*i = -15. Is g a multiple of 27?
True
Suppose -40*a - 2*a + 1475880 = 0. Suppose -42*n = -7*n - a. Is n a multiple of 44?
False
Suppose 81*j = 79*j + 5*r + 3754, -j + r = -1886. Is 27 a factor of j?
False
Suppose 6*t + 38 = -274. Let r = t + 14. Let x = 77 - r. Is 19 a factor of x?
False
Let z(j) = 2*j - 30. Let u be z(17). Suppose -l - 134 = -2*l - 5*r, -u*r + 274 = 2*l. Is l a multiple of 6?
False
Let p(f) = -f + 2. Let a(y) = -y**3 + 7*y**2 + 28*y + 54. Let d(q) = -a(q) - 2*p(q). Does 19 divide d(14)?
True
Let z(p) = 1512*p**2 + 10*p - 13. Is z(-2) a multiple of 2?
False
Let a = -167 - -58. Let b = 1170 - 1011. Let y = a + b. Is 10 a factor of y?
True
Let m(k) = -41*k + 11. Let c(y) be the first derivative of 41*y**2/2 - 10*y - 27. Let a(q) = 4*c(q) + 3*m(q). Is a(2) a multiple of 7?
False
Let f = 1 - 1. Let p(m) = 17*m**2 - 5*m + 36. Let l(z) = -57*z**2 + 16*z - 106. Let n(g) = 3*l(g) + 10*p(g). Is n(f) a multiple of 7?
True
Is 7 a factor of (2*44365/152)/(-2 - 18/(-8))?
False
Let n(i) = -i**2 + 53*i + 78. Let p be n(54). Let r = p - -264. Does 32 divide r?
True
Does 34 divide (-890)/(1834/1260 + (-2)/(-4) - 2)?
False
Let t(n) = 5*n + 271. Let i be t(-13). Let d = i - 198. Is d a multiple of 2?
True
Let l = 121 - -520. Let w = l - 350. Is w a multiple of 9?
False
Let y(m) = -15*m - 26. Let x be y(14). Let n be (-1)/(-4) - (-4)/((-64)/x). Let l = 13 + n. Does 12 divide l?
False
Suppose -t - 2*o = -2291 - 1053, -4*o + 16732 = 5*t. Is 27 a factor of t?
True
Does 6 divide (-12)/18 + 28*(-376)/(-24)?
True
Let b = -347 + 444. Suppose -b*x - 5330 = -102*x. Is x a multiple of 24?
False
Suppose 196*h + 223166 = -25*h + 608369. Does 33 divide h?
False
Let s = 10439 - -2937. Does 38 divide s?
True
Suppose -16 = -273*d + 269*d. Let v(q) = 10*q - 13. Let p(r) = r**2 - 29*r + 38. Let x(a) = 3*p(a) + 8*v(a). Is 15 a factor of x(d)?
True
Let q(t) = -t**3 + 7*t**2 - 4*t + 12. Let g be q(6). Suppose -4*a + 0 - 4 = -5*x, -2*x + g = 4*a. Suppose a*o = -2*k + 30, o - 2 = 1. Is 6 a factor of k?
False
Is (-387)/2193 - (-2135073)/51 a multiple of 69?
False
Let m(i) = i**2 - 15. Let n be 3/(-2)*40/(-15). Suppose 0 = n*z + 8, v - 3*z + 6*z = -12. Is 13 a factor of m(v)?
False
Let i = -99 - -103. Suppose 4*g = -0*f - i*f + 8, 0 = -5*f - g + 18. Suppose -f*d + 68 = -32. Does 4 divide d?
False
Let n(m) = -1 - 70*m + 3*m - 21*m + 3*m. Is 14 a factor of n(-1)?
True
Suppose 70*y - 726926 = -193876. Is y a multiple of 53?
False
Let d = -454 - -444. Let c(u) = 18*u**2 + 87*u - 12. Is 18 a factor of c(d)?
True
Let s = 12589 + -5680. Is s a multiple of 21?
True
Let o(l) = -2*l + 1. Let c be o(9). Let v = c - -37. Suppose 0 = 6*f - 5*f - v. Is f a multiple of 16?
False
Let o = -1576 + 5242. Is o a multiple of 78?
True
Suppose 72 = 14*u + 16. Suppose -u*h = 3*x - 75, -1 = -2*h - x + 34. Suppose 5*s + 10 + h = 0, c - 4*s - 22 = 0. Is c even?
True
Let v(b) = -40921*b - 713. Is v(-1) a multiple of 82?
False
Suppose 48*y - 88692 = -46*y + 98180. Is 14 a factor of y?
True
Let o(f) = -f**3 - 27*f**2 - 61*f - 17. Let i be o(-25). Suppose -8*p + i = -126. Is 12 a factor of p?
True
Suppose 6*k + 5*w = 3*k + 33, -k = 5*w - 21. Let c(g) = -2*g**3 + 11*g**2 + 6*g - 9. Let o be c(k). Let x(m) = 5*m**2 + 30*m - 10. Does 13 divide x(o)?
False
Let c be 0 - 249 - (13 - 14). Let y = 688 + c. Does 55 divide y?
True
Let y(i) = 2*i**3 - 15*i**2 - 28*i + 9. Let p be y(9). Suppose 548 = 4*z - 2*a, -14*z + 16*z - 3*a - 274 = p. Is 11 a factor of z?
False
Let m be (-3 - -6 - 0) + -5 + 4. Let h be (3/m)/(3/4). Suppose h*s = 2*f + 4*s - 236, -5*f = 3*s - 582. Is f a multiple of 38?
True
Suppose 0 = 2*w - l - 16, 0 = 2*w - 5*w - 2*l + 24. Suppose 0 = d + w*d + 81. Let x(k) = k + 24. Does 15 divide x(d)?
True
Does 23 divide (44720/(-156))/(1/(-39)) + -1 + -1?
True
Let k = 19 + -24. Let f = -2 - k. Suppose f*l + 9 = 0, t - 4*l = 18 + 36. Does 14 divide t?
True
Let z(o) = 3*o. Let p be z(6). Suppose 4*m - p = 2. Suppose 4*g - 295 = -5*s, -m*s - 3*g + 93 + 207 = 0. Is s a multiple of 8?
False
Is 23 a factor of (24/(-21) - 0)/((836/391006)/(-19))?
False
Suppose -513814 + 300452 = -239*v + 502682. Does 7 divide v?
True
Suppose -11*d - 11*d = d - 261786. Is d a multiple of 14?
True
Let l(d) = 25*d**2 - 38*d - 12. Let m be l(8). Suppose -y - 2*y + m = 0. Suppose -8*w + 4*w + y = 0. Does 10 divide w?
False
Let f = -45 - -42. Is 12/(-28) + f + 828/21 a multiple of 6?
True
Does 10 divide 28/6*(-6 + ((-3726)/(-12) - -9))?
False
Is (-2547424)/(-30) + (-862)/6465 a multiple of 190?
False
Let s = 17 + -13. Is 8 a factor of (s/(-6)*1)/((-76)/41154)?
False
Suppose 7*o + 3*o - 54223 = 100657. Does 11 divide o?
True
Is (19 + 579/(-9))/(2/(-57)) a multiple of 34?
True
Let k = -32 + 36. Suppose 24 - k = w + 4*j, 0 = -3*w - 3*j + 42. Is 7*w/1 - -4 a multiple of 17?
False
Is 1978 + -5*((-10 - -9) + (-3)/15) a multiple of 42?
False
Let x be (-7 + (-50)/(-6))*-444. Let h = -362 - x. Is 10 a factor of h?
True
Suppose 2*c - 30 = 2*k, -4*c - 15 = c. Is 10 a factor of (810/k)/((-3)/22)?
True
Suppose -177*w + 252169 = -1607332 + 50738. Is 47 a factor of w?
False
Let y(p) = p**2 + 14*p + 44. Let r be y(-9). Let t be ((-10)/(-15) + 6)*(-21)/r. Suppose -6*l + t = -4*l. Does 35 divide l?
True
Does 234 divide ((-3469)/(-3))/(246/2214)?
False
Let z(m) be the third derivative of -1/60*m**5 - 1/4*m**4 + 0*m + 0 + 15*m**2 + 21*m**3. Does 9 divide z(0)?
True
Let c = -2023 + 4509. Suppose -c = -4*y - 7*y. Let z = -150 + y. Does 7 divide z?
False
Let m(v) = -16*v + 99. Let j(p) = -31*p + 196. Let n(i) = 3*j(i) - 5*m(i). Is n(6) a multiple of 15?
True
Let m(d) = -5*d - 125. Let z be m(-23). Suppose -24 = -0*b + b + 5*c, -4*c + 4 = -5*b. Is -1 - 1185/z - (-2)/b a multiple of 13?
True
Let w = -16536 + 23796. Does 48 divide w?
False
Let v(w) = w**3 - 28*w**2 + 55*w + 54. Suppose 3*t - 12 - 66 = 0. Is v(t) a multiple of 6?
True
Suppose -4*s = -113 + 37. Let d(o) = 1 - 16*o - 15*o + 3 + s*o. Is d(-9) a multiple of 13?
False
Suppose -6*a + 1546 + 2024 = 0. Let o = -547 + a. Is 20 a factor of o?
False
Suppose -5*v = 5 - 5. Let y be (v + 6)/(314/(-158) - -2). Suppose 0 = 2*j + 4*j - y. Does 21 divide j?
False
Suppose -322953 - 127407 = -54*m. Is m a multiple of 88?
False
Suppose 