= 31*r. Is 4 a factor of r?
False
Let g(x) = -x**2 - 6*x + 3. Let p(r) = -r**2. Let i(k) = -g(k) + 2*p(k). Let m be i(4). Suppose -m*q + 54 + 1 = 0. Is q a multiple of 11?
True
Suppose -12 = -4*r + 3*y - 2, 3*r - 22 = -5*y. Let l(a) = -6 + 0 + 2*a**2 + 6 - r + 4*a. Is 14 a factor of l(-6)?
False
Let f(s) = s**3 - 4*s**2 - 5*s + 2. Let g be f(4). Let w be (-24)/g + (-599)/(-3). Suppose w - 51 = 3*o. Is o a multiple of 10?
True
Let o(k) = k**2 - 8*k - 3. Let w be o(9). Let v(n) = 3*n - 5. Is v(w) a multiple of 10?
False
Suppose -17*t + 56 - 5 = 0. Suppose -3*u + 2*q - 78 = -698, t*u - 615 = 3*q. Does 10 divide u?
True
Let j = 14 + -10. Let o = 469 + -230. Suppose 2*r + o = j*t - 63, 2*r - 282 = -4*t. Is 21 a factor of t?
False
Let x(a) be the third derivative of 13*a**5/60 + a**3/2 + 9*a**2. Does 23 divide x(-2)?
False
Let g(p) = -p**3 - 8*p**2 + 9*p - 22. Let u be g(-10). Suppose -n = -2, -k - 2*n = k - u. Is k a multiple of 7?
True
Let w(f) = 2*f**3 - 7*f**2 + 1. Let y(l) = -l**3 + 7*l**2. Let g(z) = 2*w(z) + 3*y(z). Let u be g(-7). Suppose 0 = u*q - 64 - 136. Is q a multiple of 28?
False
Suppose -42 = q + 2*q. Suppose 0 = 49*j - 45*j + 24. Is q/21 - 280/j a multiple of 19?
False
Suppose -3 = -4*d + 4*k + 1, 4*d - 28 = -2*k. Suppose -2*q = -d*q + 6. Is 2 a factor of q?
True
Let h = -3179 - -5639. Is 15 a factor of h?
True
Is 18 a factor of -1 - (-3812*(-2)/(-4) - 3)?
True
Suppose -5*b - 3*z + 255 + 234 = 0, 2*b = -z + 195. Suppose 0 = -5*l + 2*p + 2*p + b, -4*p = 3*l - 64. Is 2 a factor of l?
True
Let c(f) = f**3 - 13*f**2 + 19*f - 9. Does 4 divide c(12)?
False
Let a(m) = -2*m - 3. Let h be a(-9). Suppose x + h + 9 = 0. Let v = x - -43. Is 11 a factor of v?
False
Suppose 0 = 8*i - 1406 - 1090. Does 26 divide i?
True
Suppose 0 = -n - 55 + 178. Is 6 a factor of n?
False
Let z be (-119)/14 + (-1)/(-2). Let b be -4*(2 - (-20)/z). Suppose -3*u = -4*k + 183, 0*u - b = 2*u. Does 15 divide k?
True
Suppose 20*j - 62681 = -24521. Does 18 divide j?
True
Let p(s) = s**2 + s + 1. Let z(x) = 13*x**2 - 3*x. Let n(a) = p(a) + z(a). Is 13 a factor of n(1)?
True
Let u = -214 + 195. Suppose -3*y = 5*n + 22, 4*y + 2*n + 5 = -1. Let g = y - u. Does 10 divide g?
True
Let a = 25 - 17. Suppose -138 = -a*x + 5*x. Does 23 divide x?
True
Let h be (-1 - -1)/(21/7). Suppose 4 = 2*b - h*b. Does 3 divide (-6)/b*16/(-6)?
False
Suppose 5*s + 6 = -3*j, -24 = -3*j + 5*s - 0. Suppose 157 = j*d - 206. Does 26 divide d?
False
Suppose 132*v + 41 = 133*v. Does 9 divide v?
False
Let c(l) = 2*l**2 - 6*l + 4. Let j(g) = g**2 - 9*g - 31. Let k be j(12). Does 7 divide c(k)?
False
Let k(q) = q + 1. Let h be k(1). Is 11 a factor of 5/2*82/10*h?
False
Let b(z) = -3*z**3 + 10*z**2 + 7*z - 7*z**2 - 7*z + 3 + 11*z. Is b(-3) a multiple of 13?
True
Let g = -51 + 77. Suppose -2*w + 0*w = -g. Suppose w*t - 11*t = 70. Is 7 a factor of t?
True
Suppose 4*u - 17023 = -503. Does 64 divide u?
False
Let k(l) = -31*l**2 + 21*l. Let c(o) = -6*o**2 + 4*o. Let d(u) = -33*c(u) + 6*k(u). Let p be d(-6). Does 6 divide p/(-65)*(-40)/6?
True
Let n be (2/(-1))/(2/6). Does 8 divide (-3)/n - 393/(-6)?
False
Let s = -13 + 13. Suppose s = -5*f + 103 + 457. Suppose 4*j + 4*i - f = 0, 5*j - i = 2*i + 156. Does 10 divide j?
True
Suppose 1 = 3*k - 8. Suppose 2 = 5*d - k. Does 11 divide 63 + 0 + (-3 - d)?
False
Suppose -2934 = -32*q + 4554. Is q a multiple of 4?
False
Let d = 217 + -143. Is d even?
True
Suppose 0 = 2*g + 3 - 13. Suppose g*s - 9*s + 56 = 0. Does 11 divide 684/21 - (-6)/s?
True
Let p be 4*(-3)/48 - 33/(-4). Suppose -2*r = -p, -f + 7 + 45 = -4*r. Does 11 divide f?
False
Let c = -1040 - -3705. Is 41 a factor of c?
True
Suppose 337*u - 1295 = 330*u. Does 19 divide u?
False
Let o = 28 + -9. Let n = o - -5. Is n a multiple of 12?
True
Let b be -1 - (-4)/(-2) - -3. Suppose 0*f + 3*f + 24 = b. Let r = 24 + f. Does 5 divide r?
False
Suppose 5*g + 2*s - 2348 = 0, -15*g = -18*g - 2*s + 1412. Is g a multiple of 13?
True
Suppose -4*l + 6363 + 945 = 0. Is l a multiple of 9?
True
Let g = -15 + 47. Suppose l = 152 - g. Is l a multiple of 24?
True
Is 17 a factor of (24/(-32))/(54/21216)*-15?
True
Let i = 21 - -26. Let p = 67 + i. Is 19 a factor of p?
True
Let p be 410/(-4) + (-18)/12. Let y be 13/p + (-46)/16. Does 19 divide (76/(-12))/(1/y)?
True
Suppose 4*t + 4*d - 48 = 0, 5*t - 5*d - 6 = 4. Let g(m) = -m**2 + 9*m - 5. Let u be g(8). Suppose h + u = t. Is 4 a factor of h?
True
Let n(u) = u**2 - 2. Let d be n(2). Suppose -d = -0*t - t. Suppose t*i + 2*w - 40 = -0*i, -28 = -2*i - 5*w. Is 8 a factor of i?
True
Let o = 20 - 20. Suppose 3*r - 336 = -3*l, o = -5*r + 4*l + 478 + 64. Is r a multiple of 22?
True
Let f = -297 - -309. Is f a multiple of 6?
True
Let m(j) = 25*j**2 - 56*j + 196. Is m(4) a multiple of 124?
True
Let b(g) = g**3 - 30*g**2 + 37*g + 74. Does 17 divide b(29)?
True
Let m(j) = 15*j + 70. Let v be m(-18). Let n = v - -318. Does 46 divide n?
False
Let w = -6 + -11. Let z = w + 21. Does 2 divide (-60)/(-3)*2/z?
True
Let s(a) = -4*a**2 - 109*a - 30. Does 13 divide s(-25)?
True
Let w = 205 + -40. Is 66 a factor of w?
False
Suppose 5*q + 7 = -x, -3*q = -0*x + 4*x + 11. Let d(o) = -98*o**3 + 2*o**2 + o. Is d(q) a multiple of 12?
False
Suppose -913 = 8*f + 79. Let y = 189 + f. Is y a multiple of 13?
True
Suppose -2*x - 4*x - 168 = 0. Let l = x - -36. Does 4 divide l?
True
Does 13 divide (4 + 0)/((-7)/12852*-12)?
False
Is 2500/6 + 160/(-24) + 6 a multiple of 13?
True
Suppose f - 2*n - 8 = 0, 4*f + f + 5*n = -20. Suppose -p = 3*p - o - 303, -p - o + 72 = f. Is p a multiple of 25?
True
Suppose -3*o - 5*k + 4 = -1, 0 = o + 3*k - 3. Suppose o = 13*b + 3*b - 4368. Is b a multiple of 48?
False
Suppose 3*y - 180 + 45 = 0. Let i(p) = -4*p - 4. Let c be i(-4). Suppose y + c = z. Is 17 a factor of z?
False
Suppose 21 = -k - 0*k - 5*b, -b = 4. Is k + 60 - 8/(-8) a multiple of 30?
True
Let q(l) = -2*l**2 + 15*l - 20. Let j be q(5). Suppose 11 = x - 4*v + 5*v, j*v = 4*x + 1. Does 3 divide x?
True
Let b(z) = 4*z**2 + z + 6. Let u be b(3). Let o be 6/27 + 6110/u. Suppose 0 = -5*h + 99 + o. Is 10 a factor of h?
False
Let i(o) = -o**2 - 13*o + 19. Let q(n) = 13*n - 1. Let u be 1 + -2 - (-7 + 7). Let w be q(u). Does 3 divide i(w)?
False
Is 70 a factor of (-109361)/(-35) + (-63)/105?
False
Let y(h) = h**3 + 3*h**2 - 2*h + 6. Let z be y(-3). Let i be 2 + (1 - z/3). Is (i/1)/(5/(-75)) a multiple of 15?
True
Let n(j) = -19 + 4*j**2 + 37 - 4*j - 16. Does 12 divide n(5)?
False
Suppose 1335 + 753 = 6*j. Is j a multiple of 58?
True
Suppose 30*u - 25*u - 4250 = 0. Does 53 divide u?
False
Suppose 11*u - 7*u + 192 = 0. Is (6 + 4)*u/(-10) a multiple of 12?
True
Let x be ((-14)/(-6))/((-3)/9). Let a = x - -10. Is a + (5 - (4 + -2)) a multiple of 2?
True
Let x = -1110 + 5375. Is 22 a factor of x?
False
Suppose 0 = 3*k - 16 - 5. Suppose 0*r - k*r = -224. Is 8 a factor of r?
True
Suppose -2*q + 10*q = -q. Suppose 14*a - 3*a - 737 = q. Does 29 divide a?
False
Does 32 divide 609 + (-5 - -6) - -5?
False
Suppose -d = 2*g - 4644, -3*d + 13932 = 10*g - 5*g. Does 23 divide d?
False
Let w(y) = 3*y**2 + y + 33. Let o be (1 - 3 - 13)*(-10)/(-15). Does 17 divide w(o)?
True
Suppose 2*h = -2*l, 3*l - h = 1 + 11. Suppose -k - 69 = -2*k + l*m, m - 131 = -2*k. Does 11 divide k?
True
Is 16 a factor of 218/981 + 5470/9?
True
Suppose 0 = -2*d + 6*d + 4*v - 36, 2 = -2*d + 3*v. Suppose 504 = 7*z - d*z. Suppose -2*a - 2*a = -z. Does 21 divide a?
True
Let n(c) = -52*c - 34. Is 14 a factor of n(-3)?
False
Suppose -6*m + 31 = 7. Suppose -90 = -v + t, 3*t - 356 = -m*v + 6*t. Does 7 divide v?
False
Let j = 34 - 57. Let i = j - -31. Does 2 divide i?
True
Let b be 2/(-6) + 4/(-6). Let s(a) = -234*a - 6. Does 38 divide s(b)?
True
Let k be 36/45*(-10)/4*2. Let q = -10 + 16. Does 4 divide (255/(-10))/(q/k)?
False
Let u = 1187 + -698. Is 12 a factor of u?
False
Suppose 4536 = -22*q + 31*q. Is q a multiple of 36?
True
Let k = 371 - -123. Is k a multiple of 23?
False
Let i = 878 + 79. Is i a multiple of 8?
False
Suppose 2*b + 2*b + 5*l + 528 = 0, 0 = -3*b - l - 385. Let z = -59 - b. Does 8 divide z?
False
Let s(a) be the second derivative of a**5/24 - a**4/6 - 7*a**3/6 - 2*a. Let m(y) be the second derivative of s(y). Does 12 divide m(12)?
False
Let g be 4543/56 + (-1)/8. Let q = 