+ 2)/(p + (3 - 0)) composite?
False
Suppose -5*m - 20 = 0, p - 8435 = 3*m + 14100. Is p a prime number?
False
Let m = 166 - 158. Is (-6)/m*145028/(-39) composite?
False
Suppose -73*t - 318579 = -2*w - 74*t, -4*t + 796455 = 5*w. Is w prime?
True
Let i(w) = 42*w**3 - w**2 - 4*w + 7. Suppose -2*v = -0*v - 4. Is i(v) a composite number?
False
Let g(v) be the first derivative of 161*v**3/3 + 5*v**2/2 - 73*v - 81. Is g(5) a composite number?
True
Let v(u) = -u**3 - 6*u**2 + 14*u - 9. Let t = -25 - -30. Suppose -12 = -0*i + 4*i, t*k - 3*i = -41. Is v(k) composite?
False
Suppose i - 12 = -3*i. Let h = 4995 + -4988. Suppose i*n = h*n - 1180. Is n a prime number?
False
Let g = 24472 + 34635. Is g a prime number?
True
Suppose -15*w + 1125125 = -138520. Is w prime?
False
Suppose 3*p - 106 = -4*c, 0 = -3*c + p - 6*p + 85. Let o(g) = 40*g - 93. Is o(c) prime?
True
Let i(v) = 49*v**3 + v**2 + 2*v + 6. Suppose 2*b + 26 = -3*b + 3*k, -10 = b - 3*k. Let x be i(b). Let z = x - -5271. Is z a composite number?
True
Suppose 0*s + 9*s - 117931 + 9328 = 0. Is s composite?
True
Let v(s) = 11959*s**2 - 250*s - 503. Is v(-2) a prime number?
False
Suppose -32*n + 100 = -60. Suppose 0 = n*s - 11780 - 2005. Is s a prime number?
False
Is ((-18)/(-3) - (3 + -10004))*1 prime?
True
Suppose -3*z + 23064 + 12762 = 0. Suppose 38*d - 24*d = z. Is d a composite number?
False
Let m = 52314 - -3899. Is m composite?
True
Let q(r) = r**3 - 22*r**2 + 21*r + 3. Let h be q(21). Suppose b = -h*p - 2*p + 8246, -4*b - 3*p = -32899. Is b a composite number?
False
Suppose 17*t = 18*t - 391. Suppose -8*x + 2119 - t = 0. Is (-2 - 1) + (1 + x)*4 a prime number?
False
Suppose 0 = -3*r - 5*g + 42835 + 144991, -5*r + 312950 = -5*g. Is r composite?
False
Let l = -980 - -1027. Let i(d) = -d**2 - 2*d. Let z be i(2). Let b = l - z. Is b a composite number?
True
Is (-7)/(-77)*11*1361 a composite number?
False
Let d = 1008279 - 621232. Is d a prime number?
True
Suppose -4*n = 4*u - 4, n = -u - n. Suppose -5*p - 63 = -58, 2*p = 4*w - 14. Is 4 - (u - (w + 500)) prime?
False
Suppose -l = -3*l - n + 5, 0 = -5*n - 25. Suppose -4*a = -5*j + 4359, l*a + 1481 = 2*j - 3955. Let z = a + 2489. Is z composite?
True
Let y be (219/(-5))/((-5)/25). Suppose -p = 3*l - 898, 10*l + 2*p - 1196 = 6*l. Let g = l + y. Is g prime?
False
Let x(b) = -b**3 + 6*b**2 + 11*b + 53. Let v be x(9). Suppose 314 = 3*s - 328. Let i = v + s. Is i a composite number?
True
Let g(j) = 2*j**2 - 11*j - 9*j**2 - 60*j**3 - 6*j**2 - 6 + 2*j**3 + 3*j**3. Is g(-5) prime?
True
Let j(t) = 2*t**2 + 11*t + 9. Let p be j(-5). Suppose -5*o = -p*f + 35, f + 0*f + 2*o - 12 = 0. Suppose 2*d - 9564 = -f*d. Is d prime?
True
Suppose -s = -3, -3*s = g + 4*g - 4. Let n be (-1 + 5)/((-1)/g). Suppose -6654 + 2050 = -n*a. Is a a composite number?
False
Let u(k) = -k**2 - 8*k + 9. Let q be u(-9). Suppose -4*a - 4*y + 5688 = -q*a, -2*a + 2850 = -4*y. Is a a prime number?
True
Suppose -3*b = -s - 157596, b + 3*s - 709 - 51813 = 0. Is b prime?
False
Let i(p) = 1620*p**3 + 6*p**2 + 5*p - 32. Is i(3) composite?
False
Let f = -190 + 135. Let w = f + 204. Is w composite?
False
Let u(r) = 2*r**3 - 45*r**2 - 24*r + 25. Let b be u(23). Suppose -14787 = b*c - 52849. Is c a composite number?
False
Suppose -y = 6*y - 2*y + 2*g - 884545, -3*g = 0. Is y composite?
True
Let x(h) be the first derivative of 371*h**2/2 - 25*h - 340. Let u be 216/60 - (-2)/5. Is x(u) a prime number?
True
Suppose -4*a + 4 + 3 = -z, 5*a = -5*z - 10. Is ((-7)/(28/(-15956)))/(1/a) a prime number?
True
Is -12 + 9749 + 3/(-9)*(-180)/(-10) a prime number?
False
Let x(a) = a**2 + 11*a - 154. Let r be x(-19). Is 0 + 8434*(-5)/r prime?
False
Let r(p) = 5*p + 112. Let w be r(-19). Let n(q) = 715*q - 106. Is n(w) a prime number?
True
Suppose -6011 = 7*b + 23*b - 260681. Is b composite?
True
Let t(d) = -43 + 20 - d + 25 - 285*d**3. Let z be t(1). Let p = z - -681. Is p prime?
True
Let o(a) = -8*a**3 - 8*a - 7. Let k be o(-6). Let j = 2547 - k. Is j prime?
False
Suppose v - 9 = -n, -2*v + 24 = 5*n - 4*v. Suppose 34624 = 4*j - 4*q, 2*q + 17330 = 2*j + n*q. Is j a composite number?
True
Let o be (-594)/264 - 6/(-32)*-4. Let y(h) be the third derivative of -185*h**4/12 - 13*h**3/6 + h**2. Is y(o) prime?
True
Let c be (-2)/(-3) + (-70)/(-30). Suppose v = 2*j - 2949, -5*v + c*v - 6 = 0. Let h = j + -920. Is h a prime number?
False
Let b be 0 + (-1 - 0)*(5 + -8). Suppose b*m - 1937 = -2*a, -17 + 993 = a + 3*m. Suppose 204 = 5*v - a. Is v prime?
True
Let d(a) = 1040*a - 2429. Is d(71) a composite number?
False
Let v be (3*1/5)/((-2)/(-20)). Let a be 4/v*-1227 - (-1)/1. Let t = a + 1835. Is t a composite number?
True
Let r(b) = -b**3 + 14*b**2 - 18*b - 793. Is r(-28) a prime number?
False
Suppose 0 = -2*i + 417*r - 414*r + 79831, i - 4*r = 39893. Is i prime?
True
Suppose -27*r = -40*r + 135486. Suppose q - r = 5*h + 9095, 58551 = 3*q - 5*h. Is q a composite number?
True
Let z(m) = 31*m**3 - m**2 - 5*m + 7. Let p be z(1). Suppose -5*d + 8556 = 2*j, -12847 = -p*j + 29*j - d. Is j a composite number?
False
Let c(q) be the second derivative of -385*q**3/6 - 61*q**2/2 - q + 32. Is c(-6) composite?
True
Suppose -22*v + 658624 = -5728350. Is v a prime number?
True
Suppose -3*u + 0*u + 5251 = 2*l, 5247 = 3*u + 3*l. Let r = 111 - 109. Suppose r*p - g - u = -p, -3*g = 5*p - 2945. Is p prime?
False
Let q be ((-4)/(-6))/(1*8/120). Suppose -q*w + 26991 = -7*w. Is w a prime number?
False
Let n(l) = 182*l**3 - 3*l**2 + 14*l + 10. Let z be n(-4). Let c = z - -35373. Is c prime?
False
Suppose 4*z + 3647 = -3*c, -3*c + 0*z = 2*z + 3649. Let b = -1021 - -2821. Let p = c + b. Is p a prime number?
False
Let t be (19 + 1)*2*(-4)/(-32). Suppose 3*w - 92 = -0*w + 2*g, -2*w = t*g - 36. Suppose -w*a + 26*a = -662. Is a prime?
True
Let t(k) = -k**2 + 9*k - 14. Let v be t(6). Suppose -10*n = -9*n + v, -4*p = -3*n - 1024. Is p composite?
True
Suppose 0 = h + 3*h + 1376. Let y(g) = -2*g**2 - 139*g + 460. Let s be y(-67). Let v = s + h. Is v prime?
False
Let v = 23301 + 98462. Is v prime?
True
Let n(x) = -2*x**2 - x + 10. Let a be n(-3). Is ((-1706)/a)/((-5)/(-26 + 1)) composite?
True
Let w(z) = 3*z - 22. Let k be w(7). Let r be 3*k - (3 + -9 + -5). Suppose -1895 = 3*i - r*i. Is i prime?
True
Let g be ((9/(-6))/(-1))/(15/(-16400)). Let m = g + 2563. Is m a prime number?
False
Let w = -2175 - -404. Let s = w - -2480. Is s a composite number?
False
Suppose 0 = v + 1, -11*b + 119481 = -9*b + v. Is b a composite number?
True
Suppose -2*r + 0*r = m - 69, 4*r = -m + 63. Let l = m - 81. Let s(h) = -4*h**3 - 2*h**2 - 4*h - 17. Is s(l) a composite number?
True
Suppose 5*o = -407 - 593. Let r be (o/(-6))/((-6)/(-27)). Suppose -2*f = k + 31 - r, -2*k = -10. Is f a prime number?
False
Let x = 65759 + 57668. Is x a prime number?
True
Let r = 475 - 791. Suppose -2*v + 10 = 1600. Let w = r - v. Is w a prime number?
True
Let j = -45 + 56. Suppose 19*p - j*p + 4064 = 0. Let i = -297 - p. Is i a composite number?
False
Suppose -1 = l - 2. Suppose 3*t = 3*v + 21, -12 + l = -t + 2*v. Is 78*(t + -6*12/27) prime?
False
Suppose 15*d - 20073674 - 941772 = 6115969. Is d composite?
False
Let u(j) = -j**3 + 17*j**2 + j - 21. Let q be u(17). Let v(b) = -10*b. Let a be v(q). Is 785 - (16/a)/(2/(-10)) a composite number?
False
Let t = 1104384 + -688321. Is t composite?
True
Let q = -125 + 127. Suppose -5*t = -5*d + 32605, -3*d = q*t - t - 19571. Is d prime?
False
Suppose 2*k - 2*p - 14 = -2, 0 = -2*k + 5*p + 21. Suppose k*v - 22 = -10. Suppose 0 = -2*x + 2*t + 6, 0*x - 2*x = v*t - 24. Is x a composite number?
True
Suppose -5*h + 5*g + 744965 = 0, 600*h + 297974 = 602*h + 4*g. Is h composite?
False
Let g be 4/(-2)*(-6 - 63/(-18)). Suppose -t - 2*a = -2*t + 11701, 58490 = 5*t - g*a. Is t a prime number?
False
Let l = 98 + -93. Suppose l*x - 5*m = 24615, 5*x - 40318 = m - 15723. Is x composite?
True
Suppose -4*g = -5*t + 63, -5*t + 15 = -0*t. Let d be g/10*(-45)/18. Suppose d*z = 3*c - 573, -2*c + z + 68 = -314. Is c a prime number?
True
Let s(n) = 9*n**3 + 7*n**2 - 21. Let h be s(11). Suppose -h = -132*c + 119*c. Is c a composite number?
True
Let d(n) = -74*n + 3*n - 8 - 31 - 15*n - 26*n. Is d(-14) a prime number?
False
Suppose 132*x = 302*x - 110634470. Is x composite?
True
Let r(z