True
Let x be (-2)/6 + 5131/21. Let y = 5 + x. Is y composite?
True
Let s(v) = -115*v - 279. Is s(-8) a composite number?
False
Let j(n) be the third derivative of n**5/12 - 7*n**4/8 - 11*n**3/6 + 4*n**2. Is j(17) composite?
True
Suppose 3*z = -u + 3187, -u = 5*z - 0*u - 5309. Is z prime?
True
Let k be 1/(-2) - 99/(-18). Suppose k*x + 72 - 22 = 0. Let j(d) = -22*d + 3. Is j(x) a prime number?
True
Let f(s) = s**3 + 3*s**2 + 5*s + 13217. Is f(0) a composite number?
False
Suppose -9*a + 7*a = -2*o - 1748, -o - 2632 = -3*a. Is a prime?
False
Suppose 6*s - 30 = s. Let w be 2/s*0 + 3. Suppose 5*b = w*b + 422. Is b a prime number?
True
Let d(q) = -47 + 23*q + 93 - 57. Suppose -i - 4*i + 30 = 0. Is d(i) composite?
False
Let f be 15/4*(-560)/(-30). Suppose -20 - f = 6*a. Let c(k) = -k**3 - 15*k**2 - 2*k + 16. Is c(a) composite?
True
Let d = 23785 + -6128. Is d composite?
False
Let y be (-235 + -6)*1/(3/(-9)). Suppose -3*x - 186 = -y. Is x a prime number?
True
Suppose -9 = 3*o, 6 + 91 = w - 5*o. Let y = w - -361. Is y composite?
False
Let q(i) = 671*i - 222. Is q(13) a prime number?
True
Suppose -143*o = -151*o + 115944. Is o prime?
False
Let f(i) = 113*i - 2. Let p be f(1). Is 2 + p - (0 + 0 + 2) composite?
True
Let t = 464 - 186. Let l be (-860)/(-2) - (-11)/11. Suppose -2*w + t = 3*p, 2*p = 3*w + 3*p - l. Is w a composite number?
True
Let g = -2450 + 5815. Is g prime?
False
Suppose 5 = 2*p - 1. Let l be (-99)/p - (-1)/(-1). Let w = l - -153. Is w prime?
False
Let n be 19 + -19 - (1 - 5). Suppose 4*b = 2*r - 24, r - n*b - 30 = -4*r. Is r*((-53)/2)/(-1) composite?
False
Let v(m) = 15*m**2 + 25*m - 27. Is v(21) prime?
False
Suppose -j = j - 4*x - 226, -4*x - 8 = 0. Let f be 1 + -6*1/(-6). Suppose -n = -f*n + j. Is n prime?
True
Suppose 0 = -0*i + 6*i - 3222. Suppose 202 = -p + i. Is p composite?
True
Suppose -159664 = -3*v - 16*p + 15*p, 3*v - 2*p = 159661. Is v prime?
False
Suppose -9*p + 6*p + 7362 = 0. Is p + 0 - (-22 - -17) composite?
False
Let r = -23 - -28. Suppose 5*u + r*w = 640, 0 = 5*u - 5*w - 696 + 46. Is (u - (-6)/3) + 0 a prime number?
True
Let p(n) = -15*n - 37. Let d(y) = -16*y - 36. Let g(z) = -z**3 + 15*z**2 + 15*z + 11. Let t be g(16). Let h(w) = t*p(w) + 6*d(w). Is h(-18) prime?
True
Let h(t) = 3 + 2*t**3 - 14*t**2 + 156*t - 2 - 148*t + 1. Let x be h(9). Suppose 0 = -k - k + x. Is k a composite number?
False
Suppose 15*q - 13*q + 8 = 0. Is ((-6)/q)/(9/4398) prime?
True
Suppose 19 = 4*p - 3*j + 2*j, j = -p + 6. Suppose 2194 = -p*s - 4*d + 7420, 2*s - 2096 = 4*d. Is -2 + (s/1)/2 a prime number?
True
Let z(m) = 64*m**2 + 6*m + 11. Let q be z(-2). Suppose -u = -2*w + q, 4*w - u + 126 = 5*w. Is w a composite number?
False
Let l = 244 + -76. Suppose -w + 17 = -l. Is w a prime number?
False
Suppose 0*f = -5*f. Suppose -3*a + 54 = -f*a. Suppose a = -0*l + 3*l. Is l a prime number?
False
Let w(r) be the first derivative of 2*r**3 + 2*r**3 + r**2 - 3*r**3 + r - 5 + 2*r. Is w(4) a prime number?
True
Suppose q - 161 - 39 = 0. Let w = 585 + q. Suppose -5*f = -4*o - 2690 + 729, -w = -2*f + o. Is f composite?
True
Suppose 3*t = -4*h + 12, 5*h - 2*h - 14 = -t. Is 2/(6/1137)*(h + -5) a prime number?
True
Let m = -13 + 8. Let h = m + -6. Let i = 4 - h. Is i composite?
True
Let x = 5477 - -1202. Is x prime?
True
Is (-2)/(-9) - 106*72774/(-324) prime?
False
Let z be (-18)/(-8) - 6/(-8). Let l(d) = -3*d**2 - 4*d**3 + 0*d + d + 13*d**3 - 4. Is l(z) a composite number?
True
Let l(g) = 428*g - 105. Is l(22) a composite number?
False
Suppose 6*p - 6 - 24 = 0. Is (p/(-2))/(13/(-44746)) a composite number?
True
Let u be (-2)/((-247)/83 + 3). Let i = u + 268. Suppose i = -4*h + 9*h. Is h composite?
False
Suppose 2*l = -2 + 10. Suppose 40 = l*m - 2*m. Let d = m - -98. Is d composite?
True
Suppose m - 2*h - 5051 = -6*h, -2*h = -5*m + 25189. Is m a prime number?
True
Is 390082/6 - 16/(-48) - -1 a prime number?
False
Let n be 41988/10 + (-2)/(-10). Is 4/10 - n/(-65) a composite number?
True
Suppose -2*f - 15 = -3*f. Let m = f - 11. Suppose -a - 2037 = -m*a. Is a prime?
False
Let v = 1119 + -2785. Let j = 4821 + v. Is j prime?
False
Suppose -2*l + 5*f + 5 = 15, -l + 5*f - 15 = 0. Suppose a - 3257 + 100 = -l*s, -5*s + 3149 = -3*a. Is s a composite number?
False
Suppose 15 = -17*u + 20*u. Suppose 2*w - 5*o - 775 = -0*o, o - 1978 = -u*w. Is w a composite number?
True
Let p = 1269 + 19338. Is p a composite number?
True
Suppose -4*x + 623784 + 265116 = -2*d, -4*d + 1111138 = 5*x. Is ((-2)/4)/((-23)/x) a prime number?
True
Let l(g) = 7*g**3 - g**2 - 2*g. Let i be l(-1). Let a(z) = -11*z**2 + 6*z - 12. Let x(c) = c**2 + 1. Let o(b) = i*x(b) - a(b). Is o(-7) a composite number?
False
Suppose -2*z = -4*d + 8586, 0 = 5*d + 7*z - 5*z - 10755. Is d a prime number?
False
Let v be 3/(-6) + 77/(-14). Let f = 26 + -175. Is -2*(-3)/v*f prime?
True
Suppose 34*x = 26*x + 454984. Is x a prime number?
True
Let a(s) = 2 + 7*s**2 + 6*s**2 + 4*s - 1. Is a(-6) a composite number?
True
Let a = 811 + -197. Let p = a + -127. Is p a prime number?
True
Is (-1255298)/(-10) - (-296)/(-370) a composite number?
True
Let n(i) = 78*i**3 - i**2 - i - 1. Let w be n(2). Let b(j) = -4*j + 12. Let r be b(2). Suppose -2*g - 5*s + 315 = 0, r*g - s - 2*s = w. Is g a prime number?
False
Suppose 63*g = 71*g - 296. Is g a composite number?
False
Suppose -9*b = -5*b - 12. Suppose 4*n + 3*x = 116, -n + 11 + 3 = -b*x. Suppose -3 = g - n. Is g prime?
True
Let p = -34 - -25. Is ((-4458)/p*(-6)/(-4))/1 a prime number?
True
Suppose 5*v + 8 - 43 = 0. Let p(m) = -m**3 + 6*m**2 + 8*m - 10. Let k be p(v). Let y(s) = 18*s**2 + 2*s + 7. Is y(k) composite?
False
Let i(p) be the first derivative of -11*p**5/60 - p**4/24 + 5*p**3/3 + 4. Let w(s) be the third derivative of i(s). Is w(-2) composite?
False
Let t(s) = -s**3 + 9*s**2 - 10*s + 7. Suppose -4*b = -b. Suppose -3*l - 4*v + 10 = -b*l, 5*v = -3*l + 8. Is t(l) a composite number?
True
Suppose -2888 = -4*z + 4*g, g + 3602 = 5*z - 2*g. Let k be (-3)/(0 - 3)*-6. Is z/k*(11 - 14) a composite number?
False
Suppose 3*g = -9, -w + 6*w - 202888 = g. Is w a prime number?
True
Let w be 67*14 + 5 + -4 + 2. Let b = 1384 - w. Is b a prime number?
True
Let d(n) = 109*n**2 - 9*n - 23. Is d(-17) a prime number?
False
Suppose 0 = 4*a + i - 11884, 0*i + 3*i = 0. Suppose -2244 = -5*f + a. Is f prime?
False
Let o be 26/117 - 86/(-18). Suppose o*p = 2055 + 4580. Is p prime?
True
Suppose 2*z + 4*i = z + 3631, 0 = -2*i - 6. Is z a composite number?
False
Let q = 10 - 10. Suppose q = 5*o - 1038 - 1457. Is o a composite number?
False
Let o(h) = -120*h + 7. Let q be o(-4). Suppose 6*w + q = 7*w. Is w a prime number?
True
Let n(u) = 17*u + 941. Is n(0) a composite number?
False
Suppose -6*h + 16353 = -13461. Is h composite?
False
Suppose -1848 = 16*w - 20*w. Suppose -s + w + 19 = 0. Is s composite?
True
Let r(d) = d**2 + 3*d - 1. Let t be r(-3). Let n be -1 - -1*1/t. Is (n/(-3))/((-2)/(-483)) a composite number?
True
Let d(k) = k + 1. Let r(b) = -23*b - 16. Let y(s) = -3*d(s) + r(s). Is y(-12) a composite number?
False
Let j = -2543 + 4476. Suppose -3*k + j = -5*l, 3*l - 161 = -k + 474. Is k composite?
False
Let x(w) = 39*w**2 + 2*w + 2 + 110*w**2 + 214*w**2. Let k be x(-1). Suppose 2*o = a - 112 + k, -626 = -5*o + 3*a. Is o a composite number?
False
Let v = -18 - -26. Is (-8 + -4)*(-14)/v composite?
True
Let r be 2/6 - (-1)/(-3). Let b(v) = 11*v + 1135. Let u(d) = 13*d + 1135. Let w(i) = 5*b(i) - 4*u(i). Is w(r) prime?
False
Let r = -604 - -6397. Is r composite?
True
Let y(g) = -2*g**3 - g - 10. Is y(-7) composite?
False
Let x = 71 + -69. Is (-268)/(-2)*(1/x - -1) prime?
False
Let i(f) = 31*f + 9. Let y be (-2 + 0)/((-6)/39). Let h be i(y). Suppose h = 17*c - 13*c. Is c a prime number?
True
Suppose -15*l + 8768 = -7537. Is l prime?
True
Let i(v) = -2*v - 3. Let f(q) = -q**3 + 7*q**2 - 4*q - 9. Let b be f(6). Let k be i(b). Is k/((-27)/168) + -1 composite?
True
Let t = 6923 - 1958. Suppose -t = 13*f - 18*f. Suppose -f = -5*d + 682. Is d composite?
True
Let u(p) be the third derivative of p**4/24 + 9*p**3/2 + 2*p**2. Let m be u(-14). Is (-21 + 2)/((-1)/m) composite?
True
Suppose -7 = -5*n + 3. Let f = -32 - n. Is (-1)/(1*1/f) a prime number?
False
Is (-6266)/(-4) + -2 + (-25)/(-10) composite?
Fal