s 19 a factor of p?
True
Suppose 10 + 22 = 2*z. Suppose 2*n - 4*n = -z. Suppose n*h = 3*h + 35. Is 6 a factor of h?
False
Let g(f) = f**2 + 6*f + 5. Let q be g(-6). Suppose 0*i = -4*n + i + 15, 2*i - 22 = -q*n. Does 4 divide n?
True
Suppose -8*c - 5 = -3*c, -4*f + 3*c = -495. Suppose -3*a = 15, -f = -5*o + 3*o + 5*a. Is 8 a factor of o?
False
Suppose 0 = -7*t + 5*t + 42. Is 21 a factor of t?
True
Let o = 275 - 193. Does 24 divide o?
False
Let o be 14/2 + 3 + -3. Suppose -6 = 2*w + 2*c, o*w - 4*w - 3*c - 21 = 0. Is 2 a factor of w?
True
Let f = -8 - -25. Is f a multiple of 14?
False
Suppose 2*r + 21 = 5*p, 4*r - 3*r - 3*p = -12. Does 10 divide 49/5 + r/(-15)?
True
Let w = -21 + 29. Suppose 2*v - 88 - w = 0. Let m = -26 + v. Is 11 a factor of m?
True
Let m be 1*(7 - 0/(-3)). Suppose 2*t - 13 = m. Does 5 divide t?
True
Suppose 6*z - 3*z + 9 = 0, -4*f = -4*z - 876. Suppose 0 = -4*a + 40 + f. Suppose 5*w + 16 = 2*s + 2*w, -4*s - 2*w + a = 0. Does 7 divide s?
True
Let x = 192 + 159. Suppose x - 141 = 3*q. Suppose 5*z = q + 20. Is 10 a factor of z?
False
Let d = 14 - 6. Is 5 a factor of d/1*20/16?
True
Suppose x - 6 = 3. Let b(n) = n**3 - 8*n**2 - 3*n - 2. Is 29 a factor of b(x)?
False
Let y(i) = -5*i + 3. Suppose 0*q - 5*q - 20 = 0. Is 23 a factor of y(q)?
True
Let r be (6/(-5))/(9/(-30)). Let y = 11 - r. Is y a multiple of 4?
False
Suppose 8*z - 50 = 7*z. Is 10 a factor of z?
True
Let w = 71 + -41. Is w a multiple of 15?
True
Suppose -5*r + 0*r + 3*t - 14 = 0, 2*r - 5*t + 17 = 0. Suppose 0*n + 4*n - 26 = 3*o, -4*n + 20 = 0. Is 2 a factor of (0/r - o) + 2?
True
Let n(j) = -15*j - 42. Is 8 a factor of n(-6)?
True
Let p = -97 + 173. Does 19 divide p?
True
Let n = -5 - -4. Does 15 divide n + (-18 - -2)*-1?
True
Suppose -6*g - 348 = -10*g. Is 14 a factor of g?
False
Suppose 0 = 2*x - 6*x - 20. Let z be x/5*4/(-1). Let v(k) = 3*k - 5. Does 7 divide v(z)?
True
Suppose 0 - 4 = 2*d. Let k be (2 - -4)/d - 5. Is (-6)/k - 354/(-8) a multiple of 20?
False
Let s(x) = x**2 + x + 19. Let c be s(0). Let y = c + 15. Is y a multiple of 14?
False
Let p = 385 - 218. Does 8 divide p?
False
Is 5 + -2 + 1 + 56 a multiple of 10?
True
Suppose 8*x - 3*x = -95. Let j = -10 - x. Suppose 3*z + j = 168. Is z a multiple of 20?
False
Suppose -2*f - l - 61 = -4*l, -4*f + 2*l - 110 = 0. Let r = 72 + f. Does 12 divide r?
False
Suppose 4*f + 0*p = -p + 9, 4*f = 4*p + 24. Let a be (0 + (-13)/(-2))*2. Suppose -4*l + a = -f*l. Does 7 divide l?
False
Suppose -2*k - 18 = -4*w, k = -2*w - 0*k - 1. Suppose -4*q = w*b - 34, 3*b - 5*q + 21 = 61. Is b a multiple of 13?
False
Suppose -s - 100 = 4*s. Let t = s + 28. Is 3 a factor of t?
False
Is 4 a factor of -12*(-2)/(-8)*-3?
False
Suppose -5*b + 2 = -4*b. Suppose b*g + 4*d = -28, -2 = d - 7. Is ((-1)/3)/(4/g) a multiple of 2?
True
Let x = -4 + 8. Suppose 5*q - c + 1 = -3, x*q - 2*c + 8 = 0. Suppose q = -2*o - o + 33. Is o a multiple of 10?
False
Suppose 2*z + 2*g - 68 = 0, 2*z - g - 9 = 44. Suppose 189 = 5*v + z. Does 16 divide v?
True
Let h(u) = 5*u**2. Let x be h(1). Suppose 3*y = -x*k + 4*k + 73, 5*y + 309 = 4*k. Is k a multiple of 19?
True
Suppose -4*b + 2*v + 2110 = -3*v, 1569 = 3*b + 3*v. Is b a multiple of 22?
False
Let k(i) be the second derivative of -i**4/12 + i**3/6 + 9*i**2 - 8*i. Is 9 a factor of k(0)?
True
Suppose 0 = -b + 17 + 25. Let p = b - -30. Let v = 122 - p. Does 21 divide v?
False
Let q be 3/1 + -2 + 1. Suppose 2*h - 5*h - 221 = -5*k, -q*k + 2*h + 86 = 0. Suppose -2*z - 4*x + k = -0*z, -11 = -z + 4*x. Is z a multiple of 9?
False
Suppose -h - 2*b = -13 - 0, 0 = 3*h + b - 29. Is 5 a factor of h?
False
Is ((-36)/60)/((-622)/310 + 2) a multiple of 21?
False
Suppose 6 = -o + 3*s, 0*o + 3*o + 4 = 2*s. Let t = 23 - 23. Suppose o = 5*d + 5*c - t*c - 95, 0 = 2*d - 3*c - 43. Is 13 a factor of d?
False
Let c(s) be the third derivative of 3*s**5/20 - s**4/6 - s**3/2 - 5*s**2. Is 17 a factor of c(-2)?
False
Let v = 1 + -2. Let o = v + 21. Does 10 divide o?
True
Suppose 14*o - 13*o = 31. Is o even?
False
Let w be ((-2)/4)/(2/(-20)). Suppose -w*l = 17 - 92. Is (-3)/(l/(-6) - -1) a multiple of 2?
True
Suppose 5 = -5*r + 10, 0 = l + 4*r + 3. Let z(s) = -s**3 - 7*s**2 - 3*s - 2. Is z(l) a multiple of 10?
False
Let y(w) = w**2 + 7*w + 6. Let u be y(-6). Suppose a - 49 + 9 = u. Is 9 a factor of a?
False
Let v(q) = 11 - 2 + q + 0. Let d be v(-5). Suppose -74 = -d*j + h + 25, 0 = h + 3. Is 17 a factor of j?
False
Let r(s) = 6*s**2 - 9*s - 10. Let i(f) = -f**2 + 2*f + 2. Let d(c) = 22*i(c) + 4*r(c). Suppose -2*g - 12 = -2*b, -2*g - 20 = 3*g + 5*b. Does 5 divide d(g)?
False
Let v = -76 - -78. Let q(i) = i**2 + 3*i + 1. Let m be q(-4). Suppose 0 = -m*c - v*t + 26 - 5, 2*t = -4. Does 5 divide c?
True
Suppose -y + 383 = 5*j, 2*j + 2*y + 40 = 190. Is j a multiple of 22?
False
Suppose -4*y + 60 = -4*l, -2*l + 19 = y - 7*l. Does 14 divide y?
True
Let m = -123 + 212. Suppose 0 = -3*r - 4*i + m, -3*i = -r + i + 3. Is r a multiple of 17?
False
Let x(r) = 2*r - 13. Let k(m) = 3*m**2 - 7*m + 9. Let h(t) = -10*t**2 + 21*t - 27. Let c(w) = 2*h(w) + 7*k(w). Let p be c(7). Is x(p) a multiple of 3?
False
Suppose 5*h - h - 20 = 0. Suppose -b + 20 = -6*b, -h*b = 3*o - 106. Is o a multiple of 20?
False
Suppose 5*w + 4 = w, 0 = d + 5*w - 3. Is d a multiple of 4?
True
Suppose 2*d - 14 - 22 = 2*u, -2*d = -5*u - 30. Is 7 a factor of d?
False
Suppose -f = 3*f - 264. Does 22 divide f?
True
Let v = -90 - -59. Let b = -5 - -67. Let y = b + v. Is y a multiple of 11?
False
Let x(h) = -h - 4. Let o be x(-6). Let s(w) = 5*w**3 + 2*w**2 + 2. Does 13 divide s(o)?
False
Suppose -9*h = h - 100. Is 4 a factor of h?
False
Let w be ((-2)/3)/(12/18). Let g = w + 0. Does 7 divide ((-14)/3)/(g/3)?
True
Is 34 a factor of (2/(-3) + 1)/((-51)/(-26469))?
False
Let o = -4 + 47. Does 9 divide o?
False
Let p = -9 - -22. Let h(w) = -w**3 + 13*w**2 - w + 18. Does 2 divide h(p)?
False
Suppose x + 78 = t, x + 101 - 327 = -3*t. Is t a multiple of 37?
False
Let y(z) be the third derivative of z**6/120 - 2*z**5/15 + 5*z**4/12 - 7*z**3/6 - 2*z**2. Does 6 divide y(7)?
False
Let l(j) = j + 2. Let o be l(0). Let a = -26 + -3. Let p = o - a. Is p a multiple of 13?
False
Suppose 0 = b - 11 - 80. Does 7 divide b?
True
Suppose 2*y = 5*x + 3, -y + 3*x - 1 = -0*y. Is y a multiple of 3?
False
Let w(p) = -p**2 + 10*p + 10. Let c be (3 - -6) + 0/2. Is w(c) a multiple of 10?
False
Let r be 1/2*16/2. Suppose 0 = -2*y - 8, r*y + 64 = 4*t - 0*t. Does 6 divide t?
True
Does 15 divide (-1448)/(-12) - (-10)/(-15)?
True
Let c be (12/(-14))/((-1)/7). Let y be -6*(c/(-4) - 1). Suppose j + 1 - y = 0. Does 13 divide j?
False
Let p be 274/5 + 2/10. Suppose f + 5 = 2*q, 0 = 2*q + q - 12. Suppose -4*g = -2*h - 98, -f*g + g + p = h. Is 13 a factor of g?
True
Suppose -p - 11 = -2*p. Let b = 0 - p. Let a(h) = -2*h + 2. Is 12 a factor of a(b)?
True
Let m(z) = 3*z**2 - 2*z + 2. Let n = 5 - 3. Does 9 divide m(n)?
False
Is -2 + -4*(-25)/20 even?
False
Is 3 a factor of 112/42*(-21)/(-4)?
False
Let a(g) = g**2 - 6*g - 2. Let c be a(7). Suppose 135 = c*w - 5*q - 0*q, -5*w + 129 = q. Does 11 divide w?
False
Is 8 a factor of (-1848)/28*(-2)/3?
False
Let k = 21 + -10. Is k a multiple of 5?
False
Is 12 a factor of (-3)/6*(-938)/7?
False
Suppose 5*p = -2*x + 57, x = 2*x + p - 27. Let l = -9 + x. Is l a multiple of 9?
False
Suppose -2*a = -4*i + 274, 2*a - 76 = i - 2*i. Is i a multiple of 14?
True
Is 1 - ((-9)/(-3) - 107) a multiple of 21?
True
Suppose 3*p = -2*w - 2*w + 83, 33 = p + 4*w. Is p a multiple of 4?
False
Suppose 10*q - 518 = -8. Is 3 a factor of q?
True
Is -1*(-9)/3*(-92)/(-12) a multiple of 5?
False
Let y(g) = -20*g**2 + 14*g + 24. Let z(t) = -4*t**2 + 3*t + 5. Let v(j) = -3*y(j) + 14*z(j). Is 5 a factor of v(-2)?
False
Suppose 2 = 3*t - 4. Suppose -t*r + 30 = r. Is 6 a factor of r?
False
Let v(j) = -j**3 - 9*j**2 + 13*j - 14. Does 19 divide v(-11)?
False
Let v(t) = t**2 + 7*t - 5. Let c be v(-8). Suppose 6*z - 260 = z. Suppose -c*r = -z - 23. Is r a multiple of 10?
False
Let w(k) = 2*k + 2. Is w(10) a multiple of 22?
True
Let q(z) = -2*z + 10. Is 9 a factor of q(-8)?
False
Suppose -2*y - 48 = 4*r + y, r + 5*y + 29 = 0. Suppose -4*j + 26 = -2*i + 5*i, 2*j - i = 18. Let a = j - r. Does 17 divide a?
True
Let t(h) = 4*h**3 - h**2 