f = 52 - i. Is f a multiple of 2?
False
Let t(o) = o**3 - o**2 - 10*o + 1. Let c be t(7). Suppose c = 4*f - 7. Is 13 a factor of f?
False
Suppose -3 = -3*s - m - 4*m, m - 5 = -5*s. Let r be -172*1/(-3 - s). Let q = r + -8. Is q a multiple of 35?
True
Let y(a) be the second derivative of -a**5/20 - 7*a**4/12 - 4*a**3/3 - 9*a**2/2 + 2*a. Let j be y(-7). Let l = j - -4. Is 17 a factor of l?
True
Let b = 295 + 521. Is 14 a factor of b?
False
Let s be (22/(-5))/(-2*1/(-10)). Let i(f) = -f**3 - 23*f**2 - 27*f - 17. Is 31 a factor of i(s)?
True
Let q be -5 + 2 + -1 + -2. Let y(o) = -5*o**3 + 2*o**3 + 4*o**3 + 14 + 8*o**2 + 2*o. Is 38 a factor of y(q)?
False
Suppose -2*b - 14 = -18. Suppose -19 - b = -s. Is s a multiple of 9?
False
Suppose -6*q + 562 = -104. Does 7 divide q?
False
Suppose 0 = -s + 273 + 28. Is 18 a factor of s?
False
Let x(i) = i**3 - 6*i**2 - i + 8. Let z be x(6). Suppose -z*k - 12 = -3*k. Does 5 divide k?
False
Let m = -14 + 14. Suppose m = -4*i + 32. Suppose 2*a = a + i. Is a a multiple of 3?
False
Let t(v) = v**2 + 13*v + 2. Let u be t(-6). Let z(c) = -c**3 + 30*c**2 - 141*c - 24. Let q be z(24). Is 9 a factor of (q/u)/((-2)/20)?
False
Suppose -465 = -r - 4*r. Let q = r + -18. Does 15 divide q?
True
Is 18 a factor of (54/(-4))/(-7 + 5451/780)?
True
Suppose -332*z = -321*z - 1045. Does 20 divide z?
False
Suppose 3*c + 2*n = 19, -5*c + 3*n = -0*c - 19. Suppose -5 = c*h + 5*m, 2*h + 2*h + m - 5 = 0. Suppose 40 = d + d - 2*l, 4*l = -h*d + 70. Does 5 divide d?
True
Let j(w) = 40*w**2 + 7*w - 27. Does 33 divide j(3)?
False
Let t = 350 - 266. Is 12 a factor of t?
True
Let u(x) = -x**3 + 6*x**2 - 4*x + 5. Let l be u(5). Suppose v - l = -v. Suppose v*c - 14 = 46. Is c a multiple of 6?
True
Let a(z) = -66*z + 16. Let y be a(-4). Suppose -3*m - m + y = 0. Is m a multiple of 10?
True
Suppose 102 = -2*c - c. Let n = 48 + c. Is n even?
True
Let s(x) = 3*x**2 + 8*x + 9. Let y(v) = -3*v**2 - 7*v - 8. Let b(a) = -6*s(a) - 7*y(a). Let u be b(4). Is 22 a factor of ((-1*u)/(-2))/1?
False
Does 23 divide ((-414)/(-8))/((-22)/(-616))?
True
Let m be 6/3 + 0 - 35. Let y = 63 + m. Is 13 a factor of y?
False
Let x be 30/(-70) + 24/7. Suppose -x*w - 8 = -4*w. Suppose w = -4*a + 5*a. Is 3 a factor of a?
False
Suppose -3*h + 4 + 17 = 0. Let u(a) = -2*a + 29. Does 2 divide u(h)?
False
Suppose -258 - 162 = -21*p. Does 19 divide p?
False
Let f(o) = -o**3 - o**2 + 4. Suppose 0 = 12*c - 8*c. Is 4 a factor of f(c)?
True
Let y(t) = -t**2 - 19*t + 29. Does 7 divide y(-9)?
True
Let n(y) = -y**3 + y**2 - 2*y + 2575. Is 46 a factor of n(0)?
False
Let v = -8 - -8. Suppose v = -2*l - 0*l - 3*t + 112, -4*t - 204 = -4*l. Let s = l - 29. Is s a multiple of 8?
True
Let b = 1 + -8. Let s(o) = -o**3 - 7*o**2 - 2*o + 1. Let v be s(b). Let y = -3 + v. Does 5 divide y?
False
Suppose a = q + 157 - 17, 2*a - 5*q = 280. Is a a multiple of 8?
False
Suppose -730 = -4*y - 126. Let b = y + -60. Is 7 a factor of b?
True
Let k = 753 - -91. Is 38 a factor of k?
False
Suppose 5*s = 8*s. Suppose -5*c + 37 + 38 = s. Is c a multiple of 8?
False
Suppose 5*b + d - 2*d - 2968 = 0, -2382 = -4*b - 3*d. Does 9 divide b?
True
Let f(y) = y**3 + 18*y**2 - 22*y - 5. Does 31 divide f(-14)?
False
Suppose -r + 1495 = -7*j + 4*j, -j = 5*r - 7523. Is r a multiple of 16?
True
Let b = 458 + -418. Is 6 a factor of b?
False
Let h be 0/(0 + (-4 - -2)). Suppose h = -s + 10 + 6. Suppose x - s = -4. Does 4 divide x?
True
Suppose 0 = -j - 5*s, 4*s = 5*j + 3*s - 104. Suppose v + 0*v + j = 0. Let g = v - -28. Is g a multiple of 8?
True
Suppose -5*h = 20, 4*d - h - 409 = -d. Let n = d + -46. Is n a multiple of 5?
True
Suppose 8*m = -m + 126. Suppose y - 3*j - 15 = -0*y, -2*j + m = 2*y. Does 3 divide y?
True
Let v be 12/8*(-16)/6. Does 9 divide -27*(v/6 + 0)?
True
Suppose h = -3*h - 3*d - 5, 0 = 3*h - 2*d - 9. Does 17 divide h + 77 + 16 + -16?
False
Let x(o) be the second derivative of -o**5/20 + 3*o**4/4 - 13*o**3/6 - 3*o**2/2 + 6*o. Is 2 a factor of x(7)?
True
Suppose -19*a + 6397 + 10646 = 0. Is a a multiple of 5?
False
Let p(l) = l**3 - l + 3. Let i be p(0). Suppose -i*v = w + 4, 0 = -2*v - 0*w + w + 4. Suppose c - 5*c + 48 = v. Is c a multiple of 12?
True
Suppose -24*q = -8326 - 3818. Is q a multiple of 20?
False
Let s = 114 + 111. Suppose 4*z = 5*i - s, 5*i - 235 = 5*z - 3*z. Does 7 divide i?
True
Is 59 a factor of 4071*((-207)/27 - -8)?
True
Is 33/121 + 6500/44 a multiple of 8?
False
Suppose -3*j + 1138 = 4*s, -1130 = -3*j + 2*s - 4*s. Is j a multiple of 24?
False
Suppose 3*s + 2*y = 12, 0 = -s + 6*s - 5*y + 5. Let t = s + 92. Does 47 divide t?
True
Let y(s) = -s**3 - 9*s**2 - 2*s - 11. Let t be y(-9). Suppose 9 = 4*u - t. Suppose 144 = u*d - 0*d. Is 12 a factor of d?
True
Let i be (4/(-7))/((-4)/14). Let d be (45/(-6))/(-5)*i. Suppose d*m = -2*m + 25. Does 2 divide m?
False
Does 23 divide 2/4*-2 + 300?
True
Let l = -117 - -369. Is l a multiple of 7?
True
Suppose 22*q = -3*q + 22750. Does 70 divide q?
True
Suppose -3*d + i + 4*i = -9, 5*i - 12 = -4*d. Suppose 3*w - 18 = d*h, 0*w = 4*w + 4*h - 24. Does 34 divide (6 + -57)*w/(-9)?
True
Let n(d) be the first derivative of -d**3/3 + 15*d**2 - 47*d - 5. Is n(23) a multiple of 19?
True
Suppose -g + 77 = -2*h - h, 0 = 3*g + 12. Is 18 a factor of (0 - -2)/((-3)/h)?
True
Let l(p) be the third derivative of p**5/20 + 5*p**4/12 + 7*p**3/6 - 13*p**2. Is l(5) a multiple of 33?
True
Suppose -14*d = -1942 - 5450. Is d a multiple of 22?
True
Suppose -5*p = -5*y + y + 300, -3*y - 3*p = -252. Does 5 divide y?
True
Let k be ((-11)/((-22)/24))/(1/(-5)). Let a = 107 + k. Is a a multiple of 28?
False
Let l = 157 - 13. Does 9 divide l?
True
Let h = 1702 + 26. Does 18 divide h?
True
Let y(g) = 12*g + 12. Let t(q) = 1. Suppose -5*a = -3*l - 0*l + 56, -3*a = 2*l - 12. Let u(f) = l*t(f) - y(f). Does 6 divide u(-1)?
True
Let z(c) = 0*c - 6 + 9 - 4 + 7*c - c**2. Let y be z(6). Suppose -356 = -4*l - b - 0*b, l = y*b + 110. Does 15 divide l?
True
Let k = 193 - 129. Is 4 a factor of k?
True
Does 11 divide (6 - (-1040)/(-90))*-9?
False
Let m = -16 - -56. Suppose g - 20 = -2*t + 4*g, -2*g = -3*t + m. Is 12 a factor of t?
False
Suppose 318*z - 327*z = -7398. Is z a multiple of 63?
False
Let m = -966 + 1578. Is m a multiple of 27?
False
Let u = 16 + -14. Suppose -u*r = -2*g - 4*r + 30, 0 = -4*g - 5*r + 65. Suppose 0 = g*c - 3*c - 56. Is c a multiple of 8?
True
Let r = 946 + -366. Is r a multiple of 10?
True
Let q = -9 + 9. Suppose q = -j - 0*k + 2*k + 72, -2*k = 2. Let t = j - 37. Does 10 divide t?
False
Let t(c) = -19*c - 8. Suppose 0*f - 14 = -2*f. Let y(g) = 20*g + 9. Let x(m) = f*t(m) + 6*y(m). Does 16 divide x(-5)?
False
Suppose -3*u - 8*k + 331 = -3*k, 5*u = 3*k + 495. Is u a multiple of 6?
True
Suppose 6 = 5*m + j, -24 = -m - m + 5*j. Suppose 2*v - 32 = -m*v. Suppose -5*q + 38 = 2*b - 104, -v = -4*q. Is 22 a factor of b?
True
Let l be 5/(-2 + (-12)/(-4)). Let m = -7 + l. Let f(o) = 3*o**2 + 3*o. Is f(m) even?
True
Let g(p) = -p**3 - 18*p**2 - 6*p - 7. Suppose 7*i + 21 + 105 = 0. Does 12 divide g(i)?
False
Is 6 a factor of (7/21)/(9/6129)?
False
Let h(q) = -42*q**2 + 2. Let n be h(-1). Let k = n + 79. Does 24 divide k?
False
Suppose -3*p + 2*p = -212. Suppose 5*m - 565 = -5*k, -2*m + 2*k = -3*k - p. Is m a multiple of 23?
False
Let v be 1/(4 - 87/21). Let m(f) be the first derivative of f**3/3 + 5*f**2/2 + 2*f + 3. Is m(v) a multiple of 16?
True
Let i(s) = -21*s**3 + 2*s**2 - 4*s - 9. Does 16 divide i(-2)?
False
Let i = -91 + 98. Suppose 6*b - 2*b - o - 4 = 0, -b - o = 4. Suppose z = i - b. Is 2 a factor of z?
False
Let k(v) = v - 16. Let y be k(16). Suppose 5*f - 404 - 801 = y. Does 46 divide f?
False
Let x(o) = 15*o**3 + 3*o - 2. Suppose -z - 12 = -4*j - 3*z, -z - 1 = -5*j. Let f be x(j). Let p = f - 6. Does 7 divide p?
False
Let u(r) = -r - 1. Let t(k) = -2*k**2 - k + 17. Let j(h) = -t(h) - 4*u(h). Let n(s) = -s**2 - 2*s + 6. Let x(z) = -3*j(z) - 7*n(z). Does 3 divide x(4)?
True
Is 6 a factor of ((-252)/48 + 5)*(0 + -244)?
False
Is 8 a factor of ((-320)/56 + -8)/((-8)/532)?
True
Is 1286 - 120/(1 - -11) a multiple of 23?
False
Suppose -3*h + h = 6. Let g = h + 8. Suppose -4*d + 3 = -1, -603 = -g*c + 2*d. Does 34 divide c?
False
Let q(s) be the second derivative of s**3/3 + 12*s**2 + 14*s.