?
False
Let r = -141 - -143. Suppose -r*i - d = -6*d - 350, -3*d = -3*i + 534. Is 15 a factor of i?
True
Suppose 0 = 11*k - 8*k - 2*m + 270, 4*k = 4*m - 364. Let r = 2 - k. Is 9 a factor of r?
True
Suppose r = 5, s + 5*r = -s + 33. Let k be 230 - (s - (3 + -2)). Let q = k - 47. Is 18 a factor of q?
True
Is 11 a factor of (-274)/6*(940/(-3055) - 620/13)?
False
Let u(z) = z**3 + 5*z**2 + 2*z - 5. Let p be u(-4). Suppose 0 = 4*t - b - 53 + 36, 0 = 5*b + 25. Suppose t*x + 93 = -3*g + 6*g, 2*g - 61 = p*x. Does 4 divide g?
True
Suppose 2*y - 425 = 5*d + 2416, -2*y + 2865 = 3*d. Is y a multiple of 157?
False
Let h(n) be the second derivative of -2*n - 9/2*n**2 + 20/3*n**3 + 0. Does 17 divide h(4)?
False
Suppose -j + 4503 = 3*y, -4521 = -173*y + 170*y + 2*j. Is y a multiple of 38?
False
Does 73 divide ((-2529)/(-1124))/(3/7300)?
True
Let n be (63/6)/((-5)/(-10)). Let r(v) = 7*v - 39 + 16 + n. Is 22 a factor of r(5)?
False
Let q(g) = -g - 5. Let u be q(-5). Suppose 4*h - 5*l + 85 = u, -l = h - 5*l + 35. Is 59 - (-12)/h*5 a multiple of 12?
False
Let t(f) be the second derivative of f**4/2 + 13*f**3/6 + 21*f**2/2 - 63*f. Is t(8) a multiple of 19?
False
Suppose 9*a - 8*a + 4*v = 33, -5*v = -a + 15. Does 51 divide 4/10 - (-10)/a*3059?
True
Does 4 divide (-256056)/(-48) - 5/2?
True
Suppose -23*r = -3*c - 19*r + 6217, 0 = -c - 5*r + 2085. Is c a multiple of 83?
True
Suppose 24*z - 21*z = -204. Let j = z - -73. Suppose -3*w + 5*l = 3*l - 138, -207 = -4*w - j*l. Does 3 divide w?
True
Let p be (-693 + 6)*(2 + (-114)/9). Is 7 a factor of (-4)/(-18) + (p/72 - 0)?
False
Let a = 168 + -169. Is (26/4)/(a*(-4)/48) a multiple of 8?
False
Let l = -10726 + 15593. Is l a multiple of 12?
False
Suppose 67*p - 111*p = -66*p + 322454. Is p a multiple of 4?
False
Let u(j) = -2*j**2 + 12*j + 2. Let n(p) = -3*p**2 + 23*p + 3. Let s(w) = -3*n(w) + 5*u(w). Let g be s(-9). Let v(b) = 48*b**2 + b - 1. Is 16 a factor of v(g)?
True
Let n(m) = 153*m - 17. Let v = 95 - 91. Is n(v) a multiple of 17?
True
Suppose -68542 = -35114*b + 35101*b + 55114. Is b a multiple of 21?
False
Suppose -144831 - 101881 = -168*c + 187568. Does 5 divide c?
True
Suppose -12*x - 64 = 44. Let w = -3 - x. Suppose -81 - 81 = -w*r. Does 3 divide r?
True
Let z(w) = w**3 - 12*w**2 - 26*w - 33. Let j be z(14). Does 27 divide 569 + 2 + -3 + 4 + j?
True
Let u be (60/(-8))/((-72)/96). Does 81 divide (-27)/(-4*u/360)?
True
Suppose 8*t + 19 = 4*y + 7*t, 2*y + 3*t = 13. Suppose -4*u - 1231 = -3*j, -12*j - y*u = -16*j + 1641. Is 17 a factor of j?
False
Is 395 a factor of (-16)/(-12)*(20 - (-4702100)/80)?
False
Let b(v) = v**3 - 17*v**2 - v + 21. Suppose -c = -2*c + 17. Let w be b(c). Suppose 5*u + w*o - 5*o = 252, -42 = -u + 3*o. Is 17 a factor of u?
True
Suppose -5*m = -b + 2*b + 12, 4*b = 3*m - 48. Let q be (-608)/(-6) + (b - -6)/18. Suppose -244 = -5*l + 2*y, 5*l - 149 = 5*y + q. Is l a multiple of 16?
True
Let z = 3 - -70. Suppose -17 = 7*s - z. Let b = s + 26. Is 25 a factor of b?
False
Is 3 a factor of (-8)/(-6)*25470/120?
False
Let d(i) be the third derivative of i**5/60 - 5*i**4/24 + i**3 - 66*i**2. Is 30 a factor of d(-7)?
True
Let s(w) = -w**2 + 2*w - 1. Let m(o) = 2*o**2 - 40*o - 26. Let r(u) = m(u) + 3*s(u). Does 16 divide r(-27)?
True
Let p = -98 + 44. Let g = p - -66. Does 11 divide (g/18)/(2/9) - -82?
False
Let b(k) = 732*k**2 + 26*k + 18. Is b(-2) a multiple of 31?
False
Let h(u) = 69*u - 67. Let v be h(-18). Let i = -918 - v. Is i a multiple of 42?
False
Suppose 2*r + 9*k = 10*k - 708, 4*r = 5*k - 1428. Let u be 3/1 - 1022/(-2). Let y = u + r. Is 18 a factor of y?
True
Let o be 68/12 - (-16)/(-24). Suppose -2*m + 0*m = 5*s - 207, 0 = o*m + 3*s - 489. Is m even?
True
Let s be 400/30 + 2/3 - 1. Suppose 0 = -s*w + 18*w - 835. Does 20 divide w?
False
Let n be 5 + ((-6235)/(-15))/(2/6). Let f = n - 89. Is f a multiple of 21?
False
Is 79 a factor of (726/(-24) - -6)/(2/(-872))?
False
Let h(f) = 151*f**2 + 93*f + 400. Is 73 a factor of h(-19)?
True
Suppose 16633 = 24*k - 19319. Suppose -59*m = -52*m - k. Is 11 a factor of m?
False
Let g = 719 + 661. Does 27 divide g?
False
Let n = 134 + -135. Is 43 a factor of -826*((-2)/5 - n/(-10))?
False
Let m(l) = l**3 + 59*l**2 - 5*l - 117. Is m(-15) a multiple of 159?
True
Suppose 0 = 425*a - 428*a + 9, -4*a = -3*d + 41007. Is 121 a factor of d?
True
Suppose 963032 = -370*o + 6798302. Does 16 divide o?
False
Let r(j) = j**2 - j - 1. Let k(o) = -3*o**2 + 4*o + 1. Let i(z) = -k(z) - 5*r(z). Let g be i(-3). Let t = 47 + g. Is t a multiple of 30?
True
Let n be (-2)/(-4)*(5 - 1) + 2. Suppose -4*h - 54 = 5*b, -5*h - 51 = 5*b - n*h. Is 30 a factor of 4/b - 1116/(-15)?
False
Let c = -28731 + 34683. Is 31 a factor of c?
True
Let b(o) = -76*o - 1235. Is b(-52) a multiple of 13?
True
Suppose 116*j = -l + 112*j + 5917, 5*l = 4*j + 29513. Does 106 divide l?
False
Let u = 11044 + -7204. Is u a multiple of 24?
True
Let v(l) be the first derivative of l**6/360 - l**5/15 + 17*l**4/24 - 2*l**3/3 - 16. Let g(j) be the third derivative of v(j). Is 8 a factor of g(8)?
False
Let a = 15303 + -10925. Is a a multiple of 11?
True
Suppose -2*g + 233 - 5 = 0. Suppose -o = -3*t - g, -116 = -3*o + t + 186. Does 11 divide o?
True
Let y(r) = r**3 + 4*r**2 - r - 5. Let j be y(5). Suppose 63*b = -49*b + 448. Suppose 20 = 4*c, 575 + j = b*i - 2*c. Is i a multiple of 20?
True
Let r = -221 - -224. Suppose 0 = -3*d + 5*w + 52 + 29, -5*w = r*d - 81. Does 2 divide d?
False
Let b be (-4)/1*90/(-12). Let x be 36/b - (-4)/5. Suppose q + 9 = x*q. Is 9 a factor of q?
True
Suppose 2*o = -4*t + 5*o + 21, -2*o = 2*t - 14. Does 8 divide (-386)/((-8)/1 + t)?
False
Is -75971*(9 + (-1635)/210 - (-9)/(-6)) a multiple of 13?
False
Suppose -17*t - 4 = -18*t. Suppose 4*x = 8*p - t*p - 4032, -2*p - x + 2007 = 0. Is 15 a factor of p?
True
Let p = 14929 + -14385. Is p a multiple of 22?
False
Let n(d) = 24*d - 36. Let z(b) = 47*b - 73. Let t(s) = -5*n(s) + 3*z(s). Let c be t(-9). Does 20 divide 360/48*c/(-10)?
False
Let r = 1252 + 3560. Suppose 0 = 4*l - l + r. Is l/(-52) - (-10)/65 a multiple of 6?
False
Let y(s) = s**3 - 4*s + 2. Let w be y(-6). Let u = w - -317. Suppose 27 = -4*q + 2*j + 137, j - u = -5*q. Does 13 divide q?
True
Suppose 4*m - 4*f = 27216, -3*f = 69*m - 65*m - 27237. Is m a multiple of 3?
True
Let c = 8158 + -5495. Does 37 divide c?
False
Let f(q) = 4*q**2 - 68*q - 4. Let v be f(17). Is v/(-3)*21762/36 a multiple of 58?
False
Does 19 divide 48/18*(-1401)/(-4)?
False
Let u be 1 + (-114)/10 - (-4)/10. Let h = u - -129. Is 17 a factor of h?
True
Let y be 21/(3 + 0) + (-7 - -2). Let v(f) = 6*f**3 + 13*f**2 - 23*f + 5. Does 27 divide v(y)?
False
Suppose -12*m + 127 = -41. Let f = 172 - m. Let p = f + -7. Is 21 a factor of p?
False
Let u = 3667 + -3253. Does 138 divide u?
True
Let b be ((-5)/4)/((-57)/228). Suppose -626 = -b*k + 109. Is 3 a factor of k?
True
Suppose -2*g = -36 + 34, -4*m = -4*g - 6932. Is 19 a factor of m?
False
Suppose -97*p + 98*p = 4*i - 47914, -47890 = -4*i + 5*p. Does 269 divide i?
False
Let u be (3/2)/((-2)/132). Let q = 657 + u. Is 39 a factor of q?
False
Let m = -116 + 69. Let y = 1 - m. Suppose -42 = -3*p - 3*v, -2*v + 0*v = 4*p - y. Is p even?
True
Let q(d) = 64*d**2 + 45*d + 163. Does 25 divide q(-6)?
False
Suppose -128*z = -107*z - 140604 + 23760. Does 5 divide z?
False
Suppose 4*h - 5*o = 24608, -5*h + 40*o - 35*o + 30770 = 0. Is h a multiple of 42?
False
Let f be 2 + (5 - -36) - -2. Is 13 a factor of -3*(-5)/(f/804)?
False
Let x(p) = -p**3 + 8*p**2 + 11*p - 19. Let k be x(9). Does 10 divide (-3408)/60*k*(5 - 0)?
False
Let k = 1805 + 1246. Is 9 a factor of k?
True
Let s = -287 + 857. Suppose -s = -13*d + 8*d. Is 3 a factor of d?
True
Let g(z) = 18*z**3 + 2 - 17*z**3 - 10*z + 5 - 2*z**2 - 1. Is g(5) a multiple of 3?
False
Let h(o) = 14*o**2 + 1. Let m = 50 - 68. Let j be 4/m + (-13)/((-585)/100). Is 19 a factor of h(j)?
True
Suppose 383280 = 16*q - 8*q + 32*q. Does 75 divide q?
False
Suppose -s = -4*n - 38, -4*s - 18 = -4*n - 50. Let o(d) = -3*d**2 - 23*d + 4. Let w(i) = i**2 + 8*i - 1. Let g(v) = -3*o(v) - 8*w(v). Is g(n) a multiple of 23?
True
Let h(r) = 88*r - 1835. Is 3 a factor of h(22)?
False
Suppose 2*o + 1 = o + 3*i, 4*i = -5*o + 14. Let a(c) = 87*c**2 - 10*c - 89*c**2 - 22*c -