1894 = 21*j - 23*j + 5*f. Is j a multiple of 19?
False
Suppose 5*o - 60 = -5*j, -90 = -10*j + 5*j + o. Suppose 5*l - m = j, 3*l + 3*m = -l + 6. Suppose l*y - 3 = 66. Is 14 a factor of y?
False
Let q be (-27)/(-6) + 5/10. Suppose q*u - 107 = 723. Let t = u + -82. Is 15 a factor of t?
False
Let f be (-1 - 13)/((-18)/(-27)). Does 3 divide (-4 - f/12)*-8?
True
Let d = 952 + -603. Suppose t = 2*f + 4*t - d, t = 2*f - 337. Is f a multiple of 34?
True
Suppose 64 + 62 = 9*h. Suppose h*i - 558 = -4*i. Does 5 divide i?
False
Let c = -551 + 566. Does 7 divide c?
False
Let h(c) = -c**2 - 9*c - 4. Let k(a) = a**2 + 8*a + 3. Let q(t) = 3*h(t) + 4*k(t). Let i be q(8). Suppose 3*f = -2*y + i, 5*y + 10 = 3*y. Is f a multiple of 19?
True
Suppose -2992 = -10*m + 2*m. Does 22 divide m?
True
Let i(w) = 267*w**2 - 3*w - 3. Let m be i(-1). Suppose m = 2*g - 2*q + 53, 5*g - 505 = -5*q. Is 11 a factor of (3 + 1)/(16/g)?
False
Suppose 13*s - 25 = 53. Let d = 126 + -90. Let u = d - s. Is 15 a factor of u?
True
Suppose -4*g - 15*a + 18*a = -14384, -3581 = -g - 3*a. Is 62 a factor of g?
False
Let m(s) = -5*s + 0*s**2 + 5*s + s**2 - 6*s + 6. Does 23 divide m(-4)?
True
Let r = 43 - 37. Suppose 0 = 6*n - r - 138. Is n a multiple of 8?
True
Suppose -2*q + 4*q + 312 = 0. Let z = 281 + q. Does 25 divide z?
True
Let h(u) be the third derivative of u**6/120 + u**5/10 - u**4/3 - u**3/6 + 2*u**2. Is 6 a factor of h(-7)?
True
Let b = 1131 - 650. Suppose 3*q + b = 5*t, 5*t = 5*q + 299 + 186. Is 11 a factor of t?
False
Suppose 4*y = -3*h + 91, -30 - 54 = -3*y + 3*h. Is 2 a factor of y?
False
Suppose 63 = 2*n - 45. Is (-1)/3 - (-4230)/n a multiple of 19?
False
Suppose -j = o - 609, -3*o + 11*j = 6*j - 1851. Is 12 a factor of o?
True
Let m be 3 + -2 + -1 + 0. Suppose z = 2*i + 3*z - 2104, 4*i - 5*z - 4208 = m. Is 28 a factor of 3/(-4) + i/16?
False
Suppose 0 = 38*u - 37*u - 170. Suppose -2*g = 3*g - u. Does 12 divide g?
False
Suppose 151*d + 165 = 152*d. Is 11 a factor of d?
True
Let s(g) = g**2 + 7*g + 2. Let r(u) = -u**2 - 10*u - 8. Let d be r(-10). Is s(d) even?
True
Let c = 29 - 8. Does 14 divide (-3)/(9/(-22))*c?
True
Suppose 4*q + 0*q + 232 = -3*w, -2*q - 78 = w. Let t = w - -221. Is 14 a factor of t?
False
Let n be 4/6 - (-30)/9. Let r be (-2 - (n + -3)) + 73. Suppose -3*p = 2*o - r, -2*p - 4*o + 40 = -o. Is p a multiple of 6?
False
Let d(b) = 5*b**2 + 5*b - 1. Let p(f) = -f. Let h be p(-2). Is d(h) a multiple of 20?
False
Let i(a) = 3*a + 53. Let y be i(-17). Does 21 divide (-3 + y)/((-3)/567)?
True
Does 104 divide ((-6860)/90*-6)/(2/6)?
False
Suppose 276*a = 271*a + 350. Is 51 a factor of a?
False
Suppose 2*q - 305 = 885. Suppose 2*z + 5*u = 62 + 322, 3*z - 2*u = q. Is z a multiple of 37?
False
Let z = -32 + 50. Is (-73)/(-3) - 6/z a multiple of 4?
True
Suppose 5*p - 4*m = 16, 2*p + 7 = 3*p + 3*m. Suppose -p*t = -4*w + 4, -4*w + 2*w + 2 = 5*t. Is t + 0 - 22*-2 a multiple of 22?
True
Suppose 8*p - 5*p - 98 = 4*z, z = p - 32. Does 27 divide ((-36)/p)/(1/(-45))?
True
Suppose 0 = 8*s - 903 - 2721. Is s a multiple of 3?
True
Suppose 2*r - 40 = 10*r. Does 32 divide (r - (-78)/18)/(4/(-582))?
False
Let d(k) = -4*k**2 - 2*k + 1. Let o be d(1). Let b(y) = y**3 + y - 1. Let g(q) = 6*q**3 + 10*q**2 + 11*q - 1. Let f(r) = o*b(r) + g(r). Is 8 a factor of f(-9)?
False
Let p(y) = 204*y + 15. Let n be p(7). Let m = -1020 + n. Suppose 5*q + h - 2*h - m = 0, -h = -4*q + 338. Is 17 a factor of q?
True
Let q(b) = 9*b**2 - 11*b - 39. Is q(-3) a multiple of 15?
True
Suppose -5*o + 11194 = 2*b, -7 = b - 4. Does 140 divide o?
True
Let m be (5*1)/(4/(-8)). Is 18 a factor of (-174)/m - (-21)/35?
True
Let x be (7 + -4)/3 + -1. Let f(c) = -2*c**2 + c + 28. Is 14 a factor of f(x)?
True
Suppose -3*q + 1455 = 111. Is 21 a factor of q?
False
Suppose 2*b + 2*i - 83 = -3*i, i + 111 = 4*b. Suppose -b*m = -26*m - 54. Is m a multiple of 3?
True
Let f(z) = z + 12. Suppose 2 = -2*g + 8, 4*p + g = 3. Suppose 7*t + 3 + 39 = p. Does 6 divide f(t)?
True
Let n(t) = -3*t - 2. Let q be n(-7). Suppose 5*k - 6 = q. Suppose -k*y + 2*o + 179 = o, 58 = 2*y + 3*o. Is y a multiple of 7?
True
Let k(m) = 34*m + 8. Let c(r) = 137*r + 32. Let g = -34 - -25. Let w(x) = g*k(x) + 2*c(x). Does 15 divide w(-2)?
False
Suppose -16*f - 30 = -22*f. Suppose -f*x = -8*x + 240. Is x a multiple of 16?
True
Let q(r) = -r**3 + 7*r**2 + 10*r - 14. Let m be q(8). Suppose -2*a - 3*b = -15, m*b = 4*a - 62 - 8. Is a a multiple of 11?
False
Let f be (-32 - -6)*(-2)/4. Let z = f + -11. Suppose -45 = 3*g + z*c - 179, -4*g + 164 = -c. Does 11 divide g?
False
Suppose 0 = -3*a - 6, -3*a - 2*a = 5*r. Suppose 0 = 2*m + r*y - 162, 6*y - 170 = -2*m + 2*y. Is m a multiple of 7?
True
Let n = -7 + -30. Let a = n + 11. Let i = a + 55. Is 11 a factor of i?
False
Suppose -1 = -3*u + 11, -2*u - 76 = 4*h. Let c = -91 + 141. Let b = c + h. Is b a multiple of 14?
False
Let l(y) = -y**2 - 12*y - 36. Let n be l(-8). Does 30 divide 39 - (6/n*-2 - 6)?
False
Let b be -4*5/(-4) - 1. Suppose -27 = -q - j, 86 = 6*q - 3*q + b*j. Does 2 divide q?
True
Is 3020/15 - (4/3 + -2) a multiple of 12?
False
Let o(w) = -75*w**3 - 13*w**2 + 2*w - 3. Let j(h) = 38*h**3 + 6*h**2 - h + 1. Let y(u) = -7*j(u) - 3*o(u). Let g be y(-2). Is (-4)/(-18) + g/36 a multiple of 2?
False
Let d(w) be the third derivative of w**6/120 - w**5/60 - w**4/3 + w**3 + w**2. Let n = -155 - -160. Does 10 divide d(n)?
False
Let z be (-1169)/10 + 4/(-40). Let b = z - -233. Is b a multiple of 4?
True
Let g(s) = s**3 + 11*s**2 + 11*s + 9. Let m be g(-10). Does 41 divide (-4 - (39 - m))*-1?
False
Let i(w) = w**2 + 18*w - 30. Let d be i(-20). Suppose -320 = -d*m + 2*m. Is m a multiple of 40?
True
Is -2 + (-418)/(-6) + 21/63 a multiple of 29?
False
Suppose -162*y + 707332 = 2*y. Is y a multiple of 19?
True
Suppose -i - i = 0. Suppose -a = s - 3 - 2, i = 3*a + 2*s - 12. Suppose -x + a*l - 199 = -6*x, -l - 115 = -3*x. Is 14 a factor of x?
False
Suppose -4*s + 9*s - 60 = 0. Let m be 4 - (-2 - s/(-3)). Suppose 2*b - 32 = -m*b. Is b a multiple of 3?
False
Let o(t) = 26*t - 188. Is o(11) a multiple of 32?
False
Let t = -160 - -169. Let f(b) = -b**3 + 3*b**2 + 2*b - 11. Let h(j) = j**2 + j + 1. Let i(g) = -f(g) - 5*h(g). Does 8 divide i(t)?
True
Let z(n) = -n**2 - 7*n + 2. Let q(c) = -c**2 - 7*c + 1. Let k(y) = 6*q(y) - 7*z(y). Is k(4) a multiple of 9?
True
Let y = 3 + 7. Let g(o) = o - 1. Let j(u) = 10. Let p(b) = 4*g(b) - j(b). Is p(y) a multiple of 13?
True
Suppose 3*x + 10 - 25 = 0. Is 9 a factor of ((x/(-2))/5)/((-1)/126)?
True
Let b(p) = -20*p + 7. Let v(u) = -10*u + 4. Let o(f) = -2*b(f) + 5*v(f). Let a(z) = -10*z + 7. Let g(q) = -4*a(q) + 3*o(q). Is g(4) a multiple of 7?
False
Is (5 + 217/8)*2*4 a multiple of 19?
False
Suppose 0 = 20*w + 1650 - 9270. Does 23 divide w?
False
Let c(z) = z**3 - 6*z**2 + 3*z + 85. Is 6 a factor of c(12)?
False
Let w(y) = 12*y**2 - 30*y + 41. Is 30 a factor of w(18)?
False
Let z(m) = 21*m**2 - 2*m + 3. Let c be z(4). Suppose -c = -5*s - 96. Suppose s = 5*k - 3*o - o, -4*o + 19 = k. Is k a multiple of 11?
True
Let p = 966 - 487. Does 42 divide p?
False
Suppose -4*m + 9 + 3 = 0. Suppose 590 = 5*j + 5*z, 3*j - 590 = -2*j + m*z. Suppose -40 = -2*y - 3*b, 5*b - 43 + j = 5*y. Is 17 a factor of y?
True
Let j = 14 + -12. Suppose -5*r = -2*n - 625, 3*n + 366 = 5*r - j*r. Is r a multiple of 38?
False
Is 49 a factor of (-154)/4*(-30 + 16)?
True
Let g(i) = -i**2 - 18*i + 12. Let y be g(-13). Suppose -2*n + y + 59 = 0. Suppose 7*s + n = 11*s. Is 17 a factor of s?
True
Let y(g) = -9*g + 509. Is y(41) a multiple of 5?
True
Does 6 divide (-5 + 6)/((-5)/(-485))?
False
Let o be 8/14 - (-40)/28. Does 24 divide (28/(-49))/(o/(-203))?
False
Let t(y) = 2*y + 148. Is t(38) a multiple of 80?
False
Suppose 4 = 2*x, -4*x + 2114 + 1394 = 5*c. Does 7 divide c?
True
Let b(z) = -49*z + 12. Is 10 a factor of b(-4)?
False
Does 7 divide 101 - 2/(-6)*0?
False
Does 19 divide 1291/((-6)/(-8)*(-22)/(-33))?
False
Let y(t) = -3*t + 5. Let u be y(-1). Suppose -u*p - 227 = -1379. Does 17 divide p?
False
Suppose 3*p + 67 = 3*i + p, -56 = -4*i - 4*p. Let a be 1 - (3 - (-6)/2). Let y = a + i. Is 7 a factor of y?
True
Let c(p) = p**2 + 4*p - 2. Let m be c(-8). Suppose -21 = -3*t - 6, m = 5*n + t. Suppose 2*h + n*b + 1 = 23, 4*h + 4*b -