6732/t?
True
Let q(f) = 3*f**2 - 51. Is 92 a factor of q(-11)?
False
Let a = 1034 + -425. Is 21 a factor of a?
True
Let j be 4/(-10) - (-171)/15. Let b(s) = s**3 - 12*s**2 + 12*s - 11. Let r be b(j). Suppose -c = -i - 39, -4*c + 153 = -r*c - 5*i. Is 21 a factor of c?
True
Let c = -190 + 294. Does 13 divide c?
True
Let d(x) be the second derivative of -x**5/20 + 5*x**4/12 + 4*x**3/3 - 9*x**2/2 - 3*x. Suppose 2*c - 2*z = 18, 0 = -c + 2*z + 8 + 5. Does 8 divide d(c)?
False
Suppose -3*a + 1584 = 3*a. Is 22 a factor of a?
True
Let d(p) = 26*p**2 - 53*p + 310. Is d(6) a multiple of 58?
True
Does 11 divide (-17950)/(-90) + (-8)/(-36)*-2?
False
Suppose -2*u - 4*m - 988 = -3*u, -1994 = -2*u + 2*m. Does 20 divide u?
True
Let n = -117 + 247. Let a = n - 75. Does 2 divide a?
False
Let y = 57 - -51. Is y a multiple of 6?
True
Let i = -60 + 534. Is 17 a factor of i?
False
Is (-7 - -3) + 0 - -392 a multiple of 11?
False
Let u = -338 - -1962. Does 58 divide u?
True
Let h(o) = -15*o - 6. Is h(-8) a multiple of 38?
True
Let z = 1189 - -122. Is z a multiple of 86?
False
Suppose 30*c - 15 = 27*c. Suppose c*y - 266 = -3*u, -5*y - 5*u = -300 + 40. Is 42 a factor of y?
False
Let x = 8 - 30. Let u = 27 + x. Suppose -6*q = -u*t - 2*q + 43, 20 = 2*t - 3*q. Is 7 a factor of t?
True
Suppose 2*q + 6 = 4*q. Suppose -7 = -q*d - 58. Let f(m) = m**2 + 16*m + 8. Is 5 a factor of f(d)?
True
Let z = -96 + -282. Let r be (12/(-14))/(3/z). Suppose 0 = -a + 4*a - r. Is 8 a factor of a?
False
Let m(s) be the first derivative of s**2/2 + 5*s + 8. Let i be m(5). Does 10 divide 14 - (-4 + -3 + i)?
False
Suppose 302*d - 297*d + 765 = 0. Suppose -3*v - 5*x = 29, -7*v = -2*v - 5*x + 35. Is 17 a factor of d/6*v/3?
True
Let g(c) = 100*c - 650. Is g(8) a multiple of 83?
False
Suppose 6*q - 3*q = -3*c - 594, -4*c = 3*q + 594. Let o = q - -54. Let x = -81 - o. Is x a multiple of 17?
False
Suppose 0 = 2*v + 4, 0 = -0*f + f - 3*v - 5. Let b be -3 + 6 + -155 + f. Is 20 a factor of (-7)/14*(b + -1)?
False
Suppose 83*x - 78*x - 5485 = 0. Does 26 divide x?
False
Let u(y) = y**2 - y - 5. Let c be u(3). Let i(t) = 9*t**2 + t. Let w(d) = -d**2 - d. Let q(o) = c*i(o) + 4*w(o). Is 21 a factor of q(3)?
False
Let c = 225 - 222. Does 3 divide c?
True
Is 11 a factor of 436 + (-3 - -12) - (0 - -5)?
True
Let n(x) = x**3 - 18*x**2 - 2*x + 41. Let u be n(18). Suppose -5*c + q + 548 = 0, 2*c = -c + 4*q + 322. Suppose c = u*t - 60. Is 13 a factor of t?
False
Suppose -4236 = 17*k - 21*k. Does 118 divide k?
False
Let b = -125 - -253. Does 8 divide b?
True
Let g = 1635 + -271. Is g a multiple of 38?
False
Suppose 63*l + 9600 = 69*l. Is l a multiple of 100?
True
Suppose -1503*d + 1508*d - 2880 = 0. Does 24 divide d?
True
Let t be -94 - ((-12)/(-16))/(3/12). Let r = t + 221. Does 18 divide r?
False
Let u be (-690 + (0 - 0))*(35 + -36). Suppose -5*h = -15*h + u. Does 27 divide h?
False
Let s = -13 + 8. Let q = -10 - s. Let t = q + 11. Does 3 divide t?
True
Let t be -4 + (30 - 0/(-4 - -2)). Let i = 49 - t. Is i a multiple of 5?
False
Let y(t) = -2*t - 8. Let x be y(-6). Let p = -6 + x. Is 5 a factor of (-1)/p*20/2?
True
Let k = 1996 + 996. Is k a multiple of 17?
True
Suppose -z - 5 = -3*z + 5*h, 16 = -5*z + 3*h. Let t(p) = 7*p**2 - 3*p + 3. Is t(z) a multiple of 14?
False
Let n(w) = -2 - 34*w + 0 - 1 + 40*w. Is n(2) a multiple of 3?
True
Suppose 9*t - 3249 = 1782. Does 40 divide t?
False
Suppose 0 = 4*d - 4*i - 136, -54 = -2*d + 4*i + 24. Let w = d - 20. Suppose -2*j = -53 + w. Does 13 divide j?
False
Suppose 2*h + 0*h = 4*u - 14, 4*h = 5*u - 13. Suppose 5*m = 3*y + 2*y + 50, -m = -h. Is (-154)/y*(-1)/(-2) a multiple of 3?
False
Suppose 2100 = 5*y + 5*o, 0 = o + o - 8. Is y a multiple of 10?
False
Is 814 + 1 + 1/(-1) a multiple of 74?
True
Suppose 3*n - 11*x = -8*x + 558, 0 = 4*n - 2*x - 750. Is 7 a factor of n?
True
Suppose 0*o - 20 = 2*h + 3*o, -4*o - 32 = 4*h. Let p(i) = i**3 + 10*i**2 + 6*i + 10. Is 14 a factor of p(h)?
False
Let k = -427 + 904. Is 14 a factor of k?
False
Suppose 0 = -14*p + 4*p + 400. Does 19 divide p?
False
Suppose 6*g - 47 = 193. Suppose -46*z + g*z = -102. Is z a multiple of 2?
False
Let n(r) = -3*r**2 - 4*r - r**2 - 3*r**2 - 7 + 6*r**2. Let d be n(-5). Let u(l) = -l - 8. Does 3 divide u(d)?
False
Suppose -m + 201 + 279 = u, 2*u = 0. Is 60 a factor of m?
True
Let q(t) = -t**3 + t + 14. Let g be q(0). Suppose 4*l - 2*z = 3*z + 2, 2*l + g = -5*z. Does 9 divide ((-3)/l)/((-6)/(-56))?
False
Let o(j) = -j**3 - 3*j**2 + j - 2. Suppose a - 8*a - 28 = 0. Does 5 divide o(a)?
True
Suppose -4*m = -4*r - 4, -2*r + 13 = 5*m + 1. Let q(c) = 97*c. Let y be q(m). Suppose -4*b + y = -3*p, -3*b + 5*p + 12 = -139. Is 20 a factor of b?
False
Suppose m = -y, -8 = -4*m - 20. Suppose -4*p - 6*o = -5*o - 296, p = -y*o + 85. Is 4 a factor of p?
False
Let l = 20 + -26. Let m = l + -14. Let x = m - -29. Does 6 divide x?
False
Suppose -13*t = -16*t + c + 5151, -2*c = 5*t - 8574. Is 33 a factor of t?
True
Let n = -42 + 67. Let d = 33 - n. Is d even?
True
Let p = 522 + -459. Is p a multiple of 4?
False
Suppose 3*k - 5*c = 205, 3*c - 68 = 3*k - 269. Let l(m) = -m**2 - 51*m - 535. Let n be l(-16). Suppose 0*a = 2*u - a - k, u - 2*a - n = 0. Does 35 divide u?
True
Let r = 2413 + -422. Is 11 a factor of r?
True
Let t = 1 - -2. Suppose 2*g + 1 = 7. Is 2 + (t - (-2 + g)) a multiple of 2?
True
Is (7 - -2 - 12)/((-3)/28) a multiple of 5?
False
Let l(m) = -20*m - 63. Is 18 a factor of l(-12)?
False
Let x = -111 - -71. Let g = 5 + 1. Let q = g - x. Does 17 divide q?
False
Let t be 2/((-1078)/1082 + -8 + 9). Suppose -155 = -3*x + t. Is x a multiple of 14?
False
Let v(j) = -20*j**2 - 7*j - 3. Let w(i) = 10*i**2 + 3*i + 1. Let n(h) = 4*v(h) + 10*w(h). Let r = -14 + 15. Is n(r) a multiple of 10?
True
Let p be -2*1/6*3. Let b = 16 + p. Is 4 a factor of b?
False
Let o be 1/7 - ((-2848)/28)/2. Suppose -49*h - 36 = -o*h. Does 6 divide h?
True
Let j be ((-33 - -6) + -1)/(-1*2). Suppose -6 - j = -4*d, -3*d - 330 = -5*h. Is h a multiple of 23?
True
Suppose -12*h - q = -7*h - 1230, 1215 = 5*h + 4*q. Is 13 a factor of h?
True
Let g be (8 - 6)*(3 - 1). Let l(c) = 3*c**2 + 4*c - 4. Does 30 divide l(g)?
True
Let v(a) = 28*a + 30. Is 17 a factor of v(22)?
True
Let g(a) be the first derivative of a**3/3 - 7*a**2/2 + 2*a - 1. Let m = 3 + 5. Is g(m) a multiple of 4?
False
Let b(f) = -f**3 + 12*f**2 + 17*f + 12. Let p be b(13). Suppose 5*d + 286 = -4*r, r + 5*d + p = -0*d. Let y = 104 + r. Is 30 a factor of y?
True
Let x(m) be the second derivative of m**3/3 - 10*m**2 + 4*m. Let v be x(11). Suppose -5*o - 325 = -5*n, -v*n + 90 + 32 = 2*o. Is n a multiple of 16?
False
Suppose 4*q + 23 = -93. Let u = q - -19. Let j(i) = i**2 + 9*i + 2. Is j(u) a multiple of 6?
True
Let c = 28 + -9. Let t = 23 + c. Is t a multiple of 21?
True
Let t = 48 + -84. Let a = t - -162. Does 18 divide a?
True
Let c(y) = 51*y - 232. Is c(33) a multiple of 16?
False
Let g(h) = 66*h**2 + 110*h - 220. Is g(2) a multiple of 12?
True
Suppose -59*c + 18560 + 11176 = 0. Is 63 a factor of c?
True
Suppose -576*c = -560*c - 30096. Is 27 a factor of c?
False
Let o(y) = 4*y. Let i be o(2). Let l = i + 42. Suppose 4*j + l = 218. Is 10 a factor of j?
False
Suppose 0 = 66*i - 60*i - 21558. Is 78 a factor of i?
False
Let u(p) = -2*p**2 + 3*p - 5. Let r(x) = x**2 - 1. Let j(h) = -r(h) - u(h). Let f(g) = -3*g - 8. Let d be f(-4). Does 5 divide j(d)?
True
Suppose 2*y - 5*a = 2645, 4*y - 4*a - 5330 = -2*a. Does 38 divide y?
False
Let x = 1459 + -998. Is 38 a factor of x?
False
Suppose -2*t - 2 = -3*t. Suppose j + t*j + 42 = 0. Let z(v) = v**3 + 13*v**2 - 17*v - 6. Is z(j) a multiple of 9?
True
Let a be (-5 + 7)*(-585)/(-6). Let r = a + -110. Does 17 divide r?
True
Let o be 3/4 + (-6)/8. Suppose -2*g + 100 = -o*g. Suppose 0*t = 2*t - g. Is t a multiple of 10?
False
Let t(n) = -n**3 - 3*n**2 - 4*n - 2. Let o be (-52)/16 + (-2)/(-8). Let b be t(o). Suppose b*l + 26 = 2*d + 5*l, -8 = 2*l. Does 3 divide d?
True
Let z(w) = w + 14. Let s be z(-10). Suppose 29 = -5*v + s*m + 289, -3*v + 183 = 3*m. Let g = v - -27. Is 21 a factor of g?
False
Suppose -3*s - 3*u + 600 = -0*u, -2*s - 5*u + 412 = 0. Is 19 a factor of 5/(0 - -5) + 1 + s?
False
Let f be (-2 + 147)*4/5. Suppose -2*m - 2*w + f = -m, 2*w = 3*m - 388. 