
Let r = 411 - 892. Let t = -280 - r. Suppose 223 = 8*x - t. Does 16 divide x?
False
Let i(a) = 578*a + 136. Is i(8) a multiple of 34?
True
Suppose 744538 = 219*a - 400175. Is a a multiple of 31?
False
Suppose 7 = 4*a + 39. Let x = -10 + 8. Let b = x - a. Is 3 a factor of b?
True
Let r(c) = 7 + c**2 - 31 + c - 11 + 3*c. Is r(-13) a multiple of 7?
False
Let b(p) = -61 + p**2 + 3*p - 4*p + 10*p - p. Does 44 divide b(14)?
False
Let u(p) = p - 4. Let b be u(-3). Let w = b - -49. Is w a multiple of 4?
False
Let c(o) = 24*o**3 - 3*o**2 - 2*o - 18. Let w be c(-3). Does 13 divide (3/(-6) - 1/2)*w?
False
Let s(v) = -2*v**2 - 36*v + 15. Let k be s(-18). Let z(l) = 14*l - 185. Is 4 a factor of z(k)?
False
Let s(w) be the third derivative of -1/24*w**4 + 0 + 2*w**3 + 11*w**2 + 0*w. Is s(6) a multiple of 3?
True
Let a(m) = m**3 - 11*m**2 - 2*m + 17. Let c be a(11). Let f(d) be the second derivative of d**3/6 + 5*d**2 + 6*d. Does 2 divide f(c)?
False
Let z(n) = -n**2 + 13*n + 6. Let w be z(5). Let i = w - 34. Does 4 divide 214/i + 7/42?
False
Let c = 5527 + -9533. Is 28 a factor of (-16)/88 + c/(-11)?
True
Let r(q) = 43 + 17*q**2 - 6*q**2 + 20*q - 12*q**2. Let x be r(22). Is 1 + 230/15 + x/3 a multiple of 2?
True
Does 34 divide (2/(-23) - (-5)/((-1150)/5615))*-82?
False
Let x be 4/5*5 + 1. Suppose -3*d + 0*v = x*v - 177, 5*v + 255 = 5*d. Is 6 a factor of d?
True
Does 41 divide 9387 - (5 + ((65 + -1)/(-8) - -1))?
True
Let n(h) = 7*h - 25. Let y be n(5). Suppose -5*f + 19 = -j, -5*f = -2*j - y*f - 23. Is 41 a factor of (-1307)/(-7) - ((-52)/j - 4)?
False
Let g = 10602 - -5050. Is g a multiple of 52?
True
Let i(w) = w**3 - 7*w**2 + w - 2. Let k be i(7). Suppose 2*q = -0*o + k*o + 16, 18 = -q - 4*o. Let r(b) = -33*b - 7. Does 24 divide r(q)?
False
Suppose k = 2*j + 2*j - 149, -4*j + 548 = -4*k. Let c = 21 - k. Is c a multiple of 14?
True
Suppose b = 8 - 26. Let g(u) = 5*u + 217. Let m be g(-5). Does 6 divide m/(-18)*b/8?
True
Suppose 32 = -11*m - 12. Let k(h) = 19*h**2 + h - 4. Let g be k(m). Let t = 23 + g. Does 29 divide t?
True
Suppose -a = -4*a + 252. Suppose 88*o - 1248 = a*o. Does 24 divide o?
True
Let z(h) = 3*h**3 - 10*h + 12. Let l be z(7). Suppose -2*y = r - 1962, -21*r + 19*r = -y + l. Is 11 a factor of y?
True
Let l(f) = 32 - 10 - 15 + 4*f**2. Is l(8) a multiple of 13?
False
Let u(k) = 141*k**2 + 13*k - 30. Let x be u(-6). Suppose -74*h = -66*h - x. Is 14 a factor of h?
False
Suppose 12511*w = 12492*w + 227164. Does 28 divide w?
True
Let w be -1*(-2 + 2 + -580). Let f = w - 504. Does 4 divide f?
True
Let t = -78 - -42. Let j = t - -39. Let y(s) = 4*s**3 + 4*s**2 - 7*s + 7. Is y(j) a multiple of 26?
True
Let c be 472 - (25/(-5))/(-5). Suppose c = 369*u - 368*u. Is u a multiple of 27?
False
Is 14 a factor of 10*(4/18 + 261352/1008)?
False
Is 148 a factor of 944605/85 + -3 + -10?
True
Suppose 11*t = -6 + 39. Suppose -35 = -4*y + t*v, -3*v + 11 = 4*y - 18. Let k(b) = -b**2 + 9*b + 4. Is k(y) a multiple of 6?
True
Suppose 5*l + 1227 = 2*t, -17*t - 2490 = -21*t - 2*l. Is t a multiple of 7?
False
Suppose 5*m - 8*m = -61*m + 245862. Is m a multiple of 27?
True
Let t(q) = 1969*q**2 + 145*q + 381. Does 42 divide t(-3)?
False
Let b be (-179)/2*-1*(-29 - -27). Let i be 3 - (b + -4 + 0 + 2). Suppose 0*r + i = 2*r. Is r a multiple of 9?
False
Let y(r) = r**3 - 20*r**2 + 36*r + 3. Let s be y(18). Is ((-1628)/(-6))/(s/9) a multiple of 22?
True
Let d(k) = -k**2 - 39*k - 135. Let h be d(-36). Let b(f) = 2*f**2 - 2*f + 2. Let c be b(2). Is 33 a factor of ((-284)/c)/(9/h)?
False
Suppose -23*i + 15*i + 1832 = 0. Let h = i - -8. Is 50 a factor of h?
False
Let s = -68 + 7. Let p = -58 - s. Suppose p*z - 61 = -x + 3, 0 = -2*x + 3*z + 137. Is x a multiple of 13?
False
Let g(z) = z - 4. Let p be g(6). Suppose -p*y + 7*y - 375 = 0. Suppose -2*h = h - y. Is h a multiple of 14?
False
Let p(g) = 45*g**2 - 90*g - 296. Is 7 a factor of p(-15)?
True
Let l be (-30 - 5)*(-16)/20. Suppose b = -1, 3*b = r - 294 + l. Is r a multiple of 24?
False
Suppose -f - x + 10 = 0, 38 = 4*f + 2*x + 6. Suppose 0*o - f*o + 1134 = 0. Suppose 0 = 5*b + 2*b - o. Does 9 divide b?
True
Suppose 2*p + 170 = 7*p. Suppose 3*s - 147 = -5*b, b - 3*s = s + p. Is 15 a factor of b?
True
Suppose -5*q - 9*c + 7*c = -11904, -2*c - 6 = 0. Suppose 1784 = 3*s - n, -22*s = -26*s + 3*n + q. Is 18 a factor of s?
True
Let j = 37053 + -37049. Is 4 a factor of j?
True
Suppose 3*a + 74673 = 3*p, 16*a = 4*p + 18*a - 99522. Does 11 divide p?
False
Let q = -19196 + 47960. Does 12 divide q?
True
Let z(s) = -10*s**3 - 67*s**2 - 44*s + 50. Let t(u) = 3*u**3 + 22*u**2 + 15*u - 17. Let b(c) = 7*t(c) + 2*z(c). Is 14 a factor of b(-18)?
False
Suppose -z = -4*z + 4*b + 698, 3*b + 231 = z. Is z a multiple of 26?
True
Let j(p) = -447*p + 575. Does 26 divide j(-15)?
True
Let y(z) = 12603*z**2 + z**3 + 25 - 36*z + 21 - 12618*z**2. Is 6 a factor of y(17)?
True
Let g(b) = -6*b**3 + 5*b**2 - 16*b - 6. Let a(i) = -5*i**3 + 4*i**2 - 16*i - 7. Let h(v) = 4*a(v) - 3*g(v). Does 15 divide h(-5)?
True
Suppose 0 = 107*i - 115*i. Let k(r) = -r + 171 + 0*r + 94 - 62. Does 29 divide k(i)?
True
Let v = -89 - -1. Does 86 divide 142074/66 + (-32)/v?
False
Let x(w) = -29*w + 14. Let v be x(-12). Let i = 258 - v. Let g = i - -192. Is g a multiple of 11?
True
Let o be 16/12*12/8. Suppose -5*a = o*a - 336. Is a a multiple of 27?
False
Let r be (-3*40/15)/(5 + -3). Is 5 a factor of -21*(r - 16)*(-3)/(-6)?
True
Let v(g) = -g**3 + g**2 - 1. Let k(p) = -p**3 + 6*p**2 - 4*p - 16. Let l(x) = k(x) - 2*v(x). Let o be l(-5). Let m = 42 - o. Does 23 divide m?
False
Let v = -685 - -985. Let c = 51 - v. Let t = c + 361. Does 28 divide t?
True
Is 86 a factor of (-5)/(-60)*0 + 13932?
True
Suppose 29 = -5*f + 39. Suppose -6168 = f*c - 14*c. Does 4 divide c?
False
Let t = 313 - 184. Suppose -5*g + t = -71. Is g + (0 - 3 - -1) a multiple of 19?
True
Let n = 3353 + -1904. Suppose -n = 11*q - 18*q. Is q a multiple of 23?
True
Let m = 1211 - 460. Let w = 1073 - m. Is 23 a factor of w?
True
Suppose 31*i = 30*i + 39. Let y = i - 37. Suppose -4*u - 138 = 2*d - 4*d, -4*u + 114 = y*d. Does 9 divide d?
True
Suppose 0 = -16*d + 1523 + 4925. Let q = d + -158. Is 12 a factor of q?
False
Let x(g) = 45*g - 20. Suppose 0 = -3*j - 3*m + 18, -3*m = 5*j + 9 - 35. Let y be x(j). Suppose 110 = 5*b - y. Is 22 a factor of b?
False
Let m(o) = -13*o - 26. Let b be m(-2). Suppose -12 = -4*f + 7*f, b = -4*d + 3*f + 1372. Is d a multiple of 9?
False
Suppose x + 8*h - 5*h - 8 = 0, 4*x = 3*h + 17. Suppose 0*c + 4*b = c - 302, -2*c + 669 = x*b. Does 23 divide c?
True
Let n(w) = -w**3 + 6*w**2 + 16*w - 4. Let m be n(8). Let o(s) = -84*s - 6. Is 22 a factor of o(m)?
True
Let t(g) = -15*g - 13 - 1264*g**2 + g**3 + 2514*g**2 - 1265*g**2. Is 6 a factor of t(18)?
False
Is 33 a factor of 13/572*24 + (-158976)/(-33)?
True
Let b = 62174 - 39344. Is b a multiple of 38?
False
Suppose -7264 = -2*w + 2*t, 4*w + 4927 = t + 19437. Does 49 divide w?
True
Let z(d) = 59*d + 48. Let p = -291 - -294. Is z(p) a multiple of 25?
True
Is 6061263/(-657)*(-9)/39 a multiple of 21?
False
Let d(n) = 2*n**2 + n - 26. Let x be d(-9). Suppose 13*s = 15*s + 2*t - 82, 3*s + 2*t - x = 0. Is 15 a factor of s?
True
Suppose 59*g - 37*g + 1144 = 0. Let p = 789 - g. Is 28 a factor of p?
False
Let f(i) = 7*i**3 - 4*i**2 + 5*i + 5. Let m = 378 + -375. Is f(m) a multiple of 21?
False
Suppose 2*k + 5*k = -5*k + 53460. Does 65 divide k?
False
Suppose 227*i = 24*i + 2226504. Is 29 a factor of i?
False
Let m be (8/(-2))/(16/(6 + -14)). Let n(b) = 4*b**3 - 3*b**2 + 5*b. Is n(m) a multiple of 3?
True
Does 37 divide 38/494 + 28/(-26) + 2250?
False
Let z = 11 - -165. Suppose 384 = 8*s - z. Does 11 divide s?
False
Suppose -388*q - 6 = -391*q. Suppose -n = 5*s - 1009, -n + 3087 = q*n + 3*s. Does 29 divide n?
False
Let t(y) = y + 43. Let d be t(-18). Let n(p) = -11*p - 17 + 4*p - d. Is 7 a factor of n(-7)?
True
Let u = -17 + 19. Let p be 1/u - (-5 + 49/14). Suppose -p*o = -o - 104. Is 26 a factor of o?
True
Let z be 48/(-9) - -7 - (-2)/6. Does 68 divide -3 - (z - 957) - 0?
True
Let k(f) = -f**3 - 8*f**2 + 7*f + 14. Suppose 5*w = -5*x - 18 - 2, 2*w = 5*x + 48. Let u be k(x). Let b = 113 - u. Is b a multiple of 31?
True
Let q = 37 + -33. Suppose -4*l = -q - 