 1273. Suppose u = 3*t + 58 + 226, -x = -4*u - t. Is u a multiple of 13?
False
Let y be ((-220)/(-198))/(2/18). Suppose 8*l + f = y*l - 136, 0 = -5*l + 2*f + 342. Is 14 a factor of l?
True
Let o(b) = 3*b**2 + 444*b - 1489. Is o(74) a multiple of 69?
False
Let j(h) = 3*h**2 + h - 1. Let z(u) = 16*u**2 - 18. Let k(t) = 5*j(t) - z(t). Suppose -3*y = -3*f - 0*y + 27, -f = 3*y + 3. Does 5 divide k(f)?
False
Suppose -3*y + 6 = -6. Suppose y*f + 2*p - 614 = 0, 5*f + 0*p - 2*p - 772 = 0. Does 14 divide f?
True
Suppose -5*h + 32 = 3*h. Suppose -8*b = -h*b - 5*t - 4653, -2*b + t = -2325. Is b a multiple of 83?
True
Let i(h) = -130*h + 1070. Is 5 a factor of i(3)?
True
Let j be -3 - (3 - 12/3 - 23). Suppose 0 = -19*h + j*h - 12. Suppose h*b + 487 - 1411 = 0. Is 8 a factor of b?
False
Suppose 64*a - 57*a - 80871 = 0. Does 25 divide a/15 + (-2)/10 - -5?
True
Suppose -4*h + 69 + 167 = 0. Let g = -33 + h. Let l = g + -14. Is 4 a factor of l?
True
Let w(c) be the third derivative of c**5/12 - 5*c**4/8 - 52*c**3/3 - 349*c**2. Does 41 divide w(-7)?
True
Let k(v) be the first derivative of v**3/3 - 7*v - 1. Suppose 6*y - 295 + 331 = 0. Is k(y) a multiple of 3?
False
Suppose 0 = -c - 5*m + 10, -4*m + 8 = -4*c + 2*c. Let q = 963 + -961. Is 16 a factor of 1 - (-63 + c/q)?
True
Let n(f) = -f**3 + 10*f**2 + 10*f + 2. Let l be n(11). Is 8 a factor of (-105)/(-14)*(-60)/l?
False
Let f = 132 + -8. Suppose -2*g = -2*r - f, -17 + 5 = -3*r. Does 2 divide g?
True
Let z(g) = -46*g - 19. Let p(c) = -c**3 + 3*c**2 + 5*c - 10. Let h be p(4). Let q be z(h). Suppose 3*i - q = 76. Does 10 divide i?
False
Suppose -10*y + 3*m = -124115, 4*y + m = y + 37225. Does 85 divide y?
True
Suppose 0 = z + 4*a - 3*a - 29, -3*a - 33 = -2*z. Is (-24)/((-20)/5)*1*z a multiple of 8?
True
Suppose -73*d + 219681 - 67459 = -510545. Is 46 a factor of d?
False
Does 95 divide 31561 + -13 - (12/4 - -5)?
True
Suppose 0 = 4*g - 0*g + 80. Does 7 divide 8/g - 3051/(-15)?
True
Suppose 311*l = 7815571 + 359064. Does 37 divide l?
False
Suppose -2 = 4*t + 6. Let j(l) = -50*l**3 + l**2 - 34*l + 65. Let x be j(2). Is x*4/12*t a multiple of 19?
True
Suppose 14*l = -345*l + 1553034. Is 6 a factor of l?
True
Let b = -8 - -18. Suppose 0 = -12*j + 3057 - 621. Suppose -u = -j + b. Is 42 a factor of u?
False
Let a(o) = -1153*o + 1088. Is a(-28) a multiple of 81?
True
Suppose 635 - 211 = -3*l - 5*k, -3*k = -12. Let a = -124 - l. Is 12 a factor of a?
True
Let a = 120 - 114. Does 4 divide 140/a*390/91?
True
Let m(q) = q**2 + 7*q + 9. Let x be m(-6). Suppose -38 = -22*f + 50. Suppose -f*v = -x*v - 16. Does 16 divide v?
True
Let i(a) = 132*a + 63. Let x(p) = -33*p - 16. Let o(c) = 2*i(c) + 9*x(c). Is 21 a factor of o(-5)?
True
Suppose 2*w - 2112 = -0*w + u, -4*u = 0. Suppose 5*l = w + 2919. Is 15 a factor of l?
True
Suppose 4*n + 3*u = 48 + 102, 0 = 3*u - 6. Suppose 3*j + 9 = -n. Let l(i) = -7*i - 34. Does 19 divide l(j)?
False
Suppose 347 - 107 = 12*l. Suppose l*d = 10*d + 6300. Is d a multiple of 30?
True
Let u(l) = 2*l + 20. Let r be u(-11). Let z be 6/(r - 2 - -6). Suppose -z*c + 10*c = 455. Does 5 divide c?
True
Let x = 19940 + 19990. Does 242 divide x?
True
Let n = 372 - 537. Does 14 divide (28 + 0)/((-22)/n)?
True
Suppose 7*m = -5 + 12. Let s be 2 + (0 - -2)*1. Is ((-195)/(-10))/(m/s) a multiple of 46?
False
Let r(j) be the second derivative of -j**3/2 + 21*j**2 + 16*j. Let y be r(13). Suppose 2*k + y*x = 11, 2*x - 17 = -2*k - 3. Does 2 divide k?
True
Let b(l) = -2*l + 6 - 6*l**2 + 7*l**2 - l**3 - l. Let y be b(0). Let k(r) = -2*r**3 + 15*r**2 - 10*r - 8. Does 13 divide k(y)?
False
Suppose -m + 147 = -c, 8*m - 9*m + 2*c + 143 = 0. Is 37 a factor of m?
False
Let w be 28*(51/12 - 2)/(-3). Let b(v) = 2*v**3 + 43*v**2 - 9*v + 42. Does 84 divide b(w)?
True
Let z(c) = -4*c - 56. Let q be 56/(-72)*6*(-6)/(-2). Let u be z(q). Suppose u = -2*g + 6, -3*g + 568 = 4*y + g. Is 10 a factor of y?
False
Let z be (-273)/(-35) + (-8)/10 - 0. Let d = 246 - z. Is d a multiple of 12?
False
Let v(c) = 4*c**3 - 1. Let l be v(1). Suppose 0 = -l*t + 6 - 0. Suppose 131 = r + 6*a - 3*a, 0 = -t*r - 3*a + 268. Is 31 a factor of r?
False
Let f(j) = -3*j**3 + 19*j**2 + 79*j + 150. Is 27 a factor of f(-16)?
True
Let w(s) = -2*s - 44. Let z be w(-17). Let k(u) = u**3 + 5*u**2 - 9*u + 20. Let i be k(z). Is i/(-9) + (-4)/(-6) a multiple of 6?
False
Let w(c) = -7*c + 24. Suppose 0 = 5*f + 2*d - 55, -f - 67 = -5*f + 3*d. Let j be w(f). Let m = 143 + j. Is 19 a factor of m?
True
Suppose 0 = 76*q + 24037 - 63481. Suppose -3*x + 4*s + s + 35 = 0, 2*s = -8. Suppose -3*r - x*l + q = -3*l, 2*l - 690 = -4*r. Is 13 a factor of r?
False
Suppose c - 2754 = 4*s, 2*s + 3570 + 4692 = 3*c. Is 18 a factor of c?
True
Let z = -4710 - -2031. Let u = -742 - z. Does 35 divide u?
False
Suppose 4*s - 65 = 5*f, -5*s - 73 = -10*s - 2*f. Suppose 14*k - 178 = s*k. Let u = k + 388. Is 15 a factor of u?
True
Let s(z) = -8*z + 2. Let q(w) = -w**2 + 11*w + 34. Let i be q(14). Is 11 a factor of s(i)?
True
Let m be 24/3*(46/(-8) - -8). Let t(l) = l**2 - 2*l - 5. Let q be t(-5). Let p = q + m. Is p a multiple of 16?
True
Suppose -325*t + 1482522 = 111*t - 4014566. Is t a multiple of 16?
True
Let g(h) = -4*h + 23. Let c(j) = 11*j - 69. Let w(z) = -6*c(z) - 21*g(z). Is 21 a factor of w(12)?
True
Let n(x) = -2*x**3 - 5*x**2 - 2*x + 14. Let g be n(-4). Suppose 0*f + f + 22 = 5*j, 4*j = -f + 14. Suppose 158 = j*c + g. Is 14 a factor of c?
False
Does 10 divide 2/((-10)/(-20)*((-16983)/(-16980) + -1))?
True
Suppose -4*y + 22382 = 2*w, -14*y + 19*y = 3*w - 33518. Does 15 divide w?
False
Let q be 1023/248 + (-1)/8. Let y(p) = p**3 - 2*p**2 - 2*p + 2. Let f be y(3). Suppose 0 = 4*d - q*t - 100, -d + 0*d + 43 = f*t. Is 14 a factor of d?
True
Is 120 a factor of (-48)/88 + 85806/11?
True
Let n(w) = -w + w**2 + 54*w**3 + 164854 - 164854. Let f = 0 - -1. Does 18 divide n(f)?
True
Let b(p) = -188*p**3 - p**2 - 2*p - 2. Let q be b(-1). Suppose 5*a + 47 = q. Is 7 a factor of a?
True
Suppose 240 = 5*u + 215. Suppose -5*j + 4*d + 1816 = 0, 10*j - 1823 = u*j - 3*d. Is 14 a factor of j?
True
Let h be (22/(-44))/(4/(-32)). Suppose 0*t + 360 = 5*t. Suppose 6*a - t = h*a. Does 7 divide a?
False
Let j be (-3 - (-34)/10) + 888/5. Suppose 0 = 4*x + j - 814. Is 29 a factor of x?
False
Let j = -35 + 38. Let s be j*-2*(-50)/15. Let w = s + 1. Is w a multiple of 7?
True
Let x(c) = -c**3 - 38*c**2 - 350*c - 52. Is x(-26) a multiple of 12?
True
Let s(q) = -q**3 - 4*q**2 + 15*q + 5. Let v be s(-8). Suppose 0 = -u + 4*d - 71 + 24, -3*u + d - v = 0. Let k = u + 137. Is 25 a factor of k?
False
Let g = -252 + 446. Let x = g + -138. Is 8 a factor of x?
True
Let p be 16/2*(4/8 - 0). Suppose 4*j = -2*k + 606, 0 = p*j - k - 2*k - 591. Is j a multiple of 10?
True
Let x be (0 - 2)*(2/(-4) - 1). Suppose x*a = 2*v + 7, 8*v - 3*v = -4*a + 40. Suppose 0*w + p = -4*w + 71, 0 = v*w + 3*p - 69. Is w a multiple of 6?
True
Is (3 - (-15 + 6)) + 6128 a multiple of 106?
False
Let u = -18488 - -31949. Is 46 a factor of u?
False
Suppose 2*q + 1732 = 3*v, 2*q + 1786 = 2*v + 632. Suppose 0 = 11*b - 368 - v. Is b a multiple of 23?
False
Let s(k) = -3*k**3 + 13*k**2 + 6*k - 6. Let h be s(5). Let z(u) = -u**3 - 26*u**2 - 30*u + 36. Does 24 divide z(h)?
True
Let a = 6599 + -6481. Does 23 divide a?
False
Suppose 3*m + 4*f + 0*f - 275 = 0, -m = 4*f - 105. Let x = m - 85. Suppose -i + 2*i = -3*w + 297, x = 2*w - 3*i - 198. Is w a multiple of 19?
False
Suppose f - 3*f = -r - 5, -2*f - 4*r = -10. Suppose -v + f*h + 213 = -0*h, 5*h = -v + 245. Is 25 a factor of v?
True
Let z(c) = -c**3 + 10*c**2 + 2*c - 21. Let s(g) = g**2 - 5*g - 4. Let i be s(7). Let t be z(i). Is 17 a factor of 84/(2/(-3)*t)?
False
Let n(p) = 49*p + 2619. Is 27 a factor of n(108)?
True
Let n(s) = -s**2 - 2*s + 13. Let t be n(-9). Let z = -48 - t. Does 4 divide z/(2/1 + 12/(-8))?
True
Let s(z) = z**2 - 2*z - 139. Let o be s(13). Suppose 634 = o*p + q + 204, 4*q + 8 = 0. Is 11 a factor of p?
False
Let x(w) = -2*w**3 - 257*w**2 - 565*w - 198. Is x(-127) a multiple of 152?
False
Let f(b) = 316*b - 182. Is f(10) a multiple of 90?
False
Is (-14076)/115*40/(-36)*-6*-1 a multiple of 16?
True
Let n(k) = 3 - 1 + 313*k**2 - 4 + 6*k - 3 - 9*k. Does 9 divide n(-1)?
False
Suppose 621*f + 223278 =