 of 4?
False
Suppose 51*q - 53*q = -26*q + 112080. Is 10 a factor of q?
True
Let q be 77*1*116/203. Let l(i) = i**3 + 7*i**2 + 2*i + 1. Let j be l(-5). Suppose -j*h = -q*h + 153. Is h a multiple of 17?
True
Let k be (2/1)/(1*(-4)/18). Let v be 6/k*6 + 6. Suppose -v*z + 16 + 24 = 0. Is 5 a factor of z?
True
Suppose -7*h = h. Suppose 7*o = -h*o + o. Suppose 8*t - t - 588 = o. Is 14 a factor of t?
True
Suppose -9*c + r + 7038 = -5*c, -r = -2. Does 42 divide c?
False
Let o = 570 - 841. Let c = o + 486. Suppose 5*w = -2*u + c, 3*w = 4*w - 4*u - 65. Does 17 divide w?
False
Let v(n) = -n**2 + 7*n - 5. Suppose -l = 3*z + 3*l - 23, 0 = -5*z - 5*l + 35. Let q be v(z). Does 4 divide 3/q - 194/(-10)?
True
Let x = 384 - -476. Does 86 divide x?
True
Suppose -197 = -11*a + 122. Suppose 0 = a*k - k - 8736. Does 39 divide k?
True
Let o = 240 + -235. Suppose 3*g - d = 953, 0 = -o*g - 5*d + 1314 + 241. Is 57 a factor of g?
False
Is ((9 - 396/48)*570)/(6/136) a multiple of 85?
True
Suppose 3*z = 4*o + 22 + 2, 0 = 3*z + 3*o - 3. Suppose z*g = -0*g - 32. Does 30 divide 13*3*(32/(-3))/g?
False
Suppose -2*t = 4*z - 48 - 14, 40 = t + 5*z. Let d = 163 + t. Does 47 divide d?
True
Suppose 3*l + k - 3204 = 0, 1064 = l - 13*k + 12*k. Suppose 9*h = 1705 + l. Is 22 a factor of h?
True
Let a(g) = -14*g - 20. Let t(b) = 5*b + 7. Let f(l) = -6*a(l) - 17*t(l). Let w(x) = -40*x + 44. Let c(p) = 56*f(p) - 2*w(p). Is 40 a factor of c(8)?
True
Let h(b) = 2*b**2 + 11*b - 21. Let p be h(-7). Suppose -5*q + p*q - 72 = -z, -2*z + 144 = 5*q. Is 6 a factor of z?
True
Let a be 62/12 - (-1)/(-36)*6. Suppose 293 = 3*d + 5*m + 102, a*d = 2*m + 308. Does 10 divide d?
False
Suppose -4*b - 1050 = -h, 2*b = -14*h + 15*h - 1050. Suppose -12*t + h = 18*t. Is t a multiple of 2?
False
Let m be -16 - (42/7 + -13). Does 59 divide (m - -8)/(2/718*-1)?
False
Let k be (8 - 8)/((-4)/4). Is 16 a factor of ((-4)/8 - k)*-104 + -4?
True
Let q(f) = 14*f + 28. Let h be q(2). Suppose h*v - 5258 = 34*v. Is 19 a factor of v?
False
Suppose 0 = 4*m + w - 76698, -70730 = -3*m + 4*w - 13235. Is 11 a factor of m?
True
Suppose -f = 2*q - 1329, 8*f - 11*f - 5*q + 3993 = 0. Is 3 a factor of f?
True
Suppose 2*s - 3*z = 4571, 32*s - 28*s - 9132 = -4*z. Is 8 a factor of s?
False
Let z(h) = 16*h - 24. Let v be z(1). Suppose 2*g - 500 = -3*g. Let u = g + v. Does 23 divide u?
True
Suppose 5*m = 35 - 20. Let q be 3/m*(-5)/15*-15. Suppose 0 = -o - q, -o = -2*u - 4*o + 97. Does 28 divide u?
True
Suppose 20*k - 22*k + 20 = 0. Let s = k + 293. Is s a multiple of 38?
False
Let l(r) = 224*r**2 + 10*r + 7. Let w be l(3). Let t = w - 1405. Is 24 a factor of t?
True
Let x = 37 + -34. Suppose -3*c = 2*l - 1, -4*l = 4*c + 1 + x. Suppose -c*z - 404 = -4*a, 5*z - 249 = -4*a + 123. Is a a multiple of 14?
True
Let p = -15259 + 17299. Is p a multiple of 34?
True
Let u = -73 + 27. Let c = 13 - u. Is 14 a factor of ((-4 - 0) + 5)*c?
False
Let a(v) = 2*v**2. Let d be a(1). Suppose 17*g - 10*g = 18*g. Suppose -o + 3 = 0, g*o = 5*u + d*o - 51. Does 2 divide u?
False
Let p be (-10)/(-15)*1 - (-148)/(-6). Let u(x) = 3*x + 101. Does 14 divide u(p)?
False
Suppose 41*w + 538920 = 112*w + 109*w. Is 65 a factor of w?
False
Suppose -11*g = 43*g + 33264. Let q = g + 791. Does 7 divide q?
True
Suppose -6*f = n - f + 5, n + f + 1 = 0. Let j be ((n/(-3))/1)/1. Let k(w) = -5*w**2 + 2*w + 30. Is 15 a factor of k(j)?
True
Suppose 100 + 188 = 5*o - 3*r, -2*r - 287 = -5*o. Suppose -28*k + 64 = -24*k. Suppose k = 4*n, 2 + o = a - 4*n. Does 6 divide a?
False
Let y = -12884 + 28536. Does 16 divide y?
False
Let w(c) = -58*c - 284. Is w(-12) a multiple of 39?
False
Let s = 15 + -14. Let o be (-1)/(s/(-6)*2). Is 1588/18 + o/(81/(-6)) a multiple of 8?
True
Is 87 a factor of 8/(-100) + (-1 - 6601364/(-175))?
False
Suppose 3*f = 5*k - 6093, -2*k = k - 5*f - 3643. Let o be (-7)/14 + k/6. Suppose -3*l = 2*c - 4*c - o, 5*l - 341 = 4*c. Does 18 divide l?
False
Let f(d) = d**2 - 5*d - 45. Let c be f(-12). Let v = 328 - c. Is v a multiple of 7?
False
Let y = 50 + -65. Let k(w) = w**3 + 15*w**2 + 5. Let p be k(y). Let t(z) = 3*z**2 + 6*z - 7. Does 14 divide t(p)?
True
Let o(x) = x**2 - 24. Let k be o(8). Suppose r + 134 = k. Let b = 104 + r. Is 5 a factor of b?
True
Let i be (-2 + 0)/2*-7. Suppose 2*y - 3 = i. Suppose -y*u = -688 + 213. Does 27 divide u?
False
Suppose 41*c - 215922 = -12*c. Is 73 a factor of c?
False
Let d = 1794 + -1141. Suppose 5*x - 482 = d. Is 8 a factor of x?
False
Is 52 a factor of 3/(-3)*-3 - 15/((-225)/150495)?
True
Let y be 92/5 + 5*(-10)/125. Suppose -y*b + 3291 + 4053 = 0. Is b a multiple of 51?
True
Suppose 0 = 8*r - 3609 + 641. Suppose -20 = -3*a - r. Let p = -89 - a. Is p a multiple of 14?
True
Suppose 4*i = 5*f - 29, -f + 23 = 4*f + 2*i. Let t = 9 - f. Is 9 a factor of 486/t - (1 - 15/10)?
False
Let o(k) = 2*k**3 - 15*k**2 + 52*k - 99. Is 15 a factor of o(11)?
True
Does 42 divide -8*(4 - 14/8)*(-201 + -2)?
True
Let f(v) = 21*v**2 + 14*v - 113. Let a be f(12). Suppose 3*s - a - 1190 = 0. Is 52 a factor of s?
False
Let b(r) = -5*r**2 + 15*r - 48. Let k be b(-19). Does 38 divide 1*(33/(-55) + k/(-5))?
False
Let m = -3 - -5. Let d be (m - 2) + 0/(-3). Suppose -8 = 3*f - 3*v - 305, d = -2*f - v + 189. Is 32 a factor of f?
True
Suppose -203*j = -198*j - 95. Let p = 28 + j. Is 5 a factor of p?
False
Does 177 divide -59*7*(-70)/(-3)*(-3222)/895?
True
Is 4 a factor of ((-4)/(-8)*-1124)/((-8)/(-6 + 38))?
True
Let o(g) = -2*g**3 + 16*g**2 + 22*g + 34. Is 108 a factor of o(-10)?
False
Suppose -26*a + 24*a - l = 1, 0 = 2*l + 2. Suppose a = 39*i - 10528 + 739. Is 9 a factor of i?
False
Suppose 4*l + 2*o = 1232, -4*l + 6*o - 2*o + 1232 = 0. Let y = -152 + l. Is y a multiple of 65?
False
Let r(c) = 243*c**2 - 33*c - 392. Is 64 a factor of r(-8)?
True
Let x be (-861)/(-18) + (-4)/(-24). Suppose -4*k = 2*z - 16, x = 7*z - 2*z + 2*k. Does 3 divide -4*z/(-4)*(-918)/(-180)?
True
Let u(k) be the first derivative of k**5/20 + k**4/8 - 8*k**3/3 - 20. Let w(t) be the third derivative of u(t). Does 3 divide w(1)?
True
Suppose -7326*h + 7311*h = -417255. Is 14 a factor of h?
False
Is (11 + -9)*(-3)/6*(-4779)/3 even?
False
Let l(j) = 36*j + 156. Let g be l(-4). Suppose 0 = -g*k + 27*k - 5100. Is k a multiple of 20?
True
Let b(q) = 2995*q**2 + 58*q + 100. Does 3 divide b(-2)?
True
Let c(p) = 2*p + 20. Let g be c(-6). Let d(l) = 3*l**2 - 24*l + 1. Let y be d(g). Is 121 + -1 + y + 1 - -2 a multiple of 31?
True
Is 4/(-34) + 43/(5848/650640) a multiple of 8?
True
Suppose 0 = -4*c - l - 467, -4*c - 470 = 4*l - 2*l. Suppose -5*m = -3*g - 3*m + 654, 436 = 2*g - 3*m. Let f = c + g. Is 17 a factor of f?
True
Let b = 210 - 198. Is 12/16*368/b a multiple of 23?
True
Let l(n) = 27*n + 3469. Is 15 a factor of l(-68)?
False
Let p = -38 + 53. Suppose -6 = 2*b, -y - p = 4*y + 5*b. Suppose y = -4*o - 18 + 2, 2*o + 551 = 3*f. Is 38 a factor of f?
False
Suppose -2 = -5*z + 5*b + 13, -13 = -4*z + 3*b. Let q(a) = a**3 + 5*a**2 - 28*a - 6. Does 4 divide q(z)?
False
Suppose 9596 + 41620 = 2*x. Is 22 a factor of x?
True
Suppose 3*r = -2*h + 4413 + 21481, 3*h - 8629 = -r. Is r a multiple of 31?
False
Suppose 22*w = 14*w + 1376. Let a = w + -124. Is 39 a factor of a?
False
Let t = -40 - -146. Suppose 4*k = 9*k - 315. Let w = t - k. Is w a multiple of 20?
False
Suppose 52*w + 26*w - 17550 = 0. Does 8 divide w?
False
Suppose 0 = 8*z + 22352 + 20016. Is 16 a factor of z/(-6) - 9/(-27)?
False
Suppose 30 = 5*v, 30374 = -y + 3*y + 3*v. Is y a multiple of 23?
False
Let m = -21702 - -33364. Is 119 a factor of m?
True
Let t(h) = -190*h + 2168. Does 8 divide t(5)?
False
Suppose 0 = 2*d - 587 - 567. Is d a multiple of 14?
False
Let g be (-98)/(-28) + ((-2)/4)/(-1). Let b(x) = x**2 - 4*x + 2. Let w be b(g). Is (-4 + (-10)/(-3))/(w/(-78)) a multiple of 11?
False
Let o(u) = u**2 - 8*u - 19. Let z be o(9). Does 17 divide 4 - (-2 + (-775)/z)*-2?
False
Suppose -2*k + 3*t = -24452, 5*t = 9*k - 13*k + 48992. Is 29 a factor of k?
True
Let g = 263 + -261. Suppose 2*t - g*b = 572, -4*t = -b - 1340 + 190. Is t a multiple of 6?
True
Let a be -11 + 19 - -1*(3 - 6). Suppose -5 - 3 = -4*p, -a*p + 2290 = 5*o. Is o a multiple of 22?
False
Let m(z) = -2*z + 253. Suppose 4*g + 7*g - 341 = 0. Is 33 a factor of m(g)?
False
Suppose -