f 6?
True
Suppose -2*f + k - 1802 + 6954 = 0, 4*f + 2*k - 10312 = 0. Is f a multiple of 15?
False
Is 20 a factor of (-179)/(-1790) - 289598/(-20)?
True
Let g be (-128)/96 + ((-7324)/6)/(-2). Let l = -322 + g. Is l a multiple of 26?
False
Let h(m) = 4*m**2 + 15*m - 39. Suppose 5*y - 3*y = -4*l + 24, -y = 5*l - 21. Is h(y) a multiple of 65?
True
Let f(x) = x**3 + 3*x**2 - 2*x + 6. Let h be f(-4). Does 3 divide (h/6)/(1/(-1503)*3)?
False
Does 7 divide 110/10 + (-8)/2 + 14725?
False
Suppose 3*b - 408 = 4*g + 6982, 0 = -4*b - 2*g + 9868. Does 18 divide b?
True
Let m be (-1082)/(-22) + ((-42)/(-11) - 4). Suppose -7*h + m = 21. Suppose -h*f - 5*f + 369 = 0. Does 23 divide f?
False
Let h = 9 + -7. Suppose -12 = h*w + w. Is 2/w + 3*(-122)/(-12) a multiple of 10?
True
Let n(r) = 103*r**2 - 60*r + 326. Does 9 divide n(5)?
True
Suppose -4*u - 3*s + 2587 = -2*s, s = -5. Suppose w = -2*q + u, -10*w + 11*w - 4*q - 660 = 0. Is w a multiple of 56?
False
Is 69 a factor of 2935653/77 - 120/330?
False
Suppose -3555 = 2224*d - 2229*d + 1145. Is d a multiple of 19?
False
Let z be (-118)/(-7)*(-56)/(-32)*24. Suppose 0 = -2*l + 4*p + z, -3*l - 4*p + 1175 = 153. Does 28 divide l?
False
Suppose 29*o + 64 + 255 = 0. Let n(q) be the first derivative of q**3/3 + 11*q**2/2 + 6*q + 3. Is n(o) a multiple of 6?
True
Let s(t) = 6*t - 48. Let p be s(0). Let b = p - -50. Suppose -b*c - z = -224, 3*c + 3*z = 176 + 154. Does 14 divide c?
False
Suppose 3*d - 13 = 5*u + 9, 0 = -u + 5*d. Suppose 9*k - 7*k = 2*r - 14, 2*r + 4*k = -10. Is 31 a factor of (u + 4)*r + 34?
True
Suppose -5*s - 5*b + 2581 = -839, -b - 674 = -s. Suppose -1544 = -9*a + s. Does 19 divide a?
True
Let g(f) be the first derivative of -77*f**4/4 + f**3/3 - f**2 - 3*f + 1. Suppose 0 = -j + 2*i + 1, -4*i = -36*j + 40*j + 8. Is 29 a factor of g(j)?
False
Let r = -31202 - -34376. Does 3 divide r?
True
Let h(f) = 3*f - 1. Let m be h(-2). Suppose 7194 = 17*z + 4724 - 6166. Is 11 a factor of m/(-21) - z/(-6)?
False
Let o = 2 + -6. Let m(x) be the second derivative of 5*x**4/12 + 13*x**3/6 + 3*x**2/2 - 6*x + 18. Is m(o) a multiple of 11?
False
Suppose -4*k = 3*w - 16631, 11*w - 2*w + 8263 = 2*k. Is k a multiple of 26?
False
Suppose -2*a = 7 + 3. Let q(n) = 6*n + 26. Let t(j) = -j**2 - 6*j - 33. Let u(r) = -6*q(r) - 4*t(r). Is 8 a factor of u(a)?
True
Let s = 206 - 204. Suppose -s*f + 676 = 2*u, 2*f = -f - 5*u + 1018. Is 21 a factor of f?
True
Does 64 divide -4*(-1)/(-28) - (-80645)/35?
True
Suppose 674 = 12*g - 7330. Is 5 a factor of g?
False
Let f = 576 + -565. Suppose -29*h + f*h = -8064. Does 32 divide h?
True
Is 20 a factor of 3 + (-37578)/(-4) + ((-9)/(-2))/9?
False
Does 22 divide (40520/(-2))/(-8 + 9 - 3)?
False
Suppose k = 5*u + 48, -36*u + 37*u + 172 = 3*k. Is k a multiple of 9?
False
Let o(k) = -6*k**2 + 27*k + 14. Let r be o(5). Does 90 divide r/4 + (-13587)/(-12)?
False
Is (-105)/((-31 + 25)*3/60) a multiple of 25?
True
Suppose 15*o = 11*o. Suppose -8*r + 207 + 273 = o. Is r a multiple of 15?
True
Does 63 divide ((-2511)/(-15))/(-17 + 7774/455)?
True
Let x(s) = -198*s - 195*s + 5 + 35*s**2 + 395*s - 3. Does 14 divide x(-1)?
False
Let b be -16 + 9 + (-11 - -6). Is 41 a factor of (-13896)/(-32) + (-9)/b?
False
Suppose 0 = -3*p + 6*r + 33918, -3*p - 3*r + 33928 = -4*r. Is 14 a factor of p?
False
Let i be (2 - (-8)/(-4) - -2)*6. Let b be 1/(-3*4/i) + 4. Is 21 a factor of (-244*b/2)/((-45)/30)?
False
Suppose -4*s - 3208 = -5*s. Is s a multiple of 78?
False
Let v = -164 - 34. Let j = v - -296. Does 6 divide j?
False
Let o be 5*9 - (-3 + 3). Let z be o/12*-2*(-116)/6. Suppose 2*x = 5*b + z, 2*b - 5*b = x - 67. Is 12 a factor of x?
False
Let p = -235 - -4783. Does 91 divide p?
False
Suppose 31*g + 12 = 28*g. Is (-44 + 46)/(g/(-366)) a multiple of 17?
False
Let q be 1 + 2500 - (-2 + 10 + -11). Suppose 0 = -32*r + 2232 + q. Is 2 a factor of r?
True
Let h(w) = 7*w - 200. Let f be h(29). Suppose 5*j = -y + 1189, 5*j + 1917 = f*y - 1730. Does 66 divide y?
False
Let i(m) = m**3 - 124*m**2 - 504*m + 394. Is i(130) a multiple of 160?
False
Let i(l) = l**3 - 3*l**2 - 2*l - 1. Let o be i(7). Let b = 256 - o. Suppose 0 = 3*m - y - 53, 0*y - 3*y = 4*m - b. Is 15 a factor of m?
False
Suppose 0 = 2*y - 4, 3*t - y = -2*y + 68. Suppose -15*l + t = -8. Is 5 - 4/l - (-3 - 96) a multiple of 11?
False
Let j(v) = v + 26. Let w be j(-26). Suppose w = 3*p - 229 - 125. Does 3 divide p?
False
Let m(n) = -n**2 - 10*n + 13. Let q be m(-10). Suppose q*a = 3*a + 30. Suppose -2*i + 3 = -5*i, -4*u = a*i - 277. Is 10 a factor of u?
True
Suppose 3*k = 6*k - 62*k + 397896. Is k a multiple of 8?
True
Let y(c) = -c**3 - c**2 + 3*c + 18. Let u be y(-4). Suppose 0 = -u*b + 59*b - 2465. Is 29 a factor of b?
True
Suppose -208*l = 155412 - 921476. Does 32 divide l?
False
Let a(k) = -11*k + 84. Let f be a(29). Let h = 216 - f. Does 41 divide h?
True
Does 23 divide -2*(-2)/(-52) - ((-2804755)/65 - -4)?
False
Let g(l) be the third derivative of l**6/60 + 9*l**5/20 - 2*l**4/3 + 7*l**3/3 - 12*l**2 + 2*l. Is 3 a factor of g(-14)?
True
Let q(o) = 15*o**3 - 22*o**2 + 98*o - 26. Is 3 a factor of q(4)?
False
Suppose -93*m - 141244 + 1227954 = -230356. Does 97 divide m?
True
Let o(x) = x + 1. Let u(l) = -61*l - 33. Let r(t) = -4*o(t) + u(t). Let s be r(-4). Is 44 a factor of (-30)/10 + (s - (1 - 1))?
True
Let l(a) = a**3 - 18*a**2 - 19*a. Let z be l(19). Suppose 4*h = z, -2*h - 114 - 400 = -i. Does 3 divide i?
False
Let y = 56844 + -28548. Is y a multiple of 72?
True
Let l be (12/(-15))/((-42)/105). Is -1 + -2 - (-857 - 5 - l) a multiple of 16?
False
Let k(g) = -220*g**3 - g**2 + g + 2. Let s be k(-1). Let z = -19 + s. Is z a multiple of 35?
False
Is 2 a factor of (-22)/(-1*(1 - (-15)/(-18)))?
True
Let t(n) = n. Let m(r) = -139*r - 1. Let z(c) = -m(c) + 4*t(c). Is z(2) a multiple of 41?
True
Suppose 0*v = 5*k - v - 23, 5*v + 23 = 2*k. Suppose k*m = 3*p - 1524, -4*m = 8 + 4. Is p a multiple of 63?
True
Let u(r) = 11*r**2 - 72*r - 44. Is 55 a factor of u(11)?
True
Suppose 3*j - 264 = -8*j. Suppose -7*s = -19*s + j. Suppose 0 = -7*k + s*k + 50. Is 4 a factor of k?
False
Let y(l) be the second derivative of l**4/12 + 2*l**3/3 + 4*l**2 + l. Suppose 0*r + r + 3 = -s, -2*s = 4*r. Is 7 a factor of y(s)?
False
Suppose a - 304*g + 308*g = 15906, -4*g = -3*a + 47622. Does 57 divide a?
False
Let v be 3/((-39)/65*(-1 + 0)). Suppose v*m - 23 + 13 = 0. Suppose -5*n + 4*g = -0*n - 259, 0 = -2*n + m*g + 104. Is 17 a factor of n?
True
Let v(j) = j**3 - 11*j**2 + 9*j - 37. Let t be v(11). Let d = t - 3. Is 7 a factor of d?
False
Let t = 13736 - 6167. Is 19 a factor of t?
False
Let k = -400 - -738. Let p be ((-112)/6)/(2/(-24)). Let h = k - p. Does 15 divide h?
False
Let d be ((-20086)/(-4316) + (-4)/26)*2/(-3). Let c(m) = -6*m**3 - 5*m**2 - 3*m - 2*m - 3 - 3*m**2. Is 11 a factor of c(d)?
False
Suppose -61*p + 900 + 594 - 213 = 0. Is p a multiple of 9?
False
Suppose 5*o = 6*o - 12. Suppose -o*a + 15*a = 207. Suppose 0 = -3*r - a + 324. Is r a multiple of 13?
False
Suppose 5*d - 38 = 57. Let x = d - 19. Suppose -f - 3*m = -x*f + 3, 2*f = 3*m + 21. Does 2 divide f?
True
Suppose 0 = 120*y - 112*y + 72. Let q = 20 - y. Is q a multiple of 2?
False
Let h(g) = 5*g**2 + 7 + 10 - 3*g + 6*g - 4*g. Let m be h(6). Suppose -4*s = -2*s + 5*u - m, 2*s - u = 173. Is 4 a factor of s?
True
Suppose -2*b + 32 = -g + 196, -g + 3*b + 167 = 0. Suppose 2*o = -i + 224, -o - 78 = -i + g. Is 9 a factor of i?
False
Suppose -2*p - 4 + 10 = 0. Suppose -p*w - 23*w = -4238. Is w a multiple of 88?
False
Let s be (2 + 0)*(-3)/2*-1. Suppose -15*p + 5670 = s*p. Does 19 divide p?
False
Let y(l) = -l**2 - 5*l + 52. Let t be y(5). Suppose -68 = -t*k - 10. Does 23 divide k?
False
Let a(j) = j**2 + 4*j + 5. Let x be a(-3). Let v be (11 - x) + -12 + 12. Let o(h) = -2*h**2 + 22*h - 3. Does 20 divide o(v)?
False
Suppose -2*p = -u + 34, 6*u - 5*p = u + 185. Suppose 0*g - 2*g - 84 = -2*b, -b + 67 = 4*g. Suppose 4*l = -3*s + u, 3*s = -l - 1 + b. Is s a multiple of 16?
True
Let v = 261 + -76. Suppose 23 + v = 4*f. Is f a multiple of 26?
True
Suppose 8*u - 4*u - 3*v - 33 = 0, -2*v = -2*u + 18. Suppose -7*c = -972 + u. Does 23 divide c?
True
Does 3 divide (-189070)/(-22) - -4 - (-2)/(-22)?
True
Suppose -4*a - 1235 = -m, 3*a + 955 = -0