3*u + 4*o - 21. Is y(u) a composite number?
True
Let o = -5 + 7. Suppose -6*x = -o*x - 132. Is x prime?
False
Let d be (-10)/5*(-42)/4. Is (d/(-12))/((-2)/184) prime?
False
Suppose -4*r = -0*r + 4*b - 2356, 0 = 3*r + b - 1771. Is r a composite number?
True
Let h be (5/4)/((-3)/(-84)). Is -1*5*(-217)/h a prime number?
True
Suppose -2101 = -2*c - 611. Is c a composite number?
True
Suppose 0 = -2*w + 2. Let d(z) = z**2 - 2*z + 1. Let r be d(w). Suppose 5*p - s + 65 - 300 = r, 0 = 3*p + 3*s - 141. Is p a prime number?
True
Is 21/(-14) - (-2255)/2 a composite number?
True
Let c = 286 + -125. Is c a composite number?
True
Suppose -2*o + 2841 = 3*j, 938 + 956 = 2*j - 3*o. Is j a composite number?
False
Suppose 0 = 4*p - 6*p + 44. Suppose 5 = -m - 2*z, -p = -m - m + 4*z. Is ((-7)/m)/(2/(-102)) a composite number?
True
Let j(h) = -h**2. Let f(v) = 8*v**2 - v. Let q(l) = f(l) + j(l). Let a be q(-2). Suppose -68 = -2*n + a. Is n prime?
False
Let x(h) = -40*h + 4. Suppose -2*s - 1 + 5 = -2*w, -3*w - 14 = -s. Let f be x(w). Let u = -113 + f. Is u a prime number?
True
Suppose 5*u + b - 293 = 0, -241 = -4*u - 0*b - 3*b. Is u a composite number?
True
Suppose 3*a = -5*g + 218, -2*a + g - 2*g = -150. Suppose 0 = 5*d + 5*k - 30, 0*k = d - k - 16. Suppose 0 = 2*b + 3*v - 27, d*b - v = 6*b + a. Is b prime?
False
Let c be 2 - 4*(-4)/(-8). Suppose 79 = n - 4*p - 14, -5*p = c. Is n prime?
False
Let h be 1 + (1 - (-2)/(-1)). Let r = -4 - h. Is (2/(-1))/(r/30) prime?
False
Suppose 0*c - 747 = -3*c. Is c a prime number?
False
Let j be 4/8*(-1 - -1). Suppose j = -t - 2*i + 49, -4*t + i = -t - 161. Is t prime?
True
Let u(n) = -2 + 2 - 12*n - n**2. Let j be u(-9). Suppose -5*x = z - j, -2 = -2*z - 2*x + 12. Is z composite?
False
Let r = -7 - -10. Suppose 1065 = r*n + 2*n. Is n a composite number?
True
Let g = 209 - 123. Let y = g + -9. Is y a prime number?
False
Let r(w) = 7*w**3 - 8*w**2 + 22*w - 13. Is r(6) a prime number?
False
Suppose 5*y - y = 12. Let j = 1 - y. Is (124/(-2))/(4/j) a composite number?
False
Suppose f - 714 = 173. Is f prime?
True
Let m(d) = 18*d - 4. Let a be m(3). Suppose -5*r + 420 = -0*r. Let z = r - a. Is z a prime number?
False
Let p(l) = -l**3 + 5*l**2 - 2*l - 4. Let x be p(3). Suppose -3*b = -y - x*b + 66, 4*y + 4*b - 344 = 0. Is y composite?
True
Let s be 6*13*(-2)/(-6). Suppose -2*u = 32 + s. Let x = 64 + u. Is x composite?
True
Suppose 0 = -0*o + 4*o - 9836. Is o a composite number?
False
Suppose -6*i + 132 = -2*i. Is i a prime number?
False
Suppose 25 = 3*i + 2*i. Suppose -z + i*z = 16. Suppose -y + 3*u = -74, z*y - 381 = -0*y - 5*u. Is y composite?
False
Let r(j) = 2*j**3 - 12*j**2 - 2*j + 11. Is r(9) prime?
True
Let a(i) = 6*i**3 - i. Let f be a(1). Suppose 3*h + 126 = 5*v, -f*v + 123 = -5*h + h. Let o = 10 + v. Is o composite?
False
Suppose 4*x = 2*c + 976, 4*c = -2*x - c + 512. Suppose 0 = -5*h + 7*h - x. Is h prime?
False
Suppose 5*z + 285 = -470. Let p = -104 - z. Is p composite?
False
Let g be ((-10)/4)/((-55)/44). Suppose 0 = 5*j - 602 + 47. Is (0 + j/6)*g prime?
True
Let q be 4 + 0 + -2 - 7. Let b(t) be the second derivative of -t**5/20 - t**4/3 - t**3/2 - 3*t**2/2 - t. Is b(q) a composite number?
False
Let x(m) = m - 8. Let w be x(6). Is (w - (0 - 24))*1 prime?
False
Let o be (-1888)/(-12) - (-2)/(-6). Suppose d + 3*z = -56 + 11, 0 = -3*d - 5*z - 143. Let g = d + o. Is g a prime number?
False
Suppose 0 = 3*z - z - 8. Is (-2 + (-57)/z)*-4 a prime number?
False
Let b(m) = -m**3 + 2*m**2 + m - 2. Let h(x) = x - 8. Let o be h(10). Let z be b(o). Is (1 - z) + (-1)/(-1) prime?
True
Is (-2)/(3*2/(-93)) prime?
True
Let s = 1675 + -813. Is s a composite number?
True
Let p(t) = -13*t**2 + 8*t + 4. Let s be p(-8). Let v = 476 + s. Let d = -109 - v. Is d a composite number?
False
Let p be (2 - 15/6)*-36. Let r be ((-138)/(-9))/(4/p). Is (r/6)/(2/12) a composite number?
True
Let c(q) = -12*q + 1. Suppose 2*l + i = -4*i - 20, -5*l + 4*i + 16 = 0. Let o = -3 + l. Is c(o) composite?
False
Let g(h) = 8*h**2 - h + 2. Let d(p) be the third derivative of -p**5/60 + 5*p**4/24 - p**3/2 - p**2. Let b be d(5). Is g(b) a composite number?
True
Suppose 3*f + 35 = -2*f. Let w = -20 - f. Let b = 26 + w. Is b a composite number?
False
Let k be ((-372)/10)/((-15)/50). Suppose 2*s + 0*s = k. Is s a prime number?
False
Let b(f) = 104*f**2 + 3*f - 1. Is b(1) prime?
False
Let d(x) = -99*x + 10. Is d(-17) composite?
False
Let v = 773 - 356. Suppose -4*x = 2*s - v - 2001, -2*s + 1206 = 2*x. Suppose -3*p + 467 = 4*d, 4*p - 3*d + 5*d = x. Is p a prime number?
True
Suppose -l - 12 = -5*l. Suppose -c - 5*w = l*c - 887, 0 = 2*c - w - 447. Is c a prime number?
True
Suppose -214 = -2*s + 4*o, 3*s = -2*s - o + 491. Let j = -40 + s. Is j a prime number?
True
Is 9/15 + 2504/20*7 a composite number?
False
Let a be (-3)/2*(-24)/9. Let j be (a/6)/(2/90). Suppose 3*f - j = 5*d, -d = -2*f - 0*f + 27. Is f a prime number?
False
Suppose -4*r = -5*k - r + 10, k - r = 4. Is 1/k*(0 - 53) composite?
False
Suppose 41 = 4*s - 7. Is (-3)/s - 447/(-12) prime?
True
Suppose -6*w + 8*w - 854 = 0. Is w prime?
False
Is 0 + (-3579)/((-12)/4) prime?
True
Let a = 2648 - 1877. Let d = -1349 + a. Let f = -291 - d. Is f a composite number?
True
Let q = 7756 + -3503. Is q a prime number?
True
Let o(y) = -3*y**3 - 23*y**2 + 9*y + 4. Let t(d) = -5*d**2 + 3*d - 3*d - 2*d**3 + 3 - 10*d**2 + 6*d. Let b(i) = 5*o(i) - 8*t(i). Is b(-5) composite?
False
Let s = -16 - -14. Is (28 - -6) + s + 5 a composite number?
False
Let h be (-23)/(-4) + 9/36. Suppose 5*b - 4*t = 433, t + t - h = 0. Is b prime?
True
Suppose 0 = 4*s, 3*s + 3 = -j + s. Is ((-22)/j)/(3/9) prime?
False
Let y = 1323 + -772. Is y a prime number?
False
Let n = 9 + -16. Let o = -45 + 89. Let s = o + n. Is s composite?
False
Suppose 5*i - 11 = 199. Suppose 5*b = -3*c + i, c + 4*b + 42 = 4*c. Suppose -3*u = -c - 31. Is u prime?
False
Suppose -s + 6 = s. Suppose -2*i = -s*i + 13. Is i prime?
True
Suppose 6*n - 4*n = 0. Suppose 4*b = b + 6. Suppose n = 3*i - b*i - 127. Is i composite?
False
Let o = -1 + -1. Let b = o + 4. Suppose -b*q + 15 = -5. Is q a composite number?
True
Let k be (-1264)/(-5) - 1/(-5). Let m = k + -373. Let f = -83 - m. Is f composite?
False
Suppose 5*n = 4*n + 3. Suppose 2*u - u = 4*f - 475, f = -2*u + 121. Suppose f = n*k + 20. Is k composite?
True
Is 4/(-6)*9/(-2) - -884 a prime number?
True
Suppose 3*r - 9 = 0, 0 = v + 3*v - r + 2311. Let j = -345 - v. Suppose -5*g + g = 4*w - j, -w + 61 = -2*g. Is w a composite number?
False
Suppose -21 = 2*l - 5*l. Let x(j) = -j**3 + 8*j**2 + j - 10. Is x(l) prime?
False
Let r = -375 - -629. Is r a prime number?
False
Is (-3)/(6/1916)*44/(-88) a composite number?
False
Suppose -t + 1151 = -4*g, 0 = 3*t - 0*g + 2*g - 3523. Is t a composite number?
False
Let c be (2 + -2)/(1 - -1). Suppose y - 2 = -c*y - a, -a - 4 = -2*y. Suppose 6*s - y*s + 3*x - 50 = 0, 2*s = 2*x + 32. Is s a composite number?
True
Let y be 18/3*(-1)/(-2). Let a be (1 - 0) + y/(-3). Is (a - 0) + -1 + 20 prime?
True
Is -2*(1822/(-4) - 0) a prime number?
True
Suppose 1 = 5*p + 26, 0 = 5*g + 4*p - 7385. Is g a composite number?
False
Let n = -592 + 1461. Is n a composite number?
True
Let d = -152 - -271. Is d composite?
True
Let v = 242 + -68. Is (-1)/((-10)/v)*5 a composite number?
True
Let v be (0 - (-55 + 0))*1. Is v/(-1*(-1 - 0)) a composite number?
True
Suppose -1 = 2*j + 1. Let q(d) = 8*d**2 + 2*d + 1. Let h be q(j). Suppose 2*z = z + h. Is z a composite number?
False
Suppose -2*z - 2*q - 164 = 0, -3*z - 2*z = q + 394. Let l = z - 86. Is (-1)/2*(-2 + l) a prime number?
True
Let v(s) = 15*s - 1. Suppose -6 = -4*t + 6. Suppose -t*f - 5 = -23. Is v(f) prime?
True
Let v(z) = -103*z + 9. Is v(-16) composite?
False
Is (-1)/((-2)/254)*(-12)/(-12) prime?
True
Let u(w) = -2*w**2 + 1. Let o be u(-1). Let k = 1 + o. Is 5 - ((k - 2) + 4) a composite number?
False
Suppose 2*o = -0*o + 32. Let j be o/(-12)*(-6)/4. Is (-1)/(j*3/(-1542)) prime?
True
Is ((-3)/(-2))/(-3) - (-7654)/4 prime?
True
Suppose 3*r + r = 0, 0 = -5*d + 3*r + 415. Is d composite?
False
Suppose 0 = -2*p + 9 - 3. Is (7/(-2))/(p/(-318)) prime?
False
Let v(i) = 2*i**2 + 2*i - 4. Let j be v(-3). Suppose 4*k - 205 = -5*p - k, -p = 5*k - 41. Suppose -j + p = f. Is f compo