
False
Does 16 divide 2*-14*(-4400)/700?
True
Let t = 481 - -1963. Is t a multiple of 26?
True
Suppose 0 = -5*i - 5*b + 10715, 0 = i + b - 4*b - 2163. Is i a multiple of 89?
False
Let p be (7 + (-879)/(-9))/(1/3). Suppose 2*u = 15*b - 13*b - 156, 4*b - 3*u - p = 0. Is 4 a factor of b?
True
Let p(g) = 0*g**2 - 7 + 6 - g**2. Let c be p(3). Is 2/2 - (-16 - c) even?
False
Is 29 a factor of (-1)/((-3)/(-6)*(-12)/696)?
True
Let f be ((-76)/95)/((-1)/(-155)). Let m = f - -202. Does 13 divide m?
True
Suppose 4*j - 98 = 94. Does 24 divide 1215/18*j/15?
True
Let m = -17 + 19. Suppose -3*v - 25 = m*v, -4*v = 2*u - 22. Suppose 0 = -3*q + 69 - u. Does 11 divide q?
False
Suppose 0 = -5*p + 5*c - 10*c + 340, 2*p - 136 = 4*c. Suppose p*a - 300 = 64*a. Does 12 divide a?
False
Let y(a) = a**2 + 4*a + 2. Let f be y(-4). Let q(j) = -4*j**2 - 3 - 1 + 5*j**f - 3*j. Is 7 a factor of q(6)?
True
Suppose 29*u = 3*w + 26*u - 330, -5*w + 550 = u. Is 19 a factor of w?
False
Let m(o) = o**3 + 29. Let j be m(0). Let q = j - -7. Does 9 divide (-15)/2*q/(-10)?
True
Suppose 0 = -4*c, -103*z = -107*z - 4*c + 3476. Is 22 a factor of z?
False
Suppose 22 = -4*j - 3*u, 0 = 4*j - 3*j + 3*u + 1. Let v(t) = -t**3 - 3*t**2 - 12*t - 16. Is v(j) a multiple of 12?
True
Let z(x) = x**2 - 3*x. Let j be z(3). Suppose y - 2*y + 4 = j. Suppose -y*r = -9*r + 25. Does 2 divide r?
False
Suppose 36*p - 5417 = 10495. Does 11 divide p?
False
Let g = 1112 + -794. Is g a multiple of 50?
False
Let k = 9 - 7. Suppose -k*j = -5*j + 48. Suppose 0*q - j = -q. Does 8 divide q?
True
Suppose 2*c - 13100 = 3*y, 2*y - 2232 = -4*c + 23968. Is c a multiple of 19?
False
Does 25 divide ((-9855)/(-25))/1 - (-12)/15?
False
Suppose -25 = 7*m - 2*m. Let r(b) = 3*b**2 - 3*b. Let o be r(m). Suppose k - o = -4*k. Does 6 divide k?
True
Let f(r) = r**3 - 6*r**2 - 8*r - 22. Let w be f(10). Suppose -36*l + w = -34*l. Is l a multiple of 48?
False
Suppose 1 = 2*o - 3. Suppose o*v = -v + 51. Does 17 divide v?
True
Suppose 3*u - 5*x = -40, 3*u + 2*x + x = 0. Let j(z) = z**3 + 6*z**2 + 5*z + 4. Is 4 a factor of j(u)?
True
Suppose 0 = -3*k, 0*w - 4*k = -w + 30. Let a = w + -9. Suppose -5*t + 4*b + 41 = 0, -2*t = -0*t + 3*b - a. Is 2 a factor of t?
False
Suppose -w + 15 = 13. Let b be (-1 + w)*0/1. Suppose b = 2*s - 3*s + 15. Is s a multiple of 14?
False
Let r = -77 + 126. Suppose 145 = 3*y + 2*u, 2*u - r + 149 = 2*y. Is 7 a factor of y?
True
Let l(w) = -w**3 - 5*w**2 - w - 3. Let s be l(-5). Let t be 12*(s - 100/(-8)). Suppose -3*h - 2*h + t = 3*a, 136 = 4*h + 4*a. Is h a multiple of 9?
True
Let a = 70 - 145. Is 6 a factor of 4*(3/4 - a/4)?
True
Suppose -a - 2*a + 1509 = 0. Does 46 divide a?
False
Is (-2)/15 + 455026/2145 a multiple of 4?
True
Let l(q) = -3*q**3 + q + 1. Let i be l(-1). Suppose -21 = -i*f + 30. Suppose -2*y = 4*p - 22, -p - y = -3*p + f. Is 3 a factor of p?
False
Let u(l) = -10 + 3*l**2 - 4*l - l - 2*l**2 + 0*l. Let y be u(7). Is 9 a factor of -5*6*(-2)/y?
False
Let i(g) = -g**3 + 9*g**2 + 8*g + 14. Is 14 a factor of i(7)?
True
Let q be -2*-2*12/16. Let z = q + 13. Is z a multiple of 6?
False
Let c(j) = -102*j - 75. Does 37 divide c(-4)?
True
Let x be (9 - 12)/(3/(-7)). Suppose 2*g = x*g - 355. Let k = g + -17. Is 9 a factor of k?
True
Let g = 1233 + -745. Is g a multiple of 16?
False
Let p be 4*(-3)/(-12) - -1. Suppose -132 = -p*f - f. Is f a multiple of 11?
True
Let a be (-64)/(-8)*3/(-6). Let v(u) = -u**2 - 8*u + 5. Let t be v(a). Suppose 0 = -2*l - m - m + 4, t = 3*l - 2*m. Is l a multiple of 2?
False
Let k(n) = n**3 - 13*n**2 + n + 17. Suppose -4*f + 3*d = -19, 2*f - 26 = 3*d - 9. Suppose -4*h + 53 = f. Is 6 a factor of k(h)?
True
Suppose 30806 = 32*b - 12202. Is 64 a factor of b?
True
Suppose -38*l + 18 = -32*l. Suppose -4*a + l*a = -5*f - 111, f = 4*a - 539. Is a a multiple of 17?
True
Suppose 5*c = 4*w + 72, -13 = -3*w + 5*c - 67. Is 18 a factor of 0 - (w + -1 - 0)?
False
Let f be ((-3)/(-4))/((-9)/288). Let i be 3 + (-1)/((-2)/f). Let k(b) = -b**3 - 9*b**2 - b - 5. Does 4 divide k(i)?
True
Suppose 5*x + 25 = 0, -4*x + 424 = m - 1236. Is 84 a factor of m?
True
Suppose 38*j + 5*y + 8915 = 43*j, 0 = -2*j - 4*y + 3596. Is j a multiple of 14?
False
Suppose -11*j + 68 - 13 = 0. Suppose -385 = -5*g - 4*z, -415 + 107 = -4*g - j*z. Is g a multiple of 7?
True
Suppose -17252 = -75*d + 37*d. Does 36 divide d?
False
Suppose 7543*z - 7557*z + 1456 = 0. Is z a multiple of 24?
False
Suppose 0 = -11*l + 641 + 4650. Is l a multiple of 12?
False
Let d = 1550 - 55. Is 45 a factor of d?
False
Let s be 144/(-10) - (-9)/(-15). Let o = 18 - s. Suppose 4*l = -2*p + 7*p - o, l + 7 = p. Is 4 a factor of p?
False
Is 15 a factor of (115/(-2))/(10/(-60))?
True
Let z = -5 + 10. Suppose -z*n + 318 = 4*u, 5*n + 388 = 5*u + 13. Is u a multiple of 39?
False
Let s be 3/(-4) + 46/8. Suppose -j - 368 = -s*j. Suppose -x - j = -2*k, -2*x - 30 = 2*k - 122. Does 23 divide k?
True
Let q(x) = 421*x - 22. Is 17 a factor of q(3)?
True
Let q(p) be the third derivative of 1/24*p**4 + 0 + 11/6*p**3 + 0*p + 2*p**2. Is 8 a factor of q(6)?
False
Let t be (4/((-40)/(-6)))/(9/45). Suppose 5*f - 186 + 0 = -t*p, -2*p = 2*f - 76. Is 12 a factor of f?
True
Let z(r) = r**3 - 11*r**2 + 19*r + 8. Is 2 a factor of z(9)?
False
Let h(w) = -14 - w + 5 - 12 - 8*w. Is h(-9) a multiple of 20?
True
Suppose -4*x + 0*x = -656. Suppose 4*y = 5*q - 203, -x = -4*q - y + 5*y. Is 13 a factor of q?
True
Suppose 4*t = j + 659, 8*t - 10*t - 4*j + 352 = 0. Is 8 a factor of t?
False
Let r(o) be the first derivative of o**3/3 - 6*o**2 + 13*o - 1. Let a be r(10). Is (a/(-2))/((-6)/(-12)) a multiple of 3?
False
Let r(c) = -c**3 + 5*c + 6. Let a be r(-3). Suppose w + a = f, 0*f + f - 5*w - 14 = 0. Is 5 a factor of f?
False
Let h be 2 + (-1 - 0 - -5). Let m be h/(-4) + 375/(-6). Let b = m + 102. Is 9 a factor of b?
False
Suppose 7*q - 3630 = 920. Does 5 divide q?
True
Suppose 4*s + 5 = 21. Suppose -s*a + 162 = 2*a. Is 3 a factor of a?
True
Does 5 divide (1/2)/(9/4608)?
False
Let f(k) = -k + 1. Let p(b) = 3*b - 1. Let i(d) = -6*f(d) - p(d). Does 4 divide i(3)?
True
Let p be (-12)/(-14)*56/16. Let x = 5 - p. Suppose v - r - 3 = -x*r, 0 = 4*v + 2*r - 18. Is 5 a factor of v?
False
Let y be -6*(-5)/(-10) + 9. Is y*(-1)/4*-22 a multiple of 14?
False
Let t(r) = r**2 - 11*r + 18. Let f = -5 - -18. Is t(f) a multiple of 22?
True
Suppose 13*d - 12*d - 562 = -g, -2*d = -g + 559. Is g a multiple of 7?
False
Suppose -4*o + 9*o - 5*w + 60 = 0, 0 = 3*o + 5*w + 52. Let d be (-52)/o + (-16)/(-56). Suppose d*g = 5*g - 24. Is g a multiple of 12?
True
Let m(o) = -2*o**3 + 4*o - 1. Let i(s) = -5*s**3 + s**2 + 11*s - 3. Let y(c) = -3*i(c) + 8*m(c). Let t be y(-3). Suppose -165 = j - t*j. Is j a multiple of 18?
False
Let r(f) = -6*f + 27. Let q be r(4). Let d be (3 - 0) + (-2)/(-2). Suppose -s = -d*o + 15, 0 = -o + 4*o - q*s - 18. Is 2 a factor of o?
False
Suppose -24*j + 3520 = -8*j. Is 5 a factor of j?
True
Let s be (-3325)/(-14) - (-1 - 1/2). Let a = s + -143. Is a a multiple of 30?
False
Let w(t) = -2*t**2 - 50*t + 36. Is 3 a factor of w(-25)?
True
Let s = -4 + 9. Suppose 4*q = -s*a + 49, q + 2*a - 7 = 9. Suppose -q - 1 = -o. Is 7 a factor of o?
True
Suppose 0 = 4*t + 2*j - 4, 2*j = -2*t + 2 + 2. Let c = -443 + 658. Suppose t = 3*l - a - 133, -4*l - l + 3*a = -c. Does 17 divide l?
False
Let p(c) = c**3 + 23*c**2 - 8*c - 9. Does 25 divide p(-23)?
True
Suppose -17*q + 30 = -4. Suppose -5*w + 3*z + 105 = 0, 4*w + 2*z - 84 = -q*z. Is 3 a factor of w?
True
Suppose 2*b - 18 + 10 = 0. Suppose 0 = 2*l + b - 16. Is l a multiple of 6?
True
Let i(a) = 26*a**2 + a + 9. Let h be i(-3). Let m = h - 127. Is m a multiple of 13?
False
Let p be (5/80*12)/(1/140). Is 22 a factor of (3 - (-1 + 2)) + 3 + p?
True
Let d(y) be the second derivative of -y**4/12 + 15*y**2/2 - 5*y. Let x be d(0). Suppose -x = t + l + 4*l, -l = -t + 9. Is t a multiple of 3?
False
Let t be 35/2*112/20. Let k = -58 + t. Is k a multiple of 24?
False
Suppose -101 = -2*r + 99. Suppose 4*l - 2*y = 354 + r, 5*y = -3*l + 373. Let v = -40 + l. Is v a multiple of 38?
True
Let g be 1*-2 + 24/6. Suppose 0 = 2*o - 2*x - 3*x + 32, -2*o = -g*x + 26. Let r(w) = w**3 + 11*w**2 - w + 6. Is 9 a factor of r(o)?
False
Suppose -2*q + 160 = -q + 2*v, 3*q + 3*v - 495 = 0.