- 5*r + 3 - 39, -13 = -i + n*r. Does 7 divide i?
True
Let p = -193 - -58. Let t = -85 - p. Is 27 a factor of t?
False
Suppose 4*m - 12 = 3*q - q, -4*m + q = -14. Suppose m*v + 3 = 5*v. Is 1771/33 + 1/v a multiple of 9?
True
Is (1008/(-216))/(((-24)/3249)/4) a multiple of 119?
False
Suppose 30*u + 468 = 32*u. Does 13 divide u?
True
Suppose 11*i - 15*i + 88 = 0. Let q = i - -29. Is q a multiple of 17?
True
Let v = 71 - 41. Let m = -185 - -185. Let n = v - m. Is n a multiple of 29?
False
Let w be (-104)/16*(-26)/(-13). Let u = 2 - 5. Let h = u - w. Is 8 a factor of h?
False
Let p = -220 + 268. Does 12 divide p?
True
Suppose 2*f + c - 20 = 0, 0*c + 3*c = 0. Suppose -3*d + 3*p + 282 = 0, -35 = -5*p - f. Is d a multiple of 26?
False
Let m(h) = -8*h**3 - 20*h**3 + 2*h**2 - 2*h + 55*h**3. Is 14 a factor of m(1)?
False
Suppose -u - 20 = -5*y, -5*y + u = -3*u - 20. Is 20 a factor of 120/10*5*y?
True
Let d(u) = 2843*u**2 + 7 + 1 - 2842*u**2 - u**3. Suppose 0 = 5*v + 20, 5*v + 4 = -x + 4*v. Is 2 a factor of d(x)?
True
Is 2024 - 0 - (-37)/((-74)/(-12)) a multiple of 11?
False
Suppose 4*l + 63 = w, w = -5*l - 0*l - 81. Is ((-55)/(-4))/((-4)/l) a multiple of 22?
False
Let q = 16 + -11. Suppose q*i + 6 = -i. Let t = i - -7. Is t a multiple of 3?
True
Let j(d) = 9*d**2 + 7*d + 7. Let v be j(-1). Let x = 21 + v. Is x a multiple of 3?
True
Suppose -3321 = -7*j + 2069. Suppose -50 + j = 12*z. Does 4 divide z?
True
Suppose -5*y + 240 = -y. Let t = -49 + y. Is 4 a factor of t?
False
Let j(f) be the second derivative of f**4/4 - 5*f**3/2 + 13*f**2/2 + 12*f. Is 7 a factor of j(6)?
False
Suppose 4*b - 5*s = -657, -b + 5*s - 45 - 138 = 0. Let k = b - -226. Does 27 divide k?
False
Suppose 4*j - 5 = 3. Suppose j*o - 2 = 18. Let y = o - 5. Is 2 a factor of y?
False
Suppose 0 = 5*s + n - 694, 4*n - 7*n = 5*s - 702. Suppose -4*o = -9*w + 4*w + 342, 0 = -2*w + o + s. Does 7 divide w?
True
Let f = -13 - -13. Suppose -2*v - 4*l - 6 = f, 2*v + 0*l + 2*l = 0. Does 12 divide v*100/12 + 1?
False
Let v = 31 - 29. Let r(p) = -6*p + 0 - 3*p**2 - p**3 + v*p + 2 - 4. Is 12 a factor of r(-4)?
False
Is 46 a factor of 325 + ((-4)/((-4)/5) - 1)?
False
Let u(l) = l**3 + l**2 - 3*l + 160. Let f be ((-20)/5 - 0) + 4. Is u(f) a multiple of 8?
True
Let h = 1488 + -1392. Is h a multiple of 4?
True
Let i(b) = -b**2 - 5*b + 7. Let f be i(-6). Suppose -4*g + 70 - 18 = 0. Suppose y - g = f. Is 3 a factor of y?
False
Let i(s) = s**3 - 6*s**2 + 5*s - 42. Is 21 a factor of i(15)?
True
Let r(u) = u**3 + 8*u**2 + u - 2. Let p be r(-8). Let h be 31/(-2) - (-15)/p. Let l = 43 + h. Is l a multiple of 10?
False
Let a(h) = 18*h + 31. Is 61 a factor of a(15)?
False
Let d = 207 + -23. Is d - (3 + -1) - (-2 + 2) a multiple of 18?
False
Suppose 2008 = 3*a - 2657. Is a a multiple of 5?
True
Suppose -4*j + 5*h = -76, 19*h + 36 = j + 22*h. Is 6 a factor of j?
True
Suppose -12*z - 10 = -10. Suppose -2*r + z*r + 416 = 0. Is 26 a factor of r?
True
Let g(p) = 19*p**2 + 3*p - 4. Let t be g(2). Let w = -26 + t. Does 3 divide w?
False
Let a = 2489 + -1365. Does 37 divide a?
False
Suppose 3*z - 602 = 2*p, -2*z + 4*p = 3*p - 403. Let k = z + -116. Does 8 divide k?
True
Suppose 0 = -2*j + j - 200. Does 24 divide (-1506)/(-16) + 25/j?
False
Does 55 divide (220/(-8))/((-13)/312)?
True
Is (-9*8/20*35)/(-1) a multiple of 14?
True
Let u(f) be the third derivative of f**6/120 + f**5/6 + f**4/8 + 4*f**3 + 8*f**2. Does 8 divide u(-8)?
True
Let n(u) = u + 1. Let y be n(-7). Let s be y/(-9) + 759/9. Suppose 3*z + s = 8*z. Does 17 divide z?
True
Suppose -4*u - 122 = -0*t - 3*t, u = 2*t - 33. Let y = -3 - u. Does 3 divide y?
False
Suppose 3*y + 2*i - 10 = 0, -1 + 7 = y + 2*i. Suppose -5*k + a + 321 = -y*a, 0 = 4*k - 2*a - 258. Does 11 divide k?
True
Let g(x) = x**3 - x**2 - 12*x + 10. Does 55 divide g(7)?
True
Let z(j) = -j**2 - 11*j - 13. Let o be z(-6). Suppose q - o = -1. Suppose -u + 3*c = -1, -5*u = -3*u + c - q. Is 2 a factor of u?
False
Let q(x) = x. Let i be q(2). Let o(a) = a**2 + 4*a - 106. Let b be o(14). Suppose 2*u = -k + 5*k + 182, -b = -i*u - 5*k. Does 17 divide u?
False
Let g be 3*(-2)/18*0. Suppose 6*f - 76 - 110 = g. Is 5 a factor of f?
False
Suppose 4*r = -3*i + 34, 0 = -r + 2*i - 0*i + 14. Let h(v) = v**3 - 10*v**2 + 8*v + 4. Is h(r) a multiple of 7?
True
Let k(h) = -h**2 + 11*h - 8. Let r be k(10). Suppose r*s - 19 - 1 = 0. Is s a multiple of 5?
True
Let l = 194 - -400. Is l a multiple of 25?
False
Let d(k) = -281*k + 7. Does 6 divide d(-1)?
True
Let s(f) = f - 2. Let x be s(7). Suppose 3*c = o + 5, 0 = -2*o - 0*c + c + x. Suppose -5*l = p - 41, -2*p = o*l - 4*p - 44. Is l a multiple of 3?
True
Does 57 divide ((-15)/6)/(1*(-6)/2580)?
False
Suppose -2*b + b = -1. Let k(f) = -58*f**2 + 7*f + 2. Let y(n) = 29*n**2 - 3*n - 1. Let d(x) = 3*k(x) + 7*y(x). Is d(b) a multiple of 14?
True
Let w(z) = z**3 + 6*z**2 + 12*z - 4. Let h be w(-6). Let m = h - -205. Does 26 divide m?
False
Suppose 4 = 5*u - 1. Let c be 63/12 - u/4. Is ((-2)/c)/((-1)/145) a multiple of 10?
False
Let y(w) = 70*w**2 + 4*w + 37. Is 14 a factor of y(-4)?
False
Let i = 96 - 86. Is i a multiple of 8?
False
Let o(t) = -29*t - 1. Let y be o(-5). Suppose -3*k + 93 = 78. Suppose -8*c + y = -k*c. Does 16 divide c?
True
Let j be (141/3)/(-6 - -5). Let t = j - -62. Does 3 divide t?
True
Suppose -6*n + 4*n = -58. Suppose -4*c = -n + 9. Suppose -181 - 339 = -c*z - i, 5*i + 550 = 5*z. Is 33 a factor of z?
False
Let x(f) = f**3 + 45*f**2 + 125*f - 26. Does 4 divide x(-42)?
True
Suppose -3*g + 11 = 5. Let b be (g/5)/(6/30). Suppose 0 = -b*s + 3*r + 8, 0*r - 12 = -3*s - 2*r. Is 4 a factor of s?
True
Let m = 77 + -24. Suppose -3*x = -5*o - m, 3*x = 4*x + 4*o - 46. Let r = 28 + x. Is 18 a factor of r?
True
Suppose 83*t = 90*t - 3773. Does 13 divide t?
False
Let b(f) = 2*f + 12. Does 2 divide b(5)?
True
Let b be 0/(-7)*2/(-2). Suppose b = 5*i - 3 - 2. Suppose 0 = 5*a + 20, 2*a - i - 4 = -x. Is x a multiple of 7?
False
Let s = 785 + -407. Does 37 divide s?
False
Let y = 24 - 19. Suppose -y*j + 113 = -237. Does 7 divide j?
True
Let s(a) = -13*a - 9. Let l be s(-1). Suppose -104 = -0*y - l*y. Does 11 divide y?
False
Suppose -5*x = 5*p - 10, x + 4*p = 5*p + 2. Is (-278)/(-6) - ((-12)/(-9) - x) a multiple of 11?
False
Let t = 443 + -149. Is 43 a factor of t?
False
Suppose -h + 2*f = 4*f - 327, 4*h = -2*f + 1314. Does 26 divide h?
False
Let t(j) = -127*j - 62. Is 25 a factor of t(-6)?
True
Let c = -16 + 20. Suppose 0 = -c*x + 14 - 6. Is (x - -1) + 13 + -2 a multiple of 14?
True
Suppose 8 = 2*j + 2. Suppose -3*g - 25 = -4*r + 7, j*r + 1 = -4*g. Suppose r*i - 3 = 4*y, -2*i - 3*y + 21 = 2*i. Is i even?
False
Let o = -44 - -75. Let r = o - 28. Suppose q + 5*g = 6*q - 280, -r*q = 3*g - 186. Does 14 divide q?
False
Suppose 2*h - 194 = -4*z, -87 = 3*h + 3*z - 366. Is 3 a factor of h?
False
Let q be ((-2)/(-7))/((-15)/35)*-9. Suppose -66 = -q*l + 132. Is 9 a factor of l?
False
Suppose 41*f + 74*f - 230000 = 0. Does 16 divide f?
True
Suppose -4*p + 8 = 0, n = 4*p + 391 - 99. Is 10 a factor of n?
True
Suppose 0 = -2*u + 2 + 4. Is 4 + (-5 + 149)/u a multiple of 13?
True
Let i be -3 + 4 + 2 + 0 + 1271. Suppose -a = 6*a - i. Does 13 divide a?
True
Does 16 divide 110/25 + -5 - 5529/(-15)?
True
Let x be (0 - (15 - 3))*-34. Suppose 2*k + x = 4*u - 0*k, -u + 4*k + 95 = 0. Suppose 3*p + 2*o - 7*o - u = 0, 4*p + 3*o = 147. Is 9 a factor of p?
True
Suppose -4*d + 4*b = -5572, 88*d - 3*b + 5537 = 92*d. Is 22 a factor of d?
False
Let k(j) be the first derivative of j**4/4 - 4*j**3 + j**2/2 + 3*j - 4. Let z be k(12). Suppose 0 = -w + 3*t + z, -59 = -3*w + 7*t - 5*t. Is 7 a factor of w?
True
Let n(b) = 6*b - 28. Suppose 9*l = -0*l + 117. Is n(l) a multiple of 25?
True
Does 3 divide 3 - -22*3/6?
False
Let y(f) = 2*f + 2 + 2*f**3 - 8 - 5*f - f**2. Let l be y(5). Let o = l + -114. Is 23 a factor of o?
False
Suppose 2*h + 2*z = -z + 198, 0 = 4*h + 3*z - 384. Let f = 137 - h. Is f even?
True
Let w = 112 + -26. Let b = 122 - w. Is 18 a factor of b?
True
Let v = -455 - -561. Does 2 divide v?
True
Suppose v - 5064 = -5*z, 8*z - 4*z + 5*v - 4047 = 0. Suppose -3*i + 746 = -f, -5*f + 0*f - z = -4*i. Does 34 divide i?
False
Suppose -i = -3*d + 7, 3*d = 4*i + 4 - 12. Let q be ((-51)/(-9))/(2/72). Suppose 4*y +