 3*q + 6672. Is 37 a factor of k?
True
Suppose 7*h - 6*h = 14. Suppose h*g - 8 = 13*g. Let v = g - -97. Is 15 a factor of v?
True
Let x = -138 - -154. Is 21 a factor of 310 - 4*(-24)/x?
False
Let p be (1*(-3)/(-4))/((-14)/(-56)). Let n(x) = 1 + 2 + 3 - 12 - p*x. Does 9 divide n(-7)?
False
Let a be ((-380)/(-15))/(1/(-3)). Suppose 4*j - 2*i = -484, 4*i - 6*i = 0. Let x = a - j. Is x a multiple of 6?
False
Let l(c) = 13*c - 132. Let s be l(10). Does 23 divide 166/(-3)*(5/s - -1)?
False
Let f(o) = o + 1. Let m(g) = -122*g - 9. Let p(w) = 22*f(w) + 2*m(w). Let n be p(-1). Let l = n + -132. Does 25 divide l?
False
Suppose -10*k = 1865 - 5025. Let u = 583 - k. Is u a multiple of 14?
False
Is 63 a factor of 18 + (3260 - -8 - -21)?
False
Suppose 15*j - 77 = -1997. Let i = 195 + j. Is 6 a factor of i?
False
Let q = 110 + 50. Let z = -76 + q. Let y = z - -103. Does 23 divide y?
False
Let q(a) = 528*a - 3388. Is 44 a factor of q(16)?
True
Let x = 4207 - 357. Is x a multiple of 35?
True
Let w(x) = -3*x + 9. Let f be w(2). Suppose -1572 = -5*d - 0*d - 3*o, -f*o = -12. Does 17 divide d?
False
Let t = 106 + -92. Let x(z) = 23*z + 121. Is 10 a factor of x(t)?
False
Let n be (5/2 + -2)*(-2)/(-1). Let t = 6 - n. Is (-366)/t*13/((-156)/40) a multiple of 33?
False
Let m be 24/(-42) - 40340/(-35). Does 12 divide (29/58)/(2/m)?
True
Suppose 4*c + 15 - 99 = 0. Suppose -50 = c*o - 26*o. Is 6 a factor of 1*(o - -2 - 5/5)?
False
Let f = 21271 - -25583. Is f a multiple of 57?
True
Let y = -766 + 694. Is 18 a factor of (-55744)/y - 6/27?
True
Is 23 + 15829*(-21)/(-231) even?
True
Let c(s) = s**3 + 35*s**2 + 6*s + 34. Is 14 a factor of c(-30)?
True
Suppose -5*u + 15 + 10 = 0. Suppose 0 = -10*b + u*b. Suppose m + m - 4 = b, -65 = -3*k - m. Is k a multiple of 7?
True
Let t(y) = 4*y - 9. Let m be t(3). Suppose 5*j - j = -4*w + 56, m*w = 6. Suppose 0 = 4*u + j, -2*u + 6*u + 144 = 3*x. Does 11 divide x?
True
Suppose 2741882 + 4263255 = 186*z + 1695209. Does 52 divide z?
True
Let k(s) = s**3 - 31*s**2 + 233*s + 19. Is k(10) a multiple of 8?
False
Suppose 2*c + 54 = -5*g + 177, c = 4*g - 101. Suppose -1967 = -g*y + 383. Is y a multiple of 8?
False
Suppose -5*y - 54 = -b, -70 = 5*y + 11*b - 16*b. Is (-2)/y + 2142/15 a multiple of 8?
False
Let k(j) = -j**3 - 8*j**2 - 21*j - 2. Let l be k(-7). Is 16 a factor of l/(-45) + 2 - 2404/(-30)?
True
Let h = -2224 + 2455. Is 14 a factor of h?
False
Let f(m) = 1807*m - 13504. Is f(14) a multiple of 102?
False
Suppose 2*t - 4*o = 22, 2*t + 3*o - 15 = -0. Let h(s) = t*s + 2*s**2 - 6 - 4 + 10 + 12. Is h(5) a multiple of 23?
False
Let q(m) = -4*m**2 - 11*m + 3. Let c be q(-3). Does 8 divide (-2)/(8 + c) + 6975/60?
False
Let t(z) = 13*z**3 + 2*z**2 + z - 5. Let h be t(-3). Let m = h - -691. Is 14 a factor of m?
True
Let q = -378 + 696. Let k be q/18 - (-3)/9. Suppose -21*j = -k*j - 303. Is j a multiple of 10?
False
Is 75 a factor of 3 + ((-2095)/20)/((-7)/84)?
False
Let z(m) = -2201*m + 7930. Does 15 divide z(-16)?
False
Let j = 8262 + -3491. Is 57 a factor of j?
False
Let d(f) = -f**3 + 10*f**2 - 10*f - 11. Let q be d(8). Let z = q - 35. Suppose -z*j + 12 = -j. Does 10 divide j?
False
Suppose 33549 + 33609 = 63*u. Is 3 a factor of u?
False
Let z(p) = p**2 + 20*p + 118. Let m = -62 - -45. Is z(m) even?
False
Is ((-1)/(3/590))/((12/(-126))/2) a multiple of 28?
False
Suppose -5*v + 2*p = -12588, -2*p + 2496 = v - 6*p. Is 15 a factor of v?
True
Let u(s) = 18 + 12*s**2 + 4 - 18*s - 13*s**2 + 2*s. Let p be u(-17). Suppose -42 + 257 = p*x. Does 8 divide x?
False
Let q(k) = -16*k + 18. Let y = 73 - 97. Let o be 20/6*y/16. Is q(o) a multiple of 9?
False
Let b(z) = -2*z - 8. Let f be b(-1). Does 48 divide 0*(-2)/(-4) + f + 150?
True
Suppose -35465 = -15*h + 74440. Does 19 divide h?
False
Suppose 0 = l + s + 6, 1 = -2*l - 5*s - 23. Is (-1268)/(0 + l) + 25/(-5) a multiple of 20?
False
Suppose -11*p = -14721 - 12207. Does 9 divide p?
True
Let c(h) be the second derivative of -3*h**3 + 25*h**2 - 54*h. Does 8 divide c(-7)?
True
Suppose -5 = -n + 3*x + 5, -30 = -3*n - 5*x. Let f(h) = -8 + h + 11 + n + 7. Does 3 divide f(-11)?
True
Suppose 19493 = 5*g - 4635 - 7147. Is 9 a factor of g?
True
Suppose -4*g = 4*t + 36, 5*t - 3*t + 8 = 0. Let c(v) = 8*v - 50. Let n(b) = 3*b - 17. Let k(o) = g*c(o) + 14*n(o). Is 7 a factor of k(7)?
False
Suppose 93*r = -86*r + 192*r - 171288. Does 39 divide r?
False
Suppose 4*d = 4*w - 389 - 67, 3*d - 5*w = -348. Suppose -4*z = -3*z, 2*v - 5*z = 512. Let h = d + v. Is 43 a factor of h?
False
Let a(k) = 2759*k - 1344*k - 10 - 1375*k. Is 2 a factor of a(3)?
True
Suppose 19 = 18*s - 17*s. Suppose -s - 33 = -13*m. Suppose 2*j = -4*c + 444 - 148, m*j + 5*c = 595. Is j a multiple of 25?
True
Does 30 divide (((-51763)/74)/((-4)/10))/((-5)/(-120))?
True
Let h = -586 + 2551. Does 45 divide h?
False
Let r(t) = -4*t**3 + 3*t**2 + t - 2. Let q be r(-1). Is 44 a factor of (7 - 3)/(q/440)?
True
Does 85 divide (-406912)/(-40) - 84/(-70)?
False
Let g = 43 - 53. Let y = g + 13. Suppose 2*n = -5*o + 19 + 182, -9 = -y*o. Is 19 a factor of n?
False
Suppose 6*s = 2*s + 16. Suppose 0 = 5*o - 3*o + s*h - 10, -5*o + 5*h = 5. Is 49*(9/7 - o) a multiple of 9?
False
Let g be 0/(7 + -8 + 0 + 2). Suppose 4*u - f - 456 = g, -583 = -u - 4*u - 2*f. Let c = u - 24. Does 13 divide c?
True
Let v(r) = r**2 - 4*r - 8. Let j be v(4). Let b be (-14)/j + (-15)/(-60). Suppose -b*x + 9 = y, 2*x = 3*y + 3*x - 42. Does 6 divide y?
False
Let k = -50 - -37. Let j(v) = -11*v - 71. Let w(i) = 6*i + 35. Let g(q) = -3*j(q) - 7*w(q). Does 26 divide g(k)?
False
Let f(w) be the third derivative of 10*w**2 + 1/40*w**6 - 1/12*w**5 + 7/24*w**4 + 0 + 1/2*w**3 + 0*w. Does 20 divide f(3)?
True
Suppose 0 = -3*i - 3*n + 30, -11 - 14 = -5*n. Suppose -i*l + 161 = -12*l. Is 5 a factor of -3*(5 + l) + 3/(-1)?
False
Let t(z) = z**3 + 6*z**2 - 26*z + 148. Is 14 a factor of t(7)?
False
Suppose -10*r - 3*w = -15*r + 50267, -40252 = -4*r + 12*w. Does 19 divide r?
True
Is (-1617352)/(-276) + 12/414 a multiple of 10?
True
Suppose 23*m = 39*m - 458880. Is 24 a factor of m?
True
Suppose 264*b - 272*b + 30912 = 0. Does 42 divide b?
True
Let b(n) = -12*n - 2*n + n - 6*n - 15*n + 255. Does 13 divide b(-24)?
False
Suppose 14035 + 48632 = -33*l. Let w = -1275 - l. Is w a multiple of 24?
True
Let f be -4 + ((-18)/5)/(32/(-80)). Suppose z = 54 - f. Is 32 a factor of z?
False
Let c(t) = -t**3 + 17*t**2 + 18*t + 12. Suppose 4*x + q = 28 + 48, 4*q + 74 = 5*x. Let j be c(x). Let a = j + -2. Is a a multiple of 9?
False
Let f(p) = 112*p**2 + 23*p + 82. Does 31 divide f(-3)?
False
Let u(v) = -v**2 - 3*v + 4. Let m(b) = b**2 - 12*b - 32. Let x be m(14). Let w be u(x). Suppose w = -s + 3*s - p - 55, 4*s - 135 = -3*p. Is s a multiple of 13?
False
Let b(c) = -c**2 + 10*c - 5. Let s be b(9). Suppose -19*g + 1597 = -94. Suppose s*l - 27 = g. Does 29 divide l?
True
Let u(p) = p**3 - 4*p**2 - 2*p + 20. Let l be u(3). Suppose 10*b - 7*b = -3*y + 27, b + l*y = 21. Is b a multiple of 2?
True
Suppose 0 = 18*h - 20*h + 276. Let u be h/(-30) - 4/10. Is (-160)/(u + 3 + 0 + 1) a multiple of 32?
True
Does 75 divide (2*(-3 + 6) - 164)*-1?
False
Let z = 10 + -5. Suppose -405*h - 2*n - 312 = -408*h, 0 = -5*h - 4*n + 476. Suppose -2*y - z*k = -h, -y - 5*k + 24 + 16 = 0. Is y a multiple of 10?
True
Suppose -5*o + 29425 = -5*z, 9*o - 5*z = 11*o - 11742. Is o a multiple of 35?
False
Let u = 440 - 306. Suppose -t + 5*t - u = -2*v, 3*v + 15 = 0. Let c = -11 + t. Is c a multiple of 5?
True
Let r(s) = -9*s + 68. Let x be r(7). Suppose 0 = -x*v - 5*h + 305, 7*v - 12*v + 296 = -4*h. Is 7 a factor of v?
False
Let n be 1/((1 + 5)/168) - 3. Let y(i) = -2*i + 90. Is 10 a factor of y(n)?
True
Let m(q) = -2*q**3 - 7*q**2 - 4*q + 3. Suppose -3*o - 5*n - 17 = 5, -2*n = o + 8. Does 5 divide m(o)?
True
Let k = 2284 - -1175. Is 68 a factor of k?
False
Let b be 6/(-14) - 24/(-56). Suppose b = -3*r - 25 + 7. Let w(j) = j**3 + 6*j**2 - 4*j - 10. Is w(r) a multiple of 7?
True
Let h(x) = -70*x**3 - 4*x**2 - x. Suppose 17*r - 4 = -38. Does 39 divide h(r)?
True
Let y(i) = 4*i**3 - 12*i**2 + 11*i + 6. Let w(s) = 9*s**3 - 25*s**2 + 23*s + 13. Let a(b) = 3*w(b) - 7*y(b). Let t be 14/(-8)*1*-4. Is a(t) a multiple of 35?
False
Suppose 2*x + 53 = -5*b + 7, -4*x - 5*b =