x) a multiple of 13?
True
Suppose 4*n - 3*y = -89, 4*y + 28 = -3*n + n. Let k = n - -51. Is 4 a factor of k?
False
Does 34 divide (1173/(-46))/(2/(-16))?
True
Suppose 0*b - 5*x + 1059 = b, -x + 5199 = 5*b. Is 44 a factor of b?
False
Suppose 10*y - 11*y = -390. Suppose 2*z - 402 = -5*j, -4*z = 5*j + z - y. Is 23 a factor of j?
False
Suppose 239*t - 231*t - 456 = 0. Does 6 divide t?
False
Let d = 153 - 161. Suppose 0 = 4*m - 3*m - 5. Let z = m - d. Does 13 divide z?
True
Suppose -2*w - 2*g = -6*w + 60, w - 2*g = 15. Suppose 8*k - w - 481 = 0. Does 12 divide k?
False
Is 12 a factor of 6116/30 + 24/180?
True
Let u = -265 + 466. Is 2 a factor of u?
False
Suppose -2*x = 2*x - 5*l + 20, 2*x - 16 = -4*l. Let m(z) = -z**3 + 2*z + 34. Does 34 divide m(x)?
True
Let g(j) = 70*j**3 + 2*j**2 + j. Let w be g(-1). Let a be (w/(-6) + -3)*12. Let o = -46 + a. Is 14 a factor of o?
True
Let x(z) = -18*z - 312. Does 43 divide x(-29)?
False
Let y = -16 + 24. Let s be (y/(-2) - 0) + 1. Is (5 - 4)/(s/(-78)) a multiple of 26?
True
Suppose -4*v = 4*q - 24, -4*v + 24 = 4*q - 2*v. Let b = -1 + q. Suppose -b*n - 2*m + 122 = 2*m, 68 = 3*n + 5*m. Is 12 a factor of n?
False
Let r = -131 - -229. Let w = 158 - r. Let z = -27 + w. Does 9 divide z?
False
Suppose -2*k - i = -9, -i = 2*k - k - 7. Is (702/104)/(k/16) a multiple of 7?
False
Let w(r) = r**2 - 7*r - 24. Let n be w(10). Does 7 divide (-6)/(-4)*128/n?
False
Suppose -2*r = 2 + 14. Let v = r - -62. Is v a multiple of 7?
False
Let t(j) = -13*j + 10. Let l be 1/((-3)/18 + 0). Is 31 a factor of t(l)?
False
Let c = -1 - -5. Suppose z = 5*i - 752, -c*z + 592 = i + 3*i. Suppose -2*u + 7*u = i. Is 25 a factor of u?
False
Let i = 310 + -136. Is i a multiple of 26?
False
Let b = 4346 + -2658. Does 27 divide b?
False
Let b(g) = -8*g + g**2 + 3*g - 4 + 4*g. Let s be b(3). Is s/7 + (-666)/(-21) a multiple of 32?
True
Let c = 302 + -238. Is c a multiple of 8?
True
Suppose 2*s - 4363 - 609 = -4*v, 0 = v + 2*s - 1240. Does 19 divide v?
False
Let u(g) = g**2 + g + 2. Let f be u(-2). Suppose -w + 35 = f*w. Is w a multiple of 7?
True
Suppose -5*y - 1205 = -2*p, 0*p = -p + 2*y + 602. Does 20 divide p?
True
Let b = -12 - -14. Let m be ((-10)/(-30))/(b/12). Suppose -3*l = -5*v - 66, 5*v - 123 = -m*l - 2*l. Is l a multiple of 11?
False
Let n be 2/1 + 11 + -4. Let l = 86 + n. Does 7 divide l?
False
Let x(i) = 4*i + 4. Let k be x(0). Suppose 2*n - 8 = -2*b, -n - 5*b - k = n. Is 3 a factor of n?
False
Let u(v) = -v**3 + 5*v**2 - 4*v + 5. Let h = 18 - 6. Let t = h + -8. Is u(t) a multiple of 4?
False
Let m(h) = h**2 - h + 4. Let g be m(0). Let v be 3 + (16/g - 4). Suppose 0 = -v*n + 8 + 10. Is 6 a factor of n?
True
Let p be 6 - (-2 - -3 - -1). Let t be 54/12 + 2/p. Suppose -2*b + 4*m = -103 + 29, -5*b = t*m - 230. Is 17 a factor of b?
False
Suppose 0 = -y - y - 68. Let b = 41 - -22. Let w = b + y. Is w a multiple of 6?
False
Let r(l) = 4*l. Let f be r(-1). Let h(j) = -9*j - 13. Does 9 divide h(f)?
False
Let p = 45 - 96. Let t = 21 - p. Does 12 divide t?
True
Suppose -5*k - 2*y + 2008 = 0, -29*y + 1604 = 4*k - 28*y. Is k a multiple of 40?
True
Let x be (-3)/(1*(-2)/54). Let c = -271 - -223. Let p = c + x. Is 17 a factor of p?
False
Suppose 3*w + 2*r = 8, -5*w + r - 8 = -r. Suppose 8*h = -53 + 381. Suppose 0 = -2*g + 4*l - 3*l + h, -4*l + 12 = w. Does 11 divide g?
True
Let u = -9 - -55. Suppose 5*s + u = -34. Let a = -4 - s. Does 12 divide a?
True
Let z(g) = 20*g - 58. Let r(k) = 7*k - 19. Let o(x) = 17*r(x) - 6*z(x). Let j be o(0). Is (10/j)/(2/360) a multiple of 19?
False
Suppose 46*k + 28538 - 98136 = 0. Does 89 divide k?
True
Let g = 5 - -1. Let f = g - 23. Let o = 21 + f. Is o even?
True
Suppose 21 = u + 3*q + 2*q, -2*u + 10 = 2*q. Let f(t) = 2*t**2 + 12*t + 21. Let b be f(-3). Suppose u = w + 3, -3*c + 357 = b*w. Does 25 divide c?
False
Let r be 4 - -1 - (0 - -4). Does 4 divide -8 + 21 - (-4)/r?
False
Let d = -713 + 1817. Is 6 a factor of d?
True
Suppose 0 = -4*w + 8, 2*r + 3*w - 27 = -1. Is r even?
True
Let x(k) = k**3 - 10*k**2 + 3*k - 32. Is 13 a factor of x(12)?
False
Suppose 14*q + 32 = 6*q. Let k(x) = -10*x - 2. Is k(q) a multiple of 5?
False
Is (-15)/(((-110)/(-1370))/(-11)) a multiple of 13?
False
Let v = 15 + -11. Suppose -d - 84 = -o + 3*d, -v*d - 12 = 0. Is 18 a factor of o?
True
Let x be (-7 - -4)*(-467)/3. Let v = 687 - x. Is v a multiple of 12?
False
Let o(l) = l**3 + 10*l**2 + 12*l + 4. Let z be o(-9). Let a = 58 + z. Does 5 divide a?
True
Suppose -12*r + 11*r - 884 = 0. Let w = -483 - r. Does 53 divide w?
False
Let s(h) = -h**3 + 3*h**2 + 65*h - 7. Is 36 a factor of s(-11)?
True
Let p = 175 + 23. Is p a multiple of 33?
True
Suppose 2*q = 5*p + 507, 13*p + 1025 = 4*q + 14*p. Is 32 a factor of q?
True
Let k = 2262 + -1240. Is 22 a factor of k?
False
Let g(y) = y**3 + y**2 + 2*y + 21. Suppose 0*a - 4*a = 0. Is g(a) a multiple of 7?
True
Let y(d) be the second derivative of -1/10*d**5 + 0*d**4 + 0*d**3 + d**2 - 2*d + 0. Is 6 a factor of y(-2)?
True
Suppose -2*j = -6*j. Suppose n + 3*x - 108 = 0, j = 3*n + 3*x - x - 324. Does 27 divide n?
True
Let x(u) = -4*u - 13. Let z be x(-4). Is 21 a factor of (z - (-17 - 1))*6?
True
Is 44 a factor of (48/7)/((-395)/(-385) + -1)?
True
Let y(i) = -67*i**3 - 5*i**2 + i + 10. Is y(-3) a multiple of 77?
True
Suppose 2*z - 6 = -0*z. Suppose -d + z*d - 18 = 0. Is d even?
False
Suppose -7*z + 1746 = -2*z + 4*p, 3*z - 1053 = 3*p. Is 6 a factor of z?
False
Let j = 1003 - 533. Does 10 divide j?
True
Let v = 33 - 49. Let z = v + 24. Is 132/(-16)*z/(-3) a multiple of 5?
False
Let u(w) = -3*w - 12. Let a be u(14). Is 43 a factor of 258/(-8)*288/a?
True
Let x = 52 + -9. Suppose -2*g = -4 - 42. Let t = x - g. Is 12 a factor of t?
False
Is -252*5/(30/(-3)) a multiple of 7?
True
Suppose -1 = 2*g - t, -2*g - 3*t = g + 24. Let h = 48 - g. Does 17 divide h?
True
Let y be 208 + (-6)/(-3) - -2. Suppose 0 = 4*f - 2*i - 160, -5*f - 4*i + y = -14. Does 6 divide f?
True
Suppose 184*b = 154*b + 17100. Is b a multiple of 19?
True
Let k = 8 + -5. Suppose 17 - 7 = 5*z. Suppose z*b + 26 = k*b. Is b a multiple of 13?
True
Let f = 167 - 88. Suppose 80 = -5*j - 75. Let k = f + j. Is 10 a factor of k?
False
Let f be (1*-2)/((98/7)/(-7)). Is 30 a factor of (131 - 11)/(f/2)?
True
Suppose -5*o = -f + 812, -1479 = -2*f + 5*o + 155. Is 27 a factor of f?
False
Suppose -891*q + 17408 = -874*q. Is q a multiple of 16?
True
Let z = -10 - -31. Let r be (4 - 5 - 1)*-1. Suppose -5 - z = -r*q - 4*j, 4*q - 24 = -j. Is 5 a factor of q?
True
Suppose -5*z - 2192 = -2*b, 3*b + 2*b - 5517 = -6*z. Does 22 divide b?
False
Suppose -5*r + f = 2131 - 5441, 1968 = 3*r + 3*f. Is r a multiple of 58?
False
Suppose 12196 = 5*b + 316. Is 33 a factor of b?
True
Suppose 0 = 83*r - 96*r + 24505. Does 65 divide r?
True
Let f be 5/5 + 0/2. Let w be f + -1 + (-1 - -3). Suppose -w*g + 9 = -5. Is 2 a factor of g?
False
Suppose 4*n - 4*r - 48 = 0, 4*n - 2*r - 15 = 29. Does 25 divide (11 - n)/((-2)/(-150))?
True
Let t be (78/10 + -3)*10. Let m = 92 - t. Is m a multiple of 9?
False
Let h(t) = -t**2 - 6*t + 7. Let w be h(-7). Suppose -s - s + 34 = w. Let q = 31 + s. Is 16 a factor of q?
True
Suppose 3*r + 19 = -r + 5*b, 3*b = r - 4. Let m = r + 15. Let g(d) = 4*d - 5. Does 11 divide g(m)?
True
Suppose -1 = 5*y + h, -2*h = 5*y + 5 - 3. Let u(z) be the second derivative of -z**5/20 - z**4/12 - z**3/6 + 15*z**2 - 8*z. Is 16 a factor of u(y)?
False
Suppose 65 = -2*l - 7. Is 23 a factor of 6/l - 1243/(-6)?
True
Suppose 0*q - 3*u = 2*q - 37, 19 = q + 2*u. Suppose -q = -r + 68. Suppose -3*f + 265 - r = 0. Is 9 a factor of f?
False
Suppose 3*v - 398 = 4*r, -6*r + 7*r + 5 = 0. Is v a multiple of 2?
True
Let n = 15 + -10. Suppose -2*x + n*x = 0. Suppose x = -3*r + 17 + 10. Is r a multiple of 9?
True
Suppose 36*t - 38*t + 604 = 0. Is 23 a factor of t?
False
Suppose 2*p - 20 = -22. Does 10 divide 1/(4/352) - 2*p?
True
Let q(c) be the first derivative of c**6/120 - c**5/120 - 3*c**4/8 - 4*c**3/3 + 8. Let b(i) be the third derivative of q(i). Is b(4) a multiple of 13?
False
Suppose -m = -5*m + 8. Suppose -m*r = 2*r. Suppose -2*k + 6*k - 20 = r. Is 4 a factor of k?
False
Let d be 8*(0 + (-2)/(-8)). Suppose -5*g + 12 = d*f - f, f - 18 = -2*g. Does 21 divide 2*-4*(-121)/f?
False
Let