 3 + 18*u**t + 2*u**2. Does 3 divide l(-2)?
False
Let u(h) be the second derivative of 2*h**2 + 0 + 7*h + 1/3*h**3 + 1/4*h**4. Is 30 a factor of u(4)?
True
Suppose 13003 = 28*g - 15081. Does 59 divide g?
True
Let j(u) = 28*u**2 - 2*u + 2. Let t be j(-3). Suppose -t = -7*x + 3*x. Suppose 5*o - 4*q - x - 25 = 0, -72 = -4*o - 5*q. Is o a multiple of 9?
True
Suppose -4*k = -5*k + 4*r + 32, k + 5*r - 77 = 0. Is 34 a factor of k?
False
Let v = 28 + -8. Let x be (v + 0)*(-48)/(-64). Does 5 divide -1*(-3 + 7) + x?
False
Let j(g) = 2*g - 34. Let z be j(14). Let t(x) = -16*x. Is t(z) a multiple of 24?
True
Let n = 1018 - 846. Is n even?
True
Let g(x) be the second derivative of 0 + 10*x + 5*x**2 + 1/12*x**4 + 3/2*x**3. Does 20 divide g(-10)?
True
Suppose 4*z = d + 376, -3*z + 3*d - 107 = -4*z. Let j = z - 63. Let b = j - 12. Does 5 divide b?
True
Suppose -3818 = -5*i - 5*m - 793, -i + 4*m = -580. Is i a multiple of 20?
True
Does 79 divide 6*-158*(-15)/18?
True
Let i = -446 + 1282. Is i a multiple of 62?
False
Suppose 2*f + 3 - 10 = 3*q, 3*q = -3*f + 3. Suppose -f*g + 4*g = 12. Is g a multiple of 3?
True
Let i(p) = -p**3 - 17*p**2 - 55*p - 15. Let z(q) = -q**3 + 24*q**2 - 23*q - 13. Let s be z(23). Is i(s) a multiple of 8?
True
Let t(r) = -16 + 0*r + 4 - 4*r. Let o be t(-12). Let l = o - 14. Is l a multiple of 10?
False
Suppose -3*v - 6 = -0. Let r(x) = -7*x + 2. Let d be r(v). Suppose 0*z - 3*z - d = -w, 2*z = 10. Is 19 a factor of w?
False
Suppose -g + 441 = 5*t + 107, t = 5*g - 1540. Suppose 2*f + 93 = g. Is f a multiple of 18?
True
Let z = -96 - -558. Does 42 divide z?
True
Let v(u) = -u**3 + 2*u**2 - u + 5. Let i be v(0). Suppose -i*c + 2*a = -1302, -a - 2 = a. Let f = c + -168. Does 23 divide f?
True
Let p(x) be the first derivative of 20*x**3 - x**2/2 + x + 52. Is p(-1) a multiple of 7?
False
Suppose 2*g - 41 = 3*q, 20 = 2*g + 2*q - 6. Suppose g - 51 = -r. Is 19 a factor of r?
False
Suppose 4*y - 5*a + 1560 = -y, 2*y = 4*a - 618. Let n = -171 - y. Is n a multiple of 17?
False
Let d(t) = -4*t**2 - 37*t + 4. Let q be d(-16). Let j = 735 + q. Does 38 divide j?
False
Let y(c) = 24*c + 8. Let a be y(13). Suppose -l = -6*l + a. Let i = -40 + l. Does 8 divide i?
True
Suppose 1028 = 2*l + 2*b, 3*l + 28*b - 1544 = 23*b. Does 27 divide l?
True
Let l(i) be the first derivative of i**4/4 - 3*i**3 + i**2/2 - 7*i - 6. Let s be l(9). Suppose 3*b + 71 = s*p + 8, 4*p = 4*b + 132. Is 9 a factor of p?
True
Suppose v + 1673 = -0*p + 3*p, 0 = -4*p - 2*v + 2234. Does 18 divide p?
True
Let j = -144 + 247. Let f = 168 - j. Is 10 a factor of f?
False
Let j = -58 + 136. Suppose -c - i - j + 481 = 0, 4*c - 1616 = -2*i. Suppose -5*p = 3*b - c, 3*p = 4*p - 2*b - 81. Does 14 divide p?
False
Let y = -2567 + 4970. Is y a multiple of 40?
False
Let r(l) = -240*l**3 - l**2 + l + 1. Let t be r(-1). Let k = -139 + t. Is k a multiple of 10?
True
Let h(o) = 6*o**2 - 3*o + 26. Let q be h(8). Suppose 0 = 6*f - q - 166. Is 17 a factor of f?
False
Let k = 4 - -16. Suppose 2*g - k = -q, -q - 22 = 4*g - 62. Does 20 divide 4344/60 - 4/g?
False
Let t(a) = 12*a - 22. Let o be t(10). Let v be -1*-36*(-9)/(-6). Let c = o - v. Is c a multiple of 22?
True
Suppose -5*r + 0*r = -400. Suppose -r = 6*u - u. Let f = u + 36. Is f a multiple of 6?
False
Let n be 2 - (-1830)/(0 + -5). Let l = -211 - n. Is 9 a factor of l?
True
Let t(r) = -10*r**3 - 2*r**2 - 9*r - 13. Is t(-2) a multiple of 7?
True
Let g = 58 + -47. Does 4 divide (15 - g)/(-1*3/(-60))?
True
Let f(z) = -z - 24. Let t be f(-16). Let b be (2*1)/(4/6). Is (-171)/12*t/b a multiple of 19?
True
Let k be 38/14 - (-1)/14*4. Suppose k*w = w + 180. Does 30 divide w?
True
Suppose -4*c = -5*n + 13 - 33, 4*n = c - 16. Suppose c = 3*k - 2*z - 261, 11*k - 435 = 6*k - 4*z. Is 25 a factor of k?
False
Suppose 3*b = 33 + 9. Let f(t) = 7*t - 24. Does 8 divide f(b)?
False
Suppose 2*t + 3*o = -2*o + 57, -4*o + 100 = 5*t. Suppose -3*q - 1 + t = 0. Suppose 0 = a - q*b - 59, -3*b - 391 = -5*a - 2*b. Does 15 divide a?
False
Let m be (3 - (-7834)/6) + 6/(-9). Suppose 13*k = m - 489. Does 7 divide k?
True
Suppose 0 = -4*p + 3*t + 1791, -t = 4*p - 869 - 902. Is p a multiple of 12?
True
Suppose 0 = 24*d - 6*d - 2754. Does 3 divide d?
True
Is (10/(-75)*3)/((-3)/945) a multiple of 6?
True
Does 13 divide 1 + 3/(-2) - 72540/(-72)?
False
Let q = 4534 + -2402. Is 13 a factor of q?
True
Let t = 1040 + -368. Is t a multiple of 21?
True
Suppose -9*m = 3*v - 4*m - 517, 2*v + 3*m = 344. Suppose 0 = 3*o - v + 37. Is 14 a factor of o?
False
Suppose -2*h = -3*h - w + 10, 4*h - 12 = 3*w. Suppose h = 3*r, y + 2*y - r - 7 = 0. Suppose -y*f + 8*f = 65. Is f a multiple of 8?
False
Suppose 0 = c - 3*x - 646, -6*x = -3*x - 6. Is c a multiple of 16?
False
Let a be ((-20)/(-30))/(3/567*3). Suppose -3*h - 2*h + 30 = 0. Suppose h*t = 7*t - a. Is t a multiple of 10?
False
Suppose 27 = 4*v - 3*o - 54, -63 = -4*v - 3*o. Let z(n) = n**3 + n**2 - 13. Let d be z(0). Let l = d + v. Is 3 a factor of l?
False
Suppose -171 + 39 = -4*y. Suppose 0 = -3*c + 365 + 16. Suppose -8*t + y = -c. Is t a multiple of 10?
True
Let y(m) = 5*m**3 - m**2 + 2*m - 1. Let x be y(1). Suppose x*p - 5 + 15 = 0. Let f(a) = -2*a**3 - a**2 - a + 1. Does 9 divide f(p)?
False
Let q be 546/(-24) - (-1)/(-4). Let u = q + 25. Suppose -5*b + 71 = -4*i - 352, -b = u*i - 79. Is b a multiple of 13?
False
Let t(a) = -11 - 23 - 9 + 6 + 5*a. Is t(9) a multiple of 4?
True
Let x(v) = 8*v - 4 + 6*v + 11*v - v. Is 35 a factor of x(6)?
True
Let z(v) = -v**2 - v. Let h be z(1). Let w be h/12 + (-35)/(-30). Does 2 divide 27*(w - 8/12)?
False
Does 11 divide (1 - 156/(-20))*(-105)/(-2)?
True
Suppose -4*d = d - 455. Suppose 3*i - 5*w - d = 0, -i + 4*i - w - 83 = 0. Let r = -22 + i. Does 2 divide r?
False
Suppose 3*d - 6*d = 4*t - 15, 0 = -3*d + 15. Suppose t = 3*c - 209 + 5. Suppose -c = -5*p + 132. Is p a multiple of 10?
True
Let u = -28 - -82. Suppose -u = 4*o - 5*o. Is 9 a factor of o?
True
Let o be (4/14)/(11/154). Suppose 0 = -h - 4, -o*d + h + 3 = -13. Suppose 0 = -k + d + 1, 3*n = 4*k + 29. Is 5 a factor of n?
True
Let c(q) = -q**3 - 5*q**2 + 4*q + 27. Let k(h) = 3*h**3 + 15*h**2 - 11*h - 81. Let i(j) = 7*c(j) + 2*k(j). Is i(-6) a multiple of 8?
False
Let a(m) = 29*m**2 + 8*m + 7. Does 57 divide a(-2)?
False
Let l = -671 + 1262. Is 10 a factor of l?
False
Is (36/(-42))/((-18)/546) a multiple of 13?
True
Let z(b) = 7*b + 3*b + 22 + 3*b - 10*b. Is 18 a factor of z(23)?
False
Is ((-17)/(-10) - (-6)/(-30))*28 a multiple of 7?
True
Does 17 divide (4 + -7)*(-2 - (60 - 3))?
False
Suppose 57*d + 253 = 58*d. Is 11 a factor of d?
True
Suppose 0 = 2*j - 3*l + 9, -2*l - 25 = -5*j - 4*l. Suppose 2*y = y + j, 0 = 5*s - 3*y - 326. Does 8 divide s?
False
Let f(l) = l**3 - 5*l**2 - 7*l + 13. Is 31 a factor of f(7)?
True
Let z = -6 + 20. Suppose 3*b + 2 = -4*j - 2*b, 3*b = 4*j - z. Suppose j*v = 9 + 115. Is 22 a factor of v?
False
Suppose 2331 = 21*x - 14*x. Does 7 divide x?
False
Suppose -5*v + 273 = -3*s, -5*s - 5*v + 131 - 586 = 0. Suppose -d - 2*d - 21 = -3*n, 3*n = 5*d + 29. Is (-1015)/s - d/(-26) a multiple of 2?
False
Suppose -19 - 6 = -5*u. Suppose 2*g + 3*g = u*m + 445, 0 = 5*m - 20. Is 18 a factor of g?
False
Suppose -5*x = -3*s + 420, x - 30 = -2*s + 237. Let q = 201 - s. Is 5 a factor of q?
False
Let n be -5 - (-2 - 0) - -8. Suppose n*h - 19 = 6. Suppose -3*w = 5*o - 142, 5*o + h*w - 150 = -0*w. Is 22 a factor of o?
False
Let n(x) = 0*x**2 + 2*x**2 + x**2 + 19 - x**2 + 3*x. Is 41 a factor of n(-8)?
True
Let z be 63/42*(-3 + (1 - 0)). Is 0 + 1 - (-14)/(-2)*z a multiple of 3?
False
Let m(n) = 6*n - 2*n**3 + 4 - 3*n - 2*n - 2*n**2. Let z be m(3). Let k = z - -104. Is 13 a factor of k?
True
Does 5 divide (-1*28/(-35))/(3/390)?
False
Does 14 divide 12*-1*(-4 - 656/24)?
False
Let p(w) = w**3 + 8*w**2 + 10. Let d be p(-8). Let i be d + -2 + -1 + 1. Suppose i*c - 80 = 3*c. Is c a multiple of 16?
True
Is 24 a factor of (-204)/(-918) + 31822/9?
False
Let n be ((-12)/8)/(3/(-4)). Let t = 141 + -60. Suppose -n*a + t = 3*d, 5*a + 0*d - 180 = -3*d. Does 11 divide a?
True
Let n be 5/2*(-12)/(-15). Let l = 11 - 9. Suppose -54 = -n*u - 3*d, 4*u + l*d - 126 = 5*d. Does 10 divide u?
True
Let p = -44 - -48. Suppose 2*z + 2*z - 198 = 5*t, -p*z = -t - 206. Is 52 a fa