-1. Let m be (t + 5 - 1) + -2. Is (152/(-40))/(m/5) composite?
False
Let x(c) = -c + 1. Let i be x(-3). Let p(o) be the second derivative of o**5/10 - o**3/3 + o**2/2 - o. Is p(i) prime?
False
Let p(b) = -12*b**3 + 20*b**2 - 5*b + 84. Is p(-15) prime?
False
Let j(d) = d**3 - d**2 + 4*d - 7. Let v = 116 - 111. Is j(v) a prime number?
True
Let v(a) = -11*a**2 + 5 + 4*a**2 - 7*a + 6*a**2. Is v(-5) prime?
False
Let i(p) = 3*p**3 - 4*p**2 - 10. Let m(o) = o**2 + 8*o - 15. Let x be m(-10). Is i(x) a composite number?
True
Let m(u) = -3033*u + 4. Is m(-3) composite?
False
Suppose -15 = 3*o - 6*o. Suppose 0 = -2*b + 6*b - 2*t - 156, 2*t - 177 = -o*b. Let j = 120 + b. Is j composite?
False
Suppose 2*b + 18 = 4*n, -n + 0*b - 2*b = -7. Suppose -1 = 2*q + 4*z + 5, -n*q + 5*z = -45. Suppose 5*y - 394 = p, 2*y + 234 = q*y - 3*p. Is y composite?
False
Suppose z = -2*u + 2059 + 1252, 5*u - 2*z - 8291 = 0. Is u composite?
False
Suppose 2*h - 4*c - 24 = 0, 2*c - 3 = 3*c. Let m(r) = 25*r + 11. Is m(h) a composite number?
True
Suppose 4*p = -0*p + 8. Suppose 0*l + 10 = 2*x - p*l, -4*l + 34 = 2*x. Suppose -89 = x*f - 10*f. Is f a composite number?
False
Let i = -10 - 4. Let q(o) = 4*o**2 + 19*o + 19. Is q(i) composite?
True
Let r(g) = 4*g**2 - g**2 - 5*g**2. Let x be r(-1). Is (2/x)/(8/(-2056)) a composite number?
False
Let a = -3315 + 7500. Suppose -942 = 5*v - 5*i + 3243, 0 = 5*v + 2*i + a. Let l = -436 - v. Is l prime?
True
Let s be -1 + (-1)/(-1)*-1. Is (-324)/s - (7 + -8) composite?
False
Let r(v) = -71*v + 16. Let p be r(5). Let q = 512 - p. Is q a prime number?
False
Suppose 4*h + 16 = 6*h. Let g(i) = -6*i - 9 + 158*i - 57*i. Is g(h) composite?
False
Let u(z) = 16*z - 5*z**2 + 22*z**2 + 1 - 8. Is u(-14) composite?
True
Let p be (58/(-3))/((-15)/945). Let j = p + -551. Is j a composite number?
True
Let g(t) = -12*t - 9. Let i = -24 - -14. Is g(i) composite?
True
Suppose -3*l - 12 = 3, 5*g + 420 = 2*l. Let w = g + 345. Is w a composite number?
True
Suppose 4*n + 0*n - 36 = l, 5*l + 108 = 2*n. Let y be 325/6 - 6/36. Let c = l + y. Is c composite?
True
Let q be (-4)/14 - -3*(-622)/(-14). Suppose d = -2*d + 90. Let r = q + d. Is r a composite number?
False
Let g(s) be the third derivative of 119*s**4/12 - 13*s**3/6 + 38*s**2. Is g(3) a composite number?
False
Suppose -21*i + 411182 = -122029. Is i composite?
False
Let j(i) = -i**2 + 8*i + 8. Let y be j(10). Let c(g) = g**3 + 11*g**2 + 2*g + 8. Let d be c(y). Let h = -33 - d. Is h a prime number?
True
Suppose -5*k = -2*t + 7181, 5*k = -5*t + 8*k + 17962. Is t a composite number?
False
Let c be 2/1 - (7 - 9). Suppose c*l + 5*y = 6*l + 748, 2*l + 4*y + 748 = 0. Is (-1)/((-1)/l*-2) composite?
True
Suppose c - z = -6*z - 25, 5*c = -5*z - 25. Suppose c = y - 5*r - 648, y + r - 1263 = -y. Is y a composite number?
True
Suppose -2*u = -h - 15, u + 12 = 2*u - 2*h. Is ((-290615)/(-30))/13 - 1/u a prime number?
False
Let f(t) be the first derivative of 18*t**2 - 43*t - 26. Is f(12) a prime number?
True
Let q be (1/1)/((-15)/(-210)). Is 12702/q - -5*14/(-245) a prime number?
True
Suppose z - 5*v = 27, -2*z + v + 19 = -2*v. Suppose -5*a + 5 = 0, l + z - 9 = -3*a. Suppose -2*f = -2*r - 248, 6*f - l*f + 3*r - 263 = 0. Is f composite?
False
Is (34 - 39)/(2 + 75/(-37)) composite?
True
Is 15/(-12) - (-209642)/296 composite?
True
Suppose 469 = j - 2252. Is j a composite number?
True
Let z(g) = 997*g + 1. Is z(4) composite?
False
Let t(j) = 6*j**3 - 6*j**2 - 2*j + 3. Let c be t(5). Suppose 3*v - 979 = c. Suppose 0 = p - v - 459. Is p composite?
False
Let l be (-6)/4*1358/(-21). Suppose -3*c + 898 - l = 3*f, 0 = 4*f - 20. Suppose 313 + c = 5*d. Is d composite?
True
Let m(z) = 115*z**2 + 58*z + 686. Is m(-11) a composite number?
False
Let o = -12 + 6. Let a = -4 - o. Suppose d - 2*d + 89 = -a*z, -3*z = 5*d - 497. Is d a composite number?
False
Suppose 0 = -76*l + 32*l + 904772. Is l composite?
False
Let y(s) be the third derivative of -s**4/24 + s**3/6 - 3*s**2. Let f be y(1). Suppose f = 2*t + d - 133, -4*d + 264 = -3*t + 7*t. Is t a prime number?
True
Is ((3 - -2) + -6)*-1649 a prime number?
False
Suppose -g + 5*g - 180 = 0. Suppose i - 277 = -3*b - g, 3*b = -3*i + 222. Is b a prime number?
True
Let s = -27 + 31. Suppose s*o + p = 6959, o - 5*p - 5202 = -2*o. Is o composite?
True
Let o be ((-4)/(-16) + -1)*(-7 - 1). Is 2698/o - ((-133)/21 + 7) composite?
False
Is (0 + -30241)*(154 + -155) a prime number?
True
Let u be 60/(-6)*(-1)/2. Let r(x) = -x + 2. Let h be r(u). Is h + 1 + (106 - 1) a composite number?
False
Let s be (1/(-3))/(9/27). Is s/((4 - -1)/(-6685)) prime?
False
Is (-7466)/(296/(-40) + 7) prime?
False
Let x = -142 + 216. Let j = x - 44. Suppose -5*k + 6*c - 2*c = -j, 5*c = 25. Is k a composite number?
True
Let h(u) = 36*u**2 - 14*u + 11. Is h(6) composite?
False
Let h(l) = -3226*l - 433. Is h(-2) a prime number?
False
Let b(p) = -6820*p - 69. Is b(-4) composite?
False
Suppose -4*a - 23439 = -3*f, 0 = -f - 5*a + 5623 + 2209. Is f a composite number?
False
Let b(a) = -a**3 + 7*a**2 + a + 8. Let t be b(7). Suppose 355 = -t*n + 20*n. Is n a composite number?
False
Is ((-1122)/136)/(6/17074)*-4 prime?
False
Suppose 2142 = 6*d + 12*d. Is d prime?
False
Let s(y) = y**2 - 6*y + 4. Let w be s(7). Suppose -4*q + 5 = -w. Is -2 + (q - 2) + 11 a composite number?
False
Suppose -25*v + 30*v = 4*a - 109588, 5*a + v - 136985 = 0. Is a a prime number?
True
Let v = 10259 - -13768. Is v prime?
False
Suppose -2*a + 8 = -4. Let h = a - -6. Suppose -4*p = -h, -z + 0*p - p + 92 = 0. Is z prime?
True
Let t = 1874 + -1155. Is t composite?
False
Let g = -400 - -773. Is g a prime number?
True
Suppose -10 = -5*k, 3*y + 2*k - 2 = 7*k. Suppose y*b = -2*n + 5761 - 2073, -3*n = -3*b + 2757. Is b composite?
True
Suppose 0*y + 14 = -y - 2*l, -2*y + l - 3 = 0. Let w be (2274/y)/((-3)/10). Suppose 6*i - 2*k - w = 3*i, -645 = -i - 2*k. Is i a composite number?
True
Suppose 80091 - 243843 = -24*p. Is p composite?
False
Let x = -138 + -5. Let s = x + 270. Is s a composite number?
False
Let b(d) = 307*d**2 + 6*d + 4. Is b(-3) prime?
True
Let p(d) = 2*d**3 + 25*d**2 - 45*d + 53. Is p(20) composite?
False
Suppose -4*z = -q - 11, 0 = -2*z + 3*q - q - 2. Let j be 18*(4 + (-22)/6). Suppose -2032 = -z*s + 4*n, -j*s + 3*s - 3*n = -1494. Is s composite?
False
Let w = -218 - 305. Let d = 2300 + w. Is d composite?
False
Suppose 4*w = -916 - 552. Let b = -30 - w. Is b prime?
True
Let i = 4584 + 10152. Suppose 20*t - i = 1844. Is t a prime number?
True
Let w = 23 + -16. Let d(f) = 4*f - 2*f + w + 4*f + 0*f. Is d(10) composite?
False
Let h(m) = 483*m + 196. Is h(11) a composite number?
True
Let j(t) = -4*t + 5 - 5*t - 11*t. Suppose -4*z - 50 = 3*i, -27 = 5*i + 2*z + 33. Is j(i) a prime number?
False
Suppose 4*u = 4, 2*h + 11*u - 6*u - 2299 = 0. Is h composite?
True
Suppose -26*t + 9*t + 87941 = 0. Is t composite?
True
Let c = 63927 + -31606. Is c a composite number?
False
Suppose 8*x = 3*x + 2695. Suppose x = g + 6*g. Is g a composite number?
True
Is -4 - ((-22216)/6 + -1)*3 a prime number?
False
Suppose 0 = -2*q, -4*i - 94015 = -9*i - 4*q. Is i composite?
False
Let f be (-1)/((3 - 12/8)/(-6)). Suppose f*y - 892 = -0*y. Is y prime?
True
Let z(o) = -o - 4. Let b be z(3). Let p(h) = h**3 + 11*h**2 + 2*h + 9. Is p(b) prime?
True
Suppose 3*y - y - 4 = 0. Suppose y*b = r - 0*b - 359, -4*b = -r + 361. Suppose -3*c - r = -6*c. Is c a prime number?
False
Let m be 6/(-21) + 3924/14. Let r = 821 - m. Is r prime?
True
Let u = -31 + 31. Suppose 2*r + 4*g - 326 = u, -g = -5*r - 6*g + 825. Is r prime?
True
Suppose -16 = -3*m - 4. Suppose -12299 = m*u - 11*u. Is u prime?
False
Suppose -2*t + 4*m + 16 = 0, -4*m = -5*t + 55 - 9. Let q be (-5)/(-10) + t/4. Suppose -534 = -q*y + 183. Is y composite?
False
Let q(v) = -2*v**2 - 3*v - 1. Let i be q(-2). Let a = 9 + i. Suppose f + 2515 = a*f. Is f a prime number?
True
Suppose -5*n - 3*t - 38 = 0, -3*n - 19 = -0*t - 2*t. Suppose -r = 0, -a + 5*r - 30 = -4*a. Is (-1 - a)/(1/n) composite?
True
Let p(v) = -620*v + 1. Is p(-9) prime?
True
Let y(b) = 2*b**3 - 18*b**2 - 25*b - 22. Is y(21) a prime number?
True
Suppose 31*o - 41*o + 7180 = 0. Is o composite?
True
Let j = 24 - 30. Is ((-6)/4)/(j/472) a composite number?
True
Suppose -1178 = -2*l + 