v(1). Let x = u - g. Is x prime?
False
Let c(v) = -10*v**3 - 12*v**2 - 36*v + 23. Is c(-11) a composite number?
False
Let t(a) = a**2 - 9*a + 10. Let d be t(8). Suppose 4 = u - 0, d*u = -4*q + 572. Is q a composite number?
True
Let p = 296 + -73. Suppose -2*l - 5*q = -p + 45, l + 5*q = 99. Is l a prime number?
True
Let l(g) = -5*g**3 - 13*g**2 - 2*g + 7. Let q(n) = -10*n**3 - 6*n + 4*n**3 - 14*n**2 + 0 + 4*n + 7. Let v(p) = 4*l(p) - 3*q(p). Is v(-9) a prime number?
True
Is (2 - (-6461)/(-7))*(-1)/3 composite?
False
Let j = -19 + 37. Suppose -c = -2*n + j, -n - 57 = 2*c + 2*n. Let b = -17 - c. Is b composite?
False
Suppose 0 = p + 3 - 7. Let u(o) be the first derivative of 3*o**2 - 5*o + 13. Is u(p) prime?
True
Suppose -4*r = -32030 + 4050. Is r prime?
False
Is (-31081)/(-13) - (-4 + 150/39) composite?
True
Let d be (-1)/(2/(-33))*4450/267. Let k be (2 - 104/10)*10. Let s = d + k. Is s a composite number?
False
Let s = 139246 - -75141. Is s a composite number?
True
Let b(m) be the first derivative of 22*m**3 + m - 3/2*m**2 + 8. Is b(2) prime?
False
Suppose 0 = -4*q + 956 + 984. Suppose -7*f = -12*f + q. Is f a prime number?
True
Suppose s = a + 7187 + 7833, 5*s + 4*a = 75127. Is s a prime number?
False
Let n = 72 + -84. Let v = n + 799. Is v prime?
True
Is (90944/(-10))/(-2) + 50/(-250) a composite number?
False
Suppose 2*l = 407 + 933. Suppose 0 = -4*i + 4*v + l - 10, 4*v + 8 = 0. Is i composite?
False
Let o = 2 - -2. Suppose o*r - 6*r + 4*h - 6 = 0, -4*h + 41 = 5*r. Suppose r*t = 852 + 103. Is t a composite number?
False
Suppose 0 = g - b - 576, -3*g = -6*b + 5*b - 1730. Let f be -99*1*8/2. Let j = f + g. Is j a composite number?
False
Is 19/((-76)/(-29216)) + 5 composite?
False
Suppose 56130 = 7*t + 2041. Is t a composite number?
False
Is -2 + -2 - (5 - 2 - 2309) a prime number?
False
Let l(n) = -n - 27. Let y be l(-31). Suppose 0*t = -2*h - y*t + 1418, 0 = 3*h + 3*t - 2112. Is h a composite number?
True
Let r(v) = -2*v**3 + 8*v**2 - 7*v - 5. Let y be r(6). Let f = y + 520. Is f a prime number?
False
Let d = 477 - 56. Suppose 0 = 2*p - 4*a + 528, 4*p = 5*a - 582 - 465. Let r = d + p. Is r a prime number?
True
Let x(i) = 1635*i**3 - i**2 + 1. Let f be x(-1). Let y be 5/(-15) + f/9. Let v = -115 - y. Is v composite?
False
Suppose 4*n = -4*c + 17664, n + 4*n - 3*c = 22088. Is n a prime number?
False
Let k(m) = -25*m**3 - m**2 + 4*m - 7. Let l be k(-5). Suppose 6*f + f = l. Is f a composite number?
False
Let n be (-2 + 1 + -14)/(-3). Suppose 5*b + n = 30. Suppose 3522 = b*d - 2233. Is d a prime number?
True
Let p(r) = -699*r + 3. Let l be p(1). Let y = -139 - l. Is y composite?
False
Let k = 256 + -136. Suppose 3*d = 5*d. Suppose -2*i + 4*z + 108 = d, i = -i + z + k. Is i prime?
False
Let p(k) = -3*k**3 - 15*k**2 + 6*k + 11. Suppose o = -3*w - 37, -3*o + 2 + 4 = 0. Is p(w) composite?
False
Suppose 192*j + 29644 = 196*j. Is j composite?
False
Suppose -88*f = -86*f - 16322. Is f a composite number?
False
Suppose -1 - 2 = -3*l. Let r be l*(-3)/1 - -7. Is (-2 - -1)/(r/(-140)) a composite number?
True
Let z be ((-3)/(6/(-284)))/2. Suppose 23 = -3*w - 4*h - z, -4*w - 162 = -2*h. Let y = -12 - w. Is y a prime number?
False
Let v be 1/(-1)*(12 - 5). Let m = 21 + -18. Is (-75 + 6/m)*v composite?
True
Let z = -925 + 618. Suppose 5*o + 34 = -w - 3*w, 0 = -3*w + o - 16. Is (z/(-2))/((-3)/w) a composite number?
False
Let p = -1434 - -6547. Is p prime?
True
Let p = 5366 - -4857. Is p a composite number?
False
Let z = -5372 + 7799. Is z a prime number?
False
Let h = 1003 - -7054. Is h a composite number?
True
Suppose 51 = -5*x + 21. Let b(h) = -6*h**2 - 13*h + 3. Let t(z) = -2*z**2 - 4*z + 1. Let d(p) = 6*b(p) - 21*t(p). Is d(x) prime?
False
Suppose 0 = 3*g + 2*r - 14, -5*g + r - 2*r + 21 = 0. Suppose 51 + 2065 = g*q. Is q composite?
True
Is 4 + -1 - -1*4954 a prime number?
True
Let x(r) be the first derivative of 2 + 140*r**3 + 2 + r - 2*r. Is x(-1) composite?
False
Let p be ((-1 + 1)/2)/3. Let t be (-5)/(-5)*(p - -3). Suppose 2*u = t*u - 43. Is u a prime number?
True
Let s(q) = 8268*q**2 - 6*q + 5. Is s(1) prime?
False
Let y(c) be the first derivative of 3*c**4/2 - 8*c**3/3 + 3*c**2 + 3*c - 9. Is y(3) prime?
False
Suppose -2 = -3*w + 1. Let q = 13 + w. Let r(s) = -s**3 + 13*s**2 + 18*s + 6. Is r(q) prime?
False
Suppose -3*k - 9 = -3. Let a be (-1 - 0) + (-8)/k. Suppose 3*b - 1353 = -a*x, -5*b + 3*x = -0*b - 2239. Is b prime?
True
Let q(k) = k + 7. Let l be q(-5). Let x = l + -4. Let z = 81 - x. Is z prime?
True
Let w(a) = -a**3 - 13*a**2 - 14*a - 12. Let j be w(-12). Suppose 16*n = j*n + 892. Let b = n - 140. Is b prime?
True
Suppose -147566 - 111793 = -3*q. Is q a prime number?
True
Let t be (-18)/4*(-20)/30. Let h(x) = x**2 - x + 2. Let z be h(2). Suppose 0 = -z*y + t*g + 2179, -5*y + g = 290 - 3000. Is y a prime number?
True
Let s = 22 - 22. Suppose -2*y = r - 36, 2*y - 3*r + s*r = 28. Suppose 18*f = y*f + 253. Is f composite?
True
Let x be ((-30)/9)/((-3)/(-81)). Let l be (x - 3)/(-1) - -2. Let z = l - -552. Is z composite?
False
Let c = 14144 - -1725. Is c a prime number?
False
Suppose 0*h = h + 3*k - 12, -k = 4*h - 26. Let l(s) = s**3 - h*s - 3 + 0 + 0*s**3 + 4 - 15*s**2. Is l(16) composite?
True
Let i be 15/2*(-2)/(-3). Suppose i*b = -25, -4*b + 0*b - 10 = 5*k. Suppose -236 = -k*t + h + 11, 0 = -4*t + h + 493. Is t prime?
False
Let y(k) = 4*k**2 + 11*k + 3. Let b be y(13). Let g = b - 175. Is g a prime number?
True
Is 214413*(2 + -1) + -77 + 81 prime?
False
Suppose -4*k = -5*y + 9009, 2*y - 3*k - 3429 = 176. Is y prime?
True
Suppose 0*g - 2*m - 6 = -g, -4*g - m = -24. Suppose g*u + 5340 = 8*u. Suppose u = 3*v + 315. Is v a composite number?
True
Let m = -87 + 89. Let g(j) = 2*j**2 - 7*j + 5. Let y(o) = -3*o**2 + 13*o - 9. Let u(w) = 11*g(w) + 6*y(w). Is u(m) composite?
False
Let z(a) = -3*a**3 - 30*a**2 - 135*a + 53. Is z(-23) composite?
False
Let n(t) = -3 + 10*t - 7*t + 18*t**2 + 10. Let s(z) = -19*z**2 - 4*z - 8. Let h(k) = 3*n(k) + 2*s(k). Is h(4) a composite number?
True
Let t = -36 + 39. Let b be (-4)/t*(6 + -12). Is -3*b/(-6) + 73 prime?
False
Let i(x) = -x + 8. Let p = 7 - -6. Let v be i(p). Let n(t) = -3*t**3 + t**2 + 7*t + 6. Is n(v) a prime number?
False
Suppose 5*f - 494 = -4*g + 24, 0 = -g + 2. Let w = f + 263. Is w composite?
True
Let s(a) = -2*a**2 + 14*a + 7. Let b(k) = -k**2 - 11*k - 3. Let q be b(-10). Let p be s(q). Suppose 255 = n - d, -2*d - 1 = p. Is n a composite number?
False
Let r(g) = -293*g + 12. Let x(u) = -u - 13. Let b be x(-8). Is r(b) prime?
False
Let o(k) = -74*k**2 - k**3 + 9 + k + 63*k**2 + 9*k. Let h be o(9). Is 1/(-2) - h/6 prime?
False
Suppose -3 + 57 = 6*i. Suppose -302 - 256 = -i*q. Is q composite?
True
Suppose -11*y + 25*y = 54698. Is y composite?
False
Suppose 9*x - 13*x + 4 = 0, 4*g + 3*x = 26191. Is g a composite number?
False
Let c(i) = -2*i + 26. Let x be c(14). Is (-7)/(-7) - x*533 prime?
False
Let z = -19 - -4. Is (-18 - z) + (2 - -1007) a prime number?
False
Let a = 27 - 25. Suppose -4*i - 4*r = -196, -2*i + 202 = a*i + r. Is i prime?
False
Let d = 1661 + 1132. Suppose -4*i + d = 5*g - 3369, i + 5*g - 1533 = 0. Is i a prime number?
True
Suppose -7*i - i + 56 = 0. Let o(l) = 12*l**2 - 12*l - 7. Is o(i) prime?
False
Suppose 14 = 4*g - 10. Suppose g*p = 7*p - 15761. Is p a prime number?
True
Let j(y) = 194*y - 17. Suppose 48 = -18*d + 24*d. Is j(d) a composite number?
True
Suppose -33062 = -9*y - 2579. Suppose 1054 = -c + y. Is c composite?
False
Suppose v + 127208 = 9*v. Is v composite?
False
Is 783/(-1 - -4) + (0 - -4) a prime number?
False
Suppose -2*d - 3*d - x = -2545, 4*d - 2065 = 5*x. Is d + -3*(-3)/(-9) a composite number?
False
Let h be (0 + 3)/(6/(-4)). Let l = h + 5. Suppose -3*y + 183 = 4*v - 296, l*y = 2*v - 235. Is v prime?
False
Suppose -26*p = -38*p + 1654908. Is p prime?
True
Let s(z) = 6*z**2 - 3*z - 43. Is s(-6) composite?
False
Let c be -6*(3 + 100/(-4)). Let o be c/(-4) - (2 - 2). Is (-1)/3 - 869/o a prime number?
False
Is ((-25)/(-10) - 2)*(-21874)/(-1) a prime number?
True
Let a(o) = -o**3 - 6*o**2 + 7*o. Let c be a(-7). Suppose 5*x = -5*j + 45, -2*x + 15 = 3*j - 8. Suppose -j*p + 37 + 18 = c. Is p a composite number?
False
Let w = -811 - -5006. Is w a composite number?
True
Let