pose 0 = -15*j + 1402 + n. Is 29 a factor of j?
True
Let o(m) = -7*m**3 - 30*m**2 - 52*m + 167. Let t(u) = 3*u**3 + 13*u**2 + 26*u - 84. Let y(n) = 2*o(n) + 5*t(n). Is 57 a factor of y(7)?
True
Let c(h) be the second derivative of h**4/6 + 7*h**3/6 + 323*h. Suppose -2*m = -0*m + 10. Does 7 divide c(m)?
False
Let w(y) = 4664*y - 1456. Is 16 a factor of w(2)?
True
Let s(w) = -3*w + 98. Let i be s(14). Suppose -73*m = -i*m - 2720. Is m a multiple of 32?
True
Let h = -35835 - -41275. Is 32 a factor of h?
True
Let g = 14 + 0. Let t(m) = 25*m + 15 - 12*m - g*m. Does 4 divide t(-13)?
True
Suppose 10784 = 21*w + 11*w. Suppose -4*z + 4*f = -702 + 58, -5*f = -2*z + w. Does 13 divide z?
True
Suppose 2*q - i = 8178, 0 = -4*q + 3*i + 12111 + 4239. Is 31 a factor of q?
True
Suppose -3*p - 12 = 0, 4*l + 4*p - 5*p = 580. Is (-199)/(-4)*5/(30/l) a multiple of 44?
False
Let g(x) = x**2 + 4*x + 1. Let m(v) = -2*v**2 - 7*v - 1. Let o(p) = 5*g(p) + 3*m(p). Let u be o(0). Is (-16)/12*((-50)/4 + u) a multiple of 5?
False
Suppose 11*a - 169 = -59. Is (-24 - -53)/(1/a) a multiple of 10?
True
Suppose -141 = -3*d + 4*s, -3*d + 5*s = -62 - 82. Suppose -d*j = -39*j - 512. Suppose 15*r + r - j = 0. Does 6 divide r?
False
Suppose -281*v + 289*v - 1168 = 0. Let o be 771/9 - (-2)/(-3). Let b = v - o. Is b a multiple of 15?
False
Let u be ((-8)/(-12))/(2/57) + 2. Let f(z) = z**3 - 21*z**2 - z + 16. Let s be f(u). Let w(g) = 3*g**2 + 16*g + 18. Is 2 a factor of w(s)?
False
Let k = 623 + -199. Suppose -6297 = -11*u + k. Does 13 divide u?
True
Let a be 4/2 + (3 - 3). Let d(b) = 11*b**3 + 14*b**2 - b. Let q be d(2). Suppose 5*l - q = -a*c, 0*c + 2*l + 384 = 5*c. Is 19 a factor of c?
True
Let s(x) be the second derivative of -x**5/10 + 5*x**4/12 + 7*x**3/6 + 5*x**2/2 + 2*x + 26. Does 11 divide s(-4)?
False
Suppose 5*h + p - 1732 = 0, -30*h = -32*h + 3*p + 703. Is h a multiple of 3?
False
Suppose 5*a + 25 = 0, -4*a - 12 = 3*d - 127. Let r be d/15 + 1/(2/14). Is 6 a factor of (68/r)/(2/10)?
False
Suppose 732254 = 76*i + 304298. Does 35 divide i?
False
Suppose -3*j + 12 = -4*y - 90, y + 25 = j. Let l = y + 3. Does 4 divide (-57)/(-4) - ((-150)/l - 6)?
False
Suppose -l = -d + l - 40, -4*d - l - 115 = 0. Let z be d/(-75) + (-78)/(-5). Let v = z + 12. Is v a multiple of 14?
True
Suppose -82833 - 250115 = -47*i. Is 7 a factor of i?
True
Suppose -177*z + 145*z = -15680. Is z a multiple of 35?
True
Suppose 49 = 4*o + 3*o. Let j(b) = -17 + 36 + 34 + o*b - b. Is j(27) a multiple of 10?
False
Let u be 16/8*-3 - 106*36. Let f = -2433 - u. Is f a multiple of 88?
False
Let b(t) = -t**3 + 6*t**2 + t - 6. Let p(u) = -3*u**3 + 11*u**2 + u - 13. Let q(k) = -5*b(k) + 2*p(k). Does 39 divide q(-10)?
True
Suppose 13*u - 35992 = 4*u - 13942. Is 7 a factor of u?
True
Suppose -297*y + 5*b = -295*y - 369, y = -4*b + 165. Is y a multiple of 5?
False
Suppose -1546 + 4215 = 2*x - 2131. Is x a multiple of 15?
True
Suppose -3*l + 23 = -13. Suppose 8*v + l = -28. Is 18 a factor of v/10*(1 - 123)?
False
Let r = -9 + 14. Let i be 20/8*4/r. Suppose 3*q + 2*x = 124, 0 = -q - 3*x - i*x + 63. Is q a multiple of 4?
False
Suppose 203*g = -4*z + 208*g + 3072, z = g + 769. Is z a multiple of 3?
False
Let f(s) = 2*s - 13. Let g(c) = 2*c - 12. Let t(o) = -5*f(o) + 6*g(o). Let j be t(4). Suppose 3*x + 10 - j = 0, -2*x + 104 = 5*a. Is a a multiple of 11?
True
Let t = 28 + -12. Let f be 12/(-8)*t/3. Does 6 divide -8*((-4)/f + -2)?
True
Suppose 2*q + r - 18 = 0, 0 = 5*q + 5*r - 28 - 22. Let g be q/2 - (-2 + (-8)/(-2)). Suppose g*t = -2*t + 608. Does 38 divide t?
True
Let n(m) = 2064*m**2 - 19*m + 20. Is 20 a factor of n(1)?
False
Suppose 44314 = 3*c + 5*m - 20586, -5*c + 2*m = -108239. Is 117 a factor of c?
True
Suppose -9 = 2*m + 29. Suppose 7*o - 292 - 128 = 0. Let r = o + m. Is r a multiple of 8?
False
Let k = 625 + 2382. Does 22 divide k?
False
Suppose -386816 - 1720520 = -10*s - 34*s. Is s a multiple of 154?
True
Suppose 116*g - 1000 = 66*g. Let h(y) = -y**2 - 7*y - 7. Let c be h(-5). Suppose -c*z = 5 - g. Is z even?
False
Let q = -8789 - -14105. Is q a multiple of 10?
False
Let w = -338 - -345. Suppose 1482 = -w*n + 4506. Does 48 divide n?
True
Suppose 18 - 22 = 2*k. Let s(m) = -217*m - 2. Is 18 a factor of s(k)?
True
Suppose b + 3*y = 9 + 12, -5*y + 20 = 0. Suppose -3*z = -6*z + b. Does 3 divide z?
True
Suppose 2*n + 2*x - 6 = -x, 3*n + 2*x = 9. Suppose -1476 = -5*r - 3*j, 9*j = -n*r + 6*j + 882. Is r a multiple of 9?
True
Let q(v) = 235*v**3 - 166*v**2 + 819*v - 5. Does 18 divide q(5)?
False
Let q(p) = -6*p - 1. Suppose -3*a + 8*a = -5*z, 0 = 5*z + 3*a + 6. Let t be q(z). Suppose -t*i + 20*i = 108. Is 30 a factor of i?
False
Let g be -2*((-3)/5)/((-24)/820). Let x = g - -346. Is x a multiple of 8?
False
Suppose 22*j - 6696 = 4*j. Suppose 0 = 3*w - 9, -3*b + 32*w + j = 36*w. Is b a multiple of 12?
True
Suppose -j = -5*y - 88, -y + 2*j - 11 = 4*j. Let z = y - -20. Suppose z*o + 5*t + 0*t - 378 = 0, 2*o = 2*t + 236. Is 22 a factor of o?
False
Suppose -330 = 3*x + 27*x. Let h(o) = o**3 + 7*o**2 - 8*o - 3. Let p be h(-6). Let u = x + p. Is 8 a factor of u?
False
Let s(n) = 14*n**2 + 82*n + 2094. Is s(-24) a multiple of 13?
True
Let r(d) = d**2 - 9*d + 14. Let n(l) = 2*l - 15. Let i be n(3). Let c be (-104)/(-6) - (-12)/i. Is 15 a factor of r(c)?
False
Suppose 67*c = 71*c - 16. Is c/(-6) + (760/6 - -7) a multiple of 15?
False
Let a = 9567 - 9563. Suppose -u - 2*u = 15. Is 20 a factor of 1 - -3 - (-135 + u + a)?
True
Suppose -5*c - 4 = -19, -4*f + 4*c = -12. Suppose -5*s - 7 = -f*s - k, 5 = -k. Does 6 divide s?
True
Let c(y) = 371*y. Is c(22) a multiple of 14?
True
Let g(o) = 19*o - 18*o - 26 + 7. Let v be g(12). Let y(k) = k**3 + 10*k**2 + 7*k + 10. Does 18 divide y(v)?
True
Suppose -23*y + 25*y - 10 = -2*a, -y = -3*a + 11. Let r(b) = 16*b**2 - 10*b + 31. Is 13 a factor of r(a)?
True
Suppose 44*h + 13932 = 77883 + 128241. Does 52 divide h?
True
Let n(f) be the first derivative of 67*f**2/2 + f - 1. Let z(q) = -232*q + 1858. Let p be z(8). Is 24 a factor of n(p)?
False
Let t be (-3 - -4)*(2 + 0 + 3). Suppose 2*k = t*k - 234. Does 5 divide k?
False
Let l = 45 + -45. Suppose l = 4*k - 3*i - 80, 0 = -2*k - 2*k - i + 64. Is k a multiple of 5?
False
Let o(w) = 2*w**3 - 2*w**2 + 54*w + 35. Is 203 a factor of o(14)?
True
Suppose -2*l = 3*b - 244, -l + 3*l + b = 252. Let u be ((l/(-12))/(-8))/((-3)/(-9)). Suppose -t + 5 = 0, -u*s = -s + t - 206. Is s a multiple of 13?
False
Let d = -10088 - -10948. Is 215 a factor of d?
True
Suppose 1234*i = 1239*i - 23325. Is 5 a factor of i?
True
Suppose 0 = m + 7, -242*v + 68887 = -237*v - m. Does 168 divide v?
True
Let z be 14/63 + 4/27*12. Suppose o - 15 = -0*o + 3*w, -z*w + 78 = 3*o. Let j(l) = -l + 70. Does 15 divide j(o)?
False
Suppose 29*p - 28*p + 1 = 0. Let k be 2/(p - (-447)/453). Let m = 20 - k. Is m a multiple of 19?
True
Let b be (-48)/9*27/(-4). Let v be (b/16)/((-2)/(-480)). Suppose -v + 55 = -5*y. Is y a multiple of 12?
False
Let k(l) = -l + 17. Let c be k(18). Let r be (135/(-10) + c)/((-3)/6). Suppose -2*a + q = -0*q - 23, a + 3*q - r = 0. Does 6 divide a?
False
Let y = 1172 + -812. Suppose 0 = -5*a + 6*a - y. Let k = -174 + a. Is k a multiple of 42?
False
Suppose 5*x = t + 2*t + 46, -2*x + 12 = 2*t. Suppose 3*u + 5*u + x = 0. Is 13 a factor of 49/3 - u/(-3)?
False
Let g(f) = 25*f + 145. Suppose 5*z + 95 = 4*x - x, 4*x - 80 = -5*z. Is 14 a factor of g(x)?
True
Let m be (21/(-12))/((-8)/32). Let x be (-21)/m*4/(-6). Suppose 4*u - 5*g + g = 48, 14 = x*u - 4*g. Is u a multiple of 2?
False
Let w be -3 - 10*3/(-6). Suppose -5*d - w*t + 2 = -t, 2*d + 4 = 2*t. Suppose -5*c - 5*y + 270 = 0, 4*c - 4*y - 130 - 102 = d. Is c a multiple of 15?
False
Let k = -41 + 87. Let s = k + -42. Suppose -s*n = -2*c - 0*c - 430, -2*n + 227 = -5*c. Is 53 a factor of n?
True
Suppose -52*h - 3175 = -51*h - 8691. Is h a multiple of 25?
False
Let v(f) = -410*f. Let s be v(-7). Suppose -2773 = -11*d + s. Is d a multiple of 19?
True
Suppose -25*o + 755855 = 20736 - 323731. Is o a multiple of 127?
False
Suppose 21801 + 22701 = 14*f - 25568. Is 35 a factor of f?
True
Let f(c) = c**2 - 30*c - 3677. Is f(-85) a multiple of 8?
False
Let a = 801 + -593. Suppose -209*x + a*x = -608. Is 16 a factor of x?
True
Let f = 