alse
Let p be 1/(-5) - (-22)/10. Suppose -p*m = 3*m - 2*f - 374, 5*m - 376 = 3*f. Suppose r + r = m. Is r a multiple of 14?
False
Let c = -208 - -852. Is c a multiple of 23?
True
Let m = 167 - 123. Suppose 198 - m = z. Does 22 divide z?
True
Let p be (-2)/4*20*(0 + 5). Let v = p + 78. Does 6 divide v?
False
Let y(m) be the second derivative of m**5/20 - m**4/12 + m**3/6 + 24*m**2 + 20*m. Is y(0) a multiple of 6?
True
Let g(b) = -4*b - 7. Let k(a) = -3*a - 5. Let z(j) = 4*g(j) - 5*k(j). Let m = -2 + -5. Is z(m) a multiple of 2?
True
Let j(c) = -14*c + 18. Let r be j(-11). Suppose -5*v = -9*v + r. Does 7 divide v?
False
Let u = -361 - -666. Does 21 divide u?
False
Let j(g) = -g**3 + 27*g**2 + 32*g - 30. Is j(28) a multiple of 16?
False
Does 12 divide (16/8)/((-1)/(-12))?
True
Let w = 24 - 50. Let u = 1 - w. Is u a multiple of 27?
True
Suppose 3*y + f + 3*f = 26, 11 = -2*y + 3*f. Let h = y - -3. Suppose -5*s = 2*v - 59, 3*s + 13 + 57 = h*v. Does 3 divide v?
False
Let u be (5 + -4)/((-4)/(-12)). Suppose -4*f + 115 = -u*f. Does 15 divide f?
False
Let l(f) = -f - 2. Let d(g) = -16*g - 33. Let y(o) = d(o) - 6*l(o). Suppose j = -0*j - 3, -5*u - 35 = -5*j. Is y(u) a multiple of 33?
False
Let x = 0 - -8. Let g = -5 + x. Suppose g*n + o = -n + 49, 14 = n + 2*o. Is n a multiple of 9?
False
Is 9430/92*16/5 a multiple of 83?
False
Let k(h) = h**3 - 3*h**2 + 4*h - 4. Let x be (-6)/42 + (-15)/(-7). Suppose 3*g - 8*g + 3 = x*l, -12 = -4*l - 4*g. Does 10 divide k(l)?
False
Let f = 125 + 232. Is f a multiple of 33?
False
Suppose g - 2 + 7 = 0. Let m(q) = q**3 + 7*q**2 - 4*q + 2. Is 16 a factor of m(g)?
False
Suppose -175*l = -179*l + 84. Let z be 5 + 1 - (0 - -1). Suppose h = z*o + l, -2*h - 5*o = -1 + 4. Is h a multiple of 2?
True
Let c = 27 + -24. Suppose c*n - u = 91, 3*n - 2*u = -7*u + 85. Is 30 a factor of n?
True
Let n be 3/(-2)*(-6)/(-3). Let z be n/2*(-1 + -1). Suppose 0 = -3*a - z + 48. Is a a multiple of 5?
True
Let n(l) = 7*l - 1. Let b be n(1). Let c(r) = -r**3 + 10*r**2 - 8*r - 1. Does 12 divide c(b)?
False
Suppose -1 = 2*k - 3, -4*b + 5*k + 11 = 0. Suppose b*j = j - 18. Let v(m) = 2*m**2 + 5*m + 10. Is 13 a factor of v(j)?
True
Does 11 divide (-8)/(-20) + (-909)/(-15)?
False
Let u(z) be the first derivative of z**4/4 - 10*z**3/3 + 3*z**2/2 + 6*z - 13. Is 4 a factor of u(10)?
True
Suppose 0 = 5*z + 2 + 58. Let t be z*2*(-10)/16. Suppose -o + 40 = t. Is 8 a factor of o?
False
Let v(a) = 5*a**2 - a. Let x be v(1). Let h(l) = -l**2 - 32*l + 63. Let q be h(-30). Suppose -x*n + q = 2*b - b, -n + 24 = -2*b. Is 4 a factor of n?
False
Let z = -93 - 12. Let c = -49 - z. Is 14 a factor of c?
True
Is (-4 - -2) + ((-3324)/3)/(-2) a multiple of 69?
True
Let b be (-122)/(-14) - 4/(-14). Let k = b - 7. Suppose -10 = -k*z, q + 2*q - 141 = -3*z. Is q a multiple of 14?
True
Let y(l) = -29*l + 4. Let i = 0 - -3. Let p(q) = 87*q - 11. Let g(r) = i*p(r) + 8*y(r). Is g(1) a multiple of 14?
True
Let w = -12 - -5. Let i(l) be the first derivative of l**4/4 + 7*l**3/3 - 5*l**2 - 79. Is 11 a factor of i(w)?
False
Let z(v) = 5 - 2 - 4 - 17*v. Let j = 246 - 249. Does 12 divide z(j)?
False
Suppose 90 - 267 = 3*b. Let f = b + 92. Is f a multiple of 3?
True
Suppose -3*u - 398 = -1469. Is 17 a factor of u?
True
Suppose l + 40 = -3*l. Let k(j) = -j**3 - 11*j**2 - 12*j - 6. Is 7 a factor of k(l)?
True
Let m = 917 - 595. Suppose 3*o - 3*f - 663 = 0, m - 1415 = -5*o + 2*f. Is 27 a factor of o?
False
Let a = -64 + 91. Let t = a + -10. Suppose -2*m + 5 = 3*m, h - t = m. Does 9 divide h?
True
Let o be (-3 + 0/(-4) - -48) + 1. Let q = 56 - o. Is q a multiple of 5?
True
Does 40 divide (-9288)/(-22) + (-1107)/99 + 11?
False
Let k = 39 - 36. Suppose -2*y + 82 = 5*j, -81 = -0*y - 3*y + k*j. Is 27 a factor of y?
False
Let t = -162 + 353. Suppose -2*d + d = -t. Suppose 2*o - 78 = -f - f, 5*f + o - d = 0. Is 18 a factor of f?
False
Suppose -28*b + 25*b = 0. Suppose b = -4*t + 50 + 30. Is 4 a factor of t?
True
Suppose 3*y + 526 = 6*y + 4*u, 5*y + 3*u = 895. Is 26 a factor of y?
True
Suppose 4*g + 44 = 2*p, 25 = p - 3*g + 4*g. Let z be (18/p)/(2/136). Let t = -35 + z. Is t a multiple of 16?
True
Suppose 5*o + 27 = -4*t + 3*t, o = -3*t - 67. Let c be (-4)/t + 1648/11. Suppose 5*y + 3*k - c = k, 0 = -2*y - 2*k + 54. Does 16 divide y?
True
Suppose -4*s + 4*c = -0*s, 0 = -2*c + 8. Suppose 2*f - 6*f + k = -119, -s = -4*k. Suppose -3*p - f = -117. Does 24 divide p?
False
Let f = -55 + 85. Let l = 55 - f. Is 8 a factor of l?
False
Suppose 5*u - 4*d = 35, 6*d = -u + 8*d + 13. Let z = 25 - u. Does 8 divide z?
False
Suppose 2*f - 171 = 565. Does 8 divide f?
True
Suppose 10*v = 5*v + 70. Let b be 2 + -3*1/1. Does 24 divide (-8)/(v/(-12) - b)?
True
Let u be 40/(-14)*35/(-10). Suppose -571 = -3*h - 4*g, -3*g + 2 + u = 0. Is h a multiple of 37?
True
Let c = -312 + 1281. Does 4 divide c?
False
Let c = -6 + 6. Let r(g) = -g**2 - 6*g + 2. Let t be r(-6). Suppose -t*m + 48 = -c*m. Is m a multiple of 5?
False
Let f be 8/64 - 15/(-8). Does 10 divide f*(12 - (5 - 3))?
True
Let r = 1016 + -789. Is r a multiple of 12?
False
Is 12 a factor of 2511/12 + (38/8 - 5)?
False
Suppose -4298 = -34*p + 58976. Does 52 divide p?
False
Let f(t) = -t**2 + 6*t + 8. Let y be f(8). Let g = y - -64. Is g a multiple of 8?
True
Let n(h) = -h**3 + 23*h**2 - 34*h + 45. Is 50 a factor of n(17)?
False
Is (-10)/4 + 0 - (-27278)/92 a multiple of 12?
False
Let i = -491 + 2101. Is i a multiple of 10?
True
Suppose -3*z = 9, 3*z + 23 = 3*s - 22. Let o = 16 - s. Suppose 9*a = o*a - j + 164, 0 = -4*a + j + 133. Is 11 a factor of a?
True
Let x be 15/2*(-16)/(-20). Suppose h = 2*h + 4*f - 3, f = 2*h - x. Suppose s = h*s - 56. Is s a multiple of 14?
True
Let x(a) = a**2 - 15*a - 6. Let g be (54/45)/(2/30). Is x(g) a multiple of 33?
False
Suppose -3*m - 3*y - 6 = 0, -2*y + 5*y + 18 = 3*m. Suppose -18 = -0*s - m*s. Does 2 divide s?
False
Suppose -2*y - 2*j = -582, y = 3*j + 67 + 236. Does 25 divide y?
False
Suppose 4 - 14 = -5*o. Suppose -o*r - 372 = -6*r. Is r a multiple of 31?
True
Let c = -20 + 25. Let v(x) = -2*x + 1 - c*x + 4 + x. Is v(-7) a multiple of 15?
False
Let s = 107 - 105. Suppose -l - 369 = -4*a - 4*l, 2*a - s*l - 202 = 0. Is 17 a factor of a?
False
Let u = 1794 + -1602. Is 13 a factor of u?
False
Let g(u) = -u**2 - 26*u + 8. Does 8 divide g(-14)?
True
Let a = 13 + -8. Suppose 2*s = -h - 45 + 207, a*h = s - 92. Let g = -49 + s. Is g a multiple of 11?
True
Let a(d) = -15*d - 3. Let f(q) = 29*q + 6. Let g(x) = 11*a(x) + 6*f(x). Let w be g(-2). Let p = 97 + w. Is 21 a factor of p?
False
Let i(d) = -d**3 - 4*d**2 - d - 15. Let g be i(-5). Does 16 divide (224/(-6))/((-5)/g)?
True
Suppose -2*l = -3*d - 8, -2*d - 3*d = 3*l - 12. Suppose l*h + 18 = h. Let o = 14 - h. Does 10 divide o?
True
Suppose -2 = -6*g + 7*g. Let n = -748 + 1363. Is 1/g - n/(-6) a multiple of 34?
True
Let q be -2 - (10 - 2 - 4). Let h(s) = s**2 - 2*s + 2. Does 7 divide h(q)?
False
Suppose 2*a + 65 = -3*a. Let g(l) = -7*l + 17. Is 36 a factor of g(a)?
True
Let t = 3139 + -1384. Does 65 divide t?
True
Suppose -2*k = -0*k + 12. Let t be (-6)/(-33) + (-414)/(-22). Let f = t + k. Does 5 divide f?
False
Suppose 8 = 3*f + o, -3*o + 6 = -f + o. Suppose 0 = 2*s, 6 = j - f*s - 4. Is 2 a factor of j?
True
Let m(g) = -g**2 - 5*g - 10. Let k be m(-12). Let f = 177 + k. Does 23 divide f?
False
Let g = -516 + 1357. Is g a multiple of 29?
True
Suppose 0 = 4*c - 4, -764 = -4*u + c + 355. Does 28 divide u?
True
Let v(p) = -p**3 - 2*p**2 + p + 4. Let y be v(-2). Suppose y*z + 0 - 2 = 0. Is 192/z*10/15 a multiple of 26?
False
Let p be 20/6 - (-6)/(-18). Suppose -m - p*d + 72 = 0, -4*m - d = -6*d - 271. Suppose 3*c + 15 = m. Is 14 a factor of c?
False
Does 17 divide (-1)/(2554/4494 - 28/49)?
False
Does 15 divide ((-262)/5)/((-12)/30)?
False
Suppose 0*g - 4*g = 184. Let s = g + 82. Does 9 divide s?
True
Suppose -6*q + 690 = -3*q. Suppose -3*n + q = 2*n. Is 23 a factor of n?
True
Let u = 90 + -92. Let a(k) = -3*k + 4. Does 4 divide a(u)?
False
Let g = 1972 + -1399. Is g a multiple of 23?
False
Let t(z) = -2 + 1 + z**2 + 5 - z. Is t(3) a multiple of 4?
False
Suppose -2*w + 2 = -178. Does 8 divide ((-24)/5)/((-27)/w)?
True
Let t = -87 + 91. Does 11 divide (-1)/4 - (t - 1638/24)?
False
Let p(g) = 3