 - 2. Let k = r + -3. Suppose -k*g + 4 + 8 = 0. Is g a multiple of 6?
True
Suppose -h - 6 = -3*d, 2*h - 4 = -h - 2*d. Suppose -2*b + h*b + 260 = 0. Does 40 divide b?
False
Let r = 1190 - -69. Is 25 a factor of r?
False
Let m be (-13 + 10)*4/6. Let i be -1*(-66 - -2) - m. Suppose -3*f + 6*f = i. Is f a multiple of 11?
True
Suppose -1736 = -2*w - 2*w. Is 18 a factor of w?
False
Let r = -30 + 34. Suppose r*a = -4*w + 764, 8*a - 3*w = 7*a + 171. Does 31 divide a?
True
Suppose 183*p = 175*p + 256. Is 32 a factor of p?
True
Let f be (18/15)/(6/20). Suppose 0 = f*g + w - 545, -5*w - 60 = -g + 71. Is g a multiple of 34?
True
Let k(o) = 75*o**2 + 121*o - 6. Is k(-4) a multiple of 151?
False
Let y(v) = 218*v - 297. Is y(6) a multiple of 49?
False
Suppose 4*c - t - 101 = 0, 4*c - c = t + 75. Suppose 25 = 2*i + a, 3*i - 8 = 2*a + c. Is 6 a factor of i?
True
Let g(v) = v**3 - 2*v**2 + v + 4. Let k be g(2). Suppose -3*t + k*t = 12. Is t a multiple of 3?
False
Suppose -2*l + 3*x - 53 = 0, 4*x - 67 = 5*l + 55. Let f = 54 - l. Is 38 a factor of f?
True
Suppose 0 = -s - 4*k - 4, -2*s + 4*k + 37 + 15 = 0. Let n be (-3 - -6)*((-80)/(-3))/(-2). Does 30 divide 1014/10 + s/n?
False
Suppose b + 0*b = 5*u + 38, 4*u = 4*b - 168. Suppose 0 = 4*g - 21 - b. Is 13 a factor of g?
False
Let f = 3 - -1. Let a = 9 - f. Suppose -3*r + 4 = 3*o + r, 6 = 4*o + a*r. Is o a multiple of 4?
True
Let n(o) = 2*o**2 + 12*o - 29. Does 31 divide n(-19)?
True
Let s = 606 + -338. Is 16 a factor of s?
False
Let h(l) = l**2 - 20*l - 11. Does 19 divide h(25)?
True
Let r = 3662 - 1959. Does 21 divide r?
False
Suppose -16 = 4*o + 2*x, 0 - 8 = 2*o - 3*x. Let g = -2 - o. Suppose 12 = s + g*s. Is s a multiple of 4?
True
Let t = 35 + 440. Is t a multiple of 25?
True
Let x(a) = -a**2 - 12*a - 29. Let b be x(-7). Does 14 divide -3 + b + (-11)/(-1)?
True
Let a(o) = 161*o - 352. Is 28 a factor of a(8)?
False
Let l(b) = b - 5. Let c(r) = -2*r + 9. Let d(i) = -3*c(i) - 5*l(i). Let x(z) = z**3 - 6*z**2 - 5*z - 4. Let y be x(7). Is 8 a factor of d(y)?
True
Let o = 6803 + -4690. Is 98 a factor of o?
False
Let d = 2 - 3. Let s(l) = 3*l**2 - l - 1. Let y be s(d). Let g = 32 - y. Is 14 a factor of g?
False
Let z be 207/(-4) - 31/124. Does 14 divide 13/z + 1010/8?
True
Let r(b) = 21*b + 2. Let n be r(2). Let s = -33 - -17. Let l = s + n. Does 9 divide l?
False
Suppose -3*j - 519 = -r, 0 = 5*r + 8*j - 13*j - 2545. Does 21 divide r?
True
Suppose -28*m + 51 = -11*m. Suppose -d - 120 = -m*v + 2*d, 5*d = -2*v + 80. Is v a multiple of 10?
True
Is ((-147)/(-14))/((-1)/(-36)) a multiple of 18?
True
Suppose 0 = -2*s - 2*s + 12. Suppose -2*l - l = s*j - 264, -2*j = 4*l - 176. Does 44 divide j?
True
Suppose -69 = -0*i - 3*i. Suppose -2*w - 3*w = 2*m - i, 3*m - 17 = -4*w. Suppose 3*d + 5*f - 83 = -d, -w*f = 3*d - 56. Does 9 divide d?
True
Suppose 31 + 14 = 3*a. Let f = 5 + a. Is f a multiple of 7?
False
Suppose -5*c + 15 = w, 4*w - 28 = -5*c + 2. Suppose w*a - 252 - 258 = 0. Is 17 a factor of (18/(-36))/((-1)/a)?
True
Let r be 0 + -3 + (136 - 2). Suppose r = 2*l - 35. Suppose 5*g + 7 = 5*t - l, -2*g + 39 = 3*t. Is 8 a factor of t?
False
Suppose -51*b - 12152 = -79*b. Is b a multiple of 31?
True
Let s(f) = f**3 - 2*f + 3. Let u be s(0). Let p = 0 + u. Suppose 223 = 4*z + p*x - 109, -2*z + 5*x + 140 = 0. Is 15 a factor of z?
False
Suppose -5*f - 3*d - 101 = 0, -f + 97 = -5*f + 3*d. Let z be -32*(3 + 0 + -4). Let l = z + f. Is 5 a factor of l?
True
Let v = 3 - -2. Suppose 3*c = v*y + 25, -2*y - 3*c = c - 16. Is 6 a factor of y + 4 - (-10 - -2)?
False
Suppose 3*z = 5*r + 537 + 423, 5*r = -2*z + 640. Is 16 a factor of z?
True
Suppose -3002 = -4*b - u, -9*u + 749 = b - 8*u. Does 6 divide b?
False
Suppose 40*i + 14*i = 15390. Is i even?
False
Is 421*1 + 18/((-42)/7) a multiple of 19?
True
Let z(q) = q**2 + q + 46. Let g be z(0). Suppose 2*r + 76 = -g. Let n = 119 + r. Does 14 divide n?
False
Let l(c) = -2 - 4*c + 2*c**2 + 1 + 4 - 3*c. Let n be l(7). Suppose v - 3*g = -0*v + n, v - 5*g = 46. Is v a multiple of 18?
False
Let u = 37 + 5. Suppose -4*f = -u - 310. Does 26 divide f?
False
Let l(t) = 17*t + 9. Let b be l(-1). Let w = 50 + b. Is w a multiple of 27?
False
Let l(v) = 3 - 18 + 26*v - v**2 - 39 + 9. Does 5 divide l(16)?
True
Let r(s) = -4*s - 4*s**2 + 2*s - s - s**3 + 1 + 9*s**2. Let c be r(3). Suppose -4*x + 12 = 2*u - c, -5*x = 0. Does 2 divide u?
False
Let b(x) be the third derivative of x**4/6 - x**3/6 + 10*x**2. Is 20 a factor of b(19)?
False
Suppose 6*s - 6 = 7*s. Let w be (21/14)/(s/(-8)). Suppose 0 = w*y - t - 67, 0 = y + 2*y - 4*t - 98. Does 17 divide y?
True
Suppose 0 = 4*x - 4*c - 24, -3*x - 5*c = -20 - 14. Suppose -15 = x*h - 3*h. Is (2/h)/((-2)/36) a multiple of 7?
False
Suppose -2*r = 3*r - 25. Does 10 divide (-322)/(-16) - r/40?
True
Is (-16340)/(-170) + 10/(-85) a multiple of 15?
False
Let c(u) = 208*u - 312. Is 107 a factor of c(19)?
False
Let t be (81/(-18))/(1/14). Let b = 21 - t. Is b a multiple of 12?
True
Suppose -u + 74 = 3*x, -3*u + 4*x = 2*x - 222. Let i = u - 44. Does 4 divide i?
False
Suppose 63*r = 20408 + 5611. Is 7 a factor of r?
True
Let a(t) = -t**3 + 9*t**2 - 9*t + 10. Let r be a(8). Suppose 0 = c - 3*c - 2*y + r, -3*y - 25 = -4*c. Suppose c*g - 3*g - 5 = 0. Is g even?
False
Does 16 divide 4 - ((-1398)/6 - 3)?
True
Suppose -320*g - 6616 = -324*g. Is 55 a factor of g?
False
Let f(i) = -24*i**3 - i**2 + 1. Suppose 4*z + 9 = t, -3*t + 0*z + 14 = z. Suppose t = m + 6. Does 12 divide f(m)?
True
Is 267/6*-2*-5 a multiple of 19?
False
Suppose 37*k = 35*k + 1664. Does 38 divide k?
False
Suppose 2*m + 4*w - 156 = 0, 93 = m + 3*w - 4*w. Let j = m + -20. Is 23 a factor of j?
False
Let h(t) = t**3 - 3*t**2 - 9*t + 364. Is h(0) a multiple of 4?
True
Suppose 2*b - 5399 = -5*f - 2076, -5*b = -f + 670. Is 35 a factor of f?
True
Suppose 3*t - 94 = 4*v - 5*v, 5*v = -3*t + 518. Does 2 divide v?
True
Suppose 4*h = 2*a + 8208, -11 = 2*a - 19. Does 79 divide h?
True
Let x = -1125 + 1621. Is 10 a factor of x?
False
Let q(p) = -42*p + 20*p - 71 + 18*p. Let r(c) = 3*c + 47. Let o(x) = -5*q(x) - 7*r(x). Does 7 divide o(12)?
True
Let l(c) = -c**3 + 13*c**2 + c + 5. Suppose 0*k + 177 = 3*h + 3*k, -2*h = 5*k - 124. Suppose -4*x = 5*r - h, -37 = 2*r - 5*r - x. Is 9 a factor of l(r)?
True
Let f = 200 - 197. Suppose 0 = -5*w - 3*p + 280, -62 + 342 = 5*w + 4*p. Suppose -2*a = -f*a + w. Is 14 a factor of a?
True
Suppose 0 = v - 4 + 8. Let i(d) = d**3 + 4*d**2 + 6. Is i(v) a multiple of 4?
False
Let g = 663 - 141. Is 10 a factor of g?
False
Let i = -18 - -25. Suppose -5*r = -3*j + i, 4*j - 4*r + 5 - 17 = 0. Suppose j*s - 143 + 35 = -5*x, 0 = -3*s - 5*x + 81. Is s a multiple of 9?
True
Let c(q) = -3*q - 15. Let u be c(-13). Let y = -8 + u. Is 4 a factor of y?
True
Let f = -397 + 1102. Suppose -4*n - 2*a + 562 = 0, -n + 6*n + 5*a = f. Is 26 a factor of n?
False
Suppose 0*v - 13 = a + 3*v, 5*v + 25 = 0. Suppose 3*g + a = 14. Is 4 a factor of g?
True
Suppose -10*d + 7*d = 0. Suppose d = h - x + 4*x, -10 = h + x. Does 19 divide (-3)/h + 1377/15?
False
Let a(b) = 2*b - 2. Let u be a(3). Let m(k) = -2*k - u*k - 9 - 5*k + 0*k. Does 20 divide m(-8)?
False
Suppose -1454 = -5*x + 28*h - 24*h, -1474 = -5*x - h. Is x a multiple of 6?
True
Let x = -338 + 420. Is x a multiple of 41?
True
Let y = -5 + 5. Suppose y = -3*w - 3*l - 12 - 0, 0 = 4*l - 8. Let i(b) = -b**2 - 6*b + 7. Is i(w) even?
False
Suppose -3*s + 128 = -11*s. Let h(w) = -2*w**2 + w**2 + 2 - 5*w - 12*w. Does 9 divide h(s)?
True
Let u(q) = -30*q + 4. Let w be u(3). Let s be (-12)/(-20) - w/(-10). Is (-25)/(-2) - (-12)/s a multiple of 11?
True
Let b(j) = -j - 2. Let k be b(-2). Suppose k = -3*f + 10*f - 357. Is 3 a factor of f?
True
Let v be 9/(180/736) - (-1)/5. Suppose 29*g - v*g = -152. Is 8 a factor of g?
False
Suppose 0 = d - g - 947, 0 = 2*d - 4*g - 352 - 1540. Does 12 divide d?
True
Suppose -4*s - 2*y + 5726 = 0, 8*s + 3*y + 1421 = 9*s. Does 10 divide s?
True
Is 8 a factor of 42*(16/(-6))/(434/(-279))?
True
Suppose -5*o + 15 = -30. Suppose -o*j + 4*j + u = -13, -4*j + 4*u + 20 = 0. Is (j/(-1))/((-2)/49) a multiple of 18?
False
Let k = -712 + 1224. Does 16 divide k?
True
Let l(c) = -194*c + 315. Does 13 divide l(-13)?
False
Suppose 42*i - 2928 = 26*i. Is 3 a factor of i?
