/624?
True
Let a be (6/(-7))/((-2)/(-14)). Let q(t) = 8*t - 13. Let l(p) = 9*p - 14. Let u(g) = 6*l(g) - 7*q(g). Is 5 a factor of u(a)?
False
Let u(g) = 3*g**2 - 3*g + 43. Does 32 divide u(5)?
False
Suppose -15*o + 7*o = -4560. Does 29 divide o?
False
Let b = 1825 + -1195. Is 70 a factor of b?
True
Suppose 5*u + 1470 = -2*u. Let p = u + 340. Is p a multiple of 26?
True
Let x = 969 - 369. Suppose -x = 3*d - 8*d. Does 15 divide d?
True
Let m(p) = 32*p**2 + 14*p - 120. Is m(6) a multiple of 18?
True
Suppose 4*c + v = 236, 8*c + 4*v - 164 = 5*c. Is c a multiple of 60?
True
Let r(k) be the first derivative of -k**4/4 + 4*k**3 - 5*k**2 - 9*k - 7. Let h be r(11). Let x(q) = 14*q**2 + 2. Does 18 divide x(h)?
False
Let p = 5 - 5. Suppose 4*v - 8 = p, -4*v - 17 - 92 = -3*f. Is 9 a factor of f?
False
Let t(a) = -a + 1. Let w be t(17). Let s = -20 - w. Is 3 a factor of 8 + -1*s/4?
True
Suppose -119 = -5*c + 5*j - 3*j, j = -4*c + 103. Suppose 24*o + 23 = c*o. Does 23 divide o?
True
Let y(m) = 3*m**2 - m**2 - 2*m**2 + 14 + 7*m + m**2. Does 16 divide y(-9)?
True
Let g(c) = 42*c - 64. Does 42 divide g(14)?
False
Suppose -2*p = -2*u - 2962, 5*p - 2*u - 7413 = u. Is 15 a factor of (4/(-10))/((-3)/p)?
False
Suppose o - 3 = -3*i, 0*i + 5*i - 6 = -2*o. Suppose i*j = -2*j + 180. Suppose -60 = -4*v + 2*g + 62, -3*v + 2*g + j = 0. Is v a multiple of 14?
False
Suppose -5*t + x + 208 = 0, -8*x = 2*t - 3*x - 94. Is 12 a factor of t?
False
Let v(y) = -y**2 + 12*y - 10. Does 26 divide v(6)?
True
Let l(g) = -g**2 + 18*g - 11. Is l(4) a multiple of 9?
True
Let v = 169 - 43. Let h = 62 + -59. Suppose -h*k + 5*k = v. Does 18 divide k?
False
Suppose 1 = -3*l - 8. Let a be 43/2 + 1 + (-5)/10. Is 0 - (l - (a + 3)) a multiple of 14?
True
Let b(x) = -10*x + 99. Is 3 a factor of b(8)?
False
Is 384/(-80)*(-2)/(4/255) a multiple of 12?
True
Let j be 10245/9 + (-12)/9. Suppose 4*v - 131 - j = 0. Suppose 2*u + 0*u = 5*r - v, -3*r + 188 = u. Is r a multiple of 21?
True
Let t = -755 - -3316. Does 13 divide t?
True
Suppose -2*b - 2 = 0, u + 4*b + 0*b - 1244 = 0. Is 26 a factor of u?
True
Does 97 divide -1*40/24*-873?
True
Let j(i) be the second derivative of 7*i**5/30 - i**4/24 - i**3/6 + 7*i**2 + 3*i. Let f(z) be the first derivative of j(z). Is 19 a factor of f(2)?
False
Let b(i) be the third derivative of i**5/15 + i**4/24 - 5*i**2. Let c be b(-1). Suppose 5*q - 3*v = 10, q + v = c*v + 2. Is 2 a factor of q?
True
Suppose 12 = -4*a + 3*a. Let m(v) = -2*v**2 - 18*v - 14. Let u be m(a). Let r = -39 - u. Is r a multiple of 23?
False
Suppose -14*p = -17*p + 162. Is 18 a factor of p?
True
Let w(y) = -y**3 + 16*y**2 + y - 31. Is w(13) a multiple of 10?
False
Suppose -19 + 99 = 8*t. Suppose -2*w + 6*w - 58 = -3*k, -t = 5*w. Does 8 divide k?
False
Let q = 689 + 424. Is q a multiple of 53?
True
Let y(k) = 22*k - 22. Let d be y(4). Suppose -d*h = -64*h - 64. Does 3 divide h?
False
Let n(b) = -2*b**2 + 35*b + 21. Is 4 a factor of n(15)?
True
Suppose -v + 488 = 4*s - 269, 2*s - 365 = -5*v. Does 19 divide (s/(-7))/((-1)/7)?
True
Let t be (-24)/16 - (-130)/4. Suppose 4*r = -3*u + t, 0 = r + 5*u - 12 - 0. Suppose w - r = 2. Is 9 a factor of w?
True
Let d(n) = 14*n - 19. Let k(t) = 42*t - 58. Let j(x) = -17*d(x) + 6*k(x). Is j(6) a multiple of 13?
False
Is 195*(29/5 - 5) a multiple of 52?
True
Let d be 1105/3*(6 + 0 - 3). Is (-4)/6 + -1 + d/15 a multiple of 6?
True
Let b = 1114 + -584. Does 88 divide b?
False
Suppose -33*w = -32*w - 547. Suppose -6*m + w = -725. Is 39 a factor of m?
False
Let r(q) = 397*q**2 + 53*q - 3. Does 17 divide r(2)?
False
Let i be 1*(-2 + 3/(-9)*-3). Is 10 a factor of (i/(4/106))/((-1)/2)?
False
Let y = 2183 - 1938. Does 5 divide y?
True
Let d = 982 + 89. Is d a multiple of 5?
False
Let k(j) = -j**2 + 18*j - 12. Let i = -81 + 88. Is 13 a factor of k(i)?
True
Let v(r) = r**3 - 23*r**2 - 44*r + 65. Is v(25) a multiple of 10?
False
Let f be (-28)/(-126) - (-29)/(-9). Let v be 0/(3*2/f). Suppose v*l - 5*j + 285 = 5*l, 3*j - 275 = -5*l. Is l a multiple of 25?
False
Suppose 48*i - 41*i - 21280 = 0. Is i a multiple of 95?
True
Let p(o) = -o**2 + 3*o + 5. Let y be p(0). Suppose -424 = -4*a + 3*k + 23, y*a = -k + 535. Does 18 divide a?
True
Suppose 108 = 4*v + 2*c, 2*c - 64 = -5*v + 70. Let f = v - 22. Suppose f = -6*u + 28. Is u even?
True
Let w = 279 + -223. Is w a multiple of 6?
False
Let k(n) = -62*n + 100. Is k(-2) a multiple of 19?
False
Suppose 9*q = 4774 - 481. Is 17 a factor of q?
False
Let b(k) = -k**2 + 3*k + 4. Let u(d) = -d**3 - 10*d**2 - 10*d - 6. Let t = -17 - -8. Let v be u(t). Is 3 a factor of b(v)?
False
Suppose 131 = 4*h - 5. Suppose -h*k + 38*k = 432. Is k a multiple of 12?
True
Let b = 61 - 34. Suppose -b*f = -30*f + 309. Is 7 a factor of f?
False
Let w be 14/91 - 3755/(-13). Suppose 6*a + 61 = w. Is 21 a factor of a?
False
Suppose 4941 = 13*k - 4133. Is k a multiple of 16?
False
Let r = -13 - -13. Suppose -u - 8 = -3*s, r = -3*s - 2*u - u + 12. Is (s/6)/(2/72) a multiple of 9?
True
Does 15 divide (-135)/(-6)*44/3?
True
Let v(u) = u**2 + 8*u - 4. Let f(a) = -2*a + 9. Let y be f(0). Suppose -4*z = -t + 22, -3*t + 2*z = -y - 17. Does 20 divide v(t)?
True
Let p(w) = 177*w**2 - 45*w + 150. Does 49 divide p(3)?
False
Let t = 470 + -218. Is t a multiple of 9?
True
Suppose -25*m + 159 = -22*m. Is 31 a factor of m?
False
Let t(w) = -10*w - 49. Is 19 a factor of t(-9)?
False
Let t = 349 + -99. Is 10 a factor of t?
True
Let n(f) = 5*f + 4*f - 6*f + f**2 + 4. Let v be n(-3). Suppose 0 = 5*r - v*r - 45. Does 15 divide r?
True
Suppose -3*z - 62959 = -32*z. Is z a multiple of 23?
False
Let d = 381 + 327. Does 6 divide d?
True
Suppose 2*o - 2*j - 126 = j, 5*o = 5*j + 305. Suppose d = -o + 237. Is d a multiple of 12?
True
Let y(w) be the third derivative of -w**4/8 - w**3/6 - w**2. Let q be y(3). Let n = q + 34. Is 6 a factor of n?
True
Let b = -355 + 574. Is b a multiple of 21?
False
Suppose 0 = n - 57 - 160. Is n a multiple of 7?
True
Let u = 462 - -786. Is u a multiple of 78?
True
Let z be (-32)/24*(7 + 2)/(-3). Suppose -z*y + o + 289 = -106, 210 = 2*y + 2*o. Does 20 divide y?
True
Suppose 16*c - 7200 = 21*c. Does 4 divide (-6)/33 - c/55?
False
Let i be -41*(2/1)/(-1). Let k = i + -44. Is 19 a factor of k?
True
Suppose -4*i - 4 = -5*i. Let q be i/(-14) - (-6)/21. Suppose -3*b - h - 2*h + 66 = q, 4*b - 115 = 5*h. Does 21 divide b?
False
Suppose 2*m + 0*r - 5*r - 2578 = 0, 2*m - 4*r = 2576. Does 12 divide m?
True
Let h(z) be the first derivative of z**4/4 - 7*z**3/3 + 3*z**2 + 7*z + 8. Let a be h(6). Suppose -8*i + a*i = -8. Is i a multiple of 7?
False
Suppose -27*t - 7656 = -51*t. Is 11 a factor of t?
True
Let s be ((-7)/(-21))/(2/24). Let x be s - ((1 - 2) + 26). Does 16 divide (-1419)/x + (-4)/7?
False
Let g(q) = q**3 + 35*q**2 - 9*q + 44. Does 6 divide g(-35)?
False
Let c = -129 + 234. Is 9 a factor of c?
False
Suppose -3*f + 5*h = -2 - 4, 5*h = 4*f - 8. Let y = 2 + f. Suppose -111 = -y*t - n, -5*t + n + 142 - 10 = 0. Is t a multiple of 9?
True
Let p be (0 + 1)/(5/20). Suppose 3*j + 72 = p*v + 15, 3*j + 9 = 0. Suppose 0 = 8*l - v*l + 380. Is 22 a factor of l?
False
Let l(v) = -8*v - 1. Let k(s) = -s. Let r(y) = 51*k(y) - 6*l(y). Does 15 divide r(-14)?
False
Let o be (-1)/2 + 18/4. Let y be 90/(-14) - (-81)/189. Is (o/y)/((-10)/795) a multiple of 21?
False
Let r = 37 + -92. Is 5/(r/2) + 1245/11 a multiple of 30?
False
Is 47 a factor of 1364 - -2 - (2 + 1)?
True
Suppose 3*n = -3*m + 351, 0 = n + n - 2*m - 246. Is 6 a factor of n?
True
Suppose 5*g - 2*g - 15 = 0. Suppose 5*l - 132 = -4*u, -5*l + g*u + 91 = -14. Does 12 divide l?
True
Suppose 3*s - 8 = 4. Suppose 0 = -c - 3*b + 38, 0 = -c + b + s*b + 6. Is 13 a factor of c?
True
Suppose 3*r - 15 = 15. Suppose -7*i = -2*i - 15. Suppose 4*t - n - 98 = 0, -i*n = 2*n + r. Does 5 divide t?
False
Suppose -d + 6*f = 7*f, -5*f = 2*d - 15. Let z(o) = 3*o**2 - o - 14. Is 33 a factor of z(d)?
True
Suppose -3*k = 4*y - 1683, 2*k - 836 = -5*y + 1266. Is y a multiple of 30?
True
Let p be (-12)/(-10)*(394 - (5 - 6)). Let x = p - 303. Is x a multiple of 19?
True
Suppose 0*g - 6 = -2*g. Suppose 5*z = g*y + z + 23, 0 = 2*y + 4*z - 18. Let l = 2 - y. Is l even?
False
Suppose -9*m + 714 = -357. Let k = m + -32. Is k a multiple of 7?
False
Let s(