 8 a factor of (g - 0)*(-50 - z)?
False
Let v(f) = 62*f**3 - 2*f**2 - 7*f + 7. Is v(1) a multiple of 26?
False
Is (-5)/(-20) - 705/(-12) even?
False
Is 9596/24 - ((-104)/48)/13 a multiple of 8?
True
Suppose -1775 = -5*m - 5*k, -12*m + 10*m + 704 = 5*k. Does 7 divide m?
True
Suppose 4*c = 3*q + 6088, c + 4*q + 3034 = 3*c. Does 25 divide c?
True
Suppose -24 = -4*i - 2*i. Suppose -l + a = -i, l - 2*a + 12 = 3*a. Suppose 0 = 5*w + 5*u - 145, l*u + 47 = 3*w + 3*u. Is 8 a factor of w?
True
Let q = 21 - 15. Suppose 534 + 324 = q*v. Suppose -32 - v = -7*w. Is 5 a factor of w?
True
Let j = 315 - 38. Is j a multiple of 9?
False
Suppose -c + 746 = -5*k - 444, 2*k + 2*c = -464. Let q = -147 - k. Suppose j - 4*z + 16 = 46, q = 3*j - 2*z. Is 10 a factor of j?
True
Let x(y) be the first derivative of -4 - 2*y + 47/2*y**2. Is 25 a factor of x(2)?
False
Is (177324/(-168))/((-1)/2) a multiple of 53?
False
Let p(n) = -n**2 + 3*n + 4. Let w(f) = -f**2 - 11*f + 16. Let i be w(-12). Let q be p(i). Suppose q = -2*u - 4*d + 44, 0 = 2*d + 3 - 1. Does 12 divide u?
True
Suppose 4*u + 5*s = -0*s + 407, 3*u = 4*s + 344. Suppose 2*v - u = -b, 0*v + 4*v - 214 = -b. Let x = v - -7. Is x a multiple of 18?
False
Let q(y) = -131*y - 571. Does 9 divide q(-8)?
True
Let c be 4 - (-975)/26*4/(-3). Let o = -22 - c. Does 24 divide o?
True
Suppose 0 = 2*n - 2, 3*n = -3*i - 3 - 3. Let u be i/(-15) + (-49)/(-5). Does 16 divide (-240)/50*u/(-3)?
True
Suppose 5*r = 5*p - 7045, 2819 = 2*p - 5*r + 2*r. Is 8 a factor of p?
True
Let x = 496 - 397. Is 11 a factor of x?
True
Suppose -10*j + 14*j - 2092 = 0. Let m = j - 253. Is m a multiple of 15?
True
Let r(l) = 7 + 3*l**2 - 2*l + 0*l - 6*l. Does 9 divide r(6)?
False
Suppose 11*u = 11794 + 11526. Does 55 divide u?
False
Let f = 324 - 194. Suppose 0 = -2*i + 15*i - f. Is i a multiple of 6?
False
Let l be (0/((3 - 2)*-1))/1. Suppose l*h - 8*h = -960. Is 30 a factor of h?
True
Let z = 143 + 291. Suppose z = 5*l + b - 5*b, 0 = 4*l - 3*b - 348. Does 18 divide l?
True
Suppose 3*d + 3 = 3*y - 9, -4*y - d = -31. Suppose f = 87 - y. Is 17 a factor of f?
False
Suppose 3*d = -4*d + 28. Suppose 245 = 3*x - d*r - 230, -x + r = -157. Is 19 a factor of x?
False
Is 114 a factor of ((-2 + 3)/(-1))/((-11)/16412)?
False
Suppose -7*a + 5*a = 2. Let w(v) = -120*v**3 - v - 1. Does 12 divide w(a)?
True
Suppose 3*x = -0*x + 9. Suppose 2*z = x*z - 87. Suppose 0 = -5*q + z + 43. Is 9 a factor of q?
False
Let f = 2660 - 757. Is f a multiple of 15?
False
Suppose 0 = -n - 5*j, 5*n + 2*j = -2*j - 84. Let c = -15 - n. Suppose -3*d + 2*b + 144 = 0, 4*d - d - 144 = -c*b. Does 16 divide d?
True
Suppose 6 = 22*n - 19*n. Suppose 4*m = n*u - 210, -5*m + 1 = 16. Is u a multiple of 9?
True
Let y = 7 + -4. Suppose -91 + 18 = -4*u + y*c, -c = u - 13. Does 5 divide u?
False
Is 25 a factor of 1336/6*((-153)/(-6) - 18)?
False
Let g = 57 - 155. Let v = g + 146. Is v a multiple of 4?
True
Suppose -2*t = -0*t - y, 0 = 3*t + y. Suppose 0*o - 3*o + 7 = l, -5*o - 5*l + 5 = t. Suppose 0 = -o*x - 2*x + 640. Is 29 a factor of x?
False
Let v = 56 + -54. Suppose v*u = -2*u + 780. Is u a multiple of 15?
True
Suppose 4*b - 5*i + 2*i - 17 = 0, 0 = 5*b - 5*i - 25. Suppose b*j + 15 = -3. Let n(a) = a**3 + 9*a**2 - 3*a - 7. Does 16 divide n(j)?
False
Let a(m) = -m**3 + 7*m**2 + 4*m - 8. Let p(y) = 3*y**3 + 2*y**2 + y - 2. Let j be p(1). Let o(z) = -z**2 + 6*z - 1. Let b be o(j). Is 20 a factor of a(b)?
True
Suppose -5*f = -9*f + 8. Suppose s = -f*s + 306. Does 17 divide s?
True
Let q(o) = o**3 + 10*o**2 + 12*o + 9. Let u(t) = t - 6. Let c be u(-2). Let i be q(c). Does 4 divide (-17)/(-34)*(i - 1)?
True
Let h(f) = -3*f + 37. Let k be h(11). Suppose 13 + 7 = 2*q + k*l, -q + 2*l = -14. Is 12 a factor of q?
True
Let j be -6 + 10 - 0/2. Suppose 0*o = 2*o - j. Suppose -c = o*c + 4*b - 220, -5*b + 135 = 2*c. Is c a multiple of 16?
True
Suppose -g - 210 = -7*g. Let k = -7 + g. Is 6 a factor of k?
False
Suppose -624 - 384 = -9*z. Does 56 divide z?
True
Let f be (-1)/(-3)*(0 - -9). Suppose -5*b = -4*n + f, 3*b + 3*n + 13 + 5 = 0. Does 26 divide (b - -14)/(2/10)?
False
Let l(q) = 7*q**2 - 9*q + 10. Let n be l(5). Let a = n - 71. Is a a multiple of 20?
False
Suppose 3*u - 13 - 11 = 0. Let r(w) be the third derivative of w**5/60 - w**4/4 + 5*w**2. Is 16 a factor of r(u)?
True
Suppose 19*h - 22*h + 21 = 0. Suppose -128 = -x - 4*c, 2*c - 694 = -h*x + 2*x. Is x a multiple of 7?
True
Is 124 - (6 + 6/2 + -5) a multiple of 12?
True
Suppose 4*d + 694 = 2162. Does 13 divide d?
False
Let v(q) be the third derivative of q**4/12 - 2*q**3/3 + 3*q**2. Let i be v(5). Suppose 24 = i*w - 4*w. Is 3 a factor of w?
True
Let b(l) = -l**3 - 6*l**2 - 11*l - 12. Let f be (-92)/16 + (-2)/8. Is 6 a factor of b(f)?
True
Let w(n) = 3*n**3 + 37*n**2 + 25*n. Is w(-10) a multiple of 10?
True
Let z(o) = -o**2 - 10*o - 4. Let n be z(-9). Suppose -234 = 2*w - n*w. Is w a multiple of 20?
False
Suppose -2*f + 4*h = h - 594, 0 = 2*f - 4*h - 594. Does 9 divide f?
True
Let y(h) = 2*h**2 + 3*h - 7. Suppose 0 = 3*d + 15. Is 7 a factor of y(d)?
True
Let d = -215 - -129. Let k = d - -51. Is 12 a factor of (-14)/k - (-268)/5?
False
Let m(t) = -18*t**3 - 3*t**2 + t + 6. Does 17 divide m(-2)?
True
Let k(m) = 3*m**2 + 5*m + 2. Let p be k(-4). Suppose 0 = 5*r + y - 2*y - 78, -r = -5*y - p. Is r a multiple of 3?
True
Let m = -855 - -1455. Is m a multiple of 50?
True
Let s = 23 + -24. Let t be (-4 - s)*3 + -1. Let k = t + 47. Is 11 a factor of k?
False
Let s = -35 + 294. Does 20 divide s?
False
Is 162/(-135)*-115*2/4 a multiple of 69?
True
Suppose 5*f - 7*r - 10066 = -11*r, -4*f + 2*r = -8058. Is f a multiple of 19?
True
Suppose 1056 = 30*z + 18*z. Does 10 divide z?
False
Let v = 12 + -12. Let b(q) = 2*q + 121. Is b(v) a multiple of 11?
True
Let q(o) = -o - 1. Let b(c) = c - 3. Let j be b(-4). Let p be q(j). Is p/(-21) - 429/(-7) a multiple of 13?
False
Let y = -22 - -81. Does 16 divide -4*y/(-2) + 0?
False
Suppose -4*i = -8*i - 244. Let l = i - -91. Is 12 a factor of l?
False
Let w = -1003 + 1813. Is w a multiple of 30?
True
Is (-90)/(-15) + (-4)/(-3)*933 a multiple of 50?
True
Suppose -5*t = 6*y - 4*y - 59, -3*t = -15. Suppose -2*j - y = -65. Is j a multiple of 11?
False
Suppose 0 = 6*g - 2*g + z - 1174, -2*g = -z - 584. Suppose -5*s = 5*y - 505, y = -8*s + 5*s + g. Is s a multiple of 10?
False
Suppose 2*m = 4*d - 47 - 33, 176 = -5*m + 2*d. Let y = 26 + m. Is 4 a factor of 5/(10/y) + 16?
True
Suppose -j + 2*j - 4*x = -10, -5*j - 5 = -5*x. Suppose 0 = j*z - 3*r - 0*r - 16, 0 = -3*z - 5*r - 14. Suppose z*c - 5 - 1 = 0. Is c even?
False
Let n(v) = 11*v**3 + 2*v + 1. Let p(o) = 12*o**3 + 3*o + 1. Let y(z) = 4*n(z) - 3*p(z). Let u = 18 - 17. Is y(u) a multiple of 2?
True
Suppose -4*p = -113 - 143. Let l = p + -34. Is l a multiple of 30?
True
Suppose -113 = -4*t + 5*b + 161, -3*t - 4*b + 190 = 0. Is t a multiple of 33?
True
Suppose 3*i + 137 = w - 100, -3*i = 5*w - 1275. Does 18 divide w?
True
Does 29 divide -3 + -1*5/(10/(-746))?
False
Let d be (14 - (3 - 0)) + -3. Suppose -d*c + 10 = -3*c. Suppose -c*r + 66 - 14 = 0. Is r a multiple of 13?
True
Let l = -27 + 35. Suppose -l*m + 68 = -4*m. Does 17 divide m?
True
Let r(m) = 167*m + 64. Does 26 divide r(2)?
False
Suppose -2078 = -5*i + u, -4 + 6 = u. Does 4 divide i?
True
Is 49 a factor of ((-2081)/4)/(((-20)/(-16))/(-5))?
False
Let o = 10 - 2. Let d(z) = z**2 - 9*z + 10. Is d(o) a multiple of 2?
True
Suppose -3*m + 154 = 2*w, -3*m = 2*m - 2*w - 278. Let s be 2*3/10 + 326/(-10). Let g = m + s. Is g a multiple of 12?
False
Is 38012/21 - ((-1558)/399 + 4) a multiple of 15?
False
Suppose 2*z - 5*p = 18, 0 = 4*z + 5*p - 24 - 12. Suppose 5*b = -0*b + k - 3, 0 = -3*k + z. Suppose -3*r + 4*r - 8 = b. Is r even?
True
Suppose -2*n + 18 = -4*n - 4*j, -2*j = 2. Does 3 divide (16/(n + 3) + 6)*4?
False
Let u(x) = x**2 + x + 6. Let m be u(8). Suppose 72 = 2*j - m. Suppose 2*a - 3*a + 25 = q, 3*q - j = 2*a. Is q a multiple of 5?
True
Let a(q) = -2*q**3 + 26*q**2 - 46*q + 5. Is 6 a factor of a(10)?
False
Let n(x) = 12*x - 5. Let o = 25 + -28. Let i be (4/(-10))/(o/30). Does 12 divide n(i)?
False
Suppose -2*p = 3*i - 405, -p + 70 + 134 = 2*i. Is p a multiple of 22?
True
Let i(d) = 27*d**3 + 2*d**2 - 2*d + 1. Let o be i(1). Suppose o