l + 507. Is l composite?
True
Let k = -11496 + 20015. Is k prime?
False
Suppose c = -c + 390. Suppose z + r - c = 0, r = -z - 2*z + 577. Is z prime?
True
Let u be (-4)/14 + (-27224)/(-28). Let o = u + 159. Suppose 252 - o = -3*g. Is g prime?
True
Let b(q) = -3*q**3 - 5*q**2 - 16*q + 57. Is b(-7) prime?
True
Let m(r) = -2*r + 4. Let n be m(0). Let z be ((-17224)/(-20))/(n/10). Is (-12)/(-30) - z/(-5) prime?
True
Let s(h) = 421*h**2 - 15*h - 3. Is s(4) composite?
False
Let b = 9 + -13. Let f be -1*(1332/b + 3). Is (f - -2) + (-6 - -5) a prime number?
True
Is (-67029)/(-17) - 6/255*-5 a composite number?
False
Let y(l) = 31*l**3 - l**2 + l - 11. Is y(4) prime?
False
Suppose -5*k + 3 = -2*m - 10*k, 18 = 2*m - 2*k. Let n(s) = 11*s**2 + 13*s - 3. Is n(m) composite?
True
Suppose -5*h + 2*h = -6. Suppose 3*u + h*u - 2245 = 0. Suppose -2*b - 6 = 0, 5*x - 3*b - 515 = u. Is x a prime number?
True
Let s(r) = r**2 - 9*r + 479. Is s(0) prime?
True
Let z = 4419 + -2338. Is z a composite number?
False
Suppose -4*r = -8*r - 12. Let d = r + 5. Suppose j + 2*b - 83 = 0, -5*j + 0*j - d*b + 415 = 0. Is j a composite number?
False
Let u(p) = -2706*p - 115. Is u(-5) composite?
True
Let z be 262/6*(25 - 13). Suppose 0 = -3*m - 4*o + 20, -2*o + 0*o = -2*m - 10. Suppose -z = -m*p - 2*p. Is p a prime number?
False
Suppose 440*k = 448*k - 34568. Is k composite?
True
Suppose 0 = 4*h, 0 = 3*z - 3*h - 1864 - 407. Let y = 1976 - z. Is y a prime number?
False
Let b(o) = -o + 7. Let s be b(5). Suppose 3*n = -u - 4*u + 9, -3*u - 5*n - 1 = 0. Suppose -2*y - 3*f = -740, -u*y + s*f + 1129 = -3*f. Is y a prime number?
True
Let v(z) = 14*z**2 - 8*z + 11. Is v(-7) prime?
False
Suppose -85799 = -5*z - 4*b, -32*b + 30*b - 68634 = -4*z. Is z a composite number?
False
Suppose 4*p + 195 = 5*m, 5*m - 5*p = 89 + 101. Is m a prime number?
True
Let l = -45 + 45. Let c(n) = 3*n + 166. Is c(l) composite?
True
Suppose -4*u + 20630 = 5*b, 0 = -u - 2*b + 1110 + 4049. Is u composite?
True
Suppose 3*c - 3 = 27. Is (-566)/(-6) + c/15 composite?
True
Let w = 55 + -52. Is w/((-6)/(-2230)) + 2 composite?
False
Let g be 3 + (-13730)/(2 - 4). Suppose 3*o = g + 113. Is o prime?
False
Let j(r) be the third derivative of -185*r**4/12 + 7*r**3/2 - 50*r**2. Is j(-11) a composite number?
False
Suppose 4*k = -6 - 10. Let u be 9/(-3) - k*25. Suppose 193 + u = 2*v. Is v a composite number?
True
Suppose -5*z = 3*h - 24, -2*h - 9 + 27 = 4*z. Suppose 5 = -4*x - z. Is (-3941)/(-28) + x/(-8) a prime number?
False
Let c(m) = -m**2 - 2*m - 3. Let p be c(-2). Let a = p - 7. Let k(g) = -g**3 - 8*g**2 + 11*g - 7. Is k(a) prime?
True
Suppose 4*d = 2*q + 3250, -d = -2*q - 516 - 289. Is d a composite number?
True
Let u = -7721 - -16234. Is u composite?
False
Suppose 9 = -2*z + 2*g + 1, 5*g - 20 = 0. Suppose -a + 2 + 2 = z. Suppose 220 = 2*u - a*o - 2, -3*u + 301 = 2*o. Is u prime?
True
Suppose 27*m - 2015 - 27982 = 0. Is m composite?
True
Let m = 18 - 16. Suppose -m*z = 3*z - 20. Suppose -2*t + 4*t - 646 = -4*a, -z*a - 678 = -2*t. Is t a prime number?
True
Suppose 3 + 6 = -4*v - t, 3*v + 3*t = -9. Let c(w) = -w**2 - 5*w - 4. Let g be c(v). Suppose g*j = 3*j - 53. Is j a prime number?
True
Let q(p) = -384*p - 26. Let j(t) = -192*t - 13. Let c(m) = 5*j(m) - 2*q(m). Let a be c(-14). Suppose 5*o + a - 11460 = 0. Is o composite?
True
Suppose 5*f - 4*f - 375 = -s, 5*f + 3*s = 1871. Is f a prime number?
True
Let i(f) be the second derivative of 59*f**4/2 - f**3/6 + 19*f. Is i(1) a composite number?
False
Let d = -121374 - -217631. Is d a composite number?
True
Let t be (-20)/6*(-24)/16. Suppose t*p - 148 = 87. Suppose 5 = 2*o - p. Is o a composite number?
True
Let f = 90 + -79. Suppose f*t - 8755 - 3312 = 0. Is t a prime number?
True
Let i = -2072 + 3684. Suppose i = 26*f - 22*f. Is f prime?
False
Is 4/(-16)*(-5 - (-27111)/(-1)) prime?
True
Suppose 12 - 4 = -4*t. Is (-42)/(-42) + 1/(t/(-48)) a prime number?
False
Suppose 6*n - 2460 = 2*n. Suppose -n = -12*y + 1941. Is y a prime number?
False
Suppose -19*m + 44*m = 361925. Is m composite?
True
Let b be (-24)/(2 - (2 + 1)). Suppose -5*l + b = 14. Suppose 3*w - 2*j - 139 = 0, l*w - 42 = 2*j + 48. Is w a composite number?
True
Let h = 39 - 36. Suppose -4*s - h*f + 5480 = 0, f + 5508 = 4*s - 3*f. Is s a prime number?
True
Let r(v) = -v**3 + 43*v**2 - 38*v + 185. Is r(42) prime?
True
Let a = 309 - 220. Is 1*a/1*7 a composite number?
True
Let z = 4 - 2. Is (-6562)/(-4) + (-3)/z a prime number?
False
Let v be -100*(-4)/(32/44). Let l(x) = 17*x**2 - 5*x + 1. Let c be l(6). Let m = c + v. Is m a composite number?
True
Suppose -34281 = -41*r + 2*r. Is r a prime number?
False
Let v(x) = -x**3 - x**2 - x. Let r be v(-2). Let o(b) be the third derivative of 2*b**5/15 - 5*b**4/24 - 5*b**3/6 - 19*b**2. Is o(r) a prime number?
False
Let b(l) = l**3 + 9*l**2 + 7*l - 3. Let n be b(-8). Suppose -n*j + 2*z - 4*z = -1785, -2*j - z = -713. Suppose -j + 122 = -3*d. Is d prime?
True
Suppose -4 = -2*k, -5*k = 3*t + 101 + 5034. Let m be t/(-5) - 1*-2. Suppose -3*c = 5*q - 820, -m - 118 = -3*q + 4*c. Is q a composite number?
True
Let s be ((-513)/38)/((-2)/8). Suppose h - 595 = -s. Is h composite?
False
Let g(x) be the third derivative of 0*x**4 + 0*x + 0 + 269/6*x**3 - 1/120*x**6 + 1/60*x**5 - 6*x**2. Is g(0) a composite number?
False
Let v(q) = q**3 - 6. Let i be v(0). Let s = -4 - i. Suppose -5*z + b = -295, 13 = s*z - 5*b - 128. Is z a prime number?
False
Suppose -4*o - 19*w + 13592 = -15*w, -4*o + 13591 = 3*w. Is o a prime number?
False
Let o be ((-12)/21)/((-2)/7). Suppose -4*l = -o*w + 330, 4*w - 201 = l + 438. Suppose 106 = i - w. Is i composite?
True
Let a(k) = -k**3 - 5*k**2 + 12*k + 11. Let z = -4 + -7. Let l be a(z). Suppose j = -3*f + 121, -l = j - 6*j + f. Is j composite?
True
Let g(i) = -i**2 + 12*i - 10. Let c be g(11). Let j(l) = 10*l. Let v be j(c). Is (v/4)/((-2)/(-212)) prime?
False
Let b(v) = -v**2 - 3*v + 12. Let t be b(-5). Suppose t*i = 7*i. Suppose -3*l + 3*k + 672 = 0, -l - 2*k + i*k = -221. Is l prime?
True
Suppose 0 = -5*i - 5*h + 10, -i - 3*h = -2 + 4. Is (586/(-4))/(2/(-16)*i) a prime number?
True
Let t be ((-496)/6)/((-13)/(-39)). Let u = -543 + 978. Let r = u + t. Is r prime?
False
Let h be 1/3 - 77/(-21). Let o = 6 - h. Suppose 5*c + 113 = o*b - 1, 4*b + 5*c = 168. Is b a prime number?
True
Let z(n) = 10*n**2 - n + 2. Suppose -5*f + 23 = x, -9 = 2*f - 5*f - 3*x. Let t be ((-6)/f)/(-3)*-10. Is z(t) a composite number?
True
Let p be ((-4)/(-8))/((-2)/328). Let a = p + 360. Is a a composite number?
True
Let b = -126 + 127. Let s(d) = 630*d**3 + d**2 + d - 1. Is s(b) a prime number?
True
Let s = 104 - 146. Let a = 60 + 22. Is (s/12)/((-1)/a) a prime number?
False
Is (-344433)/(-74)*4/6 prime?
False
Let y = 49 + -47. Let a(n) = 64*n**3 - 2*n**2 + 2*n - 1. Let x be a(2). Is 1/y + x/6 a prime number?
False
Is (0 + (-1542)/15)/(2/(-5)) a prime number?
True
Let n(u) = 3180*u**2 - 98*u - 193. Is n(-2) composite?
True
Suppose 0*d + 3*d + 6 = m, -5*m = 0. Is (1802/(-51))/(d/(-99)*-3) a prime number?
False
Let k(q) = -q**3 + 2*q**2 + 3*q + 4. Let d be k(3). Suppose -p = -d - 3. Suppose p*i + v = 3*i + 488, 3*i - 379 = -4*v. Is i a composite number?
True
Let u = -21 - -984. Suppose -4*b - u = -5287. Let i = -632 + b. Is i composite?
False
Let v(o) = -2*o + 0*o**3 - 1 + 5*o**3 + 13*o**2 + 10 - 4*o**3. Is v(-10) composite?
True
Let w be 4/(((-32)/6)/(-4)). Suppose -w*f + 24 = 6. Let z(u) = 25*u**2 - u - 7. Is z(f) prime?
True
Suppose 3*k - 1 = q, -2*q + 5*k + 3 = 5. Let f be ((3/(-3))/1)/(2/(-16)). Let d = f + q. Is d a composite number?
False
Let j = 8 + -6. Let u(z) = -z**3 - 21*z**2 - 22*z. Let y be u(-20). Suppose -j*x + 70 = -y. Is x prime?
False
Suppose -12 = -2*y + a, -3*a = 4*y - 2*a - 24. Let c(x) = 6*x**2 + 2*x - 5. Is c(y) composite?
False
Suppose 30443 = 11*o - 15306. Is o a composite number?
False
Suppose 0 = -3*h + c - 398 + 1390, 2*h = 5*c + 644. Is (-4)/(-8)*-6 + h a prime number?
False
Suppose 0 = -x + 22282 + 13155. Is x a prime number?
True
Let v be 0/(-1)*(-5)/15. Suppose v = 8*n - 6497 - 30831. Is n a composite number?
True
Let j(w) = -w**3 - 2*w**2 - 2*w. Let b be j(-2). Suppose 5*t - 869 = b*t. Is t prime?
False
Let f(q) = q - 1. Let z be f(5). Suppose -3661 = -z*j +