- 5 = -s + 2*g. Does 3 divide s?
True
Let q be (1 + -3)*(-57)/(-6). Let w = q - -27. Does 7 divide w?
False
Let b be 27/(2*(-6)/16). Let v = 61 + b. Does 19 divide v?
False
Let r(x) = -x**2 + 9*x + 14. Let t be r(11). Is 6 a factor of (-7 + 1)*t/6?
False
Suppose -5*q - 8 = s, 2 = 5*s - 4*q - 16. Does 3 divide s/(-4)*(9 - 47)?
False
Let y(s) = -26*s + 3. Let x be y(2). Let f(w) = w**3 + 9*w**2 - 11*w - 7. Let i be f(-9). Let l = i + x. Is 16 a factor of l?
False
Is (-390)/(-9) - 6/(-9) a multiple of 17?
False
Suppose -7*s = -2*s + 20. Let z = s + 6. Does 5 divide 4 - -5 - (0 + z)?
False
Let d(j) = -3*j**3 - 6*j**2 - 7*j - 1. Is d(-2) a multiple of 4?
False
Let s(c) = c**2 - 13*c + 42. Does 21 divide s(13)?
True
Let m = 6 - -11. Let p = 4 + 1. Let d = m - p. Is d a multiple of 12?
True
Let i = -30 + 67. Is i a multiple of 18?
False
Let y(z) = z**2 + 17*z + 11. Let v be y(-17). Let c(q) = q**2 - 11*q + 14. Is 7 a factor of c(v)?
True
Let q = 29 - -120. Is q a multiple of 14?
False
Is 30 a factor of ((-664)/10*1)/(12/(-30))?
False
Suppose -4*j = -6*j + 10. Suppose -j*y + 0*y + 10 = 0. Suppose -4*b + y*b = -16. Does 6 divide b?
False
Suppose q = -4*q + 360. Is q a multiple of 26?
False
Let x be 4 - ((-1)/1 + 2). Suppose -2*t - 2*n = n + 1, -x*t + 18 = -2*n. Suppose 4*s = -5*g + 128, 127 = t*g - 0*g - 5*s. Does 11 divide g?
False
Is 17 a factor of (4/7)/(26/1183)?
False
Suppose -5*z + 17 = -2*t, 0 = -t - 2*z + 5*z - 11. Suppose 5*q - 21 = 2*p, -9 = 4*p - t*q + 5*q. Does 12 divide (-34)/(-3) + (-2)/p?
True
Suppose -g - 36 = 3*g. Is 3 a factor of -3*15/g - -1?
True
Let d(a) = -a**2 - a + 2. Let h be d(-2). Suppose h = 4*v - 68 + 12. Is 7 a factor of v?
True
Let s = 197 - -6. Does 7 divide s?
True
Let f = -6 - -28. Is f a multiple of 8?
False
Let j(k) = 4*k + 5 - 4*k + 5*k + k**2 - 3*k. Is j(-5) a multiple of 10?
True
Suppose 2*d = -4*j + 14, 26 = -2*d - 0*j + 4*j. Is 3 a factor of (-4)/(11/(-3) - d)?
True
Let z = 2 - -2. Suppose 23 = z*j - 53. Does 5 divide j?
False
Let t = -19 - -18. Is (-57 + 4 - 0)/t a multiple of 8?
False
Let x = -122 + 232. Let c = 1 - -1. Suppose -2*s - 2*d = -48, -c*s - 3*d = 3*s - x. Is s a multiple of 7?
False
Let d(a) = 75*a + 10. Does 19 divide d(2)?
False
Suppose -3 = 4*j - o - 132, -3*j + 5*o = -84. Is j a multiple of 11?
True
Let h(a) = 3*a**3 - a**2 + a - 1. Let n = -3 - -4. Let m be h(n). Let w = 12 + m. Is 9 a factor of w?
False
Let p(n) = -11*n**3 - n**2 - n. Let g = -8 - -4. Let z = g - -3. Does 4 divide p(z)?
False
Suppose -4 = -4*l - 0*l. Let d be 2 - (0/l - 2). Suppose d*w - 129 = -41. Does 11 divide w?
True
Let x(v) be the second derivative of -v**5/20 + v**4/3 + v**3 + 3*v**2/2 + 5*v. Does 4 divide x(5)?
True
Let q(s) = s**2 - 4*s + 3. Let n be q(3). Suppose 5*t - 74 = 4*w - 22, -w + 5*t - 28 = n. Is 3 a factor of 5/(-20) - 50/w?
True
Let j(u) = -u**3 + 5*u**2. Let s be j(3). Suppose 2*f = -4*z + s, 2*z = -2*f + 11 + 3. Suppose 0 = -f*m + 7*m - 44. Is m a multiple of 11?
True
Suppose 3*k + 3*n + 42 = 0, -4*k = -3*k - 5*n + 32. Let d = 30 + k. Does 7 divide d?
False
Let t(k) = 4*k**2 - 3*k + 5. Is t(3) a multiple of 9?
False
Let y(c) = 0 - c**2 - 3 - 3 - 9*c. Let w be y(-8). Suppose -w*g = -5*g + 156. Is g a multiple of 18?
False
Let y(o) = -o**3 + 3*o**2 + 5*o. Is y(4) a multiple of 3?
False
Is (-4)/(-22) + (-4748)/(-22) a multiple of 24?
True
Is 10/(-15)*72/(-2) a multiple of 19?
False
Let j(y) = y**3 + 9*y**2 + 6*y. Is 10 a factor of j(-6)?
False
Is 5 a factor of (4/(-30) + (-94)/(-30))*41?
False
Suppose 8*a - 5*a - 19 = 4*k, -2*a + 4*k = -14. Suppose a*f - 12 + 87 = 0. Does 9 divide 60*(9/f - -1)?
False
Let s = 69 + -40. Let b = s - 9. Is b a multiple of 20?
True
Let g = 6 - -9. Does 4 divide g?
False
Let w = 2 + 3. Suppose w*x - 2 = 23. Suppose -136 - 49 = -x*c. Is c a multiple of 10?
False
Let a(l) = l - 21. Let k be a(10). Let v = -10 + k. Let t = -15 - v. Does 6 divide t?
True
Let u(k) = -15*k - 1. Let s(z) = -z. Let a(m) = -4*s(m) + u(m). Is 7 a factor of a(-2)?
True
Let s = 54 + -40. Is s a multiple of 7?
True
Is 55 + (0 - 1) + (-1 - -4) a multiple of 5?
False
Let n = 43 - 21. Is 11 a factor of n?
True
Let c(q) = -8*q - 3. Let t(b) = -143*b - 55. Let i(j) = -55*c(j) + 3*t(j). Let a be i(7). Let f = -32 + a. Is f a multiple of 20?
False
Suppose -21*i + 24*i = 108. Is 18 a factor of i?
True
Let w(c) = c. Let t be w(3). Suppose -1 + t = -2*i. Let m = 5 + i. Is 4 a factor of m?
True
Does 6 divide (-4 + 7 - 2) + 28?
False
Suppose -4*r = -30 - 206. Does 30 divide r?
False
Let n = 59 - 4. Suppose -2*i + n = 2*a - i, -3*a + i = -90. Does 23 divide a?
False
Is 21 a factor of 608/3*12/8?
False
Let p be ((-21)/2)/(3/6). Let u = 9 - p. Is 10 a factor of u?
True
Is (-3 - 1)/(((-64)/136)/4) a multiple of 11?
False
Is 11 a factor of (-3)/((-6)/64) + 1?
True
Let q be (-7 + 2)*(-2)/5. Let b be ((-1)/2)/(q/44). Let p = 1 - b. Is p a multiple of 6?
True
Let y = -52 - -96. Is 22 a factor of y?
True
Suppose 2*a = -2*v + 17 + 9, -4*v - 3*a = -49. Does 3 divide ((-6)/(-5))/(3/v)?
False
Does 7 divide 28 - 0*(-3)/9?
True
Is 14 a factor of 3/(-2) + 755/10?
False
Let x be 0 - (4 - (1 + 1)). Does 5 divide 7 + x + 3 + -3?
True
Let c = 661 + -441. Is 20 a factor of c?
True
Let a(n) = -n**3 + 2*n**2 - 2*n + 3. Let g be a(2). Let f be 11 + g - (5 - 6). Let y = -7 + f. Does 2 divide y?
True
Suppose 393 = 5*m - 297. Does 6 divide m?
True
Suppose 4*v - 32 = -0*v. Suppose 0*r + v = r. Is 4 a factor of r?
True
Suppose 3*t + 220 = 8*t. Let d = t - 14. Does 15 divide d?
True
Let r(g) = 2*g - 2. Is r(6) a multiple of 10?
True
Suppose 653 + 22 = 4*y - 5*g, -2 = -2*g. Is 33 a factor of y?
False
Suppose -5*p + 4*p + 2 = 0. Suppose -p*g - 487 = -6*g - y, 364 = 3*g + y. Is 32 a factor of g?
False
Let a = 13 - 7. Does 7 divide (-12)/(-10)*105/a?
True
Suppose -2*l - 13 = -3*l + 2*c, 3*l - 5*c - 35 = 0. Is 14 a factor of 1088/40 + 4/l?
True
Suppose m - 1 = 13. Suppose -k - m = -2*y, 2*k + 2 = 6. Let d = -1 + y. Does 6 divide d?
False
Suppose 5*j - 324 = -4*k + 41, 0 = -2*k + 5*j + 145. Suppose -244 = -3*y - 4*u, y + k = 2*y + 5*u. Does 20 divide y?
True
Suppose -v + 51 = u + 4*u, -4*v + 229 = -5*u. Does 24 divide v?
False
Suppose 0 = -5*n + 5, -388 = 4*z - 3*n - 1437. Does 13 divide z?
False
Suppose 4 = -4*q - 4. Let s be (5/(15/(-12)))/q. Suppose d - k - 4*k = -4, d - 4*k = -s. Is 5 a factor of d?
False
Let y = 11 - 7. Let u(o) = -1 - 1 + 3*o - y*o. Does 2 divide u(-4)?
True
Let j(f) = 5*f - 2. Let k be j(8). Suppose 3*q = -u + k, 0*q = 5*u + 3*q - 178. Is u a multiple of 13?
False
Suppose -47 = -3*a + 16. Is a a multiple of 21?
True
Suppose -2 = j - 4. Suppose 2*r = j*y - 90, 2*r + 42 = 3*y - 96. Suppose 4*z - 12 = y. Is 7 a factor of z?
False
Is 8 a factor of (-18)/(-7)*56/12?
False
Let y(f) = -2*f + 16. Is y(0) a multiple of 8?
True
Suppose 4*a = 5*v - 124 + 45, a = -1. Is (99/(-3))/(v/(-10)) a multiple of 11?
True
Suppose -60 = -5*x + x. Is x a multiple of 12?
False
Let o = 255 - 122. Is o a multiple of 17?
False
Let x = -6 + 4. Let t(k) = -4*k**3 - k**2 - 8*k + 3. Let a(o) = -3*o**3 - o**2 - 7*o + 2. Let m(b) = -5*a(b) + 4*t(b). Does 4 divide m(x)?
True
Suppose -5*o = -4*z - 83, -3*o + 2*z + 79 = 2*o. Let h be (-2)/(-4) - o/(-10). Does 9 divide (-7 - 0)/(h/(-6))?
False
Does 8 divide ((-111)/(-12))/(3/12)?
False
Let p(j) = -j**3 - 4*j**2 + 5*j + 5. Let y be p(-5). Suppose 8*t - y*t = 6. Suppose -3*x + 27 = -t*k + 5*k, -5*k - 3 = -3*x. Is 3 a factor of x?
True
Let i = -1 - -20. Let d = -9 + 1. Let a = i + d. Does 5 divide a?
False
Is 13 a factor of (-26)/6*(-5 + 2)?
True
Suppose -73 + 9 = -4*j. Is j a multiple of 8?
True
Suppose 17 = -4*o + 69. Is o a multiple of 12?
False
Suppose 0*k + 3*k = 18. Suppose 20 = k*b - b. Suppose b*x = 105 - 33. Does 6 divide x?
True
Let j be 6/15 + (-76)/(-10). Let m be j/3 - (-1)/3. Suppose 0 = v - 2 + m, 5*v - 85 = -3*x. Does 20 divide x?
False
Let f(v) = 34*v - 30. Is f(9) a multiple of 46?
True
Is 1/4 - (-3336)/96 a multiple of 35?
True
Let t(y) = -4*y**3 + y + 2. Let k(x) = 12*x**3 + x**2 - 2*x - 6. Let r(p) = -3*k(p) - 8*t(p). Does 13 divide r(-2)?
True
Let c(s) = -5 - 13 + 4 + s. Let n be c(10). Does 6 divide (-2)/(-8) - 51/n?
False
Suppose -2*z + 148 = -0*c - 5*c, -5*c = -5*z + 145. Is 4 a factor of (-