t r = -297 - q. Is 11 a factor of r?
True
Suppose -170*i = -69*i - 2619637. Is 9 a factor of i?
False
Does 13 divide 20/(4480/(-14)) - 522370/(-32)?
False
Let n(m) = -7*m**3 + 17*m + 3. Let c be n(-5). Let d = c - 297. Does 25 divide d?
False
Let b be 46/115 - (-11776)/10. Is 3 a factor of 30/(-50) - b/(-5)?
False
Let w = -4 + -26. Let p be 16/120 + (-14186)/w. Suppose p - 113 = 3*b. Is b a multiple of 15?
True
Suppose 0 = -8*n + 3*n - 475. Let a = n + 98. Suppose -5*k - 378 = -2*m, -3*m = a*k - 8*k - 562. Is 23 a factor of m?
True
Let l = 8401 + -4089. Does 22 divide l?
True
Let n(k) be the second derivative of -18*k**5/5 + k**4/3 + k**3/6 - k**2 + 79*k. Is 19 a factor of n(-1)?
False
Let s be -286 - 19/((-57)/18). Does 34 divide ((-7)/(s/(-12512)))/((-6)/15)?
True
Let w = 34 + -33. Suppose -3*l + 7 = -0*l - 5*m, 3*m + w = l. Suppose 4*c = 4, d + l*d - 406 = -c. Does 12 divide d?
False
Let y be 63 + -23 - (0 + 4). Suppose -y*t + 960 = -34*t. Is 93 a factor of t?
False
Suppose -n + 17 = 5*u - 6*u, 2 = -2*u. Let m(r) = 6*r - 20. Is m(n) a multiple of 4?
True
Let n(j) = -8*j**2. Let y be (2/(-5))/((-16)/40). Let i be n(y). Is 5 a factor of 9/(-12) - 190/i?
False
Does 2 divide ((3 - 789)*2/(-4))/((-15)/(-10))?
True
Suppose 4*f + 5*g - 1757 = -528, -4*f + 4*g + 1184 = 0. Let j = f - -538. Does 14 divide j?
False
Let k = 3690 + -1531. Suppose -4*l + k = 559. Is 40 a factor of l?
True
Suppose -c + 3*p = 14, -14 = -4*c - 5*p + 15. Suppose c = 3*r - 11. Is 41 + r*4/(-8)*1 a multiple of 9?
False
Is 3384/(-7)*406/(-87) a multiple of 47?
True
Suppose -169 = -2*p + 3*y, 4*y - 348 = -p - 3*p. Suppose v = -p + 236. Is v a multiple of 30?
True
Suppose 5*l - 70*z - 47230 = -68*z, 3*l = 3*z + 28347. Is 32 a factor of l?
False
Let g be (-1*(1 - -2) - -58) + -3. Let a = g - -6. Let q = -19 + a. Is 17 a factor of q?
False
Let y(g) = -5*g - 30. Let b be y(-6). Suppose b = -2*t + 3*t - 1721. Suppose -o = 4*d - 1203, 5*d + 2*o - t = -218. Is d a multiple of 51?
False
Let t(c) = -8649*c - 9156. Is t(-5) a multiple of 11?
True
Let v(t) = 61*t**3 - t**2 + t - 8. Let f be v(3). Let b = -925 + f. Is b a multiple of 39?
False
Let t be -1*(-7)/(-4)*-8. Let u be (3 - t/4)*0. Suppose 2*m = -5*z + 92, 0 = -u*z - 4*z - 5*m + 60. Does 3 divide z?
False
Let z(a) = -295*a + 207. Suppose 5*c - 5*n = -30, 4*c + 0*c + 10 = -3*n. Is 27 a factor of z(c)?
False
Suppose 0 = 35*u - 24*u - 26235. Suppose 4*h - h - 4*w = 1433, 5*w + u = 5*h. Is 25 a factor of h?
True
Is 12 a factor of (72 - (12 - 4))*-10*10/(-4)?
False
Suppose 9*i + 5*b - 30 = 4*i, 4*i = 2*b. Let s(p) = 10*p + 320. Let m be s(-32). Suppose -y - i*y + 120 = m. Does 10 divide y?
True
Let j(k) = -4*k**3 + 34*k**2 + 80*k + 3. Let f(g) = -g**3 + g + 1. Let s(d) = -3*f(d) + j(d). Is s(36) a multiple of 5?
True
Let b(k) = -4*k + 9. Let p be b(1). Suppose -766 = -q - a, 31*q - p*a + 770 = 32*q. Is 51 a factor of q?
True
Let y = -2524 - -6076. Does 16 divide y?
True
Suppose -4*f = 5*d - 9519, -22*d + 3*f + 3803 = -20*d. Is 6 a factor of d?
False
Let c = -514 + 24324. Is 13 a factor of c?
False
Suppose 3*s = 149 - 101. Does 24 divide s/56 + (-4530)/(-21)?
True
Is (8 + (-3440)/48)*-36 a multiple of 40?
False
Suppose z - 53540 = 4*a, 10*z + 2*a = 7*z + 160690. Is z a multiple of 12?
False
Does 73 divide (-228)/(-798)*(-473403)/(-6)?
False
Does 97 divide -1211 + 1214 - (-1)/((-1)/(-23471))?
True
Let d be (3/18*4)/(2/15). Suppose -491 - 1119 = -d*o. Is o a multiple of 23?
True
Suppose 0 = -39*f - 912 + 3486. Suppose 0 = 3*c - d - 14, 5*c + d + 10 = -4*d. Suppose -3*w - 24 - 16 = -2*m, 3*m - f = c*w. Is 2 a factor of m?
True
Does 14 divide (0 + 0 + -11757)/(1016/(-2032))?
False
Let h = -8 + 15. Suppose -18924 = -32*t - 6*t. Suppose t = h*d - d. Does 18 divide d?
False
Let d be 2/3 + ((-320)/12)/(-8). Suppose -6 = -d*r - 2*a, 4*a - 1 = -5. Suppose r*p = p, -4*p + 66 = g. Is 11 a factor of g?
True
Suppose 254*o + 998187 = 3004043 + 610344. Does 103 divide o?
True
Is 43 a factor of (86/(-12)*282)/(1/(-3))?
True
Let c(y) = -y + 1. Let p(j) = -2*j - 4. Let s(z) = 10*c(z) - 2*p(z). Let k be s(3). Suppose -4*r + 58 - 6 = k. Is r a multiple of 5?
False
Let b be (-2)/(-2) + (5/1)/(-5). Suppose 5*j - 5*v + 15 = b, -3 = -j + 3*v - 14. Let d(t) = 16*t**3 + 2*t - 1. Does 13 divide d(j)?
False
Suppose -4788 = -342*t + 339*t. Does 38 divide t?
True
Let t(v) = v**2 - 25*v + 41. Let z be t(26). Suppose -5*g = -f + z, 0 = 4*f + f - 3*g - 445. Is ((-437)/f)/(((-3)/(-28))/(-3)) a multiple of 19?
True
Does 67 divide (-12)/(-28) + 613416/84?
True
Let z(q) = -q**2 + 15*q - 39. Let a be z(10). Suppose 0 = a*c - 1306 - 2852. Does 54 divide c?
True
Let l(s) = -15*s + 12. Let y(u) = 30*u - 24. Let r(x) = 9*l(x) + 5*y(x). Let f(k) = 5*k**3 - k**2 + k - 1. Let z be f(1). Is 8 a factor of r(z)?
True
Let x(u) = 51*u + 4041. Is 24 a factor of x(-75)?
True
Let f = 23055 + -15441. Does 47 divide f?
True
Suppose -168*u + 137877 + 863513 = -180994. Does 69 divide u?
True
Suppose -1087 = -2*w - 47. Suppose 11*u = u + w. Is u even?
True
Let m = -46 + 113. Suppose 72*f - 1565 = m*f. Is 13 a factor of f?
False
Let p = 3956 - 1888. Is p a multiple of 22?
True
Let a = 900 - -1035. Does 25 divide a?
False
Let h(i) = i**2 + 18*i + 20. Let g be h(-17). Suppose -g*o + 5*q - 193 = 0, -o = 5*q + 29 + 22. Let w = -48 - o. Does 4 divide w?
False
Suppose -150*a + 51674 + 237430 = -148446. Is a a multiple of 6?
False
Let o(i) be the third derivative of 7*i**4/6 + 203*i**3/3 + 31*i**2 + i. Does 11 divide o(0)?
False
Let h(f) = -9*f - 4. Let b be h(-1). Suppose -5*y + 457 = -3*v, 4*y - v = -b*v + 340. Is y a multiple of 11?
False
Does 47 divide (-3993)/(-17) + 5/(765/18)?
True
Let w(u) = 33*u + 184. Let p be w(-6). Does 48 divide 3/21 + (2 - 19514/p)?
False
Suppose 3*z = 6, -3*i - 2*z + 362 = -314. Suppose i*f - 222*f - 248 = 0. Is 40 a factor of f?
False
Let h = -76 - -76. Suppose -189*v + 184*v + 50 = h. Suppose -f = v*f - 759. Does 23 divide f?
True
Is 15 a factor of 2684*1 + (-2)/(-8) + 11/4?
False
Let s = -89 + 188. Does 20 divide 0 + s - (1 + 2 - 4)?
True
Let q(u) = -108 + 60*u + 13*u**3 - 9*u**3 - 11*u**2 - 3*u**3 - 13*u - 14*u**2. Is q(24) a multiple of 74?
True
Is (-6)/((-6)/2496*12) a multiple of 4?
True
Let m(q) = -10*q + 96 + 102 - 6 + 160. Is 20 a factor of m(-49)?
False
Let g(x) be the third derivative of x**6/120 - x**5/60 - x**4/3 + 2*x**3/3 - 2*x**2 - 12. Is 22 a factor of g(10)?
False
Let i be 3 + (-8)/(-20)*40. Suppose -i*n + n + 162 = 0. Is n even?
False
Is 25 a factor of (-1)/(-8) - 5/((-1000)/649975)?
True
Let n = 17489 + -2854. Does 5 divide n?
True
Suppose 3*z - f - 1978 = 470, -5*z + 5*f + 4080 = 0. Suppose z = -h + 4*h. Is 16 a factor of h?
True
Let l(t) = -328*t - 184. Let g be l(-17). Suppose 78*h = 70*h + g. Is 45 a factor of h?
False
Let x = 7666 - 7321. Does 2 divide x?
False
Let l = 38 - 35. Suppose -l*q = q - 64. Suppose 47 = 7*s - q. Does 3 divide s?
True
Let g(s) = -s**3 - 9*s**2 - s + 12. Suppose 0 = -0*t - t - 510. Let d be 6/(-16) + t/48. Is g(d) a multiple of 12?
False
Let r(g) = 10*g - 7 + 9*g + 11 - 11 + 34. Is r(30) a multiple of 5?
False
Let w(c) = -5*c + 37. Let g be (0 + (-4)/(-3))/(6/27). Let k be w(g). Let p(o) = o**2 - o - 6. Is 18 a factor of p(k)?
True
Let r = -10 + 19. Suppose 0 = 2*y + 1 - r. Suppose c - 16 = -y. Does 7 divide c?
False
Let t(x) = -2*x**3 + 23*x**2 + 12*x + 22. Let s(y) = 5*y**3 - 67*y**2 - 35*y - 64. Let v(b) = -3*s(b) - 8*t(b). Is v(-15) a multiple of 23?
False
Is 36 a factor of (-6)/(-8) - (3611960/(-480) + (-30)/(-18))?
True
Suppose 0 = -2*r - 10 + 20. Suppose r*q = 9*q - 128. Is q a multiple of 10?
False
Let z(a) = 93*a**2 - 13*a + 14. Let p be z(11). Suppose -12*r = -p + 2976. Does 97 divide r?
True
Suppose -4*c + 0*q + 3*q - 13 = 0, 5*c + 5*q = 10. Let d = c + 190. Is d a multiple of 19?
False
Let v(o) = -o**3 + 24*o**2 + 36*o - 72. Is 90 a factor of v(18)?
True
Suppose 33*k = 24*k + 126. Is (6 + k)/((-4)/(-32)) a multiple of 5?
True
Let m = -11601 + 11817. Is 24 a factor of m?
True
Let s be -2*(-3)/(-10) + 3/5. Suppose -3*z + 5*c = 26, 4*z + c + c = s. Let r(n) = 19*n**2 - n - 2. Is 21 a factor of r(z)?
False
Let y(b) = 32*b - 3229. Let u be y(101). Suppose s - 2*c + 602 = 5*s, -2*s + 2*c + 310 = 0. Suppose 3*i