u(c) = 17*f(c) - 6*k(c). Is u(-2) a prime number?
False
Is ((-1)/(-7))/(115/161)*2488855 prime?
True
Suppose 0 = g - 3*l + 304, -4*g + 2*l = -5*g - 309. Let d be g*(-2 - (-3 + 4)). Is (4/6*1)/(2/d) a prime number?
True
Let t = -4 - -19. Suppose 0 = 9*a - 6*a - t. Suppose 5*o - o - 256 = 5*p, 0 = a*o - 4*p - 311. Is o a composite number?
False
Let z(i) = 6*i**3 + 60*i**2 - 58*i + 517. Is z(30) composite?
True
Let w be 5 + -3 + (-4)/8*2. Let b(i) = 4371*i**2 + 2. Is b(w) a prime number?
True
Suppose 3*h - 3*n + n - 372 = 0, 0 = 5*h - 4*n - 620. Suppose 4*c - h = -q + 1413, -4*c + 2*q + 1546 = 0. Let b = 778 - c. Is b prime?
False
Let t = 12399 - -189038. Is t prime?
True
Is ((-1424370)/(-54))/1 + 8/(-36) composite?
True
Let q = -26657 + 123016. Is q prime?
False
Let b(n) = 33*n**2 + 16*n - 19. Let q be b(-14). Suppose 0 = -5*p - 2*y + 3440 + 2795, 0 = -5*p - 4*y + q. Is p composite?
False
Let m(d) be the first derivative of -2*d**2 - 17*d + 1/2*d**4 - 4/3*d**3 - 8. Is m(5) prime?
True
Let x(u) = -u**3 + 99*u**2 - 57*u - 775. Is x(84) prime?
False
Let q be (9*(-8)/10)/(21/(-140)). Suppose 3*b - b = q. Is (-5)/((-150)/b)*130/4 composite?
True
Suppose 3*u + 110 = 2*z, 3 = z - 5*u - 38. Suppose -z = -13*j + 17. Is (4 - 4273)*(-2)/j a prime number?
True
Let o = 11 + -5. Let m(k) = 191*k + 13. Let f(x) = 951*x + 65. Let p(u) = 3*f(u) - 14*m(u). Is p(o) a composite number?
False
Let f be -8086*((-32)/(-4))/16. Let b = 9064 + f. Is b composite?
False
Let h(x) be the first derivative of 19*x**4/4 + x**3 + 5*x**2/2 - 41*x + 1. Is h(6) a composite number?
False
Let i = -312 - 305. Let t = 2256 + i. Is t a prime number?
False
Let k = 301167 - 74176. Is k prime?
True
Let u = 1536706 - 729119. Is u prime?
False
Suppose 788*a = 767*a + 11823. Let i = -2055 - -3803. Suppose a - i = -3*y. Is y a composite number?
True
Suppose 5*i = -q + 629, -480 = -i - 3*i + 5*q. Is (i/10)/(-5)*4918/(-5) prime?
True
Let f = 167 - 165. Is 2536/20*f - (-6)/15 a prime number?
False
Let g = -1085 + -105. Let v = g + 8959. Is v a composite number?
True
Suppose 4*m - 2*r = -11160, -5*r = -8*m + 3*m - 13945. Let q = 4595 + m. Suppose -22*j + q = -18*j. Is j composite?
True
Suppose 18*q - 2158164 = 1014305 - 497399. Is q a composite number?
True
Let m = 159 + -154. Suppose -4*c = -3*z - 5196 - 18982, 30225 = 5*c - m*z. Is c a prime number?
True
Suppose -3*d + b + 5958 = 6*b, -2*b - 7944 = -4*d. Let v = -5389 + d. Let p = -2348 - v. Is p a composite number?
True
Suppose 3*j + 35 = 10*j. Let x(o) = -34*o - 10*o**2 - j*o**2 - o**3 + 13 + 20*o. Is x(-14) composite?
False
Let c = 4 - 5. Let j be (c/3)/((-7)/63). Is (3 + (-5550)/j)*-1 a prime number?
True
Let s = 33174 - 9722. Let h = 55113 - s. Is h a prime number?
False
Let n = 9784 + -5631. Is n a prime number?
True
Let d be 24/(-40)*15/(1 - 2). Suppose d*x - 244880 = -7*x. Is x a prime number?
False
Let j = 0 - -3. Suppose 0*k = 2*r + j*k - 8915, -2*r + 8936 = -4*k. Let z = r - 3185. Is z composite?
False
Let p be ((43 - 3)/5)/(3/(-39)). Let n = p - -104. Is (n - -3)*-1*5272/(-8) prime?
False
Suppose 3*k + 5*g - 396 = 0, -3*k + 2*g + 396 = -3*g. Suppose -2*s + 4*z = k, 5*s + 5*z + 225 = -165. Is (s/(-3))/(-6 + 2240/372) a prime number?
False
Let t = -10449 + 16480. Let l = -3660 + t. Is l prime?
True
Let i(t) be the first derivative of 1774 - 1755 + 3*t - 7*t**2 - 4*t. Is i(-4) prime?
False
Let a = -596 + 588. Is (a/(-1) - (0 - -3)) + 254 composite?
True
Suppose 311*d = 3*f + 309*d - 1661933, 2215939 = 4*f + 3*d. Is f a prime number?
True
Is (6/((-108)/806877))/((-1)/2) a composite number?
False
Suppose -4*u + 189424 = 3*c - 86536, -5*u - c + 344961 = 0. Is u composite?
False
Let a(f) = -18*f**2 + 181*f + 54. Let n(q) = 10*q**2 - 91*q - 26. Let k(w) = 2*a(w) + 5*n(w). Is k(15) a prime number?
True
Let m = 35839 - 21200. Suppose -2*v + f + 4451 = -1407, -m = -5*v + f. Is v prime?
True
Let b(m) = -m**2 + 11*m - 2. Let v be b(11). Is 4*(-8)/64 - 3023/v composite?
False
Is 1379893/12 + (-20)/240 - -6 composite?
False
Let w = 4272 + -7580. Let t = w + 1211. Let k = 4414 + t. Is k prime?
False
Let t be 8822*(-1 - 6/(-3)). Is (-48)/15 - -4 - t/(-10) prime?
True
Let g = -7904 + 8623. Is g a composite number?
False
Let g be -9*7/(-7 - -14). Is ((63472/6)/(-8))/(3/g) composite?
False
Let t = -159139 - -281202. Is t a prime number?
False
Suppose 26*w - 217422 = -5*w + 564367. Is w composite?
False
Let g = -27875 - -41181. Is g composite?
True
Is (-179111)/(-2*-6*8/(-192)) a composite number?
True
Suppose -q = i - 2, 2*i - 4*i + 4 = 3*q. Is ((-1)/2*q - -1954)/2 a composite number?
False
Let p(q) = -q**3 + 64*q**2 - 169*q - 85. Is p(36) composite?
False
Suppose -6*y = 5*y - 81162 - 20885. Is y prime?
True
Suppose -3*d - 17305006 = -43*d - 46*d. Is d prime?
False
Let y(w) = -996*w + 12. Let j be y(-7). Suppose -3*z - 6 = 0, 4*t + 3*z = 8*t - 14. Suppose 2*s = t*d - j, 3*s - 6895 - 3575 = -3*d. Is d composite?
False
Suppose 3*i = 15266 - 377. Is i a prime number?
False
Let u be (-4)/(-22) - (-4)/(132/(-56139)). Let x = 2137 - u. Let y = x + -2199. Is y a composite number?
True
Suppose 0 = 8*l - 11*l + 3, 3*n + l = 49. Is (18 - n) + -6 + -2 - -911 prime?
False
Is 1148866/(10/(-325)*-13) a prime number?
False
Let z(r) = -r**2 + 0*r - 5*r - 12 + 15*r. Let t be z(8). Suppose -t*q - 3*j + 82 = -3*q, 5*q - 3*j - 320 = 0. Is q composite?
False
Suppose 5*j + a + 58007 = 0, 2*a - 3*a = -j - 11599. Let h = j - -19508. Is h a prime number?
True
Let l(q) = 11109*q**2 - 148*q + 684. Is l(5) a composite number?
True
Suppose 19*m - 7258 - 61870 = 23630. Is m a prime number?
False
Let a(r) = -150*r**3 + 15*r**2 + 19*r + 47. Is a(-12) a prime number?
False
Let f = 27 - 25. Suppose 2*g + 1 = m + 2*m, -5*g - 8 = -f*m. Is (-87 + 3 - 2)/g a prime number?
True
Let l = 49 + 6. Let f = l + 798. Is f a composite number?
False
Let f = 33563 + -20120. Is f composite?
True
Let p be ((-6)/4)/((-2)/32). Let t = -17 + p. Suppose l - 5608 = -t*l. Is l a composite number?
False
Let d(n) = 11*n**2 + 28*n + 35. Let a be d(-7). Let m = 1189 + a. Is m a prime number?
True
Let r(j) = j**3 - 2*j**2 + 6*j - 18. Let h be r(5). Suppose -7*s + 172 = -h. Is s a prime number?
True
Let n = -152729 - -231528. Is n a composite number?
True
Let k be 78/14 + (-15)/(-35). Suppose -z = n - 10941, 4*n = -6*z + k*n + 65614. Is z a composite number?
False
Let h(a) = 3*a**2 - 2 + 33 - 18*a**2 + 4*a**2 - 43*a + a**3. Is h(24) prime?
False
Let m(i) = -i**3 - 3*i**2 - 8. Let v be m(-4). Suppose l + l - v = -h, -h + 9 = l. Is (2 + h/(-6))/(4/3804) a prime number?
True
Let h = 142 + -163. Is 1*7/(h/(-15723)) composite?
True
Is -2 + 103850 + (-99)/9 composite?
False
Suppose -2*r + 1008 = -5*a, 4*a - 1988 = -5*r + r. Let v be 1/1 + 5 + -1. Suppose v*q - 156 = r. Is q a composite number?
False
Let d = -461 + 466. Suppose -4*r + 2*r - 4138 = -2*y, 0 = 3*y - d*r - 6199. Is y a composite number?
True
Let l = -6 - -10. Let g be (5/30)/((-3)/(-36)). Suppose 0 = g*q + l*c - 1518, -q + 3040 = 3*q + 4*c. Is q a composite number?
False
Suppose 5*j + 62 + 28 = -q, 3*j + 54 = -3*q. Let u be (j/(-54))/(2/12). Suppose u*f = 2*a + 986, 2*a = f - 472 - 23. Is f prime?
True
Suppose 0 = 3*m + 2*s - 2, 3*s = -3*m - s + 10. Is (-3 + (-22278)/12)*m a prime number?
True
Let s(x) = -x**2 - 6*x + 30. Suppose 4*q + 21 = -15. Let g be s(q). Suppose -g*c + 3087 + 1590 = 0. Is c a prime number?
True
Suppose 0 = 2*s + o - 2*o + 97, -122 = 2*s + 4*o. Let l be (-25)/14*-2 - s/119. Is (-1 + 968)/((2 - -2)/l) prime?
True
Let w(z) = -z**3 + z**2 - 5*z - 36. Suppose 2*i + 4*v = 4*i + 26, -5*v + 27 = -2*i. Is w(i) a composite number?
False
Let n be 20/(-35) - 48/14. Let m(k) = 32*k**2 - 10*k - 2. Let r be m(n). Suppose 7*z - r = 241. Is z prime?
True
Suppose -206*q - 602973 = -269*q. Is q a prime number?
False
Suppose -48916 = -5*w + o + 107259, -156175 = -5*w + 2*o. Is w prime?
False
Let v(a) = 6*a**2 + 2*a - 1. Let r be v(1). Suppose -r*k = -895 - 2934. Is k prime?
True
Let n(z) be the first derivative of z**5/15 - z**4/2 - 29*z**3/6 - 3*z**2/2 - 13. Let c(l) be the second derivative of n(l). Is c(-11) prime?
True
Suppose -14*g - 1 = -29. Suppose -57718 = -g*i - 4*k, 9*i - 144286 = 4*i - k. Is i prime?
False
Let k = -118093 - -219074. Is k pr