 + 107. Does 3 divide q?
True
Let x(t) = 393*t. Is x(1) a multiple of 13?
False
Suppose -21 = -6*k - k. Suppose 5*o = -w - 4 - 1, -o = -k*w - 15. Is (2 + -20)*-1 - o a multiple of 18?
True
Suppose -5*n + 12 = -2*h + 4*h, 0 = -h + 4*n + 6. Let p(l) = -l**2 + 8*l + 8. Is p(h) a multiple of 5?
True
Let b(o) = 5*o + 3*o - 1 + 0*o - o**2 - 6. Let a be b(5). Is ((-3)/(-2))/(6/a) a multiple of 2?
True
Let q be 4/(-28) + 3846/21. Let t = q + -63. Does 32 divide t?
False
Let k = 13 + -13. Suppose k = 9*i - 5*i - 880. Suppose 0 = -5*p + 50 + i. Is 18 a factor of p?
True
Let w be 3/(-1 + (9/(-84) - -1)). Let j = 34 + w. Does 4 divide j?
False
Let v(j) = 18*j**2 + j + 1. Let g = -60 + 42. Let s be 2/1*9/g. Is 9 a factor of v(s)?
True
Suppose -15*x - 144 = -7*x. Is (3 + x)*((-16)/10 - 2) a multiple of 18?
True
Does 9 divide (15/(-1))/((-19)/228)?
True
Is ((-10)/4)/((-142)/208740) a multiple of 43?
False
Suppose 800 = 2*s + 4*j - 8*j, 5*s = j + 1982. Is 49 a factor of s?
False
Suppose 15*t - 10*t - 2*s = 7490, -2*s = -2*t + 2996. Does 7 divide t?
True
Let n(p) = p**3 - 2*p**2 - 3*p - 4. Let g be n(3). Let b(t) = 5*t - 8. Let h(m) = -7*m + 12. Let v(a) = -8*b(a) - 5*h(a). Is 7 a factor of v(g)?
False
Suppose m = -4*r + 56, 3*m = -4*r + 83 - 27. Suppose 0 = r*y - 13*y - 11. Is y even?
False
Let z(p) be the third derivative of -p**4/12 - 5*p**3/3 - 18*p**2. Let f = -29 - -18. Is z(f) a multiple of 4?
True
Let i = 0 - -3. Suppose -i*y - 2 = 4. Is 1/((-1)/48*y) a multiple of 10?
False
Let m be (13/2)/(3/6). Let v = m - -9. Does 3 divide v?
False
Suppose 5088 = -16*n + 22*n. Does 50 divide n?
False
Let u(c) = -c**3 + 3*c**2 - 3*c + 348. Does 12 divide u(0)?
True
Suppose 32 = 4*f - 5*q, 2*f - 4*f + 3*q + 18 = 0. Suppose -5*n + 218 = -3*c - 174, -f*n - 5*c = -208. Does 19 divide n?
True
Suppose 844 = 3*i + 2*a - 1968, 0 = -2*i + 3*a + 1866. Does 73 divide i?
False
Suppose 0 = -5*n + 716 - 36. Let i = -283 + n. Let f = 270 + i. Is f a multiple of 25?
False
Let j = -27 - -26. Let m(s) = 12*s**2 + 3*s + 2. Does 11 divide m(j)?
True
Suppose 5*k + 6 = 31. Suppose 0 = k*c - 0*c - 25. Suppose 37 = 3*o - f, 5*f = c*o - o - 31. Does 7 divide o?
True
Let z be 6/(-21) + (-18)/(-14). Suppose 4*f - 12 + 76 = 0. Is ((-7)/14)/(z/f) a multiple of 4?
True
Suppose 8 = 2*o + 2. Let u(i) be the third derivative of 7*i**4/24 - i**3/2 + 51*i**2. Is u(o) a multiple of 8?
False
Let l = -2526 + 3050. Is 3 a factor of l?
False
Suppose 4*j + 12 = 0, 4*g + 3*j + 1 = -0*g. Suppose 59 = 3*v + 5*s, -2*v + g*s = 2*v - 96. Does 6 divide v?
False
Suppose 440 = 2*c - 4*q, -q - 188 - 34 = -c. Suppose -c = -4*y + 196. Does 35 divide y?
True
Let d(i) = -i**2 + 7*i - 6. Let v be d(6). Suppose m - 2*m = v. Suppose m*k + 24 = k. Is k a multiple of 8?
True
Let q(l) = 10*l**2 + l + 1. Suppose 6*h - 2*h = 12. Let r be q(h). Suppose -18 = -2*t + r. Does 26 divide t?
False
Let v(u) = 2*u**2 + 22*u - 226. Is v(-19) a multiple of 13?
True
Suppose 1157 = -20*g + 7237. Is g a multiple of 19?
True
Let o be (6 - -4)*(-18)/(-4). Suppose 0 = -d + o + 24. Is 33 a factor of d?
False
Let r = -46 - -68. Suppose 2*q + q - 12 = 0. Suppose -2*l + q*l - r = -2*w, -2*w - 2 = 0. Is l a multiple of 6?
True
Let l(x) = 2*x - 10. Let g be l(6). Suppose -g*j = 2*j + 16. Is j/6*600/(-16) a multiple of 25?
True
Let f = -5 - -7. Suppose f*t + 9 = t. Let r(b) = b**2 + 8*b + 1. Is 10 a factor of r(t)?
True
Suppose -1 = -5*m - 11. Let n(t) = -3*t + 1. Let j(d) = -d + 1. Let f(g) = m*n(g) + 5*j(g). Is f(8) a multiple of 4?
False
Suppose 7*n - 3*n = 280. Let j = -13 + n. Is j a multiple of 15?
False
Suppose 2*y - 5*q + 24 - 68 = 0, -5*y + 80 = -5*q. Let b be (272/(-6))/((-8)/y). Suppose p - 63 = -2*h + b, 4*h - 253 = -5*p. Is h a multiple of 22?
False
Suppose 2595 = 16*y - 13*y. Is 24 a factor of y?
False
Suppose 7*w - 14128 - 19493 = 0. Is 141 a factor of w?
False
Does 20 divide 77/231 + (-1708)/(-6)?
False
Let r = -8 + -34. Let a = 75 + r. Is 11 a factor of a?
True
Suppose -2*y - 2*c + 34 = 0, -5*c + 15 = 2*y - 25. Is 17 a factor of ((-36)/y)/((-2)/85)?
True
Let j = 3044 - 1986. Is 18 a factor of j?
False
Let k(v) be the second derivative of -2*v**3/3 - 23*v**2/2 + 31*v. Is k(-8) a multiple of 3?
True
Let o(v) = 38*v**2 - 9*v + 9. Does 26 divide o(7)?
False
Suppose 2*g - 76 = -0*g. Suppose -2*u - g = -d, 2*d - 85 = -4*u - 9. Is d a multiple of 8?
False
Let p be (-231)/14*(-56)/12. Suppose y + 32 = p. Does 2 divide y?
False
Let o(l) = -l**3 - 4*l**2 - 9*l - 12. Let n be o(-5). Let b be 1*2*7 + -1. Let t = n - b. Is 19 a factor of t?
False
Let v(h) = -h**2 - 19*h - 16. Is v(-8) a multiple of 7?
False
Let r(n) = 5*n**3 + n**2 - 2*n + 1. Let p be r(1). Let y(f) = 40*f + 5. Let m be y(2). Suppose -p*b + m + 9 = -h, 4*b + h = 68. Does 15 divide b?
False
Let h be ((-36)/(-8))/9*56. Suppose 2*r - 112 = -h. Does 8 divide r?
False
Suppose 3*a - 1321 = -x + 670, 0 = a + 3*x - 669. Does 3 divide a?
True
Suppose 0 = g - 2 - 3. Suppose -5*m - g = -5*q, 5*m + q + 19 = -q. Is 6 a factor of (-3)/((-4)/(-92)*m)?
False
Let x(j) = -12*j**2 - j - 1. Let f(r) = 12*r**2 + r + 1. Let d(n) = 4*f(n) + 3*x(n). Let i be d(-1). Let w = i - 0. Is w a multiple of 6?
True
Suppose 4*g - 4*u - 4 = 12, 4*u = 2*g - 14. Let w(n) = n**2 + 8*n + 15. Let k be w(-6). Does 12 divide (g/3)/(k/639)?
False
Let c(m) = -2*m + 12. Let n(y) = y**2 + 6*y - 1. Let t be n(-7). Let f be c(t). Suppose -o - 4*o + 380 = f. Is 19 a factor of o?
True
Let t = -6 - 5. Let s = -9 - t. Suppose -s*x - x = 5*v, 3*x = 4*v - 27. Does 3 divide v?
True
Let p(y) = -45*y + 94. Is 15 a factor of p(-6)?
False
Let k(j) = -5*j**2 - 6*j + 2*j - 2 + 9 + j**3 - 5. Let g be k(6). Let a = 26 - g. Is a a multiple of 12?
True
Let y(o) = o**2 - 4*o - 44. Is y(25) a multiple of 13?
True
Suppose 4*s - 22 = 58. Suppose -3*a = -a - s. Suppose -7*f = -a*f + 135. Does 15 divide f?
True
Suppose p = 4*l - 12, -3*p = -5*p + 2*l. Let r = p + 3. Suppose -4*f - 207 = -r*f. Is 14 a factor of f?
False
Let x be 9/(23/20 + 12/(-30)). Suppose -2*k = 2*k. Does 13 divide k/1 + x + 1?
True
Suppose 0 = 25*k + 3685 - 9035. Is k a multiple of 30?
False
Let u be 13/5 - (-3)/(-5). Suppose u*w = -l + 45, 2*l - 11 = -2*w + 35. Does 6 divide w?
False
Let j(u) = 2*u**3 - 12*u**2 + 3*u - 13. Let p be j(6). Suppose -p*o + 37 - 12 = 0. Is 3 a factor of o?
False
Suppose 2*u = 4*l + 100 + 16, -2*u + l + 107 = 0. Let s = u + 42. Is s a multiple of 10?
False
Let a be 2/(6/9) + -9. Is 6 a factor of (a + 9)/6 + (-35)/(-2)?
True
Let d = -33 - -264. Does 11 divide d?
True
Suppose -m - 4*h + 112 = 0, 4*m - 2*m - 169 = 3*h. Suppose -m = -6*x + 4*x - 4*z, 5*x - z = 219. Is x a multiple of 22?
True
Let k = 33 + -30. Suppose k*p + 2*x + 0*x = 592, -5*x = 4*p - 787. Is p a multiple of 33?
True
Let t(f) = 4*f - 9. Let u be t(3). Let a = u + 0. Is a even?
False
Suppose -6 = c + 4*g, 0 = 2*c - 5*c - 5*g - 18. Is 22 a factor of (1 - 3/(-6))*(-88)/c?
True
Let q(f) = -f**3 + 17*f**2 + 102*f - 18. Does 60 divide q(21)?
True
Let d = -523 + 883. Is 12 a factor of d?
True
Let b(m) = -m**3 + 13*m**2 + 12*m - 1. Is 29 a factor of b(7)?
True
Let b = 197 - 97. Let p be b/15 + 2/6. Does 12 divide (18/p)/((-1)/(-7))?
False
Let v(o) be the third derivative of o**5/60 - o**4/12 - 11*o**3/6 + 4*o**2. Let a be v(5). Is (-4)/8 + 38/a a multiple of 9?
True
Suppose 4*x - 192 = -2*d, 5*x = 7*x - d - 104. Suppose 3*a + x + 295 = -3*y, -5*y = 10. Let q = a + 180. Is q a multiple of 19?
False
Let c be -1 - (-1 - 0) - 1. Let x(s) be the third derivative of -13*s**4/12 - 7*s**2 - 4. Does 12 divide x(c)?
False
Let n(h) = h**3 + 4*h**2 - 7*h - 5. Let y be n(-5). Let f(d) = 7*d + 17. Does 13 divide f(y)?
True
Let f(c) = -c**3 + 29*c**2 + 41*c - 129. Is 16 a factor of f(29)?
False
Let w = 18 + -14. Let x(l) = l**3 - 2*l**2 + 4*l - 3. Is x(w) a multiple of 15?
True
Let g(k) = -83*k - 9. Is g(-1) a multiple of 5?
False
Let h be 524 - ((-4)/(-2) + -5). Let a = h + -320. Suppose 2*r = b - 3*r - 59, 3*r + a = 5*b. Is 13 a factor of b?
True
Let g(w) = -4*w**3 - 2*w**2 + 4*w - 14. Is 16 a factor of g(-5)?
True
Let p(o) = 99*o**2 + 7*o - 11. Does 42 divide p(2)?
False
Suppose -12*t + 6 = -13*t. Let o(p) = -2*p - 12. Let k be o(t). Suppose -v - 2*v + 12 = k, 92 = 2*i - v. Is i a multiple of 10?
False