a factor of w(-1)?
True
Suppose -4*q = 4*w - 3680, -4*q + 3695 = 63*w - 64*w. Does 24 divide q?
False
Suppose -7*i - 26 = -474. Does 4 divide i?
True
Suppose -56*i - 2202 = -58*i. Is 75 a factor of i?
False
Let d be -3 + 6 + 0 + 3. Let c(r) = 3*r - 15. Let n be c(d). Suppose -2*u + 116 = n*o, o + 3*o = u - 80. Does 16 divide u?
True
Suppose 5*c - 2694 = -2*w, -7*w = -11*w - 12. Is 20 a factor of c?
True
Suppose -v = 2*d - 47 - 155, -2*d - 638 = -3*v. Is v a multiple of 12?
False
Is 284/(-6)*(-9)/6*11 a multiple of 30?
False
Let k(l) be the first derivative of 7*l**2/2 - 12*l - 30. Does 3 divide k(8)?
False
Let o(n) = 14 - 3*n**2 + n**2 - 4*n**2 + 5*n**2 - n. Let z be 4/(-6) + (-12)/(-18). Is o(z) a multiple of 7?
True
Let b(k) = 2*k**2 - 4*k - 1. Let c be b(3). Let w be 1 + -268*(0 - 3/6). Suppose w = c*h - 30. Does 10 divide h?
False
Let m = 148 + 3014. Is 16 a factor of m?
False
Does 62 divide (2817/(-6) + -11)/(1/(-2))?
False
Let v = -5 + 26. Let d = v + -18. Is -1 + 5 + d/1 a multiple of 3?
False
Let r be (-98 - -8)*(-1)/3. Suppose 5*q = q + 8. Does 16 divide (12/r)/(q/270)?
False
Is ((-261)/(-3))/(3/57) a multiple of 22?
False
Does 12 divide -4 + (-4 - (-3 + -725))?
True
Is 12 a factor of 2092/2*(-1 + 6/3)?
False
Let s = 38 + -23. Suppose 3*c = 5*r - 296, 6*c - c = s. Does 10 divide r?
False
Is (-239 + 206)*(1/1 - 18) a multiple of 33?
True
Let b = -15 - 1. Let y(x) = -26*x**3 + x**2 + 4*x + 3. Let v be y(-1). Let z = b + v. Does 5 divide z?
True
Let z = 31 - 29. Suppose z*d + 3*d = 460. Is 18 a factor of d?
False
Let m be (-22)/(-6) - 3/(-9). Suppose 0 = -m*d + 5*l + 25, -d - 3*l = -4*l - 6. Suppose d*j - 34 - 311 = 0. Is 15 a factor of j?
False
Suppose 3*p - 8 = -p. Suppose -p*y + 32 = -y. Is y a multiple of 16?
True
Let v = -187 - -85. Let b = -27 - v. Let p = -50 + b. Does 25 divide p?
True
Let k = 18 - 13. Let u be ((-72)/14)/(k/(-70)). Let t = -24 + u. Is t a multiple of 16?
True
Let k(b) = -10*b + 4*b**2 - 3*b**2 - 6 + 14*b - 27. Is k(-11) a multiple of 25?
False
Suppose -4*o + 2*o - 8 = 0. Let x be o/(-2) + 182 - 4. Suppose -5*y = 0, 3*y - x = -5*f + 2*y. Is f a multiple of 18?
True
Let q = -26 + 59. Suppose -q = 4*y - 9. Is 900/(-54)*y/4 a multiple of 8?
False
Let l be (-15)/40 + (-10)/16. Let q(u) = 144*u**2 - 2*u - 1. Is q(l) a multiple of 21?
False
Let d = -15 + 3. Let c = 16 + d. Suppose c*t - 39 - 61 = 0. Does 9 divide t?
False
Is 57 a factor of (-171)/2*640/(-96)?
True
Let k(c) = 31*c**2 - 63*c - 55. Does 13 divide k(12)?
True
Suppose -3*f + 6*f + 2*w = 1730, 0 = -2*f - 4*w + 1164. Suppose 0*c + 10*c = 5650. Suppose 5*b - f = 2*u, -5*b + 2*u = -3*u - c. Does 29 divide b?
True
Let v(h) = 42*h**2 - 71*h - 503. Is 30 a factor of v(-8)?
False
Let a be 4*((-1)/(-2) - 0). Suppose a*z - 85 = 33. Is z a multiple of 7?
False
Let p be 0*(-2)/(-8) + 3. Suppose 0 = t - p, w + 6 = -2*w + 2*t. Suppose w = h - 2*m - 6 - 6, 20 = -5*m. Is 4 a factor of h?
True
Suppose -12*d + 9*d = 3. Is 11/11 + (-2 - d) + 28 a multiple of 14?
True
Suppose -5*k = -0*k + 310. Let m = 136 + k. Let i = 22 + m. Is i a multiple of 21?
False
Let z(o) = 6*o**2 + 10*o. Let b be z(-5). Let m(v) = v + 3. Let i be m(-3). Suppose i = l + 4*l - b. Does 20 divide l?
True
Suppose -4*t - 4 = -0. Is 16 a factor of (-4*2/5)/(t/40)?
True
Let q(o) = -o**3 + 2*o**2 - 2*o - 1. Let d be q(-2). Suppose 2*b - d = 3. Let i = b + -4. Is i a multiple of 2?
False
Let i(y) = 5*y + 87. Is 4 a factor of i(15)?
False
Suppose 0 = 2*x - 2*l - 2*l, x - l - 2 = 0. Does 28 divide 36/24 + 106/x?
True
Let b be (356 - -3)/((-2)/2). Let s = b + 551. Does 16 divide s?
True
Let i = 16 - 13. Suppose i*d = 3*y - 72, 28 = y + 3*d - 16. Is y a multiple of 29?
True
Let x(m) be the first derivative of -m**3/3 - 9*m**2/2 - 12*m + 1. Let g be x(-7). Let t = g - -19. Does 21 divide t?
True
Let d(c) = 8*c + 68. Does 4 divide d(5)?
True
Let o = 3775 - 2103. Is o a multiple of 38?
True
Suppose 4*f - 2*a - 1834 = 0, f - 3*a - a = 448. Is f a multiple of 12?
False
Suppose 196 = 4*n - 4*i, -5*n = 2*i - 160 - 92. Let v = n - 31. Is 3 a factor of v?
False
Suppose 3*j + 39 = -d - 3*d, 4*d + j + 29 = 0. Let c(i) = 2*i**2 + 5*i - 8. Let t be c(d). Suppose -4*a + t + 42 = 0. Is 5 a factor of a?
False
Let f(w) = 2*w - 9. Let l be f(10). Let s = -9 + l. Suppose -i - 41 = -s*q, -2*q - i + 1 = -34. Is q a multiple of 16?
False
Suppose 2*x - 1013 = -5*o, x - 4*o + o = 501. Let l = -287 + x. Is 21 a factor of l?
False
Let y(r) = 3*r**2 + 7*r - 7. Let x(q) = q**2 + q + 1. Let d(o) = 6*x(o) - y(o). Is d(-6) a multiple of 13?
False
Suppose 4*x - 2*x = 24. Suppose -3*q - 945 = -x*q. Does 14 divide q?
False
Let g = -51 - -62. Is 2 a factor of g?
False
Let y(h) be the second derivative of -h**5/5 + h**4/12 + h**3/6 + h. Let f be y(-1). Let m = f + 66. Is 14 a factor of m?
True
Suppose 0 = -7*t + t - 60. Let q = 40 - t. Does 5 divide q?
True
Let g(h) be the third derivative of 5*h**4/12 - 7*h**3/3 - 31*h**2. Does 13 divide g(4)?
True
Suppose 4*z = 8, 6*z = -3*i + 4*z + 13. Suppose 12 = i*c - c. Suppose 5*a + 24 = 4*q + 149, -a + c = 3*q. Is 6 a factor of a?
False
Suppose -9*g - 125 = -2*r - 4*g, -4*g - 124 = -2*r. Is 15 a factor of r?
True
Let k = -2 - -17. Let g(b) = -9*b**3 - 30*b**2 - 7*b - 27. Let s(w) = -5*w**3 - 15*w**2 - 4*w - 13. Let j(p) = 6*g(p) - 11*s(p). Is 4 a factor of j(k)?
False
Let c(a) = -a**2 + 2*a - 9. Let p be c(5). Let x = 29 - p. Suppose -2*m - 11 + x = 0. Does 6 divide m?
False
Suppose k - 3*k + 2*d = -2240, 3336 = 3*k + 5*d. Is 67 a factor of k?
False
Let d = -4 - -8. Let j be 1 + -3 - 10*-39. Suppose -j = -2*o - 2*o + d*m, 0 = -5*o + 3*m + 485. Does 17 divide o?
False
Suppose 0 = 6*l + 585 - 183. Let a = l - -432. Is a a multiple of 12?
False
Let x be ((-10)/(-3))/((-6)/(-9)). Let y be 694/8 + 1/4. Suppose 4*r = -x*f + 342, 0 = -r + 3*f - 5*f + y. Is 14 a factor of r?
False
Suppose 3*g = 4*c + 781, -5*g + 1334 = -3*c + 36. Does 7 divide g?
True
Is 32 a factor of ((-9720)/16 - -7)*-2?
False
Suppose 1450 = 4*r - 2*n, -4*r = -r + n - 1075. Is 12 a factor of r?
True
Let g(m) = 3*m - 85. Let b be g(0). Let h = b + 141. Does 19 divide h?
False
Let p be 2*(-4)/(-6 - -2). Let r(u) = 9*u - 1 - 3 - u + p*u. Is 12 a factor of r(4)?
True
Suppose -5*p - r + 8935 = 0, -4*p + 5330 + 1818 = 5*r. Does 14 divide p?
False
Let h(b) = b + 10. Let v be h(-6). Is 53 + (v - (2 + 4)) a multiple of 17?
True
Suppose 4*u - 71 = 3*u. Let d be (-12 - 0) + -31 + 23. Let q = u + d. Is 11 a factor of q?
False
Suppose -9*f = -8*f - 3. Suppose -f*g = g. Suppose g = -4*i + r + 121, 0*i + 4*i + 5*r = 139. Is 23 a factor of i?
False
Let z(x) = 171*x + 141. Does 51 divide z(12)?
True
Is 23 a factor of ((-63)/(-12) - (10 + -6))*1940?
False
Suppose 3 = -2*x + 3*b, -3*x = 2*b - 7*b + 5. Suppose 0 = -2*o, x = 4*v + o - 112 - 60. Is v a multiple of 12?
False
Let u = -28 + 31. Suppose -d + 33 = u*p - 35, -5*d - 100 = -5*p. Is p a multiple of 20?
False
Let p = -42 + 60. Does 20 divide p*7/((-105)/(-50))?
True
Suppose 3*o - 166 = i, -3*i + 81 = o + 19. Suppose c - o = -0*c. Does 17 divide c*(-4)/(-5 - -1)?
False
Let l = 36 - 45. Let u(x) = -7*x - 3. Does 6 divide u(l)?
True
Suppose -13*o = 19*o - 35*o. Suppose -5*v - u = -1316, -2 + o = -2*u. Is v a multiple of 34?
False
Suppose -4*s + 4*x + 69 = s, -4*s - x + 51 = 0. Does 2 divide s?
False
Is 8819/7 - (-38)/266 a multiple of 82?
False
Is 11 a factor of (0 - (-1568)/(-24))/((-2)/6)?
False
Suppose 12*w - 600 = 2*w. Is w a multiple of 30?
True
Does 12 divide 17307/6*(-6)/(-18)*2?
False
Suppose -r + 154 = -191. Is r a multiple of 16?
False
Suppose 19*i = 25*i - 408. Is i a multiple of 4?
True
Let v(y) = y**3 - 10*y**2 - 48*y + 17. Is 24 a factor of v(17)?
True
Is 56 a factor of 33966/81 + (-6)/(-9)?
False
Suppose 0 = t - 8 - 5. Suppose 0 = 2*u + 5*m - 28, -4*u + 93 = -2*m + t. Is 7 a factor of u?
False
Suppose 8*v - 85 = 3*v. Let y = 23 - 21. Suppose 4*g - 38 = 2*n, -y*n + v - 7 = 0. Is g a multiple of 12?
True
Suppose n = 2*q + 5*n, q - 2*n - 20 = 0. Let m = q - 20. Let v = 18 - m. Does 12 divide v?
False
Let d be (-6)/24 - 194/(-8). Let l = 0 + d. Is l a multiple of 24?
True
Let j = 25 - 19. Suppose 304 = -j*v + 856. Is v a multiple of 23?
True
Let a be 1/(5 + -4) + -1. Suppose 3*h - 6*h = a. Does 12