ltiple of 20?
False
Suppose 0*t + 5*t = 480. Is t a multiple of 6?
True
Suppose 0 = 5*z + 71 - 516. Is z a multiple of 15?
False
Let u(i) = -i**2 + 9*i + 8. Let h be u(7). Is -3 + -3 + (h - 2) a multiple of 14?
True
Suppose 2*c - 5 = 3. Suppose 4*l + 3*h - 18 = 2*h, 3*l - 5*h - 2 = 0. Suppose 5*x + l*n + 15 - 149 = 0, -99 = -c*x + 5*n. Does 13 divide x?
True
Let f = -2 - -10. Let m = -4 + f. Suppose 2*n - 1 + 6 = -o, 0 = -5*o - m*n + 5. Is o a multiple of 2?
False
Let x be (50/(-6))/(2/6). Let h = 49 + x. Is h a multiple of 12?
True
Let b be 12/(-54) - (-83)/9. Suppose q = 2*x + 6 - 0, 0 = 3*x + b. Let l = 2 + q. Is 2 a factor of l?
True
Let n = 23 - -15. Is n a multiple of 23?
False
Let r = -8 - -5. Let t be (r/3)/(1/(-2)). Suppose t*o - 5*h = 23, -2*h = 3*h - 5. Is o a multiple of 14?
True
Let p = -1 - -3. Suppose -b - p*b = -12. Suppose -2*a + 60 = 4*s, -7 = -5*s + b*a + 42. Is s a multiple of 10?
False
Let f be 102/4*(-3 + 45). Let z be f/28*4*1. Suppose -4*n - 5*c + 54 = -3*n, -c = -4*n + z. Is n a multiple of 22?
False
Suppose -4*h + 21 = -3*h. Let s = 50 - h. Is 16 a factor of s?
False
Let q(l) = l**3 - l**2 + 4*l - 5. Is q(4) a multiple of 8?
False
Let u = -3 + 5. Let a(s) = 11*s**u - 2*s**2 + 3*s - 3*s. Is a(2) a multiple of 12?
True
Suppose 5*c = -5*y - 7 - 3, 3*c = -2*y - 2. Let z = -2 - y. Suppose 80 = 5*s - z*o, -s - 4*o + 92 = 3*s. Is 14 a factor of s?
False
Suppose 22 - 2 = -5*n. Is 3 a factor of n/22 - (-101)/11?
True
Let o = 511 + -350. Does 23 divide o?
True
Let x(j) = j**3 - 7*j**2 - 8. Let p be x(7). Let q = 20 + p. Is 5 a factor of q?
False
Does 13 divide (4/10)/((-4)/(-130))?
True
Suppose -5*x - 4 - 11 = 0. Is 5 a factor of (22/6)/(x/(-9))?
False
Let k = 4 + -7. Is 8 a factor of (-4)/k*(19 - 4)?
False
Suppose -2*y + g + 308 = y, y - g - 100 = 0. Is y a multiple of 13?
True
Let d(o) = -o**3 + 8*o**2 - 4*o - 3. Let j be d(6). Suppose s = 4*s - j. Does 15 divide s?
True
Suppose 0 = -6*x + 261 + 645. Is x a multiple of 12?
False
Suppose 6 = w + 19. Let l = 21 + w. Is l a multiple of 8?
True
Let r = 2 + 3. Let w be r/3 + 1/3. Suppose 20 = -4*l, -w*c = 4*l - 2*l - 86. Does 13 divide c?
False
Let d(n) = 8*n + 2. Let w(h) = h**3 + 3*h**2 + 3*h + 3. Let y be w(-2). Suppose 4*u + q - 13 = 0, -3*u + u = -q + y. Is 9 a factor of d(u)?
True
Does 25 divide 12/5*(127/2 - 1)?
True
Suppose i + l - 109 = 0, 5*i - i - 5*l = 427. Is i a multiple of 18?
True
Suppose 4*m - 11 - 1 = 0. Suppose d + 11 = 2*t + m, 0 = 2*d - 4. Is 4 a factor of (t/(-2))/((-2)/4)?
False
Suppose 4*o - o = 2*c - 15, -o = -3*c + 12. Is 2 a factor of (0 - (2 + o)) + 1?
True
Let r = 114 + -65. Let n = -8 - 26. Let c = r + n. Does 6 divide c?
False
Suppose 0 = -3*v - 6, -2*k - 39 = 5*v - 13. Let n be k/6*3/2. Is 5 a factor of 16 + -1 + n/2?
False
Suppose -2*y + 30 = -84. Suppose 3*i - 27 = 2*r + y, -140 = -5*i - 4*r. Is i a multiple of 14?
True
Suppose 4*l + 2*k = -2*k + 16, -4*l - 2*k = -16. Suppose 109 = 2*g + 5*a, 2*g = -l*a - 0*a + 110. Is 22 a factor of g?
False
Let b(n) = -35*n**3 + n**2. Let o = 14 - 15. Is 18 a factor of b(o)?
True
Let v(h) = -h**3 + 13*h**2 - 10*h - 17. Let d be v(12). Let c(m) = m**3 - 7*m**2 + 2*m + 7. Does 10 divide c(d)?
False
Suppose -3*f - 6 = -f. Let w = 3 + f. Suppose -z = -w - 5. Is z a multiple of 5?
True
Suppose -3*z - 5*w + 486 = 0, 6*z - 4*z - 337 = w. Is 9 a factor of z?
False
Let u be ((-1)/(-2))/(3/192). Let n = 3 + u. Is 25 a factor of n?
False
Suppose 10 = -5*q, 4*y - 5*y + 33 = -3*q. Is 11 a factor of y*1*(3 + -2)?
False
Let o(l) = l**2 - 5*l - 3. Let m be o(6). Suppose -2*k + 25 = m*k - 5*z, k - 4*z = 2. Does 4 divide k?
False
Let c be (12/10)/((-4)/10). Is (1/c)/(4/(-660)) a multiple of 21?
False
Suppose 0 = 3*d + 2*a - 203, 0*d + 56 = d + 3*a. Is d a multiple of 26?
False
Let g be (-28)/6*6/4. Let u = g - -6. Does 9 divide (19 - 1)*u/(-2)?
True
Let n = 5 - 1. Let b(k) = -8*k**3 - 24*k**2 + 1. Let d(c) = 3*c**3 + 8*c**2. Let u(w) = n*b(w) + 11*d(w). Is u(8) even?
True
Let a be (1 - 5)*15/(-20). Let s(r) = 2*r + 1 - a*r - 2*r - 3*r. Does 4 divide s(-1)?
False
Let h be 1/(-4) - 34/(-8). Suppose -h*j - 41 = 2*x - 11, -3*j = 4*x + 35. Let u = x + 20. Is u a multiple of 15?
True
Let q be (4/2)/2 + 19. Suppose 15 = 5*f - 5. Suppose -8 - q = -f*c. Does 7 divide c?
True
Suppose -3*g = -7*g + 40. Does 6 divide g?
False
Suppose -i = -3*t + 59, -5*i = -t + 9 + 6. Let g = t - -4. Is g a multiple of 8?
True
Suppose -v = v + 2. Let x(j) = -2*j. Let q be x(v). Does 15 divide (q - -3)*(-3 + 6)?
True
Does 7 divide (-1 - -3) + -7 - -103?
True
Let s(q) be the first derivative of -2*q**2 - q - 3. Is 2 a factor of s(-1)?
False
Let t(m) = -m - 8. Let a be t(-8). Suppose -5*n + 0 - 15 = a. Let b = n + 8. Is b a multiple of 3?
False
Let w = -47 - -85. Let a = -53 + w. Let j = 37 + a. Does 11 divide j?
True
Let s be ((-90)/24)/((-6)/128). Suppose 26 = -3*r + s. Is r a multiple of 11?
False
Let s be (6/(-8))/((-2)/8). Suppose q + s*q - 8 = 0, -3*q = -2*d - 6. Suppose 2*j - 8 = d, 2*j - 146 = -3*o - 0*o. Is o a multiple of 19?
False
Let i = -14 + 8. Let g(n) = -n**3 - 6*n**2 - 3*n - 6. Is 6 a factor of g(i)?
True
Let l(j) = 6*j + 8 + 2*j**2 + j**3 - 10*j**2 + 3*j. Is l(7) a multiple of 11?
True
Let a be -2*(16 + 6/(-3)). Let r = 41 + a. Is (r + -1)*1*1 a multiple of 5?
False
Suppose u + 2*z = 6*u - 17, -3*u - z + 8 = 0. Suppose -17 = -5*i + u. Suppose -i*k = -0*k - 88. Does 11 divide k?
True
Let y(i) be the second derivative of 5*i**3/6 - 3*i. Let h be y(4). Suppose 26 = -5*b - 3*m + 98, 0 = 5*m - h. Is b a multiple of 4?
True
Let v(z) = 135*z**2 + 4*z - 2. Is 13 a factor of v(1)?
False
Let m(l) be the first derivative of -5*l**2/2 - 14*l + 6. Does 18 divide m(-10)?
True
Let s be 8/(-5) + (-2)/5. Is (7 - (-2 - s))/1 a multiple of 7?
True
Let x(p) = -p**3 - 5*p**2 - 2*p + 8. Is 18 a factor of x(-5)?
True
Suppose 4*q = -8, 4*b + 2*q = 4*q + 8. Is 9 a factor of b + 1 + (32 - 6)?
False
Let d = -250 + 363. Is 29 a factor of d?
False
Let i(r) = r**2 + 6*r + 11. Does 16 divide i(-12)?
False
Let t be (-2)/7 + (-704)/(-112). Let d(b) = 7*b**2 + 4*b + 3. Let i be d(-2). Let h = i - t. Is h a multiple of 17?
True
Suppose 153 = -5*q + 748. Let y = q - 52. Suppose -4*x + y = 4*v - x, -v - 12 = -5*x. Is 9 a factor of v?
False
Let a(u) = -106*u + 1. Let o be a(-2). Suppose -21 + o = 4*h. Suppose 0 = 2*z - 0*z - h. Is z a multiple of 11?
False
Let j(y) = 6*y - 6. Let r be j(4). Suppose g + g + 5*q - r = 0, -2*q = 0. Let f(w) = w**3 - 8*w**2 - 6*w + 10. Is 14 a factor of f(g)?
False
Let z(q) = -3 - 3 - 3*q - 1. Let i be z(-6). Is 8 a factor of i - (1 + 2 + -3)?
False
Let n = -117 - -31. Let t be (n/6)/((-3)/9). Suppose t = l + 2*l + 5*g, 0 = 5*l - g - 25. Does 6 divide l?
True
Let m = 22 - 12. Is -6*(-1 - m/6) a multiple of 13?
False
Let s = 3 - 0. Suppose -k - 375 = -s*d, 2*d - k - 127 = d. Let w = d + -84. Does 20 divide w?
True
Suppose 2*q + 194 = 2*g, 2*g + g - 271 = -q. Does 26 divide g?
False
Suppose 0 = -4*z - 2*g + 64, -3*z - 4 = -2*g - 59. Let f = -4 + z. Does 4 divide f?
False
Let p be (-6)/(-9)*18/4. Let h = 21 + p. Is 8 a factor of h?
True
Is 3/(1 + -4 + 2) - -111 a multiple of 29?
False
Suppose -20 = 3*s - x - 4*x, 0 = -2*x + 2. Let i = 25 - s. Does 15 divide i?
True
Let g(k) = 2*k**2 + 5*k - 4. Let c be (-2)/((-1)/2 - -1). Let r be g(c). Suppose -n - r = -30. Does 11 divide n?
True
Let p(z) = -z**3 + 2. Let q be p(2). Let o(v) be the first derivative of -v**2/2 - 4*v + 3. Is 2 a factor of o(q)?
True
Let s(v) = v + 4. Let k be s(-2). Suppose 0 = -3*w + 4*y + 7, 0*y + 3*y - 33 = -k*w. Does 3 divide w?
True
Let n(q) = -q**3 + q**2 + q + 1. Let d(c) = 3*c**3 - 2*c**2 - 3*c - 11. Let i(a) = -d(a) - 2*n(a). Let g = 4 - 4. Does 4 divide i(g)?
False
Suppose -q + 24 = 3*q. Is q a multiple of 6?
True
Let o(s) be the third derivative of -9*s**4/8 - 3*s**2. Let i(z) = -28*z. Let c(p) = 4*i(p) - 5*o(p). Is c(1) a multiple of 11?
False
Suppose 0 = g + 5*m - 91, -169 = -2*g + m + 2*m. Does 24 divide g?
False
Let d(r) = r + 1. Let w be d(-2). Is 5 a factor of (10/3)/(w/(-3))?
True
Does 14 divide -2 + 3/(3/86)?
True
Let x be (-4)/(-14) - 36/28. Let u be ((-5)/(-15))/(x/(-24)). Let b = 11 - u. Is b a multiple of 3?
True
Let u be (-12)/(-42) - 24/(-14). Suppose 4*f = -