
Let m(i) = -5*i + 30. Let p be m(5). Suppose 122 = -p*f + 3*u + 412, 0 = -u. Does 16 divide f?
False
Let m(f) = -f**3 + 17*f**2 + 18*f + 30. Is 25 a factor of m(-10)?
True
Let r be (-404)/(-12) + (-3)/(-9). Suppose -f - r = -0*f. Is 7 a factor of (-4 - (f + -2)) + 3?
True
Let k(g) = 4*g**2 - g + 3. Let c(v) = -12*v**2 + 2*v - 9. Let h(m) = -4*c(m) - 11*k(m). Is 15 a factor of h(-3)?
True
Suppose 6*b + 1095 - 1143 = 0. Is b a multiple of 8?
True
Let j(w) = -570*w - 158. Is 21 a factor of j(-2)?
False
Suppose -r + 5 = 2*o, -5*o + 2*r - r = 5. Let w(b) = b**2 + 1. Let v(g) = 3*g**2 + g - 31. Let n(c) = -v(c) + 2*w(c). Is n(o) a multiple of 11?
True
Is 16 a factor of 100*((-52)/(-8) - 5)?
False
Let v be ((-2)/3)/(10/(-15)). Let y = 20 + -18. Suppose 9 = y*i + v. Is 4 a factor of i?
True
Is 11 a factor of (-584)/(-4) + 6*(-5)/10?
True
Suppose -5*o + 2658 = o. Is 7 a factor of o/9 + 14/(-63)?
True
Let q(y) = 578*y + 120. Does 38 divide q(4)?
True
Suppose -p - 5*j - 23 = 0, 3*p - 2*j = -p + 18. Suppose -p*d = -d - 46. Is 23 a factor of d?
True
Let w be -5*10/(-25)*1. Suppose -7*z + w*z + 40 = 0. Suppose z*t - 4*n = 3*t + 366, -90 = -t + 5*n. Is 15 a factor of t?
False
Let a(p) = 1547*p - 91. Is a(3) a multiple of 35?
True
Let g = -1145 - -1419. Is 11 a factor of g?
False
Let d = 47 + -34. Does 41 divide (-14790)/(-195) + 2/d?
False
Suppose -315 = -d - n, 3*d - 2*n - 653 = 317. Is d a multiple of 16?
True
Let s be 0/2 - (-4 + 1). Suppose 0*i + 1 = 3*i + 5*a, -s*i + 4 = 2*a. Suppose -v = 4, -i*g = g + v - 101. Does 10 divide g?
False
Suppose 0 = 5*i - 3*g - 461, 0 = -i - 3*g - 27 + 112. Is 5 a factor of i?
False
Let v be 1/(7133/45773 - 2/13). Suppose -30 = -13*m + v. Does 17 divide m?
False
Suppose 0 = 3*x - 9*x. Suppose n = -2*w + 16 + 48, x = -n - 3*w + 61. Is n a multiple of 27?
False
Suppose 0*h + 3*h = 0. Let z(b) = 41 - 5 - b**3 + 24. Is z(h) a multiple of 15?
True
Suppose -41*r = -38*r - 1854. Suppose -3*z = 4*p - 0*z - 820, 3*p = -3*z + r. Is p a multiple of 50?
False
Let i be -1*11 + -10 + 11. Suppose 15 - 93 = -2*b. Let u = b + i. Is 29 a factor of u?
True
Let s = 81 + -211. Let b = 50 - s. Does 18 divide b?
True
Suppose -15 - 27 = -2*u. Let r(c) = u*c**2 - 5*c + 3*c - 8*c**2. Does 7 divide r(-2)?
True
Suppose o - 7 = 5*x, -o = 2*o + 2*x - 4. Suppose 8 = -3*q + r, -9 + 23 = -5*q + o*r. Does 8 divide (9 + -10)/(q/72)?
False
Suppose -5*d + 4*g = -g, 0 = 4*g. Suppose -2*o + 28 = -2*i - 3*o, -2*i + 3*o - 12 = d. Let m = 29 + i. Is m a multiple of 17?
True
Let m(x) = -3*x - 1. Let c be m(1). Let y be 2/c + 580/8. Suppose -w + y = w. Is 11 a factor of w?
False
Let q(a) = 1 + 16*a + 21*a - a**2 + 2 - 47*a. Let n(m) = -3*m + 3. Let w be n(4). Is q(w) a multiple of 6?
True
Let n(h) = 303*h**2 + h - 3*h - 4 - 283*h**2. Is n(-3) a multiple of 14?
True
Suppose -12*k = -14*k + 540. Is 12 a factor of k?
False
Let a(u) = -5*u**3 - 8*u**2 - 3*u + 5. Let o(z) = -4*z**3 - 8*z**2 - 2*z + 6. Let k(f) = 3*a(f) - 4*o(f). Does 10 divide k(-6)?
False
Suppose -n + 527 = 4*p, 2*p - p = -2*n + 123. Is 15 a factor of p?
False
Suppose u - 5*l = -3*l + 513, -3*l = -3. Is u a multiple of 94?
False
Let k(r) = -4*r**3 - 11*r**2 - r - 35. Is k(-7) a multiple of 37?
False
Is 9 a factor of 1/(187/(-2145) + (-2)/(-13))?
False
Suppose -4*m = -p - p - 26, p = 5*m - 16. Let u be 2454/66 + 2/p. Let k = 61 - u. Is 8 a factor of k?
True
Let y = 0 + 56. Let q be (-1440)/y + (-2)/7. Let j = q + 45. Does 7 divide j?
False
Let x(q) = q**2 + 6*q + 7. Let g be x(-6). Suppose 10*z = g*z + 6. Suppose -z*k = k - 24. Does 2 divide k?
True
Let k = -35 - -37. Suppose -d = 4*c - 6*d - 351, 0 = 4*c - k*d - 342. Is 10 a factor of c?
False
Suppose 6*u + 2 = 32. Suppose -u*c + 54 = -3*c. Is 8 a factor of c?
False
Suppose 0*s - 5*s = -180. Suppose s = 5*g + g. Is g even?
True
Let n be (240/64)/((-2)/(-56)). Let x = 172 - n. Is 9 a factor of x?
False
Suppose 4*m + 16 = 4. Let q be (4/m)/((-14)/231). Suppose 6*r - 4*r = 2*b - q, 5*r = 4*b - 46. Is b a multiple of 8?
False
Let r(v) = -v**2 - 54*v - 270. Does 27 divide r(-36)?
True
Let z = -488 + 538. Is z a multiple of 30?
False
Suppose -4*i = -3*i. Let q = 5 + i. Suppose 0 = 2*z - 2, -4*z - 39 = -q*f + 27. Is f a multiple of 7?
True
Let y = -63 - -111. Let o be (y/(-72))/((-2)/12). Suppose -3*k = a - 76, -o*a + 99 = 5*k - 184. Does 11 divide a?
False
Let k(j) be the second derivative of j**3/6 + 15*j**2/2 - 7*j. Does 3 divide k(9)?
True
Let c(r) = r**2 + r - 2. Let u be c(-3). Is 5 a factor of 22*u/8*1?
False
Suppose -33 = -4*a + 11. Suppose f = -5*x + 2*x - a, 5*x = 5. Let s(z) = -z**3 - 15*z**2 - 15*z + 9. Is 8 a factor of s(f)?
False
Let y = -12 + 23. Suppose -o + 2 = y. Let n = o + 14. Is n a multiple of 2?
False
Let b(s) = -18*s + 17. Let t be b(-21). Suppose 55 = -5*r + t. Is 34 a factor of r?
True
Suppose 0 = d + 3*i - 634, d - 394 = 2*i + 215. Is 9 a factor of d?
False
Does 8 divide ((-6)/(-15))/((-10)/(-3000))?
True
Let w(u) = 2*u**2 - 10*u - 1. Let k be w(5). Is 20 a factor of (-1195)/(-20) + (-1)/(-3 + k)?
True
Suppose 727*b = 715*b + 11496. Does 28 divide b?
False
Let d(h) = -h + 36. Let a be d(16). Suppose -672 = -a*r + 16*r. Is r a multiple of 12?
True
Suppose 7*m - 2*m + 3*r = 599, -4 = 2*r. Is m a multiple of 7?
False
Is 43 a factor of (-60)/(-90)*129/(-4)*-106?
True
Suppose 57 - 1 = -4*b. Does 5 divide 6*((-108)/b - 6/(-21))?
False
Let n = 3834 - -1174. Is n a multiple of 47?
False
Let a = 5 + -1. Let t(g) = g**2 - 3*g - 16. Let d be t(13). Does 29 divide d - (-4)/(16/a)?
False
Let f = -62 + 72. Suppose 4*p - 3*q = 121, -f*p + 5*p + 143 = -q. Is p a multiple of 4?
True
Let w be 17/3 - 2/(-6). Let r = 14 - w. Suppose 0 = -4*h - r, u + 2*h + 0*h - 21 = 0. Does 14 divide u?
False
Suppose 2*n - 60 = -0*n. Suppose 5*p = -10 + n. Suppose 0 = p*h - 7*h - 3*a + 84, -4*a - 86 = -2*h. Is h a multiple of 28?
False
Let r(i) = 17*i**2 + 5*i. Let d(n) be the third derivative of n**5/15 + n**4/24 + 7*n**2. Let m(b) = 9*d(b) - 2*r(b). Is m(-3) a multiple of 7?
True
Suppose 0 = 28*s - 26 - 30. Is s even?
True
Suppose -4*k = n - 81 - 775, 2*n = 3*k - 642. Suppose -d + w = -53, d - 2*w - k = -3*d. Does 9 divide d?
True
Suppose -5*g + 12 = -3. Suppose 4*c - 130 = -5*i + 2*i, -4*i = g*c - 101. Is c a multiple of 23?
False
Let j(y) = 60*y - 32. Let l be j(7). Does 18 divide (4/16)/(1/l)?
False
Let b be 1 + 22/(-14) + 72252/(-126). Let r = -377 - b. Is 41 a factor of r?
False
Let k(w) = -w**3 - 2*w**2 + 5*w + 6. Let l be k(-3). Suppose -3*c - 5*s = -l - 1, -55 = 5*c - 3*s. Is 2 a factor of c*(2 + -3)/2?
True
Let v be (-285)/38*40/12. Let t = 71 - 35. Let f = v + t. Is 3 a factor of f?
False
Let n(x) = -x + 20. Let i be n(10). Suppose 4*v + 78 + i = 0. Let z = v - -31. Does 3 divide z?
True
Let r(n) = n + 3. Let v(s) = 2*s + 4. Let c(j) = 3*r(j) - 2*v(j). Let q(p) = 2*p - 1. Let x(k) = -15*c(k) - 5*q(k). Is x(8) a multiple of 10?
True
Let y(v) be the first derivative of -v**2/2 - 4*v + 6. Let s be y(-6). Suppose 3*f - 17 = s*z, 2*f - 4*z - 1 = -3. Is 4 a factor of f?
False
Let p(v) = 3*v**2 + 11*v - 9. Let h be p(-12). Suppose -6*x - l + 279 = -4*x, 3*l = 2*x - h. Does 22 divide x?
False
Suppose 2*g + 39*i - 36*i - 1094 = 0, 0 = g + 4*i - 542. Does 22 divide g?
True
Let p(q) = -15*q - 3. Let f be p(-1). Suppose -36 = -2*g - f. Suppose 4*t - 3*t - 4*c - g = 0, -4*t + c = -18. Is 4 a factor of t?
True
Suppose -3*b + 10 = 2*b. Suppose -b*g + 100 + 26 = 0. Is 15 a factor of g?
False
Let b be 6/(-15) - (-1773)/45. Let s = b + 145. Does 24 divide s?
False
Let t(x) = -145*x - 34. Let i be t(-3). Let p = i - -130. Does 60 divide p?
False
Is 70 a factor of 7/(-14)*(-30)/3 - -1268?
False
Let n(z) = 4*z - 8. Let r be n(3). Let q be r/1*57/(-38). Is (-459)/(-5) - q/30 a multiple of 23?
True
Suppose 0 = 5*b - 2*n - 4, 0 = -3*b - 2*n - 4. Is b/2 + 46/2 a multiple of 7?
False
Let s(w) = -w**3 - 2*w - 1. Let u be 1/(-3 + 0 + 2). Let r be s(u). Suppose 3*t = -4*o + 37, 3*t = r*o - 0*t - 5. Is 7 a factor of o?
True
Suppose 44 + 1 = 15*g. Suppose 4*d + 56 = 6*d - g*l, -d + 33 = l. Is d a multiple of 6?
False
Let i(m) = 3*m**2 - 8*m + 3. Let o = 7 + 9. Suppose -15*b = -o*b + 5. Is i(b) a multiple of 23?
False
Suppose 3*q = -4374 + 19038. Does 18 divide 7/(-4) + 1 - q/(-32)?