ctor of j?
False
Let q(d) = 26*d + 1. Let s(x) = -x**3 - 4. Let b be s(0). Let g be b/(3 - 3 - 1). Does 16 divide q(g)?
False
Suppose -2*w - 57*r + 53*r = -8032, 2*r + 12000 = 3*w. Does 20 divide w?
False
Let h = 957 + -527. Is h a multiple of 5?
True
Let c(p) be the first derivative of 146*p**3/3 + p**2 + 9*p + 73. Is 11 a factor of c(2)?
False
Let f(n) = n**2 - n - 6. Let t be f(-3). Let o(g) = -13 - 5 + 5 + t - 14*g. Is 14 a factor of o(-5)?
False
Let t = -129 - -229. Let c = -98 + t. Suppose -c*a - 296 = -4*a. Does 9 divide a?
False
Let g = -75 - -92. Let s(y) = -y**2 + 18*y + 4. Let v be s(g). Suppose -3 - v = -i. Does 24 divide i?
True
Let y = 85 + -81. Let b be 67*((-3 - (-4)/(-2)) + y). Let q = 123 + b. Does 13 divide q?
False
Suppose 0 = 60*f + 134459 - 495659. Is f a multiple of 13?
False
Let a be (3/(2 - -7))/(23/13938). Let y = 418 - a. Does 36 divide y?
True
Suppose -2*w - 9 = -k, -2*k + 19 = w - 4. Suppose -46 = -5*y - k. Let q(c) = 5*c - 16. Does 12 divide q(y)?
False
Suppose -154*m - 576 = -157*m. Is 192 a factor of m?
True
Let p(m) = -7*m + 142. Let l be p(20). Suppose -22*u - l*u = -19200. Does 53 divide u?
False
Let d(b) = b**2 + 21*b + 24. Let g be d(-20). Suppose -g*k + k - 14 = -4*r, r = -3*k - 4. Suppose -r*x + 4*f + 78 = 0, -2*f + 102 = x + x. Does 12 divide x?
False
Let h be ((-8)/(-3) - 3)*(1 - -2). Let s(m) = -22*m + 4. Let j be s(h). Suppose 4*a + j = 4*y - 38, 5*a = -2*y + 46. Is y a multiple of 18?
True
Let c(v) = -3*v**3 - 18*v**2 + 5*v - 28. Is 128 a factor of c(-13)?
True
Let l = 88 - 148. Let o be (-8)/l - 42114/(-45). Suppose -7*b = -o + 257. Does 10 divide b?
False
Suppose -4*h + 324 = -0*h. Suppose -3*p + h = j + 3*j, 0 = -2*p - 2. Is 20 a factor of j?
False
Is (-1 - 2 - -2)/(-3 - (-477780)/159264) a multiple of 29?
False
Let m = 12 + -17. Does 4 divide 104 + (m - -1)/(-1)?
True
Let l(x) = x**2 - 3*x - 18. Let k be l(6). Suppose -q + 43 + 266 = k. Does 12 divide q?
False
Let m be 1 + 2 + (-2)/2. Let o(u) = -2*u**2 - 75*u - 663. Let d be o(-23). Suppose d*k - 4*s = -s + 231, -m*k + 2*s = -118. Is 41 a factor of k?
False
Let h be (-12 - (-459)/34)/((-3)/(-464)). Suppose 2*k - 281 = -c - 108, h = 3*k - 4*c. Is 14 a factor of k?
True
Let b = 50 - 71. Let k be 2 - (-10)/3 - (-7)/b. Suppose -4*i + s + 397 = 0, k*s + 107 - 3 = i. Is i a multiple of 33?
True
Let d = 891 + -261. Let m = 711 - d. Is 27 a factor of m?
True
Let w(a) = -32*a**2 - 44*a - 99. Let q(n) = -80*n**2 - 110*n - 248. Let d(h) = -5*q(h) + 12*w(h). Is d(-8) a multiple of 10?
True
Let t be (21/9)/(29/(-87)). Is 114/(-266) + (-1235)/t a multiple of 13?
False
Let l = 7 + -3. Suppose 857 = 4*w + w + 2*u, l = 4*u. Let m = w - 74. Is m a multiple of 25?
False
Let a(u) be the first derivative of -u**4/4 + u**3/3 + u**2/2 + 5*u - 8. Let t be a(0). Suppose -45 = -t*x + 145. Is x a multiple of 19?
True
Let k(g) = -76*g + 20. Let r(x) = 15*x - 4. Let y(c) = 2*k(c) + 11*r(c). Let i be y(4). Suppose -2*w - 2*w + i = 0. Is 4 a factor of w?
True
Let y be 0 + 0 - (-1 + 2)*0. Let i be (y - 0)/(0 - (-2 - -3)). Suppose 2*k + 2*k - 216 = i. Is 9 a factor of k?
True
Suppose 0*u + y + 9 = 2*u, 3*u = 3*y + 15. Suppose -84*j + 15 = -86*j + 3*n, 3*j = 5*n - 25. Suppose -5*l + z + 0*z + 247 = j, u*z + 8 = 0. Does 10 divide l?
False
Let l be (882/(-12))/(-1 + 5/8). Suppose -12*n - l + 4360 = 0. Is n a multiple of 10?
False
Let t be 2 + (85 + -2)/((-5)/(-10)). Suppose -t = -11*u + 8*u. Does 8 divide u?
True
Let d(b) be the third derivative of b**7/630 + b**6/240 + b**5/15 - 13*b**4/24 + 21*b**2. Let u(h) be the second derivative of d(h). Does 20 divide u(-4)?
True
Let i = 2279 + -1416. Suppose i = -r + 3*r - c, -2*c + 1706 = 4*r. Is 50 a factor of r?
False
Suppose 36*x + 36*x - 384890 - 48478 = 0. Is 98 a factor of x?
False
Let x = 732 + -710. Let l(u) be the third derivative of u**4/24 + 37*u**3/6 + 6*u**2. Is l(x) a multiple of 11?
False
Let f(p) be the second derivative of p**4/12 - p**3/3 - p**2 - 2*p. Let l be f(4). Suppose -l*o + 3*o = -183. Does 31 divide o?
False
Suppose -5*c - 20 = 0, -i + 53*c = 51*c - 6109. Is i a multiple of 75?
False
Let z(a) = -a**3 - 2*a**2 + 10*a + 4. Let n be z(-4). Let l(k) be the third derivative of -k**6/120 + k**5/10 + 3*k**4/8 - k**3/6 - k**2. Does 19 divide l(n)?
False
Suppose 359165 + 461455 = 65*c - 18*c. Is 194 a factor of c?
True
Suppose 4*d + 5*r - 5068 = 0, 5*r = -0*d + 5*d - 6380. Is 3 a factor of d?
True
Let t = 25 + -32. Let q(o) = -o**3 - 6*o**2 + 8*o + 11. Let a be q(t). Suppose 0 = -4*w - 2*d + 64, 2*w + a*d - 38 = -0*w. Is 4 a factor of w?
False
Suppose -4*n + 18 = -2*n + 4*w, -4*w + 16 = 0. Is 16*(51/6 - n) a multiple of 40?
True
Suppose 12*x = 18*x - 24. Suppose 0 = x*q + c - 1854, -18*q + 926 = -16*q + c. Does 29 divide q?
True
Suppose -2*m + t + 24166 - 3774 = 0, -3*t = 5*m - 50947. Does 8 divide m?
False
Let c = -11067 + 15693. Does 18 divide c?
True
Let y be (34/30 - (-10)/(-75))*3. Suppose -y*v - 1203 = -2400. Does 19 divide v?
True
Let a(o) = 21*o**2 - 13*o - 19. Let z = -858 - -864. Is a(z) a multiple of 16?
False
Suppose 22 = -5*i - 2*y, -3*y = 8 - 20. Let t be -1*i/(-33) - 120/(-55). Suppose 5*u - 212 = 2*g, 2*u = -0*u - t*g + 96. Does 11 divide u?
True
Suppose 7*s - 6*s + 361 = -5*h, 5*s + 1895 = 5*h. Let a be s/(-20) - (3 - 22/10). Suppose 5*m - a = -3. Is m even?
False
Let s(r) = 3*r + 7. Let v be s(2). Let g be 56/(-16) + 2 + v/2. Suppose -128 = -2*m - 2*m + g*a, 3*m - 96 = -a. Is 4 a factor of m?
True
Let d = -12874 - -18723. Is 29 a factor of d?
False
Suppose 5*y - 19840 = -5*a, -20*y + 18*y = 4*a - 7932. Does 10 divide y?
True
Let x(g) = -3*g**2 + 101*g + 3. Let d be x(22). Suppose -d - 639 = -4*r. Is 4 a factor of r?
False
Let k(l) = -4*l - 36. Let q be k(-18). Suppose -f + 23 = -q. Let y = 66 + f. Is 26 a factor of y?
False
Suppose 10*y - 5*m - 439175 = 0, y - 30 = -2*m + 43905. Is 263 a factor of y?
True
Let j be (-23)/(4/32 + 2/(-8)). Suppose -j = 279*n - 283*n. Does 14 divide n?
False
Suppose -u + 13 - 6 = 2*l, 2*u - 16 = -5*l. Suppose -2*d + 716 = d - 2*x, l*d - 478 = x. Is d a multiple of 3?
True
Suppose 3*c - 82952 = -2*q, -6*c + c + 138236 = -q. Does 32 divide (1/3)/(48/c)?
True
Suppose -199*q + 125*q = -110704. Is 88 a factor of q?
True
Let b(x) = x**2 - 10*x - 20. Let n be b(-3). Suppose 243 + n = 2*g. Does 13 divide g?
False
Let j(l) = l + 1. Let c be j(5). Suppose 304 = 10*a - c*a. Suppose 0 = 2*t - 208 + a. Is 7 a factor of t?
False
Suppose 0 = -5*b, -4*z + 6*b = 11*b + 1372. Let s = 388 + z. Is s a multiple of 45?
True
Suppose 30 = 12*m - 6. Suppose 6*z - 7*z + 159 = -m*x, 2*z = -5*x + 307. Does 13 divide z?
True
Suppose -9*f + 10*f = -59. Let d = f - -64. Suppose 28 = 3*s + 3*g - 41, -d*g + 43 = s. Is 5 a factor of s?
False
Suppose -66 = -i + 13046. Is 47 a factor of (i/66)/(1/3)?
False
Let j(r) = -1. Let n(i) = i**3 + 10*i**2 - 7*i + 7. Let l(z) = 2*j(z) + n(z). Let h be l(-10). Is (-1175)/h*(-3 - 0) a multiple of 23?
False
Suppose 6*s - 12 - 6 = 0. Suppose -o - 746 = -4*j - 3*o, s*o = 3*j - 573. Is 47 a factor of j?
True
Let g(y) = -10*y**2 + 47 + 7*y - 12*y**2 - 5 + 21*y**2. Let c be g(11). Does 30 divide 2*119 + (c - -2)?
False
Suppose -11*n + 43*n - 96 = 0. Suppose 0 = 4*p - n*i - 1206, 5*p - 36*i + 34*i - 1504 = 0. Is p a multiple of 60?
True
Let x = -2034 + 3528. Suppose 0 = 6*k - 156 - x. Suppose 0 = 276*f - k*f - 253. Does 11 divide f?
True
Let j = 18005 + -10970. Is j a multiple of 6?
False
Let z(l) = l**3 - 3*l**2 - 40*l + 150. Is z(21) a multiple of 24?
True
Let h(m) = 4 - m**2 + 19*m - 6 - 4 - 10. Suppose -4*v = -8, -40*w - 3*v - 69 = -45*w. Does 10 divide h(w)?
False
Let d(b) be the third derivative of -13*b**4/24 - 25*b**3/6 - b**2. Let c(g) = -221*g + 1321. Let f be c(6). Is 5 a factor of d(f)?
True
Suppose -104343 = -3*s + 2*r + 98095, -3*s + 202430 = 2*r. Does 61 divide s?
False
Let g = -855 - -839. Does 8 divide (3*-1 - (15 + g)) + 442?
True
Let o(q) = 9*q + 3. Let b be o(7). Suppose 2*x + 66 = v - 6*v, 3*v - 6 = 0. Let a = x + b. Is 14 a factor of a?
True
Let y(l) = -6*l + 44. Let j be y(7). Does 11 divide (j + -644)/(-3 - (-18)/12)?
False
Let z = -348 + 764. Let x = z + -115. Does 18 divide x?
False
Let p = 3 + -2. Let s be p - (37 + -2 - 2). Let y = 47 + s. Does 