factor of q?
True
Suppose g + 2 - 6 = 0. Let s = 0 + -4. Is 7 a factor of ((-172)/s - g) + -2?
False
Let v(a) = a**3 + 9*a**2 + 7*a - 5. Let p be v(-6). Let u = p + 28. Suppose 10 + u = 3*y. Is 12 a factor of y?
False
Let s be 3 + 1 + 6/(-2). Suppose -s = -c + 2. Suppose -2*w - c*w = -180. Is w a multiple of 13?
False
Let j be 8/(-20) - 1/(20/(-8)). Suppose c - 3*b = 102, 4*b = 5*c - j*c - 466. Does 20 divide c?
False
Suppose 0 = 3*f - 2*s - 924, 0 = -0*s - 3*s + 9. Is 5 a factor of f?
True
Let d be 2/8 - (-5)/(40/174). Suppose 5*i + d = 257. Is 29 a factor of i?
False
Let o = 730 - -70. Does 55 divide o?
False
Suppose 5 = -4*q + 17. Let r(a) = a**2 + 20*a + 3. Let l be r(-20). Suppose -q*k + 4*k - l = 0. Is k even?
False
Suppose -86 + 74 = -4*f. Suppose 3*r + 340 = 5*a, -f*r = 2*a - 6*a + 269. Is 19 a factor of a?
False
Suppose 2*p - 335 = -83. Suppose -11*m + p = -4*m. Is m a multiple of 18?
True
Let j = 758 + 324. Is 17 a factor of j?
False
Suppose -95 = -7*t - 270. Let h = t - -41. Does 16 divide h?
True
Suppose 1046 = 5*z - 454. Let k = -195 + z. Is k a multiple of 7?
True
Suppose l = -2*o + 3, l = -2*l - 3*o + 3. Let t be l*3*606/(-9). Suppose -5*v + t = 17. Is v a multiple of 13?
False
Let x = 53 + -74. Let s = x - -21. Suppose s = -22*h + 26*h - 28. Does 2 divide h?
False
Suppose -1303*q + 245 = -1296*q. Is q a multiple of 10?
False
Let a(h) = -h**3 + 8*h**2 - 6*h + 6. Does 3 divide a(5)?
True
Suppose -3*f + f = 0. Suppose f = 3*a - 4*a. Suppose a*l = -4*l + 24. Does 6 divide l?
True
Let n = -32 - -38. Suppose 0 = -3*h + y + 87, 4*y = -5*h + n*y + 145. Does 4 divide h?
False
Let k = 14 + -10. Suppose -52 = -k*w - 16. Suppose 5*y + 5*u - 29 = -w, 3*y + 4*u = 11. Does 2 divide y?
False
Let k(v) = 195*v + 1009. Is k(5) a multiple of 16?
True
Suppose -2*u + 80 = -5*z, u - 6*z + 2*z = 46. Does 17 divide u?
False
Suppose -2*m = x - 286, 2*x = -3*m - 2*m + 717. Let a = m + -31. Is 19 a factor of a?
True
Suppose -32*i + 37*i - 10 = 0. Is 11 a factor of (-8)/(-20)*(55 - (-2 + i))?
True
Suppose -3*m - 2 = 5*o, -5*m - 4 = -5*o - 14. Let x be (2 - -1)/(192/(-42) + 5). Is (o - -22) + x + -7 a multiple of 7?
True
Suppose p + 4*o = 225, 0 = -11*p + 6*p + 3*o + 1033. Does 19 divide p?
True
Does 25 divide 5*(-1)/(-5)*(325 - -2)?
False
Suppose 5*r - 35 = 2*d, 0 = d - 3*r + 8*r + 10. Let s = d - -12. Does 3 divide (-21)/s - (-1 - 1)?
True
Suppose -4*z + 2*z = -36. Suppose 5*n - 215 = -0*n. Let b = n - z. Is 16 a factor of b?
False
Let z = 379 - 362. Is z even?
False
Let d = 8 - -10. Let n = d + -10. Suppose 0 = -5*r + 32 + n. Does 3 divide r?
False
Suppose -x = -5, 4*v - x = 3*v + 212. Let u(p) = 35*p**2 - 1. Let o be u(2). Let y = v - o. Does 13 divide y?
True
Suppose -456 = -0*y - 4*y. Is y a multiple of 68?
False
Let l = 2 + 0. Suppose -2*n + 39 = 3*t - 76, l*t + 3*n = 70. Let d = -21 + t. Does 9 divide d?
False
Let k = -477 + 844. Is 17 a factor of k?
False
Let v(i) = i + 12. Let u(y) = y - 1. Let l(f) = 21*u(f) + 3*v(f). Let s be l(13). Suppose t = -5*r + 395, 4*r + 0*t + 3*t = s. Does 20 divide r?
False
Suppose 15*v + 0 = 1620. Is v a multiple of 12?
True
Suppose 92 + 3058 = 6*z. Is z a multiple of 25?
True
Let l = 3 - 0. Suppose -7*j + 108 = -l*j. Is 27 a factor of j?
True
Is 3674/22*(-1 + (-2)/(-1)) a multiple of 6?
False
Is 18*(7 - 15/(-10)) a multiple of 17?
True
Let m(h) be the third derivative of -h**5/60 + h**4/4 + 3*h**3/2 + 5*h**2. Let f be m(7). Is 7 a factor of 14 + 0 + f/(-1)?
False
Does 5 divide 21 + 21 - 4/2?
True
Let l be (2/4)/(1*(-3)/702). Let z = -76 - l. Is z a multiple of 8?
False
Suppose -2*f + 79 = 5*g, 3*f + 24 = g + g. Let t be (g/(-6))/((-3)/498). Suppose -2*a = 2*j - 154, -3*j - t = -5*a + 2*j. Is a a multiple of 20?
True
Let b = -315 - -557. Is b a multiple of 9?
False
Suppose -4*y - 47 = -5*r, -2*r + 15 = -r + 2*y. Let t = r - 10. Let w = t + 21. Does 11 divide w?
True
Let c(a) = -19*a + 9. Let q(p) = -58*p + 27. Let x(y) = 7*c(y) - 2*q(y). Is x(-9) a multiple of 14?
False
Let m(i) = i**3 - 15*i**2 + 11*i - 1. Let j be m(14). Let y = -3 - j. Is y a multiple of 20?
True
Let j = 7 + 3. Let w be j/35*2*7. Is w/8 - (-206)/4 a multiple of 19?
False
Let r = -20 + 19. Let k be 2*(r + -3 + 3). Is -3 - (-9)/k*-2 a multiple of 6?
True
Let z(y) = -y**2 - 7*y + 95. Does 4 divide z(5)?
False
Suppose 2*l = -0*l + m - 236, 5*l - 2*m + 588 = 0. Let p be (6/(-3) - 0/(-1)) + -33. Let u = p - l. Is 15 a factor of u?
False
Let z(w) = w**3 + 9*w**2 - 11. Let h be z(-9). Let y(u) = -2*u - 13. Let d(g) = g + 6. Let s(a) = h*d(a) - 6*y(a). Is 3 a factor of s(-5)?
False
Suppose -109*m + 118786 = -87224. Is 15 a factor of m?
True
Let n(l) = 4*l**2 + 10*l - 1. Let j be n(-7). Suppose j = 3*a - 43. Let g = a + -17. Is 10 a factor of g?
False
Let d = -1261 - -2597. Is d a multiple of 29?
False
Suppose f - 4 + 8 = 0, -2*f = -3*p + 386. Is 6 a factor of p?
True
Suppose q = -2*d + 12, -d - 4*q = -0 + 1. Suppose h - 2*h + d = 0. Let t(y) = 3*y - 4. Does 5 divide t(h)?
False
Let v = -73 + 72. Is (20/(-35) - (-1075)/7) + v a multiple of 38?
True
Suppose 5*m = -14 - 16. Let x(n) = -11*n + 21. Is 12 a factor of x(m)?
False
Suppose -5*y - 13 = 7. Let i = y - -8. Suppose -69 - 115 = -5*s + o, s - 52 = i*o. Is 18 a factor of s?
True
Suppose 3*x = 5*t + 148, -t + 72 = 3*x - 64. Suppose -2*s = -0*s - x. Is 5 a factor of s?
False
Let v(t) = 24*t - 3. Suppose 2*x = -20 + 24. Does 15 divide v(x)?
True
Suppose -2*k + 5615 = 5*b, 5*b + 4*k - 6134 = -519. Does 24 divide b?
False
Let s(l) = l**2 + l + 7. Let i = -15 + 15. Let v be s(i). Suppose -180 = 2*r - v*r. Does 18 divide r?
True
Suppose -2*t + 3 = -5. Suppose 0 = -4*b + 3*g + 26, 4 - 2 = 2*b + t*g. Suppose -b = -q + 2. Does 2 divide q?
False
Let h be (-8)/(-68) - 642/(-34). Let g(q) = -q**2 + 22*q - 29. Does 9 divide g(h)?
False
Let t be 15*2*(-2)/(-10). Is 13 a factor of ((-40)/t)/(3/(-18))?
False
Suppose 3*d - 3*n = 1311, -2*d + 3*n + 889 = -2*n. Is d a multiple of 16?
True
Let v = -27 + 67. Suppose v = 4*r - 4*i, 4*r - r = -2*i + 25. Does 7 divide r?
False
Let c(o) = o**3 - 31*o**2 - 6 - o + 31*o**2 + 142. Let b be c(0). Suppose -h = 3*h - b. Is h a multiple of 11?
False
Suppose 5 = m, -6*c = -3*c + 4*m + 55. Let v(x) = x**3 + 25*x**2 - 10*x + 24. Does 34 divide v(c)?
False
Let a = 436 - 437. Let z(j) = 167*j**3 + 2*j**2 - 2*j - 7. Let y(x) = 250*x**3 + 3*x**2 - 3*x - 10. Let f(k) = -5*y(k) + 7*z(k). Does 20 divide f(a)?
True
Suppose -4*q - 9 = 15. Let v = q - -3. Let x(h) = -2*h**3 - 3*h**2 + 4*h - 1. Does 4 divide x(v)?
False
Let q(g) = 370*g**2 - 15*g + 15. Is q(1) a multiple of 16?
False
Let g = -17 + 19. Suppose -g = 12*o - 13*o. Suppose 0 = -o*h + 4*z + 4, -5*h + 46 = 4*z - 2*z. Does 2 divide h?
True
Suppose 0 = c - 3*g - 53, -43 - 50 = -c - 5*g. Does 34 divide c?
True
Suppose 3 = 5*c - 12. Suppose q - 4*z = 32, 4*q + c*z - 115 = 6*z. Is (q/(-8))/((-4)/16) a multiple of 14?
True
Suppose 0*f - 2*f = 34. Let a = f + 19. Suppose 24 = r + 3*t - t, -a*t = -5*r + 168. Does 7 divide r?
False
Suppose h - 3*o = 156, -2*o - 33 = -3*h + 407. Suppose j + h = 2*j. Is j a multiple of 20?
False
Let c = -20 - -5. Is 6/(-15) + (-96)/c a multiple of 3?
True
Let s = 100 + -70. Let q be 0 - 2 - (s - 10). Does 8 divide -1 + q/((-8)/4)?
False
Suppose 21*t = 19*t + 98. Is t a multiple of 19?
False
Let y(w) = -w**3 + 2*w**2 + 8*w - 40. Is y(-10) a multiple of 27?
True
Let x(b) = 2*b**3 - 26*b**2 + 28*b - 29. Is x(12) even?
False
Suppose 3*n + 892 = 2*k, -5*k + 8*k - 1338 = 4*n. Does 11 divide k?
False
Let y be (1 + -2)/(10/(-40)). Suppose 4*h + 0*h - 584 = -y*t, 5*h - 695 = 2*t. Let k = -61 + h. Is k a multiple of 16?
True
Let r(n) = -134*n + 115. Is r(-3) a multiple of 11?
True
Let a(h) = -h**3 - 4*h**2 + 3*h - 5. Let f be a(-5). Suppose 5*i + 10 = -f. Let q = 22 - i. Is q a multiple of 11?
False
Let d(x) = -247*x - 33. Let w be d(-3). Let r = w + -487. Is 35 a factor of r?
False
Suppose -90 = -5*j + 190. Let c = j - 14. Is 11 a factor of c?
False
Let a(b) = -4*b - 3. Let r be a(-2). Suppose 0 = -r*x - g - 116, 3*g = -x - 0*x - 12. Let d = -18 - x. Is d a multiple of 2?
True
Is (-2 + -149)*(-14 + 7) a multiple of 11?
False
Let a(p) = 10*p**3 - 9*p**2 + 7*p + 15. Does 43 divide a(5)?
True
Let h(n) = -2*n**3 + n**2 + 3*n - 