of (-5526)/p + b/5?
False
Suppose -3*g + 8296 = 4*s, 8*s + 5*g + 8296 = 12*s. Is 73 a factor of s?
False
Let n(l) = l**3 - 5*l**2 + 7*l - 2. Let j be n(6). Suppose -2*k - 23 = 2*q - 97, -3*q + 4*k + j = 0. Is q a multiple of 32?
True
Suppose 6*m = 10*m. Suppose m*l + 4*l - 508 = -2*c, -l + 122 = 3*c. Is 29 a factor of l?
False
Suppose -4*y = -v + 1432 - 3852, -5*y = -v - 3025. Is y a multiple of 55?
True
Suppose -3*x + 18 = -2*a, -3*x - 6 = 5*a - 3. Let k be a*4/(-24)*10. Suppose 121 = 3*c - k*g, g = c - 2*c + 43. Is 14 a factor of c?
True
Suppose 437 = -51*j + 70*j. Is 5 a factor of j?
False
Let k(x) = -x**2 - 4*x - 43. Let p be k(0). Let d = p - -67. Does 4 divide d?
True
Suppose 0*g + 30*g - 56640 = 0. Does 16 divide g?
True
Let f = -6 + 5. Let q be -2 + 10/2 - f. Suppose 0*o = -5*m + o + 155, -2*m + q*o = -80. Does 6 divide m?
True
Suppose 0 = -5*v - 4*u + 240 + 402, -4*u = v - 138. Is 38 a factor of v?
False
Let g(p) = 72*p**3 + p**2 - 3*p + 2. Let y be g(1). Suppose y = v + 7*v. Is 9 a factor of v?
True
Let o be 95/(3 - (-6)/(-3)). Let z = o + -52. Is 21 a factor of z?
False
Let l(m) = 31*m + 7. Let o(p) = p + 9. Let t = -10 - -4. Let i be o(t). Is l(i) a multiple of 20?
True
Let c be 106/(-13) - 4/(-26). Suppose -6*f + b = -f - 85, -5*b = 25. Does 12 divide (c/f)/((-2)/96)?
True
Suppose -8*u - 18 = -7*u. Let i(l) = 8*l + 44. Let d be i(u). Let t = d - -141. Is 7 a factor of t?
False
Suppose 68*c - 12304 = 52*c. Does 46 divide c?
False
Let d(o) = -4*o - 3. Let x(g) = -7*g - 9. Let c be x(-3). Suppose -6*q + c = -9*q. Is d(q) a multiple of 5?
False
Suppose 28*i - 1246 = 5026. Is 14 a factor of i?
True
Suppose -i = 3*o - 21, 2*i - 4*o - 33 = 29. Suppose 5*f - 87 = -i. Does 3 divide f?
True
Let i(p) = -p**3 + 11*p**2 - 5*p - 1. Suppose 4*l = 5*d + 49, -2*d = 4*l + 2*d - 40. Let w be i(l). Let q = w - -80. Is q a multiple of 24?
True
Let z = 5 - 11. Let y be (-5)/(-40) - ((-47)/8 - -2). Is 13 a factor of y/z + 286/6?
False
Let c(k) = 2*k**2 + 43*k - 189. Is c(-33) a multiple of 19?
True
Let i(h) = 130*h**3 - h**2 - 2*h - 4. Let o be i(-2). Does 13 divide (o/(-24))/(6/16)?
False
Suppose 2*s = -5*v + 30, 4*s - 3*v - 3 = s. Suppose -u - 246 = -2*g, -3*g + s*u - 10*u = -343. Is g a multiple of 11?
True
Let r(n) = 2*n**2 + 5*n - 5. Let s = 27 + -27. Suppose -i = -k + 2, s*i = 3*i + k - 14. Is r(i) a multiple of 28?
True
Let p(x) = x**3 - 3*x**2 + x + 3. Let r be p(3). Suppose 4*i - r*i = 6. Is 7 a factor of 3 - 6*2/i?
True
Suppose -7*v + 0*v = 0. Suppose 7*y - 26 - 1465 = v. Is y a multiple of 17?
False
Suppose -5*g + 3045 = -5*z, 0*g - 5*z - 2435 = -4*g. Is g a multiple of 10?
True
Let y(v) = -4*v + 58. Let s be y(0). Is (s - -4 - (1 - 0))/1 a multiple of 9?
False
Let r(x) = -46*x + 6. Let b be r(-7). Suppose -h + 204 = 3*f, -4*h - 4*f + b + 464 = 0. Is h a multiple of 13?
True
Let l = 273 - 177. Is l a multiple of 3?
True
Let t be 33*2/12*20. Let s = 19 + t. Is s a multiple of 35?
False
Suppose -4*p = -q - 1376, 5*q + 50 = p - 275. Is p a multiple of 15?
True
Let r(w) = -10*w - 9. Let x be r(-6). Is 9 a factor of (x/34)/((-6)/(-124))?
False
Let x(y) be the first derivative of y**3/3 + y**2 - 4*y - 1. Let f be x(-3). Does 6 divide (2/(-5))/(f/50)?
False
Let y(s) = s**3 + 8*s**2 + 3*s + 5. Let x be ((-459)/21)/3 - (-4)/14. Is y(x) a multiple of 33?
True
Let p = -129 + 34. Let d = 126 + p. Is 4 a factor of d?
False
Suppose -z = -a - 52, 2*z = -5*a + z - 230. Let b = 83 + a. Is 15 a factor of b?
False
Let s = 17 + -17. Suppose s = -5*k + 5*x + 370, 5*k - 2*k = 2*x + 222. Suppose 323 = 3*q + k. Does 19 divide q?
False
Suppose -12*p = -1904 - 16396. Is p a multiple of 25?
True
Let s(f) = -f**2 + 10*f - 32. Let w be s(14). Let k(y) = -5*y - 1. Let i be k(-2). Is (i/6)/((-4)/w) a multiple of 11?
True
Let m = 122 - 80. Does 4 divide m?
False
Suppose 2*q - 10 = 2. Let w(c) = -c**3 + 6*c**2 + 1. Let l be w(q). Suppose -v + l + 34 = 0. Is v a multiple of 17?
False
Let h(l) = -l**3 - 4*l**2 + 6*l - 5. Suppose -4*x = -4*c, 0 = 3*x + 2*c - 31 + 6. Suppose -5 - x = 2*m + 2*s, m + 7 = s. Is 14 a factor of h(m)?
False
Let v(c) = -2*c**2 + 11*c + 8. Let l be v(6). Is (-750)/(-60) + l/(-4) a multiple of 12?
True
Let a be -38*(-2 - (-9)/6). Let p = 92 + a. Suppose 24 = -3*w + p. Is w a multiple of 8?
False
Let z(c) = c**3 + 8*c**2 - 6*c - 3. Suppose 0 = -2*u + 3*u - 2*i + 2, -u - i = 8. Does 21 divide z(u)?
True
Let z = -242 - -646. Is 16 a factor of z?
False
Let n(b) = 51*b - 26. Is 7 a factor of n(5)?
False
Let u = -15 - 7. Let b = 43 + u. Does 21 divide b?
True
Let p(b) = -b**3 - 19*b**2 - 5*b - 23. Is 26 a factor of p(-20)?
False
Let c(g) = -g**3 + 10*g**2 + 19*g - 79. Does 67 divide c(8)?
True
Is 80 a factor of (2 - -9 - -1)*(-16100)/(-115)?
True
Let r(z) = 3*z + 35. Let c be r(-11). Suppose 35 = c*o - 7. Is 7 a factor of o?
True
Let o = 33 + 22. Is o a multiple of 10?
False
Let a(t) = -t**2 + 17*t + 15. Let i be a(17). Let z(f) = 14*f - 44. Does 38 divide z(i)?
False
Suppose -2*c + 2906 = 4*y, 5*y - 392 = -c + 1067. Does 43 divide c?
False
Let k(n) = 18*n + 16. Let u be k(-7). Let z = u - -141. Is z a multiple of 3?
False
Let k(z) = -4*z - 4. Let b be k(3). Let o be -4 - (-132)/(-2)*-1. Let j = o + b. Is j a multiple of 21?
False
Let b(u) = 36*u - 2. Let o be (3 - 7) + 10/2. Let s be b(o). Suppose 2*w = 18 + s. Is 13 a factor of w?
True
Let p = 24 - 24. Let y be p - -1 - -2 - 9. Is 21 a factor of 460/8 - y/(-4)?
False
Let i be ((-3)/3)/(-1) + 177. Suppose 3*t + i = 3*b + 16, -2*b + 88 = 3*t. Is b a multiple of 7?
False
Let d(q) = 3*q**2 + 736. Does 135 divide d(0)?
False
Is (0 - -466)/(-16 - (-4 - 14)) a multiple of 5?
False
Let n = 344 - 251. Is 12 a factor of n?
False
Suppose 2*n - 15 - 3 = 0. Suppose -741 = -n*q - 282. Suppose q*h - 47*h = 308. Is h a multiple of 11?
True
Suppose -2*w - 156 = 4*a, -5*w - 281 - 109 = a. Let f be (-316)/6*1*3. Let j = w - f. Is 16 a factor of j?
True
Suppose -16 = t - 5*h, -5*t - 4*h - 32 = -5*h. Does 48 divide 17358/55 + t/10?
False
Let m(p) = 57 + 2*p - 4*p + 5*p - 48. Is m(9) a multiple of 9?
True
Let d(k) = -2*k + 51. Let n(x) = -x**3 - 11*x**2 - 12*x - 17. Let a be n(-10). Suppose w = a*w. Is 16 a factor of d(w)?
False
Suppose -20 = -a + 1246. Suppose 0 = -0*l - 6*l + a. Is 21 a factor of l?
False
Let h(r) = -2*r**3 + r - 2. Suppose -3 + 0 = d. Let i be h(d). Let a = i - -10. Does 21 divide a?
False
Let n(z) = 2*z**2 - 2*z - 167. Is n(-16) a multiple of 29?
True
Let w(c) = c**2 - 9*c - 9. Let k be w(11). Let p(b) = 3*b**2 - 4*b - 15. Let i be p(k). Suppose m - 134 = -u - 4*m, 4*u = 4*m + i. Is 31 a factor of u?
False
Let n(o) = -4*o**3 - 11*o**2 - o + 31. Is n(-11) a multiple of 12?
False
Suppose 6*x + 154 - 880 = 0. Is x a multiple of 38?
False
Suppose -2*m + 3 = -5. Suppose 0 = -2*n + 2*b + 2, -n - 2*b = m*n - 26. Suppose -f + 4*f - 66 = n*l, 4*l = 2*f - 48. Is f a multiple of 6?
True
Suppose 0 = k + h - 6, 2*k - 7*k + 2 = -2*h. Suppose -r + 4*p = 2 - 4, 3*p = -k*r + 4. Suppose u + 3*w - 34 = 0, 0 = -u - r*u - w + 86. Is u a multiple of 12?
False
Let k(j) = j**3 - 4*j**2 + 2*j + 1. Let v be k(4). Suppose -2*u - 4 = -3*u. Suppose -u*h - v = -33. Does 2 divide h?
True
Suppose -7 = -3*l + 8, -5*l + 256 = 3*p. Does 7 divide p?
True
Let x(h) = -h**3 - 6*h**2 + 7*h - 3. Let t be -4 + (-2)/(-3)*12. Let o be (-6)/(-4 - -7)*t. Is 23 a factor of x(o)?
True
Let l(i) be the first derivative of i**3/3 - 7*i**2/2 - 3*i - 11. Does 13 divide l(11)?
False
Suppose 0 = 2*n - 3*u - 24, 4*u - 1 - 1 = -3*n. Suppose 0 = 11*s - 10*s - n. Does 2 divide s?
True
Suppose -5 + 13 = -2*q. Let w be 2 - (2 + 1) - q. Suppose -4*r + 179 = 3*f, 4*f - w*f = 5*r - 219. Is r a multiple of 22?
True
Let l = 321 + -276. Is 45 a factor of l?
True
Suppose -3*c + 27 = -5*z, -2 + 6 = -4*c. Let d = z + 0. Is 6 a factor of 1/(-2)*6*d?
True
Is (-32)/336 - 527/(-21) a multiple of 25?
True
Let y(k) = 3*k**3 - 152. Let a be y(0). Let x = 63 - a. Is x a multiple of 15?
False
Suppose 4*r = -3*u + 2837, -5*u + 4690 = 3*r - 4*r. Is u a multiple of 53?
False
Let y = -53 - -58. Suppose y*b = 3*b + 320. Is 29 a factor of b?
False
Suppose -70*h + 66*h - 4*m + 8576 = 0, 0 = -h + 4*m + 2129. Is 32 a factor of h?
False
Let b = 9 - 43. Let o = 49 + b. Is o a multiple of 3?
T