7 a factor of r?
True
Let n be (5/(-2) + 3)*0. Suppose -2*y = 3 + 1, 4*v + 2*y - 36 = n. Is 4 a factor of v?
False
Suppose g - 5*m - 161 = 42, -420 = -2*g - 4*m. Is g a multiple of 26?
True
Let w be (-3)/6*3*-2. Let t be 0/w - 0 - -33. Does 19 divide t + 2 + -2 + 2?
False
Let f = 574 + -364. Is f a multiple of 30?
True
Suppose t - 2*t = -4*o + 112, 5*o - 140 = t. Does 4 divide o?
True
Let h be (1 - (-1 + 1))/(-1). Let o be (1 - 1)/(h + 0). Let s = 7 + o. Is s a multiple of 2?
False
Let u = 47 + 52. Is 11 a factor of u?
True
Let y = -2 - -6. Suppose -3*c = -3*u + 6, -u - y*u - c = -10. Suppose -11 = -u*v + 9. Is v a multiple of 7?
False
Let k(u) = 17*u**3 - 3*u**2 - 4*u + 4. Does 12 divide k(2)?
True
Let z = -20 + -7. Let f = z + 46. Is 8 a factor of f?
False
Let g = 32 + 20. Suppose 3*y + 4*f = -0*y + g, 5*y - 82 = -2*f. Is y a multiple of 8?
True
Let m(r) = -r + 16*r**2 + 16*r**2 - 1 + 2. Does 10 divide m(1)?
False
Suppose -x + 7*x = 12. Let o(m) = m**2 - m + 4. Let h be o(0). Suppose 2*l - 3*u = 2*u + 81, 0 = h*l + x*u - 102. Does 14 divide l?
True
Let n(s) = -s**2 - 2*s + 1. Let v be n(-2). Let q(z) = -22*z**3 + z**2 + z - 1. Let b be q(v). Let x = b - -30. Is x a multiple of 9?
True
Let s(f) = f**2 - 2*f - 5. Suppose -9 - 16 = -5*r. Is 5 a factor of s(r)?
True
Let g(o) = -o + 14. Let p = -14 - -4. Is g(p) a multiple of 24?
True
Let g(c) = -c**3 + 6*c**2 + 6*c - 3. Is g(6) a multiple of 5?
False
Let q = -83 - -213. Does 26 divide q?
True
Let h be -1*1/2*0. Let x be -1 - (h - 35/1). Suppose -p = p - x. Is 17 a factor of p?
True
Suppose -21 = 5*p - c - 121, -40 = -2*p - 5*c. Suppose 0*f = 5*f - p. Suppose 4*v - 153 = 5*i, -140 = v - 6*v - f*i. Is 16 a factor of v?
True
Suppose -6 = -p - 2*p. Is 13 a factor of 2/(p*(-3)/(-102))?
False
Let n(i) = -23*i**3 + 2*i**2. Let x be n(2). Let t = -125 - x. Let r = t - 25. Does 13 divide r?
True
Suppose -a - 19 = -7*h + 3*h, -3*a = -3*h + 12. Let l = 0 + -2. Does 7 divide 5 + l + a + 3?
True
Let y be (1/2 - 0)*8. Suppose 3*m + 3*r - 1 = r, -2*r = 5*m - 7. Suppose 4*b = -4, 0*a - 43 = -m*a + y*b. Does 13 divide a?
True
Let m(r) = 5*r + 10. Let z be m(7). Let u = z - 26. Does 8 divide u?
False
Suppose 38*f = 41*f - 126. Is 21 a factor of f?
True
Let a = 2 - -6. Let m = 17 - a. Is 2 a factor of m?
False
Suppose -s - 12 = -18. Is 6 a factor of s?
True
Let m(p) = p**3 - 8*p**2 + 4. Let b be m(8). Suppose b*t + 1 - 9 = 0. Suppose -t*u = -25 - 25. Does 12 divide u?
False
Let n(d) = d**3 - d - 1. Let z(h) = 7*h**3 + 3*h + 1. Let s(b) = -2*n(b) - z(b). Does 25 divide s(-2)?
True
Let m(a) = -a**3 + 3. Let c be m(0). Does 17 divide (0 - 34/(-6))*c?
True
Let t = 0 + 0. Suppose t = v + 3*v - 84. Does 15 divide v?
False
Suppose -l + 5 = 0, 4*f + 4*l + 172 + 28 = 0. Let i = -116 - -199. Let c = f + i. Does 11 divide c?
False
Suppose 2*a = 2*g + 82, -3*g - 2*g + 119 = 4*a. Is 36 a factor of a?
True
Let p(g) = 175*g**2 - 1. Does 25 divide p(-1)?
False
Let f = 44 - -66. Does 11 divide f?
True
Let r(m) = -14*m - 12. Is 25 a factor of r(-8)?
True
Let m = 30 + -66. Let v = -12 - m. Is 12 a factor of v?
True
Let t = 18 + -10. Is t a multiple of 4?
True
Let r(o) = 7*o**2 + 12*o + 1. Let w(u) = 13*u**2 + 23*u + 3. Let j(d) = -11*r(d) + 6*w(d). Is j(-6) a multiple of 2?
False
Let c = 404 - 279. Is c a multiple of 25?
True
Let t = -32 + 65. Suppose 102 = 3*g - t. Let w = g - 31. Does 5 divide w?
False
Let h(b) = -14*b**3 + 2*b**2 - 6*b + 1. Let i(n) = -9*n**3 + n**2 - 4*n + 1. Let l(y) = -5*h(y) + 8*i(y). Is l(-3) a multiple of 15?
True
Suppose -2*f + 5*k + 5 = 0, 3*f + 0*k - 2*k - 2 = 0. Suppose -3*n + f*n + 5*v = -122, 4*n = 5*v + 161. Is n a multiple of 13?
True
Suppose 9*s - 20 = 4*s. Suppose 3*k - 167 = 4*l + 4*k, 2*l + s*k = -80. Let c = 88 + l. Is c a multiple of 17?
False
Let s be 64 - -1*(1 - 2). Let i be 4/(-14) + 936/42. Suppose -4*z - s - 13 = -4*o, 0 = -2*o - 2*z + i. Does 15 divide o?
True
Suppose 5*x - 3*p = 232, -5*p - 39 = -x + 3. Does 5 divide x?
False
Let l = 41 - -12. Does 26 divide l?
False
Let t(c) = 2*c + 6. Is t(13) a multiple of 27?
False
Let c = 39 + 66. Is 15 a factor of c?
True
Let n = -6 - -10. Let h(w) = 3*w - 8. Is h(n) even?
True
Suppose -4*p + 311 = 59. Is 20 a factor of p?
False
Suppose 6*j = 3*j. Suppose -k - 2*k + 150 = j. Suppose -k = 3*h - 140. Is 15 a factor of h?
True
Let c = 107 + -19. Is 8 a factor of c?
True
Let r = -236 + 336. Is 24 a factor of r?
False
Let w be 1/2*0 - 8. Suppose 0 = -3*y - 43 - 65. Let g = w - y. Is g a multiple of 17?
False
Let z = 29 - 1. Is 7 a factor of z?
True
Suppose 2*n + 20 = -5*d, -d = -2*d - 3*n + 9. Let p = d - -8. Suppose -p*x - 19 = -49. Is x a multiple of 7?
False
Let k be 0 - 2 - (-4 + 0). Suppose -k*z + 135 = 3*z. Is 11 a factor of z?
False
Let u(w) = 5*w - w**2 - 6*w + 2*w**2 - 6. Does 7 divide u(5)?
True
Let q be (3/2 - 1)*0. Suppose q = i - 0*i - 14. Is i a multiple of 14?
True
Let h(i) = 4*i - 2. Let p be h(-4). Is 18 a factor of (-134)/(-3)*p/(-12)?
False
Let z be 6/(-21) + 19/(-7). Is -1 + 0 - (z - 34) a multiple of 21?
False
Suppose -3*p - 114 = -5*s - 659, -930 = -5*p + 4*s. Suppose -2*z + 89 = -y, p = z + 4*z + 4*y. Does 14 divide z?
True
Let t(q) = q - 5. Let y(j) = 2*j. Let s be y(7). Is 4 a factor of t(s)?
False
Suppose -75 = -6*q + 243. Does 40 divide q?
False
Suppose -33 - 1239 = -8*z. Does 12 divide z?
False
Let z(u) = -4*u - 4. Suppose -2*y - 14 = -2*k - 2*k, -4*y + 3*k = 23. Does 8 divide z(y)?
True
Suppose 2*b + 0*b - 2*x = -8, -x + 4 = 3*b. Let v(s) = s**2 - 4. Let t be v(b). Is (-113)/(-5) + t/(-10) a multiple of 21?
False
Let w be 70/(-8) - 2/8. Let z(v) = 15*v**2 + v - 20. Let k(i) = 7*i**2 + i - 10. Let d(o) = 13*k(o) - 6*z(o). Does 4 divide d(w)?
True
Suppose 0*o - 156 = -4*o + 2*d, -4*o = -d - 152. Let m = -7 + o. Does 15 divide m?
True
Let y(g) = g**3 - 5 + 3*g**2 - g - 10*g**2 + 10*g. Is y(6) a multiple of 9?
False
Let u = 43 - -10. Suppose -4*s = -b - u, -s - 4 = -b - 15. Let h = s - -11. Does 13 divide h?
False
Let b be (1 + -4)*4/(-6). Suppose -n = -i - 18, -32 = 4*i + b*n + 16. Let s = 0 - i. Is 14 a factor of s?
True
Suppose -3*d + 228 = -2*s, -6*d = -2*d. Let u = -75 - s. Is 15 a factor of u?
False
Suppose 2 = b - 2. Is (-8)/6*(-18)/b even?
True
Suppose -81 = -2*h + h. Suppose -2*w - w + 3*o = -h, -w = -4*o - 30. Is w a multiple of 11?
False
Suppose 5*i - 17 = -2*n, 5*i - 18 = -2*n - n. Let g(x) = 8*x**2 - x + 1. Is 4 a factor of g(n)?
True
Suppose -2*p + 3*z = p - 195, -p - 2*z = -65. Let i(m) = 10*m + 17. Let y be i(-6). Let b = y + p. Does 22 divide b?
True
Let j be 39/15 - (-6)/15. Suppose -q - 4*y - j = 0, 0 = -2*q - 2*y + 6. Suppose -q*a + 75 = -5. Does 6 divide a?
False
Is ((-60)/(-5))/(-4) + 135 a multiple of 33?
True
Let r(i) = 12*i + 1. Suppose -3*h + 3 = -0*h. Is 8 a factor of r(h)?
False
Suppose 0 = -a - 4*a + 90. Does 6 divide a?
True
Let i = -2 + 78. Is i a multiple of 16?
False
Let l = 16 + -7. Suppose -3*g = -0*g - l. Suppose -5*y + 4*f + 56 = 0, 4*y + g*f - 11 = 9. Is 7 a factor of y?
False
Let v be 18/3*2/(-4). Does 2 divide (-10 - -1)/v + 1?
True
Let z = 28 + 38. Is z a multiple of 33?
True
Suppose 0 = 3*j + 2*j - 160. Does 6 divide j?
False
Let m(s) = -9*s - 36. Does 18 divide m(-6)?
True
Suppose 2*c + 592 = -3*x, 0 = -5*x - 2*c + 3*c - 965. Let z be x/6 - 6/(-18). Let y = z + 61. Is 10 a factor of y?
False
Let q be 43/9 - (-8)/36. Suppose -q*i = 2*t - 20, -4*i - 3*t + 16 = -7. Suppose 45 = 5*m - i*m. Is m a multiple of 15?
True
Let t = -1 - 1. Let w(n) = 11*n**2 - n. Does 15 divide w(t)?
False
Let z = 7 - 4. Suppose h - 42 = -3*q, -q + 59 + 91 = 3*h. Suppose -27 = -z*k + h. Is 13 a factor of k?
True
Suppose -67*w + 249 = -64*w. Does 47 divide w?
False
Let q(l) = l**2 + 2*l + 95. Let y be q(0). Suppose -y = -5*f - 3*h, 4*f + 4*h + 28 = 96. Is f a multiple of 10?
False
Suppose 0 = -3*m + 175 - 13. Is (-27)/(3 + m/(-16)) a multiple of 25?
False
Let x(m) = 64*m**3 + 9*m**2 + 2*m - 5. Let t(w) = 96*w**3 + 14*w**2 + 3*w - 8. Let j(r) = 5*t(r) - 8*x(r). Is j(-1) a multiple of 13?
False
Let z(a) = -a**3 - a**2 - a + 1. Let f(p) = -4*p**3 - 5*p**2 - 5*p - 16. Let b(g) = -f(g) + 5*z(g). Is 7 a factor of b(0)?
True
Suppose -5*k = -2*n - 4 + 13, -4*n - 5*k - 27 = 0. Is -1*n/((-6)/(-52)) a multiple of 13?
T