et u = q + -430. Is u prime?
True
Suppose -121*r - 754 = -123*r. Suppose -5348 + r = -3*k. Is k a prime number?
True
Suppose 0 = 3*i - 19 + 103. Let j = -4 - i. Suppose -w + 5*v + j = -129, -2*w + 319 = 3*v. Is w a prime number?
False
Let z be 1/(4/(-20)*(-1)/243). Let t = z - 652. Is t a composite number?
False
Suppose 16*u - 64*u + 2859963 = -2072565. Is u composite?
False
Let h(d) = -d**3 + 3*d**2 + d + 5. Let n be h(4). Let w = 4 + n. Is ((-5)/(-4))/(w/(-132)) composite?
True
Let k = -193 - -190. Is k/2*518952/(-252) a prime number?
True
Let l = 614004 - 328217. Is l a composite number?
True
Let f(x) = 7*x**3 + 15*x**2 - 10*x - 45. Let a(k) = -5*k**3 - 14*k**2 + 9*k + 45. Let c(g) = 3*a(g) + 2*f(g). Is c(-14) prime?
False
Let n(q) = 11*q - 46. Let m be n(9). Suppose o = 2404 - m. Is o a prime number?
True
Let s(h) = h + 1. Let t(j) = -5172*j + 7. Let n(g) = -3*s(g) + t(g). Let p be n(-2). Suppose -5*r - 217 - 2377 = -a, 2*r = -4*a + p. Is a composite?
True
Let x(y) = -y**3 - 2*y**2 + 12*y - 2. Let n be x(2). Let z be ((-2731)/2)/(1/(-4)). Is z/n + 35/(-15) + 3 a prime number?
True
Let l = -1 - -3. Let h(k) = -2*k**3 + 12*k**2 + 7*k - 39. Let t be h(6). Suppose 3*w - t*u - 745 = -w, -4*w = -l*u - 746. Is w a composite number?
True
Let u(m) = m**2 - 8*m + 4. Let x be u(8). Suppose 11 = x*o - 9. Is (2/(-6))/(2*o/(-28650)) a composite number?
True
Let t = 585 + -762. Suppose -5*b - 3250 = -4*x + 2311, -x + 1409 = 5*b. Let n = x + t. Is n a composite number?
False
Let m(l) = -1115*l - 6 - 1226*l + 15 - 12. Is m(-2) prime?
True
Let k be (4/(-6 - -2))/((-2)/46). Suppose -n + 4*l - k = 0, 4*n - l + 17 = -0*l. Is (-1982 + 0)*(14/(-4) - n) a prime number?
True
Let j be -1 + -3 + 0 + 14646. Let s = j - 10357. Let m = s - 2714. Is m a prime number?
True
Let t = 502 - 524. Let x(w) = w**2 + 10*w - 61. Is x(t) a composite number?
True
Let b be (16 - -2)*(-24)/(-8). Let c = 44 - b. Is (3 - (-119)/(-2))*(-4 + c) a composite number?
True
Let d = -40 - -156. Let q = 515 + d. Is q a composite number?
False
Suppose 3*u - 3 = -0*u. Is (u - (-8)/4) + 1736 prime?
False
Let z be (-24 - 20/(-4))/((-3)/15). Suppose 90*l + 54685 = z*l. Is l composite?
False
Let k(a) = 4*a**2 - 6*a - 11. Let i(g) = 1. Let h(b) = -6*i(b) + k(b). Let r = 307 + -319. Is h(r) a composite number?
False
Let h(i) = 1287*i**3 - i**2 - 2*i + 5. Suppose 57*k - 23*k = 102. Is h(k) composite?
False
Suppose -i - 7 = 0, 3*i + 260820 = 2*c - 5547395. Is c composite?
True
Let m = -17 + 22. Suppose -s = 3*s - m*r - 15374, -2*s - 2*r + 7678 = 0. Is s a prime number?
False
Let i(v) = v**3 + 146*v**2 + 28*v - 118. Is i(-55) a composite number?
False
Let a = 60 - 32. Suppose -3*z + 10*z - a = 0. Is 1*(674/z)/((-3)/(-6)) a composite number?
False
Is (2955836/(-8) + 4)/(33/(-22)) composite?
False
Suppose 0 = -x - k - 1, -2*x - 4*k = 10. Suppose -j - 8 = -x*j. Suppose w = -3*o + 89, -o = -j*w - 5*o + 340. Is w composite?
False
Let d(o) = -o**3 + 4*o**2 + 3*o + 12. Let x be d(6). Let u = x + 44. Is 1437/(-2)*1/((-3)/u) a composite number?
False
Let y(w) = w**3 + 12*w**2 - 14*w - 10. Let u be y(-13). Suppose 231 = u*f - 711. Suppose f = 4*g - 2. Is g a composite number?
False
Let t(c) = 2*c - 29. Let y be t(7). Let u(h) = -h**2 - 16*h - 9. Let m be u(y). Is (-3)/m - 3498/(-12) composite?
True
Let b = 10905 - 2044. Is b composite?
False
Suppose 7*u - 342215 = 80529. Suppose 16*b + u = 174232. Is b composite?
True
Suppose 14270753 + 1941709 = 36*n - 3384534. Is n a composite number?
True
Suppose 0*n - n - 2 = -5*z, -3*n - 4*z = -13. Suppose n = -k, -3*a - k = -4*k - 18. Suppose 3*m = -d + 569, 3*d = -a*m - 179 + 740. Is m a composite number?
False
Suppose g - 1054 = -319. Suppose 7*u - 3*l = -461, 3*u - 7*l + 229 = -12*l. Let j = g + u. Is j a composite number?
True
Let i(o) = 3*o - 60. Let w be (1 - 5/(-15))*15. Let f be i(w). Suppose 4*u + 4*d - 4144 = f, -2*u = -3*u + 4*d + 1051. Is u a prime number?
True
Suppose 25*j - 1623 = -2*g + 20*j, 0 = -4*j + 4. Is g a composite number?
False
Suppose 5*w = 2*z + 19, -z = 2*w + 2 - 15. Suppose 0 = z*d - 190 - 536. Let a = 65 + d. Is a a prime number?
True
Let o(d) = -d**3 + 10*d**2 - 12*d - 5. Let p(y) = y. Let v be p(8). Let k be o(v). Is ((-18)/k)/((-6614)/(-6618) + -1) composite?
False
Let q(n) = -823*n - 9. Suppose 0 = -o - 2*p - 4, -3*p = o - 4*p + 1. Is q(o) a prime number?
True
Let f(m) = -145*m**3 + 20*m**2 - 20*m + 48. Is f(-17) composite?
True
Suppose 8*q - 13*q + 5*n + 1148035 = 0, 3*q = -2*n + 688821. Is q composite?
True
Is 0*6/42 + (-5)/((-10)/15614) a prime number?
False
Let j(k) = 642*k**2 - 15*k + 56. Let o be j(5). Suppose -5*i = 5, 3*l = -3*i + o + 34795. Is l composite?
False
Let i(f) = 199*f - 25. Let c be i(5). Suppose -c = -b - 121. Suppose 3*h - 984 - b = 0. Is h a prime number?
False
Let y(l) = -161*l - 111. Let h be y(-9). Let r = -793 + h. Is r prime?
False
Let m(q) = q**2 + 14*q + 5. Let o be m(-11). Let n = 32 + o. Suppose -4 = f, n*u - 1212 = -4*f - 0*f. Is u composite?
False
Suppose r - 19*m = -15*m + 15051, 0 = -r + m + 15054. Is r a composite number?
True
Let y(d) = d**3 - 5*d**2 - 2*d + 4. Let b be y(5). Let w be (4/(-6))/(b/27) - 2. Is (w - 10/6)*(-1635)/10 prime?
True
Suppose 5*v - 3*m + 4*m + 8807 = 0, v = 4*m - 1774. Let b = v - -2903. Is b a prime number?
False
Let f = -31890 - -60641. Is f composite?
False
Suppose 6*n = 8*n + p - 101975, 2*n = 3*p + 101979. Let m = n + -29191. Is m a composite number?
True
Let g(b) = -b**2 - 3*b + 53. Let i(u) = -u + 435 - 3*u - 411. Let v be i(6). Is g(v) prime?
True
Let g(w) be the first derivative of w**4 - w**3/3 - w**2/2 + w - 17. Let a be g(1). Suppose -b + 377 = -x, -x + 1897 = 2*b + a*b. Is b a composite number?
False
Suppose 20666 = s - 2*a, -3*s + 9*a - 11*a = -61974. Suppose 5*p = -4*x + 16483, -5*x + 18*p + s = 13*p. Is x a prime number?
True
Let k(t) = 175*t**2 + 81*t + 1. Let m = -423 + 430. Is k(m) prime?
False
Let g(j) = 7*j - 10. Let h be g(2). Suppose -3*k - 7 = 8, 3*n + 44 = -h*k. Is (-12)/8 - 29188/n composite?
True
Let a = 1202405 - 654554. Is a a prime number?
False
Suppose 15*t - 1772556 = 12938364. Is t/98 - (-3)/(-7) a composite number?
False
Suppose -4*b = -0*b - 7028. Let r = 36 - 39. Is b - ((6 - 3) + r) a prime number?
False
Let x(s) = 1201*s - 327. Is x(44) a prime number?
True
Suppose 33*a + 85*a + 65*a - 65102067 = 0. Is a a prime number?
False
Suppose -19*t - 10 = -29*t. Is 2768 + t + (-4 - -2) composite?
False
Suppose -25 + 11 = -7*r. Let h be (-4)/(-1) - (2 - r). Suppose -3368 - 1196 = -h*x. Is x a prime number?
False
Suppose -5*j = -x + 20067, 3*j - 22141 = -3*x + 37988. Is x composite?
False
Let u = 326 - 606. Let q(l) = -472*l**3 + l. Let y be q(1). Let z = u - y. Is z composite?
False
Let f(b) = -282*b - 29. Is f(-1) a composite number?
True
Let x(w) = -1540*w - 1609. Is x(-81) a composite number?
True
Let i be ((-1)/2)/(((-6)/16)/3). Suppose o - 3 = -0*o, o = -i*f + 12587. Is f/3 + ((-24)/(-18) - 1) composite?
False
Let b = -462 + 464. Suppose 0 = b*y - 15*y + 101257. Is y a prime number?
True
Suppose -t - 2*l = -114485 + 39788, -3*t = -5*l - 224036. Is t prime?
True
Suppose -831225 = -4*n - 11*n. Is n composite?
True
Suppose 0 = 3*m + f + 126371 - 590304, 5*f = -m + 154663. Is m a prime number?
True
Let y(v) = v**3 + 79*v**2 - 38*v + 313. Is y(-51) a composite number?
False
Suppose 4*r + 8 = 0, 3*r - 7*r = 5*w - 12. Suppose i = -5*g + 6298, -262 = -w*g + i + 4771. Is g composite?
False
Suppose 2*a = z - 31461, 147*a = -z + 151*a + 31453. Is z a prime number?
True
Let u(y) = 400*y**3 - 5*y**2 - 3*y + 49. Is u(5) composite?
True
Let i(j) = 2*j**3 + 12*j**2 + 6*j + 19. Let l = -235 + 244. Is i(l) a composite number?
False
Let p(i) = -14*i + 142. Let d be p(10). Is (d + 35/(-20))*4604 prime?
True
Let m(w) = 169*w**2 + 395*w - 123. Is m(-13) a composite number?
True
Suppose 48 = -3*t - 4*v + 7, 3*t + 5*v + 43 = 0. Let u(g) = 4*g**2 + 24*g + 2. Let i be u(t). Suppose b + 3*s = 4*b - i, -b + 89 = 4*s. Is b prime?
False
Suppose 4*y + 895 = 9*y + 5*c, 3*c = 2*y - 378. Suppose -186*i = -y*i - 1191. Is i a prime number?
True
Is ((-26)/(22 - 9))/((-4)/12706) prime?
True
Let f be 42*50/60*(-2)/(-5). Let i(u) = 0*u - 2*u + 11*u + u**2 - 29. Is i(f) a composite num