2 - 25*t - 6. Let j be x(-12). Suppose -582 = j*v - i*v. Is v prime?
False
Suppose 0 = 3*v - l - 230, l - 3*l - 10 = 0. Let p be 1*-44 - 108/(-36). Let h = v + p. Is h prime?
False
Suppose 6 = -59*h + 57*h, i - 4*h = 1186. Is i a prime number?
False
Let k(t) = 2*t**2 - 2*t + 697. Is k(0) prime?
False
Let y(b) = 25*b - 13. Let t(v) = -6*v + 3. Let q(p) = -9*t(p) - 2*y(p). Let a be q(1). Suppose a*i + 77 - 710 = 0. Is i a prime number?
True
Suppose 23*l - 13741 = 64666. Is l prime?
False
Let c(p) = -p**3 + 6*p**2 - 4*p - 5. Let o be c(5). Suppose o = 2*k + 122 - 836. Suppose 2*g = -g + k. Is g a prime number?
False
Suppose 0*v + 122369 = 13*v. Is v prime?
True
Let v(t) be the second derivative of 43*t**4/24 + 3*t**3/2 + 5*t**2 + 4*t. Let h(i) be the first derivative of v(i). Is h(10) prime?
True
Let b(d) = -95*d - 6 + 7 - 4. Is b(-2) prime?
False
Suppose 3*m - 5 = 16. Suppose 10*v - m*v - 11659 = 2*s, -15547 = -4*v + 3*s. Is v prime?
False
Let s(n) = -n**2 + 8*n - 8. Let d be s(6). Suppose -4*h = -r - r - 706, d*r - 724 = -4*h. Is h composite?
True
Suppose 6*s - s = 15. Suppose -4*t = 3*k + 57, 33 = -2*t - 2*k + s. Let g = t + 22. Is g a composite number?
True
Suppose -6*w = -6 - 6. Suppose d = 2*y + 20, -7*d + 40 = -4*d - w*y. Is d a prime number?
False
Let o(h) = -h. Let r be o(3). Is (-8)/(-12) + (-1453)/r prime?
False
Suppose -v - 2*v = -3. Let r be -137*v/(0 - -1). Let y = 348 + r. Is y composite?
False
Suppose 0 = 6*o - 8549 + 1703. Is o composite?
True
Let q(l) = 960*l**2 - l - 2. Let u = -67 + 66. Is q(u) a composite number?
True
Let p(f) = f**2 + 3. Let s be p(2). Suppose -90 = -s*d + 92. Is d composite?
True
Suppose 18*l - 102960 - 4914 = 0. Is l prime?
False
Is 2/(29972/224565 + (-10)/75) prime?
False
Let x = 2 + 0. Let v be x + -4 - (112 + -4). Is ((-2)/4)/(5/v) a prime number?
True
Let n = -615 - -1058. Is n a prime number?
True
Let p(j) = j**2 + 12. Let r be p(0). Let b = r + -7. Suppose b*a + 2*v - 1695 = -2*v, 20 = 4*v. Is a a composite number?
True
Let x be (-1 - -3)*(2 + 39). Let g(y) = 3*y + 33. Let w be g(-6). Suppose -i + x = w. Is i a prime number?
True
Let v = -52 - -40. Let h(p) = -p**3 - 4*p**2 + 8*p - 13. Is h(v) prime?
False
Let i(c) = 158*c**2 - 29*c - 275. Is i(-10) composite?
True
Suppose 0 = c - 3*c + 2. Is 706 + 0/c + 1 a composite number?
True
Let t(r) = 45 - 30 - 22 - 10*r. Is t(-5) prime?
True
Let i(t) = -6268*t - 1. Is i(-3) a prime number?
True
Let u be 1*263/(-3)*-3. Let y = u + -186. Is y a composite number?
True
Let d(k) = -2 + 2*k - 1 - 1 - 3. Let b be d(6). Suppose -109 = -3*x - 2*l, 2*l = -b*x - 2*l + 185. Is x a prime number?
False
Suppose 11942 - 4664 = 6*u. Is u prime?
True
Let g be (5/(-3) - -1)*(2 + 7). Let s(w) = -18*w**3 + 3*w**2 + 2*w + 1. Is s(g) composite?
True
Let r = 153 - -154. Is r prime?
True
Suppose 0*q + 3*q - 15 = 0. Suppose 5*n - 2160 = -q*t, n - 5*n + 1723 = 5*t. Is n a prime number?
False
Let l = -1114 - -645. Let x = 234 - l. Is x a prime number?
False
Suppose 656*l - 267641 = 627*l. Is l a prime number?
False
Is 9993988/1206 + (-1)/(-9) prime?
True
Let s(z) = 49*z**2 - z - 1. Let i be -3*(-4)/(-6*2). Let w be s(i). Let o = w - -82. Is o composite?
False
Is 2/(-5)*362800/(-32) a prime number?
False
Suppose 8920*k = 8929*k - 375471. Is k composite?
False
Let f be (-4)/(-6) + 6024/(-18). Let w = -205 - f. Is w a composite number?
True
Let o = -98990 - -212833. Is o prime?
True
Suppose 3*r - c + 3 = -0*r, 5*c = r + 1. Is 8/((-40)/7427)*(-6 - r) a prime number?
False
Suppose 27 - 27 = -4*y. Suppose 8*n = g + 10*n - 1185, 4*n + 20 = y. Is g a composite number?
True
Suppose -2*b + 632 - 140 = 5*v, b = 4*v + 259. Is b a prime number?
True
Suppose -3*q = g - 4*q - 51896, 3*g + q = 155700. Is g prime?
True
Suppose 5*p + 2*o = -2*o + 16, 3*p - 11 = -o. Suppose -y + 2305 = 4*v, 3*y + y + p*v = 9220. Is y prime?
False
Suppose 2*a + 3*x + 20 = x, x = 3*a + 30. Let k(t) = -t**3 - 5*t**2 + 8*t - 7. Is k(a) composite?
True
Let b(d) = -d**2 - d - 2. Let u be b(-3). Let k(o) = 13*o**2 - 4*o + 5. Is k(u) a prime number?
False
Suppose r - 4*c = 862, r - c = -r + 1717. Let f = -427 + r. Is f prime?
True
Suppose -2*a - q = -9408, -3*a = -3*q - 2*q - 14086. Is a a composite number?
True
Let i(r) = r**2 + r + 2. Let l(a) = a**2 - 2*a. Let b be l(0). Let z be i(b). Suppose -3*n + 4*n + 3*x - 151 = 0, x = -z. Is n composite?
False
Let s = 6562 - 4388. Is s a composite number?
True
Suppose 301 = 2*j + 3*q - 582, -2*j = -5*q - 923. Is j a composite number?
False
Let q = 3862 - 2145. Is q composite?
True
Let z be (36/45)/((-4)/(-10)). Suppose -4*w - 3*f + 227 - 30 = 0, 3*w - 135 = z*f. Suppose u - 3*c = 140, u - c = 99 + w. Is u composite?
False
Let m(x) be the second derivative of -316*x**3/3 - 3*x**2/2 - 12*x. Is m(-1) prime?
False
Suppose -5*p - 78 = -4*k, 0 + 76 = -5*p + 3*k. Let x = 5 + p. Let z(q) = 3*q**2 - 7*q + 1. Is z(x) a prime number?
True
Let y = -21069 - -29536. Is y a prime number?
True
Let p(r) = 16*r**2 - 11*r + 139. Is p(-24) composite?
False
Let z(u) = -u**3 + 5*u**2 - 7*u + 5. Let y be z(5). Is (-18394)/y + 2/(-15) composite?
False
Let a(u) = -25*u**2 + 14*u + 1. Let b(y) = y**2 + y + 1. Let l(o) = a(o) + 2*b(o). Let j be l(7). Let f = -566 - j. Is f prime?
False
Is 3/1 - 98352/(-24) a composite number?
True
Let r(s) be the third derivative of s**6/120 + 7*s**5/60 - s**4/4 + 11*s**3/6 - 10*s**2. Is r(6) composite?
False
Let g be 9964/12 + (-2)/6. Suppose -4*v + 2*v = -g. Is v composite?
True
Let y(d) = -253*d. Let v be 0/(9/(-3) - -2). Suppose 4*z + w + 5 = v, 2*z - 2*w + 0*w = 0. Is y(z) a composite number?
True
Suppose 6*r = 10*r + 16, q - 39 = 4*r. Is q*13 + 2 + 2 prime?
False
Let w = -51 - -22. Let n = w + 140. Is n composite?
True
Let h(n) = 120*n**2 - 68*n + 21. Is h(-7) a prime number?
False
Is 1/(4/(-8))*22107/(-6) composite?
False
Let w(j) = -j**2 - 5*j - 4. Let z be w(-4). Let k = -33 - -36. Suppose 5*g = -k*t + 4*t + 427, z = -g + 3*t + 91. Is g a prime number?
False
Let g(t) = -35*t**3 - t**2 + t - 12. Is g(-3) a composite number?
True
Suppose -3*d = d - 32. Suppose 2 = -g, u - d = 4*g + 4. Suppose n - 5*q - 37 = 0, u*q + 2 - 10 = 0. Is n prime?
True
Let p be ((-5)/(-5))/((-1)/(-2)). Suppose 5*u - 3 = -5*c + 2, -p*c = 5*u - 8. Suppose u*s = s + 161. Is s composite?
True
Let d(c) = 2*c - 18. Let o be d(10). Is 449 + o + 3 + -9 a composite number?
True
Let j(n) = 2*n**3 + 3*n**2. Let u be j(-2). Let m(b) = b + 1. Let d(t) = -t + 7. Let h(c) = d(c) - 4*m(c). Is h(u) composite?
False
Suppose -2869 - 1593 = -2*q. Is q a prime number?
False
Let a be 0 + 0*5/20. Suppose a = 4*s - 791 + 115. Is s a composite number?
True
Let v(d) = 6*d**2 - 6*d - 8. Let c be v(-7). Let q be (-4)/30 + c/(-15). Is (-2 + (-3)/6)*q prime?
False
Is (-21 + 24)/((-1)/(-2602)*3) prime?
False
Suppose -97 = 2*c - a, 2*a + 3 = 13. Is c*((-406)/4)/7 a prime number?
False
Suppose 9*q = 1396 + 2393. Let x = q + -26. Is x composite?
True
Suppose 10*f - 20 = 270. Let c = f - 6. Is c prime?
True
Let y(t) = 64*t**2 - 5*t + 41. Let b be y(8). Suppose 2*u - 4099 = -0*f - 3*f, -5*f + b = 2*u. Is u a prime number?
False
Let b(k) = k**2 - 7*k + 4. Let r be b(6). Let f be (4/(-8))/(r/2644). Suppose -f = -4*l - 153. Is l prime?
True
Suppose k + 10*k - 125785 = 0. Is k prime?
False
Suppose 0 = -2*i + 54 + 30. Suppose -38*w - 1228 = -i*w. Is w a prime number?
True
Let z(u) = -126*u + 119. Is z(-52) a prime number?
False
Let g = -103 + 104. Is (-88317)/(-18)*g/3*2 prime?
True
Let g(l) = 239*l**2 - 11*l - 1. Suppose -5*z + 4*n + 33 + 12 = 0, z + n = 0. Is g(z) composite?
True
Suppose -64*u + 56*u + 65144 = 0. Is u prime?
False
Let h = -23 + 23. Is (-3)/9 + h - 3801/(-9) composite?
True
Let u be (-1 + 2)/((-1)/(-53)). Suppose 8 = -f + 4*f - 4*j, 5*j + 10 = 0. Suppose 4*x + 3*q - u = 0, 4*q + f*q = 2*x - 32. Is x composite?
True
Suppose 3*z - 2*z - 4*o = 14, -3*o = z - 14. Let p(v) = v**2 - 8*v - 7. Is p(z) a prime number?
False
Let o = 1668 - 3007. Let u = 2096 + o. Is u a composite number?
False
Suppose -12 = -2*a - 4*a. Suppose a*h + 2*h = u + 1229, 0 = h + 5*u - 302. Is h a composite number?
False
Let x be (2 - -148)*4/(-10). Is (-13270)/x - (-1)/(-6) a composite number?
True
Suppose 16 = d - 4*m, -4*d - 4*m + 0 = -4. Suppos