se 4 - 14 = -5*g. Let x(o) = -5*o**3 + 2*o**2 - 2*o + 2. Let u be x(g). Does 28 divide -1 + u/(6/(-9) + 0)?
False
Is 65 a factor of 1*904 + -24*9/(-36)?
True
Suppose -9*n + 2442 - 921 = 0. Let p = n + 94. Is p a multiple of 20?
False
Let q(f) = -312*f + 42. Is q(-8) a multiple of 6?
True
Let b = 3284 + -1906. Suppose 4*l - 3149 = -5*k, -b = -4*k + 3*l + 1135. Is 47 a factor of k?
False
Let y = -5673 - -8100. Is 8 a factor of y?
False
Let d be -1 + (-20 - -21)/(2/12). Suppose -4*k = d*t - 3957, 4*t - 2874 + 894 = -2*k. Is 76 a factor of k?
True
Let j be (0 - -33) + (-4)/10*-5. Let a = 65 - j. Does 6 divide -1 + a/(7 - 4)?
False
Let y(c) = -c**3 + c - 2. Let o be y(-2). Suppose 8 = 4*g, -o*g - 829 - 763 = -4*k. Does 14 divide 6/(-8)*k/(-20)?
False
Let s = 6195 + -2006. Is 21 a factor of s?
False
Let o = -205 - -485. Suppose -12*t + 8*t = o. Is 22*((-8)/(-12) + t/(-12)) a multiple of 13?
True
Let b(f) = -f**3 - 14*f**2 - 14*f - 7. Let a be b(-13). Let u be 1 + 34/6 - 4/a. Suppose -u*g + 66 = -3*g. Does 22 divide g?
True
Let b be ((-112)/(-20))/(10/(-225)). Let p = b - -255. Does 34 divide p?
False
Let f = 224 + -224. Let v(o) = -2*o**3 - o**2 - o + 167. Is 10 a factor of v(f)?
False
Let w be (2*(-5)/(-20))/((-4)/16). Is w/(-3) - (-7 + (-10381)/21) a multiple of 39?
False
Suppose -124*n + 27258 + 5106 = 0. Is n a multiple of 4?
False
Let m(s) = -s**3 - s**2 - s. Let x(p) = 4*p**3 - 21*p**2 + 28*p - 34. Suppose -82 = 4*o - 94. Let c(w) = o*m(w) + x(w). Is c(23) a multiple of 4?
True
Does 66 divide 2335/((29 + -19)*1/12)?
False
Let n = -596 - -1130. Is n even?
True
Let t = 646 - -314. Suppose 12*m - 3288 - t = 0. Is m a multiple of 10?
False
Let n(f) = f**2 + 3*f - 103. Let c be n(9). Let s(h) = 58*h - 182. Is s(c) a multiple of 73?
False
Suppose -108 = 4*m - 84, 5*n = 2*m + 73452. Is n a multiple of 102?
True
Let c(m) = -3*m + 40. Let i be c(5). Is 10 a factor of (24/5)/(101/i + -4)?
True
Suppose 551 + 5913 = 16*q. Suppose 5*j + 3412 = 3*r, -4*r - 5*j + q = -4122. Is r a multiple of 18?
True
Let q be (68/6 - 0)*-3. Let x = -30 - q. Suppose 4*t + x*i - 59 - 141 = 0, -5*i = 2*t - 106. Is t a multiple of 6?
True
Let r = -3880 - -6198. Is r a multiple of 60?
False
Suppose 5*j - 661 = -4*b + 433, 0 = 3*j - 4*b - 650. Let a = j - 82. Does 35 divide a?
False
Let w = -5850 - -20915. Is 131 a factor of w?
True
Suppose 0*m = -5*v - 2*m + 92, -v + 32 = -3*m. Let f be (48/(-20) - -2)/((-2)/v). Suppose -2*o = -6*j + 2*j - 138, f*o - 3*j = 286. Does 6 divide o?
False
Let l(c) = -3*c - 2*c + 3*c + 6*c**2 - 7*c**2 + 24. Let f be l(-6). Is 23 a factor of 6/24 - (f + 1341/(-12))?
False
Let j be (3 - (-42)/(-3)) + 1. Let c be (-12)/j*55/22 - -37. Suppose -5*s + c = -35. Is 3 a factor of s?
True
Suppose -9*m = 11*m - 140. Does 20 divide (-181)/(20/16 + m/(-4))?
False
Suppose -28348 = -17*x + 67685. Is x a multiple of 7?
True
Let z = 164 + -74. Does 49 divide 6849/z - (1 - 18/20)?
False
Suppose -2*l + 3541 = -5*r, 5310 = 3*l - 3*r - 15. Is l a multiple of 14?
True
Let k(f) = 4*f**2 + 12*f - 22. Let r be k(10). Suppose 5*z - r = 107. Let s = z + -67. Is 17 a factor of s?
False
Let v(a) = 7*a**2 + 20*a - 614. Is v(-25) a multiple of 14?
False
Let f(j) be the first derivative of 4*j**3 + j**2 - 13*j - 432. Let k(z) = 2*z**3 + 1. Let x be k(1). Is f(x) a multiple of 12?
False
Let i be (-10)/(-65) - (-2)/((-78)/279). Let n be (i/(-3))/(3/126). Let s = 69 + n. Is s a multiple of 26?
False
Let v = 74 - -478. Suppose 0 = -21*i + 15*i + v. Does 23 divide i?
True
Let m = 11 + 14. Suppose 2*q - 121 = -111. Let i = m - q. Is i a multiple of 4?
True
Suppose -5*r - 9 = 5*b - 29, 0 = 5*b - 2*r - 20. Suppose -246 = -3*m - b*x, m + x = 4*x + 69. Is 29 a factor of m?
False
Let m be ((-85)/20)/(1/12). Does 10 divide ((-4)/(-16)*m)/((-3)/4)?
False
Suppose -1355 = -0*m - 5*m. Suppose 0 = -j - 25*j - 572. Let w = j + m. Is w a multiple of 35?
False
Let t = 47991 - 22043. Is t a multiple of 40?
False
Let x be (-3*15/(-27))/(3/18). Suppose 0 = -x*u + 23 - 163. Is 2/(u/(-3) + -4) even?
False
Suppose 16*i - 8080 = -4*i. Let y = 620 - i. Does 18 divide y?
True
Let u(n) = n**3 - 2*n**2 + 2. Let j be u(2). Suppose j*m + 177 = 5*m. Does 28 divide m?
False
Let h = 750 - -978. Is h a multiple of 18?
True
Suppose -114*r = -555844 - 390440 + 65292. Does 138 divide r?
True
Suppose 0*y - 2*y = 3*y - 33270. Is 10 a factor of y?
False
Suppose -3*r + y = -4498 - 1208, 4*r + 5*y = 7627. Suppose 2*o + 431 - r = 0. Suppose 4*n + o = 12*n. Is n a multiple of 6?
False
Let q = -1351 - -1953. Does 25 divide q?
False
Suppose -31*f + 32*f - 19 = 5*z, 4*f = 4*z + 28. Suppose 2*h - 4*h = -t + 462, -f*t = -h - 1841. Does 10 divide t?
True
Let j = 293 + -282. Suppose j*z - 1050 = z. Is z a multiple of 2?
False
Let f(x) = 5*x**3 + 3*x**2 + 16*x - 148. Is f(18) a multiple of 64?
True
Let m(f) = 2*f**3 + 26*f**2 - 22*f - 9. Let w be m(-14). Let k = w + 134. Is k a multiple of 25?
False
Is (0 - (-22484)/12)*(7 - 4) a multiple of 73?
True
Is 13 a factor of ((-195)/(-52))/((-11)/(-112640))?
False
Let k = -169 + 51. Let d = k - -514. Does 18 divide d?
True
Is (2 - 2075/10)*96/(-8) a multiple of 16?
False
Suppose -42*z + 56163 = -49299. Does 23 divide z?
False
Let v be -3 - ((-426)/15 + 6/15). Let z = 29 - v. Suppose -2*r + 62 = z*c, -3*c + 4*c + 4*r = 5. Does 12 divide c?
False
Let z(t) = 20*t - 1334. Is 4 a factor of z(103)?
False
Let o be 2 - (-6)/9*3. Let j be 3*(o + 19)*1. Suppose 5*h - 172 = -2*i, -i - j = -3*h + 43. Is h a multiple of 22?
False
Does 3 divide (-266)/95*(-131 - 4)?
True
Suppose -5*j - 4 = -4*n + 2, -18 = -5*j - 2*n. Let x(h) = -h**3 - 3*h + 5. Let d be x(j). Is 5*(-194)/d - (-42)/189 a multiple of 20?
False
Let n = 105 - 261. Let v = -132 - n. Is 3 a factor of v?
True
Let h be (-11 - 1224/(-60)) + (-6)/(-10). Suppose -4*s + 2*y = -564, 4*y + 433 = -h*s + 13*s. Is 7 a factor of s?
False
Let k be 4/4*(-6)/2. Let b(d) = 24 - 3*d**2 - 2*d + 0*d**2 - 25 - 2*d**3 - d. Is b(k) a multiple of 13?
False
Let q be 309/(((-9)/(-4))/(3/2)). Suppose -5*p + 4*m = -q, -4*p - 5*m = -56 - 76. Does 3 divide p?
False
Suppose 6*h - 4856 = 8236. Is 23 a factor of h?
False
Let g(b) = 6*b + 20. Let h be g(-19). Let y be h/(-18) + (-14)/63. Suppose 0*w + y*w - 350 = 0. Does 7 divide w?
True
Let z = 461 - 254. Let c = z + -185. Is 6 a factor of c?
False
Let f(m) = 5742*m + 225. Is f(4) a multiple of 143?
False
Suppose -y = 1, -y + 1338 = 5*x + y. Let n = -44 + x. Is 20 a factor of n?
False
Suppose -10233 = -34*w + 50321. Is 137 a factor of w?
True
Suppose 386*h + 1275 = 389*h. Suppose b + 5*z + h = 4*b, 4*b = -3*z + 615. Is 50 a factor of b?
True
Let z(n) = 5*n + 4. Let t = -42 + 44. Let q be z(t). Suppose 922 = q*w + 110. Is w a multiple of 29?
True
Suppose -6*o - 36 = 12*o. Does 41 divide (-139 + -3)*3/o?
False
Let w = 127 - 122. Suppose 0 = w*a + 3*u - 2575, a - 95 = -2*u + 427. Does 70 divide a?
False
Is 43 a factor of -6 + 0 - -6 - 2*(-97105)/10?
False
Is 68 a factor of 28/(-210) + (5 - 229019/(-105))?
False
Suppose -33*y + 11736 = -42*y. Let h = y - -2113. Does 11 divide h?
False
Let b(s) = 2*s**2 - 3*s - 5. Let m be b(-2). Is 3 a factor of (5/(-2))/((m/(-2))/9)?
False
Let n = 122 + -72. Let m = n + -70. Let f = 121 - m. Is 12 a factor of f?
False
Let l be (-235)/(-25) - (2 + 8/(-5)). Let f be -10*(l/2 + 0). Let m = 157 + f. Does 8 divide m?
True
Let w(f) = f**2 - 18*f + 59. Let y be w(17). Does 30 divide (-4)/y - 31510/(-105)?
True
Suppose 0*s + 3 = s. Suppose 2*d + 12 = -2*k, 3*d - 2*k = -145 + 157. Suppose s*m = -i + 129, d = i - 3*i - 5*m + 259. Does 23 divide i?
False
Let x(b) = 2*b**3 + b. Let a be x(-2). Is 8/a*-39*45/6 a multiple of 65?
True
Suppose -3*t - 2*t = -4*p - 992, -3*t + 2*p = -596. Let s = 136 + t. Is s a multiple of 48?
True
Let i(f) = -4*f - 31. Let b be i(8). Let g = 117 - b. Does 15 divide g?
True
Suppose -4*g + 16*g - 36 = 0. Suppose -5*f + 0*j = -3*j - 549, -g*f + 329 = -2*j. Does 12 divide f?
False
Let m(w) = -w**3 + 6*w**2 + 2*w - 8. Let t be m(6). Suppose 4*i + 679 = -j, t*j = -2*i + 69 - 405. Does 15 divide (-5 + -1)*(i/15)/1?
False
Suppose 26*w - 18*w + 168 = 0. Is 910/(-15)*90/w a multiple of 22?
False
Let w(g) be the second derivative of -g**3/6 + 14*g**2 - 5*g. Let q be w(7). Suppose -2*z 