ppose -3*t - 2 = -5*d - 7, -5*t = 4*d - 33. Suppose 4*m + t*x = 1018, m + 3*x = 4*m - 777. Is m composite?
False
Let r(d) = 648*d + 1. Let a be r(1). Suppose 721 + a = 2*p. Is p a prime number?
False
Let r(d) = -6*d + 0 + 7 - 2*d. Suppose 5 = -t - 5*k, -4*t + k - 51 = t. Is r(t) a composite number?
True
Let m(d) = 8 - 6*d - 25 + d**2 + 3*d - 3*d. Let i be m(18). Let u = i + 52. Is u composite?
False
Let z(d) = 16*d**2 + 6*d + 17. Is z(-9) composite?
False
Let n be 0/(4/2) + -3 - -19655. Is 2/(-3) - (n/3)/(-4) prime?
True
Suppose 5*s + 3*g - 6995 = -g, 5*s + 3*g = 6995. Is s prime?
True
Let z(y) = 105*y - 8. Let a = -10 + 15. Is z(a) composite?
True
Suppose -3 = -3*y + 9. Suppose -2*x + 522 = y*c, 0*c + 256 = x + c. Is x prime?
True
Let d be -3*(6729/(-9) + -1). Suppose 4*w + 367 - d = i, 0 = 5*w - 2*i - 2351. Is w prime?
False
Suppose -3*w - 6*w = -3987. Is w a prime number?
True
Let y(c) = 7*c**3 - c**2 - c + 1. Let p be y(1). Let t = 6 - p. Suppose 0 = -2*i + 2*w + 20, t*w + 21 = 2*i - w. Is i prime?
True
Let t(f) = 3*f**2 - 92*f + 35. Is t(41) prime?
False
Let j(y) = -5*y**3 - 2*y**2 + 3*y + 3. Let k be j(-2). Let c = 25 - k. Is 393/(-6)*(2 + c) a prime number?
True
Suppose -5*c - 346 = -u, -5*c + 3*c - 144 = u. Suppose 3 = s - 2, -4*s + 512 = 4*o. Let b = c + o. Is b prime?
True
Let z(i) = 606*i - 235. Is z(9) composite?
True
Let m(t) = 2*t - 11. Let n be m(9). Let d(q) = -9*q**2 - 9*q - 18. Let x(v) = -4*v**2 - 5*v - 9. Let s(o) = n*x(o) - 4*d(o). Is s(6) prime?
False
Let y = 114 + 416. Suppose 2*h - 3*x = y, -2*h - x + 784 = h. Suppose -25*v = -23*v - h. Is v composite?
False
Suppose 4*t - 26133 = -s, -17*s - 5*t - 78416 = -20*s. Is s prime?
False
Suppose -7*a + 48 = -4*a. Let c = -17 + a. Let b(q) = 121*q**2 - 2*q. Is b(c) a composite number?
True
Let y be 2286/(-12)*(-28)/6. Suppose -3159 = -5*k - 4*o + 1202, k + 5*o - y = 0. Is k composite?
True
Suppose -17771 = -3*n + 340. Is n a prime number?
True
Let u be 0 - (-3)/(6/64). Let w be u + 0/(-4) + 1. Let f = w - 2. Is f composite?
False
Let c(l) = -6*l - 2. Let x be c(2). Let q be (-28)/(-8)*(-12)/x. Is ((-191)/q)/(4/(-12)) prime?
True
Suppose u - 5 = -3*h + 8, u = 3*h - 23. Suppose 3*p + o = 1413, 4*p + o - h*o = 1884. Is p prime?
False
Let a(v) = -v + 1. Let b be a(-5). Suppose -31 = -b*i + 5*i. Is i composite?
False
Let m(x) = x**3 + x**2 + 11*x - 12. Is m(13) composite?
True
Let p(x) = 257*x**2 - 15*x - 41. Is p(-3) a composite number?
True
Suppose -5*w + 3*m + 244844 = 0, -3*w + 4*m + 146913 = -0*w. Is w prime?
False
Let h(r) = 8*r - 8. Let x = 9 - 3. Let w be h(x). Suppose -w = -5*k + 5*o, 5 - 44 = -4*k - 3*o. Is k a composite number?
True
Let a(l) = 5*l + 5 - l + 2*l. Is a(9) composite?
False
Is (28/112)/(2/68008) a composite number?
False
Suppose 60949 = 3*t + 3*r - 80690, -47193 = -t - 5*r. Is t prime?
False
Let p(n) = -n**3 - 8*n**2 + 6*n + 24. Is p(-9) prime?
False
Let m(n) = -n**2 - 4*n + 3. Let y be m(6). Let u be 521/2 - (-3)/(-6). Let h = y + u. Is h prime?
False
Let i be -1 + 4652 - (-2 - (1 - 2)). Let z = i - 2073. Is z a composite number?
False
Suppose -5*t + 10*t - 20 = 0. Suppose t*u = -u + 670. Suppose -x + u - 7 = 0. Is x prime?
True
Suppose 0 = -2*b + 2, 0 = 3*t + b + 36 + 11. Is (-4)/(t/(-28))*-277 prime?
False
Is (-10)/(-4)*((-57246)/(-30) + 5) a prime number?
True
Suppose -9*w + 36506 = -3031. Is w a prime number?
False
Let o(w) = 4*w**2 + 16*w. Let v be o(-4). Is (6 - 2) + v + 5457/3 a prime number?
True
Suppose 5380 + 58444 = 16*q. Is q a prime number?
True
Suppose 42 = 4*k + 18. Let o = -6 + k. Suppose z = -o*z + 89. Is z composite?
False
Let w = 2474 + 92. Is w a composite number?
True
Let w(f) = -f**2 - 62. Let j be w(0). Suppose -5*u - 20 = 0, 2*u - 490 = -h + 361. Let y = j + h. Is y a composite number?
False
Let c(q) = -q**3 + 6*q**2 - 6*q + 7. Let a be c(5). Suppose 2177 + 831 = 4*g - 3*z, -2*g + a*z + 1506 = 0. Is g composite?
True
Let d(z) = 4*z**2 + z. Let n(v) = -v - 2. Let c be n(1). Is d(c) a prime number?
False
Is -7586*1*36/(-72) a composite number?
False
Let m(x) = -2*x - 5. Let l be m(-4). Suppose 5*c - 5*n + 145 = 0, c + 7*n - l*n = -24. Let r = -3 - c. Is r a composite number?
True
Let f(s) = -s**2 + 1. Let y(u) = 17*u**2 - u - 5. Let b(q) = 3*f(q) + y(q). Is b(7) a composite number?
False
Suppose 2*v - 1 = 3*f + 5, -2*f = -v + 5. Is 127*(v + 2)*1*-7 a composite number?
True
Suppose -78135 = -28*t + 13*t. Is t a prime number?
True
Let g be (-2)/(-1) - (-2796 + -6). Suppose -3*c = -6*c - 5*w + g, 2*c - 1867 = -w. Is c composite?
True
Suppose -4*j = g - 2074, 2068 = 8*j - 4*j + 4*g. Is j a composite number?
True
Suppose 0 = -3*b + 9, -2*y - 5*b = -0*y - 65485. Is y a composite number?
True
Let f = -12433 - -18902. Is f composite?
False
Let s(t) = -4*t + 6. Let g(k) = 3*k - 5. Let v(y) = 3*g(y) + 2*s(y). Let h be v(-12). Is 5/(h/9) - -602 a prime number?
True
Suppose v = -0*v - 2, -2*m - v + 956 = 0. Is m a prime number?
True
Let a = -20 + 30. Is 6463/3 - a/(-15) prime?
False
Let m(c) = c**3 + 7*c**2 + 5*c + 3. Let b be m(-6). Suppose 2*y = -y + b. Suppose 11 - 296 = -y*i. Is i a prime number?
False
Let c(n) = 6071*n + 147. Is c(2) prime?
True
Let c(i) = 429*i - 46. Is c(5) composite?
False
Let n(q) = -405*q + 11. Is n(-2) composite?
False
Let u = -133 - -119. Let d(z) = -86*z + 45. Is d(u) composite?
False
Let y = 38088 - -21001. Is y prime?
False
Let o(u) = -u**2 + 5*u + 4. Let h be o(11). Let c = h - -90. Let w = 117 - c. Is w composite?
False
Let k be (2 + -1)*-75*(-6)/18. Let w(l) = 21*l - 26. Is w(k) composite?
False
Suppose -k - 22 = -24. Suppose 2*i + 2*p = -p + 742, 742 = k*i + 4*p. Is i composite?
True
Let p(j) = -116*j**3 - j**2 + 1. Let h be p(1). Let b = 222 + h. Suppose -329 + b = -f. Is f a composite number?
False
Let j be 5/(5/(-12))*-142. Suppose 5*p = -j + 134. Is (p/(-3))/((-14)/(-21)) composite?
False
Suppose t - 6 = -2. Suppose a = -t*a + 705. Suppose 2*n = -n + a. Is n a composite number?
False
Let z be 21/15 - 8/20. Let s(r) = 61*r + 1. Is s(z) prime?
False
Is (-8)/(-2) - (6 - 1229) prime?
False
Suppose 2*n = 5*o + 16017, 2*o + 4*n + 6406 = 5*n. Let g = -1616 - o. Is g a composite number?
True
Suppose 2*y - 3 = -7, -2*r - 254 = -5*y. Is 42/(-12)*r/21 a prime number?
False
Let k(u) = u**2 + 5*u - 6. Let r be k(-6). Suppose s - 50 = -r*a - 5*a, 2*s + a - 91 = 0. Suppose n = 3*h - 1937 + s, 4*h - 2523 = n. Is h composite?
False
Suppose -x + 4 + 66 = 0. Suppose -2*a - 5*a = x. Let t = a - -56. Is t prime?
False
Let z = 3763 - -23106. Is z a prime number?
False
Let v(f) be the first derivative of 337*f + 1/3*f**3 + 0*f**2 + 2. Is v(0) prime?
True
Let z be 8/12 - 13/(-3). Let b(s) = -s + 2. Let p be b(z). Is p - (-458)/(-3)*-6 composite?
True
Suppose 0 = -2*x + g + 78731, -75743 = -3*x + 3*g + 42361. Is x a prime number?
False
Let t = -489 + 245. Is ((-12)/(-8))/((-3)/t) a prime number?
False
Is 519/((-3)/438*-6) composite?
True
Is (-807678)/(-135) + 1/5 composite?
True
Suppose -5*k = -11 + 1. Suppose -336 = -k*v - 2*o, -3*o + 14 = -1. Is v a prime number?
True
Suppose -2*h + 3*n + 8 = 5*n, -16 = -2*h - 4*n. Suppose a - 279 - 842 = h. Is a a prime number?
False
Suppose 5*h + 12 = 3*f, -f - 2*h - 5 - 2 = 0. Let o be (12/(-8))/(f/(-2)). Is (808/8)/(o/(-21)) a prime number?
False
Let b = 21 + 1. Suppose -2638 = 20*r - b*r. Is r a composite number?
False
Suppose -5*p + d + 2*d + 8080 = 0, 2*p - 3221 = -d. Suppose 0 = -2*w - w - 3168. Let g = p + w. Is g a composite number?
False
Let l be 3494 - ((-2)/(-2) - -4). Let d = l + -1180. Is d a composite number?
False
Suppose u = -j - 2, 0 = -5*u - 0*u + j + 20. Suppose -5*o - 2*q + 1015 = 0, u*o = 6*q - 5*q + 620. Is o a composite number?
True
Suppose -4*o + 562819 = 13*o. Is o a composite number?
False
Let n be 16/10*32050/20. Suppose 37*o + n = 41*o. Is o composite?
False
Let v(t) = -t**3 + 11*t**2 - 4*t + 44. Let g be v(12). Let c be 118 + -1*(2 + -1). Let q = c - g. Is q a prime number?
False
Suppose 2*h + 2*c = 6*c - 62, h = -2*c - 23. Let o = 30 + h. Suppose 2*d - 229 = 3*y, o*y + 537 = 5*d - 31. Is d prime?
True
Let q(h) = 3*h**2 - 13*h - 47. Is q(29) prime?
True
Suppose 2*v + 9 = -3. Let c = 10 + v. Suppose 0 = 3*f + 3*m - m - 170, 0 = -5*f + c*m + 298. Is f composite?
Tru