 15?
True
Suppose 4*x + 62 = 118. Suppose 5*t = x*t - 3762. Is 38 a factor of t?
True
Let b(c) = -18*c + 4660. Does 4 divide b(-18)?
True
Let v = 1060 + -730. Suppose -3*i = -6*i + v. Is 55 a factor of i?
True
Suppose -107*m + 110*m - 387 = 0. Let s = m - -96. Is s a multiple of 25?
True
Let r(x) = -x**3 + 31*x**2 + 24*x - 24. Is 19 a factor of r(30)?
True
Let v = 50464 + -27539. Is v a multiple of 131?
True
Let g = -8 - -8. Suppose g = 8*q - 6*q - 228. Suppose -q = -4*c + 126. Is 21 a factor of c?
False
Suppose 6 = -3*g, 15*g - 10*g - 542 = l. Let j = l + 615. Does 7 divide j?
True
Suppose 20875 = 6*y - 2*y - p, p + 10435 = 2*y. Suppose -2*r + y = 13*r. Is 12 a factor of r?
True
Let q = -4204 - -34504. Is q a multiple of 202?
True
Suppose 324*h - 332*h = -29 - 51. Let q(c) = -11*c + 32. Let v(m) = -33*m + 95. Let f(l) = 11*q(l) - 4*v(l). Is f(h) a multiple of 41?
True
Let d(g) = 7*g**2 - 140*g + 12. Is d(40) a multiple of 94?
False
Suppose 5*v = v. Suppose 5*l = 5*u - v*u - 25, -u + 3*l = -5. Suppose u = -5*b, j + 2*j - 2*b = 53. Is 12 a factor of j?
False
Let x = 18066 - 30530. Does 32 divide x/(-12) + 1/((-6)/4)?
False
Suppose 4*x - 2*l = 8278, -10344 = -40*x + 35*x + 3*l. Is 28 a factor of x?
False
Suppose 20923 - 221126 = -90*m + 535637. Is 33 a factor of m?
False
Let y(g) = 4 - 62 + 9*g + 10*g**2 - 3. Is y(7) a multiple of 41?
True
Suppose 2*f = 4*q + 32, -5*q = 19 + 6. Is 16 a factor of 261 - 2 - f/2?
True
Suppose 0 = 2*b - 4*b - 468. Let d be (32/48)/((-4)/b). Let k = 43 - d. Is 2 a factor of k?
True
Suppose -3*o + 5*n = -5, 0 = -2*o - 3*o + 2*n + 40. Let q be -2 + (3 - (0 - 1)). Suppose o = -q*d + 354. Is 28 a factor of d?
False
Let d(w) = w**2 - 11*w - 23. Let n be d(13). Let j be n/((-15)/50)*7. Is (j/(-6)*3)/(5/20) a multiple of 28?
True
Let o be 4*9/6 - 4. Suppose 15 = w + 4*x, 2*w - 112 = -o*w - 3*x. Is 20 a factor of w?
False
Suppose 0 = -4*z - 45 - 11. Is 19 a factor of (7/z)/((-5)/2110)?
False
Let o(v) = -56042*v - 490. Is o(-1) a multiple of 16?
True
Let u be 4 - (-3 - (4 - -6)). Let o be 7 + 2/(-4 + 2). Suppose o*n - u = 5*n. Is n a multiple of 4?
False
Suppose -o + 4*c = -1460, -5*o - 12*c + 14*c + 7354 = 0. Is 24 a factor of o?
False
Suppose 1285 = 4*s - 4215. Is s a multiple of 5?
True
Let o(a) = -427*a + 180. Does 9 divide o(-18)?
True
Does 19 divide (1729/4)/(10/(-12)*(-345)/17250)?
True
Let q = -425 - -423. Does 12 divide q/((-8 + 2)/3)*108?
True
Let f(t) = 2*t**3 + 2*t**2 - 2*t + 1. Let j be f(1). Let u = -3239 + 3095. Is (4 - j)/((-2)/8) - u a multiple of 35?
True
Suppose -100 = -25*h + 15*h. Suppose h*w = 27*w - 2193. Does 3 divide w?
True
Let s(z) = -6*z**3 - 5*z**2 + 10. Let c(k) = 5*k**3 + 4*k**2 - k - 9. Let w(a) = -5*c(a) - 4*s(a). Is 15 a factor of w(-4)?
False
Is 17*(-3 - (7 - 273)) a multiple of 11?
False
Let j = 2426 + -1706. Does 2 divide j?
True
Let c(m) = -2*m**2 + 35*m - 8. Let q be (-44)/(-5) - (-40)/(-50). Let b(x) = -5*x**2 + 104*x - 23. Let h(a) = q*c(a) - 3*b(a). Is h(-27) a multiple of 35?
True
Let j(z) = 2*z - 6. Let r be j(5). Suppose r*q + 111 = 59. Let w(n) = n**3 + 13*n**2 - 3*n - 25. Does 14 divide w(q)?
True
Does 7 divide (-11)/((-11)/2) - -211?
False
Let c be -8 - 10*(-4)/8. Let j be 2 - 3*(2 + c). Suppose j*q - 5*p - 620 = -p, 580 = 5*q + 4*p. Is q a multiple of 30?
True
Let j be (-3*5/(-9))/(4/12). Let r = 10 + j. Is (-6924)/(-45) - (-2)/r a multiple of 11?
True
Suppose -17*f - 40 = 3*f. Does 46 divide 9616/26 + f - 4/(-26)?
True
Let z(k) be the first derivative of k**3/3 - k**2/2 + 8*k - 1513. Suppose -f - l - 2*l = 4, -2*f - 8 = -4*l. Is 11 a factor of z(f)?
False
Let n = 204 - 213. Is (-4014)/n - -8 - 7 a multiple of 11?
False
Let f be (-6)/10 - 3663/(-5). Suppose b - 4 = 0, -m - 4*b = 3*m + f. Let i = 291 + m. Is i a multiple of 31?
False
Let r(f) = 7218*f**3 + f**2 - 4*f + 3. Let w be r(1). Suppose -13*m + w = -10462. Does 17 divide m?
True
Let i = 0 - -3. Suppose 0*s = i*s - 312. Is s a multiple of 13?
True
Let s(u) = -419*u + 1473. Is 131 a factor of s(-29)?
True
Let q be 10/(-3)*102/(-85). Does 21 divide (78/(-12) - q)*(1 + -19)?
True
Suppose -4*w + 3*j = w - 32, -3*j = -3*w + 24. Let u(c) = -c**3 + 5*c**2 - 2*c. Is u(w) a multiple of 2?
True
Suppose 75 = 7*b + 18*b. Suppose -18*s - 234 = -19*s - 3*v, -v - 702 = -b*s. Does 9 divide s?
True
Let t(k) = 313*k**2 - 95*k + 297. Does 3 divide t(3)?
True
Let z = 17015 - 559. Does 11 divide z?
True
Let w(b) = 34*b - 2 - 23*b**2 - 7 - 25*b**2 - 18*b**2 + 83*b**2. Is 2 a factor of w(-4)?
False
Is 21/35 + -5 + (-77964)/(-60) a multiple of 2?
False
Let b be ((-2)/2)/((-1)/16). Let s = -222 + 226. Suppose 0 = -5*a - s*x + 106, 2*a - 16 = x + b. Is a a multiple of 3?
True
Let u = -79 - -73. Does 5 divide (-14 + 19)/((-2)/u)?
True
Suppose 8*l - 10*l + a = -4303, -l + 2157 = 5*a. Is 71 a factor of l?
False
Suppose -x = 3*s - 50980, 5*x - 8*x = 5*s - 84972. Does 72 divide s?
True
Does 31 divide ((10/8)/((-90)/108))/((-1)/4618)?
False
Is 14 a factor of 4/(-28) - 1976488/(-119)?
False
Let i = 143 + -137. Is 720/(1 + 4) + i a multiple of 5?
True
Suppose -123*y = -118*y - 26305. Is y a multiple of 8?
False
Let p = 326 - 272. Let m = 28 + -67. Let l = p - m. Is 18 a factor of l?
False
Let g = -44 + 48. Let j = -17 - g. Let b = j + 124. Does 19 divide b?
False
Suppose 2*p + 10 = 0, -p = -5*j - 15 + 45. Suppose -y - j*r = -401, 3*y + 2*r - 5*r = 1257. Is y a multiple of 16?
True
Let d(z) = 9*z**2 + z - 15. Let n(c) = -2*c**2 - 2*c - 1. Let t(j) = d(j) + 4*n(j). Is t(-4) a multiple of 4?
False
Let s(c) = -2*c + 24. Let g be s(15). Is 27 a factor of (36*(-9)/(-21))/(g/(-42))?
True
Let v(j) = -9*j**3 - 16*j**2 + 57*j + 82. Let m(t) = -25*t**3 - 49*t**2 + 171*t + 245. Let l(c) = 4*m(c) - 11*v(c). Is 65 a factor of l(-23)?
False
Suppose 4*k - 12 - 12 = 0. Let m(w) = 4*w**3 + 19*w**2 - 8*w - 10. Let p(v) = v**3 + v**2 - 1. Let u(b) = -m(b) + 6*p(b). Is 9 a factor of u(k)?
False
Suppose -2*u = 28 + 10. Let c = u + 21. Let z(f) = 8*f**2 - 1. Does 6 divide z(c)?
False
Suppose 7*t + t - 6752 = 0. Suppose -n = 4*v - 1116, 3*v + 0*v - n = t. Is v a multiple of 10?
True
Let j(l) be the first derivative of l**4/4 - 2*l**3 - l**2/2 + 11*l + 17. Let r be j(6). Suppose 3*k + 310 = 5*z, 3*k - 4*k + 310 = r*z. Is z a multiple of 31?
True
Let n(o) = -2*o + 2 - 10*o + 0*o + o**2 + 2*o. Let z be n(10). Suppose -578 = -z*r - 3*r - 3*d, -r = d - 114. Does 25 divide r?
False
Let c be (-60)/(-24) - 1/2. Suppose -4*l = -2*h - 8, -14 = -4*h - 0*h - c*l. Suppose 5*b = t - h*t + 32, 2*t + 1 = 3*b. Is 2 a factor of t?
False
Let b = 3751 - 3717. Is b a multiple of 19?
False
Let g(b) = -2*b + 13. Let f(j) = 3*j - 14. Let o(i) = -6*f(i) - 4*g(i). Does 4 divide o(-2)?
True
Is 44*(612/(-48) - -13) + 17734 a multiple of 5?
True
Let n be (-17 - -9) + 2*1. Let b be n/24 + 385/4. Suppose -4*r = -3*h - 232, -5*h - b = -r - 21. Does 7 divide r?
False
Suppose 752041 = 75*y - 1985834. Is 65 a factor of y?
False
Let m(o) be the third derivative of o**5/60 - 11*o**4/24 + 11*o**3/6 + 35*o**2. Let r be ((-9)/12)/3 - (-45)/4. Is m(r) a multiple of 3?
False
Let i be (-1)/(87*(-1)/(-90) + -1). Let w = -46 + i. Is 8 a factor of w*((-3)/9 + 19/(-6))?
True
Suppose 12 = 2*l, 0 = -t - 194*l + 197*l + 19351. Is t a multiple of 93?
False
Let p(j) be the third derivative of 1/12*j**4 + 0*j + 1/30*j**5 + 1/120*j**6 + 26*j**2 + 11*j**3 + 0. Is p(0) a multiple of 11?
True
Let i(w) = 39*w + 15. Let q be i(3). Let g(y) = -q*y**3 - 23 + 23. Is g(-1) a multiple of 22?
True
Let q = 955 - 507. Suppose k = -3*f + 110, 0 = -k - 3*k - 4*f + q. Is 10 a factor of k?
False
Let m(l) = 2*l**3 - 10*l**2 - 2*l - 1. Let b(h) = h**2 - 29. Let u be b(-6). Is 12 a factor of m(u)?
False
Does 11 divide 1826*(-48 + 6)*(-5)/20?
True
Let h = 8 - 50. Let i be 37/7 + 12/h. Suppose 5*s - 42 - 568 = -i*g, -5*s = 2*g - 253. Is g a multiple of 22?
False
Let f(g) = -g**3 + 155. Let j = 70 + -66. Suppose 3*o - 2*c = 0, 0*o = j*o + 4*c. Is 19 a factor of f(o)?
False
Is 4 a factor of 21/(0*4/8 + (-36)/(-6432))?
True
Suppose 2 = -8*b + 10*b, -b = 5*q + 3039. Let a = q + 668. Is 12 a factor of a?
True
Let p = 6138 - 4053. Is 12 a factor of p?
False
Let l(o) = 4*o**2 - 22*o - 10. Is l(-22) a multiple of 64?
False
Let r(s) = s**3 + 33*s**2 + 51*s 