te number?
True
Suppose -c + 529 + 3260 = 2*w, 0 = 2*w - 4*c - 3784. Let t be -12*(732/(-8) - 3). Suppose t = 3*a - 0*v - 3*v, v + w = 5*a. Is a prime?
True
Let d(v) be the second derivative of -2321*v**3/3 - 111*v**2/2 - 152*v. Is d(-5) a prime number?
True
Let t be 5/(-20) + 26/8. Let f be 185/(-5)*6 - t. Let x = 478 + f. Is x composite?
True
Suppose -19*i - 28*i + 93667 = -40*i. Is i prime?
True
Suppose -5*a - 4998 = -2*a. Let m = a - -2945. Is m a prime number?
True
Is -99413*(-8)/(56/7) a prime number?
False
Is 557328 + 60/(-48)*-4 + 2 prime?
False
Suppose -20*a + 23*a = 9. Suppose 2131 = a*p + 670. Suppose -2*h = f - 5*h - p, -2*f = -4*h - 978. Is f a prime number?
False
Let f be (-3)/2 + (-114815)/(-10) + -1. Let w = -3750 + f. Is w a prime number?
False
Let z = 14872 - 7166. Suppose 232 = -58*u + 116*u. Suppose -z - 4706 = -u*x. Is x composite?
True
Let u be (2 - 1/2)/((-21)/140). Is 559 + (-22)/55*u/1 a prime number?
True
Suppose 0 = 5*r - 3*r - 4. Suppose 0 = -6*g + 3*g - z - 11, 5*z = -r*g + 10. Is g/(-2)*(33 - 19) prime?
False
Suppose -2*w + 30005 = 3*z, 536*z - 538*z + 20046 = -4*w. Is z prime?
True
Suppose -2*t - 9046 = -4*s, -5*s = 2*t - 4*t - 11307. Suppose 2*r = 5*z - 12710 + 1405, -z + 5*r + s = 0. Suppose -z = -10*g + 3*g. Is g a prime number?
False
Let j be (4/3*41145/10)/1. Suppose 30*k - 4*k - j = 0. Is k a composite number?
False
Let o(r) = -96*r**3 + r**2 - 6*r + 2. Let a = 10 + -13. Is o(a) prime?
True
Let g be ((-1)/2)/(-11 - 595/(-54)). Is -3*(6 + 909/g) composite?
False
Suppose 1311485 = 5*d + 4*v, -2*v - 557464 = -5*d + 754051. Is d a composite number?
True
Let l(k) be the second derivative of 3*k**4/2 + k**3/2 + k**2/2 - 17*k. Let a be l(-5). Suppose -3*q = 2*m + 35 - a, 520 = 4*q - m. Is q prime?
True
Suppose 6*j - 8 = 4*j. Suppose -4*i + 13620 = 2*l, 5*i = 2*l - j*l + 13618. Suppose 12*n - 4790 - l = 0. Is n prime?
True
Is 12/(-6) + (-1 - 0)*(-6 - 63655) prime?
True
Let m(l) = 1 + 0 + 515*l**2 + 1379*l**2 - 2*l. Let p be m(1). Suppose -4*z - 351 = c - p, 7600 = 5*c - 2*z. Is c a composite number?
True
Let o be (4 - -1)*1 - (-19 - -22). Suppose -111157 = -5*v + 4*q, 44443 = o*v + 10*q - 5*q. Is v a composite number?
False
Suppose 352*m - 445*m + 23753409 = 0. Is m a prime number?
True
Let n be (6/(-33) - (-2)/11) + 10. Suppose u = -u + n. Suppose -3*q + 379 = 3*a - 2*a, u*q = -a + 633. Is q prime?
True
Is 9*(953017/117 - -12) composite?
False
Suppose -p - 5*q + 22 = 0, 3*p - 37 - 65 = -3*q. Suppose p*c - 33*c = 460. Suppose 6*u = -c + 2557. Is u a prime number?
False
Suppose -3*x = 2*g - 201471 - 121095, -2*g + 107530 = x. Is x composite?
True
Suppose 3*k = -130 + 136. Is ((-3912)/(-1 - 5))/(k/1) a prime number?
False
Suppose 4*s = 5*r - 459509, r - s - 28268 - 63634 = 0. Is r a prime number?
False
Suppose 4*s + 5*t - 4217020 = 0, -343*s - 5271365 = -348*s + 5*t. Is s composite?
True
Let s be ((-30)/(-40))/(6/40). Suppose 6 = -2*b, 3*b - 35 = -s*h + 21. Suppose h*v - 11189 = 2552. Is v composite?
True
Let w be 12/(-4)*(-2 - -1). Let c(f) = 320*f**2 + f - 6. Let d be c(w). Suppose d + 2759 = 4*z. Is z a prime number?
True
Let x(l) = 2233*l**2 - 196*l - 1295. Is x(-6) composite?
True
Let f be 74256/64 + (-4)/16. Let o = -651 + f. Is o a prime number?
True
Let f(y) be the first derivative of -275*y**2 + 86*y + 303. Is f(-6) a composite number?
True
Let q(g) = -14*g + 2 + 19*g - 16 + 21*g**2. Let k be q(5). Suppose -k = -6*x - 38. Is x prime?
True
Let z = -21 + 3. Let l(a) = 2*a**2 + 29*a - 36. Let u be l(-16). Is (-3)/z - (-7618)/u a composite number?
True
Let v(c) = -36*c**3 - 7*c**2 + 7*c - 7. Let o be v(4). Let i be (o/(-2))/((-1)/(-2)). Suppose -5*y + i = -3040. Is y composite?
False
Suppose 7*d - 28*d + 33204180 = 39*d. Is d a composite number?
True
Let m be (-6)/(-2)*(-10)/30 - -3089. Suppose -m + 41595 = 7*b. Is b prime?
True
Let q(g) = 158*g + 3. Let i(y) = 158*y + 2. Let r(b) = -6*i(b) + 7*q(b). Suppose -15 = -h - 2*h, 3*o + 13 = 5*h. Is r(o) composite?
False
Suppose 0 = 4*p + 4*x - 28, p + x + 11 = 6*x. Suppose 2*b - 4 = p*t - 3*b, 2*t - 4 = b. Suppose 0 = -0*o - 3*o - t*j + 2303, -4*j = 2*o - 1542. Is o composite?
False
Let u = -7720 - -14966. Let z = u - 3339. Is z a prime number?
True
Let t(r) = r - 1. Let l(z) = -15*z + 9. Let d(c) = l(c) + 9*t(c). Let q be d(-1). Is (-11462)/33*q/(-4) prime?
True
Suppose 0 = -8*r + 512649 + 2060335. Suppose 6*a + 11*a - r = 0. Is a composite?
False
Is (116304146/56)/23 - 30/(-40) a composite number?
True
Let f(b) be the third derivative of 2*b**5/15 - 2*b**4/3 - 7*b**3/6 + b**2. Let h(w) = -2*w**2 - 55*w + 79. Let o be h(-29). Is f(o) prime?
False
Suppose -2*m = 29*c - 26*c - 5401099, 0 = 2*m + 7*c - 5401095. Is m a prime number?
False
Let f = 18316 - -223. Is f a composite number?
False
Let j(s) = -24*s**3 + 3*s**2 - 9*s + 19. Suppose -35*t + 175 = -60*t. Is j(t) prime?
True
Let i(w) = -16*w**3 + 8*w**2 - 5*w - 18. Let a be i(9). Is (-2 - a/4) + 3/(-4) prime?
True
Let r = -46385 - -81586. Is r composite?
False
Suppose l - 2*b - 5 - 3 = 0, -4*l + 54 = 3*b. Let x(s) = -s**3 + 9*s**2 + 35*s + 11. Let t be x(l). Is t/(335/(-1324) + (-3)/(-12)) a composite number?
False
Let h(y) = y**2 + 14*y - 15. Let j be h(-15). Suppose 7*r - 5*r + 8 = j, 0 = 4*d - 2*r - 4412. Is d a composite number?
True
Suppose 0 = -31*a - 5*a + 837684. Is a prime?
True
Let o = -22 + 146. Suppose 0 = 4*k - 92 + o. Is (k/4 + 1)*(-1185 + -2) a prime number?
True
Let a(v) = 35*v**2 - 46*v + 976. Is a(29) a prime number?
True
Suppose -3*j = -8*j. Let r(u) be the first derivative of -u**3/3 + 3*u**2/2 + 853*u + 340. Is r(j) a composite number?
False
Let t be (1 + 18/(-3))*(-3 + 2). Suppose -x + 2*m - 3*m = 550, -2*m + 2736 = -t*x. Let y = x + 1221. Is y a prime number?
True
Suppose -3*o + 6 = 24. Let x(q) = -14*q**3 - 3*q**2 - 2*q + 1. Let w(g) = 27*g**3 + 6*g**2 + 4*g - 2. Let l(a) = o*w(a) - 11*x(a). Is l(-4) a prime number?
False
Let o(b) be the first derivative of -b**2/2 + 13*b - 17. Let z be o(11). Is -2 + -1 + z + 80 a prime number?
True
Let y(c) = 3*c + 7. Let d be 192/(-108) - 2/9. Let z be y(d). Is (z - (-1 + -1)) + 216 + 4 composite?
False
Is (-662872)/(-64) - (-9)/96*-4 prime?
True
Let l = 105 - 105. Suppose -3*f + 15*f - 4272 = l. Let u = 625 - f. Is u prime?
True
Let t(i) = 457*i**2 + 41*i - 7. Suppose -84 = 27*z + 51. Is t(z) prime?
True
Suppose -3*g + 267 - 1449 = 0. Let p = g + 839. Is p a composite number?
True
Let p = -55049 + 33251. Let u = -14899 - p. Is u prime?
True
Let h = -12 - -11. Is (-166090)/(-14) - ((-12)/28 - h) a prime number?
True
Suppose -134*q - 14*q + 62039977 - 11747949 = 0. Is q composite?
False
Is (-21940335)/(-4303) - (-2*1 - 48/(-26)) prime?
True
Let x be 1/1 + (-10 - -13). Suppose 3*z - v - x = 0, -2*z = 2*z - 5*v + 2. Suppose 5*i + z*h - 1685 = 0, -2*i + 3*h = -0*i - 655. Is i a prime number?
False
Let d be (-52582)/(-6) + 6/(-9). Let q be (-2 - -7 - 2118/10)*-75 + -3. Suppose -d - q = -6*l. Is l prime?
False
Suppose -6*b - 16328 = -4*k - 9*b, 3*k - 12257 = -5*b. Suppose 1905 = 3*i + 4*y, 5*i - k + 915 = -3*y. Is i a prime number?
True
Let d be 54 + -2 + -1 - 78/78. Suppose d*p - 106816 = 74334. Is p composite?
False
Suppose 2*v = -q + 4*v - 5, 3*q - 4*v = -7. Let s(a) = -a**q + 7 + 3*a**3 - 3*a - 10*a**2 - 8*a - 3*a**3. Is s(-9) a prime number?
False
Suppose -210*d = -162*d - 1149936. Is d prime?
True
Let j be (-3)/3 - (-1 + -4395)/2. Let r = 1392 + j. Is r prime?
False
Let v = -136 - -161. Suppose -113756 = -v*q - 39681. Is q a prime number?
True
Let l = -46 + 19. Let q = -27 - l. Suppose q = -x + 304 + 75. Is x a prime number?
True
Let z(w) = 34*w**2 - 62*w + 1. Let c(p) = -66*p**2 + 110*p - 2. Let o(s) = -4*c(s) - 7*z(s). Let v(r) = 4*r + 1. Let x be v(-1). Is o(x) prime?
False
Let y(m) = 118*m + 12. Let h(j) = 59*j + 6. Let v be ((-2)/(-6))/((-1)/21)*1. Let u(x) = v*h(x) + 3*y(x). Is u(-5) a composite number?
True
Let l(f) = 223838*f**2 - 12*f - 3. Is l(1) prime?
True
Let u = 158912 - -739947. Is u a composite number?
True
Let f = 15958 + -30064. Let r = f + 37295. Is r a composite number?
False
Let t = 235 - -305. Let h = 140 + t. Suppose -a - h = -d - 6, 2018 = 3*d + a. Is d composite?
False
Let x(h) = 22*h**2 + 200*h - 227. Is x(57) a prime number?
