4)*1/t a multiple of 10?
False
Let n(s) = -s**2. Let d(u) = -3*u**2 - 12*u + 4. Let p(f) = d(f) - 2*n(f). Let r be p(-10). Suppose -3*k + r = -0*k. Is k a multiple of 5?
False
Suppose -z - 169 = -323. Is z a multiple of 7?
True
Let j(o) = o**2 + 1. Let m be j(1). Suppose -3*z + 5*y + 209 = 0, z - m*y - 47 = 22. Is 14 a factor of z?
False
Let g = -302 + 149. Let a = 216 + g. Let d = a - 35. Does 7 divide d?
True
Suppose -3*i - 1449 = -3*q, 46 - 1495 = -3*q - 5*i. Is q a multiple of 23?
True
Let x(v) = v + 17. Let m be x(-10). Let g be 73 + ((-12)/(-3) - 2). Suppose -m*y + 385 = -2*y - 5*r, -g = -y - r. Does 26 divide y?
False
Let m be (1524/24)/((-2)/(-4)). Let r = 7 + m. Is r a multiple of 12?
False
Suppose 3*k - 5*k = -5*w - 975, 525 = k + 5*w. Is k a multiple of 25?
True
Let g be (0 + 2/4)*0. Let y(t) = 21 + 4*t + t - 7*t. Is y(g) a multiple of 7?
True
Suppose 0 = h + h - 108. Suppose 26 = 4*o - h. Is 10 a factor of o?
True
Suppose -138 = -0*l + l. Is 37 a factor of (l - -2)*(3 + 9/(-2))?
False
Let t(h) = -2*h**2 + h + 9. Let s be t(0). Suppose -s*w + 7*w = -52. Is 26 a factor of w?
True
Let c(x) = 67*x - 29. Let p(d) = 200*d - 87. Let v(g) = 7*c(g) - 2*p(g). Is v(4) a multiple of 19?
True
Is (-22)/4*((-30)/5 + -28) a multiple of 8?
False
Let n(s) = 20*s - 7. Suppose -8 = -3*r + 10. Is 29 a factor of n(r)?
False
Let k = -288 + 340. Does 13 divide k?
True
Let i(m) = 18*m**2 - 2*m - 4. Let l(c) = 3*c + 24. Let r be l(-7). Is i(r) a multiple of 38?
True
Let t(i) be the first derivative of i**3/3 - 2*i**2 - 2*i + 4. Let m be t(5). Suppose p - 2*p + f + 45 = 0, 4*p = -m*f + 152. Does 10 divide p?
False
Suppose z + 67 = -4*t + 7*t, 111 = 4*t + 3*z. Is t a multiple of 9?
False
Suppose 0 = 3*c - 9, 2*t - c - 11 = -6*c. Does 11 divide (-7 + 7 + -33)/(3/t)?
True
Is (24/(-32))/(1/(-136)) a multiple of 13?
False
Let d = -14 - -23. Let i = -1 - d. Does 11 divide (-4 - i)*(-38)/(-6)?
False
Suppose 4*p = -0*p + 12. Let z be (9/p)/((-1)/(-17)). Is 13 a factor of z/2*(-14)/(-21)?
False
Suppose -5*f + 5*n - 185 = 0, -n + 0*n = -5*f - 177. Let q = f - -107. Is 24 a factor of q?
True
Let x be (-9)/(-15) + (-81)/(-15). Let u be (-3)/(0 + (-9)/x). Suppose -j - u*p = -42, 5*j + p + 3*p - 222 = 0. Is 14 a factor of j?
False
Let h be ((-4)/(-10))/((-8)/240). Let z be (-3)/1 + (-2 - h). Suppose z*q - 8*q + 16 = 0. Does 9 divide q?
False
Suppose 5*f - s = 3*s + 436, f - 4*s - 84 = 0. Let q = f + -52. Is q a multiple of 12?
True
Suppose -8*i + 459 + 149 = 0. Is 19 a factor of i?
True
Let x(v) = -v**2 + 18*v - 13. Let d(g) = g + 14. Let i be d(-4). Is 3 a factor of x(i)?
False
Suppose 3654 = 4*j - 4302. Is j a multiple of 51?
True
Let k(z) = -2*z + 36. Let c be k(17). Suppose -4*p - c*f = -326, -3*p + 4*f = -161 - 78. Is 26 a factor of p?
False
Let c(f) = -f - 9. Let a be c(0). Let x = a + 29. Does 2 divide (x/15)/(2/9)?
True
Let g(u) = 6*u**2 - 5*u - 3. Suppose 0 = -4*i + 2*i - 8. Let w be g(i). Let b = w - 40. Does 10 divide b?
False
Suppose 4*w - 65 = -1. Suppose -3*d - w = -3*v - v, -6 = 2*v + 2*d. Let j(s) = 19*s**2 - 2*s + 1. Is j(v) a multiple of 9?
True
Let n = 16 - 9. Suppose -40 = -n*w - w. Let y(i) = -i**3 + 6*i**2 + 6*i - 9. Is 23 a factor of y(w)?
True
Let i = 417 + -67. Is i a multiple of 15?
False
Let l(s) = -s**2 - 63*s - 208. Is l(-48) a multiple of 16?
True
Suppose -3*w + 1719 = 5*v, 0 = -2*v + 2*w + 65 + 629. Is v a multiple of 25?
False
Let p(t) be the first derivative of 7 - 2*t**3 + 1/4*t**4 - 6*t + 9/2*t**2. Is p(6) a multiple of 12?
True
Let q(s) = -16*s + 74. Is 18 a factor of q(-13)?
False
Let n(u) = 59*u**2 + 16*u + 7. Is n(-3) a multiple of 14?
True
Suppose -181 = -26*r + 25*r. Is r a multiple of 5?
False
Let p(z) = z**3 - 4*z**2 - 4*z - 1. Let j be (-2)/7 + 333/63. Does 2 divide p(j)?
True
Suppose 0 = -140*d + 145*d - 3630. Does 66 divide d?
True
Let p be ((-6)/(-8))/(30/80). Suppose -381 = -3*m + p*v, -3*m + 115 = 2*v - 254. Does 15 divide m?
False
Let l be (-2 + -5)/(7/(-154)). Suppose -z + l = -2*i, -2*z = -2*i + 4*i - 302. Is 38 a factor of z?
True
Let t = 397 - 311. Does 12 divide t?
False
Does 66 divide 27 + 828 - (9 - (2 - -1))?
False
Let a = -10 - 2. Let k = 4 - a. Is k a multiple of 7?
False
Suppose -j - 2 = j. Let i = j - -1. Suppose a - 4*t - 20 = -2, i = 3*a + t - 67. Is 7 a factor of a?
False
Suppose 36 = -2*h + 162. Is 9 a factor of h?
True
Let s be ((-468)/(-65))/((-1)/5). Is s/(-10)*(-100)/(-15) a multiple of 12?
True
Let m(a) = -385*a - 101. Is 38 a factor of m(-5)?
True
Let u(m) = -m**2 + 13*m + 34. Let a be u(15). Suppose 3*g + 594 = 2*d, d + a*g = 2*g + 290. Is 60 a factor of d?
False
Suppose -21 = 3*f - 6*f. Let w(l) = l**2 + 2*l - 3. Is w(f) a multiple of 23?
False
Suppose 3*o - 70 = -5*x - o, 0 = x - 5*o - 14. Let q = -12 + x. Suppose 0 = -h - q*h + 63. Does 4 divide h?
False
Let i = 188 - 160. Is i a multiple of 7?
True
Let c(a) = a - 1. Let y(f) = -10*f + 25. Let u(n) = -3*c(n) - y(n). Does 7 divide u(9)?
False
Let g be (96/(-30))/(1/(-5)). Let j = -100 + g. Let p = j - -150. Is 27 a factor of p?
False
Suppose -5*n + 6848 - 968 = 0. Is 15 a factor of n?
False
Let s(w) = -4*w - 1. Suppose x = -2 - 2. Let b be s(x). Is 57/b - (-3)/15 a multiple of 4?
True
Suppose t + 20 = -5*b, -5*t = 2*b - 7*b - 20. Suppose 0 = -4*r - 4*l + 120, 4*l = 4*r - t*l - 120. Is 9 a factor of r?
False
Let w(l) = 7*l**2 - 10*l + 5. Does 11 divide w(4)?
True
Suppose -5*d + 5*h = -30, -4*d = h - 0 - 14. Suppose 3*k - 16 = -0*k + d*v, 3*v - 5 = -2*k. Suppose 1 - 37 = -k*r. Does 9 divide r?
True
Let j(d) = d**2 + 8*d - 26. Let k be j(-11). Is (3 - 0)/(-9 + k)*-22 a multiple of 6?
False
Suppose -8*o + 40 - 16 = 0. Suppose l = 2*l - 2. Is o + -6 + l + 29 a multiple of 7?
True
Let b(r) = r**2 + r - 6. Let k be b(-4). Suppose -3*w - k = -5*w. Suppose o = 5*y - 318, 0*y - y + w*o + 72 = 0. Does 21 divide y?
True
Let y(v) = -4*v**3 + 8*v**2 + 3*v + 11. Is y(-6) a multiple of 14?
False
Suppose -3*k + 221 = 4*f, -f = -8*k + 10*k - 149. Is k a multiple of 3?
True
Let q = 12 + -15. Let y = q + 6. Suppose -2*n + 25 = y*k - 0*k, 2*k = 2*n - 50. Is n a multiple of 20?
True
Let u = 1128 - 462. Is 18 a factor of u?
True
Suppose 2*z = 0, 0 = -m + 3*z - 32 + 37. Does 5 divide m?
True
Suppose 0 = 6*r - 4*r. Suppose -341 = -3*p + 2*f, 0*f - 3*f = 4*p - 432. Suppose r = -3*j + p - 36. Is 10 a factor of j?
False
Let i(x) = 543*x + 9. Let h be i(3). Suppose -2*k + h = 5*k. Suppose 0 = 5*j + 3*p + 94 - k, 3*j - 84 = -5*p. Is j a multiple of 10?
False
Is 56 a factor of (-13)/(-39) + (-10581)/(-9)?
True
Suppose 3*x - 1733 - 4507 = 0. Is 20 a factor of x?
True
Let q(j) = -7*j**2 + 2*j. Let t(f) = f**3 + f**2. Let o be t(1). Let l be q(o). Let m = 50 + l. Does 13 divide m?
True
Let j(a) = -a**2 - 2. Let o be j(-2). Let n = 72 - 69. Does 2 divide ((-2)/n)/(o/27)?
False
Let h be -1 + 0 + -3 + 28. Let r be (8/h)/(2/(-12)). Is 4 a factor of (-2 - 0) + (4 - r)?
True
Let a be 210/3 + -2 + 3. Suppose 5*g - 19 - a = 0. Suppose -4*s + 7*s = g. Is s even?
True
Suppose 5*x - z = z + 355, z = -2*x + 151. Suppose -x = 3*o - 697. Is o a multiple of 16?
True
Let g = -105 - -158. Suppose 0 = -y + 5*z + 7 + 12, -g = -4*y - 3*z. Is y a multiple of 6?
False
Suppose 5*j - j = 576. Suppose 4*v = 5*m - 165, 2*v + j = 4*m + 18. Is m a multiple of 16?
False
Let r(o) be the first derivative of -o**7/840 + o**6/40 + o**5/30 + o**4/2 + o**3/3 - 1. Let b(c) be the third derivative of r(c). Does 16 divide b(9)?
True
Let y = -523 - -991. Is 12 a factor of y?
True
Suppose 3*b - 2*h - 236 = 0, -h - 77 = 2*b - 3*b. Let g = b - 39. Is 8 a factor of g?
False
Suppose 5*m = 5*b + 8*m - 1600, 0 = 4*b + 2*m - 1282. Is 7 a factor of b?
False
Let o(a) = -5*a + 13. Let n be o(3). Let b = 33 + n. Does 7 divide b?
False
Let h(r) = -13*r. Let g(i) be the first derivative of -7*i**2 - i - 1. Let p(b) = 3*g(b) - 4*h(b). Does 19 divide p(6)?
True
Suppose -3*w + 0*w + 47 = -5*s, 2*s + 15 = w. Let q = w + -7. Is 4 a factor of q?
True
Let k = -54 - -75. Is ((-9)/k)/(-1) - 2435/(-35) a multiple of 35?
True
Let w(g) = -2*g + 7. Let j be w(-2). Let n = j + 46. Is n a multiple of 4?
False
Is (-66)/165*-1*2185 a multiple of 19?
True
Let h = 13 - 31. Let w be ((-2)/6)/(1/h). Let k = w - -1. Is k even?
False
Let r = 2246 + -6