?
True
Suppose 29*c - 141*c - 189*c + 1729245 = 0. Is c a multiple of 3?
True
Does 40 divide (2208/168 - 12)/((-1)/(-18158))?
False
Let d be 61 - 1/((-5)/(-35)). Suppose -49*i + d*i = 635. Does 4 divide i?
False
Let l(n) = 2*n**3 - 10*n**2 - 22*n + 52. Let f be l(10). Suppose f + 232 = 19*s. Does 28 divide s?
True
Suppose 2*u - 2*s = 2252, -8*u + 3*u + 2*s + 5627 = 0. Is u a multiple of 13?
False
Let i be (1108 + 2)*(81/18 + -3). Suppose 0 = 4*m - 3*f - 1335, -f - 4*f - i = -5*m. Does 6 divide m?
True
Suppose 0 = -13*w + 12*w + 408. Suppose -4*j + w = -j. Is j a multiple of 34?
True
Let i(z) = -7*z - 30. Let o be i(-8). Suppose -8*d = -o + 10. Suppose 0 = 5*c - d*m - 244, -5*c + m + 242 = -0*m. Is 27 a factor of c?
False
Let m(q) = -18*q**2 + 6*q**2 + 24*q + 10 - 3*q**2 - q**3. Let k be m(-17). Suppose k = 5*s + s. Does 10 divide s?
True
Suppose 5*w - o - 1625 = -532, 659 = 3*w + o. Let p = -99 + w. Is 6 a factor of p?
True
Suppose -43317 = -5*t - 46*x + 48*x, t + 7*x = 8619. Is 121 a factor of t?
False
Let x be -638 + -5 + (-11 - -5). Let t = x + 668. Is t a multiple of 4?
False
Suppose 0 = 681*l - 692*l + 33726. Is 73 a factor of l?
True
Let f(b) = 7*b + 19. Let x be f(6). Let v(p) = -x*p - 3 + 2 + 2 + 7. Does 26 divide v(-2)?
True
Let f(s) = -s**3 + 15*s**2 - 2*s + 34. Let u be f(15). Suppose 0*x + u*x + 2434 = 5*v, -x = 5*v - 2454. Suppose 0 = -11*m + v + 489. Is 13 a factor of m?
False
Suppose 12*x = 184 - 52. Let z(h) = h**3 - 7*h**2 - 15*h - 11. Is z(x) a multiple of 7?
True
Let a be (76/(-8) - -9)*3994. Let h = a - -3643. Does 9 divide h?
False
Suppose -3*h - 3 = -n - 5, 4*h - 12 = -n. Suppose 0 = p + 4*y - 5 - 62, 0 = n*p - 3*y - 363. Is p a multiple of 29?
True
Is (7398/(-72) + -21)/((-2)/24) a multiple of 9?
True
Suppose 488 = 2*i + 680. Is 23 a factor of (i/10)/(((-72)/40)/9)?
False
Let r(k) = k**2 - 20*k + 17. Let u be r(19). Let g(t) = -2*t - 1. Let i be g(u). Suppose 94 = 2*b + i*s, -3*b - 33 = -4*b + 2*s. Is b a multiple of 16?
False
Let y = -27 + 27. Let r be 6/(-4) - (y + 475/10). Is 12 a factor of 5 + -7 - -1 - r?
True
Suppose -d = -5*d + 88. Let a = -78 + d. Let v = 122 + a. Is v a multiple of 25?
False
Suppose -2*z = z - 60. Let m be 1690/z - (-1)/2. Suppose 5*k = -0*k + m. Is 3 a factor of k?
False
Suppose 0 = -79*p + 87*p - 2224. Suppose -3*r - 3*u - p = -3248, 0 = -2*r - 4*u + 1984. Does 52 divide r?
True
Suppose 4*a + 1454 = 2*t, -t + 547*a - 543*a = -719. Is t a multiple of 15?
True
Let q = -7090 - -9930. Does 40 divide q?
True
Does 4 divide ((-12)/15)/(13/(-6695))?
True
Suppose n - o = 205, 3*o - 410 = -2*n - 0*n. Suppose -2*b - 5*i + 276 = 0, n = 3*b + 4*i - 216. Let x = b + -53. Does 18 divide x?
True
Suppose -31415 + 88055 = 8*u. Suppose -14*v = v - u. Is 8 a factor of v?
True
Let g(s) = -6*s + 11. Let b(y) = y - 1. Suppose 0 = 2*r + 2*u - 8, -4*r = -3*u - 2*u + 11. Let t(k) = r*g(k) - 3*b(k). Is 10 a factor of t(-4)?
True
Suppose -7763 = -4*c + 3815 + 4822. Is c a multiple of 20?
True
Let y(n) = 110*n + 7. Let d be y(4). Suppose -d*q = -444*q - 372. Is q a multiple of 4?
True
Is 15/((-12)/(-24*17)) a multiple of 6?
True
Let c = -1300 - -1940. Let h = c - 205. Does 29 divide h?
True
Suppose -50 - 62 = -8*j. Suppose 0 = 3*v - 4*s - 23, -2*v + j*s = 10*s - 18. Suppose v*k - 895 = -135. Does 34 divide k?
False
Suppose 3*l = -4*t + 53680, -702*t + 703*t = -8. Is 6 a factor of l?
True
Suppose 0 = 5*x + 5*u - 73 + 303, 3*u - 3 = 0. Let a be -4*1 - (2 + 0)*x. Is (-11)/(55/a)*7/(-3) a multiple of 5?
False
Suppose -211 + 115 = 6*f. Let u = f + 225. Is 19 a factor of u?
True
Suppose -3*k - 5*k - 88 = 0. Let n(r) = r**3 + 13*r**2 - 9*r + 15. Does 32 divide n(k)?
False
Let h be 4/((-40)/314) + 9/(-15). Let x = 36 + h. Suppose -x*s = -9*s + 340. Is s a multiple of 37?
False
Let g be (((-18)/15)/1)/((-12)/30). Suppose 78 = g*x - 615. Suppose 0 = -3*t - 3*q + x, -3*t = -4*q + 2*q - 226. Is t a multiple of 19?
True
Let d = -1876 - -5668. Is 15 a factor of d?
False
Let t(u) = 427*u**3 - 5*u**2 - 26*u + 97. Is t(3) a multiple of 36?
False
Let q(v) = v**2 + 7*v - 11. Let j be q(-8). Let z be 6/j + 194 + (-4)/(-4). Let a = -93 + z. Is a a multiple of 15?
False
Let o be 284/(-6)*(-615)/82. Suppose o + 131 = 6*x. Is x a multiple of 4?
False
Let c(g) = -g**2 + 5*g. Let b be c(5). Let z be b + (0 - -92) + 0. Suppose 57 - z = -y. Does 7 divide y?
True
Suppose 39*k = -31022 + 181718. Is k a multiple of 84?
True
Let b = -2838 - -5610. Is b a multiple of 42?
True
Let p(l) be the second derivative of -l**4/12 - 5*l**3/2 - l**2/2 - 2*l. Let u = -84 + 74. Does 10 divide p(u)?
False
Suppose 3*i + 273 = -l, 3*l - 11*i + 15*i = -844. Let a = -284 - l. Does 4 divide a?
True
Suppose -418 = 5*u + 162. Let a = u - -244. Does 12 divide a?
False
Let m = 719 + -381. Let u = m - -28. Is u a multiple of 61?
True
Suppose -12*j = -13 - 11. Is 48 a factor of (-2 - j - -1) + (-140)/(-1)?
False
Suppose d - 6675 = 753*v - 754*v, -4*d - 8 = 0. Is v a multiple of 9?
False
Let o = -8255 + 34387. Is 139 a factor of o?
True
Let m = 61223 - 41161. Suppose 11*t + 6202 = m. Is 20 a factor of t?
True
Let s = 538 + -1117. Let d = -334 - s. Is d a multiple of 38?
False
Suppose -5*g - 5*x + 635 = 0, 0*g + 4*g = -3*x + 504. Let i = -119 + g. Is i a multiple of 3?
False
Suppose -3*q - n = -2, 2*n - 4 = -2*q + 3*q. Suppose -23*w + 21*w + 150 = q. Suppose 10*o - 705 = -w. Does 15 divide o?
False
Let r be 708/24 + (-2)/4. Let i(h) = h**3 - 25*h**2 - 102*h + 33. Is i(r) a multiple of 38?
False
Is 6 a factor of 29/(116/6)*930?
False
Does 95 divide (-7794)/(-2) + (-20 - 4)/12?
True
Let l(i) = -7*i**2 - 137*i - 20. Let w be (((-9)/6)/((-27)/(-684)))/2. Is 16 a factor of l(w)?
False
Let f be (28 + -29)*(-988)/1. Let j = f - 295. Suppose -5*w + j = 6*w. Is w a multiple of 9?
True
Let o(g) = g**3 - 32*g**2 + 78*g - 40. Let k be o(32). Suppose 0 = 5*p + 2*d - k, 2*p + 5*d = -p + 1485. Does 70 divide p?
True
Let p(f) = 296*f + 3. Let a be ((-5)/10*-3)/(2/4). Is 27 a factor of p(a)?
True
Let b(d) = -d**2 + 11*d + 6. Let a be b(12). Is 5 a factor of ((-19)/(-3))/((-2)/a)?
False
Does 236 divide 1 + 114/60*11054 + (-18)/(-45)?
True
Let x = 31059 + -27777. Does 5 divide x?
False
Suppose 0 = 22*u - 2084 - 8806. Let c = u - 450. Does 9 divide c?
True
Suppose 0 = -g + 270 + 1839. Is 64 a factor of g?
False
Let z(i) = -i**2 + 5*i + 12. Let c be z(7). Let a = -52 - -82. Is ((-1700)/a)/(c/3) a multiple of 17?
True
Suppose -5*y + 61 = 36. Suppose y*f = 6*f - 945. Is 103 a factor of f?
False
Does 53 divide 88659/(-4)*(-16)/12 + (-6 - -12)?
False
Suppose 0 = 6*w - w + q + 265, -29 = w + 5*q. Let j = -28 - w. Suppose 6*i = 64 + j. Does 5 divide i?
True
Let j(l) = 192*l**2 + 9*l - 10. Does 73 divide j(-5)?
True
Let t(j) = 314*j + 636. Does 17 divide t(48)?
True
Let c(u) = 95*u - 566. Let b be c(6). Suppose 0 = 2*z - n - 759, -4*z = -4*n - 934 - 590. Does 20 divide (-16)/32 + z/b?
False
Suppose -4*p + 3*v + v + 20 = 0, -10 = 5*v. Suppose 0 = -3*w + n + 410, 4*w = -p*n + 569 - 18. Suppose 0 = 2*t - w + 17. Is t a multiple of 15?
True
Let v(c) = 219*c - 2307. Is 3 a factor of v(16)?
True
Suppose -2329 = -31*g - 15*g + 7009. Is 29 a factor of g?
True
Suppose -27*k - 3*u - 9302 = -28*k, k + u - 9294 = 0. Is 7 a factor of k?
True
Suppose -q + 3*b + 14 + 1 = 0, -5*b + 31 = q. Let k = 79 - q. Is k a multiple of 58?
True
Let g(y) = 3*y**2 - 13*y + 5. Let n be g(5). Suppose -5*q - n = 0, -4*r + q = -4*q - 39. Let x(u) = 5*u**2 - 5*u + 4. Is 14 a factor of x(r)?
True
Suppose -40*s + 223009 - 62529 = 0. Does 34 divide s?
True
Suppose 11 = -21*p + 10*p. Does 14 divide (-3)/p + (500 - (16 + -7))?
False
Suppose 0 = -3*w + 2*p + 3404, -2*p + 6*p = 3*w - 3412. Suppose -65*g - w = -69*g. Does 22 divide g?
False
Let v = -362 + 368. Is 45 a factor of 8/(48/v) - (1 + -495)?
True
Let l = 80 + -74. Suppose 0 = -l*q - 3*q + 378. Let g = 139 - q. Is g a multiple of 7?
False
Let x(v) = -3*v**2 + 12*v - 5. Let j be x(13). Let m = 548 + j. Suppose w = 3*w - m. Is 16 a factor of w?
True
Let u(z) = -3745*z + 7595. Is 98 a factor of u(-7)?
True
Let i = -394 + 398. Suppose 2*p = -i*s + 870, -5*s - 3*p = -8*p - 1065. Is 20 a factor of s?
False
Let n(m) = -m**3 - 5*m - 4*m**3 + 13 - 2*m**3 + 6*m**3 - 5*m**2. Does 14 divide n(-7)?
F