alse
Is (-2)/(0 - -3 - -3)*-159 a multiple of 53?
True
Is 16 a factor of (-223)/(-7) - 7/(-49)?
True
Suppose 5*v + 0 = -n - 19, -n - 4 = 0. Is 15 a factor of v/(-12) + 127/4?
False
Suppose 5*j + a = 598, 1 = -3*a - 5. Suppose j = 4*q - 4*v, -5*q - 4*v + 5*v + 162 = 0. Is 15 a factor of q?
False
Suppose -2*l = -5*z + 39 - 280, 3*l - 378 = 2*z. Is l a multiple of 16?
True
Let b(q) = -31*q + 1. Is b(-1) a multiple of 32?
True
Suppose -3*j = -10*j + 546. Does 26 divide j?
True
Let y = -10 + 17. Let p(g) = 2*g + 3 - 6 + g**2 - 7*g. Does 11 divide p(y)?
True
Suppose 3*d - n = 22, 3*d - 3*n + 6 = 6*d. Let u(h) = 2*h**2 - 8*h + 2. Is u(d) a multiple of 13?
True
Let f be -2 - -2 - (5 - 5). Let m(y) = -y**3 - y**2 + y + 3. Let s be m(0). Suppose -o = -f*o - s. Does 2 divide o?
False
Suppose 8*f - 5*f - 108 = 0. Does 7 divide f?
False
Suppose 17 + 11 = -4*z. Let a = 13 + z. Is 4 a factor of (-50)/(-6) + a/(-18)?
True
Let k be (-5)/(-70)*4 + (-10)/(-14). Suppose 3*y + 4*v = 3, 2 - 5 = -3*y - 5*v. Is 3 a factor of (k - 2/y)*-3?
True
Suppose g + 2*u + 0*u = 21, -g + 36 = -3*u. Is 9 a factor of g?
True
Suppose -3*x = -4 - 2. Suppose -2*b + 7*b + x*t = 100, -2*t + 12 = b. Does 22 divide b?
True
Suppose 2*a = 10, 3*r - 4*a - 177 = 118. Is 3 a factor of r?
True
Let a = -26 - -52. Is 13 a factor of a?
True
Let y = 10 + -6. Suppose -11 = -y*g + 21. Is g a multiple of 7?
False
Suppose 21 = -0*q + q. Does 7 divide q?
True
Suppose 3*m - 2 - 154 = 0. Is 20 a factor of m?
False
Suppose 4*m + 5*j = 6 - 1, 0 = -4*m - 2*j + 2. Let c(b) = b**2 + 3. Let y be c(m). Suppose 16 + 5 = y*l. Is 7 a factor of l?
True
Suppose -d = 3*n + 2*n - 42, -2*d + 5*n = -129. Is (d/(-2))/((-1)/2) a multiple of 21?
False
Let p be (1*-1)/(6/(-102)). Let i = p - 6. Is 11 a factor of i?
True
Let z = 5 + -1. Suppose -z*k = -k. Suppose k = -0*a - a + 12. Is a a multiple of 6?
True
Suppose 3*v - v = -3*y - 150, 0 = -4*y - 2*v - 198. Let h be (6/(-4))/((-2)/y). Let l = h + 67. Does 13 divide l?
False
Let s(f) = 4*f**2 - f + 1. Let h be 0/1 - (2 - 3). Let g be s(h). Suppose -5*t = -g*t - 8. Does 4 divide t?
True
Let j = 8 - 3. Suppose j*p + 3*r - 197 = 0, 4*r + 39 + 165 = 5*p. Let g = 65 - p. Is g a multiple of 19?
False
Let n(h) = h**2 - 2. Let w be n(-2). Suppose -w*s - 20 = -4*s. Is s/15 + 86/6 a multiple of 6?
False
Let h(g) = g**3 + 6*g**2 - g - 8. Let n be h(-6). Is -1 + 75 - (6 + n) a multiple of 35?
True
Does 20 divide 2/4*1 - 285/(-2)?
False
Suppose 3*f + 2*c = 293, f - 67 = -c + 31. Let k = f - 55. Is k a multiple of 11?
False
Let a(v) = -4*v**3 + 2*v**2 + 2*v + 1. Suppose 0*u = 3*u - 3. Let z = u - 2. Is 2 a factor of a(z)?
False
Let w(y) = -34*y - 11. Does 32 divide w(-6)?
False
Suppose -2*m - m = -z - 375, -4*m - 3*z = -487. Let i = -48 + m. Suppose -k + 4*c = -0*c + 2, -i = -4*k - 5*c. Is k a multiple of 10?
False
Let w = 11 - 8. Suppose v = w*v - 48. Is 10 a factor of v?
False
Suppose -2*j = -g - 23, 5*g + 5*j - 3*j + 55 = 0. Is -3 - (3 + g + 3) a multiple of 2?
True
Let h = -5 - -51. Is 13 a factor of h?
False
Suppose 0 = -3*h + 2*s + 64, 168 = 5*h - s + 59. Is h a multiple of 3?
False
Suppose -150*v + 153*v - 1053 = 0. Does 39 divide v?
True
Let d(t) = -15*t + 2. Let p be d(-5). Let x = p - 53. Is x a multiple of 8?
True
Suppose -h = 3 - 20. Suppose -h = -l + 16. Does 19 divide l?
False
Is (6/4)/(15/40) a multiple of 2?
True
Let a = -3 + 5. Suppose 4 = a*p, x - p = -4*x + 113. Does 23 divide x?
True
Is 4 a factor of -4 + 4 + 17 + 2?
False
Suppose 5*v - 300 = 5*i, -v + 14 + 42 = i. Is v a multiple of 19?
False
Does 15 divide ((-30)/9)/((-14)/441)?
True
Suppose -108 = -0*r - 3*r. Is 12 a factor of r?
True
Suppose 46 - 8 = 2*b. Is b a multiple of 3?
False
Let h be (-1)/4 - (-72)/32. Suppose 0 = -4*w + h*w + 28. Does 7 divide w?
True
Let b(x) = x**2 + 9*x + 14. Let c be b(-11). Suppose -o = -0*o - 2*t - 51, c = o + 3*t. Is 15 a factor of o?
True
Does 3 divide (1 - 2)/((-1)/7)?
False
Suppose s - 4*d = d + 72, 3*d - 126 = -3*s. Does 8 divide s?
False
Let o(u) = u**2 - 9*u + 7. Let w be o(8). Let y = w - -6. Suppose -3*x - 28 = -0*z - z, -x = y. Does 6 divide z?
False
Let b(y) = y**3 - y**2 + 28. Let o(k) = -9*k + 4*k - k**2 + 4 + 2*k**2. Let x be o(4). Does 11 divide b(x)?
False
Suppose -r + 1 = -4. Let q = r - 5. Suppose 4*f - 71 + 11 = q. Does 15 divide f?
True
Let v(d) = -2*d + 2. Does 6 divide v(-8)?
True
Let l = -4 - -7. Suppose -45 = 5*g + 3*t, -l*g + 7*g = 5*t + 1. Let q = 2 - g. Is 5 a factor of q?
False
Suppose 0 = -d + 12 + 18. Is d a multiple of 26?
False
Let f be (4/(-8))/(1/(-8)). Suppose -f*d = -28 - 44. Let x = d - 12. Is x even?
True
Suppose 2034 = -6*w + 15*w. Is 50 a factor of w?
False
Is 6 a factor of 1878/14 - 1/7?
False
Let m(o) = -o**3 - 9*o**2 - 12*o - 1. Let j be m(-8). Suppose -b = -4*t - 20, j + 5 = 3*b - 4*t. Is 4 a factor of b?
True
Let q be (-20)/(-30) - (-4)/3. Suppose 3*w - 3*p = 27, 4*w + p - 24 - q = 0. Is 7 a factor of w?
True
Let h(o) = o**2 + 17*o - 19. Does 11 divide h(-19)?
False
Let p = 13 - 4. Suppose 3*w - 29 = 4*x, -4*w - 3*x + 0 = 3. Let c = p + w. Does 12 divide c?
True
Let z = 98 + -38. Does 21 divide z?
False
Is 17 a factor of -58*((-3)/(-2) + -2)?
False
Let f = 0 + 21. Is 21 a factor of f?
True
Suppose 0 = -s - s + 5*l + 22, 4*s - 3*l = 30. Is s a multiple of 3?
True
Let f(i) = -i - 6. Let z be f(-6). Suppose z*r - 2*r + 32 = 0. Is r a multiple of 16?
True
Let u(a) = a**3 - 9*a**2 - 3*a + 22. Let y be u(9). Let l(k) = k**3 + k**2 - k. Let x be l(-3). Let q = y - x. Does 10 divide q?
True
Suppose -6*g = -g - 10. Suppose g*o + 2 = 0, 4*f - 2*o - 60 = -6*o. Let t = -2 + f. Does 14 divide t?
True
Let k = 47 - -93. Suppose -6*c - 56 + k = 0. Is c a multiple of 14?
True
Is 57 a factor of 2 + 2 + -3 - -455?
True
Let k be (-244)/11 + 4/22. Does 10 divide k*(1 - 2)/2?
False
Let h(a) = -a**3 + 7*a**2 + 2*a - 9. Let n be h(6). Suppose -3*v - 6*j = -j - 131, -3*j = -v + n. Is 11 a factor of v?
False
Let x be (9/(-1))/((-6)/(-4)). Is x*((-46)/4 - -1) a multiple of 21?
True
Let m be -13 - -16 - (-12)/(-2). Is 6 a factor of (-27)/12*32/m?
True
Suppose -2*h - 16 = -204. Does 25 divide h?
False
Let l = -13 + 27. Is 7 a factor of l?
True
Let t(i) = 6*i - 4. Let q(f) = 2*f - 6. Let j be q(7). Is 13 a factor of t(j)?
False
Suppose 4*a - 4*n = 280, 0*a - 5*a = 2*n - 364. Is a a multiple of 18?
True
Let p(z) be the second derivative of z**3/6 + z**2 + z. Let l be p(0). Suppose -l*n + 4*n - 10 = 0. Is n a multiple of 5?
True
Is 484/12 - (-2 + -2)/(-12) a multiple of 8?
True
Let n = 61 - 25. Does 27 divide (n/5)/(8/60)?
True
Let g = 75 - 17. Suppose 2*d = -3*w + g, w = -0*d + d - 34. Is d a multiple of 16?
True
Suppose -y + 6 = -3*y. Is (0 - y)*41/3 a multiple of 18?
False
Let k = 4 - 1. Suppose k = s - 35. Is s a multiple of 19?
True
Let r(f) = f**3 - 11*f**2 - 13*f + 17. Let b be r(12). Let t(n) = 2*n**2 - 5*n + 3. Is 7 a factor of t(b)?
True
Let q(y) = y**3 - 3*y**2 + 3. Let c(l) = -4 + 3 + 5 - l. Let i be c(0). Is q(i) a multiple of 13?
False
Suppose 3*u - 5 = 4. Suppose 0 = 3*v + 2*v. Suppose -7*m + 3*m + l + 93 = v, -3*m + u*l = -63. Is m a multiple of 19?
False
Let h = 3 - 1. Suppose -w = -h - 12. Does 9 divide w?
False
Suppose -6*d = -10*d - 8. Let w(b) = 8*b**2 + 2*b - 1. Is 14 a factor of w(d)?
False
Let q(u) = -19*u**2 + u - 1. Let w be (3/2 - 1)*4. Let b be q(w). Let g = 117 + b. Is 21 a factor of g?
True
Let f(j) = j**3 + 5*j**2 + 2*j - 5. Let q = 9 + -13. Let b be f(q). Is 3/(-1)*(-8)/b a multiple of 4?
True
Let v be (-7)/(-7)*1*4. Suppose v*w = 2*w + 64. Is w a multiple of 13?
False
Let l(b) = -15*b + 8. Let t be l(-4). Suppose -k = -3*k + t. Is k a multiple of 11?
False
Let w(n) = 9*n**2 + 4*n + 7. Is w(5) a multiple of 36?
True
Let w = -23 - -9. Let c be 4/w + 668/(-14). Let k = -23 - c. Is k a multiple of 18?
False
Suppose -l - t = l + 6, -2*l - 2*t = 8. Let k be (114/(-8))/(l/8). Let u = k - 28. Is u a multiple of 13?
False
Let t(w) be the second derivative of -9*w**3/2 + w**2/2 - 2*w. Let y = 3 + -4. Is 14 a factor of t(y)?
True
Let p = 2 + -2. Suppose 2*u + u - 57 = p. Is 9 a factor of u?
False
Let m = -11 + 3. Let q = m + 11. Let d = 6 - q. Is 3 a factor of d?
True
Suppose 0 = -2*x + 2, v + 2*x + 0*x = 24. Is v a multiple of 16?
False
Suppo