ppose -18*l + 12*l + 432 = w. Does 24 divide l?
True
Suppose 213463 = -208*c + 864919. Does 116 divide c?
True
Suppose 14*i - 6888 = 3*r, -i + r - 83 = -575. Does 5 divide i?
False
Let q(u) = u**2 + 4*u + 5 - 5 - 3. Let v(z) = 3*z - 13. Let g be v(6). Does 7 divide q(g)?
True
Is (11/(-22))/((-6)/(-165756)*-1) a multiple of 55?
False
Suppose 9588 = -478*h + 480*h - 3*v, 4*h = v + 19166. Is 29 a factor of h?
False
Suppose -6*b + 0*b = 0. Suppose b = -14*c + 13*c - 3, -l - c = -1322. Is l a multiple of 61?
False
Let l(x) = -5*x + 63. Let q(t) = -16*t - 2. Let r be q(-1). Let v be l(r). Let u(g) = -2*g**3 - 12*g**2 + 4*g + 10. Is 11 a factor of u(v)?
False
Let w(l) = -4*l**3 + 59*l**2 - 121*l - 2218. Does 144 divide w(-19)?
True
Let t(o) = 91*o + 87. Suppose 7*x + 284 = 361. Is t(x) a multiple of 63?
False
Suppose -3*k - 98 + 34 = -5*u, -5*u = -2*k - 61. Let l(q) = -10*q + 6*q**2 - u*q**2 + 10*q**2 - 10. Does 23 divide l(-6)?
True
Let l(r) = -3*r**2 + 54*r - 257. Let c(d) = -d**2 - d + 1. Let h(f) = -2*c(f) + l(f). Is 36 a factor of h(36)?
False
Let q be (-79)/(-8) + -1 - 68/(-544). Does 20 divide (3/q)/(5/765)?
False
Let p(s) = 9*s - 25. Let w be p(3). Suppose -135 = w*r - 375. Does 4 divide r?
True
Let o(s) be the second derivative of s**5/20 + 2*s**4/3 + 2*s**3 + 11*s**2 - 3*s - 10. Is 6 a factor of o(-5)?
False
Let u = 86 - 41. Let d = -282 + 338. Let x = d - u. Does 11 divide x?
True
Let m(q) = -q**2 + 23*q - 15. Let g be m(10). Suppose 5*p - 65 - g = 0. Is (p/24)/(3/40) even?
True
Let m(i) be the second derivative of -i**4/12 - 5*i**3/6 - 3*i**2/2 - 14*i. Let g be m(-3). Suppose 2*f - 2*l = 230, g*l = -4*f - l + 468. Is 29 a factor of f?
True
Suppose 4*s - 4*o + 4855 = 15271, -5*s + 3*o = -13020. Does 7 divide s?
True
Let h(g) be the first derivative of 8*g**3/3 + g**2/2 - 13*g + 49. Is h(-5) a multiple of 24?
False
Let i(y) = 23*y - 3. Let z be i(1). Suppose -3*h + 5*v + 380 = 0, -v = -z*h + 17*h + 388. Is h a multiple of 2?
True
Suppose 61 = -3*d + 7. Let s be (2 + d)/4 + 88. Is 10308/s - 2/(-7) a multiple of 20?
False
Let b = 13996 + -12353. Is b a multiple of 41?
False
Suppose 72*f = 68*f + 148. Suppose f*g = 39*g - 240. Suppose -3*t + 6 = -g. Is 7 a factor of t?
True
Let p = -167 + 78. Suppose 2*h + 9*a - 5*a + 312 = 0, -5*a - 10 = 0. Let j = p - h. Is 9 a factor of j?
True
Suppose 0 = 3*m - 24*m + 40362. Suppose 0 = b + x - 1938, 5*b - 6*b + m = 5*x. Is b a multiple of 38?
False
Suppose -32*w - 6 = -34*w. Suppose w*d - 2 = 10. Suppose 0 = 3*x + 15, t + 22 = 2*t + d*x. Is t a multiple of 35?
False
Suppose -8*n - 9*n - 16116 = 0. Is 20 a factor of n/(-40)*8 - 4/(-10)?
False
Let r(h) = 8*h**2 + 18*h - 11. Let o be r(14). Suppose -40*m + o = -711. Does 63 divide m?
True
Suppose -3*i = -5*z + 8, 11*z + 3*i = 6*z + 32. Suppose z*t - 510 + 154 = -4*q, 2*t - 3*q - 173 = 0. Does 4 divide t?
True
Suppose 74*g - 28047 = -10762 + 30815. Does 25 divide g?
True
Suppose -18*y - 55990 = -3*x - 20*y, -3*y - 37305 = -2*x. Is 60 a factor of x?
True
Suppose -26 = -5*g - o + 3*o, -3*g + 5*o + 27 = 0. Suppose 3*s = 12, 0 = -g*u - 3*s + 580 + 2852. Is 45 a factor of u?
True
Suppose -4*u - a + 142868 + 20705 = 0, 40879 = u + 5*a. Does 254 divide u?
True
Let t(b) = -b**3 - 7*b**2 + 8*b + 4. Let h be t(-8). Suppose l + h*c = 174, 0 = 2*l - 6*l - c + 741. Does 62 divide l?
True
Suppose -242512 = 10*c + 21*c - 47*c. Is c a multiple of 37?
False
Let w(v) = -v**2 - 158*v - 6084. Does 3 divide w(-78)?
True
Let k = 26917 + -7639. Is k a multiple of 119?
True
Is 12 a factor of (32/(1088/(-255)))/(((-21)/1800)/7)?
True
Suppose -1 = 2*r - 5*a - 336, 0 = 4*a + 12. Suppose -6*k + r = -2030. Is k a multiple of 27?
False
Let c(h) = -31*h + 160. Let r be c(5). Suppose r*m - 12 = m, -3*y + 2*m = -3180. Is 26 a factor of y?
False
Let q(w) = 174*w**2 - 49*w + 190. Does 77 divide q(6)?
True
Let d(y) = -1790*y + 99. Does 16 divide d(-3)?
False
Let k(x) = -19*x + 4149. Is 13 a factor of k(-56)?
True
Is 20 a factor of (8/8)/3*17082 - -6?
True
Suppose 182*j - 153*j - 698088 = 0. Is j a multiple of 118?
True
Let t be -96*5/75*(-15)/(-2). Suppose 0 = 2*i - 4*i - d - 70, -i - 5*d = 35. Let w = i - t. Is w a multiple of 4?
False
Suppose -6*b = 14*b + 8*b - 112. Let h = -5 + 7. Suppose -h*q + 66 = c, q + 72 = 3*q + b*c. Does 10 divide q?
False
Let f(o) = -16*o + 299 + 2*o**2 - 617 + 81*o + 303. Does 10 divide f(-35)?
True
Let b(t) be the second derivative of -4*t**3/3 + 7*t**2 + t. Suppose -2*i + l - 28 = -0, -4*l + 34 = -2*i. Does 12 divide b(i)?
False
Suppose 0 = -5*p + 3*b + 20, -4*b = -0*b - 20. Let m(g) = g**3 - 8*g**2 + 16*g - 14. Let z be m(p). Suppose i - 135 = z. Does 15 divide i?
False
Does 36 divide 77/(-44) + 2 - (-49004)/16?
False
Let r(s) = 16*s + 2170. Is r(-67) a multiple of 61?
True
Is (14/70*15/2)/((-14)/(-155568)) a multiple of 18?
True
Let p = 28550 - 19123. Suppose 12*i - p + 1363 = 0. Is 32 a factor of i?
True
Let p be -3*96/27*9/(-2). Let v = -20 + p. Suppose -30*n = -v*n - 44. Does 11 divide n?
True
Let w(v) = -v**3 + 18*v**2 + v - 15. Let f be w(18). Let o = f - -8. Suppose 4*j = o*j - 21. Does 2 divide j?
False
Suppose -2479 - 1691 = -6*o. Let h = 1384 - o. Is 17 a factor of h?
False
Suppose -t = 5*w - 6*t + 30, 0 = 4*w - t + 24. Let o(h) = -3*h**3 - 3*h**2 + 3*h - 15. Does 39 divide o(w)?
True
Let r = 15344 + -7836. Does 26 divide r?
False
Does 62 divide (13/(-18)*-4)/(8/(-9636))*-3?
False
Let q(u) = 5*u**2 - 35*u - 25. Is 13 a factor of q(22)?
True
Let b = 81 - 146. Let w = -24 - b. Let j = w - -37. Is j a multiple of 13?
True
Let z be 1 - -8085 - (-4 + (-13 - -11)). Is 18 a factor of z/36 + 9 - 2/(-9)?
True
Is 3 a factor of 60 - 55 - ((0 - 2)*1 - 7916)?
True
Is 172 a factor of (13932/15)/(7/105)?
True
Let s = 4580 + -8788. Is s/(-20) - (39/(-15) - -3) a multiple of 35?
True
Suppose -2*x - 8*x = 0. Suppose -4*q + 90 = p, x = 4*p - 9*p - 2*q + 540. Is p a multiple of 11?
True
Suppose -4 + 0 = -4*k, -858 = -3*d - 3*k. Suppose 5*s - r = d, s + 4*s = -3*r + 305. Let g = s - -22. Is g a multiple of 21?
False
Suppose 0 = -5*v - 3*s - 51, -9*v + 5*v + 5*s - 63 = 0. Let k be (-75)/v - 3/(-4). Suppose k*x - 630 = 2*x. Does 14 divide x?
True
Suppose -48*p = -v - 53*p + 1561, 0 = 3*v + 4*p - 4639. Is 26 a factor of v?
False
Let w(f) = 4*f**2 - 19*f + 4. Suppose 3*k + 4*n = -22, -2*n + 31 = -5*k - 3*n. Let u(d) = d**3 + 6*d**2 - d + 1. Let c be u(k). Is w(c) a multiple of 8?
False
Let v be -42 - (-9 - -5) - (-3 + 1). Let j(l) = 2*l - 26. Let d be j(13). Does 13 divide v/(-15)*(d - -20)?
False
Let v be 5 + 465 + (-1)/1. Let o = 1271 - v. Is 74 a factor of o?
False
Let i be -2 - 1/(2/(-2538)) - 0. Suppose -322 = m - 2*t - i, -5*m - 4*t + 4753 = 0. Is m a multiple of 13?
True
Suppose -16*a - 3*m - 18021 = -19*a, -5*m - 18023 = -3*a. Is 39 a factor of a?
True
Let a(j) be the second derivative of 2*j**3/3 - 9*j**2/2 + 2*j. Let m be a(8). Let p = 7 + m. Is 13 a factor of p?
False
Let o(q) = 3*q**2 - 2*q + 3. Let h be o(1). Suppose 46 + 2 = -h*s. Does 8 divide ((-100)/(-12) - 3)/((-2)/s)?
True
Let i be 554/(3 + (0 - 5)). Let m be 10 - (-5 + 10) - i. Suppose r - 21 = m. Is 47 a factor of r?
False
Let p be 19/7 + (-2)/(-7). Suppose 2*x = p*n - 132, 4*n + 0*x = x + 176. Suppose 0 = -t + n + 8. Is 26 a factor of t?
True
Let z be (-50)/(-175) + -30*1/7. Let k be 100 + -4 - (z/2 + 4). Let r = k + -89. Is 4 a factor of r?
False
Let t be 30/5 - (-2 - -5). Suppose 0 = t*s - s - 10*s. Suppose 0 = 2*k - 5*q - 410, s*k - k + 191 = q. Is k a multiple of 22?
False
Let y = -13 + 11. Let j be y + ((-2)/(-16) - 1461/(-24)). Let h = j + 7. Does 11 divide h?
True
Let b = -1 - -18. Suppose 6*u + 4*w - 25 = 3*u, -2*w + b = 3*u. Suppose u*v - 2*t = 84, 10 = -v + 2*t + 34. Is v a multiple of 6?
True
Let z(m) = -2*m**2 + 28*m + 23. Let i be z(23). Let g = -187 - i. Is g a multiple of 34?
True
Suppose 2*a - 243 = -y, 3*a - y = -2*y + 364. Suppose a = -x + 361. Is 10 a factor of x?
True
Let k be (-5 - -26)/3*1. Suppose -4*y = 2*u - 894, 2277 = k*u - 2*u - 4*y. Is u a multiple of 60?
False
Let o be (-9)/(-54) + 58/12. Suppose -o*z - 27 + 2 = 0. Is 24 a factor of 63/(-6)*z/((-15)/(-14))?
False
Let a(f) = -3*f - 11. Let t(q) = -3*q - 10. Let v(n) = 5*a(n) - 4*t(n). Let b be v(-5). Suppose b = 4*l + 5*x