
Suppose 8*p - 129 = 159. Let i = p + 55. Is i a multiple of 28?
False
Suppose -8*y + 11995 = -93797. Is y a multiple of 73?
False
Suppose 13570 = 3*l - 33770. Does 270 divide l?
False
Let f(y) = 31*y - 25. Let d = 281 - 177. Let o = -100 + d. Is 35 a factor of f(o)?
False
Suppose -53*o + 54*o = -t + 5321, -5*t - 10593 = -2*o. Is o a multiple of 82?
False
Suppose 17*m - 85897 + 48803 = 0. Is 3 a factor of m?
False
Suppose -5*u + 4*k = -55, -5*k = -4*u + 28 + 25. Suppose 875 = 5*l - 5*w, u*l - 869 = 2*l - w. Is 14 a factor of l?
False
Suppose -4842 = -10*f + 7*f. Suppose -4*w + 4 = 0, -3*n - 4*w + f = -604. Is 18 a factor of n?
True
Let u(m) = m**3 + 9*m**2 - 7*m + 7. Let f be u(-7). Let r = f - 10. Suppose -r = 3*i - 6*i. Does 16 divide i?
True
Let k(t) = -2*t**3 + 4*t**2 - 3*t - 6. Let f = 45 + -23. Suppose 11*s = -f - 11. Is 32 a factor of k(s)?
False
Suppose -3*b = 4*k, 5*k = -4*b + 1 - 2. Suppose k = -5*x - 2. Let u = x + 25. Is 8 a factor of u?
True
Let m(h) = -30*h**3 - 30*h**2 - 14*h - 7. Does 26 divide m(-3)?
False
Suppose 4*q = 7*y - 4*y - 1041, -q = y - 354. Suppose 33*r = -4*r + 8547. Let z = y - r. Is 15 a factor of z?
True
Suppose -6*o + o + 18 = -3*f, -3*o - 5*f + 4 = 0. Suppose 0*q = q + 2*y - 19, q = o*y + 14. Is q a multiple of 2?
False
Suppose -30*h = -34*h - 2*s + 306, 5*h - 350 = 4*s. Suppose -5*n - h = -2684. Is 5 a factor of n?
False
Suppose 8*r = -36 - 4. Let g(l) = -2*l**3 - l**2 + 14*l - 10. Is g(r) a multiple of 6?
False
Suppose 4*w = 4*z, 0*z + 4*w = 2*z - 10. Let y be (-30)/20 + (-2)/(-4) - z. Suppose -2*v + 3*s + 145 = 0, -4*v + 189 = y*s - 151. Does 10 divide v?
True
Let s = -18875 - -32571. Is s a multiple of 45?
False
Is 2 a factor of 322/(-5635) + 496584/70?
True
Suppose t + t = 704. Suppose -t*v + 1076 = -351*v. Does 19 divide v?
False
Suppose z + 4*v - 5895 = 0, -3*z + 92*v + 17613 = 95*v. Is z a multiple of 84?
False
Let h = 110 + -104. Does 10 divide 139 + 2/(h - 0 - 4)?
True
Let b = -22 - -24. Suppose 2*v = b*w - 2*v, 0 = 2*v + 6. Let k(c) = -c**3 - 6*c**2 - 8*c - 11. Does 37 divide k(w)?
True
Let a(q) = 5*q**3 + 38*q**2 - 17*q - 41. Is a(14) a multiple of 99?
True
Let f(d) = -17*d - 32. Let g(m) = -m**3 + 4*m**2 - 3*m + 2. Let z be g(2). Let s(t) = -4*t - 8. Let a(b) = z*f(b) - 18*s(b). Is 5 a factor of a(7)?
False
Let x(n) = n**3 - n**2 + n - 1. Let l(t) = t**3 + 8*t**2 + 4*t - 6. Let f(j) = l(j) - 2*x(j). Let c be f(10). Suppose -c = -7*i + 236. Is i a multiple of 12?
True
Let f(n) = n**2 - n - 1. Let p(g) = -8*g**2 - 8*g + 19. Let d(c) = -6*f(c) - p(c). Suppose 2*m - 4 = 4*m, -5*i - 67 = m. Does 13 divide d(i)?
True
Is 16 a factor of -10 - ((-11008)/80 + 4/(-10))?
True
Is ((1 - -9) + 22271)/(9 - 6) a multiple of 33?
False
Let f be 0 - -5 - 110/(-1). Let b = 85 - -35. Let i = b - f. Is 2 a factor of i?
False
Let t(y) = 8793*y + 28 - 8769*y + y**2 - 6*y**2 - y**3. Is 9 a factor of t(-9)?
False
Let v be 4005/(-25) + 1/5 - -3. Let q(r) = -r**3 - 18*r**2 + 7*r - 33. Let x be q(-17). Let z = v - x. Is z a multiple of 13?
False
Let c = 120 - 105. Suppose -c = -4*x + 9*i - 4*i, -17 = -3*x - 2*i. Suppose x*m = g + 263, -7*m - 2*g = -11*m + 214. Does 13 divide m?
True
Let l(t) = -3*t - 31. Let w be l(-15). Is -1 - w/(-10) - (-136)/10 a multiple of 7?
True
Let k(s) = 24*s**2 + 114*s - 350. Is 290 a factor of k(39)?
True
Let c(y) be the second derivative of 3*y**5/20 - 7*y**4/6 + 2*y**3 + 37*y**2/2 + 26*y. Is c(7) a multiple of 7?
False
Let o(w) be the first derivative of -w**3/3 + 11*w**2 + 15*w + 32. Let n(i) = 2*i**3 - 3*i**2 - 4*i. Let u be n(3). Is o(u) a multiple of 15?
True
Does 79 divide (1580/(-14))/(76/(-6916))?
True
Suppose -2*v + 3 = 2*h - 7, 0 = -2*h + v + 7. Suppose r - 2*k + 11 = 0, -2*r + h*k - 26 = -k. Is 3 a factor of (44 + -10)*r/(-6)?
False
Let a(x) = -2*x**3 + 51*x**2 - 24*x + 7. Does 4 divide a(21)?
True
Suppose -2*q + 308 = 4*o, 11*o + 332 = 2*q + 9*o. Is 11 a factor of q?
False
Let m be (-4)/14 - (-90)/70. Let i be m*2 - 106/4*-2. Let l = 82 - i. Is l a multiple of 27?
True
Let k(y) be the third derivative of -y**6/120 - y**4/24 + 12*y**3 + y**2. Let m be k(0). Suppose 0 = -v + r + 33 - 5, -3*v - r + m = 0. Is 21 a factor of v?
False
Let t = 10005 - 5424. Does 56 divide t?
False
Suppose 138*t - 54*t - 2446327 = -450151. Is 26 a factor of t?
True
Let j be 336 + (1 - (-4)/(-4)). Suppose j = u - 16. Does 15 divide u?
False
Let z be (-6 - -6)*((-21)/(-6) - 3). Suppose 11*v = 6*v - q, 3*v - 4*q = z. Suppose v = 2*l + 2*r - 156, -3*l = -0*l + 2*r - 233. Is l a multiple of 7?
True
Let h be 11896/12 - ((-16)/(-8))/6. Suppose 7*y + 431 = h. Is y a multiple of 8?
True
Suppose -5*v + 82*v - 220309 = 465453. Is 15 a factor of v?
False
Let n(h) = -27*h**2 + h**3 + h - 28*h**2 + 59*h**2. Let b be n(-4). Does 5 divide 4 + b - (-15 + -5)?
True
Let z(t) = -1 - 10 - 7 + 3*t + 5*t + t**2. Let g be z(-10). Suppose -g*s - 550 = -7*s. Is s a multiple of 14?
False
Let g(a) = 61*a**2 + 4*a - 4. Let d be g(1). Suppose -5*t = 2*v + 68, -v - 1 - 31 = 2*t. Let j = v + d. Is 15 a factor of j?
False
Let w(u) = -158*u - 26. Let l(i) = 160*i + 27. Let q(d) = 5*l(d) + 6*w(d). Does 30 divide q(-3)?
False
Let q be (5/(-15))/(1/(-9)). Let u be (-16 - -15) + (q - -1 - 0). Suppose -2*h + 77 = 3*h + 2*m, u*m - 22 = -2*h. Is 5 a factor of h?
False
Let z = 6534 + -5087. Is 47 a factor of z?
False
Suppose -2*z + 13 = 3*u, 17 = 5*u + 3*z - 4. Suppose 0 = 4*p - 8, -u*j + 3969 = -2*p - p. Is j a multiple of 53?
True
Suppose -16677 = -3*g + w, g + 8*w - 9*w = 5561. Does 14 divide g?
True
Let w(n) = -3*n**3 + n**2 + 3*n + 1. Let q be w(-1). Suppose -43 = -q*u + 121. Let x = u - 42. Does 10 divide x?
True
Let j = 0 + 4. Let k(f) = 11*f - 9. Let r be k(j). Let h = 41 - r. Is 4 a factor of h?
False
Let k = -102 + 107. Suppose -2*v - 99 = -t + 107, 975 = k*t + v. Does 3 divide t?
False
Let x(w) = 35*w + 2. Let f be x(3). Let g = f + 4. Suppose 0 = 4*s + s - i - 203, -3*s + g = 3*i. Is s a multiple of 10?
True
Let u be -1 - 0 - -2 - 242. Let o = 102 - u. Suppose 5*z + o = 3*x - 0*z, 2*x = 2*z + 234. Is 12 a factor of x?
False
Let v be 363/5 - (6 + (-160)/25). Suppose v*h - 70*h - 1599 = 0. Is 31 a factor of h?
False
Let j(b) = -15*b**3 + 2*b + 3. Let a be j(-1). Suppose 4*n - 14*f + a*f = 1256, 3*n - 2*f = 949. Is 9 a factor of n?
True
Does 5 divide 2/(54/(-6) - 20297/(-2255))?
True
Suppose 23*c - 5856 = 10405. Suppose t = -2*r - 987, -2*t - 510 = r - 7*t. Let b = c + r. Is b a multiple of 31?
False
Let i(r) = r + 3. Let a be i(1). Let j be 24/(3 - 18/a). Is 18 a factor of (-225)/10*j/10?
True
Let i be 24/36 - (8/6)/(-1). Is 4 a factor of i + 2 - (-8 + 10 + -154)?
True
Is 2/3*9*(3592140/36)/23 a multiple of 19?
True
Is 18 a factor of 2096052/44 - 744/1364?
False
Let r = 14838 + -11858. Is 242 a factor of r?
False
Suppose 0 = -5*a - 7 - 3. Let c be a/((-3)/2*(-4)/(-9)). Suppose 0 = -c*k - 0*n + 3*n + 342, -459 = -4*k + 3*n. Does 24 divide k?
False
Let x(p) = 2*p - 4 - 42*p + 0. Let b be x(4). Let h = b + 355. Does 42 divide h?
False
Is 7327110/1150 + ((-8)/(-5) - 1) a multiple of 10?
False
Suppose 151*z - 7382896 = 45*z - 30*z. Does 152 divide z?
False
Let z = -699 + 106. Let m = z - -731. Does 9 divide m?
False
Suppose -580152 = 260*u - 284*u. Is 35 a factor of u?
False
Let d = 6113 + -5542. Does 95 divide d?
False
Does 13 divide -401 - -397 - (-7363 + 1/1)?
True
Let t = -24996 + 53004. Does 231 divide t?
False
Suppose 2*g = 425 + 133. Let r be 9/(12/136*6/9). Suppose 4*u - r = g. Is u a multiple of 27?
True
Let y = 386 + -386. Suppose -4 = 2*p - 6, y = 4*q - 3*p - 2269. Does 28 divide q?
False
Suppose 3*x - 3*d = 8*x - 14362, 20 = 5*d. Does 70 divide x?
True
Suppose 9*d = 3137 - 779. Suppose -d - 533 = -g. Does 15 divide g?
True
Suppose 0 = 13*v + 3*v - 6480. Is 18 a factor of 1 + v - (0 + -3)?
False
Let t = -487 - -478. Let a(b) = 10*b + 35. Let k(f) = -f - 1. Let y(q) = -a(q) - 6*k(q). Is 4 a factor of y(t)?
False
Suppose -82 = 2*u + 2. Let j = u - -30. Is 1/(-3) - (2 + 316/j) even?
True
Let k be 3 - (5 + -7)*5/(-2). Let f(b) = 27*b**2 + 2*b - 2. Let z be f(k). Suppose z + 98 = 4*i. Is 30 a factor of i?
False
Suppose -40*o - 1118 = -1313 - 7125. Does 3 divide o?
True
Let f(i) be the third derivative of 11*i**5/60 - i**4/2 + 7*i**3/6 