*(-30)/q?
False
Let q(y) = y**3 - 19*y**2 + 24*y + 48. Let a be 113/6 + (-1)/(-6). Does 72 divide q(a)?
True
Suppose -2*o - 4*i = -30664, 2103*o + 5*i = 2101*o + 30658. Does 10 divide o?
False
Let j be (2/(-3))/(172/(-60) + 3). Let y be 36*(-2 - j - 2). Suppose 14*c - 16*c = -y. Is c a multiple of 3?
True
Suppose 16*s = 14*s + 10, 20 = -2*k + 4*s. Let c = 49 + k. Is ((-7)/7 - 0) + c*1 a multiple of 4?
True
Let w(r) = -2*r**3 - 2*r**2 + 3 - 7*r**2 - 46*r + 33*r. Is 33 a factor of w(-7)?
False
Let a(u) = 27*u + 11. Let s be (2 - 1)/(-2*(-3)/12). Let j be (s/(-6) - 2)/((-5)/15). Is 40 a factor of a(j)?
True
Let v = -4283 - -5228. Does 9 divide v?
True
Suppose s = -19*a + 4318, 1184 + 3294 = s - a. Does 10 divide s?
True
Let s(f) = -7*f + 214. Does 2 divide s(3)?
False
Let g(v) = 7*v**3 + 5*v**2 - 6*v + 6. Let t be g(5). Suppose 0 = 16*f - 20*f + t. Suppose -4*q + f = -44. Is 18 a factor of q?
True
Let t(b) = -b**2 - 13*b + 9. Let i be t(-9). Let j = i - -42. Suppose c + 5*g = 84, j = 2*c - 5*g - 81. Is c a multiple of 13?
False
Let z(i) = i**2 + 48*i + 310. Let o be z(-40). Is 31 a factor of (-20)/(-6)*(-1395)/o?
True
Suppose 5*k + 42185 = 4*d, -d - 5*k + 11192 = 627. Is 60 a factor of d?
False
Suppose 45*x - 40*x - 8605 = 0. Suppose 0 = 21*b - 4159 - x. Is 20 a factor of b?
True
Suppose -4*k + 28 = 0, 0*v - 488 = -3*v - 5*k. Is v even?
False
Suppose 4 = -4*f + 16. Let i(h) = 31*h**3 + 13*h**2 - 54*h + 27. Let g(s) = -10*s**3 - 4*s**2 + 17*s - 9. Let b(o) = -19*g(o) - 6*i(o). Is 20 a factor of b(f)?
False
Let q be -58*3*35/(-30). Suppose -33*n - q = -34*n. Is 33 a factor of n?
False
Let r(k) = -985*k - 25. Let p be r(-3). Suppose -2*t - 3*t + 2*x = -14542, 0 = t + 5*x - p. Does 26 divide t/14 + 20/(-7) + 3?
True
Let y = 58 - 58. Does 22 divide 11/(7/28 - y)?
True
Is (64/(-6))/(7*8/(-52248)) a multiple of 15?
False
Let t(w) = -4*w - 28. Let x be t(-7). Suppose x = 20*f - 17*f - 36. Suppose -f = -3*i, -8 = h - 6*i + i. Is h a multiple of 7?
False
Suppose -3*w - 5497 = -4*m + 582, m + 3*w = 1501. Let t = -67 + 73. Is 7 a factor of t/(-27) - m/(-18)?
True
Let d(n) = n**3 + 21*n**2 + 16*n - 33. Let k be d(-21). Let y be k/(-12) + 7 + (-1)/(-4). Suppose -37*a = -38*a + y. Does 6 divide a?
False
Let p(t) = t + 21. Let c(a) = 6*a + 147. Let k(v) = 2*c(v) - 15*p(v). Let f be (-25)/(-5) - ((8 - 11) + 19). Is k(f) a multiple of 7?
False
Let x(p) = -182 - 14*p + 2*p**2 - p**2 + 190. Let z be x(19). Suppose -5*m + 127 - 422 = -5*o, -2*o = 3*m - z. Does 7 divide o?
True
Suppose -2*l - 101 = -453. Suppose -w + l = -12*w. Let q = w + 130. Is q a multiple of 19?
True
Let o = 24 + -19. Let u(d) = -3 - 4*d + o*d**2 - 7 + 6. Does 8 divide u(-2)?
True
Let n(f) = f**3 + 20*f**2 - 3*f + 82. Let j(o) = -o**3 + 6*o**2 - 6*o - 4. Let y be j(5). Is 50 a factor of n(y)?
True
Let b = 38656 + -19674. Is b a multiple of 17?
False
Let q(l) = 93*l**2 + 50*l - 52. Is 31 a factor of q(6)?
True
Suppose -q - n + 3056 = 0, -5*n = -q - 4*n + 3050. Suppose 27*s - q - 25 = 0. Does 3 divide s?
True
Suppose 951741 = -323*h + 31*h + 3295333. Does 25 divide h?
False
Suppose -75*c + 80*c = 4*k - 3189, -4*k - 3*c = -3213. Does 8 divide k?
False
Let s(c) = 16595*c**2 + 122*c - 2. Is 13 a factor of s(1)?
False
Suppose 0 = -4*d - 2*c + 33270, -10*c = -3*d + 19245 + 5627. Does 27 divide d?
False
Suppose 0 = -3*d - 4*u - 139, 4 = 3*u - 11. Let w = 67 + d. Let i = 23 + w. Does 3 divide i?
False
Let j = 202 - 174. Suppose 0*l = -3*l - 6. Is 28 a factor of (j/(-3))/(l/6)?
True
Does 57 divide -1102*(209/22)/(-19)*99?
True
Let n be (46 - -2)/((-12)/(-8)). Let k be 2/6 - (3 + 276/18). Let y = n + k. Does 5 divide y?
False
Suppose 0 = 3*t - 112 + 106. Suppose t*l - 1213 - 411 = 0. Is 14 a factor of l?
True
Let y = 23 - 18. Let d = 284 + -197. Suppose 0*t + 4*t = -q + 57, 0 = -y*t + 4*q + d. Does 5 divide t?
True
Let d(h) = 7*h**3 - 8*h**2 + 10*h - 8. Let y be d(4). Suppose 5*x = x + y. Let l = x - -29. Does 25 divide l?
False
Let h = 2 + 1. Suppose -12*w + 488 = -1120. Suppose 55 = h*k - w. Is k a multiple of 9?
True
Suppose 2*y - 5*y + 0*y = 0. Suppose y = -3*j - 17 - 7. Does 29 divide (116/j)/((-1)/2)?
True
Let t be (90/(-25) + 4)*1550. Suppose 11*g - t = 799. Is 13 a factor of g?
False
Suppose u + 472 = 5*u. Let m be 12/3*(-3 - -4). Suppose m*i = 6*i - u. Is i a multiple of 28?
False
Suppose 0 = -g - 0*g + 2, 3*g + 699 = -5*a. Let j = 144 - a. Suppose 5*r - j = -2*m + 3*m, 2*r - 114 = -3*m. Is r a multiple of 11?
False
Does 40 divide ((-19201)/26)/(4/(-4*2))?
False
Suppose 0 = -v - 95 + 9. Does 74 divide ((-296)/6)/(v/387)?
True
Let m(j) = 14*j**2 + 55*j + 248. Is m(-22) a multiple of 17?
True
Let v = -190 + 634. Is v a multiple of 4?
True
Suppose 2137 = 5*a - 3003. Suppose 4*j - 168 = a. Does 9 divide j?
False
Let j be 2 - (6 + (-890)/5). Suppose j = 2*q + 4. Is q a multiple of 26?
False
Let l = 14 + -16. Let y = 223 - 357. Let d = l - y. Is d a multiple of 12?
True
Let y(b) be the second derivative of 14*b**3 - 63*b**2/2 + 158*b. Does 31 divide y(10)?
False
Let v = -156 + 90. Let b = v - -74. Suppose 5*y = b*y - 105. Is y a multiple of 7?
True
Suppose 60*i = -4*w + 65*i + 3534, 5*w - 4485 = -5*i. Is 94 a factor of w?
False
Let c(y) = -3*y. Let q be c(-1). Let v(m) = -8*m + 28. Let d be v(-15). Suppose -4*s - 148 = -3*g, 5*s = q*g - d - 1. Does 16 divide g?
True
Let d(h) = 22*h**2 - 36*h + 1414. Is d(29) a multiple of 25?
False
Suppose -5*w + 4*u + 97 - 25 = 0, -6 = 2*u. Suppose 0 = 34*z - w*z - 1826. Is z even?
False
Let y be (-5 + 9)*891/(-12). Let p = 18 - y. Suppose 29*h - p = 24*h. Does 8 divide h?
False
Does 10 divide (70521/(-44))/(3/(-40))?
True
Suppose 4356 = 5*z - 4*h, -4*z = 2*h - 3*h - 3487. Suppose q - 3*g - 29 = 427, 0 = -2*q - 2*g + z. Is 63 a factor of q?
True
Let k be (-3)/(-15) + 14*(-12)/40. Let g(s) = 17 + 0*s**3 - 7*s**2 + 5*s - 4*s - 2*s**3 + 3. Does 14 divide g(k)?
False
Let f be ((-4)/2)/(-8*12/288). Suppose -1895 = -f*h - 215. Does 15 divide h?
False
Let c(d) = -1115*d**3 - 12*d**2 - 26*d - 3. Is 81 a factor of c(-2)?
False
Suppose -2*f - 4*y = -18, -5*f + 14 + 13 = 4*y. Suppose n + 1922 + 4446 = -3*l, f*l + 6374 = 5*n. Does 40 divide l/(-33) + (-8)/6?
False
Is 92 a factor of (-26)/208 - (-82434)/16?
True
Is (951 - (-1 + 13)) + -11 a multiple of 29?
True
Let j(t) = t**2 + 14*t + 43. Let s be j(-11). Let r be (-552)/(-16) - (1 - s/4). Let v = r - 6. Is 30 a factor of v?
True
Is (272/5)/((-1790)/(-1883975)) a multiple of 34?
True
Does 30 divide (-22)/(-231)*7 - 22404/(-9)?
True
Let f = 38355 - 22911. Is 44 a factor of f?
True
Let r(z) = 293*z**3 + 10*z**2 + 15*z - 33. Is r(6) a multiple of 411?
True
Suppose 215*t - 8951 + 4976 - 9785 = 0. Is 4 a factor of t?
True
Suppose -w = -30 + 26. Suppose -4 = -d, -n - 2*d = w*n - 1238. Let t = -146 + n. Does 18 divide t?
False
Suppose 16052 = 21*w - 8623. Suppose 3*f = -4*i + 4487, -i = -f + w + 323. Is f a multiple of 60?
False
Let s be 4/6*258/4. Let r = 1147 + -1145. Suppose -3*f = -r*l + s + 39, 5*l + 4*f - 182 = 0. Is 5 a factor of l?
False
Let o = 1 - 1. Let b(y) = 31 - 76*y + 21*y + 26*y + 12*y + 21*y. Is 31 a factor of b(o)?
True
Let j = 855 - 850. Is -18*1*j/(-10)*28 a multiple of 9?
True
Let v = 9247 - 3967. Suppose -659*o + 670*o - v = 0. Does 30 divide o?
True
Let z(m) = m**3 + 5*m**2 + m + 8. Let y be z(-5). Suppose 0 = 5*o, 0*f - y*o + 56 = 2*f. Is 15 a factor of (14/f)/((-2)/(-1000))?
False
Let l = -46 - -37. Let o(c) = c + 73. Let t be o(-11). Let i = l + t. Is i a multiple of 2?
False
Let v = -3551 + 4350. Is v a multiple of 17?
True
Let z(j) = -101*j - 97*j + 282*j - 95*j - 66. Suppose -12 = c + 5*v - 1, -3*c = -v + 49. Is 14 a factor of z(c)?
False
Is 30 a factor of (171/(-18) - -9)*52*5*-21?
True
Does 113 divide (6 + 0 - 36)*(-7458)/55?
True
Suppose -15*d = 2225 + 70. Let m = 233 + d. Does 21 divide m?
False
Let c(b) = -30*b - 25. Let t be (2 - (3 - (4 - 3))) + -3. Let y(s) = 15*s + 13. Let g(r) = t*c(r) - 5*y(r). Does 35 divide g(5)?
False
Let c(b) = b**3 - 24*b**2 + 57*b - 72. Let o = 629 + -607. Is c(o) a multiple of 6?
False
Suppose 8*n = 3*n - 4*v + 44, -4*v + 4 = 0. Suppose 0 = n*k - 491 - 1077. Suppose 4*m = -12, m = -2*b - 3*m + k. Does 11 divide b?
False
Let q(o) = 107*o**3 - 2*o**2 + 2*o. Suppose -5*s = 