k(f)?
True
Suppose -53*g = 26220 - 145205. Is g a multiple of 28?
False
Let u = -27 + 121. Suppose 0 = 4*v - 334 + u. Is 30 a factor of v?
True
Let r be 2/1 - 5/5. Suppose -2*i + r = -5. Suppose 4*t - i = 21. Is 3 a factor of t?
True
Let a be (1 - 5) + 163 + -19. Suppose 22*q - a = 20*q. Is 10 a factor of q?
True
Let n be (4/(-6))/(-3*4/18). Is 8 a factor of n + -4 + (33 - -2)?
True
Let n be 59/(-1)*1*-3. Let q = 51 - n. Let l = -33 - q. Is l a multiple of 24?
False
Let q = -103 + 171. Let b = q + 67. Is 13 a factor of b?
False
Let j(f) = f**3 - 6*f**2 - 7*f + 6. Let o be j(7). Suppose -5*z = -o*z + 5. Suppose -z*m + 64 = -51. Does 16 divide m?
False
Let m = -52 - -119. Suppose -3*l + 5*y + m = 0, 0 = 5*l + y + y - 122. Does 8 divide l?
True
Let c = -1069 - -1597. Is 10 a factor of c?
False
Suppose 3*i + 0*i = 4*c + 635, -3*i = 4*c - 643. Is i a multiple of 12?
False
Let z(s) = -s**2 + s + 7*s - s + 4 + 2*s. Let u be (18/(-15))/((-9)/60). Does 12 divide z(u)?
True
Suppose -3*x + 271 = 3*g - 1445, -2*x + 3*g + 1159 = 0. Is 23 a factor of x?
True
Let v = 338 + 1349. Does 7 divide v?
True
Let u be -4*(-2 + 55/20). Does 9 divide 0 + (4 - -2) - u?
True
Let h be 3/9 + 32/(-6). Let y(s) = s**3 + 5*s**2 + 2. Let r be y(h). Suppose r*q + 204 = 6*q. Is q a multiple of 23?
False
Let c(b) = b**3 - 12*b**2 + 11*b + 5. Let o be c(11). Suppose -5*g + 20 = o*u, 3*u = 5*u. Suppose -8*t + 236 = -g*t. Is t a multiple of 21?
False
Suppose -1320 = 3*y + 2*y. Let u = 372 + y. Is u a multiple of 19?
False
Let p(f) = 5*f - 9. Let m(r) = 6*r - 9. Let v(h) = -3*m(h) + 4*p(h). Let s be v(6). Suppose s*k - 341 = -2*o, 3*o = 8*o + 10. Does 23 divide k?
True
Let s(w) = w**2 + 6*w - 22. Suppose p + 76 - 29 = -4*d, -2*d + 4*p = 28. Is s(d) a multiple of 25?
True
Let m(u) = -u**2 + 10*u + 26. Let d be m(12). Suppose 3*s = 4*h + 37, -h - 26 = -d*s + h. Is s/(-10) - 692/(-8) a multiple of 16?
False
Let d(g) = -102*g + 11. Let m be d(-4). Suppose b + m = 5*l, -4*l = -5*b - 227 - 104. Does 12 divide l?
True
Suppose 0 = -2*h - 4*a + 16, 6*h + 2*a = 2*h + 8. Suppose 2*x - 4*v = 80, h = 2*x - 5*v - 115 + 36. Does 3 divide (-14)/x + 50/6?
False
Suppose -n = -a + 67, -4*a + 3*a = -3*n - 205. Let u = -15 - n. Let q = u - 29. Does 15 divide q?
False
Let s = -34 + 61. Does 3 divide (-12)/54 + (-51)/s*-7?
False
Let q = 42 - 25. Let k = q + 11. Does 7 divide k?
True
Suppose 2*t - 2544 = 2*s, 52*t - 2*s = 49*t + 3820. Is t a multiple of 29?
True
Let q = 23 + -32. Let j be (-2)/3 - 330/q. Suppose 6*t - j = 3*t. Is 12 a factor of t?
True
Let z = 32 + 21. Let y = -20 + z. Let w = -20 + y. Does 13 divide w?
True
Suppose -2*g + 5*i = i - 300, 2*g - 305 = 5*i. Suppose 2*d + 8 = -2*d, 2*d = 2*y - g. Is y a multiple of 34?
True
Let h = -234 + 152. Let o = -56 - h. Does 13 divide o?
True
Suppose -26 = -4*c - 6, -4*z - 2*c + 18 = 0. Suppose 2*h + p - 13 = 0, -h = z*h + p - 19. Suppose r - 9 = h. Is r a multiple of 5?
True
Let u(y) be the first derivative of -6 - 5*y**2 + 2/3*y**3 + 4*y. Does 13 divide u(7)?
False
Let c(d) = d**3 - 6*d**2 + 8*d - 6. Let h be c(5). Suppose 0 = -5*n, -n + 6 + h = 5*v. Suppose 5*u = 3*j + 209, 3*j - 31 = v*u - 4*u. Does 16 divide u?
False
Let o = -459 + 727. Is o a multiple of 12?
False
Let m(d) = -2*d**2 - 2*d + 13. Let r be m(-5). Is 288 - (2/(-9) + 48/r) a multiple of 29?
True
Let s be 6/(-4*3/(-8)). Suppose -2*h - s*j = 0, -5*j = -j + 4. Is h/(1/(-48)*-3) a multiple of 8?
True
Suppose 2342 + 1438 = 42*u. Is 4 a factor of u?
False
Does 13 divide 75/2*44/33?
False
Is 39 a factor of (-170)/(-5) - (-21 + 16)?
True
Suppose -481 = -47*h + 24335. Does 8 divide h?
True
Suppose 0*i - 1 = -i. Suppose -3*q = 5*w - 30, q - i - 1 = w. Suppose 4*y + 4 = 0, -2*y + q*y + 33 = 5*s. Is s a multiple of 3?
True
Suppose 4 = -2*a + h + h, 4*a + 5*h = -8. Is (0 - a) + 1160/8 a multiple of 21?
True
Let l = -24 - -32. Suppose 5*f + 5*k = 35, -l = -f + 3*k + 3. Suppose 80 = f*z - 4*z. Is z a multiple of 10?
True
Suppose 2*q - 157 = -39. Let r = q + -134. Let t = -36 - r. Does 13 divide t?
True
Let n(l) = -l - 6. Let k be n(-5). Let w be (2*k)/(3 - 4). Suppose -w*o - 5 = -53. Does 6 divide o?
True
Let f be -2 + 9 + 0/(-1). Let x be (f/(-2))/((-11)/242). Let j = x - 8. Does 25 divide j?
False
Let t(b) = b**3 + 3*b**2 - 5*b - 1. Let a(q) = -q**3 - 4*q**2 + 6*q. Let y(l) = 4*a(l) + 5*t(l). Let x be y(0). Does 10 divide (-306)/(-10) - (-3)/x?
True
Suppose -30 = -5*k - 5*h, -4*h = -2*k - 21 + 3. Let o = k - -2. Let a = 19 - o. Is 8 a factor of a?
True
Suppose 2*j + 690 = 4*j. Suppose g + c - 49 = -4*c, 5*g + 5*c = j. Does 37 divide g?
True
Suppose 1740 = -16*j + 21*j. Is 29 a factor of j?
True
Let z = 27 + -25. Suppose -5*o = -y - 255, 3*o = -2*o + z*y + 260. Let t = o + -30. Is t a multiple of 4?
True
Suppose 0*v + 2*r + 3288 = 3*v, -r = -4*v + 4379. Is 10 a factor of v?
False
Let s(k) = 3*k + 24. Let n(m) = 3*m + 23. Let x(f) = -3*n(f) + 4*s(f). Is 10 a factor of x(11)?
True
Let b be (8205/9)/(-5)*-3. Suppose 310 + 50 = 2*p + 2*z, -4*z = -3*p + b. Is 15 a factor of p?
False
Let u(x) = -8*x + 112*x**3 + 106*x**3 - 219*x**3 + 4 - 6*x**2. Does 7 divide u(-6)?
False
Suppose 18 = -3*g + 2*n, 2*n + 14 = -5*g + 4*g. Does 25 divide 10 + g - (-1 + -122)?
True
Is (-44 - -43) + 1038 + 1 a multiple of 17?
False
Suppose -2*y - 44 = 2*v, -2*v + 6 = 4. Let u = -10 - y. Is u a multiple of 13?
True
Suppose -10718 + 29380 = 14*t. Is t a multiple of 36?
False
Let y be ((-9)/(-6))/((-12)/(-32)). Suppose -65 = -h - 2*a, y*h - 3*h - 68 = -5*a. Is h a multiple of 7?
True
Let o = -36 - -41. Suppose -y - o*x = -95, 4*y + 2*x = 33 + 257. Is 11 a factor of y?
False
Suppose 13*y = 10*y + 1047. Suppose -7*z - 146 = -y. Is 5 a factor of z?
False
Let c(x) = 354*x**2 + 17*x - 30. Does 20 divide c(2)?
True
Let l(p) = -17*p**3 - 6*p**2 - 13*p - 8. Is 10 a factor of l(-2)?
True
Let k = -528 + 906. Is k a multiple of 27?
True
Is 7/77 - ((-24716)/11)/1 a multiple of 109?
False
Let h(o) = 7*o**2 - 15*o + 80. Is h(17) a multiple of 44?
True
Suppose 4743 = 13*p - 4591. Does 48 divide p?
False
Let s = 79 + 21. Suppose 4*a - s = 44. Does 9 divide a?
True
Let c = -1 - 6. Let n = 31 + c. Is 6 a factor of n?
True
Suppose -16*z = -23*z + 1890. Is z a multiple of 18?
True
Suppose -158 = 3*a - 581. Is 47 a factor of a?
True
Let i(z) = 2*z**2 + 12*z - 233. Does 32 divide i(-35)?
False
Suppose -1297 - 112 = -4*c + 3*q, -3*q = 2*c - 727. Is 9 a factor of c?
False
Suppose -2*y - p + 552 - 141 = 0, 4*y - 819 = -5*p. Is 12 a factor of y?
False
Suppose 4*n = -n - 4*g - 128, -3*n - 75 = 3*g. Let x = 155 - 109. Let o = n + x. Is o a multiple of 18?
True
Let z(y) = -y + 12. Let o be z(-8). Let m be (4/(-6))/(2/(-144)). Does 6 divide (m/14)/(o/70)?
True
Suppose -3*o + 6 = -i - 5, 3*o + 4*i - 1 = 0. Suppose 0 = -o*p + 2*p + 24. Suppose 3*b - p - 72 = 0. Is b a multiple of 19?
False
Let c(b) = 2306*b**2 + 3*b. Is c(-1) a multiple of 35?
False
Suppose 6120 = 425*q - 410*q. Is q a multiple of 8?
True
Suppose -5*n - 26 = 4. Does 13 divide (2/n - -1)/((-3)/(-432))?
False
Let k = 772 - 512. Is (-8)/((-62)/k + 5/25) a multiple of 21?
False
Suppose -2*a = -5*i + 248, i - 31 = -4*a + 23. Let p = 84 - i. Does 13 divide p?
False
Let l be (-988)/39*(2 - -1)*-1. Let k = l - 40. Is 36 a factor of k?
True
Suppose 0 = -20*x + 16*x. Suppose -i + 109 = 2*f + f, x = 5*i + 3*f - 509. Is 50 a factor of i?
True
Let m(z) = 2*z - 15. Let w be m(9). Let j(p) = 0*p + 11*p - w*p**2 + 1 + 2*p**2. Is 18 a factor of j(9)?
False
Suppose 3*p - y = 23, 50 = 5*p - 5*y - 5. Suppose 3*v - 5*h - 580 = -p*h, -5*h + 596 = 3*v. Is 16 a factor of v?
True
Let o(s) = -2*s**3 - 8*s**2 - 14*s - 12. Is o(-6) a multiple of 54?
True
Let a(g) = 4*g - 15 + g + 0*g. Let u be a(13). Suppose -2*h - u = -3*c, -c = 3*c - 3*h - 65. Is 10 a factor of c?
True
Let t(a) = 9*a**2 - a + 6. Does 24 divide t(-3)?
False
Let r be -2*(-10)/4 + -4. Suppose -2*k = 2*b + b, -3*k + r = 4*b. Let d = k - -45. Is 24 a factor of d?
True
Let s = 87 - 86. Suppose -2*v = -263 - s. Is v a multiple of 22?
True
Suppose -3 = -v + n, 2*n - n - 9 = -5*v. Suppose 6*k + v*b - 20 = 2*k, 2*k - 4*b = -10. Suppose 2*a - k = a - 3*j, 4*j = 4*a - 92. Is 6 a factor of a?
True
Suppose -2*i = -11 + 21. Let t(l) = l**2 - 5*l - 3. Does 26 divide