 - 1062 - 1294 = 0, b + 3924 = 5*a. Is a a multiple of 49?
True
Let v(f) = f**3 + f**2 + 2*f + 240. Let k be v(0). Suppose -11*d + k = -5*d. Is 5 a factor of d?
True
Let s(j) = j**3 + 7*j**2 + 4*j - 6. Let u be s(-6). Let d = u - -7. Is 7 a factor of (-3 - -3) + d - 1?
False
Suppose 45 = -p + 40. Does 2 divide 1*6/(-4)*(3 + p)?
False
Let z = -32 + 41. Let q(r) = -r**3 + 12*r**2 - 13*r + 7. Is 34 a factor of q(z)?
False
Suppose 3*b = -2*s, 4*s + 2*b - 8 = -0*b. Suppose -s*h + 16 = 1. Suppose -2*l + a + 14 = 2, 3*a - 41 = -h*l. Is l even?
False
Suppose 5*u + 360 = -4*m + u, 3*m - 3*u + 294 = 0. Let t = -83 - m. Is 9 a factor of t?
False
Suppose 3*n = -2*n + 155. Let v(a) = n + a**2 + 3*a**2 - 5*a**2 - 46 + 18*a. Is v(15) a multiple of 6?
True
Let g be 53/(-3)*(-7 + 4). Suppose 0 = -2*x + 51 + 127. Let k = x - g. Does 9 divide k?
True
Let j(x) be the second derivative of -5*x**3/6 + x**2 - 2*x. Let l be j(-2). Is 8 a factor of (-19)/(-1) - l/4?
True
Is 2 a factor of 598/14 - (154/49)/(-11)?
False
Suppose r + 5*l - 45 = -4*r, 4*r = l + 21. Let c(a) = -a**2 + 5*a - 12. Let t be c(r). Let x = 55 + t. Is 12 a factor of x?
False
Let h = 37 + -35. Suppose -h*l + 204 = -3*f, -190 = -2*l - f - 3*f. Does 33 divide l?
True
Suppose 11*d - 90 = 6*d. Is (2 + 0)*d/3 even?
True
Let c(q) = -3*q**3 - 7*q**2 - q + 4. Let k(i) = 16*i**3 + 36*i**2 + 5*i - 21. Let b(j) = -11*c(j) - 2*k(j). Suppose 5*a = -0*a - 15. Is b(a) a multiple of 4?
False
Suppose 4*d = d + 60. Suppose -d*i + 105 = -15*i. Suppose -7*u = -6*u - i. Is 6 a factor of u?
False
Suppose 0 = k - 45 - 57. Suppose 3*b - 9 = k. Does 9 divide b?
False
Let c(r) = 121*r**2. Let k be c(-2). Let g = k + -101. Suppose -2*y = q - 154, -q - q = 5*y - g. Does 15 divide y?
True
Is 11 a factor of -2 - 5804/(-4) - (-42)/14?
True
Let s(c) = -c**2 - 8*c + 2. Let q be s(-8). Suppose j = 4*m + 6, -q - 1 = 3*m. Suppose -3*u = -5*u - 6, -j*g = -2*u - 142. Is g a multiple of 18?
False
Suppose -3*s + 5*f + 14 + 0 = 0, -3*s + 16 = -4*f. Is 38 a factor of 115 - (-3 + s + -4)?
True
Suppose -2*h = h - 4*y - 123, y = -3. Let w = h - 13. Does 8 divide w?
True
Let u(y) = -16*y - 12. Let g be (4/4)/1 - 6/1. Does 17 divide u(g)?
True
Let x(g) = -14*g - 115. Is x(-13) a multiple of 17?
False
Let h(a) = -24*a**2 + 7*a - 5. Let l(w) = -12*w**2 + 4*w - 3. Let v(m) = -4*h(m) + 7*l(m). Let i(t) be the first derivative of v(t). Is i(2) a multiple of 16?
True
Suppose y = 16*y - 5655. Is 13 a factor of y?
True
Does 13 divide (4506/(-21))/(6/(-21))?
False
Let x = -14 - -24. Let d = 36 - x. Suppose -z - v + 12 = 3*v, z - d = 3*v. Does 5 divide z?
True
Let m be 0/(-3) - 4 - -6. Suppose 4*v - 436 = -2*p, -131 = -v + 3*p + m*p. Is 15 a factor of v?
False
Let i be 165/(-44)*(-16)/3. Let v = i + -22. Is 165/5 - 8/v a multiple of 16?
False
Let j = 588 + -346. Is j a multiple of 12?
False
Let j be (50/4)/((-2)/(-92)). Is 3/(-4) - (4 - j/20) a multiple of 8?
True
Let n = 4 + -4. Suppose n*o = -2*o + 4. Let z = o - -31. Is 11 a factor of z?
True
Suppose 5*d + 284 = 704. Is d a multiple of 21?
True
Let f be 52 + (4 + -3 - -1). Let u be (-1 + f)/(12/(-36)). Let m = -76 - u. Is 24 a factor of m?
False
Suppose -5*k = -3*v - 64, -3*k = 5*v + 38 + 46. Let f = 52 + v. Is 6 a factor of f?
False
Let p be (6 + 0)/((-24)/(-16)). Let d(k) = -p*k**2 + 6*k**2 + 10*k**2 - 2*k**3 + 14 + k**3. Is 7 a factor of d(12)?
True
Suppose 0 = -3*b + 5*b - 36. Let l be b/15*40/12. Suppose -l*j = -395 + 55. Does 14 divide j?
False
Suppose 14*k - 11*k - 444 = 0. Suppose 3*l - 104 - k = 0. Is 7 a factor of l?
True
Suppose 3*r = -2*v + 84, r + 2*r - 66 = 4*v. Suppose 24*l - r*l + 38 = 0. Does 2 divide l?
False
Does 53 divide 68132/14 + 708/1652?
False
Suppose 0 = 15*r - 17320 + 2920. Is r a multiple of 29?
False
Let v be 339/9 - 2/(-6). Let m = v - 10. Let h = m + -18. Is h a multiple of 3?
False
Let i = -5 - -9. Suppose -4*u - 10 = -9*u. Suppose u*q = h - 6*h + 63, 147 = i*q + 3*h. Is q a multiple of 15?
False
Let j be 36/18*202/4. Let w be 141/(-2) - (-3)/(-6). Let l = w + j. Is l a multiple of 15?
True
Let k(l) = 2*l - 18. Let j be k(-11). Let n be j/(-7) - (-8)/28. Is 14 a factor of (252/30)/(n/20)?
True
Let s = 2187 - -463. Is 31 a factor of s?
False
Suppose -1187 = -4*s + a, -s + 5*a + 215 + 58 = 0. Does 22 divide s?
False
Let s(y) = 128*y**2 + 30*y - 2. Does 18 divide s(-4)?
True
Suppose -10 = 8*v - 10*v. Suppose 0 = -z + v*z - 116. Is 29 a factor of z?
True
Let i be (-2 - 18)*(-16)/(-20). Is (378/(-24))/(3/i) a multiple of 28?
True
Let d(o) = -o**3 + 27*o**2 + 35*o + 67. Is d(27) a multiple of 44?
True
Let u = -37 + 42. Suppose -11*n = -u*n - 810. Is n a multiple of 27?
True
Let w(l) = 2*l**2 + l - 1. Let h be w(1). Suppose h*r - 4 = 2. Suppose 205 = 3*n + r*j + 2*j, 5*n - 280 = 4*j. Is n a multiple of 15?
True
Suppose 2*x = -4*a + 1142, -5*x + 6*a - a = -2900. Suppose 5 = 5*z, 3*d + z = -d + x. Does 24 divide d?
True
Let j = 464 + -318. Is 3 a factor of j?
False
Suppose -s - 4*c = -4, -3*s - 2 = -2*c - 0. Is s/((-8)/(-4)) - (-87 - 0) a multiple of 29?
True
Let c = -4 + -3. Let y(p) = p**3 + 8*p**2 - 7*p - 8. Let z be y(c). Let n = 138 - z. Is n a multiple of 12?
True
Let t = 108 - 98. Suppose 0 = -8*z + t*z - 62. Does 31 divide z?
True
Suppose -3*y - 8*y = -1078. Is 18 a factor of y?
False
Let p(u) = -u**3 - u**2 - u - 1. Let o(b) = 3*b**3 - 12*b**2 + 2*b - 12. Let v(l) = -o(l) - 2*p(l). Is v(13) a multiple of 45?
False
Suppose 37 = n - 4*u, 0*n + 2*n - 118 = -3*u. Suppose -43 - n = -8*z. Is 12 a factor of z?
True
Is 120/104 + 4/(-26) - -38 a multiple of 4?
False
Let v be 12/(-16) - 887/(-4). Suppose 4*s = 3*i + 158, 0 = 5*s - 5*i + 21 - v. Let w = s - 25. Does 4 divide w?
False
Suppose -2*o = -4*p + 594, 0 = -3*p + 2*o + 2*o + 453. Is 14 a factor of p?
False
Suppose -7*g = -369 - 1486. Is g a multiple of 53?
True
Suppose 2*b + 48 = -5*n + n, -3*b + 4*n - 72 = 0. Let k = b + 31. Does 7 divide k?
True
Let s be 42/9 + 1/3. Suppose 0 = 5*m - 8 - 17. Suppose a - m*f - 4 = 15, 10 = s*f. Does 15 divide a?
False
Let u(o) = o**2 + 6*o + 204. Is u(-42) a multiple of 44?
True
Suppose 3*b - 2876 = -4*p, -3*p - 184 = 4*b - 2334. Does 38 divide p?
True
Is 35 a factor of (-168)/(-12)*(-3 + (-52)/(-4))?
True
Let a(c) = 3*c - 5. Let u be a(6). Let x = 22 + u. Does 5 divide x?
True
Let r(q) = -q + 48. Does 54 divide r(-6)?
True
Suppose 4753*p - 4761*p + 8000 = 0. Is 21 a factor of p?
False
Let w = 294 + -49. Is 15 a factor of w?
False
Let r(w) = -13*w - 12. Is r(-19) a multiple of 9?
False
Suppose -y + 1 = 2. Let j = -51 + y. Let q = 76 + j. Is q a multiple of 11?
False
Does 8 divide 4/(3 + -7) - -103?
False
Suppose -3*w + 2*w = -3*i - 122, 3*w + 2*i - 333 = 0. Let h = -33 + w. Does 20 divide h?
True
Suppose -2*y = -2*w, 3*y = -w + 5*w - 2. Suppose y*b = -0*b + 34. Suppose -j + 31 = -b. Is 24 a factor of j?
True
Suppose 2*p + 8 = 3*z + 3, -4*p + 10 = -2*z. Suppose 3*a - 2*s = 107, 5*a - z*s - 20 = 155. Suppose -2*q + d - 2 = -a, 0 = 5*d - 5. Is 15 a factor of q?
False
Suppose 7*a - 8753 = -3167. Does 21 divide a?
True
Let y(x) = -3*x + 2*x**2 - 5*x + 0*x**3 + 7*x**3 + 9*x. Let b(d) = 28*d**3 + 8*d**2 + 4*d - 1. Let j(k) = 2*b(k) - 9*y(k). Does 25 divide j(-2)?
False
Let l(b) be the first derivative of 2*b**3/3 - 4*b**2 + 8*b - 3. Is 15 a factor of l(-7)?
False
Let s be -9*388/24*-2. Suppose d = 3*k - 228 - 226, 3*d = 2*k - s. Does 23 divide k?
False
Suppose 9*m + 2*x + 169 = 10*m, x - 900 = -5*m. Is 13 a factor of m?
False
Let j(u) = 10*u**2 - 15*u**2 - 1 - 3*u + u**2 - 8*u**3 + 0*u. Does 15 divide j(-3)?
False
Does 14 divide (4648/(-166))/(1 - (-58)/(-54))?
True
Let n = 9 + -5. Suppose -3*i + 20 = 2*x - 61, -n*x = -5*i + 113. Suppose i + 99 = 4*t. Is 8 a factor of t?
False
Let l(k) = -4 + 9 - 7 + 4*k**3 - 11*k**2 - 3*k**3. Let r be l(11). Let t = 62 + r. Does 15 divide t?
True
Suppose 396 + 837 = 9*z. Suppose -2*b - 2*f + 106 = -144, -2*f = -b + z. Is 28 a factor of b?
False
Let r be ((-3 + -1)/(-4))/(2/4). Suppose r*k - 7*k = -600. Does 30 divide k?
True
Let j = -28 + 88. Let y = j - 33. Is y a multiple of 4?
False
Suppose 0 = 3*d + 2*d - 75. Suppose -3 + d = f. Suppose -3*m + 68 = 3*n - 4*m, 0 = -n + 3*m + f. Is 8 a factor of n?
True
Let p(u) = -2*u**2 + 25*u - 18. Let n be p(12). Let