f s?
True
Let v be 9*7/((-315)/(-10)). Suppose 1 + 3 = v*m, 5*x + 2*m + 126 = 0. Let o = 138 + x. Does 16 divide o?
True
Does 15 divide (-15069)/((-29)/14 - 84/(-147))?
False
Let c = 2418 - 3932. Let t = -991 - c. Is t a multiple of 19?
False
Let u be ((-182)/(-28))/((-2)/(-68)). Let w = 841 - u. Is 64 a factor of w?
False
Let z be (-1)/2*(-2)/1 + -6. Is 3 + z + (-2200)/(-8) a multiple of 13?
True
Suppose -y - 4*j - 40469 = -6*y, 0 = -j - 1. Is 43 a factor of y?
False
Let k(f) = -f + 5. Let m be k(5). Suppose 3*z + m*z = v, 2*z = 4*v. Does 50 divide (-134)/((z - -2 - 0)/(-3))?
False
Let r(o) be the first derivative of 5*o**2 - 5*o - 6. Let v be r(-4). Is 10 a factor of (v/5)/(3/(-27))?
False
Suppose 0*t + 3*t - 15 = 0. Let u be ((t/(-3))/(-5))/((-4)/(-108)). Suppose -5*m = u*z - 5*z - 320, 2*z - 130 = 5*m. Is 4 a factor of z?
False
Let a(w) = -180*w - 94. Let b(h) = -60*h - 31. Let f(o) = 5*a(o) - 16*b(o). Let y be f(-4). Let n = 307 + y. Does 13 divide n?
False
Suppose 2*q = 237*a - 234*a + 21490, -3*q - 5*a + 32254 = 0. Is q a multiple of 16?
False
Let c(l) = -l**3 + 3*l**2 + 11*l - 2. Let p be c(5). Suppose 8 = 3*o - 4*t, -p*t - 6 = -o + 2*o. Suppose -2*w + 46 + 86 = o. Is 5 a factor of w?
False
Suppose 3*o - 4*z + 10 = 0, -4*z = 3*o - o - 20. Let s(f) = f**2 + f + 4. Let i(h) = -12*h**2 - 7*h - 34. Let w(n) = -i(n) - 8*s(n). Is w(o) a multiple of 9?
False
Let n = 8347 - 6288. Is n a multiple of 71?
True
Let q(g) be the second derivative of 54*g**5/5 - g**4/4 - g**3/2 + 5*g**2/2 + 3*g. Is q(1) a multiple of 15?
False
Let g = 48371 + -26252. Does 101 divide g?
True
Suppose 4*c - 2*c + g - 221 = 0, -5*c = -5*g - 575. Let x = c - -91. Is 18 a factor of x?
False
Suppose -c - 2*g + 9066 = 0, 160*c + 5*g + 36173 = 164*c. Does 4 divide c?
True
Let d(k) = 3*k**2 - 22*k - 91. Let q(h) = -2*h**2 + 22*h + 91. Let r(w) = 3*d(w) + 4*q(w). Does 6 divide r(-26)?
False
Suppose 6 = 2*n, -n - 3*n = -2*d + 286. Suppose -737 = -7*l - d. Suppose 7*y - 3*y - l = 0. Is 21 a factor of y?
True
Let q be 3 - (-8)/(-2) - 213*10. Let b = -1148 - q. Is b a multiple of 21?
False
Does 41 divide (492/18)/(2/(-87))*(-48 + 38)?
True
Let o(x) = -2*x**2 - 39*x - 9. Let r be o(-18). Suppose 41*y - r*y + 232 = 0. Is y a multiple of 25?
False
Let p(z) = 2*z**3 - 2*z + 2. Let c be p(1). Suppose 5*i - l = -c*l - 13, 3*i - 5*l = 9. Is 24 a factor of (i/4)/((-7)/1456)?
False
Let y(d) = d**3 + 6*d**2 + 7*d + 16. Let b be (-4)/10 - (-23)/(-5). Let t be y(b). Let n(w) = 2*w**2 + 7*w + 1. Is 23 a factor of n(t)?
True
Let m(p) = 50*p**2 - 38*p + 639. Does 91 divide m(16)?
True
Suppose 4*y = 5*v - 174, 0 = -7*v + 5*v + y + 69. Let i = 3 - 1. Suppose c = -3*w + 22, 4*w - 18 - v = -i*c. Is c a multiple of 15?
False
Suppose 7*t - 95 + 95 = 0. Suppose -2*g + 5*o + 1362 = t, -20*g + o = -23*g + 2077. Is g a multiple of 17?
False
Let t(o) = 35*o**2 - 112*o - 5. Does 16 divide t(-10)?
False
Suppose 2*c - 3*b - 15 = -c, 0 = -3*b + 15. Suppose -c = -5*w - 135. Is w*(18/15 - 3) a multiple of 13?
False
Suppose -65090 = -5*q + 5*w, -q + 56*w - 52*w + 12994 = 0. Is 38 a factor of q?
False
Suppose 5*j + 23*b - 26*b - 1470 = 0, 5*j = -5*b + 1430. Is j a multiple of 11?
False
Let o(m) = 5468*m + 4847. Is o(3) a multiple of 12?
False
Suppose -6215647 = -442*h - 763596 + 1363589. Is 20 a factor of h?
True
Is 27 a factor of -62*(-52 - (-15 + 10))?
False
Let a(m) = 102*m**2 + 30*m + 241. Is a(-8) a multiple of 34?
False
Let z = 66372 - 31766. Does 242 divide z?
True
Suppose -y + 4*y = -6, 4162 = 3*b + y. Let d = b - 621. Is d a multiple of 37?
False
Let m = 50161 + -33023. Is 209 a factor of m?
True
Suppose -3*t = -3*n - 4812, -963*n + 962*n = 6. Is 39 a factor of t?
False
Let k(c) = -c**3 + 5*c**2 - 5*c. Let w be k(2). Suppose 5*o - 4*l - 456 = 0, 188 = -0*o + w*o + 4*l. Is 9 a factor of (-64)/6*(-621)/o?
True
Is (20/18)/(-48 + 53) + (-162781)/(-9) a multiple of 32?
False
Suppose -12*j = -54 - 6. Suppose 2*s + j*z = 138 + 72, -2*s + 2*z + 196 = 0. Does 28 divide 3/((-15)/(-844)) - s/125?
True
Let t(u) = -6*u**3 - u - 1. Let v(r) = -r**3 - 4*r**2 - 5*r - 7. Let m be v(-3). Let l be t(m). Is 39 a factor of 183/((l/4)/1)?
False
Suppose -4*h + 61*q - 63*q + 26 = 0, 0 = -h + 5*q - 10. Suppose -14*a - 2*k + 124 = -12*a, 0 = -h*k - 20. Is 6 a factor of a?
True
Suppose -50 = 5*b + w, 5*b + 20 = 4*w + w. Suppose -16*k + 268 = -164. Let l = b + k. Is l a multiple of 13?
False
Let o be ((-10)/3)/((-8)/12). Suppose -2*q - 273 = q - o*t, -3*t + 353 = -4*q. Does 21 divide -5 + 4 - (q + 3)?
False
Let w = 6742 + -21. Does 11 divide w?
True
Suppose -121*p = -3*j - 119*p + 142700, 3*j - 142702 = 4*p. Does 8 divide j?
False
Let v(c) = 37*c - 44. Let w be v(1). Does 21 divide 2854/7 - ((-96)/w + -14)?
False
Let k = 24873 + -20458. Is 4 a factor of k?
False
Suppose -b + 7 = 2*b + u, 4*b = -5*u + 24. Is b + 0 - (7 - 13 - 53) a multiple of 10?
True
Suppose 0 = -7*p + 16*p - 36. Does 3 divide (39*(-8)/p)/(-2)?
True
Suppose 0 = 10*j - 555 - 965. Does 4 divide j?
True
Suppose 0 = 3*c + 5*g - 12 - 21, -3*c + 3*g + 57 = 0. Let v = 177 + -73. Let s = c + v. Is 40 a factor of s?
True
Let q be (-5)/35 - (-1 + 15/(-7)). Let s be (q + 10/(-6))*111. Let v = s - 70. Is v a multiple of 12?
False
Let o = 378 - 18. Suppose 0 = -2*n + 3*n - 5. Suppose 5*h = -z + 6*z - o, 2*h = n*z - 363. Does 20 divide z?
False
Let r = 17529 + -11238. Does 27 divide r?
True
Suppose -2*l + 34 = -10. Let k be (40 - -13) + 3*2. Suppose l = 9*h - k. Is 9 a factor of h?
True
Suppose 3*a - 86 + 77 = 0. Suppose a*x = 230 + 115. Does 23 divide x?
True
Let u(w) = 2*w + 76. Let k be u(-36). Is 37 a factor of (-1 - 192)*(-7 + k)?
False
Let t be (-3)/(4 - 1)*-19. Suppose 9*l - 17 - t = 0. Suppose -l*w = -61 - 199. Is 19 a factor of w?
False
Suppose 5*u - 40 = -5*f, 11 = -2*f - 3*u + 30. Let a = 4105 - 3892. Suppose -2*n - f*h = -a, 5*h + 9 = 8*h. Is 33 a factor of n?
True
Let j be (-1)/6 + 10115/102. Let a = j + -46. Let i = a - 12. Is i a multiple of 10?
False
Let g(v) = -130*v - 110. Does 8 divide g(-7)?
True
Suppose 4*a = i + 8713, 4*a - 3*i = 2381 + 6342. Is 90 a factor of a?
False
Let g be 783 + (-2 - 2) + 2. Let t = 887 - g. Is 78 a factor of t?
False
Suppose 76*c = -181*c - 95*c + 18328288. Does 52 divide c?
False
Let y = 406 + -181. Suppose 2370 = 3*x - y. Is 20 a factor of x?
False
Does 175 divide (133130/(-30))/((-8)/24) + 10/(-2)?
False
Let c = -6367 - -6499. Does 44 divide c?
True
Suppose 0 = -17*g + 19*g - 420. Let c = g - -56. Is 14 a factor of c?
True
Let f = 6387 - -6733. Does 82 divide f?
True
Suppose 16 = 4*a - 0*a. Let r be -5*(0/a - 6). Does 7 divide ((-10)/r)/((-1)/33)?
False
Suppose -12*t = 5*t - 646. Suppose 8*k = -6 + t. Suppose x + 2*x - 15 = 0, 5*h - k*x - 100 = 0. Is 6 a factor of h?
True
Is 20 a factor of (0 + 5)*(-7)/(56/(-3296))?
True
Suppose -r - 3*t = -1, 5 = 3*r + 2*r - 3*t. Does 6 divide r*-2*4/4 + 170?
True
Let y = 9973 - 456. Is y a multiple of 36?
False
Suppose 330 + 1280 = 10*w. Suppose 0 = -w*p + 154*p + 2954. Is p a multiple of 13?
False
Let h = -324 + 311. Is 36 a factor of (h/(13/(-480)))/((-2)/(-3))?
True
Let v(a) = 153*a**2 - 247*a - 1220. Is 12 a factor of v(-5)?
True
Let k(g) = -19*g**3 - 2*g**2 - 4. Let v be k(-2). Let o be 3*(v - (-3 - -5)). Suppose 81*w - 84*w = -o. Is 23 a factor of w?
True
Let j = -40 - -43. Suppose 3*m = -5*f + 32, -3*m - 2*m + j*f + 8 = 0. Suppose -m*p + 67 = -125. Is p a multiple of 8?
True
Let a(s) = -1091*s**3 - 1. Let x be a(-1). Let m = x - 460. Is 35 a factor of m?
True
Suppose -a = -0*l - l - 167, 3*a - 487 = -4*l. Let n(s) = -12*s**2 + s + 2. Let c be n(-3). Let f = a + c. Is 14 a factor of f?
True
Let k = 4375 - 1842. Suppose 24*v - k = -4*o + 21*v, 1269 = 2*o + v. Does 14 divide o?
False
Suppose -7*f + 2*f - 35 = 0. Let i = f + 15. Suppose 10*v = i*v + 112. Does 14 divide v?
True
Suppose 45*d - 5*t = 42*d + 9, d - 2*t = 2. Is d a multiple of 4?
True
Is 5 a factor of -3 + 25/5 - -393?
True
Is (-1)/(-11) + (1780005/165 - 14) a multiple of 7?
False
Let b be -3*(-2)/(6/(-15)). Let c(m) = 5*m - 3*m + 0*m - 20 + 49 - 3*m. Is c(b) a multiple of 11?
True
Let w(f) = -f**2 - 20*f - 33. Let d be w(-17). Let n be (d/(-4))/(16/(-64)). Does 24 divide 675/n*16/5?
True
Suppose 27195 = 77*z - 73*z + y, -5*y 