ue
Suppose -11 = -4*h - 3*v, 4*h = -3*v - v + 16. Let p be 7*2/7 - h*3. Suppose p + 91 = 4*z. Does 6 divide z?
True
Let x(v) be the second derivative of -4*v**4/3 + 7*v**3/6 + 9*v**2 + v. Let l be x(-8). Does 11 divide (-4)/6*l/12?
False
Let d = -79 + 83. Suppose 4*b - 2*b = -2*i - 4, -d*i + 16 = -2*b. Is 28 a factor of i/(-7) - 19875/(-105)?
False
Let b(o) = -399*o + 8509. Is b(-71) a multiple of 163?
True
Suppose 36*g = -15*g + 216503 + 557371. Is g a multiple of 11?
False
Suppose -166*j + 55312 = -555568. Is 20 a factor of j?
True
Let j(s) = s**3 - 10*s**2 - 9*s - 14. Suppose 6*v + 5*c - 13 = 3*v, -4*v + 2*c = -52. Does 7 divide j(v)?
False
Suppose 64*y = y + 304290. Is y a multiple of 70?
True
Let w = -22 + 80. Let j = -966 - -1030. Let m = j - w. Is m a multiple of 6?
True
Let u(h) = 112*h - 2492. Is u(46) a multiple of 13?
False
Let k(d) = d**2 + 7*d + 17. Let t be k(-4). Suppose t*o - 3528 = -3*r + 1182, -3*r = o - 942. Is o a multiple of 72?
False
Let q = 10 + 5. Suppose 16*z - q*z - 103 = 0. Let t = z - 74. Does 13 divide t?
False
Suppose 5*f = 4*n + 999, -3*f + 991 = 2*f + 4*n. Let a = f + -173. Is 9 a factor of a?
False
Let k(q) = -2*q + 289. Let x(n) = -n - 1. Let l(v) = -4*v - 150. Let d(o) = -l(o) + 5*x(o). Let i(p) = 9*d(p) - 4*k(p). Does 24 divide i(0)?
False
Suppose -2*i - 27*q - 874 = -23*q, 2241 = -5*i + 4*q. Let d = i + 535. Is d a multiple of 15?
True
Let g(f) = -11*f**2 - 3*f + 3. Let p(q) = -31*q**2 - 10*q + 10. Let k(s) = -14*g(s) + 4*p(s). Is k(1) a multiple of 21?
False
Let i be 7/(-14)*1*-10. Suppose 0 = -f - i, 5*f - 165 = -5*p - 0*f. Let a = 52 - p. Does 4 divide a?
False
Suppose 15*b - 8315 - 9172 + 4617 = 0. Is b even?
True
Let s(p) = -24*p**2 + 1351*p - 35. Does 17 divide s(52)?
True
Let z = -218 - -150. Let w = z + 88. Does 5 divide w?
True
Suppose 0 = -5*v - 3*d + 745, 3*v = 4*d - 5*d + 451. Suppose 11*u + 129 = -3. Let o = v + u. Is 20 a factor of o?
True
Let x = -496 + 1096. Suppose 7*s + 3*s = x. Is s a multiple of 10?
True
Suppose -3*o = 3*u + 51, -3*u = u + 12. Is 24 a factor of 9 - (-138 + o/2)?
False
Let a be ((-26)/6 - -3)/((-22)/33). Suppose -x - 3*k = -30, -a*x + 2*k + 40 = -20. Is x a multiple of 3?
True
Let s(q) = 11*q**2 - 18*q - 53. Let j(y) = -y**2 + 2*y. Let l(h) = -2*j(h) + s(h). Is l(-5) a multiple of 83?
False
Suppose 1 = 3*x + 4*t, -3*t = -4*t + 1. Let i(u) = -722*u**3 - 2*u**2 + 1. Is 24 a factor of i(x)?
False
Let n = 179 - 179. Is 6 a factor of (-3)/12*-4 + 132 - n?
False
Suppose 3*r + o - 15611 = 0, 4*r - 9*r + o = -26037. Is r a multiple of 19?
True
Suppose -1401*v + 8304 = -1389*v. Is v a multiple of 9?
False
Suppose -123*o + 9*a + 9714 = -120*o, -5*a = 4*o - 13054. Is o a multiple of 51?
False
Let j = 27112 - 22964. Is j a multiple of 7?
False
Let i be (3 + 45/(-10))*-4 + -1. Suppose i*d - 184 = 271. Is 34 a factor of d?
False
Let a(v) = -44*v - 472. Let x be a(-13). Let b = x + 294. Is b a multiple of 18?
False
Let w(s) = 5 + 14 + 1 + 5*s. Let q be w(-4). Is 23 a factor of -4 - -2 - q - 434/(-2)?
False
Suppose -b - 2*i - 193 = -2*b, 0 = -3*b - 2*i + 587. Let q = b + -74. Is q a multiple of 9?
False
Suppose 737 - 725 = 2*l. Suppose l*i - 764 = 2800. Is i a multiple of 9?
True
Let z = 262 - 154. Suppose 4*i = z + 140. Does 10 divide i?
False
Let y(p) = -p + 12. Let x be y(9). Suppose 3*a = -4*v + 58, 0 = -4*a + x*v + 2*v + 129. Is 7 a factor of 303/(-2)*a/(-39)?
False
Let u(r) = -22*r**2 + 80*r + 70. Let z(o) = -9*o**2 + 32*o + 28. Let p(f) = 5*u(f) - 12*z(f). Does 7 divide p(8)?
True
Let p = 10881 - 10452. Is p a multiple of 33?
True
Suppose -28*g = -22*g - 690. Let p = g - -641. Does 14 divide p?
True
Suppose -q + 33 = 2*v, 3*q - v - 83 = -12. Suppose 3*w + 2*j = -2 + q, 0 = -2*j + 8. Suppose -5*f + f = 2*z - 158, -4*f + 173 = w*z. Is f a multiple of 37?
True
Let m(q) = q**2 - 16*q + 7. Let t be m(15). Let d = 0 + t. Is 12 a factor of 37 + 0 + d + 7?
True
Let z(h) = 4800*h + 1374. Is 59 a factor of z(2)?
True
Let t be 36 - 36 - (2/1 - 16). Suppose 5*y = -z + 811, 819 = 5*y - 5*z + t. Does 27 divide y?
True
Suppose -12*c + c + 836 = 0. Suppose 74*b + 670 = c*b. Is b a multiple of 16?
False
Let g(x) = 2*x**3 + x**2 + 2376. Let m be g(0). Is ((-7)/((-14)/m) - 5) + -6 a multiple of 23?
False
Let n = 228 - 221. Suppose n*x - 10*x = -1716. Is x a multiple of 26?
True
Let t = 36 + -35. Let g be 21/(-35) - (483/(-5))/t. Suppose 2*x = -x + g. Is 9 a factor of x?
False
Let r = 12050 + -8550. Does 20 divide r?
True
Let p(o) = 14*o**2 - 13*o - 2. Let t be p(7). Let y = t + -327. Suppose y + 109 = 5*s. Is 15 a factor of s?
True
Let o = -161 - -233. Suppose 71*z + 177 = o*z. Is 14 a factor of z?
False
Let h(p) = p**2 - 10*p - 11. Suppose -3*i - 20 = 2*i, 4*d + 2*i = 36. Let u be h(d). Suppose -3*c + 0*c + 303 = u. Is c a multiple of 27?
False
Let d(v) = -v**2 + v + 93. Let b(u) = 5*u + 44. Let y be b(-8). Suppose z - 2 = -2*h, y*h + 0 = 2*z + 4. Does 31 divide d(z)?
True
Suppose 0 = 27*p - 156959 + 33947. Is p a multiple of 10?
False
Is (-9)/(486/6) + (-4)/72*-309044 a multiple of 97?
True
Let r = 2365 - 1936. Is r a multiple of 13?
True
Let z be 3/(-2)*(-80)/12. Suppose 0 = 9*f - z*f + 8. Suppose -f = 2*u, y + 0*y = -5*u + 12. Does 8 divide y?
True
Suppose -9*x = -4*x + 1320. Let r = x + 287. Is r a multiple of 5?
False
Does 48 divide 1 + ((-59322)/(-18))/(6*4/72)?
True
Let z(p) = 59*p**2 - 20*p - 57. Let b be z(-5). Suppose 4*i = b - 526. Is i a multiple of 8?
True
Suppose 0 = 4*t + 4 + 8, -22035 = -3*n + t. Is 213 a factor of n?
False
Does 21 divide (77 + -76)*(1 + 1426)?
False
Suppose 864 = 20*s - 16439 - 18757. Is s a multiple of 9?
False
Let w(f) = -f**2 + 14*f - 8. Suppose 0 = -2*u + u + 3*n - 5, 0 = -5*u - 2*n + 26. Let j be (12/u)/((-2)/(-6)). Is w(j) a multiple of 2?
False
Suppose -21*b - 39 = 633. Let n(h) = h**3 + 33*h**2 + 58. Is 51 a factor of n(b)?
False
Suppose 87889 + 14386 = 15*t + 15830. Is 25 a factor of t?
False
Let h = 26 + -24. Does 17 divide (-5 - (-3 + 8))*(-37)/h?
False
Suppose 0 = -5*x + d + 106 - 554, -x + 4*d = 101. Let p = -40 + -13. Let q = p - x. Is q a multiple of 12?
True
Suppose 42*w + 106726 = 59*w. Is w a multiple of 11?
False
Suppose -7 = -4*i + 3*c, 3*i + 37*c = 41*c. Let v(g) be the second derivative of g**3/2 - 5*g**2/2 - 2*g. Is v(i) a multiple of 7?
True
Suppose -5000 = -4*i - n - 4*n, 5*i = -n + 6271. Is 70 a factor of i?
False
Let t be (-4)/26 - 552/(-39). Let b(a) = 46*a + 16. Let q be b(t). Suppose f + q = 7*f. Is 22 a factor of f?
True
Let d(w) = 53*w**3 - 2*w**2 - 6*w + 14. Let h be d(4). Suppose 28*b = 18*b + h. Is b a multiple of 6?
False
Let u(r) = r**3 + 3*r**2 - 4*r - 12. Let j be u(-4). Is 5 a factor of (j/(-16)*-3)/(3/(-60))?
True
Is 39 a factor of (165/495)/(2/85644)?
True
Let q(l) be the third derivative of -53*l**4/24 - 24*l**3 + 98*l**2. Is 6 a factor of q(-6)?
True
Let b = -76 + 136. Suppose u = 3*u - 3*l + b, -3*l = -3*u - 87. Let v = 51 + u. Does 8 divide v?
True
Suppose 30850 - 550553 - 194297 = -100*t. Does 51 divide t?
True
Suppose -104*y + 80446 = -85*y. Does 203 divide y?
False
Suppose -36*l + 684 = -24*l. Suppose 0 = -38*b + l*b - 1444. Does 4 divide b?
True
Let w = -322 - -327. Does 48 divide (w*-16 + 0)/((-4)/24)?
True
Let s(x) = x**3 + 0*x + 3*x + 9*x**2 - 3*x**2 - 5. Let w be s(-5). Suppose 5*y + w = 6*y. Is 5 a factor of y?
True
Let i = 8574 + -8417. Suppose 682 + 222 = 4*d. Let b = d - i. Is b a multiple of 23?
True
Let a(z) = z**3 - z**2 - 10*z + 7. Let t be a(4). Is 867/t - -2*(-5)/(-50) even?
True
Suppose b = 7*b - 702. Suppose 0 = 2*i + 5*m - b, -2*i + m - 5*m = -114. Does 16 divide i?
False
Is (((-12450)/(-24))/(-5))/((-6)/1128 - 0) a multiple of 5?
True
Let o(n) = n**3 - 4*n**2 + 2*n - 2. Let v be o(4). Suppose v*k + 0 = 24. Suppose 0*d = k*d - 328. Does 34 divide d?
False
Let n be 14 + 355 + -1 + -4. Let r be n/8 + 1/2. Does 9 divide 3/(6/44) + (42 - r)?
True
Suppose 2*d - 55424 = -0*n - 2*n, 2*d + 138574 = 5*n. Does 127 divide n?
False
Let x(o) be the first derivative of 23*o**2/2 + 7*o + 29. Let y be x(8). Let r = -96 + y. Is r a multiple of 32?
False
Suppose 37*h - 22*h = 405. Suppose -30*l + h*l = -105. Is l a multiple of 5?
True
Let v = 746 + 177. Is v a multiple of 13?
True
Is 74 a factor of (2775/(-6))/(