 = o*a - 242. Is a a prime number?
False
Suppose -4*u = -2*b - 14, 0 = -4*u + 4*b + 8 + 12. Suppose 0 = -4*d + u*k + 994, -2*d - 5*k + 503 = -0*d. Is d a prime number?
False
Is 27916/7 + -7 - -8 a prime number?
True
Let a(b) = -7 + 10*b + 3*b + 29*b. Is a(3) prime?
False
Let z = 28 + -25. Suppose -z*x - o + 3*o = -153, -2*x + 3*o + 102 = 0. Is x prime?
False
Let j = -501 - -1155. Let o be 4604/8*(4 + 3 + -5). Let b = o - j. Is b a composite number?
True
Let t(v) = 2*v**3 - 3*v**2 - v + 4. Let h be t(2). Let c(d) = 97*d + 1. Is c(h) prime?
False
Is (4/(-4))/((-5)/25255) composite?
False
Suppose 4*n - 24289 = 11*h - 10*h, h + 6076 = n. Is n a composite number?
True
Let h(v) be the first derivative of 10*v**3/3 + 5*v**2 - 23*v - 22. Is h(7) composite?
True
Suppose a = 3*j - 13259, -18520 - 3601 = -5*j - 4*a. Is j a prime number?
True
Suppose 5*s - 4588 = -3*g, 0*g + 5*g - 7654 = -s. Suppose 5*h + 619 = 2*j, 5*j - g = -3*h - h. Is j prime?
True
Let u = -65 + 53. Is 3 - (-14331)/15 - u/20 a composite number?
True
Let t(u) = 385*u**2 + 9*u + 1. Is t(-7) a prime number?
True
Suppose o - a - 1376 = 0, 0 = 5*o - a - 5567 - 1333. Is o a composite number?
False
Suppose 5*a = 8*a - 6. Is (a - (1 - 0))*4637 prime?
True
Let o = -78 + 88. Let h = o + 13. Is h a prime number?
True
Suppose -2*j = 2*g - 4456, 3*j + 2225 = 4*j - 2*g. Let i = j + -1410. Is i a composite number?
True
Is 1/3 - ((-357077)/3 + -1) prime?
True
Let j = 20 - 26. Is (-3862)/((-2)/6 - (-10)/j) composite?
False
Suppose 5*c - 791 = l, 4*l + 2079 = -3*c - 1131. Let o = l + 1680. Is o prime?
False
Suppose 125 = 3*l + 4*y, 2*l - 68 = 4*y + y. Suppose -244 + l = -w. Is w a composite number?
True
Let l be 60/36*3/1. Suppose -2*n = -l*w - 612, w - 2 = -4. Is n a prime number?
False
Suppose -t - 2 = 0, 5*d - 16*t + 12*t = 92313. Is d a prime number?
True
Let v(a) = -a + 1. Let p(z) = -5*z + 2. Let h(y) = p(y) - 6*v(y). Let m be h(4). Suppose -n + 5*n - 380 = m. Is n composite?
True
Let y = -18 + 22. Is (-2 + -251 + y)/(-1) a prime number?
False
Suppose -5*z = -5*b - 300 - 970, 0 = -4*z - 2*b + 1016. Is z composite?
True
Let t = 662 + 163. Suppose -161 = -a + 2*g, 5*a = 2*g + 3*g + t. Suppose -5*f + 2*q + 965 = 0, 2*q - a - 12 = -f. Is f a prime number?
True
Suppose 9*x = 12*x - 9570. Suppose 6*y = x - 496. Is y a prime number?
True
Let z(q) = 2*q**2 - 17*q - 7. Let k(l) = -l + 18. Let p be k(6). Is z(p) a prime number?
False
Let a = -4277 - -10443. Is a a prime number?
False
Suppose -g - 3*g - 4*z + 376 = 0, -g - 3*z + 100 = 0. Is g prime?
False
Let t(n) = 43*n**2 + n + 5. Is t(6) prime?
True
Let z(r) be the first derivative of 8*r**3 + r**2/2 - 7*r - 3. Is z(-4) a prime number?
True
Let p be (192808/(-6))/(-7) - 1/(-3). Suppose 3*b + 0*b - 2753 = -4*a, 4*a - p = -5*b. Is b prime?
True
Suppose 9*o + 774 = 9513. Is o prime?
True
Let k(n) be the second derivative of n**4/12 - 5*n**3/6 - 13*n**2/2 - 10*n. Let v be k(7). Is (1072 - v) + (1 - 5) a prime number?
False
Let r be (-427)/14*(-2 - -4 - -56). Let o = r + 4440. Is o composite?
False
Let b = -10547 - -15268. Is b composite?
False
Suppose 5*r = 10 - 0. Suppose -g = -3*g + r*l + 4, 0 = -l. Suppose -5*q + p = -395 - 445, g*q - 354 = 4*p. Is q prime?
True
Suppose m + 1 = 4*v, 5*v = 3*m + 2 + 1. Let c be 1 - (-5)/(-7) - (-47814)/182. Suppose 4*i - c - 909 = v. Is i prime?
True
Suppose -n = -0*n. Let j(g) = -g**2 + 155 + 41 + 34*g + 3 - 33*g. Is j(n) a prime number?
True
Let z = -2120 + 6439. Is z composite?
True
Let o = -5377 - -14036. Is o composite?
True
Let t(n) = n**2 + 10*n - 7. Let r = 26 - 37. Let c be t(r). Suppose -c*q + 20 = 0, 0 = p - 3*q - 55 + 11. Is p prime?
True
Let p = 25143 - 13990. Is p a prime number?
False
Suppose 58972 = 19*w - 15*w. Is w a composite number?
True
Let u(l) = -l**2 - 28*l - 49. Let x be u(-26). Suppose 0 = x*z - 2*z - 103. Is z a composite number?
False
Is (3/(-6))/(6/(-45996)) a prime number?
True
Is (0 - 2)/(2/(-7901)) a prime number?
True
Let v(k) = 2*k + 3. Let i be v(1). Suppose 2*m - l - 1208 = 4414, -i*m - 3*l = -14055. Suppose 104 = 5*p - m. Is p prime?
False
Let f(n) = -n**2 + 12*n - 29. Let j be f(5). Suppose 4*w + 3554 = j*w. Is w a prime number?
True
Let z(p) be the first derivative of 13*p**4/24 + 5*p**3/2 + 3*p**2 - 3. Let t(i) be the second derivative of z(i). Is t(8) a prime number?
False
Let h be 6/2*30/18. Is (134/10)/(1/h) prime?
True
Suppose -h + 14*o - 18*o = -9207, -2*h = 2*o - 18402. Is h a prime number?
True
Let f be 1/((-5981)/1994 + 3). Let y = f - 45. Is y a composite number?
False
Let l = 3484 + -2087. Let m = l - 712. Is m a prime number?
False
Suppose 5*o + 2*v = 3*o - 48450, -2*o + v - 48450 = 0. Is o/(-20) - 1/4 composite?
True
Suppose -2*q + 0*q = 0. Suppose -4539 = -5*r - 0*r - g, 5*r + 2*g - 4543 = q. Is r composite?
False
Let l(o) = 3*o - 7. Let k be l(6). Suppose 3*g - r + 1 = k, -5*g + 10 = 5*r. Suppose 266 = g*v - 5*s, -3*v - 4*s + 214 = -v. Is v prime?
True
Let u(s) = 2*s**3 - 5*s**2 + 4*s - 2. Let b(y) = -y + 22. Let x(w) = -w**2 + 10*w + 8. Let t be x(9). Let k be b(t). Is u(k) prime?
False
Let q = -2737 + 6330. Is q a prime number?
True
Suppose 0 = -p + 2*j - 264, 5*p - 5*j + 85 = -1250. Let n = -816 + 413. Let t = p - n. Is t a prime number?
False
Let x(l) = -l**3 - 1. Let m(k) = 24*k**3 + 4*k**2 + 4*k + 2. Let u(i) = -m(i) + 5*x(i). Is u(-4) prime?
True
Let z(m) = -127*m - 3. Let r(u) = u**2 - 6*u - 5 - 2*u**2 + 4 + 6. Let l be r(-7). Is z(l) a composite number?
False
Let s = 103933 + -5526. Is s prime?
True
Let s(v) = -v**3 + 11*v**2 + 2*v - 15. Let l be s(11). Suppose l*j + 470 = 2689. Is j prime?
True
Is -58*30771/(-162) - (-4)/18 a prime number?
False
Suppose 5*s - 1861 = 239. Suppose -3*m + s = 5*d - 6*m, -3*d + 4*m + 241 = 0. Is d prime?
False
Let o = 29578 - 16769. Is o a composite number?
False
Is (-12 - 497/(-42))*-189402 composite?
False
Suppose -5*p - 791 = -q, 0 = p + 3*p - 3*q + 635. Let g = 237 + p. Is g prime?
True
Let z(w) = 7*w + 3131. Let s(j) = -j - 1. Let c(l) = -5*s(l) - z(l). Let r be c(0). Is 2/3*r/(-4) a composite number?
False
Let a(i) = -85*i**3 - i**2 - 2*i - 7. Let n = -13 + 11. Is a(n) composite?
False
Let l(g) = -g**3 + 5*g**2 - 5*g - 3. Let c be l(4). Let j be (4 - -1)*(-84)/c. Is 2*j + 0 + 1 composite?
True
Let w = 88 + -85. Suppose -w*o = 10*z - 7*z - 2916, 3878 = 4*z + 2*o. Is z a composite number?
False
Suppose -4*l + 2*s + 70646 = 0, -5*s + 88300 = 5*l - 10*s. Is l a prime number?
False
Suppose -h + 40*o + 1194 = 37*o, 5*o - 3568 = -3*h. Is h prime?
False
Let d(v) = 27*v - 10. Let x be d(9). Let c be (0 + -1)*(3 - x). Suppose -2*z + 4*z = c. Is z composite?
True
Let m = -24329 - -51016. Is m prime?
True
Suppose g + 7 = -4*z - 6, 0 = 3*z + 9. Let t(d) = 1258*d**2 + d + 2. Is t(g) a prime number?
True
Let b = 307 + 742. Is b a composite number?
False
Suppose -184*i = -183*i - 17729. Is i composite?
False
Suppose -5*m + i = -4*i - 65, 2*i = 4*m - 48. Let s = -9 + m. Suppose s*a + 4*w = 218, 4*a - a - 335 = 2*w. Is a a prime number?
False
Suppose 27*i - 421914 + 136983 = 0. Is i a prime number?
False
Let k(x) = -x**3 - 3*x**2 + 2*x - 6. Let n be k(-4). Suppose -3*j - n = p - 794, 2336 = 3*p + j. Suppose -2*b + p = 5*b. Is b a composite number?
True
Let p be (4 - 2) + 1125/(-3). Let v be 1476/14*(5 + 2). Let q = p + v. Is q a composite number?
True
Let o = -1810 - -3792. Is o prime?
False
Let s = 21 + -17. Let k be 58/s + 8/16. Suppose 4*o - 5 = k, 2*w - 4*o = 306. Is w prime?
True
Let h(f) = 1510*f**2 + 23*f + 56. Is h(-5) a composite number?
False
Suppose t - 1553 = -3*f, 0 = -4*t + 4*f + 924 + 5256. Suppose -3*g = -t + 218. Is g composite?
False
Let u be (-48915)/(-195) + 4/26. Let s(t) = t - 6. Let b be s(6). Suppose -3*l + u - 44 = b. Is l a prime number?
False
Let d(c) = -c + 9. Let r be d(9). Suppose 3*l + 4*m - 511 = r, -2*l + m - 703 = -6*l. Is 2/((30/l)/5) a prime number?
True
Let p(f) = f**3. Let b(x) = 5*x**3 + 9*x**2 - 6*x. Let m(d) = b(d) - 3*p(d). Let n be m(-7). Let o = 16 - n. Is o a composite number?
True
Is 3911/(-8)*-90 - (-12)/48 prime?
False
Let m = 11247 + -5936. Is m composite?
True
Suppose 0 = -2*v - 3*v - 5575. Let c = 48 - v. Is c a prime number?
True
Let p(x) = 126*x**2 - 21*x + 37. Is p(-12) a prime number