f 30?
True
Let s = 334 + 5386. Is 40 a factor of s?
True
Let k(m) = m**3 + 36*m**2 + 45*m + 792. Is k(-18) a multiple of 153?
True
Let h(b) = 32*b**2 + 365*b + 43. Is h(21) a multiple of 19?
False
Suppose -83*f - 138667 = 78225 - 937498. Is 6 a factor of f?
True
Suppose -4*x - 1072 = -l, -x - l - 2*l = 281. Let s = -1429 - -1267. Let b = s - x. Does 37 divide b?
False
Suppose 3*j = 12, 0 = 6*q - 2*q + 4*j - 80. Is 27 a factor of 6484/q + 4/((-16)/1)?
True
Let p = -5 - 3. Let z = 12 + p. Suppose z*r - 1154 = 9*j - 12*j, -4*r + 1152 = 2*j. Is r a multiple of 17?
False
Let q be 5/(15/72) + 3 + -8. Does 23 divide 314 + q/(114/36)?
False
Suppose 21*k - 27*k = -198. Suppose 5*p = k*o - 30*o - 692, 5*p + 20 = 0. Does 28 divide o?
True
Let b = 3128 + 8797. Is 15 a factor of b?
True
Suppose -8*p = -15*p - 161. Is 7 a factor of ((-3)/(-6) - p/(-2))*-47?
False
Let i be (-148)/(-6) + 1/(3 - 0). Suppose 0 = 28*d - i*d - 492. Is d a multiple of 12?
False
Let f = -2407 + 5476. Does 23 divide f?
False
Suppose -3*k + 13*u = 11*u - 209565, 3*k + 5*u = 209607. Does 37 divide k?
False
Let z(i) = -2*i**3 - 4*i**2 + 9*i + 19. Let m be z(-2). Let n(v) = 3 - 5*v - 6*v**2 - 1 + 24*v**2. Is n(m) a multiple of 15?
True
Let z = -26296 + 30397. Does 4 divide z?
False
Suppose 203868 = 24*c + 9156. Suppose c = 12*z + 625. Is z a multiple of 12?
True
Let i be 144*((-21)/12 - -4). Suppose 7*n = 4*n + i. Let r = n + -48. Is r a multiple of 15?
True
Is 32 a factor of -4330*(4 + 0/(-2) - (-45)/(-9))?
False
Let v(h) = 182*h**2 - 5*h + 4. Let t be v(1). Let i = -302 + t. Let d = -94 - i. Does 11 divide d?
False
Let p(q) = q**3 + 9*q**2 - 3*q - 12. Let v be p(-9). Suppose -v*h + 96 = -9*h. Suppose -h*x = -451 - 1901. Does 26 divide x?
False
Let k = 4682 - 3962. Is 9 a factor of k?
True
Let a(z) = 80*z**2 - 17*z - 46. Let p = 776 + -779. Is a(p) a multiple of 10?
False
Let o(h) be the first derivative of h**3/3 + h**2 - 13*h - 1. Suppose 4*u + 14 = 2*y, 6*y - 2*y - 28 = -4*u. Is 5 a factor of o(y)?
True
Let k = -3547 + 3578. Let p = -28 - -17. Let r = k - p. Is 10 a factor of r?
False
Let s = -122841 - -178144. Is 10 a factor of s?
False
Let s(d) be the third derivative of -d**6/120 + 19*d**5/60 - d**4/24 + 5*d**3/2 + 96*d**2 + 2*d. Does 16 divide s(17)?
True
Let b be (-432)/81 + 4/12. Let n(s) = s**2 - 4*s + 15. Is 2 a factor of n(b)?
True
Let t be (36/22)/(-9) + 2394/(-22). Let c = 201 + t. Does 23 divide c?
True
Suppose -o + 98 = 3*h, -82 - 54 = -4*h + 4*o. Let m = h - 21. Suppose m*u - 108 = 11*u. Does 12 divide u?
True
Suppose 198*k = 211*k - 34138. Is 13 a factor of k?
True
Suppose -665*i + 667*i = 23594. Does 47 divide i?
True
Let i(n) = n - 7. Let y be i(-8). Is y/(-6)*-250*-1 a multiple of 25?
True
Suppose 0 = -19*u - 2*u + 567. Suppose -17*m - 2210 = -u*m. Does 3 divide m?
False
Suppose -y + 4*k = -15533, 19*k + 46497 = 3*y + 24*k. Is 15 a factor of y?
False
Let w(m) = -m**2 - 14*m - 28. Let d be w(-3). Let h(y) = 10*y**2 - 12*y + 5. Is 12 a factor of h(d)?
False
Let p(a) = -a**2 - 12*a - 3. Suppose -4*o - 5*y - 120 = o, o - y + 14 = 0. Let i be p(o). Let c = i - -240. Is c a multiple of 11?
False
Let r = -121 - -126. Suppose 0 = -5*w - 15*f + 16*f + 2108, 10 = r*f. Does 29 divide w?
False
Suppose 302086 = 42*k - 440198 + 264660. Is 105 a factor of k?
False
Suppose -15 = -5*s + 10. Let l be 2 + 0 - (4 - s). Is 17 a factor of (234/l)/(3/2)?
False
Suppose -136*k + 131*k + 5*r + 49025 = 0, 5*k - 4*r = 49020. Does 28 divide k?
True
Suppose 4*a - 2*a = 4*a. Suppose a = -p - 36 + 110. Suppose 0*g - p = -g. Does 7 divide g?
False
Let t = 695 - -669. Suppose 4*d + s = t, 2*d - 591 = 3*s + 91. Does 6 divide d?
False
Let d(k) = -42*k**2 + 15*k + 32946. Does 117 divide d(0)?
False
Does 69 divide (-331930)/(-9) - ((-2480)/(-360))/62?
False
Suppose -2 = h + 1. Let b be (-150)/(-4)*(4/h - -2). Suppose 2*u = 2*w - 97 - b, -3*u = 2*w - 97. Is w a multiple of 8?
True
Suppose 4*f + 0*f - 16 = 0, l = 5*f - 20. Suppose -18*t + 84 + 6 = l. Suppose -d = -5*h - 51, t*d - 174 = -h - h. Does 12 divide d?
True
Let y(x) = 230*x - 510. Is 40 a factor of y(21)?
True
Is 18602/(4/14 + (-27)/(-126)) + 2 a multiple of 27?
True
Let a(x) be the first derivative of -x**4/4 + 2*x**3 + 3*x**2 - 15*x - 40. Let t be (150/(-45))/((-2)/3). Does 8 divide a(t)?
True
Let b(h) = 49 - 4*h - 25 + 18. Let o be b(10). Suppose o*i - 6*i + 3*p = -39, -i + 24 = 4*p. Is i even?
True
Let m = -15541 + 31073. Does 22 divide m?
True
Suppose 15*b + 5314 - 18412 = 9*b. Does 59 divide b?
True
Let d = 42 - 32. Let c(k) = -k**3 + 9*k**2 + 9*k + 12. Let f be c(d). Suppose 5*m = -25, -160 = -3*p + 7*m - f*m. Does 15 divide p?
True
Let o(z) be the third derivative of 173*z**6/60 - z**5/15 + z**4/4 - z**3/2 + z**2 - 47. Is 30 a factor of o(1)?
False
Does 159 divide (6165852/(-20))/(-7) - (-6)/5?
True
Let y = 5210 + 1162. Does 12 divide y?
True
Let p(a) = a**3 + 11*a**2 + 17*a + 28. Let z be p(-9). Let k = z + 210. Is k a multiple of 7?
False
Let y(w) = 29*w**2 + 37*w + 160. Is y(-4) a multiple of 7?
True
Let l(m) = -m**2 - 10*m - 16. Let o be l(-7). Let u(s) = -s**2 + 7*s. Let n be u(6). Suppose o*t - n*t + 62 = 0. Does 15 divide t?
False
Let k(s) = -s**3 + 4*s**2 - 15*s + 3968. Is k(0) a multiple of 31?
True
Let c(r) be the second derivative of r**4/3 - 4*r**3/3 - r**2/2 + 24*r. Let f be c(-7). Let g = 476 - f. Does 26 divide g?
False
Suppose 85*a + 578 = 102*a. Let v = -8 + 102. Let p = v - a. Is p a multiple of 10?
True
Let p(x) = 7 + 15 - 22 - 48*x. Does 32 divide p(-4)?
True
Suppose -18*w = -5*w - 1235. Does 10 divide (-1 - 12/(-2))*w?
False
Let z = -3015 + 3744. Does 27 divide z?
True
Let v(h) = h**3 - 25*h**2 + 46*h + 15. Let g be v(23). Is 8 a factor of (-18)/g*16625/(-75)?
False
Is ((-103)/7 + (-8)/28)*(-23 - 126) a multiple of 10?
False
Let p be (453/6 - (6 - 4))*12. Suppose -4*j = 2*v - 1796, v + 2*j = 2*v - p. Suppose -5*o - 685 = -4*r, 5*r - o - v = -6*o. Does 25 divide r?
True
Let w(x) = x**2 + 16*x + 33. Suppose 0 = 5*o + 4 + 66. Let c be w(o). Suppose -2*f - 299 = -c*j, 5*j - 2*j = f + 180. Is j a multiple of 10?
False
Suppose 17 = 6*r - 7. Suppose r*c - 12*c = -1160. Let z = c + -89. Does 14 divide z?
True
Is (290/40 + 2/(-8) - 7) + 19549 a multiple of 113?
True
Let x be 10/4*1/((-2)/(-220)). Suppose x + 1190 = 2*f + 5*j, 5*f - 5*j = 3715. Is 74 a factor of f?
True
Suppose -3 = -x, -58*d + 61*d + 3*x - 2067 = 0. Is 14 a factor of d?
True
Let r = -5893 - -8273. Is 34 a factor of r?
True
Suppose 12*p - 3101 = 199. Is 55 a factor of p?
True
Suppose -19*m - 60*m + 910791 = 0. Is m a multiple of 21?
True
Suppose 81 = -14*h + 13*h. Let y = 128 + h. Suppose -3*p + y - 2 = 0. Does 13 divide p?
False
Suppose 5*h - 60 = 3*m - 4*m, 3*m = -h + 12. Let u = h - 11. Suppose -3*y - 4*z + 33 = -3*z, 0 = -y + 3*z + u. Is 3 a factor of y?
False
Suppose -4*u - 1216 = 4*s, 0 = -3*u + 2*s - s - 908. Let n = 506 + u. Does 7 divide n?
True
Let y(p) = 3*p**2 + 36*p - 14. Let l be y(-15). Is 21 a factor of l - (-2 - 2*(-15)/5)?
False
Let n be ((-1)/3)/((-3)/5409). Suppose 0 = -3*b + 4*k - 153 + n, -4*b = -5*k - 598. Is 19 a factor of b?
True
Let k(t) = 14863*t**2 + 160*t + 161. Is k(-1) a multiple of 15?
False
Let w = 810 - 314. Let o = -185 + w. Does 12 divide o?
False
Suppose 0 = s - r - 10, -s - s - 2*r = -40. Suppose s*u + 2394 = 21*u. Is u a multiple of 19?
True
Is 58 a factor of (2668/115)/(2109/(-1055) - -2)?
True
Let i(y) be the third derivative of y**6/120 - y**5/3 + 23*y**4/24 - 31*y**3/6 - 36*y**2. Is i(19) a multiple of 9?
True
Suppose -5*s - 2*z - 319 = 220, 0 = 2*s + z + 216. Let h = 65 + s. Let b = h - -48. Is 5 a factor of b?
False
Suppose -60541 = -22*w + 142783. Is w a multiple of 9?
False
Suppose 2*k - z - 18 = 0, -5*k + 34 = -k - z. Let s be k/80 - (-1)/(-10). Let i(u) = u**2 + 3*u + 170. Does 17 divide i(s)?
True
Let m(o) = -62*o**2 + 2*o - 6. Let q(i) = -5 - i - 110*i**2 + 3*i - 26*i**2 + 73*i**2. Let t(n) = 6*m(n) - 7*q(n). Is 41 a factor of t(-1)?
False
Let b = 187 - 94. Suppose x = -k + b, -2*k - 287 = -5*k + 5*x. Let w = k + -80. Is w a multiple of 2?
True
Let v be (-5)/45*-2 - 86/(-18). Suppose 4*y + v*f = 816, -4*y + 991 = y - f. Let x = y - 148. Is 7 a factor of x?
False
Suppose 3*g = 5*v + 4788, -9*g + 2*v = -8*g