Is a a prime number?
False
Let h(b) = 68*b**3 - 18*b**2 - 3*b + 2. Let f be h(7). Suppose f = 5*p - 33612. Is p composite?
True
Suppose -16*x = 75*x - 7019467. Is x a prime number?
True
Let f(a) = -a**3 + 11*a**2 + 23*a + 39. Let g be f(13). Suppose 5*k + 176 = 7*k + 3*p, g = k + 2*p - 90. Is k a prime number?
False
Let o(z) = 142*z**2 - 1293*z + 366. Is o(59) a prime number?
True
Let p(s) be the second derivative of s**7/140 - s**6/360 - s**5/60 + s**4/12 + 2*s**3/3 - 12*s. Let w(y) be the second derivative of p(y). Is w(3) prime?
True
Let r be (-3 - -1)/(7581/(-3790) + 2). Suppose -4*p + 4*g = -0*g - r, -3*g + 9 = 0. Let s = -931 + p. Is s prime?
True
Let p = -10568 - -180151. Is p prime?
True
Suppose 131*z - 34*z = 37*z + 21996420. Is z prime?
True
Let d be 4 - (-9)/(45/(-80)). Let m(z) = -3*z**2 + 26*z + 55. Let u(k) = k**2 - 13*k - 27. Let a(c) = -2*m(c) - 5*u(c). Is a(d) a composite number?
False
Let u(g) = 53*g**3 + 3*g**2 - 33*g + 120. Is u(7) prime?
False
Is (-15)/(-12) + (-7510503)/(-132) prime?
False
Suppose w - 49929 = -2*s, 5*w = -52*s + 50*s + 49949. Suppose -8*o - s + 186090 = 0. Is o a composite number?
True
Let v be (1038/5)/(48/10240). Suppose -2*c + 1 + 3 = 0, -2*m + v = 3*c. Is m a prime number?
False
Let u(s) = 6*s**2 - 3*s + 11. Suppose 3*q + 2*x = -23, 0 = x - 8 + 3. Let v(j) = -j + 7. Let d be v(q). Is u(d) a composite number?
False
Suppose 15*o - 8*o - 107261 = 0. Suppose 3*u - 3*x - 30 = 0, -u - u + 5*x = -20. Suppose y - o = -u*y. Is y prime?
False
Suppose 1077259 - 14189961 = -41*a. Is a a prime number?
False
Is (30/(-120))/(7/(-160636)) prime?
True
Suppose 23*t - 5802195 = -830906. Is t composite?
True
Is ((-321083)/(-7))/(9 + (-124)/14) a prime number?
False
Let n(k) = -2*k + 14. Let j be n(5). Suppose 1 = 3*z + 5*y - 55, -y + j = 0. Is (-4258)/(-6) + 1 + (-20)/z a prime number?
True
Let o = -10753 + 15452. Suppose -c = 5*n - o - 9188, -2*n = 5*c - 5564. Is n prime?
True
Let l be (-33)/(-21) - (-12)/28. Is 10639*((-8)/16)/((-1)/l) composite?
False
Suppose -3*m + 5*l + 58577 = 0, -l = m + l - 19533. Is m prime?
False
Is (80 + -79)/(1/55291) a prime number?
True
Let j(r) be the second derivative of 13*r**3/3 + 55*r**2/2 + 388*r. Let s = 28 + -20. Is j(s) a prime number?
True
Suppose 3*a - 11 = -50. Let t(m) = -7*m**3 - 24*m**2 + 24*m + 8. Is t(a) prime?
False
Is (-9)/30 + 36333008/160 a prime number?
True
Let d(r) = -r**3 - 25*r**2 + 6*r + 46. Let n be d(-21). Is (-3 - 1) + 8 - (n + 1) a prime number?
True
Let z = 11795 - 19531. Let h be 1635/(5 + -3 + -1). Let u = h - z. Is u a composite number?
False
Let i be 3/6 + (6/4)/(-3). Suppose -7 = -t + 2*x, i*x - 4*x = 4*t - 16. Suppose -6365 = -t*m + 4*f, 4*m - 5123 = -2*f - f. Is m a prime number?
True
Let k(q) = 3 - 1 + 36*q + 66*q. Suppose 2*n - 19*n = -136. Is k(n) a prime number?
False
Let j(u) = -u**3 - 6*u**2 - 5*u + 3. Let s be j(-5). Suppose 9810 = 3*a + s*x, 2*x - 6844 = -5*a + 9503. Is a prime?
False
Let z be 72/(-108)*2454/(-4). Let c = z - -14752. Is c prime?
True
Suppose -3*d + 18 = 3*d. Suppose l = d*p + 2*p + 401, -4*l - 4*p + 1580 = 0. Suppose 0 = 2*y - 218 - l. Is y a prime number?
True
Suppose 3*o + 13 = 1. Let b be (-66)/((o/31)/4). Suppose 3*q - 550 = 2*a - b, -2*a + q = -1492. Is a composite?
True
Let m(r) = -17410*r + 21. Let w be m(-3). Let y = -27478 + w. Is y composite?
True
Suppose 1542308 = 8*x - 193908. Is x prime?
True
Let y(s) be the third derivative of 10645*s**4/8 - 7*s**3/6 + 14*s**2. Let g be y(1). Suppose -2*f + 0*f = 2*x - 12776, -5*f - x = -g. Is f prime?
False
Suppose 111*t - 4 = 110*t, 0 = -y + t - 4508. Suppose 0 = -d + 4*d - 24423. Let s = y + d. Is s prime?
True
Let l(s) be the second derivative of s**2/2 + 20*s. Let n(k) = -458*k - 7. Let h(y) = -6*l(y) - n(y). Is h(2) a composite number?
True
Let k = 267 - 422. Let b = -151 - k. Suppose b*x - 9178 + 1790 = 0. Is x a composite number?
False
Suppose -m = -38*v + 37*v + 22228, 3*v + 5*m = 66724. Let y = -12946 + v. Is y a composite number?
True
Suppose -107 + 451 = 4*b. Let v = 95 - b. Let c(d) = d**3 - d**2 + 7*d - 10. Is c(v) composite?
False
Let i(y) = 87*y**2 + 15*y - 185. Suppose 11 = 4*d + 5*p, 3*d + 2*d = 2*p + 55. Is i(d) a composite number?
False
Let p be 2*2*(39 - 40). Let y(i) = 31*i**2 - 2*i - 25. Is y(p) a prime number?
True
Let o = -304 - -302. Is 787/((o/(-12))/(1/6)) composite?
False
Let h be (1/(-4))/(-2*(-7)/(-280)). Suppose -2*i + 6267 = 5*v, -2*i + h*i + 3777 = 3*v. Is v composite?
True
Let b(r) = -r**3 - 30*r**2 + 34*r + 11. Let h(c) = -2*c**3 - 58*c**2 + 66*c + 23. Let p(u) = 11*b(u) - 6*h(u). Is p(-10) composite?
True
Let i be 2/6 + (11 - 3090/9). Let v = 173 + -294. Let w = v - i. Is w a composite number?
False
Let h(l) be the first derivative of 180*l**3 - l**2 - 3*l - 8. Let o be h(-1). Is o - 2*(3 - 4) a composite number?
False
Let u be ((-14348)/136)/(-1 - (-14)/16). Suppose 5*s - 4*b - 5283 = 0, 2*b = -0*b - 4. Suppose -s = -5*v + 3*l, -2*v - 2*v + l = -u. Is v a prime number?
True
Let u = 699980 + -360319. Is u prime?
False
Suppose -4*v = -4*i + 8, -2*i = -0*v + v - 4. Suppose -5*y + 34893 = 3*m - v*m, y + 23262 = 2*m. Is m a composite number?
True
Let t(w) = 21*w + 22. Let f be 6/4*28/3. Let c be t(f). Suppose 5*i - c = 3*v, i - v - 80 = -6*v. Is i prime?
False
Suppose -2*m + 1072085 = 33*m. Is m prime?
True
Let h = 15719 - 5030. Is (h/49)/3*7 composite?
False
Let m(v) = 3*v**2 + 2 + v - 3*v**2 + 3*v**2 + 4*v. Let k be m(-3). Is k*2/12*303 a prime number?
False
Let c be 22/(-8) + 3 + (-5)/20. Suppose c = -2*g + r - 3*r + 3276, -4916 = -3*g - 5*r. Is g composite?
False
Let h = -39 - -16. Let x = h + 26. Let y(a) = 46*a - 5. Is y(x) composite?
True
Let z be 336 - (7 + -4)/((-1)/(-1)). Suppose -147 - z = -4*k. Suppose -k = -2*s + 124. Is s prime?
False
Suppose 149*j + 2110775 = 174*j. Is j prime?
True
Let t(o) = o**3 + 47*o**2 + 2*o + 89. Let y be t(-47). Let n(l) = 0 - 11*l**2 - 2 + 16*l**2 + 12*l + 19*l**2. Is n(y) a composite number?
True
Is (((-317697)/(-5))/3)/((144/(-60))/(-12)) composite?
False
Let g(y) = -17*y - 20. Let t be g(-3). Suppose -t*n - 43351 = -42*n. Is n prime?
False
Suppose 47*u - 2*c = 10364033, -4*u + 1007352 - 125332 = 3*c. Is u a prime number?
True
Let j = 55567 + -37712. Is (j/(-1) - 8)/(-1) prime?
True
Suppose 124 = -8*s + 4*s. Let r = 41 - s. Let q = 295 - r. Is q prime?
True
Let z(c) = 481*c**2 - 33*c + 289. Is z(8) a composite number?
False
Let i(s) = 5*s + 47. Let c be i(-21). Let b = c + 41. Let y(k) = -k**3 - 14*k**2 + 19*k - 17. Is y(b) prime?
False
Suppose -27*p + 39*p = 217488. Is (-12)/(-18) - p/(-12) composite?
False
Let i(h) = 3*h - 18. Let g be i(7). Suppose -a - g*a + 232 = -2*y, 3*y = 2*a - 120. Is a composite?
True
Let j(d) = 3373*d**2 - 144*d + 1092. Is j(7) a composite number?
True
Let m be (-1)/(-1)*(-1 - -47). Let u = -38 + m. Suppose -338 = u*z - 2954. Is z composite?
True
Suppose -3*u + 127 = -38. Suppose -f = -u + 38. Let x(y) = 24*y**2 - 28*y - 11. Is x(f) a prime number?
True
Let h(f) = 2365*f**2 - 78*f + 2817. Is h(38) prime?
True
Let i(x) = 11*x + 196. Let q be i(-13). Suppose -42*g + q*g = 51854. Is g prime?
False
Let m be (-8 + 4 + 1)/(-1). Suppose m*c = 20 - 23. Is ((-12)/24)/(c/3802) a prime number?
True
Suppose 3*d + 2*t - 5*t - 87 = 0, 0 = 4*d - 2*t - 124. Let v = d - 15. Suppose -13*j = -v*j + 16355. Is j composite?
False
Suppose 10*a - 1677647 = -303297. Is a a prime number?
False
Let s(b) = 2601*b**2 - 36*b + 452. Is s(15) a composite number?
True
Let t = 416832 - 11173. Is t a prime number?
True
Let x(j) = -24*j**3 - 15*j**2 - 33*j + 50. Is x(-3) a composite number?
True
Let w(k) = 14*k**2 + 11*k + 17. Let y(m) = 5*m**2 + 4*m + 6. Let x(v) = 4*w(v) - 11*y(v). Let f be x(2). Suppose -2631 = -f*r + 13695. Is r a composite number?
True
Let g(d) = -428*d**3 + 13*d**2 - 36. Let f be g(-7). Suppose -2*k + f = 45443. Is k a composite number?
True
Let g = 118 - 105. Suppose 15762 = -g*j + 112625. Is j a prime number?
True
Suppose -2*u - 2*r - 8 = 0, 3*u + 0 = -5*r - 14. Is (-2*(-3453)/(-6))/(u - -2) a prime number?
True
Is (-1598 + 3)/(-11)*6537/15 prime?
False
Let c(u) = u**3 - 5*u**2 - 6*u + 10. Let z be c(9). Suppose 6*d = 5*d + z. Let i = -97 + d. Is i a prime number?
False
Is 350426/28 +