+ -60. Does 23 divide q?
False
Let t = -145 - -199. Suppose -o - h - 270 = -6*o, t = o - 2*h. Is 6 a factor of o?
True
Let l(q) = 3*q**2 + 153*q + 156. Is l(-73) a multiple of 51?
False
Let u(o) be the first derivative of 4*o**3/3 - o**2 + o - 6. Let v be u(1). Suppose v*q - 5*m = q + 19, 25 = 5*m. Is q a multiple of 4?
False
Let a(r) = -r**2 + 7*r. Let x be a(6). Suppose -55 = -8*o - 31. Suppose 0 = d - 2, o*z - x*z - 5*d + 61 = 0. Does 3 divide z?
False
Let p(b) = b**2 - 18*b + 22. Let m(l) = -2*l**2 + 37*l - 45. Let y(j) = 4*m(j) + 9*p(j). Let x = 21 - 7. Is y(x) a multiple of 6?
True
Suppose 0 = 238*h - 301*h + 97020. Does 22 divide h?
True
Let b = 361 + -174. Let x = b + -52. Is x a multiple of 18?
False
Let a = 71465 + -29135. Is 51 a factor of a?
True
Let f = 38 - 26. Let h be 2/(-1 - (-4)/f). Is 4 a factor of (-58)/h*(-12)/(-8)?
False
Suppose -38*g + 2763501 = -14*g + 1016157. Does 155 divide g?
False
Let l(w) = 14*w**3 - 13*w**2 + 59*w + 32. Let o(b) = -5*b**3 + 4*b**2 - 20*b - 11. Let f be (-9)/36 - 2*67/8. Let n(d) = f*o(d) - 6*l(d). Does 4 divide n(-11)?
True
Let k = -21297 - -25509. Does 6 divide k?
True
Let p = -686 - -722. Does 9 divide (p/8)/(1/20)?
True
Suppose 0 = -2*t - i + 12276, -4*i = 3*t - 21374 + 2955. Is t a multiple of 15?
False
Let z = -3175 + 3509. Is z a multiple of 26?
False
Let i = 29160 - 8809. Is i a multiple of 12?
False
Let b(f) = 10*f + 5. Let v(k) = 2*k**3 + 14*k**2 + 15*k + 15. Let g be v(-6). Let s be b(g). Let i(q) = -q**2 - 28*q - 54. Is i(s) even?
False
Let g = 102 - 120. Let y(r) = -21*r + 59. Is y(g) a multiple of 19?
True
Let k = 207 - 199. Suppose -k*o = 5*l - 4*o - 1610, 2*o = 0. Does 46 divide l?
True
Let i = -32 - -30. Let k be (-6)/(-12) - i/(-4). Suppose k = -19*u + 20*u - 78. Is u a multiple of 40?
False
Let k(t) be the second derivative of -t**3/2 + 4*t**2 - 7*t. Let c be k(-4). Suppose d - 2*a + c = 2*d, 2*d - 75 = 3*a. Is d a multiple of 4?
False
Suppose -43*a = -25799 - 15782. Does 142 divide a?
False
Let h(y) = 3*y**2 + 14*y + 8. Let f be h(-4). Suppose 0 = 4*i + 5*r + 660, -r = -f*r. Does 9 divide (-6)/45 - 8767/i?
False
Let c = -94 - -656. Does 8 divide c/10 + (0 - -7)/(-35)?
True
Let f be (1 + 1611/6 - 5)*2. Does 6 divide 1/4*-4 + f?
True
Let h(m) = 17*m**2 + 82*m. Let z be h(-3). Let q = -9 - z. Is q a multiple of 4?
True
Suppose 4*t + 5*p = 20, 5*t + 51 = 4*p + 76. Suppose 2334 = 5*s - 3*w - 3195, 0 = t*s + 2*w - 5514. Is s a multiple of 48?
True
Suppose 4*w = 4*o - 4, 0*w = 4*w + 5*o - 32. Suppose -4*k - k = w*p - 10, 4 = 2*p + 4*k. Suppose u - 1 = p. Is u a multiple of 3?
False
Let a = 157 - 159. Is 24 a factor of (a/10 - 12/15)*-195?
False
Suppose -6*q = -10*q. Let k be (q/((-6)/(-3)))/3 + 118. Let z = k + -78. Does 5 divide z?
True
Let o(w) = -2*w**3 - 6*w**2 - 3. Let u be o(-4). Suppose u*s - 2216 = 21*s. Does 43 divide s?
False
Suppose 0 = -18*z - 1458 + 6462. Suppose -553 = -4*f + 2*f - t, 0 = f - t - z. Is f a multiple of 10?
False
Suppose -5*y = -i + 388, 2*i = -5*y - 259 + 1005. Suppose -54 = -u + 2*s + 30, -5*u + i = 4*s. Is 3 a factor of u?
True
Let w = 12958 + -6518. Is 14 a factor of w?
True
Let b = -112 + 116. Suppose -b*t = 14*t - 4410. Is 35 a factor of t?
True
Let g(x) = -x**3 - x**2 - 3*x + 4. Let p be g(0). Suppose 0 = -p*j + 341 + 263. Let f = j + -39. Does 16 divide f?
True
Let f be 0/(-1 - (1 + -1)). Suppose -364 = -4*v - 4*m, -2*v + 27 = 5*m - 146. Suppose -13*l + 15*l - v = f. Does 12 divide l?
False
Suppose -15*r - 80166 + 590670 = -3*r. Is 178 a factor of r?
True
Suppose -3516*v + 3525*v - 20007 = 0. Does 117 divide v?
True
Let p(o) = 2 + 17*o - 21 - 66*o + 29*o - 1. Suppose 0 = -3*z - 0*z - 21. Is p(z) a multiple of 8?
True
Let t(k) = 4*k**2 - 2*k - 10. Let o be t(-3). Suppose 328*p = 324*p + o. Does 2 divide p?
True
Suppose 1036 = 6*p - 4562. Let f = p - 629. Is f a multiple of 8?
True
Suppose -3172*t + 3309*t - 1602900 = 0. Does 117 divide t?
True
Let t(j) = 10*j + 19. Let w(p) = 7*p + 17. Let i(x) = 50*x + 120. Let r(l) = -3*i(l) + 20*w(l). Let o(g) = 3*r(g) + 4*t(g). Is 7 a factor of o(4)?
True
Suppose -7*k = -136 + 17. Let t = 15 + k. Let y = t - -33. Is y a multiple of 20?
False
Suppose -2602 - 590 = -8*f. Let k = -379 + f. Is k a multiple of 4?
True
Suppose 6383 + 9169 = 3*i + 3*c, -4*i + 20712 = -2*c. Does 35 divide i?
True
Let b(x) = -x**3 + 4*x**2 - 5*x + 42802. Is b(0) a multiple of 12?
False
Let c(h) = h**3 - 4*h**2 - 49*h + 186. Is 32 a factor of c(11)?
False
Suppose -26 + 10 = -4*c. Suppose -c*n + n = -15, 4*r - 2*n - 10 = 0. Suppose -r*t + 271 + 54 = 0. Is t a multiple of 13?
True
Suppose -31 = -5*q + 5*c + 104, -5*c - 15 = 0. Does 59 divide -2124*(-2)/q*4?
True
Let n(s) = s**3 + 28*s**2 + 63*s + 2. Let f be n(-18). Suppose -4*t - 4*i = -f, 2*t + 530 = 3*t - 2*i. Is t a multiple of 12?
True
Let j(h) = 11*h**3 - 24*h**2 + 134*h - 3. Is j(11) a multiple of 23?
False
Suppose 4 + 256 = 5*h. Suppose -61*t + 1656 = -h*t. Is t a multiple of 23?
True
Let f be (-8 + 10)/2*-1*-1. Let n(i) = -3*i + 2. Let c be n(-6). Let x = c - f. Is 3 a factor of x?
False
Suppose 83650 = 5*v + 4*q, -4*v + 62009 + 4880 = -3*q. Is v a multiple of 4?
False
Is 73 a factor of (156/40)/(2/1460)?
True
Let n(g) = -31*g**2 - 5*g - 3. Let h(r) = -15*r**2 - 2*r - 1. Let v(m) = -9*h(m) + 4*n(m). Is 30 a factor of v(8)?
False
Let s = 1104 + -3. Is 3 a factor of s?
True
Let q(g) = -2*g**3 + 5*g**2 + 12*g - 5. Let x be q(4). Suppose 0 = b + b - 20. Let h = x + b. Is h even?
False
Let r = 61 - 55. Suppose r*s - 2503 - 749 = 0. Is 19 a factor of s?
False
Let v(k) = k**2 + 38*k + 107. Let j be v(-35). Suppose -574 + 378 = -j*m. Does 14 divide m?
True
Suppose 12*b - b + 717 = 97055. Is b a multiple of 29?
True
Let b(s) = s**3 - s**2 - s + 2. Let l be b(1). Let h be l/4*-69 + 16/64. Let p(x) = -x**2 - 20*x - 11. Is 13 a factor of p(h)?
False
Suppose -2595515 = -146*l + 1291589. Is 27 a factor of l?
False
Let y(u) = -u + 5. Let a be y(-5). Is 9 a factor of (20/(-25)*19)/((-2)/a)?
False
Let p(j) be the first derivative of -3*j**2/2 - j + 9. Let w be p(-1). Is 79 - (w - 4)*-2 a multiple of 15?
True
Let w = -88 + 92. Suppose 10*m = 14 - w. Suppose i - 5*l = -m + 44, -2*l - 100 = -4*i. Is i a multiple of 2?
False
Let j(k) = -11*k**3 + k**2 + 2*k + 21. Let o(q) = 11*q**3 - 2*q**2 - 2*q - 21. Let t(a) = 3*j(a) + 4*o(a). Is t(5) a multiple of 23?
True
Let l(x) = 58*x**3 + 4*x**2 - 3. Is l(2) a multiple of 9?
True
Let w = -71 - -79. Let o be w + (1 + -4 - 1). Suppose 9 = o*y - 11. Is y a multiple of 2?
False
Let l(m) be the first derivative of 27*m**2/2 - 30*m - 102. Does 55 divide l(12)?
False
Let a be 3/(161/35 - 4). Suppose -a*q - 682 = -4*j, -4*j - 4*q + 569 + 95 = 0. Is 8 a factor of j?
True
Suppose 3*u = 2*k + 4416, -5*u + 4*k = -8663 + 1301. Is 49 a factor of u?
True
Suppose 3*m - 4*n - n = -1, -7 = 4*m - n. Let f be m/(-8) + 45/12. Suppose -5*t + f*b + 110 = -2*t, 0 = -5*t - 2*b + 140. Is 6 a factor of t?
True
Suppose 6*j = -t + 10*j + 8260, 5*t - 2*j - 41192 = 0. Is t a multiple of 12?
False
Let s be ((-12)/9)/((-7)/(-11886)*-2). Suppose 33*i - s = 2036. Is i a multiple of 8?
True
Let v(c) = -c**3 + 7*c**2 + 4*c - 21. Let i be v(5). Suppose 2*w - 57 + 5 = 0. Let z = i - w. Is z a multiple of 4?
False
Let n be (310 - -9) + (0 - 4). Does 16 divide (n/45)/(2/388)?
False
Suppose -9*v + 14387 = 3*m - 14*v, -13*m + 5*v + 62377 = 0. Is m a multiple of 8?
False
Suppose 45*x + 67*x + 637200 = 139*x. Is 50 a factor of x?
True
Suppose 4*g = 119 - 31. Let d(i) = -i**3 + 20*i**2 + 50*i + 48. Does 36 divide d(g)?
True
Let j(r) = 2*r**2 + 27*r + 117. Let t be j(-7). Suppose q = -t + 77. Does 2 divide q?
False
Suppose 5*u - 12232 = s, 4*s - 43 = -11. Is 48 a factor of u?
True
Let d(f) = 237*f**3 - 4*f**2 - 2*f. Let j be d(3). Does 25 divide (-12)/(-22) - j/(-143)?
False
Suppose 59*j - 55*j = -8, -17090 = -4*y - j. Is y even?
False
Suppose 3*f + j - 78756 = 0, 1187*j = 1182*j + 45. Is f a multiple of 16?
False
Let l be (3 + 7/(-2))*-818. Suppose 4*d + l = 3*g - 0*g, 5 = -5*g. Let o = -67 - d. Is 6 a factor of o?
True
Let a = 626 - 345. Suppose -2*i + 1175 - a = 0. Is 59 a factor of i?
False
Suppose -5*g = 4*q - 78632, 5*q + 41417 - 9984 = 2*g. Is g a multiple of 27?
False
Does 7 divide -26 + 35 - 