
Let q = 48 - 7. Does 7 divide q?
False
Does 18 divide (-3 + 28/8)*36?
True
Let y(u) = -61*u - 2. Is 12 a factor of y(-2)?
True
Let j be -16*(-1)/(-2)*-1. Suppose -j*v = -3*v - 10. Suppose -v*w = -50 - 32. Is w a multiple of 16?
False
Let r be (2 + -17 - -2) + 1. Is 6 a factor of 7/(3 - (-32)/r)?
False
Suppose 0 = 2*i + 3*i - 80. Suppose -2*n - 10 = -2*y, -4*y + i = -0. Is 5 a factor of n - 8/(-1) - 0?
False
Let c = 0 + 5. Let l(s) = -3*s - 2*s**2 + 0*s**2 - 7 + 3*s**2 + s**2. Is 12 a factor of l(c)?
False
Let s(g) = g**3 - 5*g**2 + 5*g - 1. Let f be s(4). Let a(d) = 4*d**3 - 2*d**2 + d - 2. Let l be a(f). Suppose -l - 5 = -3*v. Is v a multiple of 16?
True
Suppose 740 = a + 4*a. Let x = a - 73. Is 18 a factor of x?
False
Let f = -13 - -5. Let x = 8 - f. Is x a multiple of 16?
True
Suppose 2*n = -0 + 4. Suppose -3*f + 57 = 2*b, -b - 19 = -n*f + 19. Is 5 a factor of f?
False
Let k(n) = -n**2 + 25*n + 20. Is k(14) a multiple of 35?
False
Let t(k) = -2*k - 6. Let s be t(-4). Suppose -s*h = 3*h + 3*p - 217, -4*h + 5*p = -144. Suppose h = 4*q - q - d, 4*d = -20. Does 12 divide q?
True
Let y be ((-14)/35)/(1/10). Let c(u) = 13*u**2 - 5*u - 4. Let w be c(y). Does 15 divide 4/20 + w/5?
True
Does 10 divide -20*3*4/(-6)?
True
Let z(h) = h**3 - 11*h**2 + 10*h + 10. Suppose 0 = -3*v - l + 3, 4*l = -9 - 3. Let c be (-5 - 0)/((-1)/v). Is 4 a factor of z(c)?
False
Suppose -6*z - 46 - 8 = 0. Let i = 25 + z. Is 15 a factor of i?
False
Suppose 2*s = 2*o - o + 182, -3*s = -5*o - 280. Is s a multiple of 9?
True
Let p = 11 + -6. Suppose -3*s = 5*z + 65, z + 0*z - p = 3*s. Is z/(-3)*42/35 a multiple of 2?
True
Let u be 39*7*16/48. Let v = 149 - u. Is v a multiple of 19?
False
Let m = -6 + 9. Let o(s) = -2*s**3 + 3*s - s**3 - 2*s + 4*s**m + 45. Does 21 divide o(0)?
False
Suppose 3*p = 2*x + 845, 2*p - 880 = -p - 5*x. Suppose 9*s - p = 4*s. Does 21 divide s?
False
Suppose 2*h + 5*j + 12 = 34, -4*h = -4*j - 16. Is 2 a factor of h?
True
Let z(g) = -g**2 - 15*g + 17. Is z(-13) a multiple of 9?
False
Does 6 divide (-1884)/(-21) - (-2)/7?
True
Let q(o) be the third derivative of -o**6/120 - o**5/20 - o**4/6 + o**3/6 + 3*o**2. Is q(-3) a multiple of 13?
True
Let n(m) = -7*m + 5 + 5 - 8. Let t be n(-3). Suppose -33 = -4*z + t. Is 7 a factor of z?
True
Let a(q) = q**2 + 3*q + 9. Let k be a(11). Suppose 3*s - k = -28. Does 19 divide s?
False
Let u(o) = -121*o + 4. Is 41 a factor of u(-2)?
True
Suppose 3*q = q + 16. Let b(r) = r**3 - 2*r**2 + 2. Let l be b(2). Suppose 5*a - l - q = 0. Is a a multiple of 2?
True
Let s = -2 + -22. Let l = 66 - 111. Let b = s - l. Is 21 a factor of b?
True
Let a(l) = 6*l**2 + 4*l - 30. Is 10 a factor of a(5)?
True
Suppose f - 4*f = 4*i + 1, 2*i + 11 = -5*f. Let k be (3 - 4/i)/1. Suppose -2*c + 7 = k. Is c even?
False
Let j(l) be the first derivative of 5*l**3/3 + l**2/2 + 5*l - 1. Let c be j(4). Suppose 14 - c = -5*a. Is 6 a factor of a?
False
Let w(j) = j**2 + 3*j + 169. Does 36 divide w(0)?
False
Let x = 16 - 12. Suppose -m = -2*w + 2*m + 27, -4 = x*m. Does 6 divide w?
True
Let o be (-10)/(-35) - (-2)/(-7). Suppose 0 = 2*d + x - 19, o*d + 35 = 5*d + 5*x. Is 13 a factor of ((-9)/d)/(2/(-56))?
False
Suppose 5*v + 6*z - z - 685 = 0, 3*v = z + 427. Is 12 a factor of v?
False
Suppose -4*f = 4*g, -g - 2*f = 2*f. Suppose 0 = -5*l - g*l + 140. Does 11 divide l?
False
Suppose 4*x + 0*x = 16. Suppose 5*d - 60 = -h, 36 = x*d - d - 3*h. Is 12 a factor of d?
True
Let m(p) = -34*p - 6. Let d be (1 + 5/(-3))*6. Let r be m(d). Suppose -5*o - 6*g + 4*g + r = 0, 2*g = 4*o - 122. Is o a multiple of 14?
True
Let y = -6 + 4. Is (-8)/6*57/y a multiple of 10?
False
Does 20 divide -3 - 50*25/(-10)?
False
Suppose 3*a - 4*y - 439 = 0, 3*y - 201 = -3*a + 210. Is a a multiple of 23?
False
Let r = 112 + -60. Is r a multiple of 13?
True
Suppose 0 = -3*v + 14 - 5. Suppose -3*g - 4*x - 3 = 0, 5*x - x = -5*g + v. Is g a multiple of 3?
True
Let j be 2/12 - 1/6. Suppose h - 2*z - 32 = 0, -h + 4*z - 3 + 33 = j. Is 17 a factor of h?
True
Let t(j) = -j - j + 0*j + 4*j - 2. Does 8 divide t(5)?
True
Let n = -7 + 16. Is (n/(-2))/(4/(-40)) a multiple of 15?
True
Suppose 7*d - 1088 = 3*d. Is 56 a factor of d?
False
Let q(r) = -r**2 - 11*r. Let m be q(-11). Suppose m = 4*x + d - 36, 4*x = -4*d - 10 + 34. Is x a multiple of 3?
False
Let a(g) = 64*g**2 - 3*g - 3. Is a(-1) a multiple of 8?
True
Let m = -9 + 11. Let a = m - -1. Is 3 a factor of a?
True
Let y(k) = -2*k**3 + k**2 - 3*k - 1. Is y(-2) a multiple of 5?
True
Let v(i) = i**2 - i + 6. Let h = -6 - -6. Is v(h) a multiple of 5?
False
Suppose -3*x - 108 = -5*x. Is x a multiple of 9?
True
Suppose -3*j + 22 = -176. Does 11 divide j?
True
Let s(m) = -4*m**3 - 4*m**2 - 6*m + 4. Is s(-4) a multiple of 10?
True
Let m(f) = -3*f + 1. Is 3 a factor of m(-3)?
False
Suppose 29 = -2*k + 97. Suppose 3*u - k = u. Is 8 a factor of u?
False
Suppose -3*t = -70 - 53. Suppose 3*a - 98 = 4*f - 12, -t = -3*a - 5*f. Is a a multiple of 10?
False
Let v be 0 + 7/(-1) + 0. Let o = v + 12. Is o even?
False
Suppose 4*a - a - 16 = 2*b, -4*a = -5*b - 26. Is (39/b)/(13/(-26)) a multiple of 31?
False
Let j be 14/(-4) + 1/2. Let d = j - -3. Suppose d = 4*o - 8*o + 68. Is 10 a factor of o?
False
Suppose -2*z = -5*i + 239, 2*i + 3*i - 233 = 4*z. Let w = i - 18. Is 21 a factor of w?
False
Let d = -6 + 15. Suppose 4*w - 7*w + 4*q = -d, 4*q = -4*w + 40. Does 3 divide w?
False
Let c be -3*((-22)/6 + 3). Let f = c - -2. Is f a multiple of 4?
True
Let g be 1/(1/12)*1. Let l be 3/g - (-165)/(-4). Let d = 74 + l. Is 12 a factor of d?
False
Let k(m) = -4*m**3 - 3*m - 1. Let j = -5 - -3. Let w be k(j). Let o = 75 - w. Is 19 a factor of o?
True
Suppose 23 = p - 5*n, 4*p - p - 2*n = 17. Suppose 6*v - v + j - 85 = 0, -p*j + 95 = 5*v. Suppose -5*r - v + 61 = 0. Does 5 divide r?
False
Suppose -6*k = -2*k - 16. Suppose 5*t - 5 = 3*r + 20, 0 = k*t + 2*r - 20. Suppose -s + 6*s = -20, 0 = -t*q - 3*s + 183. Does 17 divide q?
False
Let t = 2 - 28. Is (-5)/(10/t)*1 a multiple of 13?
True
Suppose 4*h = -y + 55, 4*y = -0*h - h + 250. Is y a multiple of 21?
True
Let w(u) = 3*u - 7. Is w(9) a multiple of 5?
True
Let c(t) = -50*t**3 + 1. Let b = 1 - 2. Is 17 a factor of c(b)?
True
Let m(k) = -k - 4. Let h be m(-12). Let b(g) = -g**3 + 11*g**2 - 9*g - 6. Let r be b(h). Suppose 4*l = 2*z + 90 + 62, 4*z + r = 3*l. Is l a multiple of 19?
True
Suppose -2*c + 6 = -0. Suppose 2*s = -3*x + 63, 0 = -4*s + c*x + 65 + 52. Is s a multiple of 10?
True
Let a(v) = -v**2 - 2 + v**2 + 0*v - 3*v**3 - 6*v - 5*v**2. Let y(q) = -10*q**3 - 16*q**2 - 19*q - 5. Let u(t) = 7*a(t) - 2*y(t). Does 3 divide u(-3)?
False
Suppose 16 = -2*i + 4*i. Suppose -i = -2*h - 2*h. Suppose -63 - 76 = -5*s + 3*o, o = -h*s + 49. Is 12 a factor of s?
False
Let u = 28 + -15. Suppose -4 = -3*q - 10, l = q + u. Does 11 divide l?
True
Let x(d) = -d**2 + 13*d - 4. Does 13 divide x(10)?
True
Is (-3)/(-9)*(302 - -7) a multiple of 31?
False
Let v be (2/4)/(3/12). Suppose -3*p - 195 = -v*f, 0 = -4*f + 3*p + 460 - 67. Is 33 a factor of f?
True
Let v(h) = -11*h + 2. Let p be v(-4). Suppose -13 - p = -4*d + 5*z, 5*d = -5*z + 130. Does 11 divide 225/d - (-4)/14?
True
Suppose 2*c + t + 76 + 9 = 0, -3*c - t = 126. Let o = c + 57. Is o a multiple of 16?
True
Let n(t) = t - 3. Let r be n(5). Let q = r - -6. Is q a multiple of 8?
True
Let a be (0 + 1/(-2))*-114. Suppose f + a = 5*s, -4*s = 5*f + 18 - 52. Is s a multiple of 9?
False
Let p = 8 + -17. Let q be (-2)/1 + (-2 - p). Suppose -q*o = -2 - 28. Does 3 divide o?
True
Suppose 5*w + 2 = 17. Let z(k) = -k**3 + k + 2*k + 0*k + 3 + w*k**2. Is 6 a factor of z(3)?
True
Suppose 829 = 9*n - 467. Is 18 a factor of n?
True
Suppose -2*i = 3*g - 9, 4*i + 0*i - 9 = -3*g. Let u be 327 + -1*(-6 + g). Suppose 0 = -2*p - 3*p + u. Is 22 a factor of p?
True
Suppose -2*x + 19 + 41 = 0. Suppose -n - x = -6*n. Does 3 divide n?
True
Suppose d - 8 = -2*v - 2, 5*d = 2*v - 6. Let s = 5 - v. Suppose -j - s + 15 = 0. Is j a multiple of 10?
False
Suppose -6*y - 38 + 326 = 0. Is y a multiple of 4?
True
Let n(o) = -16*o - 14. Is n(-6) a multiple of 14?
False
Suppose -3*s - 63 = -12. Suppose 0*c + 63 = 2*n - 5*c, -5*c - 135 = -5*n. Let o = n + s. Does 7 divide o?
True
Suppose 4*u = 28 + 132. Is 10 a factor of u?
True
Let j(w) = -w**