. Does 22 divide c(50)?
False
Suppose d - 4*h - 12 = 0, -h + 2 = 4. Suppose 3*b = -d*c + 84, -51 = -3*b + b - c. Suppose -30*a + 624 = -b*a. Is 13 a factor of a?
True
Let o(y) = y**3 + 16*y**2 + 27*y - 2. Let x(g) = -g**3 + 6*g**2 - g - 8. Let z be x(6). Does 3 divide o(z)?
True
Let z(p) = -17*p**3 - 10*p**2 - 26*p - 377. Is 13 a factor of z(-9)?
True
Suppose -75*k + 156*k - 450846 = 0. Does 23 divide k?
True
Let n(m) = -24*m + 68. Let d be 585/75 - (28/10 - 2). Let h(l) = -12*l + 34. Let s(u) = d*h(u) - 3*n(u). Is 2 a factor of s(0)?
True
Suppose -2*a = 3*a - 175. Let z(f) = f - 70 - 64 + 198 - a. Does 11 divide z(5)?
False
Suppose -46*o - 2*y = -49*o + 9568, -5*y = 5*o - 15905. Is o a multiple of 27?
True
Let g = 202 - -5. Let v = g - 20. Does 10 divide v?
False
Let y be (16 - 12)*(-2 + 14/4). Suppose y = 3*d - d. Suppose -d*x + 321 = 3*a + 2*a, 5*x + 116 = 2*a. Does 7 divide a?
True
Let i = 74 - 69. Let t(g) = 5*g**2 - 6*g + 8. Let h(w) = -11*w**2 + 13*w - 17. Let b(l) = i*t(l) + 2*h(l). Is 10 a factor of b(2)?
True
Let l(b) = b**2 + 22*b + 105. Let t be l(-5). Suppose -5*y - t = 0, c - 3*y - 259 = 2*y. Does 5 divide c?
False
Suppose 4*p - 12 - 4 = 0, 137 = 5*j + 3*p. Suppose 19*k + 288 = j*k. Is k a multiple of 8?
True
Let m(b) = 63*b**2 + 63*b - 147. Does 25 divide m(-13)?
False
Let a(l) = -69*l + 37*l - 11 - 85 - 18. Is a(-12) a multiple of 15?
True
Let a(g) = g**3 + 9*g**2 - g - 7. Let p be a(-9). Let v be (7/(-21))/(p/(-654)). Let i = v - 65. Does 5 divide i?
False
Is 14 a factor of (-13)/(104/(-32)) - (-9516 - -2) - -2?
True
Let t = 94 + -82. Suppose -t*l + 1540 = -l. Suppose 13*h = 18*h - l. Is 15 a factor of h?
False
Suppose p + 5828 = 2*j - 13277, 0 = 4*j + 4*p - 38216. Is 41 a factor of j?
True
Let s be (-4)/(-3) - (-80)/(-60). Suppose 4*j + 5*p - 410 = 0, -2*j + 208 = p - s*p. Suppose 7*z - 4*z = j. Is z a multiple of 35?
True
Let v be (-10)/2 - (0 - 0). Let t(o) = 29*o**2 + 19*o + 26. Does 12 divide t(v)?
False
Suppose -171*l + 72*l + 1820364 = -57*l. Does 13 divide l?
True
Let w be (-2)/4*-1*-48. Let n be (-90)/w + (-1)/(-4). Suppose n*l + 48 = -3*y + 422, 5*l = -2*y + 464. Does 23 divide l?
True
Let t = -40 - -40. Is 17 a factor of (3 - 2) + 40 + t?
False
Let r = -38127 + 47590. Is r a multiple of 8?
False
Suppose 7*y - 3*y = 1264. Suppose 2*a + 12 + y = 0. Let k = -76 - a. Is 22 a factor of k?
True
Let a = 2762 + -874. Suppose -z - 4*z = -w - a, 0 = -4*z + 4*w + 1504. Is z a multiple of 14?
True
Let v = 349 + -345. Suppose -v*o + 2115 = o. Does 47 divide o?
True
Let n be (-8)/(-6)*(3 - (-12)/16). Suppose m + 5*u = -2*m + 250, -4*m = -n*u - 380. Is 6 a factor of m?
True
Let v = 6359 - -17021. Is 70 a factor of v?
True
Let v be (1/(-3))/((-1)/(-75)). Let l = -80 - -78. Is 5 a factor of 16/(l + 4)*v/(-10)?
True
Suppose 1200*u = 4*q + 1204*u - 33940, 0 = -4*q - 2*u + 33930. Is q a multiple of 80?
True
Suppose 791 - 3275 = -12*z. Let a = z + -155. Is 8 a factor of a?
False
Let u(f) be the second derivative of f**5/10 - 3*f**4/4 + 5*f**3/3 - 3*f**2/2 - 8*f. Suppose -4*g = -i + 9, 3*i + 23 = 7*i - 3*g. Does 12 divide u(i)?
True
Let f be (12/16)/(1/4). Suppose 3*s = f*a + 1 + 8, 4*a = -s + 13. Suppose 5*y + 0*x - 102 = -a*x, y - x = 19. Does 12 divide y?
False
Suppose -33*g + 36*g + 27 = 2*v, 5*g = 15. Does 27 divide (v/(-8))/((-6)/1728*2)?
True
Does 41 divide 6 - (3 + -5202) - (-2)/6*6?
True
Let q be (7 + 128)/((-4)/(-3932)). Does 39 divide -5 + q/297 + 2/11?
False
Is 149 a factor of (-13)/13 + 16521 + 19?
True
Let v(b) = b**3 - 19*b**2 - 76*b + 205. Is v(24) a multiple of 4?
False
Is 12 a factor of (-28)/(-154) - (-921870)/99?
True
Let f(o) = -o**3 - 5*o**2 - 7*o - 21. Let n be f(-5). Let h be n/(-4)*(-12)/21 - 0. Suppose t - 152 = -2*s - 53, 3*s - 147 = -h*t. Is s a multiple of 17?
True
Suppose -19*n + 191 = 3*w - 24*n, 2*n = w - 62. Let d(s) = -s**2 - 3*s + 1. Let x be d(6). Let p = w - x. Is 17 a factor of p?
False
Let u(d) = 164*d**2 + 108*d + 550. Is 30 a factor of u(-7)?
True
Is 30 a factor of (-21)/(756/(-48))*4680?
True
Suppose 2*z + 6 = 0, -i - 3*z = -20 + 36. Let g(t) = -2*t**3 - 5*t**2 - 28*t - 83. Is g(i) a multiple of 10?
False
Let h = -422 - -597. Let z = h + -109. Is 66 a factor of z?
True
Let y = 2120 + -821. Is 136/24 - 5 - y/(-9) a multiple of 3?
False
Let w(o) = 5*o**2 - o + 11. Let c be w(-5). Suppose -3*f + 2*n - 74 = 0, -2*n - c = 4*f - 19. Let k = f + 48. Does 20 divide k?
True
Let a(x) = x**2 - 7*x - 2. Let p be a(8). Let r be (1131/(-2))/(p/(-16))*1. Is r/12 + 6/(-9)*1 a multiple of 18?
False
Is -5*(4 + -5 + 2) - (13 + -6039) a multiple of 27?
True
Let d = -662 - -1181. Let m = d - -128. Is 11 a factor of m?
False
Let u(l) be the second derivative of 20*l**3/3 - l**2/2 - 31*l. Does 8 divide u(2)?
False
Let n(v) = 4*v - 33. Let r be n(8). Let k be (-4 - r) + 8 + -3 + 2. Suppose 3*l + f = 376, -l + 185 = k*f + 56. Is l a multiple of 15?
False
Let b = 20446 + -17962. Is b a multiple of 62?
False
Let t = -4829 + 19130. Does 9 divide t?
True
Suppose 63 = j + 3*z + 22, 0 = -j + 3*z + 53. Let y = 28 + j. Is 35 a factor of y?
False
Let c = -77 + 96. Let m = c + -15. Suppose -m*l + 244 = -452. Does 29 divide l?
True
Let k = 28 - -950. Is 22 a factor of k?
False
Let f(r) = 2*r**2 - 26*r - 24. Suppose -100 = -5*w + 2*u, -2*w + 6*u - 4*u + 46 = 0. Is f(w) a multiple of 12?
True
Let m = -34 + 53. Suppose 2*a + m + 85 = 3*p, 2*p - 2*a - 72 = 0. Let t = 25 + p. Is t a multiple of 9?
False
Suppose -2*x = z - 8524, -8*z + 8512 = 2*x - 9*z. Is x a multiple of 146?
False
Let p(u) = 9695*u**2 - 18*u + 16. Does 9 divide p(1)?
True
Let y be 7 + -1 - (-3)/3. Suppose 0 = 3*f + 3*g - 12, -5*f = 2*g - 13 - y. Suppose 10 = -f*i + 42. Does 2 divide i?
True
Let c be (-1 + (-3)/(-6))*(2 - 6). Suppose -4*j = -3*j, c*f - 36 = -5*j. Suppose g + f = 2*g - 2*m, m = 1. Does 3 divide g?
False
Let l(g) = -14*g - 3*g**3 - 14*g**3 + 16*g**3 + 1 + 17*g**2 - 2. Does 29 divide l(13)?
True
Let q(d) = -2*d**2 - 8*d. Let n(w) be the first derivative of w**3/3 + 9*w**2/2 + w - 24. Let u(s) = -5*n(s) - 6*q(s). Is u(4) a multiple of 27?
False
Let c = -202 + 534. Let h = c + -268. Is 37 a factor of h?
False
Let i(y) = -4*y + 47. Let r be i(9). Suppose -2*q = 3*u - 1045, -u - r*q + 6*q = -370. Is u a multiple of 8?
False
Is 115 a factor of ((-2300)/(-70))/((-6)/(-1218))?
True
Suppose -115*z + 119*z - 636 = -g, 1866 = 3*g + 5*z. Is 18 a factor of g?
True
Let c(g) = -2*g**3 + 21*g**2 + 2*g + 17. Suppose -2*h - 5*z + 13 = 0, -33 = 14*h - 18*h - 3*z. Is c(h) a multiple of 10?
False
Suppose -13*v = t - 16*v - 16, t - v - 10 = 0. Let l(w) = -15*w + 159. Is l(t) a multiple of 54?
True
Let u(a) = 1309*a - 8119. Is u(21) a multiple of 26?
True
Let z = -7368 + 11712. Is 8 a factor of z?
True
Suppose -5*b + 14 = -11. Let t be (b + (0 - 5))/((-6)/2). Suppose t = 3*f - 0*f - 348. Is f a multiple of 29?
True
Let z(g) = -g**3 + 16*g**2 - 3*g - 22. Let k be z(13). Suppose 3*d - 5*q = k, -12*q + 13*q - 162 = -d. Does 8 divide d?
False
Let a(j) = j + 1. Let x(b) = -24*b**3 + 4*b**2 + 3*b + 1. Let r(y) = a(y) + x(y). Does 26 divide r(-1)?
True
Suppose 54 + 504 = -2*h. Let n = -117 - h. Is n a multiple of 18?
True
Let t(o) = 439*o - 1115. Does 15 divide t(5)?
True
Let l(b) = -2*b**3 + 65*b**2 - 89*b + 88. Let c(g) = g**3 - 32*g**2 + 45*g - 44. Let n(d) = 13*c(d) + 6*l(d). Is n(24) a multiple of 8?
False
Let o = 37678 + -19638. Is 164 a factor of o?
True
Let g(m) = 2*m**2 + 14*m + 3. Suppose 0 = -2*z - z + 18. Is 7 a factor of g(z)?
False
Let n = 7689 - 6507. Does 4 divide n?
False
Let c(f) = 10*f**3 - 9*f**2 + 10*f - 2. Let n(p) = p**3 + 22*p**2 + p + 27. Let m be n(-22). Let l be c(m). Suppose 9*i - l = -389. Is 21 a factor of i?
False
Let b = 632 + -114. Let r = 929 - b. Does 19 divide r?
False
Let z = 184 - 75. Suppose 6*g + z = 1591. Is g a multiple of 13?
True
Let z be 1/((-1)/17)*-2. Let v = -273 + 290. Is (-51)/(-2) + v/z a multiple of 8?
False
Let k(w) = -557*w - 402. Does 123 divide k(-14)?
False
Let t(x) = 74*x + 5. Let r(m) = -75*m - 6. Let u(b) = 3*r(b) + 4*t(b). Let w be u(1). Suppose -147*d = -148*d + w. Does 40 divide d?
False
Let f be ((-76)/(-12) + -6)*-219. Let b = 314 + f. Does 54 divide b?
False
Let p = 312 + -361. Is 14 a factor of (10 - 594/63)*p/(-2