uppose 5*q + 19 - 49 = 0. Let i be 64/q + 2/6. Is 4 a factor of p(i)?
False
Let l(q) = 6*q**3 - 2*q + 4. Suppose 0*g + t = -4*g + 17, 2*t = 10. Does 20 divide l(g)?
True
Suppose 2*w = v + 6, -v + 6 - 2 = 0. Suppose 8 = 4*c, -y + 5*c - c - w = 0. Suppose x - 2*m = -y*m + 29, 4*m = 0. Is x a multiple of 12?
False
Let h = -150 - -150. Suppose -10*f + 3*f + 49 = h. Is f even?
False
Let l(o) be the third derivative of -o**4/12 + o**3/3 + 3*o**2. Let y be l(-9). Suppose y + 23 = r. Is r a multiple of 10?
False
Suppose -7 = x + 4*c, -5*x + c + 23 = -x. Suppose 3*m + 4*b - 31 = 0, 9 - 34 = -m - x*b. Suppose -n - 3*v - 2*v + 37 = 0, m*v = 3*n - 131. Does 14 divide n?
True
Let n = 1976 + -1256. Is n a multiple of 16?
True
Let b(m) be the first derivative of -12*m - 4 + 5*m**2 + 1/3*m**3. Does 4 divide b(-12)?
True
Let j(k) = -6*k**2 + 4*k + k**3 - 3 - 2 + 2. Let r be j(5). Is (12/r)/((-3)/88) a multiple of 22?
True
Let q = 5 - 7. Does 14 divide (63 - 23) + q/(-2)?
False
Let d be ((-2)/(-3) - (-714)/9) + 2. Suppose -3*m + 8*m + 30 = t, d = 4*t - m. Does 5 divide t?
True
Let q(k) = 3*k**2 - 5*k - 13. Suppose -21 = -y - 2*t, -4*y = -5*t + t - 60. Suppose -4*u - n + 14 + 9 = 0, 5*n = 2*u - y. Is 13 a factor of q(u)?
True
Suppose 0 = 3*h + 6*l - 4*l + 8, 2*l + 8 = 5*h. Let r(j) = j**3 + 5*j**2 + 2*j + 3. Let u be r(-4). Let g = u + h. Is g a multiple of 9?
False
Let s be (-596)/10 - (-6)/(-15). Let v be (-4)/14 - 1348/(-14). Let k = s + v. Does 14 divide k?
False
Let d = 261 + 1971. Is d a multiple of 8?
True
Suppose 0 = 4*n + 2*t, -3*n + 4*t - 18 = -2*n. Is 64/(-3)*3/n a multiple of 4?
True
Let z = -29 - -33. Suppose z*c - 2*i = -i + 9, 2*i = 5*c - 12. Does 6 divide ((-220)/33)/(c/(-9))?
True
Let w(q) = 2*q**2 + 5*q - 9. Let o be w(-5). Suppose o*k - 32 = 12*k. Is k a multiple of 3?
False
Let u(y) be the third derivative of 5/6*y**3 - 1/120*y**6 + 0 + y**2 + 1/60*y**5 + 0*y**4 + 0*y. Does 5 divide u(0)?
True
Suppose 17*z + p = 14*z + 2295, 5*p = 2*z - 1513. Is z a multiple of 12?
False
Let r(b) = 3*b - 7. Let f be (5 + -13)*1/(-2). Let o be r(f). Suppose -3*u + o = -2*u. Is 5 a factor of u?
True
Let a = 8 - 8. Is 17 a factor of 151 + a - (-3)/(-1)?
False
Let a(h) = -h**3 + 4*h**2 + 1. Let t be a(4). Suppose -2*p - 5*v + t = -30, 14 = p + v. Suppose p = 4*m - 203. Does 18 divide m?
True
Let q be (0/(-3))/(-5 + 6). Suppose q = 4*r - 12, v = -r - 2*r + 14. Suppose 2*i - v*o = 6*i, 2*i + 4*o + 6 = 0. Is 5 a factor of i?
True
Let h(y) be the second derivative of y**3/2 + y**2 - y. Suppose 2*k = 45 - 29. Is h(k) a multiple of 13?
True
Let j be (23590/(-21))/(7/3 + -2). Is 13 a factor of (24/27)/(-4) - j/18?
False
Suppose 545 = -113*h + 118*h. Is h a multiple of 3?
False
Let s = -200 + 104. Let y = s - -134. Suppose b = x - 3*b - 13, 4*x - 2*b - y = 0. Is x a multiple of 2?
False
Let j(u) = 78*u - 1339. Is 46 a factor of j(23)?
False
Suppose 0 = -11*z - 96 + 316. Is 5 a factor of 3*6*90/z?
False
Let v be (-2)/8 + 222/72*123. Let s = v + -103. Does 32 divide s?
False
Let c(w) = 2*w**2 - 8*w - 2. Let y be c(7). Suppose -v - y = 3*v. Does 11 divide ((-165)/(-6))/((-5)/v)?
True
Is 30 a factor of (-1833)/(26/(-2))*14/6?
False
Let g be (-5)/((-15)/(-4))*24/(-8). Is 11 a factor of 17/4 - g - (-407)/4?
False
Is (-5)/(-3) + (-34740)/(-54) a multiple of 43?
True
Let o = -33 + 32. Let t be -47 - 1*(-3 - o). Is 2 a factor of ((-162)/t)/(3/10)?
True
Suppose -6*m + 632 = -376. Is m a multiple of 2?
True
Let z(f) = -227*f + 137. Does 41 divide z(-4)?
False
Suppose 3*i = -4*z - 2, -4*z + 0*z = 5*i - 2. Let x(h) = 6*h - 6. Let y be x(i). Suppose y*c - 296 = 34. Is c a multiple of 22?
False
Suppose -15*z = -21*z + 318. Is 6 a factor of z?
False
Let a(y) be the third derivative of -y**4/24 + 7*y**3/6 + 4*y**2. Let q be a(7). Is 11 a factor of q*3/12 + 22?
True
Suppose 1822*v - 110 = 1821*v. Is v a multiple of 48?
False
Let b(h) be the first derivative of h**3/3 - 5*h**2/2 - 12*h + 3. Let r be (12/(-18) - 0)/((-2)/(-18)). Is 32 a factor of b(r)?
False
Let p = -9 + 14. Suppose -2*o = -q - 2 - 6, -p*q - 16 = -4*o. Suppose 4*h - t - 47 = 0, o*h - 2*t + 14 = 5*h. Is 6 a factor of h?
True
Suppose 312 = 3*x + 3*p, -5*x - p = -2*p - 508. Is 6 a factor of x?
True
Suppose -11*g - 13*g + 50304 = 0. Is g a multiple of 15?
False
Suppose -4*h = 2*x - 396, -3*h - 3*x + 148 = -146. Does 25 divide h?
True
Suppose 3*y = -82 + 34. Suppose 4*c + 2*f - 112 = -2*f, -4*c + 112 = 5*f. Let p = y + c. Does 12 divide p?
True
Let u = -312 + 543. Suppose -5*h - 2*d + 401 = 0, -3*h + 2*d + u = -0. Is h a multiple of 37?
False
Let n = 85 - -9. Does 3 divide n?
False
Let z be 7*2*1/2. Does 5 divide (-24)/(-10)*(z + (-19)/(-3))?
False
Let z be (7 - 9)*(-3)/2. Suppose -n = -2*d + 125, -91 = -z*d - 5*n + 64. Is 12 a factor of d?
True
Suppose -20*c + 360 = -18*c. Is c a multiple of 18?
True
Does 23 divide -83*(0/(-49) - (-3)/(-1))?
False
Suppose m + 35 = 3*h, m + 7 = -3*h + 50. Does 2 divide h?
False
Suppose 0 = 20*p - 16*p + 52. Suppose -2*q - 2*q + 104 = 0. Is q/5 - p/(-65) a multiple of 4?
False
Let m = -172 + 414. Suppose -x = -4*f - m, 0 = -0*x + 4*x - 3*f - 955. Is 22 a factor of x?
False
Suppose 49*g + 70161 = 70*g. Does 12 divide g?
False
Let o = 730 - -914. Is o a multiple of 13?
False
Suppose 5*s + 2*j = 59, -2*j + 3 = -5*s + 54. Suppose -2*c + k = -28, 5*k - 5 = -3*c + s. Does 12 divide c?
True
Let r(z) = 113*z**2 - z + 2. Is r(2) a multiple of 69?
False
Suppose -310 = -s - 5*v, -6 + 1 = 5*v. Let m = 539 - s. Is 56 a factor of m?
True
Let i(n) = n**3 + 13*n**2 - 3*n - 15. Let j be i(-13). Suppose -3*c - j = 3*c. Does 16 divide c - (-2*50 + 1)?
False
Let i(v) = v**2 - v - 2. Let o be i(3). Suppose -3*l - o*w + 104 = -l, 3*w = 5*l - 273. Does 6 divide l?
True
Let d = -60 + 39. Suppose 8*s - 3*s + 2*r = 278, 0 = -s + 4*r + 38. Let o = d + s. Is 9 a factor of o?
False
Let q = -1367 - -2771. Is 54 a factor of q?
True
Let u = 531 - 1024. Let w = u - -692. Is w a multiple of 56?
False
Let f = -107 + 54. Let c = 88 + f. Suppose -g + j + 14 = 4, -4*g - j = -c. Does 9 divide g?
True
Is 7 + -2*(-2876)/8 a multiple of 16?
False
Let b = -12 + 12. Let s be 9 + b + 9 + -12. Is s/(-21) - 354/(-14) a multiple of 25?
True
Suppose 0 = -5*z - 21 + 191. Let j = z + -69. Let h = 55 + j. Is h a multiple of 10?
True
Suppose 2*y - g - 91 = 0, -3*y = -0*y + 3*g - 141. Let s = y - -14. Let p = s - 24. Does 18 divide p?
True
Let c(y) be the second derivative of 17*y**4/12 - y**3/3 + y**2 + 16*y. Does 11 divide c(2)?
True
Let m(j) = 63*j**2 - 2*j - 1. Let i be (-3)/(-2) + 90/(-36). Does 32 divide m(i)?
True
Suppose -2*v + 19 = -21. Suppose 0 = 3*w + 2*u + 2*u - v, 3*u = 6. Is 11 a factor of w/(20/9 + -2)?
False
Suppose -3*k - 54 = -60, 4*s = 5*k + 16694. Does 12 divide s?
True
Let l be (-20)/(-35) + 244/14*1. Does 5 divide -6*(-20)/l*(-6 + 9)?
True
Let y be (-1)/((-64)/22 - -3). Let x = y - -52. Is 20 a factor of x?
False
Let y be ((-15)/9)/((-2)/36). Let s = y + -14. Let p = 4 + s. Is p a multiple of 20?
True
Is (-154)/(-33) - (-2)/6 a multiple of 5?
True
Let w be -6 + (-12)/78 + 4/26. Is 63 a factor of (-2 - -1) + w/3 - -192?
True
Suppose b + 3221 = 5*m, -b + 1962 = 5*m - 1267. Suppose 4*u = -c + m, u - 305 = -u + 3*c. Is 15 a factor of u?
False
Suppose c - 251 = -y + 4*c, 3*c - 1064 = -4*y. Suppose y = 5*s - j, 8*s - 5*j = 4*s + 223. Does 19 divide s?
False
Suppose -4*p + 1433 = 225. Is 9 a factor of p?
False
Let b = -15 + 7. Let j(h) = 3*h**2 + 5*h - 5. Let m be j(b). Is 30 a factor of m/5 + 6/10?
True
Let z = -15 - -15. Suppose z*y - y = -26. Is y a multiple of 26?
True
Let y(p) = -p**3 - p**2 + p + 14. Let r be y(0). Let a = r + -12. Is a + 3*3/3 a multiple of 5?
True
Suppose 207 = 5*q - 3*i, -3*i + 4 = 1. Does 21 divide q?
True
Suppose 3*y + 4*n = 2*y + 137, -3*n = 3*y - 438. Let t = -82 + y. Does 12 divide t?
False
Suppose 435*q - 432*q = 492. Is 4 a factor of q?
True
Suppose -4*v = -300 - 156. Is v a multiple of 3?
True
Suppose 2*q = 4 - 4. Let z(m) = -3*m + 92. Does 21 divide z(q)?
False
Suppose k = -3*b + 43 + 99, 0 = 4*b + 4*k - 184. Is b a multiple of 16?
True
Let w be 2 - (-2 - 60/(-3)). Let k(g) = -g**2 - 30*g - 49. Is k(w) a multiple of 15?
False
Let q(t) = t**2 + t - 1. Let j be q(-2). Suppose 0 = s + j, -4*k + 31