4/4 + 4*g**3/3 - 4*g**2 + 3*g - 16. Is m(a) a multiple of 9?
True
Suppose u - 97 = -3*q - 29, 4*q = 2*u - 146. Let f = u + -68. Is 5 a factor of ((-1)/1)/(474/159 - f)?
False
Let b be (-16)/(-10) + (-4)/(-10). Suppose 0 = 6*w - 1573 - 71. Suppose b*x = 2*g - 7*g + w, -5*g + 127 = x. Does 13 divide x?
False
Suppose 3*p + 25 = 121. Suppose p*j - 36*j = -20. Suppose f = -2*c - 2*c + 345, 0 = -j*c - 4*f + 423. Is c a multiple of 12?
False
Suppose -50*l - 7393 = -380293. Is 18 a factor of l?
False
Let y(l) = 107*l**2 + 43*l - 290. Does 21 divide y(7)?
False
Let u(r) = -r**3 - 6*r**2 - 18*r - 268. Does 6 divide u(-16)?
True
Let c be 10/(-25) + 194/10. Suppose g + 3*p - c = -8, -p - 8 = -2*g. Suppose -g*m + 358 + 257 = 0. Is 10 a factor of m?
False
Is 4 a factor of ((13 - 13) + 18/27)/(2/1173)?
False
Is (8/70)/((-12)/14) - (-399535)/75 a multiple of 14?
False
Suppose -25*x = -20*x + 2*v - 27399, -v - 27393 = -5*x. Is 39 a factor of x?
False
Let j be 683816/448 + (-6)/16. Let q = j + -770. Is q a multiple of 84?
True
Suppose -30 = -5*f - 5, -f = -s. Suppose 0 = -8*t + 6*t - 2*l + 1168, 0 = 4*t - s*l - 2372. Does 49 divide t?
True
Suppose -30*r = -45*r + 555. Suppose r*t - 39*t + 1428 = 0. Is t a multiple of 6?
True
Let b(u) = 40*u**2 + 70*u - 26. Is 4 a factor of b(-10)?
False
Let n(z) = 60*z**2 + z + 1. Let a be ((-53)/(-106))/(2/(-4)). Is n(a) a multiple of 5?
True
Let l be (-1 + (-4)/(-3))*0. Suppose 21*o - 180 - 135 = l. Does 15 divide o?
True
Let n = -59 - -53. Let x be (5 - (-34)/n)*-12. Suppose -230 = -x*b + 122. Does 11 divide b?
True
Let s = -31 - -28. Let q be 145 + -4 + 0/s. Suppose -48 = j - q. Does 19 divide j?
False
Suppose 0 = -47*c + 110*c - 262206. Is 61 a factor of c?
False
Suppose 0 = -75*c + 61*c + 1246. Suppose c + 756 = 13*n. Does 7 divide n?
False
Suppose 23526 = 5*r + 4*y, -2542 = -2*r + 3*y + 6850. Is 4 a factor of r?
False
Suppose -23*c + 12*c + 0*c + 108911 = 0. Is 219 a factor of c?
False
Suppose 0 = 6*i + 2*z - 128830, -4*i + 6*z + 85889 = 7*z. Does 117 divide i?
False
Let s(u) = -u**2 + 9*u - 7. Let a be s(8). Let t be (a - 4/(-2))/((-8)/(-544)). Suppose 3*n = -h + t, -n - 5*h + 39 = -29. Is 10 a factor of n?
False
Suppose -7*m + 3*m + 36 = -4*a, -2*m - 6 = 0. Let r be 1 + -1 + 4/a*-3. Is 19 + 10 + r*4 a multiple of 8?
False
Let m(f) = -2921*f + 17522. Let o be m(6). Let r(u) = u - 5. Let i be r(-6). Is 6/33 + (-878)/i + o a multiple of 19?
True
Let w(y) = -y**3 + y**2 + 3*y + 2. Let h be w(3). Let k be h/((-21)/6) + 0. Suppose -s + k*s = 74. Is 11 a factor of s?
False
Suppose 34*t = 5*k + 30*t + 5, -2*k + 26 = 4*t. Suppose 3*w = -2*d + 471, -k*w = w + 3*d - 627. Is 2 a factor of w?
False
Let k(j) = 2862*j**2 + 11*j - 2. Let c be k(-2). Suppose -c = -13*b + 4215. Does 44 divide b?
False
Suppose -468 = 4*c + 5*v, 2*c + 243 = -5*v + 9. Let i = c - -190. Let b = 103 - i. Is b a multiple of 6?
True
Let k(u) = -13*u - 15. Suppose -5*d = 15 + 10. Let l(p) = 13*p + 16. Let i(b) = d*l(b) - 6*k(b). Is i(4) a multiple of 31?
True
Let y(s) = -s**3 - s**2 + 5*s + 7. Let c be y(-3). Let h(z) = 7*z - 32. Does 19 divide h(c)?
True
Let w be (-12464)/(-19) - 0/(-2). Is 41 a factor of (w/10)/((-12)/(-30))?
True
Let w(u) = 762*u - 144. Let s be w(16). Suppose -s = 68*m - 80*m. Is 26 a factor of m?
False
Let i be 1249 - (-1 + 3)*-2. Suppose -23*m = -30*m + i. Does 66 divide m?
False
Let q(i) = 19*i**2 + 2*i**3 - 3*i**3 - 13*i**2 + 4 - 4*i - 2*i. Let j be q(7). Let z = -69 - j. Is z a multiple of 3?
True
Let k be 14/(-3)*(-5)/(-20)*-354. Let g = -208 + k. Is 41 a factor of 1/(4/(g*4))?
True
Let l(u) = -u**2 + 30*u + 33. Let r be l(31). Suppose r*p - 1252 = -2*p - 5*h, -5*p = -4*h - 1524. Is 6 a factor of p?
False
Suppose -33754 = 16*w - 7*w - 16*w. Does 8 divide w?
False
Let c(d) = 1085*d + 7894. Is 85 a factor of c(32)?
False
Suppose -40*m = 29*m - 320712. Is m a multiple of 7?
True
Suppose 224*r - 476928 = 88*r - 120*r. Is 69 a factor of r?
True
Let p(r) = -2*r**3 + 75*r**2 + 10*r - 276. Does 12 divide p(24)?
True
Let z = 2068 + -1278. Suppose 4*n - 1100 = 5*v, 3*n + 18*v = 13*v + z. Is n a multiple of 55?
False
Let p(a) = a**2 + 1. Let i(q) be the third derivative of -2*q**5/5 + q**4/12 - 2*q**3/3 + 31*q**2. Let r(g) = -i(g) - 5*p(g). Is 22 a factor of r(-3)?
True
Let s = -191 - -291. Suppose 5*x - 389 = 2*v + 83, 0 = -x - v + s. Is x a multiple of 12?
True
Suppose a - x - 512 = 0, 21*a - 26*a - 5*x + 2580 = 0. Is a a multiple of 5?
False
Let z = -221 - -228. Does 11 divide (-2838)/(-77) - (-8)/z?
False
Suppose 0*f - 720 = -9*f. Suppose 3*x + f = 2*u + x, -4*x = 2*u - 50. Does 5 divide u?
True
Let m = 3695 + 26398. Is 14 a factor of m?
False
Let s(z) = 6*z - 20. Let q be s(4). Let g = -12 + 15. Suppose -g*i + q*i - 37 = 0. Is i a multiple of 4?
False
Suppose t + 6 = 4*t. Suppose -d = t*o - 20, 5*d + 4*o = 2*d + 50. Is d a multiple of 2?
True
Let b(i) = -3*i**2 - 156*i + 801. Is b(-48) a multiple of 17?
True
Let b = -306 + 650. Let u = -146 + b. Suppose 138 = 12*x - u. Does 14 divide x?
True
Let a(i) = 204*i**2 + 9*i + 160. Is 53 a factor of a(13)?
False
Let z(r) = 150*r**3 + r**2 - 6*r + 5. Is z(3) a multiple of 9?
False
Suppose 0 = -d - 4, -4*k - 1 = 2*d + 3. Is (-8)/(72/3)*(-212 - k) a multiple of 32?
False
Let c(t) = -5*t**3 - 6*t**2 - 5*t - 8. Let n(g) = 9*g**3 + 13*g**2 + 10*g + 17. Let w(h) = -7*c(h) - 4*n(h). Let f = 7127 + -7137. Does 5 divide w(f)?
False
Let t = 16 + 161. Does 59 divide t?
True
Let n be 21/(-14)*16/(-2). Suppose l - 3*w - 16 = -l, 2*l - 2*w = n. Suppose l*b - 177 - 143 = 0. Does 32 divide b?
True
Suppose i = -0*i + 4, 2*b + i = 10. Let t be (-5)/6*-2*b. Suppose 276 + 24 = t*n. Is 9 a factor of n?
False
Let d(f) = f**2 + f - 3. Let v be d(0). Let s(p) = -p**2 + 25*p + 9. Let l(c) = c**2 - 25*c - 8. Let z(t) = v*l(t) - 2*s(t). Is z(21) a multiple of 25?
False
Let s = -4 - -89. Let q = 15 - 13. Suppose 94 = 2*u + 4*h - 0*h, -5*h - s = -q*u. Does 15 divide u?
True
Suppose -2*g = o - 94, -3*o - 2*g = -4*o + 74. Let s be 4/(-30) - (-224)/105. Suppose -2*d = s*d - o. Is 3 a factor of d?
True
Suppose 3*p - 23176 - 94842 = -2*t, 3*t = 3*p - 118023. Is p a multiple of 10?
True
Let r(s) = -3*s**2 - 2. Let f be r(0). Is 48 a factor of f - 4344/(0 + -4)?
False
Suppose 0 = 4*w - 29 - 35. Suppose 3*r - r - w = k, 0 = -5*r - 5*k + 40. Does 5 divide ((-26)/(-8))/(2/r)?
False
Let a(t) = -13*t - 28. Let x(w) = 14*w + 27. Let n(d) = 4*a(d) + 3*x(d). Let c be n(-13). Let h = c - -66. Does 33 divide h?
True
Suppose 9513*i = 9539*i - 482430. Is 13 a factor of i?
False
Suppose 9*g - 4*g = 60. Let t(h) = h + 13. Let p be t(g). Suppose -v + 45 = -p. Is v a multiple of 7?
True
Suppose 0 = -5*u - 5*t + 18729 + 6736, -20372 = -4*u - 2*t. Does 3 divide u?
False
Is (-4261)/1*(6/(-27) - (-14)/(-18)) a multiple of 48?
False
Let l(v) = -175*v**3 + 20*v**2 + 7*v - 15. Is 30 a factor of l(-6)?
False
Suppose 16100 = 149*i - 142*i. Does 23 divide i?
True
Suppose 3*i + 9*f - 13*f - 13249 = 0, 4*i - f - 17661 = 0. Is i a multiple of 15?
False
Let b(c) = 3*c + c + 14*c + 2 + 7*c. Suppose 0 = n - 1 - 0. Does 27 divide b(n)?
True
Let s = 180 + -183. Is 7 a factor of (-162)/(-2) + s + -1?
True
Suppose -11*t + 13*t + 50 = 0. Let i be 2*t/10*16/(-10). Suppose -4*y = -2*y + i, g + 4*y = 0. Is 8 a factor of g?
True
Let c be ((-1)/5)/((-3)/30). Suppose -c*h - 2636 = -0*t - 4*t, -4*t - h + 2624 = 0. Is t a multiple of 28?
False
Let v = 111 + -107. Suppose -8*x + 12*x + 3*u = 967, v*u = -5*x + 1208. Is 23 a factor of x?
False
Suppose -6*z + 7*z = 1601. Suppose z = 3*b + 5*m, 8 = -7*m + 9*m. Is b a multiple of 6?
False
Let n = -132 + -448. Suppose -3*b + 17 = -0*b - 2*z, 2*z = 5*b - 27. Is n*3/(-6) + b a multiple of 22?
False
Let t = -51133 - -77032. Is 87 a factor of t?
False
Let k(n) = -10*n - 23. Let w(p) = 9*p + 21. Let d(s) = -4*k(s) - 5*w(s). Let g = 12 + -20. Does 27 divide d(g)?
True
Let j(y) = y**2 + 8*y + 13. Let f be 32/(-5) - -2*(-12)/40. Let d be j(f). Is 22 a factor of 42 - (d/(-3) + 0)?
True
Let i(v) = -52*v - 25. Let t(r) = r + 1. Let h(l) = -i(l) - 5*t(l). Is h(5) a multiple of 15?
True
Let w be -1*(-6 - (-3 + -3)). Suppose w = -3*f + 3*b + 2233 - 727, -b + 506 = f. Does 28 divide f?
True
Is (-104)/6*(-984)/16 a multiple of 41?
True
Let b = 11