f u(7)?
False
Suppose 13 = 5*n + 3. Suppose n*v = -10 + 2, 0 = -3*r - 5*v + 304. Is 27 a factor of r?
True
Suppose x + 32*j - 18202 = 28*j, 2*x + 5*j = 36383. Is x a multiple of 192?
False
Let k(w) = -162 + w - 5*w**2 - 18*w + 205 - w**3. Does 13 divide k(-9)?
True
Let n = 120 + -121. Let p be (2 - 121)/n*1. Let t = p - 95. Does 6 divide t?
True
Let w(k) = -3*k**2 + 426*k - 58. Is w(29) a multiple of 29?
True
Let n(z) = 16*z + 20. Suppose 57*h + 12 = 60*h. Is n(h) a multiple of 8?
False
Let z be (-19440)/126*-1*1*-7. Is 44 a factor of (-2)/3*z/16?
False
Let q = 15578 + -14811. Does 3 divide q?
False
Suppose -3*v + 8*v + 68 = -2*b, -b = -5*v - 71. Let p(a) be the third derivative of a**5/60 + a**4/3 - 20*a**3/3 - 125*a**2. Is 22 a factor of p(v)?
True
Let g(m) = 40*m**2 + 286*m - 59. Does 2 divide g(-16)?
False
Let k(m) = 277*m - 465. Is k(20) a multiple of 29?
True
Suppose -105 = 16*r + 71. Let z(d) = d**3 + 13*d**2 + 8*d - 10. Is z(r) a multiple of 4?
True
Let h be 0 - (-34)/(2 + 44/(-24)). Let l = h + 244. Suppose 0 = -4*b - 48 + l. Does 10 divide b?
True
Suppose -3*w + 755 = 2*j - 4679, 0 = 2*j - w - 5458. Is j a multiple of 19?
False
Is 11 + 88/((-16)/(-2)) + 8764 a multiple of 67?
False
Let t be 0 - 4/(20/(-2015)). Let v = t + -310. Does 6 divide v?
False
Suppose 0 = -3*p - 7*p + 40. Suppose -k = -p*g + 3*k + 104, 4*g - 5*k - 102 = 0. Is 14 a factor of g?
True
Let p = 913 + -639. Let g = 456 - p. Is 13 a factor of g?
True
Let g = -2816 + 3236. Is 60 a factor of g?
True
Let t(m) = 854*m + 3536. Is 45 a factor of t(10)?
False
Let m = 3903 - 2465. Suppose -2*k + 734 = 4*o, 3*k - m = -k - 2*o. Is 51 a factor of k?
True
Suppose -4*h + 18 = 5*f, 3*f + 4 - 12 = -h. Let o = f - 2. Suppose o = -2*y - 4*y + 168. Is y a multiple of 7?
True
Suppose 2*j + 217 = -121. Suppose 0*v + 3*v + 2*p = -258, 3*v + 273 = 3*p. Let k = v - j. Is k a multiple of 27?
True
Let z(d) = -265*d - 3995. Is 14 a factor of z(-23)?
True
Let g(k) = -174*k - 8168. Is g(-87) a multiple of 57?
False
Suppose 0 = -6*s + 2209 + 5777. Let a = -701 + s. Does 63 divide a?
True
Suppose 3*q + 3*w - 42 = 0, -5*w + 10 - 3 = -2*q. Suppose -q*d - 9600 = -49*d. Is d a multiple of 15?
True
Let m(b) = -b**2 - 8*b. Let w be m(-8). Suppose -3*x + t + 346 = 2*x, 5*x + 4*t - 366 = w. Suppose -2*a = -v - 31, -2*a + x = 3*a - 5*v. Does 4 divide a?
False
Let m = -22 + 25. Suppose -m*z = -5*z + 28. Is (-4)/z - (3 - (-947)/(-7)) a multiple of 11?
True
Suppose 0 = 23*n - 26*n. Suppose n = 19*t - 27*t + 376. Is t a multiple of 4?
False
Is (-20)/28 + 40064/112 a multiple of 21?
True
Let c be (-26)/(-8) - (-63)/(-252). Suppose -531 = -2*s - c*y, -4*s - y + 412 + 645 = 0. Is 35 a factor of s?
False
Let h(b) be the second derivative of -b**5/20 + b**4/4 + b**3/6 + 3*b**2 + 4*b. Let u be h(3). Suppose -u*s + 374 = -616. Is s a multiple of 17?
False
Let f(d) = -12*d + 220. Let z be f(18). Suppose 27*q - 25*q = -4*g + 1348, z*g - 3352 = -5*q. Is 10 a factor of q?
False
Suppose -5*t = -4*t + 4*r + 10, -3*r = 6. Is 23 a factor of (9/t)/(-9) - 918/(-4)?
True
Let r be -1*(-2)/3*(-9)/(-2). Suppose 4*v - 413 = -r*o, 4*v - 2*o - 418 = -4*o. Suppose 3*n - 4*f - 201 = 0, -3*f + 136 = 4*n - v. Is 9 a factor of n?
True
Let d = -172 + 505. Suppose -3*v = -9, -4*r - 3*v = -60 - d. Is 3 a factor of r?
True
Let q(m) = m + 3. Let b be (2/(-6))/(8/72). Let w be q(b). Suppose -4*a - a = -n + 183, 3*n + 3*a - 495 = w. Is 42 a factor of n?
True
Let t(a) = -a**2 + a + 24. Let d be t(5). Suppose -o + d*o + 5*x - 3378 = 0, -4*o + x = -4481. Is 59 a factor of o?
True
Suppose n - 4*i = 473 + 1771, -5*n = -2*i - 11310. Does 8 divide n?
True
Suppose 0 = 10*g - 12*g + 3*m + 2735, -m - 2737 = -2*g. Is 5 a factor of g?
False
Does 28 divide (1 + 10/(-6))*(-6831 + -18)?
False
Suppose a - 13 = -d, -d - 2*a = -4*d + 49. Is 193/3 - (50/d)/(-5) a multiple of 5?
True
Let m(j) = -j**3 - 11*j**2 - 6*j - 10. Let c be m(-11). Let k = -7 + c. Suppose -3*u = -58 + k. Does 3 divide u?
True
Let n = 25 - -2215. Suppose 62*i = 78*i - n. Does 13 divide i?
False
Let q be (-16)/(-12) - (2/(-5) + 3638/(-30)). Suppose 3*n = s + 8*n + 55, n = 5*s + 197. Let u = s + q. Is 8 a factor of u?
False
Let g = -9428 - -32000. Is 209 a factor of g?
True
Is 42 a factor of (4/5)/(((-4)/(-420))/((-138)/(-12)))?
True
Let k be (-242)/20 - 15/(-150). Does 14 divide (-2152)/k - (102/(-18) + 5)?
False
Suppose 0 = -22*t + 20*t + 50. Suppose -133 = -q - t. Is q a multiple of 4?
True
Suppose -62 = c + 13. Let r = -82 - c. Let p(w) = w**2 + 30. Is p(r) a multiple of 9?
False
Suppose 45*d - 437937 = 54588. Is d a multiple of 18?
False
Let s(m) = 536*m**3 + 4*m**2 - 9*m + 6. Let g be s(1). Suppose -112 = -f - 2*d, 3*f - g = d - 166. Is f a multiple of 61?
True
Suppose 402*q = 1514450 + 354850. Is q a multiple of 62?
True
Let v = -49 - 12. Let k = v + 73. Does 23 divide (8/k)/((-70)/(-69) - 1)?
True
Let b be 486 + 14 + -5 + 0. Suppose 3*z - 3 = 0, -5*t = -z - 244 - b. Is 12 a factor of t?
False
Suppose -t + 2 = -p + 25, 2*t = p - 44. Is 12 a factor of 540/t*13/(117/(-168))?
True
Suppose -3*r = 2 + 10. Let k(a) = -95*a + 84. Is k(r) a multiple of 25?
False
Suppose q + 2*v = 2*q - 266, -1360 = -5*q - 5*v. Let h = q + -52. Is h a multiple of 19?
False
Let z = -60 + 64. Suppose -i - 7*u + 11*u + 260 = 0, 0 = z*i - 5*u - 1095. Does 7 divide i?
True
Let c be 12 - (4 + 18/6). Suppose -2045 = -c*g + 2*y, 0 = 4*g + g - y - 2040. Does 20 divide g?
False
Suppose 22*m + 46210 = 66*m - 32990. Is 45 a factor of m?
True
Let l be (9/(-2) + 5)*352. Let q = -146 + l. Is 6 a factor of q?
True
Let a(o) = 4*o**2 - 27*o - 136. Is 83 a factor of a(-7)?
True
Suppose m = 6*v - 4*v + 9, 3*v = -12. Is 6 a factor of 274 + m + 3 + 4?
True
Let z(n) = 6*n**3 + n**2 - n. Let j be z(1). Let a(h) = 21*h**2 + 4*h + 28. Let w be a(j). Does 27 divide (5 - 1)/(w/(-162) + 5)?
True
Let f = 65 + 283. Let w = 400 + -397. Suppose -w*l + f = l. Is l a multiple of 29?
True
Suppose -4*z + u = -38 - 32, u = 5*z - 88. Suppose z*v - 23920 = 2*v. Is 23 a factor of v?
True
Let h(d) = 15*d**2 + 385*d - 1. Does 4 divide h(-32)?
False
Let b(r) = 2*r**3 + 3*r**2 - 8*r + 30. Let t be b(5). Suppose -t = -5*m + 380. Does 11 divide m?
False
Let n(b) = b**3 - 3*b**2 + b - 4. Let h be n(3). Let r be -2 + -12*(8/12 + h). Suppose 5*a - 9 = r*m, -5*m - 2 + 27 = -3*a. Is 2 a factor of m?
True
Suppose 5*b - 6*x = 9195, 2*x - 9195 = -5*b - 3*x. Does 49 divide b?
False
Let w = -1349 + 3958. Suppose -z + 2*h + 888 = 0, w = 3*z + h + 4*h. Is 42 a factor of z?
False
Let y = -93 - -121. Suppose y*n - 31*n - 159 = 0. Let l = -17 - n. Is 4 a factor of l?
True
Let j = 16149 + -15057. Does 84 divide j?
True
Let j = 22 + -461. Let y = -340 - j. Is y a multiple of 11?
True
Suppose -2*g + 623 = -s, -g + 3*s - 7*s + 298 = 0. Suppose 307*v = g*v - 1137. Is v a multiple of 25?
False
Does 29 divide 216270/(-189)*(-56)/12 + -4?
True
Let a be 6 - ((-2)/(-2) + 3). Suppose 0 = -j + f + 115, -a*j = -0*f + 4*f - 254. Let o = 168 - j. Is 17 a factor of o?
False
Suppose -10*r = -5*r - 20. Suppose -5*t + 453 = 2*f - 0*f, -4*f = r*t - 372. Suppose i = 2*i - t. Is 16 a factor of i?
False
Suppose 165*y + 586622 = 2028557. Is y a multiple of 43?
False
Suppose -4*t + 3*t = -4*c - 24, 4*t + 3*c - 58 = 0. Suppose 0 = -t*o + 4351 + 81. Does 19 divide o?
False
Let a = 20374 + -14544. Is 98 a factor of a?
False
Is 18 a factor of (3/(27/(-60)))/(8/(-3888)*6)?
True
Let s(r) = r**3 + 10*r**2 + 2*r + 8. Let d be s(-10). Let o(k) = k**2 + 7*k - 17. Let z be o(-9). Does 2 divide 2 + (2 - d/z)?
True
Suppose 5*t + 5*q - 1412 - 703 = 0, 4*t - 1687 = -3*q. Is t a multiple of 22?
True
Suppose 18055 = 2*d - 5*y, y + 19219 = 4*d - 16864. Does 20 divide d?
True
Let t = 28 - -32. Let c be (-42)/12*t/(-21). Suppose -3*s = 2*v - 31, -2*s + v = -3*s + c. Is 3 a factor of s?
False
Let h(z) = 4*z**2 - 4*z. Suppose 5*n + 9 = -11. Let c be h(n). Suppose -3*d = -64 - c. Does 16 divide d?
True
Suppose 0 = 5*b + 21*a - 30*a - 95795, -4*b + 76677 = a. Is b a multiple of 20?
False
Let w(q) = 5*q**3 + 12*q**2 - 23*q + 12. Let t(m) = m**3. Let o(j) = -4*t(j) + w(j). Is 6 a factor of o(-10)?
False
Does 8 divide (-87)/(-2)*422298/783?
False
Suppose -g - 5*l = -2818, -5*g - 6*l + 8*l + 14252 = 0. Is 4 a factor of 