j?
True
Is (-13*(-150)/(-2))/(27/(-72)) a multiple of 50?
True
Suppose 0 = -3*i + 6, 0 = -5*z + z - 4*i - 84. Let m = z - -52. Does 7 divide m?
False
Let m = -422 + 606. Suppose -c - 3*z = -192 + 114, 3*z = -4*c + 330. Let q = m - c. Does 34 divide q?
False
Suppose 2*b + 2319 = 5*w + 472, 2*w + 2*b = 736. Is 10 a factor of w?
False
Suppose 5 = -5*l, -m = -2*l - 0*l - 524. Does 58 divide m?
True
Let p = -298 - -356. Is 4 a factor of p?
False
Let x = 9 + 5. Let o = 35 - x. Suppose -o = -n - 7. Is n a multiple of 14?
True
Suppose 18*r = 14*r - 5*p + 1635, 3*r + 2*p - 1221 = 0. Is r a multiple of 4?
False
Let h = 311 - 114. Does 23 divide h?
False
Let n(w) be the third derivative of 0 - 5/8*w**4 + 0*w - 1/6*w**3 + 5*w**2. Is 14 a factor of n(-1)?
True
Let k(h) = 2*h + 6. Let r be k(-3). Suppose -3*v + c + 199 = -0*v, r = 3*v - 4*c - 184. Is v a multiple of 17?
True
Suppose 2*y + 2*k = 2, -2*y - 4*k + 0*k = 4. Suppose -5*h - y*m = -84, -3*h + h = 4*m - 36. Is h a multiple of 16?
True
Let c(n) = 6*n**2 + 4*n - 5. Let i be c(1). Suppose t + 4*p - 60 = 0, -2*t = -t - i*p - 33. Is 12 a factor of t?
True
Suppose 0 = 5*t - 8 - 12, -5*t + 505 = 5*b. Suppose -4*l - l = 3*f - 256, 2*l + 3*f - b = 0. Does 6 divide l?
False
Let s(x) = x**3 - 14*x**2 + 9*x - 42. Let w be s(17). Suppose -w = -31*y + 25*y. Is y a multiple of 35?
False
Let y(h) = -2*h**2 + 6*h**2 - 9 + 9*h - h - 3*h**2. Let b be y(-9). Suppose b = -5*t + 5*g + 130, 5*t - 3*g - 54 - 84 = 0. Is 12 a factor of t?
False
Suppose 10*f - 282 = 268. Is f a multiple of 7?
False
Let c(x) be the third derivative of -x**5/60 - x**2. Let t be c(1). Let w = 4 - t. Is w a multiple of 3?
False
Suppose -i - p = i - 12, 3*p = -3*i + 24. Let h(t) = 5*t**2 - 7*t + 13. Is h(i) a multiple of 3?
False
Let a be ((-2)/(-1))/(14/21). Suppose -k = -14 + a. Let j = 43 + k. Is 18 a factor of j?
True
Suppose -10 = -5*n - 0. Let i be n/(339/341 - 1). Is 8 a factor of (i/55)/(1/(-5))?
False
Suppose -3*c + 33 = 3*n - 48, 3*n - 80 = -4*c. Does 10 divide (n/12*-4)/(2/(-15))?
True
Is (-23472)/(-36)*1/2 a multiple of 25?
False
Let d(s) = 1 - 2*s**2 + 6*s**2 + 19*s**2 + 7*s**2. Let h be 1/(1 - 2 - 0). Is d(h) a multiple of 8?
False
Let x = -610 - -1114. Is x a multiple of 12?
True
Let n = -1223 - -2422. Does 56 divide n?
False
Let p(r) = 2*r - 23. Let s be p(14). Suppose 0 = -7*z + 2*z + 2*w + 11, -4*w - 7 = -s*z. Suppose -126 = -z*f - 0*f. Is 15 a factor of f?
False
Let f = -5 + 10. Suppose 2 = f*g - 8. Suppose o + g*h = 4*o - 82, 30 = o + 2*h. Does 10 divide o?
False
Let h = -5 + 9. Is 3 a factor of h/6 - (-43)/3?
True
Suppose -5*a = -7*a - 6. Let d = 3 + a. Suppose d = -f - f + 58. Is 29 a factor of f?
True
Let x(f) = -f**3 - 13*f**2 + 27*f - 27. Let i be x(-15). Suppose -17*y = -i*y + 81. Is 9 a factor of y?
True
Suppose -319 = -9*l + 707. Is l a multiple of 19?
True
Suppose -4*l = -16, -3*s - l = -4*l - 96. Suppose -4*f + 3*f = 5*w - 61, 4*w + 4*f - s = 0. Is 6 a factor of w?
False
Let w be (-2)/15 + 454/30. Suppose -12*a + w*a - 60 = 0. Does 10 divide a?
True
Let v be (-6)/(-1 + (-2 - -5)). Let y(m) = 4*m + m - 12*m - 5. Does 11 divide y(v)?
False
Suppose b = 5*n - 7, -2*n - 3*n + 2*b = -4. Let u be -6 - (-5 + n) - -6. Suppose -68 = -u*k - 4*p, k + 5*p = 37 - 7. Is k a multiple of 5?
True
Suppose x = -25 - 96. Let p = -16 - x. Does 21 divide p?
True
Suppose -i - k = -296 + 19, 265 = i - 2*k. Is 13 a factor of i?
True
Let l(w) = 87*w**3 + 2*w + 1. Let d be l(-1). Let f = d + 142. Is 12 a factor of f?
False
Suppose -33*p + 37*p = 3896. Is p a multiple of 6?
False
Is (512/(-48))/((-3)/153) even?
True
Let l(b) = b**3 + 11*b**2 - 45*b - 45. Is l(-12) a multiple of 46?
False
Let p(w) = -9*w**3 + 7*w**2 + 21*w - 25. Let h(d) = -4*d**3 + 3*d**2 + 10*d - 12. Let f(t) = 13*h(t) - 6*p(t). Is 9 a factor of f(4)?
True
Let o = 34 + -18. Let c be 5 - o - (0 + 0). Does 12 divide (-2)/c - 7407/(-99)?
False
Suppose -12 = -0*b - 4*b. Suppose 2*y + b*s = s + 96, 0 = 3*y + 4*s - 144. Suppose 0 = f - 3*r - 2, -f + y = f + 5*r. Does 14 divide f?
True
Suppose 5*h - 22 = -q, 12 = 3*h - 3*q + 4*q. Suppose 882 + 63 = h*j. Is j a multiple of 21?
True
Suppose -5*s + 4*s - 54 = -4*i, 0 = -2*i - 5*s + 38. Suppose -3*l = -4*u - 3 + 14, 5*l - u - 10 = 0. Is 3 a factor of i - ((-1 - 0) + l)?
True
Suppose 0 = -c + k + 125, -2*k + 222 = 3*c - 143. Does 13 divide c?
False
Suppose -4138 = -4*w - 1002. Does 14 divide w?
True
Suppose -4*u = -2*b + 64, 2*b + 11*u - 80 = 7*u. Does 36 divide b?
True
Suppose -408 = -9*m - 12. Does 15 divide m?
False
Suppose -2*b = -2, -38 = -z - 3*b - 1. Is 3 a factor of z?
False
Suppose 2*z = -4*x + 8, -197*x - 8 = -195*x - 5*z. Let i be (-2)/4 - 15/2. Does 38 divide -436*(10/i + x)?
False
Let b be (0 - -1)/((-5)/(-20)). Suppose 3*g - 6*g = -3*x - 30, 0 = 5*g + b*x - 77. Suppose 0 = c - 17 - g. Is 10 a factor of c?
True
Let j(z) = -2882*z**3 + 10*z**2 + 9*z - 1. Is j(-1) a multiple of 131?
True
Let d be -7 - -1 - (6 + -7). Let u(w) = w**3 + 4*w**2 - 4*w + 5. Let s be u(d). Let c(b) = -2*b**3 - b**2 + b + 30. Is c(s) a multiple of 6?
True
Let x be (0 - -2)/(2/43). Is 35 a factor of (3 - x)*(-42)/24?
True
Suppose -3*j + 3*t + 4164 = 0, 4*t + 479 = 2*j - 2301. Does 33 divide j?
True
Suppose 5*i - 90 = f - 4*f, 15 = 5*i. Is f a multiple of 10?
False
Let m(v) = -7*v - 9. Let d(q) = -4*q - 4. Let u(z) = 5*d(z) - 3*m(z). Let o be u(-3). Is 10 a factor of 187/o - 4/(-16)?
False
Suppose 0 = 4*j - 12, 21 = 2*l - 2*j - 131. Does 26 divide l?
False
Suppose 3*w + 6 = 0, -w + 3 = -4*t + 9. Let i be (t - (0 - 3)) + -1. Suppose i*q = 6*q - 36. Is q a multiple of 5?
False
Suppose 2*l = -3*p - 5 - 1, -l = 2*p + 5. Suppose -349 = -4*h - 5*q, 5*h = l*h - q + 179. Is h a multiple of 13?
True
Let h(r) = -25*r - 26 + 9*r + 10 + 2*r**2. Does 43 divide h(18)?
True
Does 2 divide (77 + 7)*(-4 - 27/(-4))?
False
Let g(u) = u - 4 + 2 + 10 + 2. Let m be g(-8). Suppose -f + 6*q + 1 = q, 0 = -m*f - q + 35. Does 9 divide f?
False
Let h = -503 - -625. Does 31 divide h?
False
Suppose -3*d + 4*c = -418, -4*d + 714 = d + 2*c. Does 14 divide d?
False
Let l = 29 + 3. Suppose 5*t = 4*o - 63, 4*t = -4*o + 76 + l. Is o a multiple of 16?
False
Suppose -273 = -39*d + 18*d. Does 13 divide d?
True
Suppose -3*w + 75 = -5*b, 4*b - 3*w + 5*w = -38. Is 19 + 3/(b/4) a multiple of 9?
True
Suppose -r + 77 + 52 = k, 5*k + 5 = 0. Let d = -82 + r. Does 14 divide d?
False
Let c = 61 + -55. Suppose 3*j + 5*q = 154, -c*q = 3*j - 4*q - 148. Is j a multiple of 16?
True
Suppose 13*z = -11*z + 960. Does 5 divide z?
True
Let i = 95 - 95. Suppose i = -t - 4*t + 880. Is 17 a factor of t?
False
Suppose 5*f - 5*d = 176 + 94, -5*d - 217 = -4*f. Is f a multiple of 4?
False
Let c(j) = -45*j**2 + 2*j - 3. Let q(b) = -b**2 - b + 1. Let d(z) = -c(z) - 2*q(z). Suppose -5*a - 2 = -7*a. Is 16 a factor of d(a)?
True
Let z = -53 - -56. Suppose 237 = 3*i + z*p, 2*i - 3*p + 158 = 4*i. Is i a multiple of 13?
False
Suppose 0 = u + 4*u - 75. Suppose -5*b - 2*n + 20 = 0, -4*n - 9 = 2*b - 33. Suppose 66 = 5*d - 2*t, u = -3*t - b*t. Does 12 divide d?
True
Suppose -10*r - 6510 = -25*r. Is 62 a factor of r?
True
Suppose -4*o - 140 = -2*k - 2*o, 3*k + 3*o = 192. Let d = k - 55. Does 6 divide d?
True
Is (-83)/(42/(-6) - -6) a multiple of 10?
False
Suppose 0*v = -8*v + 2816. Is 15 a factor of v?
False
Let a(q) = -q**3 - 20*q**2 + 3*q - 10. Let l(i) = -3*i**3 - 59*i**2 + 10*i - 31. Let v(h) = -8*a(h) + 3*l(h). Is v(-18) a multiple of 29?
True
Suppose 909 = h - 4*i + 343, 3*i + 1137 = 2*h. Is 36 a factor of h?
False
Let f be (0 - 30)*(7 + -3). Let h = 129 + f. Does 3 divide h?
True
Let t(d) = -31*d**3 - d**2 + 2*d - 1. Let x be t(1). Let p = x + 61. Let l = p - 8. Does 4 divide l?
False
Let w = 537 + -531. Is w a multiple of 6?
True
Suppose -196 = -2*z + 28. Is 3/(-2)*z/(-6) a multiple of 7?
True
Suppose 8*y - 892 - 204 = 0. Is 6 a factor of y?
False
Let m = -9 - -14. Suppose -2*b + 28 = 2*h, 0 = m*b + h - 25 - 57. Does 5 divide b?
False
Let o = -105 + 105. Suppose 2*s + 6 = o, 3*w - 4*w + 55 = -5*s. Is w a multiple of 19?
False
Suppose 0 = 14*t - 2519 - 6945. Is 13 a factor of t?
True
Is ((-300)/(-48) + 4)*156 a multiple of 13?
True
Is 1877 + (-13 - (4 - 9)) a multiple of 21?
True
Let i(a) be the third derivative of a**5/60