1?
False
Suppose -3*k - d + 9 = 0, -3*k - 2*d + 0 = -9. Suppose -5*j + k*t - 511 = -0*j, 0 = -2*j + 5*t - 212. Let a = j - -121. Is a a multiple of 5?
True
Let y = -2701 - -2701. Let w(q) be the third derivative of q**6/120 - q**5/60 - q**4/12 + 25*q**3/3 - q**2. Does 10 divide w(y)?
True
Suppose 482*c - 487*c = -9220. Does 16 divide c?
False
Let z = 106 - 103. Suppose 2*w - 3*w - 2*r + 9 = 0, w = 4*r - z. Let d(t) = 5*t + 36. Is 35 a factor of d(w)?
False
Suppose -5*i + 5*t = -23980, -4*i - t + 7861 = -11363. Is 7 a factor of i?
False
Let k = 6338 - 2164. Is 66 a factor of k?
False
Suppose 0 = 5*w - 34467 - 2073. Is w a multiple of 14?
True
Let z be -2 - (-2 + -25 + 3). Let t = z + -20. Suppose -92 = -0*r - t*r. Does 23 divide r?
True
Is ((-638)/(-44))/(9/4068) a multiple of 53?
False
Does 19 divide -8*(-187748)/1760 - 4/10?
False
Let r(x) = 9*x + 6 + 5*x - 5 + 4*x**2. Let q be 14*((-90)/12 - -5 - -2). Is r(q) a multiple of 32?
False
Let d(f) = 27*f - 2. Let h be d(2). Let m = -11 - h. Is 6 a factor of (m/(-6))/(1/2)?
False
Let v be 6/9*3*(64 - -14). Suppose -7 - 10 = -h. Suppose -h*l + 20*l = v. Is 26 a factor of l?
True
Let t be (-1)/2 - 1653/(-38). Suppose 0 = 2*n - 47 + t. Is (8/(-4))/n - -89 a multiple of 17?
False
Let q = 1 - -70. Suppose -3*v = -k + q, -4*v + 265 = 3*k - 0*k. Is k a multiple of 7?
False
Let o(y) be the third derivative of -y**6/120 - 3*y**5/20 + y**4/3 + 20*y**3 - 98*y**2. Is 22 a factor of o(-9)?
False
Suppose -2*t + 8810 = y, 11*y - 26394 = 8*y + 3*t. Does 18 divide y?
True
Let d(x) = x**2 + 4*x + 6. Let y(g) = -2 + 0*g**2 + 7*g**2 + g**3 - 5*g - 2*g**3 - 6*g. Let u be y(5). Is d(u) a multiple of 10?
False
Let l = -239 - -235. Is 11 a factor of ((-84)/18 - l) + (-3647)/(-3)?
False
Let k be (3/(-9) - 1)/((-6)/1935). Suppose 425 = 5*x + 5*v, -5*x + 2*v - 33 = -k. Is 27 a factor of x?
True
Does 34 divide (-12)/(-48)*18*932/1?
False
Let u(p) = p**3 + 2*p**2 - 24*p - 7. Suppose -6 - 42 = -6*g. Is 24 a factor of u(g)?
False
Suppose -x + 5*l = -28, 5*x - 7 = x - l. Suppose -8*p + x*p + 1380 = 0. Does 23 divide p?
True
Suppose -86*x + 778619 = -1027381. Does 56 divide x?
True
Let r = -169 - -174. Suppose 5*f + 22 = 4*z + 416, 3*z = -r*f + 422. Is 41 a factor of f?
True
Suppose t - 2*q = -0*q - 3, 0 = -3*t + 3*q. Suppose -69*x - t = -72*x. Does 15 divide (22 - -21)*(x + 0)?
False
Suppose 1421750 = -19*y + 129*y. Does 235 divide y?
True
Suppose k - 20 = -2*p, 0 = 2*p + 5*k + 3 - 7. Let q(g) = 5*g**2 - 2*g - 54. Is q(p) a multiple of 31?
False
Let d(w) = -29*w - 23. Let x be d(-1). Suppose v - 2*i = x*v - 136, 4*v = 4*i + 92. Is 5 a factor of v?
False
Let o = -6045 - -6053. Let n = 52 + 113. Suppose 19 + n = o*s. Does 16 divide s?
False
Let i(t) = -t**3 + t**2 - 9*t - 19. Is 20 a factor of i(-11)?
False
Is -1*((-3)/2 + (-3)/(-6)) - -53945 a multiple of 81?
True
Let x(j) = 2*j**3 - 14*j**2 - 41*j + 25. Suppose -10*h = -28*h + 234. Is x(h) a multiple of 10?
True
Let a(y) = -3*y + 5. Let b be a(-10). Let o(m) = -m**2 - m. Let s be o(3). Let l = b - s. Does 19 divide l?
False
Suppose -2*t + 4*b = -38558, -12*t + 19275 = -11*t - b. Is t a multiple of 160?
False
Suppose 8*a + 8710 = 27958. Is 57 a factor of a?
False
Suppose -2*l + 866 = v - 4*l, -l + 2 = 0. Suppose -590 - v = -4*i. Is 37 a factor of i?
False
Suppose -18*c - 135265 = -365479 - 285234. Does 130 divide c?
False
Suppose 32*h - 6325 = 25926 - 3131. Is 13 a factor of h?
True
Let m(a) = -88*a**2 - 298*a - 22. Let n be m(-5). Let r(h) = -119*h**2 + h. Let d be r(2). Let b = d - n. Is b a multiple of 33?
False
Suppose -14*b + 9590 = -9*b. Let z be b/22 - (-44)/(-242). Suppose 73 = 2*m - z. Does 16 divide m?
True
Suppose 5*b + 5*n + 30 = 0, 6 = -b - 9*n + 4*n. Let u(r) = -8*r**3 - 2*r**2 + 3*r - 18. Does 20 divide u(b)?
True
Let t = -7978 + 12708. Is t a multiple of 10?
True
Let n(c) = 2*c**2 + 92*c - 482. Is 34 a factor of n(49)?
False
Let u(s) = 16*s**2 + 4 - 4*s**2 + 4*s - 3*s + 11*s**2. Let k be u(4). Suppose 4*x + 2*v = k, -5*v + 364 = 6*x - 2*x. Does 13 divide x?
False
Let n be (-23 - -45) + 6 + 0. Suppose -1452 = -n*h + 4. Is h a multiple of 8?
False
Let y(s) = s + 13. Let k be y(-6). Let n(o) = -5*o**2 - o - 94. Let r be n(11). Is 2/k - r/14 a multiple of 20?
False
Suppose 4*d - 426 = 2*n, d - 5*d - 1009 = 5*n. Let w be -1 - -1 - 2*58. Let o = w - n. Is o a multiple of 8?
False
Suppose 0 = -10*r - 23973 - 1707. Let a be 7 + (18/3)/(-2). Is -2 + r/(-28) + a/14 a multiple of 23?
False
Let x = -129 + 192. Suppose -30 = -2*r - 3*v + v, -5*r + x = -v. Suppose -7*h + r + 92 = 0. Is h a multiple of 4?
False
Let u = -8280 - -21762. Is u a multiple of 63?
True
Suppose -2*g + 52 = 5*k, -6*g + 3*k = -2*g - 130. Let a = -26 + g. Suppose -5*t = -5*w - 300, -a*t + 0 = -3*w - 290. Is 5 a factor of t?
True
Let q = -283 - -283. Suppose 10*h - 3585 - 1695 = q. Does 22 divide h?
True
Suppose 2*p - 100 = 3*i, 9*p = 6*p + 3*i + 147. Let a = p - 34. Is a a multiple of 2?
False
Suppose a = 5*r + 7441, -120*r + 124*r = -3*a + 22437. Is a a multiple of 27?
False
Suppose -29*o + 6*m = -32*o + 96558, 0 = -4*o + 3*m + 128722. Is 10 a factor of o?
False
Let m(n) = 371*n + 3044. Is 20 a factor of m(16)?
True
Suppose 5*q - 5*w = 9630, 3*q - 4519 = 7*w + 1267. Is 30 a factor of q?
False
Let l(f) = -f**3 + 40*f**2 + 248*f + 74. Is 36 a factor of l(44)?
False
Suppose -3*i - 14088 = -5*i. Let t be (-21)/35 - i/10. Is -2*(t/10 + -1) a multiple of 28?
False
Let z(c) = c**2 + 25*c + 2434. Is 28 a factor of z(0)?
False
Suppose 100*u - 99*u = 2. Suppose -276 = -c - 0*v - 3*v, u*c - 597 = 3*v. Is 3 a factor of c?
True
Let m = -54300 + 98432. Does 34 divide m?
True
Suppose 9 = 2*r + 5. Is 362/r - (-60)/12 a multiple of 8?
False
Suppose 241*z = 236*z + 27365. Does 70 divide z?
False
Let w(c) = -c**2 - 11*c - 8. Suppose 83 = -4*z + 91. Suppose 5*j - z*s + 15 = -6*s, -4*s = -2*j - 34. Is 13 a factor of w(j)?
False
Suppose -10542 = 50*x - 52*x + 5*w, -5*x + 26421 = 4*w. Is 18 a factor of x?
False
Let t(c) = 6*c**2 + 100*c - 800. Is t(8) a multiple of 3?
True
Let d = 138 + -167. Is (d - 13)*(-18)/7 a multiple of 18?
True
Does 6 divide (-209)/76*1062*-2?
False
Let v(t) = 113*t**2 + 5. Let p be v(4). Suppose -28*i - p + 8477 = 0. Is 22 a factor of i?
False
Suppose 50*l + 231608 = 102*l. Is l a multiple of 16?
False
Suppose -4*l + 42 = -2*p, 2*l - 24 = -l - p. Let o(c) = 2*c + 9*c - c - l*c + 15. Does 24 divide o(9)?
True
Let s(r) be the first derivative of -49*r**2/2 + 10*r - 6. Let o be s(-4). Suppose 4*t = -d + 314, -104 = -4*t + d + o. Is 13 a factor of t?
True
Suppose 56*z = 58*z - 4. Suppose -u + 5 = i, 2*i + z = 4*u - 0. Does 36 divide (u - (3 - -1))/((-1)/60)?
False
Suppose 45*o - 35*o = 132540. Does 54 divide (-2)/(-10) - o/(-30)?
False
Suppose 10*y + 273 + 57 = 0. Let z = y + 36. Suppose -5*l = -z*n - l + 196, -65 = -n + l. Is n a multiple of 32?
True
Let c(o) = 32*o**2 + 1. Let l be c(1). Let i = l - -4. Let s = i - -53. Is s a multiple of 30?
True
Suppose 4*n = 9499 + 4621. Does 15 divide n?
False
Suppose 3*b - 5*b = -638. Let o = 573 - b. Suppose -3*v + o = -223. Is 17 a factor of v?
False
Suppose 4*w + 55 - 1219 = 0. Let p = w + -179. Suppose -p - 58 = -5*j. Does 6 divide j?
False
Suppose -2*x = -x - 138. Let p be (4 + -3)/(1 - 141/x). Let y = p - -122. Is y a multiple of 17?
False
Let k(t) = -2*t**2 + 684*t - 1. Is k(65) a multiple of 197?
False
Let b be 18/(-10) + 2 - 7504/70. Let l = 548 + b. Is l a multiple of 21?
True
Suppose 0 = 21*u - 40 - 464. Is 32 a factor of (-5286)/(-16) + (-9)/u?
False
Suppose -1586 = 7*q - 165. Let v = 12 - q. Does 46 divide v?
False
Let v(x) = 5 - 40 + 7 - 42 + 3*x. Let t be v(24). Suppose -3*h + 95 = 4*q - 196, 286 = 4*q + t*h. Is 28 a factor of q?
False
Let q = 47667 - 33443. Does 12 divide q?
False
Let y(j) = -4*j**2 - 4*j + 12. Let w be y(-6). Let k = w - -181. Suppose -2*g + 147 + k = 0. Is g a multiple of 12?
False
Let c(g) = -g**3 + 10*g**2 + 2*g - 24. Let f be c(10). Let a = 8 + f. Suppose -b + 2*b + 4*j - 42 = 0, -a*b = 4*j - 156. Is 28 a factor of b?
False
Let b(a) = -71*a - 21. Let w = 223 + -226. Does 32 divide b(w)?
True
Let z(a) = 34*a**2 + 8*a - 18. Does 24 divide z(-9)?
True
Suppose 2*s + 5671 = 2*l - s, -5*l + 14152 = s. Suppose 7*v + 304 - l = 0. Doe