 (((-18)/3)/h + -14)*-74?
True
Let u(v) = v**3 + 6*v**2 - 16*v. Let z be u(-8). Suppose 2*x + 7*x - 36 = z. Suppose -6*h + 11*h = -t + 299, -4 = x*t. Is 30 a factor of h?
True
Suppose -7*u - 266 - 84 = 0. Suppose -p - 44 + 11 = 0. Let y = p - u. Is y a multiple of 4?
False
Suppose 885 = -4*i + 3*h, -267 = i + 3*h - 27. Let o = 792 + i. Is o a multiple of 18?
False
Let z(j) = -100*j + 182. Suppose 33*q = 30*q - 18. Does 27 divide z(q)?
False
Does 15 divide 6 - (-128)/(-20) - 918502/(-130)?
True
Let c(s) = s**2 + 12*s + 2. Let d be c(-12). Suppose -5*y + 76 = -y - 4*g, 52 = d*y + 5*g. Does 4 divide y?
False
Let l(b) = 11*b**2 + 25*b - 301. Is 33 a factor of l(-28)?
True
Suppose 9*s - 854 = -134. Does 3 divide s/30*(-207)/(-12)?
False
Let w(f) = 2*f**2 - 24*f + 36. Let t be w(15). Let y = t - 108. Suppose y*b = 19*b - 146. Is 9 a factor of b?
False
Let b be 1/((-2)/396) - 60/(-12). Does 4 divide (b/(-2))/(((-210)/(-36))/35)?
False
Let m be (-4)/18 + 90555/(-135). Let g = 962 + m. Suppose 14 = 5*y - g. Is y a multiple of 28?
False
Suppose -2460 = 18*q - 3*q. Let n = 495 + q. Does 18 divide n?
False
Suppose 19 = f - 10. Let i be 4/(-22) - 14681/(-583). Suppose -f*l + 52 = -i*l. Is l a multiple of 2?
False
Let p(o) = -o**3 + 14*o**2 + 6*o + 23. Let h be p(10). Suppose 3*z - h = 597. Does 20 divide z/14*(-56)/(-12)?
True
Let n(m) = 90*m + 10. Let h be n(16). Suppose -1445*y + h*y - 9550 = 0. Does 14 divide y?
False
Suppose 5*x + i = 11396, 87*x - 85*x = 2*i + 4568. Is x a multiple of 15?
True
Suppose -281*o + 322*o - 302176 = 585884. Does 33 divide o?
False
Let t(w) = 3*w - 22. Let d be t(8). Suppose d = -3*n + 4*n. Suppose 4*m - j = 440, 6*m - 440 = n*m + 3*j. Does 17 divide m?
False
Let x = 10188 + 1884. Is x a multiple of 5?
False
Let w be -5*(711/(-15) + 0). Suppose -w = -4*m + 59. Is m a multiple of 37?
True
Suppose 23 = 3*n - 5*x, -4*n + 0*x = -2*x - 26. Suppose -3*a - l = -16, 0*a + 2*a - n = -3*l. Suppose -a*r + 528 = 5*r. Is r a multiple of 4?
True
Suppose 5*d = -4*o + 380, d - 215 = -3*o + 92. Let t = 641 - 381. Suppose -2*l = -3*l - 3*c + o, 0 = -2*l + 4*c + t. Is l a multiple of 15?
True
Let f(l) = -2*l**3 - 16*l**2 - 26*l - 48. Let r be f(-13). Suppose -r*k + 462 = -1977*k. Does 22 divide k?
True
Suppose 3*o = 0, 0 = -5*r + o + 11 + 19. Let z be r/(-63)*-3 - 642/(-7). Suppose 3*j = -4*u + z, 0 = 4*j + 4*u - 122 - 2. Does 10 divide j?
False
Let o(p) = -4314*p**2 + 10*p - 4. Let v(y) = -863*y**2 + 2*y - 1. Let s(z) = 3*o(z) - 14*v(z). Let h be s(-1). Does 22 divide 3/63*3 + h/(-7)?
False
Let y(r) = r**3 + 9*r**2 + 4*r + 3. Let a be y(-8). Suppose 14*j - a = 9*j. Suppose j*k - 936 = -k. Does 18 divide k?
False
Let u be (-5)/(-28 - -3) - 28/(-10). Suppose 0*v - u*v + 4*g - 244 = 0, -4*v - 334 = -g. Let l = v + 156. Is 42 a factor of l?
False
Let k(n) = -3*n + 7. Let a be k(2). Let g(x) = 438*x - 42. Is 22 a factor of g(a)?
True
Let s(p) = -p**2 - 14*p - 19. Let h be s(-12). Suppose 5*v + 48 = 4*v + 2*x, 5*x = -h*v - 225. Let q = 65 + v. Is 12 a factor of q?
False
Let i(a) = -3*a**2 + 71*a + 25. Let k be i(25). Let h = 248 + k. Is h a multiple of 23?
False
Let z = 15121 + -830. Is z a multiple of 31?
True
Let q(h) = 12*h - 19. Let c be q(2). Suppose 0*y - 5*y - 2460 = -5*m, 4*m = 5*y + 1964. Suppose -j = -c*f - 217, -2*j - 3*f + m = 127. Is j a multiple of 23?
False
Let f(r) = r**2 + 11*r + 27. Let j be f(-7). Let w be 34/(87/84 + j). Suppose -6*g - w = -13*g. Is 8 a factor of g?
True
Suppose 2*z + 5*n - 26 = 0, 4*z - 8*n + 9*n = 16. Let y be -2 + 113 + (-2)/2. Suppose z*d = -5*j + 66, 4*j + y = 5*d + j. Is 11 a factor of d?
True
Suppose -3*t + 6*t = 4*u - 56, -5*u = 2*t - 70. Let p = 708 - -368. Is u/35 - p/(-10) a multiple of 14?
False
Suppose -3*x - 24332 = -5*g, -41*x = -3*g - 42*x + 14588. Does 32 divide g?
True
Let o(h) = h**3 - 10*h**2 - 957*h - 24. Is o(38) a multiple of 43?
True
Let y(n) = -n**2 + 4*n + 1. Let h(p) = 2*p**2 - p + 2. Let r be h(1). Let x be y(r). Suppose 0 = 3*k + 3*g - 216, 2*g + 2*g + 256 = x*k. Is k a multiple of 10?
False
Let k(v) = -2*v**2 - 47*v - 21. Suppose 4*b - 20 = -0*b. Let q(j) = -j**3 + 7*j**2 - 15*j + 6. Let g be q(b). Is k(g) a multiple of 25?
True
Suppose 6 + 0 = -3*n, -4*n = -6*o + 22712. Is o a multiple of 10?
False
Let t be (-99)/(-22)*(-218)/(-3). Let q = t - -709. Does 74 divide q?
True
Let i(l) = 10*l**2 - 40*l - 138. Is 30 a factor of i(-7)?
False
Suppose -453 = 3*j + 4*d, j + 4*d = -d - 162. Let y = 201 - j. Is 61 a factor of y?
False
Let f(m) = 2*m + 5. Let v be f(-2). Let r be 7/1 + (-6 - (-3)/v). Suppose p - 27 = -r*w, 3*p - 22 = -4*w + p. Is w a multiple of 8?
True
Suppose 0 = -4*t + g - 7, -3*t - 17 = t + g. Let w be (2/(-6))/((-11)/(-33)) - t. Is 12 a factor of 31 + (1 - -2) + w?
True
Suppose -42002 = -2*f + 4*q, 102*f + 41984 = 104*f + 2*q. Is 223 a factor of f?
False
Suppose 91*h - 96*h = 3*y - 9042, -5454 = -3*h + 3*y. Is h a multiple of 6?
True
Suppose 2176 = 11*w - 1146. Suppose 5*l + w = 3*p - 223, -3*p + 531 = -3*l. Does 5 divide p?
True
Suppose s = 5*q - 2*q + 1109, 0 = 3*s + 5*q - 3243. Is s a multiple of 75?
False
Let v = 19348 + -9611. Does 27 divide v?
False
Let w(f) = 0 + 4 + 12*f - 5 + 4. Let v = -1529 - -1534. Is w(v) a multiple of 7?
True
Is 29 a factor of (791844/(-380))/((-5)/25)?
False
Suppose -5*o = 735 + 540. Let d = -464 - o. Let t = -137 - d. Does 12 divide t?
True
Suppose 4*a - 4*v - 3100 = 0, -a - 3*v - 138 + 921 = 0. Is 7 a factor of a?
True
Suppose -301 = -8*h + h. Suppose 39*q - h*q = -148. Is q even?
False
Let v(b) = 7*b**2 + 25*b - 99. Let z be v(6). Suppose 0 = -2*t + 2*l + 210 + 84, z = 2*t + l. Is 15 a factor of t?
True
Suppose -1414*w = -1495*w + 754596. Is w a multiple of 309?
False
Is 13 a factor of (-26918000)/(-750)*(3/(-2))/(-1)?
False
Suppose 0 = -15*p + 54540 - 5700. Does 11 divide p?
True
Does 26 divide -23*(5/(30/(-54)) - 224)?
False
Suppose -5*r = -3*q - 0*q + 55, 4*q - 75 = 5*r. Suppose -q*o + 1348 = -292. Is 41 a factor of o?
True
Let p(m) = m**2 - 3*m + 3. Let s be p(2). Suppose -j = 4*t + s, -2*j = -6*t + t + 2. Suppose t = 5*f + 3*y - 99, 2*y + 10 = f - 15. Does 7 divide f?
True
Suppose 4*u = u + 4*o + 2775, -3*u + 2775 = -5*o. Does 20 divide u?
False
Suppose x + 4*g - 29694 = 0, 34282 = x - 3*g + 4539. Does 77 divide x?
True
Suppose -4*b = 2*j - 7988, 2*j - 767 = -2*b + 3233. Is 20 a factor of b?
False
Is 11 a factor of -1*(-2)/11 - (-15980000)/2585?
True
Suppose 15039 + 14581 = 20*c. Let p = c + -380. Does 75 divide p?
False
Suppose 11*n + 2*n = 208. Suppose 17*o = n*o + 44. Does 12 divide o?
False
Suppose 5*k - 5*o - 11 - 679 = 0, 0 = -3*k + 2*o + 413. Suppose -2*c - 12*l + k = -7*l, 0 = 5*c - l - 383. Is 3 a factor of c?
False
Is 21 a factor of 4/(-1) - 277376/(-44)?
True
Let t(l) = 10*l**3 + 3*l**2 + l. Let i be t(-1). Let s(z) = -28*z - 62. Is 7 a factor of s(i)?
False
Suppose 20*c + 2447 = 19007. Is c a multiple of 9?
True
Let m = 373 + -637. Let v = m + 418. Is 4 a factor of v?
False
Let b(z) = -z**2 + 56*z - 134. Is 6 a factor of b(23)?
False
Suppose -3*i + 4*p + 10 = -13, -3*i + 5*p = -25. Let a be (-4)/(-5) - (-16)/i. Let x(y) = 29*y - 12. Does 27 divide x(a)?
False
Suppose -16002 = 5*z + 3*w - 45903, -2*z = -w - 11945. Is z a multiple of 36?
True
Suppose -1325 = -30*o + 26*o - 5*i, -o + 305 = -4*i. Does 25 divide o?
True
Let k(x) = 55*x + 18. Let v be 5/1*((-96)/(-15) + -6). Is 8 a factor of k(v)?
True
Suppose -7*g + 2*g - 49 = -2*j, -2*j - 2*g = -28. Suppose 13*m = j*m + 3060. Is 3 a factor of (2/(-10))/(9/m)?
False
Suppose z - 93 = -2799. Let l = -1871 - z. Is l a multiple of 16?
False
Let y(u) = u**2. Let m be y(2). Let r be (m/(-3) + 0)*3. Let n(h) = -h**3 - h**2 + 9*h + 8. Is 4 a factor of n(r)?
True
Suppose -33*g + 47*g = -350. Is 12 a factor of (g/((-250)/(-560)))/((-2)/9)?
True
Suppose -5*o = -2*k + 4 - 0, -5*o = -5*k + 10. Suppose -k*s + 0*s + 14 = 0. Suppose -2*q = -109 - s. Is 29 a factor of q?
True
Let x(m) = -11*m**3 - 39*m**2 + 28*m - 43. Let w(f) = 7*f**3 + 26*f**2 - 19*f + 29. Let t(z) = -8*w(z) - 5*x(z). Let a = -5981 + 5967. Is t(a) a multiple of 2?
False
Let h(q) = -2*q + 51. Let r be h(24). Suppose 4*v - 5*w = 1544, 0*w - 4 = w. Suppose -3*g = m - 109, r*m + g = -m + v. Does 47 divide m?
True
Is (-912)/