- g*t, 2*u - t - 6637 + 604 = 0. Is u prime?
True
Let p(n) = -12*n - 6. Let q be p(7). Let z = 20 - -269. Let k = q + z. Is k prime?
True
Suppose -p - n = -3*n - 22, -2*p + n = -35. Let k(b) = 12 + p - 15*b + 1. Is k(-15) prime?
False
Let v(f) = 2*f**3 - 43*f**2 + 45*f - 251. Is v(23) composite?
False
Let h(k) = -4262*k - 7373*k - 1 - 889*k. Let v be h(-1). Suppose -5*d - u = -0*d - 20849, -3*d - 4*u = -v. Is d prime?
False
Suppose -1895406 = -5*b - f + 725694, -b = 2*f - 524229. Is b a composite number?
False
Let j be 106/34 + (-2)/51*3. Suppose -2*w - 113 + 1855 = 0. Suppose j*d - w - 1502 = 0. Is d prime?
False
Let r = 412 - 408. Suppose u = -3*q + 796, -r*u = -35*q + 30*q - 3133. Is u composite?
False
Let j(q) = 173*q**2 - 6*q + 41. Let d be j(5). Let r = 8279 - d. Is r prime?
True
Suppose 6*l + 5*d - 489005 = l, d + 391164 = 4*l. Is l a prime number?
False
Is (-8)/(-60) + 2 + -4 + 2669838/90 prime?
True
Suppose 10 = d + 4*d. Suppose -4*s = 2 + 10, d*s + 14 = -p. Is p/3*-177 - 1 composite?
True
Let n(g) = 3*g**3 + 12*g**2 - 35*g + 6. Let r(p) = -p**3 - 4*p**2 + 12*p - 2. Let i(x) = -6*n(x) - 17*r(x). Is i(-14) composite?
True
Let u be 25/10 + 6/4. Suppose u*m + 6 = -14. Is 405 - (m - -4) - -1 a prime number?
False
Let f(j) = 490*j**3 - 53*j**3 + 11 - 2*j**2 + 801*j**3 - 12. Is f(2) prime?
False
Let c be -159 - 6/(-2) - (-3 - -1). Is (c/(-33))/(1/(801/6)) composite?
True
Suppose 78130 = p + c, -5*p + 390569 = -13*c + 9*c. Is p prime?
True
Let i = 6065 - 1808. Suppose -5*f = -2*l - i, 3*l = f - 0*l - 841. Is f prime?
True
Suppose 193000 - 2333816 - 410733 = -77*w. Is w prime?
False
Suppose 198538 = -34*i + 29252. Let u = 19602 + i. Is u composite?
True
Let u(i) = 241*i - 77. Suppose -2*c - 22 = -2*l, l + 2*c - c = 9. Is u(l) prime?
True
Let v be (4/(-10))/(19/(-190)). Let h(r) = 530*r - 21. Is h(v) a prime number?
True
Let k = 115125 - -227194. Is k prime?
True
Suppose 248*j = 250*j + 2*y - 28914, 0 = -4*j - y + 57816. Is j a prime number?
False
Let w be (-2 + -2)*(4 + -3). Let o be (1 - -2) + (-7 + 4 - w). Suppose 3 = -z, z - 3864 = -3*p + o*z. Is p prime?
False
Is -2 + 2693458/18 + -24*(-2)/108 composite?
True
Suppose 82*f - 8555399 = 45*f. Is f prime?
False
Suppose 0 = -4*p - 5*s + 134, 2*p + 4*s = p + 28. Let r be (-2 - -5)*24/p. Suppose r*d - 145 - 825 = 0. Is d prime?
False
Let d = 166 - 188. Is (-8624)/(-1) + 22/d composite?
False
Suppose 166 = 48*a - 1082. Suppose -2*q = -0*q - 6. Is 17*(q - a/(-1)) composite?
True
Let d(t) = 2160*t - 8. Let y be d(-5). Let c = 16545 + y. Is c prime?
True
Let l = 752373 - 302918. Is l prime?
False
Suppose -49*k = -52*k + 15. Suppose -6*s = -5*l - k*s + 1057, 3*s = l - 217. Is l a composite number?
False
Suppose 0 = 34*p - 30*p + 4868. Is 10*(-2)/4 - p*2 composite?
True
Suppose 10 = -15*n - 50. Is (-6262)/n - 13/(-26)*3 composite?
False
Suppose 44*z - 34*z - 344500 = 0. Suppose -z = -21*l - 4861. Is l prime?
True
Let z be (30/(-8))/(2/(-8)). Let r(k) = k**3 - 7*k**2 - 10*k + 17. Let g be r(z). Suppose 0 = 3*h - b - 2134, g = 2*h + 5*b + 216. Is h a composite number?
True
Suppose -4*o - 2*d + 15488 = 0, o + 225*d - 227*d = 3857. Is o a prime number?
False
Is (-183786)/(-2)*(-2 - (308/(-33) - -7)) prime?
True
Let n(z) = 2*z**3 - 3*z**2 - 10*z - 3. Suppose -2*q + 20 = 3*q. Suppose -3*t - 31 = -5*b, -3*b + 12 + 11 = -q*t. Is n(b) a composite number?
True
Suppose -6*o - 10926 = 7086. Let g = -1635 - o. Is g a composite number?
False
Let t be (-6)/((-3)/6 - 1). Suppose 4*v - 3*n = -t, -n - 4 = -v - 3*v. Suppose -3*h + 4*k + 1310 = -3605, v*h + 3*k = 3288. Is h a composite number?
True
Let t be -3 + 50/15 - 200/(-12). Let x(o) = -2*o**2 + 7*o**2 + 14*o**2 - o**3 - 18*o - 9. Is x(t) a composite number?
False
Suppose 2 = -2*d + 8. Suppose -24 = -d*p - 0. Is p/12*1722 - (-5 - -2) a prime number?
True
Let r(d) = -193602*d + 1255. Is r(-2) prime?
True
Suppose -27 = -2*v - a, -2*a + 30 - 9 = v. Suppose -2*k = 4*l + 2, 0 = 3*l - l + 3*k + v. Is (5 - 1) + l*1635/10 a prime number?
True
Let q(o) = -19*o + 44. Suppose -15*n - 296 = -71. Is q(n) a composite number?
True
Let y(p) be the first derivative of p**3 - 5*p**2/2 + p + 179. Let o be (-2 - -10)*(-3)/(-4). Is y(o) prime?
True
Let d(z) be the third derivative of z**5/6 + 9*z**4/8 + z**3 + 22*z**2. Let o be d(-20). Let g = o - -571. Is g composite?
True
Is (5/5 + (-543)/6)/((-26)/96044) prime?
False
Let j(l) = -96*l**2 - 14*l. Let p(k) = -32*k**2 - 5*k. Let y(z) = -4*j(z) + 11*p(z). Suppose 3 = -6*x + 3*x. Is y(x) prime?
True
Suppose -10*g - 27 - 23 = 0. Let c be 2/g - 110/(-25). Suppose -667 - 561 = -c*j. Is j composite?
False
Suppose 13 = 6*k - 5. Suppose -2*z + k*s - 1 = 0, -1 = -0*z - 4*z + 3*s. Is (1/(z/3))/((-6)/(-1574)) prime?
True
Suppose -29876*v + 29903*v - 23984073 = 0. Is v prime?
False
Let f = -177097 + 294108. Is f a composite number?
True
Let p(u) = 7818*u**2 + 79*u - 561. Is p(6) prime?
False
Let x = 24 + -20. Suppose 4*l = x*p + 1477 - 6497, -2520 = -2*p - 3*l. Is p a prime number?
False
Suppose -3*q + 5*o - 5167 = 0, -4*q - 2*o = q + 8560. Let s = 3175 + q. Is s composite?
True
Suppose 911847 = 49*i + 38*i. Is i prime?
False
Let b be (245/2)/(5/(-120)). Let o = b + 386. Let c = -633 - o. Is c prime?
False
Suppose -13632088 = 147*b - 379*b. Is b a prime number?
False
Is 2/(-5)*1 + ((-8076908)/(-20) - -2) prime?
False
Let s(p) = -14*p + 8. Suppose 2*t - 5*m = -6 + 1, 3*t = -3*m + 3. Suppose -c - 3*l - 16 = t, -2*c - 4*l - 40 = 2*c. Is s(c) prime?
False
Suppose 3*p - 10605 = 6*p. Let i = -2172 - p. Is i composite?
True
Suppose 15*s = 13*s - 12. Let p be 2*(0 + (-15)/s). Suppose -3042 = -h - p*a - 1126, a = 3. Is h prime?
True
Suppose o - 85 = 66. Suppose 3*b + 2*p - o = 0, 0 = -3*b + 4*p + 86 + 89. Is b prime?
True
Suppose 0*m - a = 5*m - 4, 3*m = 5*a - 20. Suppose 6*k - k + 2*o - 21 = 0, k + o - 3 = m. Suppose -6*j + 899 = -k*j. Is j a composite number?
True
Let j(x) = x**2 - 53*x + 104. Let g be j(51). Suppose 0 = -k - g*y + 7263, -y = -8*k + 9*k - 7267. Is k a prime number?
False
Suppose 3*k + 13 = -2*s, -2*s + 0*k + k - 9 = 0. Let q(b) = -4*b**2 - 5*b**3 - 2 + 6 + 0. Is q(s) composite?
True
Suppose 3*j = j + h + 6, 2*j - 5*h = -2. Suppose -3*m = j*m. Suppose 4*r + 3690 = 2*b - m*r, 2 = 2*r. Is b a composite number?
False
Let v(n) = -n**2 + 10*n. Let g be v(8). Let l(b) = -29*b + 12*b + 7*b - 13 + g*b. Is l(16) composite?
False
Let h(y) = y**3 - 10*y**2 - 15*y + 1. Let t be h(13). Let a = t + -531. Let g = -131 - a. Is g a composite number?
True
Let i(a) be the first derivative of -3*a**2 + 299/3*a**3 + 5 - 4*a. Is i(-3) a composite number?
True
Let x(h) = 29868*h + 1529. Is x(8) prime?
True
Is 2/(-5)*5273925/(-50) - (-26)/(-65) composite?
True
Suppose 5*i - 4050 = -5*c, 2*i - 2*c - 1625 = -5*c. Suppose -2*x - 1155 = i. Let p = 2029 + x. Is p composite?
False
Let y be (2630/6)/(5/15). Let d = 2226 - y. Is d composite?
False
Let c be 13*2*(-474)/(-12). Let m = 2838 + c. Is m composite?
True
Suppose 160*k - 603351 = 196809. Is k a prime number?
False
Let v(t) = 2*t**3 - 19*t**2 - 2*t**2 - 6*t**2 + 23*t**2 - 18*t**2 + 34*t + 107. Is v(24) a prime number?
False
Let s(y) = 19*y**2 - 13*y - 11. Let p = -33 - -33. Let w be (-9 - p)/1 - -4. Is s(w) a prime number?
False
Let x be (11 + 1)*(-16)/32. Let d be ((-121 - 4) + x)/(1/(-11)). Let i = 2075 - d. Is i a composite number?
True
Let h = 27 - 27. Suppose -12 = -4*b - h. Suppose b*y = 8*y - 10995. Is y a composite number?
True
Suppose -7488 = -12*c - 4*c. Let z(j) = 472*j**3 - c*j**3 - 4*j**2 + 2 + 2*j - 1. Is z(4) composite?
True
Let r = 43 - 88. Let q = -49 - r. Is (2 + q)/(-4) - (-501)/2 a prime number?
True
Suppose 0 = -4*j + 13 + 11. Let v(u) = -226*u - 47. Let a(q) = -454*q - 93. Let g(o) = j*a(o) - 13*v(o). Is g(6) a composite number?
True
Let l = 1598417 - 93048. Is l a composite number?
False
Let z be (5/5 + 13)*-728. Let w = -690 - z. Is w composite?
True
Let y be 1*9/6 + 23/(-46). Let n(g) = 7704*g + 11. Is n(y) composite?
True
Is 15/((-120)/(-232))*(1328 + -1) a prime number?
False
Let c = -52 - -62. Suppose 0*d + 28940 = c*d. Is d composite?
True
Suppose -86008 = -2*a + 2*w, 48*a - 53*a - 5*w = -214960. Is a a composite number?
True
Let p be (72/(-20) - -4)*10. Suppose -p*f + 2*h - 2340 