 29285. Does 104 divide i?
False
Suppose -31*j - 77 = -38*j. Suppose -j*n + 3*n = -784. Is n a multiple of 7?
True
Let w(u) = -u + 50. Let a be w(-14). Suppose 15*n - a = 7*n. Does 13 divide -3*(-4)/n*118?
False
Let p = 337 - 567. Let x = p - -112. Let n = 57 - x. Is 25 a factor of n?
True
Suppose 3*b - 2*a = -71 - 177, -5*b - 405 = -5*a. Let o(d) = -2*d**2 - 2*d - 2. Let f be o(-2). Is 32 a factor of b/(-1) + 2/f*3?
False
Suppose 2*n - 2 = 4, 3 = -3*i + n. Suppose -4*l + i*l - 2*b = -12, -4*b = -8. Is -5*(l - 4)/2 even?
False
Suppose -5*r = -2*w - 17, -7 = -2*r + 5*w + 4. Let v = -1046 + 1051. Suppose 0 = -5*a + 3*d + 215, -v*a + r*a + 3*d + 95 = 0. Does 8 divide a?
True
Suppose -86783 - 117771 = -19*s. Is 3 a factor of s?
False
Suppose -5*t - 15 = 0, -27*a + 32*a + 2742 = t. Let d = a - -790. Does 11 divide d?
False
Let j = -8277 - -16399. Does 16 divide j?
False
Suppose 5*o - 16*s = -11*s - 920, -3*o + 2*s - 550 = 0. Is 98 a factor of (-8)/(-3)*(-68523)/o?
False
Let d(x) = -6*x + 6422. Is d(135) a multiple of 8?
False
Let k = 458 - 456. Suppose -4*o + 3618 = -k*i - 2202, -4*o - 3*i = -5820. Does 15 divide o?
True
Suppose 0 = -15*l + 97 - 112. Let t(c) = -3*c + 4. Let w be t(-8). Is (1 + 56)/(l + w/16) a multiple of 13?
False
Let w(j) = 30*j - 3. Let v be w(1). Suppose -4*i + c - 11 = -i, 0 = i - 5*c + v. Does 8 divide (1/i)/((6/68)/(-3))?
False
Suppose 9*m = 87460 - 27367. Does 7 divide m?
False
Suppose 5*i - 30 = 7*i. Let s(b) = -5*b - 28. Let v be s(i). Suppose 42*o = v*o - 530. Is 18 a factor of o?
False
Suppose 12 + 18 = 5*z. Suppose -z*k = 4*k + 330. Is (-1248)/k + 12/66 a multiple of 6?
False
Suppose 15 = 3*n + 4*m, 0 = 2*n - 2*m - 2 - 8. Suppose -4*d + n*i = -656, 0*d - i = -2*d + 322. Is d a multiple of 5?
False
Let b = -32 + 19. Let v = -2636 + 2691. Let u = b + v. Is 14 a factor of u?
True
Let v(i) = -4*i + 80. Let p be v(16). Suppose -11066 + 2330 = -p*z. Does 13 divide z?
True
Let g(h) = -h**2 - 19*h - 33. Let q(m) = -m**3 + 5*m**2 + 5*m. Let v be q(6). Is 7 a factor of g(v)?
False
Let s(m) = 3*m**3 - 31*m**2 + 10*m - 5. Let d be s(10). Let r(a) = -23*a - 53. Is 37 a factor of r(d)?
False
Suppose 24*w - 436439 = 148201. Is w a multiple of 116?
True
Suppose 0 = 2*r + 3*f - 6, -r - f - 2*f = -6. Suppose 10*g - 3867 - 3153 = r. Does 54 divide g?
True
Let o be (245/35 - 26/4)/(1/278). Suppose -4*r - 95 = 345. Let a = r + o. Is a a multiple of 21?
False
Let n(s) = s**2 - 12*s + 8. Let v be n(10). Let l be (-3)/v - (-19)/4. Suppose -4*r = 3*y - 245, -2*y + l*r = -269 + 98. Does 38 divide y?
False
Let w(q) = 4*q - 2. Let n = -36 - -58. Suppose 3*g - n = g + 2*p, 2*g + 2*p = 26. Is w(g) a multiple of 23?
True
Suppose -84*n - 160*n + 1043940 = 137*n. Is 4 a factor of n?
True
Let l be (-3)/18*1 + 295/6. Suppose 0*f - 2*f = -262. Let j = f - l. Is 14 a factor of j?
False
Suppose -3*q + 2*v = -7*q + 16, -4*q - 4*v = -12. Suppose -4*s = -3*n + 46, -2*n + 0*n - q*s = 0. Let z = 91 - n. Is z a multiple of 34?
False
Let f(w) = -2*w**2 + 450*w + 80. Is 7 a factor of f(39)?
True
Is 3 a factor of 5672 + ((-118)/1003)/((-2)/34)?
False
Suppose 36*c = 150528 + 134772. Is 119 a factor of c?
False
Let i(u) = 5*u**3 + 185*u**2 + 33*u + 224. Is 7 a factor of i(-36)?
True
Let j(v) = -v + 3. Let w be j(1). Suppose 6*d - w = 16. Suppose 0 = -d*o + 42 + 84. Is 15 a factor of o?
False
Let n(l) = -l**3 + 13*l**2 - 11*l - 6. Let r be n(12). Suppose -2*g + a - 11 = r*a, 0 = -g + 5*a + 17. Suppose -g = -4*t + 318. Is t a multiple of 16?
True
Suppose m = -4*h - 10, 10*m - 5*m = -5*h - 5. Suppose 4*x + m*a = 4308, -5*a - 2623 = -3*x + 621. Is x a multiple of 11?
True
Suppose -22*r + 87813 = -81543. Does 144 divide r?
False
Suppose 124*c = 57*c + 151554. Does 3 divide c?
True
Suppose h - s + 5 = -3*s, 2*s = -3*h - 23. Let l be -57 + 9*(-3)/h. Let p = l - -102. Is p a multiple of 24?
True
Let r(h) = -15*h - 212. Let z be r(-15). Suppose -z - 7 = 5*c, -c + 362 = 2*j. Is 3 a factor of j?
True
Suppose -2*n + 265 + 545 = 0. Let g = n - 201. Does 34 divide g?
True
Let s(o) = -o**2 + 3784*o + 4 - 3798*o - 34. Let m be s(-11). Suppose -4*t = -5*w + 210, -2*w + 0*t + 84 = m*t. Is w a multiple of 3?
True
Is 5 a factor of 8/(-8)*-342 + 13?
True
Suppose 6*h - 7*h - 5*t = -20, 4 = 3*h + t. Suppose h = -14*a + 103 + 51. Is a a multiple of 11?
True
Let i(f) = 44*f + 1872. Is i(76) a multiple of 32?
True
Let m(y) be the first derivative of 5*y**3/3 - 7*y**2/2 - 4*y + 40. Is 48 a factor of m(7)?
True
Is 8 + (7252 - -5) + 7 a multiple of 11?
False
Is (-9716796)/(-252) + (0 - (-8)/28 - 0) a multiple of 9?
False
Let p(u) = 30*u**2 - 11*u - 763. Does 53 divide p(-20)?
False
Let u(l) = -1451*l**3 - 146*l - 289. Is 4 a factor of u(-2)?
False
Let k be 4/2*(0 + 2). Let s be k/(-16) - 441/(-4). Does 37 divide 4/12 + s/3?
True
Suppose 0 = y + 15699 - 83477. Suppose y = 52*a + 10318. Is 13 a factor of a?
True
Let k = 97 - 92. Suppose 0 = -k*j + 20, -4*r = 3*j - 8*j - 584. Does 8 divide r?
False
Suppose -46*l - 6154 = -21*l - 40404. Does 6 divide l?
False
Let a be -2 - -9 - (1 - 4). Let o(k) = 3*k**2 - 29*k - 24. Let g be o(a). Does 5 divide (21/g)/((-12)/80)?
True
Suppose 4*y = -5*c + 6*y - 23, -5*c - 31 = -4*y. Let t(w) = 4*w**2 + 5*w + 1. Is t(c) a multiple of 2?
True
Let v be 3/5 + 2 + (-164)/(-10). Let h(x) = x**2. Let k(n) = -3*n**2 - 9*n - 17. Let t(r) = 4*h(r) + k(r). Does 53 divide t(v)?
False
Suppose -2*c + y + 152 = 0, -4*y - 199 = -5*c + 181. Suppose -4*v + b + 514 = c, 0 = -5*v - 4*b + 537. Is v a multiple of 9?
False
Let j(d) = 21*d**3 + 2*d**2 - 8*d + 64. Is j(4) a multiple of 22?
True
Suppose -4*q - 9*q - 23*q + 134532 = 0. Is 166 a factor of q?
False
Let f(h) = h**3 + 20*h**2 - 19*h - 50. Suppose -108 = 5*m - 4*y, -5*y - 29 = 2*m + 1. Is f(m) a multiple of 22?
True
Suppose 55 = 8*o - 7*o. Suppose 12 = o*n - 58*n. Does 6 divide n - (4 + -4) - -58?
True
Let u = -463 - -819. Suppose -17*o + 2991 = u. Is 5 a factor of o?
True
Suppose 386 + 178 = -12*d. Let u = d + 127. Is u a multiple of 2?
True
Suppose -3*o = 5*j - 10, 9*j = 4*j + o + 10. Suppose 4*q - 352 = j*w - 4*w, 2*q - 10 = 0. Is w a multiple of 10?
False
Let v(u) = -u**3 + 4*u**2 + 6*u + 8. Let g be v(5). Suppose 0*a - g*a + 3263 = 0. Does 11 divide a?
False
Is 12/((-24)/(-302)) - -14 a multiple of 19?
False
Suppose -13 = -7*p + 8. Let i be -7 - -3 - -5 - (0 - p). Suppose 660 = -g + 5*g + 3*m, -652 = -i*g - m. Is 27 a factor of g?
True
Let n = 57 - 55. Suppose -6 = -q - n*q, -5*q + 343 = 3*s. Is s a multiple of 10?
False
Suppose 0 = 4*z + f - 111, 3*z - 79 = -0*z - 5*f. Is z a multiple of 2?
True
Suppose -17*p + 168968 = -12*p + 3*p. Is p a multiple of 30?
False
Suppose 3*i - 374 = 4*l + 282, 4 = -2*l. Is 18 a factor of i?
True
Suppose -427 - 343 = 7*r. Let d = r + 106. Is 39 a factor of 119 - (4 + 2 + d)?
True
Let v(k) = 2*k + 15. Let u(c) = -2*c - 16. Let f(s) = -4*u(s) - 3*v(s). Suppose 4 = -3*p - 5*z + 5, 33 = -p + 5*z. Is f(p) a multiple of 3?
True
Suppose 5684 = 7*v - 5173. Is 34 a factor of v?
False
Suppose u - 1 = 5*t, 4*u - 34 = -u - 4*t. Is 26 a factor of (-313)/(-2) - 3/u?
True
Suppose 54922 = -21*c + 223027. Does 117 divide c?
False
Let i(s) = -70*s - 2. Let l = 13 - 20. Let x be i(l). Suppose 16 = 3*m - x. Does 42 divide m?
True
Let r be (11/3 - 3)*507. Suppose 5*g - 142 = r. Suppose g = s + 7*s. Does 3 divide s?
True
Suppose 0 = 3*b + 2*i - 66, 4*i + 28 = 2*b - 0*i. Suppose -9*t - b = -14*t. Suppose -t*w + 5 = -3, 2*j - 3*w - 194 = 0. Is 20 a factor of j?
True
Suppose 35*m - 180014 + 7674 = 0. Is 23 a factor of m?
False
Suppose 3*l + 1 = 4. Let d = 12545 + -5537. Does 52 divide d/20 - (3/(-5) + l)?
False
Let s(z) = -34*z + 201. Let v be s(6). Is v/(-8) + (-4980)/(-32) a multiple of 12?
True
Let z(p) be the second derivative of 355*p**3/6 + 25*p**2/2 + p - 23. Is 15 a factor of z(1)?
False
Let u(i) = -30*i - 10. Suppose -4*v - 42 = 3*v. Let q be u(v). Let w = 374 - q. Is w a multiple of 51?
True
Suppose 0 = -8*a + 49*a - 108978. Is 2 a factor of a?
True
Suppose -h = 3 - 5. Suppose 0 = h*z + 44 + 66. Let m = -10 - z. Does 4 divide m?
False
Suppose -184*n + 45936 = -2593744 - 1094968. Does 97 divide n?
False
Let u = -4012 + 19821. Does 9 divide u?
False
Let r(x) = -23*x + 5*x + 22 - 5*x - 3*x. Suppose 2*m = 