2/(-1344) + 0)?
True
Let j be 664 + (1 + -16)/(-5). Suppose -5*y = 5*u - j - 793, 580 = 2*y + u. Is 32 a factor of y?
True
Suppose -3*x + 20 = -3*p + 2*p, -2*p - 3*x - 4 = 0. Let n = 68 + p. Is 12 a factor of n?
True
Let v(c) = 18*c + 8. Let r be v(4). Suppose 3*z - p - 32 = z, 2*p = -5*z + r. Suppose 35 = -15*s + z*s. Is 35 a factor of s?
True
Let y(q) = -4*q**2 + 2*q**2 + 120 + q**2. Let v = 928 + -928. Is 15 a factor of y(v)?
True
Let x(c) = 100*c**2 + 8*c - 3. Does 50 divide x(2)?
False
Let g = -828 - -1582. Is g a multiple of 29?
True
Let k(u) = -16*u + 0*u**3 - u**3 + 10*u**2 + 0*u**3 + 7 - 3. Let b be k(8). Suppose -b*r + 4 = w, -5*r = -2*w + 32 + 41. Does 4 divide w?
True
Let m(i) = i**3 - 7*i**2 + 10*i - 6. Let p be m(7). Let z = p - 36. Is z/(-2)*(2 - 3) a multiple of 3?
False
Let l(a) = -a**2 - 11*a - 6. Let u(h) = -2*h**2 - 10*h - 5. Let o(j) = -3*l(j) + 2*u(j). Is o(6) a multiple of 10?
True
Suppose 5*v + 2543 = -2*j + 3*j, 0 = -4*j - 2*v + 10062. Is 15 a factor of j?
False
Let o = 647 + -435. Is o a multiple of 11?
False
Suppose -5*q - 2*f = -667, -58*q + f + 664 = -53*q. Does 13 divide q?
False
Let j = 2162 + -42. Is 10 a factor of j?
True
Let g(q) = q**2 - 3*q - 4. Let i be g(-1). Suppose -2*y - 2*m = -144, -3*m = -i*m - 6. Is 12 a factor of y?
False
Let q(d) = -3*d**3 + 2*d**2 + 2*d + 1. Let a be q(-1). Suppose -a*z + 918 = -c, -914 = -8*z + 4*z + 3*c. Is 15 a factor of z?
False
Let k be 18/3 + -3 + 1. Let h(m) = 17 + 9*m - 49 + 20. Is 10 a factor of h(k)?
False
Let o be 4/10 - 43/(-5). Suppose m = -o + 4. Let w = 30 - m. Is 14 a factor of w?
False
Let y be 22/7 + 2/(-14). Suppose k = y*l - 220, 311 = 3*l + 4*k + 66. Is 20 a factor of l?
False
Is 4 a factor of 3/((-1)/(-7)*(-21)/(-49))?
False
Suppose -4 = -3*x + 2*x. Suppose -4*b + 12 = x. Suppose 3*s + 0*l + b*l = 101, 132 = 4*s + 4*l. Does 16 divide s?
False
Suppose -8*p + 6*p = -2. Let g(f) = 7*f**2 - f + 2. Is g(p) even?
True
Let t(r) = -389*r + 2. Does 17 divide t(-1)?
True
Suppose 2*l + 4 = 24. Let k = l + 4. Let g = k - 7. Is g even?
False
Suppose 4*s - 11 - 9 = 0. Let h(b) = 12*b + 4. Let l(m) = m. Let a(o) = h(o) - 8*l(o). Is a(s) a multiple of 10?
False
Suppose -9*w + 10*w = 4. Suppose w*d + 236 = 2*p + 2*d, -5*p = -2*d - 596. Does 15 divide p?
True
Suppose -t - 750 = -4*t. Suppose -5*c = -5*x - t, x - 214 = -5*c + 24. Is 8 a factor of c?
True
Let v(h) = h**3 + 35*h**2 + 47*h - 42. Does 51 divide v(-33)?
False
Let h be 2/1 - (-68)/1. Let r = h + -31. Suppose -4*s = -12, -5*s + 12 + r = 3*q. Does 3 divide q?
True
Does 69 divide 28448/70 + (-24)/(-15)?
False
Suppose 5*j = 2*t - 612 - 597, -5*j + 2493 = 4*t. Is 5 a factor of t?
False
Let h(k) be the third derivative of k**5/60 + 11*k**3/6 - 8*k**2. Is h(6) a multiple of 7?
False
Suppose b - 5*b - 2*z = -2688, 2*z + 672 = b. Does 21 divide b?
True
Suppose -1357 = 5*z - 4*q, -3*z - 795 = 7*q - 3*q. Let f = -86 - z. Suppose 0 = -5*t + 5*u + 470, -t + 3*t - f = u. Is t a multiple of 26?
False
Let q = 1815 - 858. Does 33 divide q?
True
Let x(r) = -2*r**3 + 28*r**2 - 26*r + 40. Is 8 a factor of x(13)?
True
Is 9 a factor of (1/(-6))/(50/(-108300))?
False
Suppose -2*o = -6*o + 8. Let g be (154/(-21))/(o/(-6)). Let n = g + -6. Is n a multiple of 4?
True
Let a = -782 + 1208. Is a a multiple of 71?
True
Suppose 30 = -2*w - s, 0 = -2*w + 3*s - 0*s - 38. Let a = w - -9. Let j = a + 9. Is j a multiple of 2?
True
Suppose -2*j + 0*j - 32 = 0. Is (-108)/j*(-96)/(-9) a multiple of 18?
True
Let a = 4739 - 887. Is a a multiple of 12?
True
Suppose 0 = -3*p + 19 + 32. Let i = p + -17. Suppose i = 4*l - 12, 2*l = -5*w + 33 + 103. Is 13 a factor of w?
True
Let y(b) = -1. Let l(u) = -4*u + 6. Let t(f) = l(f) + 3*y(f). Let w(c) = -2*c**2 + 3*c + 1. Let n be w(-2). Is 13 a factor of t(n)?
False
Let n = 5772 - 3296. Let v be (-1)/(n/620 - 4). Suppose 64 = -4*t - 5*m + 267, -v = -3*t - m. Does 25 divide t?
False
Let c = 11 + -5. Suppose 8*q - 96 = c*q. Is q a multiple of 12?
True
Suppose -311*v = -302*v - 2925. Is 13 a factor of v?
True
Suppose 0 = w + 2*w - 15. Suppose 0 = -9*m + w*m + 268. Is m a multiple of 10?
False
Suppose -h - 3*h = -596. Suppose -n + 95 = -2*t + 18, -h = 4*t - n. Let v = t - -79. Is v a multiple of 12?
False
Let h be 38/(-9) - 4/(-18). Let y be 2*2/h*1. Let x(m) = 14*m**2 + 3*m + 2. Is 13 a factor of x(y)?
True
Let b(t) = -30*t - 225. Let o be b(-9). Let m = 22 - 45. Let a = o - m. Does 23 divide a?
False
Suppose 0 = 235*g - 229*g - 888. Is g a multiple of 4?
True
Suppose 3258 = 4*j - t, 4*j + 5*t = -j + 4085. Is j a multiple of 17?
False
Let p(i) = -i**2 + 8*i. Let r be p(8). Suppose 3*j - 2*j = r. Let b = j + 13. Is b a multiple of 10?
False
Suppose -2*s + 1 = -1, -3*x + 4*s + 2 = 0. Suppose x*j = -3*p - j + 9, -4*p + 3*j + 12 = 0. Suppose -p*a - 88 = -7*a. Is 8 a factor of a?
False
Suppose -11 = 11*s - 132. Let d = s + 39. Is 25 a factor of d?
True
Suppose 1808 = k + 2*w, 5*k = -5*w + 1807 + 7213. Is 40 a factor of k?
True
Is (-1065)/(-639) + 5*(-1684)/(-6) a multiple of 77?
False
Suppose 50*h = 51*h - 127. Does 10 divide h?
False
Let b(c) = -c**2 - 5*c + 5. Let k be b(3). Let n = 21 + k. Suppose 5*s - 8 = 4*v, 4*v + n*s + 6 - 26 = 0. Is v a multiple of 3?
True
Suppose 2*l = 21 + 37. Suppose -2*a - l = -3*a. Does 5 divide a?
False
Let a be -1*25 - (-20)/(-10). Let j be 2964/a - 6/27. Let w = -66 - j. Is 11 a factor of w?
True
Let q be (-4)/(-22) + 912/66. Let x = -6 + q. Suppose y - x + 0 = 0. Does 8 divide y?
True
Let v be 857 + -10 - -3*1. Suppose -4*t + 99 = 2*k - 241, 0 = 5*k - t - v. Suppose 5*z - k = -0*z. Is z a multiple of 17?
True
Let v(j) = -4*j - 8. Let z(r) = 7*r + 16. Let o(l) = 5*v(l) + 3*z(l). Let u be o(-6). Suppose u*i = -i - 2*y + 139, -49 = -i - 2*y. Is i a multiple of 15?
True
Let h(i) = -3*i - 4. Let f be h(-4). Is (-4)/(-2*f/12) a multiple of 3?
True
Let d(h) be the third derivative of 2*h**5/15 + h**4/24 + 4*h**3/3 + 11*h**2. Let o be d(4). Suppose 6*m - o = m. Does 9 divide m?
False
Let m(o) = -8*o. Let p(v) = 15*v - 1. Let n(r) = 7*m(r) + 3*p(r). Let a be n(2). Let j = a + 44. Does 8 divide j?
False
Suppose 3*f = c + 4*c + 576, 0 = -f + 4*c + 192. Suppose j = -5*h + 34 + 41, -4*h = 3*j - f. Does 15 divide j?
True
Suppose -7*z + 44 = -3*z + 3*w, 0 = -2*z - 4*w + 32. Let b be (-1)/((-4)/z) - 2. Does 4 divide 88/8 - (b + 0)?
False
Let t = -114 - -72. Let i = -7 - t. Does 21 divide i?
False
Let x = 25 + -15. Is 16 a factor of (-4)/x - 82/(-5)?
True
Suppose 4*q = 6*m - 2*m + 72, -4*q + 77 = -5*m. Suppose -30 = -8*f + q*f. Does 23 divide f/(((-24)/69)/4)?
True
Let d be -60*(-2 - 7/(-2)). Let g = -57 - d. Is g a multiple of 33?
True
Let w = -143 - -222. Suppose -4*c + 91 = -5*r, -5*c = -4*r - w - 46. Is 17 a factor of c - 1/(-2)*-4?
False
Let d(o) = 5*o**2 + 35*o + 70. Is d(-13) a multiple of 32?
False
Suppose -2*p - o - 29 = 12, -2*o = -p - 8. Suppose 16 = -k - 4*s, 3*k - 2*s - 8 = -42. Does 8 divide ((-32)/(-3))/(k/p)?
True
Let u be 1*-177*3/3. Let x = u - -311. Is x a multiple of 15?
False
Is (-12)/(152/352 + (-1)/2) a multiple of 16?
True
Let o(v) = v - 42 + v**2 + 23 + 15 + 16 + 14*v. Suppose -3*u - 50 = -2. Is o(u) a multiple of 14?
True
Let f(g) be the third derivative of 7/24*g**4 + 0*g + 5/6*g**3 + 1/15*g**5 - g**2 + 0. Does 5 divide f(-3)?
True
Suppose 3*w - 7*w = -3*l + 149, 4*l + 2*w - 206 = 0. Let d be 3 + -1 - (-7 - 4). Let a = d + l. Is 19 a factor of a?
False
Suppose -500 = -67*a + 66*a - 2*g, -a = 3*g - 504. Does 13 divide a?
False
Let k(a) be the first derivative of -5*a**2/2 - 2*a - 2. Let z = -88 - -84. Is 5 a factor of k(z)?
False
Suppose -4*l + 35 = -3*a - 13, a = 0. Suppose -l*t + 7*t + 405 = 0. Is t a multiple of 17?
False
Let j(b) = 29*b**2 - 11*b + 33. Does 29 divide j(3)?
True
Suppose -140 = -6*q + 2*q. Let z be (-10)/q - (-1754)/14. Suppose 0 = -5*d + 5*s + z, -5*s + 0*s = d - 13. Is d a multiple of 10?
False
Suppose -3*m + 304 = -2*r, 2*m - 4*m + 202 = -2*r. Is m a multiple of 5?
False
Suppose 2*k + 2*v - 2 = 0, 5 = -4*k + v - 16. Let m = 62 - 71. Is k/(-12)*-4*m a multiple of 11?
False
Does 16 divide (-3 - -797)*(-22 + 23)?
False
Suppose -4*g = -14 - 6. Suppose -256 = -3*i - 4*z, 0 = -g*i - z - 27 + 465. Suppose l + l - i = 0. Is l a multiple of 11?
True
Let s(n) = -8*n