(i/(-2))/(x/90)?
False
Let t(j) be the first derivative of j**4/4 + 19*j**3/3 - 5*j**2/2 + j + 7. Is 48 a factor of t(-19)?
True
Is (-4)/(-10) + 116208/180 - -4 a multiple of 50?
True
Suppose 5*o + 12 = 4*u, -5*o - 2 = u - 5. Suppose 4*t - 3*j + 7 = 0, 3*t = -t + j + 3. Suppose t*c + 20 = u*c. Is 12 a factor of c?
False
Let z(x) be the first derivative of x**3/3 + 5*x**2/2 - 11*x + 3. Let f be z(-9). Let h = f + -17. Is 3 a factor of h?
False
Suppose -5*s = x + 1874, -4*s + 4*x - 1524 = -44. Let t = -220 - s. Is 41 a factor of t?
False
Suppose 4*b - 736 = h, 0 = -2*b - b + 5*h + 569. Does 5 divide b?
False
Let o(t) = t**2 + t. Let m be o(0). Suppose m*k + l + 3 = -2*k, 2*k - 2*l = -18. Is 3 + (-3 - k)*41 a multiple of 19?
False
Is 18 a factor of 22005/72 + (-12)/(-32)?
True
Suppose -2*h = 3*m - 6, 0 = -4*m - m + h + 23. Suppose 5*j = m*w + 930, -2*j - 16 = w - 375. Is j a multiple of 34?
False
Is 5 a factor of (-7 - (-20 - -9)) + 78*21?
False
Suppose -l + 55 = 5*s, 12 - 1 = 3*s + 5*l. Let d be (-10)/2*s/(-15). Suppose -q + 70 = -2*u, -d*q = -3*u + 2*u - 301. Is 38 a factor of q?
True
Suppose -5*p + 958 = 4*j - 737, -3*p + 1009 = 4*j. Is 60 a factor of p?
False
Suppose -2*w = s + 4, -2*s - 3 = 3*w + 1. Suppose 0 = 5*q - 0*q + 15, 0 = d - s*q - 14. Suppose -4*m + 39 = 5*z + 13, 0 = d*z - 3*m + 8. Is z even?
True
Let d(v) = 94*v + 394. Does 15 divide d(29)?
True
Let t be (-105)/(((-1)/2)/(11/33)). Suppose -t = -10*d + 5*d. Does 14 divide d?
True
Let b = -164 - -92. Is 43 a factor of (8/(-6))/(1/b)?
False
Let n be (-175)/4 + (-1)/4. Let x be (-33)/n + (-13)/(-4). Let i(p) = 17*p - 2. Does 22 divide i(x)?
True
Let d be ((-44)/(-6))/((-2)/(-9)). Let w = 48 - d. Does 15 divide w?
True
Suppose -2*o + d - 409 = -1631, -4*d + 1202 = 2*o. Does 21 divide o?
True
Suppose -2*o = -8*o + 1512. Let x = -142 + o. Is 21 a factor of x?
False
Does 19 divide (-1 - -9)/((-106)/(-3604))?
False
Let o(g) = g**2 - 8*g + 2. Let v = 30 + -21. Is 2 a factor of o(v)?
False
Let f(t) = t**3 - t**2 - t + 163. Let j be f(0). Let o be 118 + 3/(33/(-55)). Let r = j - o. Is 13 a factor of r?
False
Suppose 0 = 2*q + 10, 4*q = -2*i + 53 + 49. Does 2 divide i?
False
Let l(g) = g**3 - 4*g**2 - 4*g. Let c be l(5). Suppose 1 = c*f - 39. Let y = 31 - f. Is y a multiple of 19?
False
Suppose -24 = -7*i + 3*i. Suppose -22 = -2*z - p, -4*p = 2*z - 16 - i. Let a = 27 - z. Does 15 divide a?
False
Let d(u) = 41*u**3 - 2*u**2 + 4*u - 3. Let v be d(2). Suppose 0 = q + 4*q - v. Suppose 82 = 2*t - 4*z, -4*z = t - 0*z - q. Is t a multiple of 14?
False
Does 7 divide 4 - 20 - -7 - -270?
False
Let p(a) = -a**2 - 6*a + 1. Let g be p(-6). Let r be 1*(5 - 4) + g. Suppose -r*j + 5*j - 198 = 0. Is j a multiple of 11?
True
Let t(x) = 4*x**2 + 7*x + 11. Does 38 divide t(-11)?
True
Suppose -2*p + 0*n = 3*n - 983, 5*n = -5*p + 2455. Is 70 a factor of p?
True
Let q(f) = -f - 2. Let o be q(-5). Suppose x + 6 = 2*i, 4*x = o*i - i - 12. Suppose -i*v + 71 = 3. Does 17 divide v?
True
Let q(i) = 93*i**2 + 22*i + 64. Is q(-6) a multiple of 16?
True
Suppose -43*c = -37*c - 1152. Is c a multiple of 96?
True
Suppose -1 - 2 = -k. Let w = -6 + k. Does 3 divide (8 - 0) + w/1?
False
Let f = 52 - 38. Is (-6)/(-4)*(64 + f) a multiple of 27?
False
Let c(p) = 36 + 73*p - 221*p - 11. Is c(-2) a multiple of 14?
False
Suppose -6*s = -3*s - 60. Suppose -4*m + s = -32. Does 13 divide m?
True
Suppose 0 = -2*d + d - 216. Is (-28)/(-70) + d/(-10) a multiple of 2?
True
Suppose 340 = 10*x - 380. Does 8 divide x?
True
Let i = 140 - -119. Let u = i + -145. Is u a multiple of 38?
True
Let z(c) = 3*c**2 + 55*c + 57. Is 11 a factor of z(-25)?
False
Suppose 0 = -a - 16*a + 323. Is a a multiple of 3?
False
Suppose -4*l + 24 = -3*m - m, 3*l = -3*m. Suppose -l = j - 4. Does 11 divide ((-66)/(-9))/j*3?
True
Suppose 16 = -3*o + 175. Suppose 6*q - o = 847. Does 50 divide q?
True
Suppose 5*z - 96 = 2*z. Let f = z - 8. Is f a multiple of 12?
True
Let j be (12/(-4) - -5) + 65. Let u = j + -6. Suppose 3*s + 3*b = 171, -s + 5*b = 2*b - u. Does 33 divide s?
False
Let m(k) = -8*k + 34*k - 1 - 1. Let q be (1/(-4))/(18/24)*-3. Is 11 a factor of m(q)?
False
Is (63/(-9) - -6)*-1047 a multiple of 52?
False
Let b = -1 + 6. Let z = -2624 + 2648. Let w = z - b. Is w a multiple of 3?
False
Suppose 3*l + 4 = -20. Is l/(-12) + (-178)/(-3) a multiple of 5?
True
Let c = 9 - 7. Suppose -c*q + 6*q = 12. Let m(u) = -u**3 + 2*u**2 + 5*u - 4. Is m(q) a multiple of 2?
True
Let k(x) = 170*x - 167. Is k(5) a multiple of 23?
False
Suppose 0 = 6*b - 2*b - 84. Is 3 a factor of -1 + -2 + -3 + b?
True
Let o = 42 + -36. Suppose d - 9 = -o. Does 3 divide d?
True
Suppose -5 = -d - 2*i, 0*i - 3*i - 10 = -2*d. Suppose 0 = -h - 4*r - 24 + 127, -d*r - 130 = -h. Is h a multiple of 16?
False
Suppose -2 + 164 = 6*i. Is i a multiple of 9?
True
Let j = -122 - -231. Let q = -63 + j. Does 23 divide q?
True
Suppose 3*p - 6 = 3*m - 4*m, 2*p - 4 = 0. Suppose m = 6*a + 653 + 373. Let b = a + 261. Does 24 divide b?
False
Let x(l) = 76*l**2 + 7*l + 12. Is 38 a factor of x(-2)?
False
Let n = 563 - 523. Does 10 divide n?
True
Let a(v) = -3*v**2 + 6*v + 16. Let o be a(6). Is 16 a factor of (1 - -24) + (o/(-7))/(-8)?
False
Let g be (1/3)/(1/12). Let a = -5 + g. Is (119/28)/(a/(-8)) a multiple of 13?
False
Let s(d) = 4*d**2 + 25*d - 3. Let y(b) = -13*b**2 - 74*b + 8. Let t(u) = -7*s(u) - 2*y(u). Is t(-12) a multiple of 5?
False
Suppose -5*d + 2*d = z - 19, -d - 3 = -2*z. Let k(n) = -1 + 3*n - n**3 - 143*n**2 + 286*n**2 - 138*n**2. Does 9 divide k(z)?
True
Is (540/(-24))/(2/24*-2) a multiple of 18?
False
Let n(l) = l**2 + 13*l + 32. Let o be n(-13). Suppose -8*q + 360 = o. Is q a multiple of 4?
False
Suppose 0 = 5*l - 0*b + b - 1393, -4*l = -2*b - 1106. Does 19 divide l?
False
Let d be 4 - (-4 - (10 + -3)). Does 10 divide d/(-3)*47/(-5)?
False
Suppose -2*z + 11 = -5*d - 3, -2*z + 10 = -3*d. Let m(s) = s**z - 3*s + 4*s + 44 + 18. Is 13 a factor of m(0)?
False
Suppose -286*c = -294*c + 10864. Is c a multiple of 13?
False
Suppose -8 + 0 = -2*c. Let j(i) = -5*i**2 - 8*i + 1. Let x(v) = 9*v**2 + 15*v - 3. Let l(f) = c*x(f) + 7*j(f). Does 11 divide l(6)?
True
Suppose 5*l + 14 = -1. Let g be -5 - -3 - l - -131. Suppose -4*q + g = -0*q. Is 11 a factor of q?
True
Suppose -4*s = -7*p + 12*p - 3589, 5*s = p + 4479. Is s a multiple of 59?
False
Suppose k = -k + 5*z + 390, -k - 5*z = -165. Does 37 divide k?
True
Let n = 393 - 1012. Let d = -370 - n. Is 15 a factor of d?
False
Let y(r) = 4*r**2 + 2*r - 1. Let m be y(2). Suppose -3*f + 5 = -1. Suppose 9 + m = f*t. Is 8 a factor of t?
False
Let v(h) = 12 - 7*h - 4*h + h. Is 4 a factor of v(-2)?
True
Let c(t) = -14*t**3 - t**2 + 38*t + 12. Is c(-6) a multiple of 66?
True
Let w be 0/(-15) - (1 + -145). Suppose 9*j - 6*j - w = 0. Is 12 a factor of j?
True
Let q(s) = 27*s**2 - 5. Is q(-2) a multiple of 8?
False
Suppose -6*b = -485 - 31. Suppose 2*g - 34 = 3*l - l, 2*l = -4*g + b. Does 2 divide g?
True
Let v(b) = b**2 + 22*b**3 + 6*b**3 - 6*b**3 + 3*b**3. Does 21 divide v(1)?
False
Let c = -1221 - -2046. Does 53 divide c?
False
Let c(x) = 10*x**2 - 24*x + 61. Does 5 divide c(5)?
False
Let t(y) = y**2 + 21*y + 23. Let g be t(-20). Suppose g + 25 = c. Is c a multiple of 13?
False
Let r(f) = f**2 - 1. Let z(o) = -113*o**2 + 4*o - 4. Let q(c) = -r(c) - z(c). Is 7 a factor of q(1)?
False
Suppose 387 = 4*p - 3*h, -2*h - 507 = -5*p - 6*h. Suppose 4*w = -5*g + 86 + p, 0 = 3*g + 3*w - 111. Is 7 a factor of g?
False
Let p = 80 - 77. Suppose -x = 4*s - s - 19, -p*x + 17 = -s. Is 6 a factor of x?
False
Suppose 3*b + 321 = 4*p - p, -b - 315 = -3*p. Let n = p + -73. Is 18 a factor of n?
False
Suppose -5*t + 2*k - 218 = -2*t, -69 = t + 3*k. Let d = t + 113. Does 15 divide d?
False
Let w(h) = 525*h**3 + 2*h**2 - 1. Let y be w(-1). Is (y/12)/1*(2 + -5) a multiple of 13?
False
Suppose 11005 = 9*q + 3328. Is q a multiple of 83?
False
Suppose 4*g - 13195 = -25*g. Is g a multiple of 5?
True
Suppose -64*o = -67*o - 18. Let s(u) = -7*u - 36. Does 6 divide s(o)?
True
Let a(f) = 350*f**2 - f + 1. Let p be a(-1). Suppose 2*y = -44 + p. Suppose 0 = -5*h - 2*h + y. Is 22 a factor of h?
True
Let m(p) = -4*p - 54. Let u be m(-14). Suppose -u*w + 45 = -27. Is 18 a factor of w?
True
Suppose 5*m + 5*r = -0*