ue
Suppose 3*r - 1130 = -2*i, 1126 = 2*i + 18*r - 16*r. Suppose -2*b + 301 + 81 = 2*t, 4*t + i = 3*b. Does 21 divide b?
True
Suppose -4*z - 715 + 260 = -3*q, 0 = 2*z - 4*q + 230. Let i = -110 - z. Suppose 2*l - 174 = 5*n, -i*n = 2*l - 76 - 82. Is 20 a factor of l?
False
Suppose 4*n = -4*m + 128, 53 = 3*m - 2*n - 43. Suppose -4*r + 4*i + m = -200, -62 = -r + 2*i. Does 18 divide r?
True
Suppose -14*u - 37045 = -130005. Is 15 a factor of u?
False
Let z = -102 - -108. Let i be z/(-3) + -2 - (5 + -6). Is 5 a factor of 1 + ((-201)/i - 0)?
False
Suppose -4*y + 2584 = -4*p, 3*p = y - 512 - 144. Is 30 a factor of y?
False
Let g = 310 - 323. Let u(z) = z**3 + 13*z**2 - 32*z - 15. Is u(g) a multiple of 24?
False
Let x(g) = -4*g**3 - 80*g**2 - 59*g - 312. Does 6 divide x(-25)?
False
Suppose 14*s - 13 = 43. Let m(u) = u**3 - 7*u + 10. Does 17 divide m(s)?
False
Suppose 3*l + 3 = 2*g - 2*l, -5*l = 5*g - 25. Let w(u) be the second derivative of -u**5/20 + u**4/2 - u**3/3 + 7*u**2/2 - 18*u. Is w(g) a multiple of 31?
True
Suppose 3*f - 12 = 0, -24*y + 29*y - f - 3756 = 0. Is y a multiple of 47?
True
Suppose -23 = -z - 16. Suppose -z*l + 312 = -3*l. Is 19 a factor of l?
False
Suppose 0*y - 6*y = -78. Suppose -498 = -y*q + 503. Does 13 divide q?
False
Does 175 divide (-36)/180 - (154012/(-10) - -1)?
True
Let p = -1742 - -2012. Is 15 a factor of p?
True
Let k(f) = -3*f - 8. Let v be k(-10). Let j = 101 - v. Is 2 a factor of j?
False
Suppose -g + 26 - 1 = 0. Let w = g + -22. Is 26 a factor of (-102)/(-4)*4/w?
False
Let k(a) = a**3 + 8*a**2 - 9*a - 4. Let v = -30 - -21. Let o be k(v). Does 28 divide (-80)/o*3*(-76)/(-30)?
False
Let j(o) = -75*o**3 + 57*o + 284. Does 31 divide j(-4)?
False
Let r(n) = -n**2 + 10*n - 12. Let g(i) = i**2 - 8*i - 2. Let d be g(8). Let t be (d/3)/(-1*2/15). Does 2 divide r(t)?
False
Suppose -37*p - 51840 = -32*p - 293*p. Is 4 a factor of p?
True
Suppose 489018 - 150758 = 4*c + 48*c. Is c a multiple of 5?
True
Let m(h) = -1. Let z(k) = 28*k - 6. Let o(b) = 5*m(b) - z(b). Let l be o(3). Let d = l - -146. Is d a multiple of 10?
False
Suppose 2*a + 10 = 22. Let n(u) = 2*u**2 + u + 2. Let j be n(-4). Suppose 4*t + a = g - 18, 2*g + t - j = 0. Is 16 a factor of g?
True
Suppose 0 = 5*r + 2*i + 57 - 906, 2*i = -4*r + 678. Let w = r - 91. Is w a multiple of 8?
True
Let p be (-10542)/2761 + (-2)/11. Let x(o) = -o**2 - 9. Let c be x(0). Is 9 a factor of 3 + (-601)/c - p/18?
False
Suppose 2974 = 2*u + 6*x, -13*x + 7449 = 5*u - 12*x. Is u a multiple of 4?
False
Let i = 113 + -408. Let h be 1/(-3) + (-1382)/3. Let x = i - h. Is x a multiple of 29?
False
Let b(f) = -8*f**3 + 4*f + 4. Let h be b(-5). Suppose 2*s - 4*s + h = 0. Suppose -5*r + 3*r = -s. Does 41 divide r?
True
Let x = -62 - -92. Suppose -x = 2*y - 92. Is 21 a factor of y?
False
Suppose 0 = 7*z + 70*z - 268422. Is z a multiple of 4?
False
Suppose 2*s + 1907 = 21. Does 95 divide (5 - (s + -3)) + 1/(-1)?
True
Let g = 55 - 48. Let q be (2 + g)/((1/(-19))/(-1)). Suppose -2*f + 11 = -q. Does 12 divide f?
False
Suppose 4*a - 324190 = -5*j, 5*j + 17*a - 324235 = 22*a. Is j a multiple of 39?
False
Suppose w = 3*c - 64239, c - 13030 = -w + 8383. Is 91 a factor of c?
False
Let b(n) = -18*n + 203. Is b(-49) a multiple of 10?
False
Let j be 5 + (-4 - 676/(-1) - -1). Suppose 0 = -5*v + 2*n + j, -373 = -2*v + 4*n - 105. Is 8 a factor of v?
True
Let t(q) = q**3 - 6*q**2 + 5*q - 8. Let f be t(7). Suppose 24 = -x + f. Is 3 a factor of x?
False
Let i = 28736 + -4739. Is 59 a factor of i?
False
Let z(a) = 31*a**2 + 2*a - 2. Let v(q) = -5*q**2 + 9*q + 1. Let s(c) = -6*c**2 + 10*c + 2. Let j(n) = -4*s(n) + 5*v(n). Let o be j(4). Does 12 divide z(o)?
False
Suppose 0 = j + z + 3 - 7, -j - 3*z = -4. Suppose 94 = j*o - 610. Is 10 a factor of o?
False
Let j = -11248 - -23744. Is 22 a factor of j?
True
Does 27 divide 31353156/4536 - 2/28?
True
Let s = -88 - -88. Suppose -6*i + s*i + 12 = 0. Is ((-8)/20)/(i/(-940)) a multiple of 22?
False
Let d(m) = -10*m**2 - 10*m**2 + 84 + 26*m**2 - 18*m - 5*m**2. Is 9 a factor of d(30)?
False
Suppose -3*n + 3*l = 24, 2*n + 11 = 3*l - 0. Let m(c) = c**3 + 13*c**2 + 2. Let i be m(n). Suppose 74 = 4*k - i*u, 0*u = -k + 3*u + 26. Does 11 divide k?
False
Does 13 divide (-40)/(-150) + 1412210/150?
False
Suppose -2*l = 4*d - 4, 0 = -3*d - 4 - 2. Suppose l = -12*x + 42. Suppose 3*s = -x*s + 642. Does 21 divide s?
False
Let r = -71 - -74. Does 5 divide 218 - (1/(-1) - r/3)?
True
Suppose 5*t + 20 = -i, 60 = 2*i - 7*i - 5*t. Let l be 4/i - 25956/(-90). Suppose 3*f = -4*g + 67 + 317, -3*g + l = -f. Does 12 divide g?
True
Let c(t) = -3*t**3 - t**2 + 12*t + 69. Let p be c(-6). Suppose 29*y - 24*y = 4*s - p, -153 = -s + y. Does 24 divide s?
False
Let n(l) be the second derivative of l**5/20 - l**4/12 + l**3/2 - 3*l**2 - 4*l - 5. Is n(4) a multiple of 9?
True
Let j(v) = -3*v + 27. Let l(t) = 6*t - 55. Let w(d) = -7*j(d) - 4*l(d). Let z be w(10). Is 11 a factor of (z - 163/(-1)) + (1 - 0)?
True
Let k = 7 + -16. Let j be 3 - k/((-36)/16). Is 3 a factor of (((-20)/12)/5)/(j/51)?
False
Suppose -5*f + 1 + 9 = 0. Suppose f*i = -10 + 70. Let b = i - -22. Is b a multiple of 22?
False
Let x = -3096 + 2126. Let b = x - -1410. Does 44 divide b?
True
Suppose w = -3*a + 648, 696 - 54 = w - 3*a. Is w a multiple of 3?
True
Suppose -3*j + 20301 = -r, 55*r - 57*r - 12 = 0. Is j a multiple of 11?
True
Let m = -793 + 1177. Suppose -m = -16*s + 12*s. Let r = 150 - s. Is r a multiple of 34?
False
Suppose 158*s - 1445 = 153*s. Let t = s + -245. Does 38 divide t?
False
Suppose -5*z + 2*b = 65 + 9, 5*b + 31 = -z. Let i be ((-20)/z)/((-2)/(-8)). Suppose -3*m + 0*j = 3*j - 294, 0 = i*j - 15. Does 19 divide m?
True
Let b be 8/2 + -2 + 7. Suppose -36 = -b*n - 0*n. Suppose -f - n*f = -395. Does 21 divide f?
False
Suppose 0 = -3*n + 40 - 100. Let k = -20 - n. Suppose -h + 13 = 4*c - 0*c, -c + 4*h - 1 = k. Is c a multiple of 3?
True
Suppose 22*j + 38606 = 25*j + 5*w, -3*j - 4*w + 38608 = 0. Does 24 divide j?
False
Let m be ((-24)/10)/(15/(-500)). Suppose -2*q = 2*b - m, 4*q + 80 = -3*b + 5*b. Suppose -3 - b = -u. Is 10 a factor of u?
False
Suppose 4*q - 33*c + 32*c = 6254, -c = -2. Is 4 a factor of q?
True
Let i be 4 + (-23 - -27 - (7 + -1)). Suppose i*t + 4*m = 1020 + 484, -5*t + 3776 = 2*m. Is 42 a factor of t?
True
Let a be ((-60)/150)/(2/(-355)). Let u = a + 52. Does 3 divide u?
True
Let j be (-268)/(-14) - -6*(-9)/378. Suppose 4*u + 4*f = 2332, 2*f - 1751 = -j*u + 16*u. Is u a multiple of 68?
False
Suppose p = 4*x + 2988 + 22800, -4*p = -5*x - 103196. Is 107 a factor of p?
False
Is 39/26 - 4190*20/(-16) a multiple of 8?
False
Suppose 0 = -3*a + y + 1583 + 14724, -a - 5*y + 5441 = 0. Is a a multiple of 47?
False
Let h(x) = 11435*x - 2789. Is h(3) a multiple of 21?
False
Let z = 30 + 207. Suppose -3*q = -d - z, 3*d - 4*q + 9*q + 697 = 0. Let x = d + 338. Is 26 a factor of x?
True
Let r = -879 - -3470. Is r a multiple of 8?
False
Let g = 83 - 74. Suppose 0 = 2*a + 3*u + g - 6, -2*u - 10 = 0. Suppose 0 = 2*m - a*m + 60. Does 2 divide m?
False
Suppose 15*b - 204 = 9*b. Suppose 6 = 2*l - b. Let m = 44 - l. Does 24 divide m?
True
Suppose -52*z + 84588 = -10*z. Does 19 divide z?
True
Let l = -5227 - -25181. Is 145 a factor of l?
False
Let y be (25 + -26)*-1*3. Let c(i) = 2*i**2 - i - 5. Let k be c(-2). Suppose y*x + 0*u - 391 = -u, -5*x = -k*u - 685. Is x a multiple of 11?
True
Let p be 4/(-5)*(-170)/4. Let b = 31 - p. Let d(v) = 12*v**2 + v + 4. Does 26 divide d(b)?
False
Does 26 divide ((-78)/65)/((-13)/104390)?
False
Let d = -65 - 3. Let u = d + 62. Is ((-36)/(-10))/(u/(-40)) a multiple of 24?
True
Suppose -c = -5*q + 159, 11*c + q + 307 = 9*c. Is c/(6 - 8) + 3 a multiple of 16?
True
Let y = -145 - -148. Suppose 3*r = n + 1325, y*n = -4*r + 5*n + 1770. Is 11 a factor of r?
True
Let s(k) = -k**3 + 4*k**2 + 10*k - 16. Let g be s(6). Let f be (-1)/((6/(-9))/(g/(-6))). Suppose f*n - 1225 = -0*n. Is n a multiple of 35?
True
Suppose 0 = 5*f + 31 + 154. Let i = 46 + f. Suppose -8*a = -i*a + 9. Is 9 a factor of a?
True
Suppose 10 = 2*w + 214. Let p = 150 + w. Suppose 2*a = -4*v + 98, -p = -a - 5*v + 4*v. Is 7 a factor of a?
False
Let a be (1 - 1)/(12/(-12)). Suppose x - 95 - 200 = 3*c, x - 5*c - 305 = a. Does 35 divide x?
True
Sup