prime?
False
Is (-3)/((-8)/(-32)*6) - -55195 composite?
True
Suppose -3*r = 4*f - 799990, r + 635101 = 3*f + 35102. Is f prime?
True
Let q = -80092 - -156020. Suppose q = 9*u - u. Is u prime?
True
Let d be (-3824)/(-80) + 2/10. Suppose -333 - d = -3*x. Is x a composite number?
False
Let f(g) = -58*g**3 - 10*g**2 + 2. Let y be f(4). Let w = 9473 + y. Is w a composite number?
True
Let i(g) = 2*g**2 - 30*g - 1. Suppose 2 = -2*w - 12. Is i(w) prime?
True
Let q(u) = -214*u**3 - 4*u**2 + 42*u + 95. Is q(-6) prime?
False
Suppose -3*z = -6*n + 2*n - 11, -3*n + 3*z - 12 = 0. Is ((-38746)/(-6)*n)/((-101)/(-303)) prime?
True
Suppose 25*n - 34*n = -30843. Let f = n + -818. Is f prime?
True
Suppose n + 4*w = -153, -w = -n - 6*w - 151. Suppose 12 = 2*v + 160. Let i = v - n. Is i a composite number?
True
Let n be (1 - 6)/((-78)/(-18) - 6). Let o be -1 + 2/(-2) + 16. Suppose -n*c - 3*z + 1638 = 0, 1 = 3*z - o. Is c composite?
False
Let u(n) = 97*n - 109. Let x(v) = 191*v - 216. Let f(a) = -7*u(a) + 3*x(a). Is f(-19) prime?
True
Suppose 0*f = -f - 1, -39 = -4*i + 3*f. Suppose -5012 = -i*z + 5*z. Is z a prime number?
False
Let r be (-20)/8*(-12 + 0)/2. Suppose r*v - 10*v - 5 = 0. Is 207 + -8 - (-1 + v) prime?
True
Suppose -6*z + 1420301 = -4*d + 223767, 0 = 2*d - 14. Is z prime?
False
Suppose -31631640 = -35*n + 17962835. Is n composite?
True
Suppose -22*x + 126 = -36*x. Let t(z) = -12*z**3 - 6*z**2 + 16*z - 1. Is t(x) composite?
False
Suppose 18*f = 7*f + 5*f + 1321746. Is f a prime number?
True
Let m = -119 - -124. Suppose -m*a + 80398 = -3*z, -z - 3 = -2. Is a a composite number?
True
Let y(n) = -26*n**3 - 43*n**2 - 382*n - 49. Is y(-12) a prime number?
True
Let t be ((-2)/4)/((-13)/26). Let o = 1 + t. Let f(g) = 75*g**3 - 2*g**2 + g - 1. Is f(o) composite?
False
Let a be (-25 + 25)*(0 - 1). Let v(s) = s + 1. Let i(w) = 9*w - 975. Let b(g) = -i(g) + 2*v(g). Is b(a) a prime number?
True
Let f(d) = -4*d**2 + 2101. Suppose 8 = 4*o - 4*z, -o = 4*z - z + 6. Is f(o) a composite number?
True
Suppose 55179914 = 210*w + 188*w. Is w a prime number?
False
Let a(m) = 23*m**3 + 7*m**2 - m - 13. Let v be (-26)/(-4) - ((-351)/18)/13. Is a(v) prime?
True
Suppose -6 = -4*v - 2*u, v + v + 3*u - 1 = 0. Suppose v - 22 = -5*s. Is 12/s + 2964/3 a prime number?
True
Let j(y) = y**3 + 6*y**2 + 3*y - 5. Let p be j(-5). Suppose a = h - 10, -4*a - p + 1 = 2*h. Suppose -3418 = -h*x + 2444. Is x composite?
False
Let r = -1780 + -462. Let w = r + 5405. Is w a prime number?
True
Let i = 34 + -29. Let u = i - 5. Suppose 32*g - 28*g - 804 = u. Is g a prime number?
False
Suppose -3*w + 717835 = 3*g + 104476, 0 = 5*g + w - 1022257. Is g a composite number?
True
Let p be (-6)/(-10) - 1072592/(-80). Let z = -1545 + p. Is z a prime number?
True
Let v = 10 - 0. Let q(w) = 161*w - 10. Let o(b) = -b - 1. Let h(g) = 3*o(g) + q(g). Is h(v) prime?
True
Let j = 24 - 20. Let o(n) = -n**3 + 3*n**2 + 6*n - 5. Let q be o(j). Is 7 + 852 + 7 + q*-1 composite?
False
Let q be (2/3)/(-2) - (-418)/66. Is (13/q)/(14/35196) composite?
True
Suppose -3*a + 10*a - 35 = 0. Suppose a*x + 45 = -0*x. Let j(y) = -13*y + 6. Is j(x) prime?
False
Let b = 67 + -48. Suppose 5*w + d + b = 0, 0 = d - 0 - 1. Is 464/8*(-1 + (-66)/w) a prime number?
False
Suppose -4*o = 5*p - 741708, -2*o - 927093 = -7*o - p. Is o composite?
True
Suppose 3*v = 4*v - 97. Suppose v = -3*b + 3490. Suppose 382 = -r + b. Is r a prime number?
False
Let x(c) = -93*c**3 - 4*c**2 - 2*c + 1. Let g be x(-1). Suppose 0 = -9*q - 29 + g. Suppose -q*y + 2349 = -3685. Is y a prime number?
False
Let s(q) = -21*q + 15. Let y = -1 + 51. Suppose -a - 2*h = 30, 4*a = -2*h - y - 52. Is s(a) composite?
True
Is (141/282)/((-101943)/101946 + 1) a prime number?
False
Let r = 368649 + -177644. Is r a prime number?
False
Suppose 5*i = -5*u + 52 + 158, -i = -4*u + 163. Suppose -43*g + u*g = -6122. Is g a composite number?
False
Suppose 3*x - 4*m + 234 = 0, 2*m - 367 = 5*x + 37. Let f = 119 + x. Is f composite?
False
Let v(o) be the second derivative of -o**7/420 + o**6/90 - o**5/12 - o**4/4 + o**3 + 26*o. Let n(k) be the second derivative of v(k). Is n(-4) a prime number?
False
Let b(h) = -h**3 - 23*h**2 - 21*h + 24. Let i be b(-22). Let y = i - 3. Let r(a) = -158*a**3 - a**2 + a + 1. Is r(y) prime?
True
Suppose 3*s = 6*s - 9. Suppose 1006 = 4*p + 2*a, 735 = s*p - 2*a - 3*a. Suppose -8*d + 3306 = p. Is d a composite number?
True
Suppose p + 4*r = 203877, -7*p - 611597 = -10*p + 5*r. Is p a prime number?
True
Suppose -j = -3*j + 48. Suppose 0 = 5*l + 3*l - j. Suppose -4*h + 1505 = l*g, 4*h + 399 = -4*g + 2403. Is g composite?
False
Let m be 9*6/144 - (-111)/24. Suppose m*t + 4*o = 3*t + 19914, 2*o + 39878 = 4*t. Is t composite?
False
Let n = 1283 - -2086. Suppose -5*x + 2*y + 956 = -15897, -2*y = -x + n. Is x a prime number?
True
Suppose 11*v + 940250 = -94245. Is v/(-25) + (-8)/10 a prime number?
True
Let h(d) = d**2 + 2*d + 15. Let q be h(-4). Suppose q*b = 13*b + 32290. Is b composite?
False
Suppose -4171 = -10*z - 1281. Suppose 73*i - 74*i = -z. Is i composite?
True
Let f = 218974 - -73041. Is f prime?
False
Let v = 2 + -23. Let g be (-4)/6 + (-14)/v. Is -3 + (g - -134) + -4 composite?
False
Suppose 4*c = -14*c - 18. Is c/2 - 1149605/(-86) a prime number?
True
Suppose -8 = 119*m - 121*m. Suppose 12*s - m = 13*s. Is (0 - (-2)/s)/(1/(-4094)) a composite number?
True
Let q be (3/9)/(1/3) + 759. Let i = -234 + q. Is i composite?
True
Let p(o) = -o**2 - 16*o - 15. Let v be p(-11). Suppose 0 = 4*c - v + 28. Suppose 2*t + 929 = -c*j + 4056, -4*t = 4. Is j composite?
True
Let f(x) = -2*x**2 + 9*x + 7. Let v(q) = -9*q**2 + 4*q. Let n be v(1). Let h(p) = -p**2. Let u(k) = n*h(k) + f(k). Is u(-7) prime?
False
Suppose 0 = 95*l + 22*l - 6571539. Is l prime?
True
Let t be (-58 - -52)*2/(-4). Let w(f) = 2116*f**2 - 1. Let r be w(-1). Suppose -2*z + 755 + 71 = -t*q, 5*z = -5*q + r. Is z a composite number?
False
Let d(y) = 1383766*y**2 - 24*y + 27. Is d(1) prime?
True
Let k = 1233 + 115. Let l = k - 299. Is l composite?
False
Is 10*(-6)/(-180)*226977 a prime number?
True
Suppose 10 = 5*n - 5*f, 2*n + 0*f = f + 7. Suppose k + n = 5*h - 4*h, 3*h - 10 = -2*k. Is (0 + -2 + h)*2122/4 a prime number?
True
Let k be 1 + (7 - -2)*-1. Let n be k/(-6) + 40/(-30). Suppose 0*c - c + 321 = n. Is c prime?
False
Suppose 19 = u + 3. Suppose -m + 4*y = -20, 0*m + 2*m - 2*y - u = 0. Is (63 - m) + -1 + -1 composite?
True
Let n = -279652 + 589853. Is n a composite number?
True
Let g be 50/(-1 + 0/2 + 3). Is 2191 - (-3 - g/(-5)) a prime number?
False
Let p = -2292 + 9901. Is p composite?
True
Let k = -104603 + 305242. Is k prime?
True
Let v(g) = 209*g**2 - 3*g. Let j be v(2). Suppose -u = -364 - j. Suppose -u = -11*i - 248. Is i a composite number?
True
Suppose 0*v = -v - 3*l - 24, 2*l - 127 = 3*v. Let m = v + 39. Suppose 3*a = -m*g - g + 535, 0 = 4*g + 3*a - 2176. Is g composite?
False
Suppose 2*o - 3 = -2*u + 7, 0 = 2*o - 5*u + 25. Suppose -2*x + 6*x - 304 = o. Let q = 167 - x. Is q prime?
False
Suppose 11 + 4 = 3*l. Suppose 4024 = 4*w - 3*v - 2554, 8209 = l*w + 3*v. Is w a prime number?
False
Suppose -45354120 = -54*w - 66*w. Is w a prime number?
False
Suppose 31*d + 11*d = 4604211 - 123357. Is d composite?
True
Let c(p) = -p**2 - 18*p + 46. Let i be c(-20). Let n(u) = 4384*u - 8. Let x be n(i). Suppose 7066 - x = -10*r. Is r composite?
True
Let x be 6/(-72) + (-9121)/(-12). Let t = 19851 + x. Is t a prime number?
True
Suppose 351*i - 2654559 = 324*i. Is i a prime number?
True
Let f(d) = 1920*d + 19. Suppose 0 = -5*m + 3*q + 14 + 4, m - 6 = 3*q. Is f(m) composite?
False
Suppose 2*w + 0*w = -v + 8, -2*w - 4*v = 4. Let u(y) = y**2 - 7*y + 9. Let d be u(w). Suppose 3*x = 4*r + 6289, 3*x + 0*r - 6303 = -d*r. Is x composite?
False
Let i be (-2)/(-3)*-3 - 2. Let w(d) be the third derivative of 4*d**5/15 - d**4/8 - d**3 - 5*d**2 - 5. Is w(i) prime?
False
Suppose -36*l - 2681196 = -9511584. Is l a composite number?
False
Let n = 132 + -73. Let t = -56 + n. Is (t + -2)*-1 - -35 prime?
False
Let m be 122/183 + 8/6. Is (-1894254)/(-295) - (m - (-18)/(-10)) a composite number?
False
Suppose 4*j + 2*p - 5 = -37, p = -5*j - 34. Is (2/j)/((-28)/638988) a prime number?
True
Suppose 6*z - f = 2*z + 20, 3*f = -4*z + 36. 