 10 divide f?
True
Let z(j) = -j**2 + 29*j + 5. Let w be 87/4 - (-12)/48. Let t be z(w). Suppose 3*s + 39 = t. Does 20 divide s?
True
Let c(u) = u**2 - 9*u + 38. Let l be c(4). Suppose -546 = -21*m + l*m. Does 5 divide m?
False
Let r = 21000 + -14370. Does 30 divide r?
True
Is 4/4 - (7/(-2))/(40/73360) a multiple of 12?
True
Suppose 0 = -3*i + 3*y + 474, -3*i - 2*y = -0*y - 489. Let s = i + -91. Is 10 a factor of s?
True
Let y(x) = x + 12. Let m be y(-7). Suppose 5*r - g + 0*g - 2186 = 0, m*r - 2180 = -5*g. Let s = -305 + r. Is s a multiple of 22?
True
Let y(g) = 6*g**2 - 4*g + 7. Let v be 7/(0 - 5/(-20)). Let s be (172/v + -5)/(4/14). Does 15 divide y(s)?
False
Suppose 5*n = -3*s + 4 - 14, -n - 19 = 4*s. Let y = -56 - s. Let w = -34 - y. Is w a multiple of 5?
False
Suppose -2*y - 3*y = x - 26, -4*x - 11 = -3*y. Let w(t) = -53*t - 1. Let m be w(x). Let l = -16 - m. Is l a multiple of 14?
False
Let x be ((-15)/45)/(3/15003). Let b = 2791 + x. Is b a multiple of 91?
False
Let z = 502 - -965. Let s = z - 774. Is s a multiple of 33?
True
Let x(s) = -17*s**3 + 5*s**2 - 9*s - 9. Let b be x(-3). Suppose j = 5*h - b, -7*j + 408 = 4*h - 3*j. Is h a multiple of 13?
True
Suppose 2*x = 1490 + 682. Let o = -654 + x. Does 18 divide o?
True
Let i = 331 - 331. Is 36 a factor of (i - 5/(-2))*12488/140?
False
Does 25 divide 3117*((-2)/7 + 13192/2856)?
False
Let z(i) = 4988*i + 1. Is 9 a factor of z(1)?
False
Let m(t) = 6*t**2 - t - 2. Let z be m(-1). Suppose 0 = -4*b + 4*q + 2124, b + z*q - 546 = 9*q. Does 16 divide b?
False
Suppose -12*c = -1845 - 2115. Suppose 5*u + q = c, 5*q + 23 + 17 = u. Does 2 divide u?
False
Let z(p) = p**3 - 11*p**2 + 25*p + 192. Is 18 a factor of z(34)?
True
Let m = 28087 - 19006. Does 39 divide m?
False
Suppose 0 = -15*f + 5*f + 8*f. Suppose n + l = 6*l + 36, f = 4*n + 4*l - 216. Does 34 divide n?
False
Let b(w) = w**3 - 17*w**2 - 51*w + 23. Let d be b(20). Let a = -111 + d. Suppose 4*s - p - p - a = 0, -s + 4*p = -16. Is 24 a factor of s?
True
Suppose 5*v + 8 = l + 354, 144 = 2*v + l. Suppose 5*h + 5*t - 70 = 0, -5*h + 6*t - 9*t = -v. Is h a multiple of 14?
True
Let j be 106 - (24/(-3) - -4). Suppose -6*i + 2*i - 3*d = -88, -3*d + j = 5*i. Suppose r - i + 11 = 0. Is 2 a factor of r?
False
Suppose 0 = -5*t + 39 - 64. Is 18 a factor of ((-1)/(t/16))/((-30)/(-3375))?
True
Suppose 367687 = 111*o - 454770 - 573923. Is 68 a factor of o?
True
Let i(j) = 11*j**2 - 50*j - 265. Is i(20) a multiple of 33?
True
Let i = -10459 - -12079. Is i even?
True
Let c = 508 + 1692. Is c a multiple of 110?
True
Let z(w) = -12*w + 86. Let p be z(13). Suppose 0 = q - 5*k + 182, -2*q + 5*k - 305 = 34. Let c = p - q. Is c a multiple of 29?
True
Suppose -487 = 3*h + 4*a, -2*a = 11*h - 15*h - 620. Let t = h + 306. Is t a multiple of 60?
False
Let u = -1115 - -21411. Is u a multiple of 118?
True
Suppose 5*g = -3*g + 40. Suppose -208 - 147 = -g*d. Does 4 divide d?
False
Let y(u) = -u**2 + 14*u - 36. Let s be y(11). Let p be 3 - 6 - (5*s)/5. Is 15 a factor of -1 + (2 - (-36 + p))?
False
Let k(s) = 29*s - 327 - 324 + 654. Is k(11) a multiple of 25?
False
Let l = 45331 - 21907. Is 183 a factor of l?
True
Suppose 0 = -4*r - p - 0*p - 137, 0 = 5*r - 5*p + 190. Let i = -29 - r. Suppose 0 = 5*f + h - 47, 3*h - i = -0*h. Does 5 divide f?
False
Let j be -15 + 17 + (-44)/(-2). Let l be (-32)/j + 273/9. Suppose 3*y - 4*k = l, -y + 1 = 4*k + 2. Does 2 divide y?
False
Let w = 71 - 1237. Let k = w - -2086. Is k a multiple of 20?
True
Suppose 0 = -42*b + 2*b - 26*b + 296802. Is b a multiple of 2?
False
Let s(g) = g**3 - 14*g**2 - 36*g + 66. Let x be s(16). Suppose 5*w = -10, 2*w - 940 = o - x*o. Is 56 a factor of o?
False
Suppose 0 = 67*v - 155*v + 346896. Is 74 a factor of v?
False
Let k(a) = -a - 15. Let y be ((-7)/(-14))/(165/84 + -2). Let r be k(y). Let c(o) = -107*o**3 + o**2 + o + 1. Is 18 a factor of c(r)?
True
Let a(d) = 268*d**2 + 84*d - 155. Is a(3) a multiple of 7?
False
Suppose 3*s = -a + 527, -2*s + 527 = a - 3*s. Is 31 a factor of a?
True
Suppose -7*o + 3640 = -27*o. Let p = o - -410. Does 19 divide p?
True
Suppose -4*b + 62 = y + 7, -3*b = 4*y - 272. Suppose 3*z = -v + 213, -v - y = -z + 2*v. Is 2 a factor of z?
False
Let c = -209 + 209. Let u be (-410)/(-18) + 1 + (-14)/(-63). Suppose -2*a - u + 136 = c. Does 5 divide a?
False
Let n(z) = -z**2 + 18*z + 4. Let r be n(18). Suppose -359 - 73 = -r*i. Does 12 divide (i/(-14))/((-21)/196)?
True
Suppose 3*o + 4976 = 2*w, w - 368 = -3*o + 2120. Let u = -1475 + w. Is u a multiple of 9?
False
Suppose 3*y = -5*s - 10, -2*y + 4*y - s - 2 = 0. Suppose -t + 153 = k + 2*k, y = -t + 3*k + 135. Is t a multiple of 16?
True
Suppose 4552 = -24*a + 16. Is (a/(-15))/(-7)*-285 a multiple of 57?
True
Let y be (43477/14 + 1/2)/(-2). Let q = -823 - y. Is q a multiple of 10?
True
Suppose -71*d = -56*d - 60630. Does 47 divide d?
True
Suppose -229*g - 15 = -224*g. Does 16 divide (60/130)/g + (-10664)/(-26)?
False
Suppose -u + 46 - 87 = -4*n, -4*n + 35 = 5*u. Suppose n*g = -g + 968. Is g a multiple of 11?
True
Suppose 8 = 2*f + 3*v - 377, -v = -4*f + 749. Let u be 0/(-2) - (-1 + 5 + f). Let g = u - -303. Is g a multiple of 37?
True
Let h(f) = 6*f**3 + 29*f**2 - 18*f - 18. Let i be h(-9). Let x = i - -3135. Does 38 divide x?
True
Is 80 a factor of -2 - 15/(-9) - ((-40766)/6 - 6)?
True
Suppose -2*q = d - 4460 - 5395, 0 = -5*d + 25. Is 27 a factor of q?
False
Let y be 3*-3 + 10/((-10)/(-3)). Let b(l) = 21*l**2 - 10*l - 96. Does 15 divide b(y)?
True
Suppose -v = -11*v + 70. Let q(r) = -8 - 3*r - 12 + 17*r + 5*r. Is q(v) a multiple of 31?
False
Let q = -2988 + 15850. Does 109 divide q?
True
Let t(k) = 26 + 22*k + k - 145. Is t(30) a multiple of 44?
False
Suppose 0*l = -5*i - 4*l + 45, 50 = 5*i + 5*l. Let p(k) = 101*k - 280. Let f be p(14). Suppose i*b + 134 = f. Is 50 a factor of b?
True
Let j = -3253 + 5557. Is j a multiple of 96?
True
Suppose 39*y = 41*y - 4. Suppose -900 = -i - y*i + 3*n, 0 = i - 4*n - 312. Does 8 divide i?
True
Suppose 7*s + 14407 = 4*v + 4*s, s + 7201 = 2*v. Is 5 a factor of v?
False
Let k be ((-2)/5)/(3/60). Let d be (6/k)/(12/(-720)). Suppose 48*l - 42 = d*l. Is 14 a factor of l?
True
Let p be (((-120)/16)/15)/((-1)/10). Suppose -p*y + 319 = 104. Does 7 divide y?
False
Suppose 11*m - 9*m = -3*a + 58366, 5*m = a - 19461. Does 128 divide a?
True
Let z be 5 - 131 - -1 - 2. Let i = 238 + z. Is 37 a factor of i?
True
Let b be (2 + (-95)/10)/(6/(-8)). Suppose r - 530 = -3*t, b*t - 6*t = 5*r - 2612. Suppose 172 = 6*j - r. Is j a multiple of 27?
False
Let t be (21632/(-24))/(-2*1/30). Suppose -11*c = 2*c - t. Does 25 divide c?
False
Let s be 6/21 + 1148/98. Let n(i) = -i**3 + 13*i**2 - 14*i + 33. Let t be n(s). Suppose 4*f - 11 = t. Is 5 a factor of f?
True
Let s(u) = -4*u**3 + u**2 + 7*u + 2. Suppose 0 = 26*g - 48 + 152. Is s(g) a multiple of 31?
False
Let n(d) = -d**3 - 7*d**2 - 9*d - 9. Let r be n(-6). Let u be (360/14)/((-153)/(-1428)). Suppose 0 = -k - r*k + u. Is 24 a factor of k?
True
Suppose 72*p - 26*p - 375757 = 485363. Is p a multiple of 90?
True
Let j be (1 + 2)*(-2 + -1). Let u(c) = -c**2 - 9*c + 3. Let w be u(j). Suppose 0 = -w*k + 40 + 20. Does 20 divide k?
True
Let s = 152 + -154. Let b(c) = -83*c - 34. Does 12 divide b(s)?
True
Suppose 0 = h + m - 2116, 2*h + 5*m - 3840 = 401. Is 13 a factor of h?
False
Let h(q) = 20838*q - 8. Let r be h(1). Suppose -6986 = -24*o + r. Is o a multiple of 11?
False
Does 84 divide -104*25/300*-151*6?
False
Suppose 1679477 + 2263566 = 181*a + 546940. Is a a multiple of 11?
False
Let n(d) be the second derivative of 823*d**4/6 + 2*d**3 - 5*d**2 - 51*d - 1. Is 78 a factor of n(1)?
False
Let m = 1000 + 3592. Does 7 divide m?
True
Suppose -3*v + 345 = 2*g + 3*g, -v - 69 = -g. Let h = 74 - g. Suppose -2*q + 48 = h*r, q + 9 = 3*r - 11. Is 8 a factor of r?
True
Let g(f) = f**3 + f**2 + 5*f - 3. Let j be g(-9). Let c be 2/3 - j/(-18). Let a = c + 128. Is a a multiple of 10?
True
Suppose 4*y - 3*y - 4 = -x, 2*y = 2. Is x/(-3*2/(-406)) a multiple of 7?
True
Let v = 19032 + 17392. Is 225 a factor of v?
False
Suppose -1 = -2*x - 5. Let w = x - -9. Suppose -4*i + 458 = -2*b, w*i - 3*i + 4*b - 488 = 0. Is i a multiple of 10?
False
Suppose -3*t - 2*c + 3*c = -82, -t + 24 = 3*c. Let v = 215 - t. 