= -7844 + 12964. Does 16 divide r?
True
Let a(f) = -92*f - 8. Let g be a(-3). Let r be g/20*((6 - -1) + -2). Let x = r + -59. Does 8 divide x?
True
Let o be (-4)/(-18)*955 + (-12)/54. Suppose 20 = -5*d, 314 = 5*j + d - o. Does 26 divide j?
False
Suppose -r + 4*z = 18, z + 5 = -4*r + 1. Is 26 a factor of (-15 + (4 - -8))/(r/1138)?
False
Let z(o) = o**3 - 11*o**2 + 28*o - 7. Let c be z(6). Let w(r) = -5*r + 58. Is 9 a factor of w(c)?
True
Suppose -45*f + 32*f = -9438. Suppose -3*c - 2*z = -6*z - f, 0 = 2*c - 2*z - 484. Is 22 a factor of c?
True
Suppose 0 = -2*q - 183 + 581. Let c = q - -24. Is 26 a factor of c?
False
Let h(q) = q**2 + 66*q + 641. Is 32 a factor of h(-60)?
False
Let t(m) = 74*m**2 - 44*m + 332. Is 36 a factor of t(20)?
True
Let a(h) = 65*h**3 + 5*h**2 - 18*h + 11. Let i(r) = 33*r**3 + 2*r**2 - 9*r + 6. Let b(t) = 4*a(t) - 7*i(t). Does 24 divide b(2)?
True
Let x be (16*-2 - -1)/((-46)/552). Suppose -620 = -5*k + v, k + 2*k = v + x. Does 18 divide k?
False
Let w(k) = 5529*k**2 - 7*k + 5. Is w(-1) a multiple of 31?
False
Suppose 0 = -3*n - 73 - 464. Let z = 828 + n. Does 35 divide z?
False
Let g = 76 - 64. Suppose -4*c - 16 = -2*b, -2*c - g = c + 2*b. Is c + 236 + -1 - 0 a multiple of 33?
True
Let u be (-1)/(6/(-12)*1). Suppose 0*a = -2*d + 3*a + 1131, -u*a - 2242 = -4*d. Is d a multiple of 14?
False
Let u(a) = 2*a**3 + 21*a**2 - 7*a + 49. Let n be u(-11). Suppose -z - 3*w = z - 717, 5*w + 1855 = n*z. Does 6 divide z?
True
Suppose 4395 = 3*p - 3*q, 0 = 32*p - 28*p - q - 5839. Does 18 divide p?
True
Is (-8)/(-6)*(382935/(-28))/(-5) a multiple of 17?
False
Let m = 9834 - 5830. Does 22 divide m?
True
Let o(m) = -m**2 + 27*m - 47. Let k be o(24). Suppose k = g - 24. Does 4 divide g?
False
Let h = 79 + -88. Let a(n) = n**3 + 11*n**2 + 14*n - 5. Let i be a(h). Let o = 28 + i. Is 6 a factor of o?
False
Let k = 403 - 398. Suppose j = k*r + 333, -3*j + 1219 = -3*r + 196. Is 7 a factor of j?
True
Let d be 0 + (-1717)/(-3) + (-5)/15. Suppose 5*c - d = -8*f + 7*f, 3*f - 5*c - 1776 = 0. Does 53 divide f?
False
Let b(v) = 20*v - 2. Let n(j) = j**2 + 120*j - 13. Let z(x) = 13*b(x) - 2*n(x). Let k(g) = -g + 3. Let i be k(-6). Does 9 divide z(i)?
True
Suppose 50*m = 46*m + 3208. Does 19 divide (10/(-2))/(-10)*m?
False
Suppose q - 2418 = -w + 8423, 43392 = 4*q - 3*w. Does 15 divide q?
True
Let r be 9709/56 + (-12)/32. Let z = r - -259. Is 16 a factor of z?
True
Let v(h) = -4*h**2 + 9*h - 7. Let x be v(4). Let w be 162 + (-4 - (-3 + 1))/2. Let l = x + w. Does 18 divide l?
True
Does 12 divide (2 + 195552/(-27))/(-3*(-4)/(-18))?
False
Let r = -22 - -30. Suppose -s = -r + 86. Let c = s - -114. Is 4 a factor of c?
True
Suppose 3*s - 4590 = -n, -9*n + 6*n = -9. Does 15 divide s?
False
Let b(j) = j**2 + 12*j - 85. Suppose -5*h + 4*u = -69 + 15, 2*u + 2 = 0. Does 27 divide b(h)?
True
Suppose 2*c + 4246 + 9162 = 3*a, 0 = 3*a - 3*c - 13416. Does 62 divide a?
True
Does 17 divide 90237/42*(2 + -2 + -2 + 4)?
False
Let r(o) = o**3 - 3*o**2 + 6*o - 31. Let l be r(4). Is 9 a factor of l*((-52)/(-7))/((-2)/(-7))?
True
Let x(t) = -878*t + 573. Is x(-14) a multiple of 83?
True
Let r(a) = 18*a - 7*a**2 - 51 + 19*a**2 - 3*a**2 - 6*a**2. Does 15 divide r(8)?
True
Suppose -75*k + 266209 = -462566. Is k a multiple of 13?
False
Let s be 165/(-6)*(0 - -22 - -2). Let z = 1472 + s. Does 7 divide z?
True
Suppose -5 = -3*g - 2*b + 15, 4*g - 28 = -2*b. Suppose 2*y - 1290 = -g*y. Is y a multiple of 12?
False
Is 15 a factor of (2/(-2))/(-10) - (19 - (-630975)/(-250))?
True
Suppose -12*l - 4*l - 7*l = -1449. Let f be ((-6)/5)/((-3)/10). Suppose f*w = l + 17. Is w a multiple of 8?
False
Let m = 6843 + -5780. Does 54 divide m?
False
Let r(g) = -2*g + 41. Let n be r(19). Let l be n/((-4)/(-16) - (-86)/(-368)). Suppose -2*q + 4*z + 80 = -l, 3*q - 376 = -4*z. Is 26 a factor of q?
False
Let q(y) = -y**2 - 11*y + 12. Suppose -17*r = -14*r - 180. Let t = -67 + r. Does 5 divide q(t)?
True
Is (-36 - -413)/(7/364) a multiple of 24?
False
Let f be ((-2)/(-4))/((-5)/1620*-9). Suppose 183 = 3*z + 3*q, -5*q = -f + 3. Is 4 a factor of z?
False
Suppose 5*g - 84 - 46 = 0. Let b = g - 24. Suppose -2*m + b = -6, -3*m - 236 = -4*n. Is 31 a factor of n?
True
Suppose 3*c + 11052 = 5*g, 0 = -4*c + 19 - 15. Is g a multiple of 2?
False
Does 71 divide 48/60 - (21/56 + (-4430298)/240)?
True
Let u(i) = -24*i**3 - 3*i**2 - 3*i. Let j be (3 - 2)*-2 + 1. Is 6 a factor of u(j)?
True
Let z = 93 + -87. Suppose -y + 35 = -2*f, -z = -f + 4*f. Suppose -131 + y = -5*v. Is v a multiple of 4?
True
Suppose -5*u - 41896 = -7*u + 2*l, 4*u - 11*l = 83799. Does 80 divide u?
False
Let z = -232 - 227. Let m = 705 + z. Is 41 a factor of m?
True
Suppose 3*j - 15 = -0*j + f, 4*j = -4*f + 4. Let t be 8 - j - (-2)/2. Suppose -74 + 211 = 5*o - 3*y, 5*o + t*y - 105 = 0. Does 7 divide o?
False
Let d be -6 - -7 - -5*5. Suppose -2*p + 44 = 4*f, -f + 4*f - d = -p. Is -1*(-4)/p - 13145/(-77) a multiple of 19?
True
Suppose 7787*q - 7795*q + 480 = 0. Let t be (4/6)/((-2)/(-432)). Let x = q + t. Is x a multiple of 34?
True
Let a(f) = -2*f**2 + 5*f + 2. Let v be a(0). Is 9 a factor of (27/v)/((-13)/(-234))?
True
Suppose 0 = 30*w - 41815 - 9935. Does 115 divide w?
True
Let i = 347 + -345. Suppose -m = -2*k + 2*m + 426, 424 = i*k - 4*m. Is k a multiple of 24?
True
Let v be (27 + 74)*9/3. Let s = 907 - v. Is s a multiple of 14?
False
Is ((-1028)/10)/((-1 + (-60)/(-50))/(-86)) a multiple of 86?
True
Suppose 19*r + 36465 = 22*r + 5*q, 0 = r - 4*q - 12172. Is 16 a factor of r?
True
Let w = -301 + 433. Suppose 2*u - w = 64. Is u a multiple of 49?
True
Let i = 234 + -329. Let h = 175 + i. Suppose 63*f = 59*f + h. Is 4 a factor of f?
True
Let s be (4 - (7 + -8)) + -1. Let g be 2/((-24)/9 + 2). Is 125 + -4*g/s a multiple of 16?
True
Does 4 divide (11/(330/(-16716)))/(7/(-70))?
True
Let m be 1/((2/56)/(117/36)). Let t = m + -88. Suppose 0 = t*j - 4*k - 321, 57 = -3*j - 4*k + 378. Is j a multiple of 7?
False
Suppose h + 2519 = -1082. Let j = 5080 + h. Is 51 a factor of j?
True
Let v(s) = -8*s**2 - 25*s + 38. Let i be v(10). Is (-1 - 8/4)*i/12 a multiple of 34?
False
Suppose 5*u - 64 = 4*t, 0*t = 5*u + t - 59. Suppose -2*i + 6*i = u, 3*c - 39 = -3*i. Let a(k) = k**3 - 9*k**2 - 8*k - 11. Is 9 a factor of a(c)?
True
Let k(i) = 41*i**2 + 86*i + 120. Is 18 a factor of k(-24)?
True
Let h = 358 + -274. Is 14 a factor of (-244)/(-6)*(-4)/((-32)/h)?
False
Suppose 0 = -11*d - 111 - 681. Let a = -56 - d. Suppose 3*v + 23 + 13 = x, -a = 4*v. Does 3 divide x?
True
Let j = 54 + -40. Let s be j + -4*(-4)/(-8). Let r(b) = -b**3 + 11*b**2 + 16*b + 22. Does 35 divide r(s)?
True
Let w(x) = 56*x - 1. Let s(v) = -v. Let m(n) = 4*s(n) + w(n). Suppose 0 = 28*j - 47 - 37. Is m(j) a multiple of 30?
False
Suppose -2 = -3*d + 7. Suppose 5*t - 2*t + 3*q = 255, -265 = -d*t - 5*q. Is 3 a factor of t?
False
Let c = 611 - 611. Is 589 + (-119)/(-17) + (1 - c) a multiple of 27?
False
Suppose 774 = 4*l - 2*f - 42676, 2*f + 54316 = 5*l. Does 63 divide l?
False
Let r be -1*(-3 - 0 - 18). Let b = 59 - r. Let c = b - 30. Is 5 a factor of c?
False
Suppose 16*u + 666948 + 18567 = 131*u. Is u a multiple of 37?
False
Suppose 326 = -3*h + 1250. Suppose 0 = -7*m - 41 + 83. Suppose m*j = h - 68. Does 10 divide j?
True
Is 14 + (26 - 4 - -7094) a multiple of 5?
True
Let b be (2/4)/((-12)/(-1680)). Suppose -3*k - 2 = -14. Suppose -50 = -k*i + b. Is i a multiple of 3?
True
Let w = -7924 - -16018. Suppose -7*j - 2298 = -w. Is j a multiple of 46?
True
Let g = 29 + -23. Suppose -2*w = -g - 4. Suppose 0 = -5*p - 4*i + 229, w*p + 5*i = 3*p + 78. Does 23 divide p?
False
Suppose -8*h + 13*h + 20 = 0. Let z be 15/(h + (-103)/(-25)). Suppose -3*m = a - 129 - z, -5*m + 414 = -3*a. Is 14 a factor of m?
True
Let h be -2424*(45/(-18))/5. Suppose -5*u + h = -3303. Is u a multiple of 27?
False
Let h be (2/(-3))/(420/54 - 8). Suppose -2*x + 5*q = -328, -h*x = -3*q + 185 - 695. Is x a multiple of 8?
False
Let l = 1267 + -858. Let g = l - 34. Is 19 a factor of g?
False
Is 120 a factor of 595/105 - (-3)/9*1 - -5458?
False
Let d(p) = -8*p + 2*p**2 - 22*p - 18*p + 87 - 32. Does 15 divide d(30)?
False
Suppose 30 = -5*i, -10592 = 4*w - i - 62074. Is 15 a factor of w?
False
Let i(y) = -y**3 - 17*y**2 + 59*y - 13. Let q be i(-