 = 33 - m. Is 3 a factor of f?
True
Is 15 a factor of (-3)/((-231)/324544) + (-4)/(-28)?
True
Let o(v) = v**2 + 4*v + 98. Is o(-14) a multiple of 17?
True
Suppose 115 - 37 = -3*w. Let f = 45 + w. Is 19 a factor of f?
True
Let q = 37 + -23. Let x = q + 1. Does 9 divide (-6)/x + (-1092)/(-30)?
True
Suppose -4*q + 2*m - 94 = 0, 3*q = 8*q - 5*m + 125. Let l = -2 - q. Is 4 a factor of l?
True
Let u(i) = -i + 31. Let c = 3 - 3. Is 5 a factor of u(c)?
False
Suppose 3*f = -4*h + 867, -12*h = -14*h + 6. Is 31 a factor of f?
False
Let v = 48 - 27. Let n(q) = q - 8. Let s be n(4). Let a = v + s. Is 5 a factor of a?
False
Let g(a) = 216*a**2 + 16*a - 16. Does 13 divide g(1)?
False
Let n(o) = -o**2 - 8*o - 12. Let v be n(-4). Suppose -326 = -2*m + v*r, 0*r + 807 = 5*m - 2*r. Is m a multiple of 19?
False
Let l = -20 - -24. Suppose -l*h + 128 = -2*g, 30 = 2*h - 4*g - 46. Suppose -j - 3*s = -23, 2*j + 3*s - 4 = h. Is j a multiple of 11?
True
Let t = 4406 - 2037. Is 23 a factor of t?
True
Let n(d) = d**2 + d. Let s be n(5). Let i = 34 - s. Suppose m - i*v = -0*m, 4*v - 80 = -4*m. Is m a multiple of 10?
False
Let b be (-3)/5 - (-27)/(-5). Let t(p) = 6*p**2 + 18*p + 9. Does 9 divide t(b)?
True
Let m = -244 + 383. Is m a multiple of 31?
False
Let j(b) = 112*b - 48. Is j(30) a multiple of 24?
True
Suppose 0 = 2*g + 3*q + 2, -4*g - 2*q + 15 = 3. Suppose -g*f + 6*f - 110 = 0. Is 10 a factor of f?
True
Suppose 3*p - 4*p + 15 = 0. Let z(b) = b**3 - 15*b**2 + 2. Let u be z(p). Suppose -3*v + 4*m = -u*v - 91, 0 = -v - 3*m + 77. Does 19 divide v?
False
Let b be 2/((-12)/(-4542)) - 5. Is 12 a factor of ((-40)/(-35))/2 - b/(-7)?
True
Let c be (-4)/7*(-6)/((-60)/(-35)). Suppose -2 = -3*h - 8, 0 = -2*s - c*h + 136. Is s a multiple of 21?
False
Suppose -2193 + 6153 = 11*j. Does 18 divide j?
True
Let i = 204 + -171. Is 14 a factor of i?
False
Let p(b) = b**2 + 69*b + 158. Is 5 a factor of p(-73)?
True
Is 43 a factor of ((-100)/40)/((-10)/344)?
True
Suppose -12*u + 1152 = -1260. Is u a multiple of 13?
False
Let w be (-4425)/9 - (-1)/(0 + -3). Is 28 a factor of 0 + (w/(-4) - 5)?
False
Let u(w) = 11*w**3 + w**2 + 2*w - 2. Let a be u(1). Suppose -17*b + 14*b = -a. Suppose -24 = -2*n - 5*l, -8 = -3*n - b*l + 14. Is n a multiple of 2?
True
Suppose -7*b + 4*b + 373 = -5*d, -4*b + 4*d = -508. Is b a multiple of 38?
False
Is (-6 - (-340)/50)*(691 - 1) a multiple of 4?
True
Let q be 3 + (-3 - (1 - 24)). Let r be ((-4)/(-3))/(2/3). Suppose 0 = -3*z + r*z - 5*s + q, 135 = 5*z + 5*s. Does 14 divide z?
True
Let b(o) = -1914*o + 60. Is b(-1) a multiple of 21?
True
Let g(t) = -94*t + 2. Is 18 a factor of g(-4)?
True
Let b(y) = 24*y + 67. Let m = -35 + 41. Is b(m) a multiple of 20?
False
Let r = 14 - -86. Is 26 a factor of r?
False
Is ((-72)/20)/(7902/1320 - 6) a multiple of 8?
True
Suppose -22*a - 62363 = -81*a. Does 7 divide a?
True
Let d = -168 + 618. Is 45 a factor of d?
True
Let q(f) = -8*f - 1. Let d be q(-14). Let y = -79 + d. Is 18 a factor of y?
False
Suppose 3*q - 13 = 11. Suppose q*v = 867 - 307. Is v a multiple of 10?
True
Let m(c) = 23*c + 1. Let h(g) = 24*g + 1. Let r(a) = -5*h(a) + 6*m(a). Is r(7) a multiple of 16?
False
Suppose -o - 5*t + 8*t = -410, -12 = 3*t. Does 26 divide o?
False
Let z = -2256 + 3759. Is z a multiple of 29?
False
Let m = 44 + -40. Suppose 0 = 5*u + 2*p - 247, -4*u - m*p = -0*p - 200. Is 39 a factor of u?
False
Let w = -261 + 471. Is w a multiple of 7?
True
Let i(z) = z + 39. Let y(t) = -3*t - 117. Let k(v) = 7*i(v) + 2*y(v). Is k(25) a multiple of 3?
False
Is 37 a factor of (-5 + -971)/((-20)/50)?
False
Is 25 a factor of (4 + (-792)/(-27))*1*18?
True
Let p = -14 - -15. Is 27 a factor of p*(-216)/(-3 + 1)?
True
Suppose -133 = -h + 7. Suppose 4*l = -4*u + 152, l = 4*u - l - h. Suppose -u = -4*m + m. Does 11 divide m?
False
Let h = -66 + 84. Suppose 3*c + 2700 = h*c. Is 30 a factor of c?
True
Does 22 divide 3/((-18 - -15)/(-22 - 1))?
False
Let r = 6002 + -3268. Does 108 divide r?
False
Suppose 13710 = -40*r + 55*r. Is 19 a factor of r?
False
Let f(h) = h**3 + 15*h**2 + 12*h - 3. Is f(-14) even?
False
Suppose -5*t = -4*v + 2873, 3*t = -5*v + 900 + 2719. Is 30 a factor of v?
False
Let z(c) = -26*c**2 - 4*c - 46. Let f(o) = 5*o**2 + o + 9. Let w(n) = 16*f(n) + 3*z(n). Does 34 divide w(-11)?
True
Does 11 divide ((-330)/(-25))/((-26)/(-1495))?
True
Suppose 3*f - 54 = 3*c + 204, -2*f + 3*c + 171 = 0. Does 87 divide f?
True
Let a = -17 - -33. Is a/(-3)*(-459)/36 a multiple of 22?
False
Let v(f) be the third derivative of f**6/120 - f**5/60 - f**4/24 + 125*f**3/6 - 27*f**2. Is 17 a factor of v(0)?
False
Suppose 0 = -g + 45 - 14. Suppose 5*z + 1 = g. Suppose -378 = -z*f - 0*f. Does 9 divide f?
True
Suppose g - 6*g - 1450 = -4*p, 6 = -3*g. Does 18 divide p?
True
Suppose 17*k = 19*k + 3*n - 2324, 0 = -2*k + 5*n + 2292. Is k a multiple of 17?
True
Is 15 a factor of ((-1045)/22)/(73/(-24) - -3)?
True
Is 96 a factor of 4 + (-54)/15 - (-13198)/5?
False
Is (24 + 188)/(2 - -2) a multiple of 31?
False
Let g(s) = 4*s**3 + 6*s**2 - 19*s - 27. Is 12 a factor of g(6)?
False
Suppose -4*m - 2 + 10 = -2*h, 2*m - 6 = 2*h. Let q = h - -109. Does 28 divide q?
False
Let f = 16 + -18. Let i be -37 + 8/(f - 2). Let z = i + 87. Is 24 a factor of z?
True
Suppose 2*r = -10*v + 5*v + 6906, v = -2*r + 1386. Does 138 divide v?
True
Suppose 0 = 2*r + 7 - 1, 0 = 3*s - 3*r - 1059. Is s a multiple of 14?
True
Suppose -3*t = -5*q + 198, 152 = 4*q - 6*t + 2*t. Suppose 0 = 3*l - 9 - 3. Is ((-10)/(-3))/(l/q) a multiple of 7?
True
Let s(r) = -r - 9. Let x be s(-5). Let o be (-6)/x*104/3. Suppose -5*m - o = -9*m. Is m a multiple of 4?
False
Is (2 - 7) + 15/(-3) + 284 a multiple of 11?
False
Suppose n + 1 + 8 = 0. Let w = n - -14. Let m(x) = 3*x + 4. Is 7 a factor of m(w)?
False
Suppose 1415*t - 1421*t + 1800 = 0. Does 30 divide t?
True
Suppose c - 2*z + 5*z - 12 = 0, 0 = -4*z + 16. Suppose 21 = 3*h - 30. Suppose c = 5*m + h - 77. Is 7 a factor of m?
False
Let z = -82 + 50. Is (-30)/(-8)*z/(-3) a multiple of 9?
False
Let x(t) = -5*t - 2*t + 5*t - 6 - 4*t. Is x(-5) a multiple of 8?
True
Let m(d) = 9*d - 14. Let c(j) = j**2 - j - 1. Let l(p) = 2*c(p) - m(p). Is l(-6) a multiple of 10?
True
Suppose -197 = s + x, -s + x + 2*x - 209 = 0. Let i = s - -406. Is 30 a factor of i?
False
Does 51 divide (-4119)/2*((-176)/(-24) + -8)?
False
Let s(i) = 2*i**3 - 2*i**2 - 3*i + 3. Let w be s(2). Suppose -380 = -w*l - 5*m, 3*m + 92 = 2*l - l. Is 20 a factor of l?
True
Suppose 4*c - 10438 = s, -10426 = -4*c - 31*s + 26*s. Is 45 a factor of c?
False
Let k(p) = 2*p - 16. Let c be k(16). Is 27 a factor of ((-1)/4)/(4/c)*-101?
False
Suppose 493*k - 495*k + 816 = 0. Is k a multiple of 16?
False
Suppose -5*f - m + 613 = -660, -2*f + 514 = -2*m. Is f a multiple of 17?
True
Suppose 0 = 5*o, -60*o = -2*a - 65*o + 1008. Is 4 a factor of a?
True
Let h(t) = -9*t**2 - 2*t**2 - 2*t**3 + 1 + t + 18*t**2 - 4*t**2. Is h(-2) even?
False
Let s(v) = 65*v**2 + 14*v + 33. Is 64 a factor of s(-3)?
True
Let g(b) = -125*b - 18. Is 20 a factor of g(-3)?
False
Let t = 77 + -36. Suppose -4*n + 265 = t. Does 14 divide n?
True
Let z(t) = -t**3 - 10*t**2 + 9*t + 8. Suppose u - 3*u - 50 = 0. Let q = u + 14. Does 28 divide z(q)?
False
Let d(p) = 21*p**2 + 0*p**2 + 3*p - 1 - 10*p**2 - 10*p**2. Let v be (-12 - -2)/(0 - -1). Is 19 a factor of d(v)?
False
Let b = 28 + -28. Suppose -4*c - 8 = -3*t - b*c, -2*t + 6 = -2*c. Does 2 divide t?
True
Let x(i) = -i - 19. Let k be x(-17). Does 29 divide (-3)/((-9)/543) - k/2?
False
Suppose -10*v = -4*c - 8*v + 632, -4*v + 296 = 2*c. Does 12 divide c?
True
Let p = 2 + -7. Let t be (p/10)/(2/(-20)). Suppose t*l + 20 = 2*m - m, 0 = -5*m + 2*l + 54. Is 3 a factor of m?
False
Suppose 0 + 4 = 4*f. Suppose -f + 2 = w. Is 8 - 5 - (-14)/w a multiple of 8?
False
Let l = -14 - -40. Let u be (4 + 0)/(2/l). Suppose -p = -23 - u. Does 19 divide p?
False
Let m(v) = -4*v + 16*v + 5*v - 68. Does 3 divide m(6)?
False
Let w be (2 + (2 - (-88)/(-20)))*-20. Does 2 divide (-4)/w*12/(-6)*3?
False
Let g = 5 + -1. Suppose -3*o = -5*o + g*y + 26, 4*y + 8 = -4*o. Is 28 a factor of 147/o + 0/2?
False
Let a = 83 + 301. Is a a multiple of 26?
False
Suppose -r + 6*v = v - 27, -4*r + 5*v = -48. Suppose -1430 = -4*c - r*c. Is 26 a factor of c?
True