ppose 6*a = -0*a + 18. Let y = 51 - -19. Suppose m - y = -a*l, 2*m = -m - 2*l + 210. Is m a multiple of 10?
True
Let o(h) = 3*h + 6. Let f(w) = w. Let n(x) = -5*f(x) + o(x). Suppose 3*u = -7*u - 50. Is n(u) a multiple of 8?
True
Let l = 17 + 2. Let g = 4 - l. Let q = 27 + g. Is 12 a factor of q?
True
Let u = -455 + 688. Is u a multiple of 48?
False
Let p be (8/5)/((-16)/(-40)). Let b be 8/p + 6 + -5. Suppose -5*i + q + q = -76, 4*i - b*q - 58 = 0. Does 4 divide i?
True
Let b(t) = -2*t**3 - t**2. Let a be b(1). Let j be a/(-2) - (-3)/6. Suppose -14 + 58 = j*m. Is m a multiple of 11?
True
Let k be (4/12)/(3/126). Suppose 3*s = -3*r + 9, r - k = -5*s + 21. Does 23 divide 19 - 5/((-10)/s)?
True
Is 34 a factor of 0/(-10) + (0 - 2) + 44?
False
Let f(u) = 2*u**3 + 11*u**2 + 4*u - 1. Let h be f(-5). Suppose 0 = h*n - 16, 16 = -4*s - 3*n - 4. Let l(b) = -b**2 - 12*b + 7. Is 13 a factor of l(s)?
True
Let a(o) = -6*o - 7. Let s be a(-9). Let n be ((-1)/3)/(1/(-255)). Suppose -n = -4*t + s. Is t a multiple of 11?
True
Let p(k) = -3 + 10*k + 10*k + 8*k. Does 29 divide p(5)?
False
Let g be 234/(-14) - (-4)/(-14). Let t = 37 - g. Is (t/(-45))/(6/(-100)) a multiple of 5?
True
Let m(j) = -88*j - 608. Does 10 divide m(-16)?
True
Let j(h) = -h**2 - 14*h + 7. Let r(u) = u**3 - 4*u - 1. Let n be r(-3). Let m be (-25)/(-2)*n/20. Is j(m) a multiple of 8?
False
Let j(p) = -15*p - 17. Let v be j(8). Let i = v + 285. Suppose 0 = -h + 5*k + 59, -6*k - i = -2*h - 2*k. Does 14 divide h?
True
Let w(g) be the first derivative of -g**3/3 + 7*g**2 + 12*g - 1. Let y(r) = 4*r + 53. Let o be y(-11). Is w(o) a multiple of 19?
True
Suppose -26996 = -67*q - q. Is q a multiple of 40?
False
Suppose 0 = -2*a + 3*k - 5*k + 5042, 3*a = 2*k + 7558. Is a a multiple of 41?
False
Let c(i) = -i - 11. Let z be c(-7). Let w(t) be the second derivative of -t**5/10 - 5*t**4/12 + t**3/3 + t**2 + 12*t. Is 14 a factor of w(z)?
True
Suppose 4*v - 16 = 2*i, -i - v = -3*i - 4. Suppose 2*s = -3*q + 12, -s = s - 4*q + 2. Suppose -s*u + 36 = -w + 4*w, i = -u + 2*w. Is 8 a factor of u?
True
Let c(m) = -4*m**2 + m - 2 + 13 + 5*m**2. Suppose j + 2*h = 10, 0*h = 5*j - 5*h + 25. Is 4 a factor of c(j)?
False
Is 26 a factor of (1 + (7 - 7))*3329?
False
Suppose 34*t - 40656 = 13*t. Does 22 divide t?
True
Suppose -10 = -4*g + 2*i, 5*g - 3*i - 12 = 1. Let c be (-80)/(-24)*(-9)/g. Does 16 divide (-5)/(c/6) + 14?
True
Is 11/110 - (-8918)/20 a multiple of 34?
False
Suppose -14400 = 23*d - 43265. Is d a multiple of 19?
False
Suppose n - 4458 = -5*n. Is 51 a factor of n?
False
Suppose 0 = -4*q + 3*j - 522, 3*j = -4*q - 156 - 378. Let k = -87 - q. Is 5 a factor of k?
True
Suppose 0 = 3*q, -p - 216 = -3*p + 5*q. Suppose 3*l = -0*l + p. Is l a multiple of 9?
True
Let a(g) = -g**3 - 8*g**2 + 8*g + 18. Is 28 a factor of a(-10)?
False
Let i be (-18 - 10) + 2/2. Let r = -2 + i. Let q = 62 + r. Is q a multiple of 6?
False
Is (-10312)/(-10) - 4/20 a multiple of 19?
False
Let v be 2868/30 - (-3)/(30/4). Suppose 4*y = v + 300. Is y a multiple of 33?
True
Let n be 56/(-9) - 12/(-54). Is 24 a factor of 3/n - (-49)/2?
True
Suppose -4299 = -3*t + 3*s, 5*t + 2775 = -s + 9964. Does 53 divide t?
False
Let j = 131 - -883. Is j a multiple of 13?
True
Suppose 4*u - 16 = -0*u. Suppose u*j + 15 - 71 = 0. Suppose -f + 14 = -j. Is f a multiple of 14?
True
Suppose 3*k - o = 66, -o + 93 - 27 = 3*k. Suppose k = 2*c - 0. Does 9 divide c?
False
Suppose -5*m = -3*o + 44 + 260, 4*m + 498 = 5*o. Does 49 divide o?
True
Suppose 2*k + 0*k + 86 = 0. Let o = -34 - k. Is o a multiple of 3?
True
Suppose 0 = -4*c + 2*b - 0*b + 122, 4*b = c - 48. Let n = c + -16. Does 6 divide n?
True
Let f(p) = -2*p - 14. Let u be f(-6). Let m be 3 - (-6)/u - -4. Suppose 0 = -m*j + 74 + 42. Is j a multiple of 8?
False
Let h = -7 + 6. Does 8 divide (h + -6 + 8)/((-2)/(-78))?
False
Suppose 3*k + 8 = k. Let v = -2 - k. Is 11 a factor of ((-123)/(-2))/3*v?
False
Suppose 8*i + 50 = 13*i. Is 2 a factor of i?
True
Let r(t) = 2*t - 21. Let q be r(12). Suppose -q*d = -4*d + 8. Is d a multiple of 5?
False
Let v = -154 - -289. Is v a multiple of 9?
True
Let w(i) = -132*i + 16. Let o be w(-4). Suppose -5*b + o = 114. Does 13 divide b?
False
Suppose 3*d + 375 = 8*d - 2*z, 4*d = -z + 287. Does 7 divide d?
False
Suppose -6*g = -2*v - g + 1676, -4*v - 3*g + 3300 = 0. Does 9 divide v?
True
Let o(u) = 5*u - 15. Let k be o(6). Let p be (-6)/k*(-3 - -33). Is 17 a factor of -12*(-1 + 39/p)?
True
Let x(l) = -l**2 - 18*l - 20. Let q(w) = -w**2 + 2*w + 14. Let u be q(6). Is x(u) a multiple of 10?
True
Let y be ((-2)/2)/((-1)/(-92)). Suppose 59 = -2*v + 3*j - 13, 4*v + 184 = -4*j. Let g = v - y. Is 25 a factor of g?
True
Let u(j) = -j**2 - 8*j - 1. Suppose -k = 4*k - 5*r + 15, -k + 7 = -3*r. Let f be u(k). Does 17 divide f - -11 - -3 - -4?
True
Let i be (-2 - (-1 + -2))*0. Suppose -4*d - 223 - 65 = i. Does 3 divide d/(-5) + (-8)/20?
False
Let c = 3697 + -2688. Does 15 divide c?
False
Does 25 divide (((-124)/(-10))/1)/((-4)/(-10))?
False
Let i be (-1 - (-10)/(-5))*-1. Suppose 3*c - 2*x = 167, 2*x = i*x - 5. Is 32 a factor of c?
False
Let b = 356 + 514. Is 58 a factor of b?
True
Let r(x) = 2 - 5*x**2 + 12*x**2 + 0*x**3 + x**3 + 0*x**3. Let o be r(-7). Suppose -o*j + 33 = -47. Is j a multiple of 20?
True
Suppose -4*t - t + 15 = 2*u, 0 = 3*u + 4*t - 12. Suppose 5*b + 5*b - 710 = u. Is b a multiple of 13?
False
Is (-290)/(-1*(-3)/6*-4) a multiple of 33?
False
Suppose 0 = 2*q + 69 - 19. Let w be 6/(-2)*q/(-15). Is 34 + w + 0 + -2 a multiple of 13?
False
Let z = 119 - 41. Suppose -3*p + 16*p = z. Is p a multiple of 6?
True
Suppose j - 4*f = -3*j + 64, 5*f - 34 = -j. Let z be j/4 + 12/(-16). Suppose w + 99 = z*w. Is 15 a factor of w?
False
Suppose -m - 20 = 3*z, -3*m = -4*z - 56 + 12. Let a(d) = -13*d - 32. Is 9 a factor of a(z)?
True
Let q = -307 - -313. Suppose -5 + 21 = 4*c. Is 6 a factor of 48/4*q/c?
True
Let y(g) = -2*g**3 - 2*g**2 + 5*g + 3. Let n be y(-4). Suppose 2*a + n = 5*h, 8*h = 3*h - 4*a + 67. Let d(v) = -v**3 + 14*v**2 + 15*v + 14. Does 6 divide d(h)?
False
Suppose 4*w - 2*p + 8 = 0, -6*p + 4*p + 4 = 0. Suppose -4*n + 5*n + 5*t + 23 = 0, -17 = 4*n + 5*t. Is 10 a factor of 31 + ((-1)/w - n)?
True
Let b = 10 - 4. Suppose -15 = -g + b*g. Is 5 a factor of (10/g)/(3/(-9))?
True
Let m(h) = -9*h**3 + h**2 - 4*h + 3. Let n be m(1). Let o(w) = 4*w**2 + 23*w - 21. Is 6 a factor of o(n)?
True
Let q be 128/(-56) - (-2)/7. Does 15 divide (q - 24/(-15))*-150?
True
Let t(o) = -4*o + 8. Let r(b) be the third derivative of b**6/120 - b**5/10 + b**4/8 + 5*b**3/6 - 8*b**2. Let y be r(5). Is 7 a factor of t(y)?
True
Let m = -21 + 33. Let g = m - 7. Suppose o = 2*j + 3*j - 19, -j + g*o - 1 = 0. Is 4 a factor of j?
True
Suppose -1794 - 3570 = -5*b + 3*r, 0 = 2*b + r - 2150. Is 16 a factor of b?
False
Suppose a + 10 = 5*x, 3*a = -3*x - x + 8. Suppose 4*f + 1 + 11 = a. Is 10 a factor of 18/f*-8 - -1?
False
Suppose -213 - 39 = -2*p. Does 18 divide p?
True
Let z(b) = 1797*b**2 + 4 - 3 - 1798*b**2 - 4*b**3. Suppose -2*g = g + 6. Is z(g) a multiple of 16?
False
Suppose 4*b = -5*t - 10, 5*t = 2*b + 3 - 13. Suppose -4*o + 20 = -z + 3*z, b = 2*o + 3*z - 6. Suppose m + 3*m - 4*a = 448, -o = 2*a. Is m a multiple of 29?
False
Let x = -47 + 49. Suppose 0 = 4*r - 0*b - x*b - 294, r - b - 73 = 0. Is 15 a factor of r?
False
Let f = -349 + 1051. Is 48 a factor of f?
False
Let c(u) = 4*u**2 + 28*u + 141. Is 9 a factor of c(-6)?
True
Is 52 a factor of (-2079*1)/(-11)*(-26)/(-6)?
False
Let s(w) = 52*w - 1. Is 72 a factor of s(13)?
False
Let b = -5 + 12. Does 5 divide -12 + 13 + b*7?
True
Suppose 4*l + 4107 = 4*h + 9*l, 1011 = h - 4*l. Does 26 divide h?
False
Let q = -9 - -1. Is 15 a factor of (1/3)/(q/(-360))?
True
Let g be 3 - (0 - -1) - -10. Suppose g = 3*l + l. Suppose 5*u = -4*x + 186, 5 = 4*u - l. Is x a multiple of 22?
True
Let u(g) = -g**3 - g + 2. Let s be u(0). Suppose 31 = -2*b + 23. Does 16 divide 8/(b/(-32)*s)?
True
Suppose 33*a - 29*a - 304 = 0. Is 19 a factor of a?
True
Let q be 6/(-4)*96/(-36). Suppose 0 = -x + 4*h + 48, -q*x + h + 109 + 53 = 0. Is x a multiple of 8?
True
Suppose -74 = -5*q - 14. Let j be 6/q + (-50)/4. Is 13 a factor of (102*(-8)/j)/1?
False
Suppose -749 = -s - 5*c + 6*c, -2*c + 3766 = 5*s. Does 1