 of y(-75)?
True
Suppose 16*k - 13*k = 252. Let y = -58 + k. Does 13 divide y?
True
Let n = -51 + 118. Suppose 0 = -3*o + 2*c + 104, -5*o + 108 + n = -3*c. Let p = 86 - o. Does 16 divide p?
True
Let h be (-4)/6 + (-92)/6. Suppose 0 = q - 113 + 112. Is 12 a factor of q - 4/(h/92)?
True
Let d(c) be the first derivative of 6*c**2 - 7*c - 1. Let s be d(6). Let a = s + -45. Is 10 a factor of a?
True
Suppose 5*j - 250 = -2*b, -j + 5*j = b - 112. Does 10 divide b?
True
Let c = -43 - -426. Is 21 a factor of c?
False
Let k(l) be the third derivative of 5*l**4/8 - 7*l**3/2 - 12*l**2. Does 8 divide k(4)?
False
Suppose -5*u = -6*u - 113. Let q = -35 - u. Is 13 a factor of q?
True
Suppose -4*r + 3450 = -2*d, -5*r + 4329 = -12*d + 15*d. Does 48 divide r?
True
Suppose -10*i = -12*i + 4. Let x(t) = 75*t + 4. Does 11 divide x(i)?
True
Let r = -14 - -18. Let n(l) = -l + 8*l**2 + 3 - l**2 - l**3 - l**2. Is n(r) a multiple of 12?
False
Let g(q) = 6*q**2 - 3*q + 5. Is 38 a factor of g(3)?
False
Suppose 0 = 2*x + 2*v - 486, -5*v + 1223 = 3*x + 492. Is x a multiple of 11?
True
Suppose w = -5*b + 7*b - 68, 0 = -5*b - 4*w + 196. Is 5 a factor of b?
False
Let v = -57 + 127. Let z = v + -29. Is 6 a factor of z?
False
Is -2 + (2713/2 - (-14)/28) a multiple of 14?
False
Let h(a) = -a + 1. Let d be h(-3). Suppose d*t = -3*m - 0*m + 654, 0 = -m + 2. Is t a multiple of 31?
False
Is (164/(-492))/(2/(-366)) even?
False
Let y = 5778 - 3109. Is y a multiple of 17?
True
Let o = -20 + 27. Let v = o + 1. Is 12/v*140/6 a multiple of 12?
False
Suppose -2*f = 4*j + 4, -2*j - 14 = f - 6*f. Suppose -f*k - 8 = -3*g, 3 = -0*k - 3*k. Suppose 0 = -4*w + 4, -11 = -y - 5*w + g. Does 8 divide y?
True
Suppose -4*q = -4*j - 852, -2*q - 30 = 3*j - 431. Is q a multiple of 7?
False
Let d(r) = -13*r + 4. Let l be d(-2). Is 35 a factor of (-1041)/(-15) + 18/l?
True
Let t(a) = -6*a**3 + a**2 - 2*a. Let l = -3 + -4. Let o(n) = n**2 + 8*n + 5. Let p be o(l). Is 8 a factor of t(p)?
True
Suppose -3*z - 6 = 5*l, -4*l + 4*z + 8 = -0. Let w(q) = q**2 - 5*q + 2. Let o be w(5). Suppose -o*f - 2*u = -44, 0*f + 3*f - 2*u - 76 = l. Is f a multiple of 8?
True
Is (1*(-402)/15)/((-6)/15) a multiple of 26?
False
Let r = 4104 + -3145. Does 137 divide r?
True
Suppose 7*b + 137 + 122 = 0. Let x = b - -145. Is x a multiple of 36?
True
Suppose -4*h + 5880 + 3480 = 0. Is 10 a factor of h?
True
Suppose 5*u - 18 = 2*u. Let x(p) = 11*p - 7 - 3*p + 2*p. Does 18 divide x(u)?
False
Let z(b) = b**2 + 9*b + 23. Let y be z(-5). Is y/(-2) + 513/6 a multiple of 4?
True
Suppose -9*u = -5*w - 14*u + 17645, 0 = -3*w - 2*u + 10586. Is 98 a factor of w?
True
Let t = -17 - -21. Suppose 0 = -2*g + 4, -u = u - t*g + 4. Is ((-10)/3)/(u/(-18)) a multiple of 10?
True
Let y be 0 + 0 + 3 + 885. Suppose 4*x - 191 - 241 = 0. Is y/x + 4/(-18) even?
True
Let i(g) = 5*g**2 + 3*g + 2. Is i(-7) a multiple of 7?
False
Let a = -482 - -829. Does 4 divide a?
False
Suppose 0 = b - 13*b + 1320. Is 18 a factor of b?
False
Let p(w) = w**3 - w - 1. Let l be p(-5). Let z = l + 400. Suppose -8*x + 5*m = -3*x - 475, -5*m - z = -3*x. Is 14 a factor of x?
True
Let r(k) = 971*k - 14. Is 52 a factor of r(1)?
False
Let t(j) = j**3 - 11*j**2. Let l be t(11). Suppose 0 = -4*v - l*v. Suppose v*k + 43 = k. Does 28 divide k?
False
Let y(i) = 8*i**2 + 25*i + 77. Is y(-7) a multiple of 49?
True
Let g(j) = j**3 - 5*j**2 - 11*j - 3. Let r be g(5). Is (-2)/4*((-2 - 0) + r) a multiple of 10?
True
Suppose 0 = -10*b + 1834 + 3326. Is 12 a factor of b?
True
Let m(o) = 93*o. Let y(s) = s**3 + 2*s - 2. Let d be y(1). Let c be m(d). Suppose -c - 99 = -4*f. Is 16 a factor of f?
True
Let c(h) = -95*h + 11. Is 23 a factor of c(-4)?
True
Let q = 23 - 21. Suppose -q*j + 23 = -j. Is 18 a factor of j?
False
Let h(s) = -s**2 - 6*s + 9. Let n be h(-7). Suppose 2*t + n = -r, 2*t + 0*r = r - 10. Is 7 a factor of (-12)/t*-1 + 25?
True
Let v = 4690 + -3295. Is 10 a factor of v?
False
Let p be -19 - (0 + 3) - -1. Let s be (18/p)/((-3)/42). Let n = 25 - s. Is 7 a factor of n?
False
Let x = -95 - -185. Suppose 41*m - x = 36*m. Is m a multiple of 9?
True
Let u(o) = -140*o**3 - 2*o - 2. Does 14 divide u(-1)?
True
Let o be ((-392)/12)/(4/(-24)*4). Let q = 102 - o. Does 2 divide q?
False
Let t(o) = o**2 + 12*o + 13. Is t(-13) a multiple of 12?
False
Let w = -377 - -713. Suppose -336 = -3*o + 5*p, 2*p + w = 3*o + 7*p. Does 8 divide o?
True
Suppose 0 = b + 2*t - 6*t - 29, 0 = -5*t + 15. Suppose f - p = b, 4*f - 3*p - 92 = 71. Is 10 a factor of f?
True
Let j(b) = 12*b - 8. Let z be j(-4). Let h be (z/(-21))/((-6)/(-9)). Suppose 5*y + 2*d - 537 = -d, -h*d = -5*y + 544. Does 18 divide y?
True
Let b(r) = 346*r - 36. Is b(6) a multiple of 24?
True
Let n(j) = 4*j + 6 - 13*j**2 + 3*j**3 - 12 + j**3 - 3*j**3. Is n(13) a multiple of 15?
False
Let d(r) = -10*r**3 + 2*r**2 - 1. Let x be d(1). Let m be (x/12)/((-3)/36). Suppose y + 4 = 3*y, -3*y = i - m. Does 3 divide i?
True
Suppose f + 3*p = 1211, -5*p - 3663 = -3*f - 4*p. Is 20 a factor of f?
True
Suppose -4*n + n + 9 = 0, 2*p - 3*n + 11 = 0. Is 10 a factor of -1 + -1 + p + (40 - 5)?
False
Suppose 14*b - 12*b - 1060 = -y, 3178 = 3*y + 5*b. Is 44 a factor of y?
True
Suppose 0 = -15*y + 4544 + 1546. Does 14 divide y?
True
Let r = -372 - -533. Let a = r + -110. Does 26 divide a?
False
Suppose 1081 = 5*g - 5*c + 421, 0 = 4*g - 2*c - 528. Let q = g - 91. Does 16 divide q?
False
Suppose 0 = 7*b - 2*b - 60. Let p(i) = 4*i - 5*i**2 + 0*i**2 + 4*i**2 + 12*i + 2. Is 15 a factor of p(b)?
False
Let o = 359 - 207. Let l = -90 + o. Suppose 48 = 5*i - 5*s - l, -i + 3*s + 22 = 0. Is 16 a factor of i?
False
Let w(g) = -g**2 + 3*g + 1. Let f be w(2). Suppose -3*r = -9 - f. Does 7 divide (-3)/(-3)*(43 + r)?
False
Let z = 808 - 80. Is z a multiple of 29?
False
Does 15 divide ((-728)/35)/((-4)/170)?
False
Suppose -5*d = -d + 3*m - 8809, 0 = -4*d + 2*m + 8794. Is 20 a factor of d?
True
Let p(f) = f**2 - 50*f + 399. Is p(46) a multiple of 9?
False
Let a(p) = -p + 22. Let g(d) = d**3 + 2*d**2 - 8*d + 6. Let c be g(-4). Is 9 a factor of a(c)?
False
Let i(n) = -n**3 - 4*n**2 + 5*n + 3. Let z be i(-5). Suppose 4*a - 8 = h, -z*h - 4*a = -3*a - 15. Suppose m - 130 = -h*m. Does 13 divide m?
True
Suppose 4*p - 24 = -4. Suppose 0*w = -4*w - 4, -p*w + 135 = -4*t. Let z = t + 108. Does 15 divide z?
False
Suppose -2*c - l = 4*l - 63, 3*c = -4*l + 98. Is c/(3 - (-10)/(-4)) a multiple of 38?
False
Let f(q) = q**3 + 2*q**2 - 10. Let l be f(0). Let g(p) = -15*p - 21. Is g(l) a multiple of 9?
False
Let a = -25 + 29. Is 6 a factor of -4 - (-72)/a - -1?
False
Does 37 divide (6 - (9 + -2436)) + 11?
False
Suppose 4*y - 217 = 47. Is 22 a factor of y?
True
Suppose -6*d + 0*d = -792. Is 5 a factor of d?
False
Suppose 220 = -5*s - 5*y, -3*y = 4*s + 259 - 83. Let x = s + 364. Is x a multiple of 32?
True
Let f be (-2)/(-4) - (-1836)/8. Suppose -11*d + f = -6*d. Does 30 divide d?
False
Suppose 2*a + 6 = 16. Suppose 0 = -n + a*n - 16. Suppose -2*b = -5*g - 0*b + 211, 5*b = n*g - 179. Does 24 divide g?
False
Let m(h) = -3*h**2 - 8*h + 9. Let i(y) = 6*y**2 + 17*y - 17. Let f(c) = -6*i(c) - 13*m(c). Is 34 a factor of f(7)?
False
Let r(w) = w**3 - 10*w**2 + 3*w + 2. Let c be r(9). Let u = 184 - c. Is 36 a factor of u?
False
Let v be (0 - 1/2)*34. Suppose 3*y = -4*y - 175. Let s = v - y. Is s a multiple of 4?
True
Suppose 28 = -3*q - 2*z, -3*z - 12 = -q + 3*q. Suppose -5*y + 1 - 16 = 0. Is 6 a factor of (-232)/q + (-2)/y?
False
Let k = 6 + -5. Suppose c - 15 = -2*o, -5*o + 2*c = k - 16. Suppose 0 = o*m - 3*d - 261, -m + 3*d + 49 = 4*d. Is m a multiple of 17?
True
Let d(w) = w + 3. Let y be d(4). Let v(c) = -5*c + 11 + 2*c + 2*c. Is 4 a factor of v(y)?
True
Does 72 divide (1*(-2)/(-4))/((-15)/(-47520))?
True
Suppose 7*b - 6*b = -6. Is ((-392)/(-42))/((-4)/b) a multiple of 5?
False
Let s be ((-18)/(-21))/(4/7)*254. Is (-4)/(48/s)*8/(-2) a multiple of 16?
False
Is 18 a factor of 72/20*(-3150)/(-10)?
True
Does 10 divide 202 + (7 - 5 - -2 - 5)?
False
Suppose -5*v + 318 = 43. Does 11 divide v?
True
Suppose 90 - 228 = -2*r. Let w = r + -114. Let m = -27 - w. Is m a multiple of 13?
False
Let x(b) = -2*b**3 - 41*b**2 - 9*b + 28. Does 10 divide x(-21)?
False
Is (-630)/(6 + (-75)/10) a multiple of 105?
True
Suppose -33*b + 81 = 