omposite?
False
Let n(u) = u**3 + 5*u**2 - u - 8. Let m = 1 - 7. Let w be n(m). Let c = w - -64. Is c prime?
False
Suppose -1077 + 82 = -5*z. Is z a composite number?
False
Suppose 0 = -5*j + 2703 + 3562. Is (-2)/9 - j/(-9) prime?
True
Let x(u) = u**2 - 11*u - 3. Is x(-5) prime?
False
Let r be ((-36)/(-21))/(3/21). Suppose -m - b + 3 = 2*b, -b - r = -4*m. Suppose 5*h = m*h + 12. Is h a prime number?
False
Let v = 339 - 239. Let p = 291 - v. Is p a composite number?
False
Let h(f) = -3*f**3 - f**2 + f + 1. Let k be h(-1). Let i be 0 - (-1)/(k/394). Suppose 3*l = 5*p - i, 4*p + 2*l - 144 = l. Is p composite?
False
Suppose 0 = 4*n + 5*f - 14616, 4*f = f - 12. Is n composite?
False
Let x(k) = -k**2 + 4*k + 1. Let a be x(5). Let v be (a/(-4))/(1/2). Is (-9)/(((-3)/v)/1) a composite number?
True
Let c = 1040 - 729. Is c prime?
True
Is (-15855)/(-27) + (-4)/18 prime?
True
Let o = -13 + 23. Suppose -6 = -4*z + o. Is 1/z - (-43)/4 prime?
True
Is (2 - (-2006)/6)/((-1)/(-3)) a prime number?
True
Suppose 0 = -3*k + 280 + 353. Is k a prime number?
True
Let r(l) = -7*l**3 - 13*l**2 - 13*l + 15. Let m(q) = 3*q**3 + 6*q**2 + 6*q - 7. Let a(t) = -13*m(t) - 6*r(t). Is a(2) composite?
True
Let w = -3 + 10. Suppose -w*i = -2*i - 395. Is i composite?
False
Let z(r) = -r**2 - 10*r - 6. Let v be z(-9). Is 116/v*3/2 composite?
True
Let j be (-252)/(-4) - (2 + -1). Is j/((-6)/15*-5) a composite number?
False
Suppose -2*f = -4, -9*w + 7545 = -4*w + 5*f. Is w a prime number?
False
Let a(x) = -x**3 - 9*x**2 - 31*x + 12. Is a(-13) composite?
False
Let m(t) = -t**2 + 3*t + 1. Let u be m(3). Is (4 - -16) + u + 0 prime?
False
Suppose -6*b = -530 - 184. Is b composite?
True
Let a be (2/(-3))/(2/(-87)). Suppose -4*k + a + 47 = 0. Is k a prime number?
True
Let g(w) = 39*w**3 + 2*w**2 + 2*w + 2. Let t(d) = -40*d**3 - 3*d**2 - 3*d - 3. Let p(y) = -3*g(y) - 2*t(y). Is p(-1) a composite number?
False
Let d = -145 + -621. Let m be d/(-10) + 2/5. Suppose 2*y = -2*b + 3*b + m, 34 = y + b. Is y a prime number?
True
Suppose 7*w - 4*w - 9 = 0. Suppose -5*c - 23 = -w. Is (-630)/12*c/6 prime?
False
Let n(l) = 15*l**2 + 18*l + 11. Is n(-14) a composite number?
False
Let h(f) = f**3 - f + 1. Let s(p) = p**3 + 3*p**2 + 4*p + 2. Let j be s(-2). Let u be h(j). Let l(w) = 2*w**2 - 7*w. Is l(u) prime?
False
Suppose -f - 4*i - 14 = 0, 3*f - 3*i + 0*i = 18. Suppose f*y - 78 = -y. Is y a composite number?
True
Let o(x) = x**2 - 50*x**3 - 21*x**3 + 0*x**2 - 1 - x. Let f be o(-1). Suppose 2*t - f = -2*b - 0*b, t = 2*b - 57. Is b composite?
False
Let k(q) = -q**3 - 5*q**2 - q + 17. Let r be k(-4). Suppose -3*m + 15 = 2*m. Suppose -m*l = 2*l + r*t - 260, -3*l - 2*t + 151 = 0. Is l composite?
False
Is ((-23)/46)/((2/(-1652))/1) a prime number?
False
Suppose 1131 = 3*n + u - 1622, n - 2*u = 927. Is n a composite number?
False
Suppose 4*y + 0 - 8 = 0. Let f(k) = -7*k - 3 - 16*k + y. Is f(-1) composite?
True
Suppose 4*q = 5*g - 1873, 0 = 5*q - 10*q - 10. Is g a prime number?
True
Let d = 541 - -92. Is d a composite number?
True
Let x be (-196)/24 - (-3)/18. Let r(i) = 7*i + 4*i**2 + 6 + 1 - 2. Is r(x) composite?
True
Let o(r) = -9*r**3 - 3*r**2 - 2*r - 2. Let i be o(-2). Suppose -i + 7 = -x. Is x a prime number?
False
Let j = -72 + 141. Is j a prime number?
False
Let x(g) = g**2 - 6*g + 6. Is x(7) composite?
False
Suppose 2*j + 120 = 2*g, 0 = 3*j - 4*j + 5. Is g prime?
False
Let h(t) = t + 2. Let s be h(0). Suppose 3 = -s*v - 7. Is 4/(-10) - 337/v prime?
True
Let j = -2 - -6. Suppose s + 3*v - 7*v = 5, j*s - 54 = -v. Is s composite?
False
Let a(x) = -x**2 - 9*x - 8. Let s be a(-8). Suppose s = 3*r - 41 - 70. Is r a prime number?
True
Let q(v) = v - 8. Let i be q(7). Is 221/1 + (-1 - i) prime?
False
Let d be 1 + 2 + (-1)/(-1). Suppose -t - d = 3*t. Is t - -2 - (-414 + 2) a composite number?
True
Let p = -96 + 307. Suppose -3*q - 830 = -5*r, -4*q = -5*r + p + 624. Is r a prime number?
True
Let t(q) = -q**2 + q + 8. Let d be t(0). Suppose -3*p - 1175 = -d*p. Suppose 4*x = 4, -3*l - 2 = -4*x - p. Is l a prime number?
True
Let s be 1/(-3)*3 - -1. Suppose -25 = -p - s*p. Is p a composite number?
True
Let j(g) = 196*g - 2. Is j(1) a composite number?
True
Suppose 69 - 438 = -3*h. Is h a composite number?
True
Let w(f) = -82*f - 3. Let h(n) = -5*n**3 + n**2. Let v be h(-1). Suppose o + 2*z - v = 0, -2*o - z = o + 2. Is w(o) composite?
True
Let l = 5 - 4. Is (l + -2)*(-335)/5 a prime number?
True
Suppose -4*o - 7 - 5 = 0. Let d = 5 + o. Suppose -d*j + 14 + 6 = 0. Is j prime?
False
Let k be 17/(-3) - 4/(-6). Let v = k - 52. Is (2/3)/((-1)/v) a composite number?
True
Is (444/10)/(14/35) a prime number?
False
Suppose z - 2 = 1. Suppose g = 2 - z. Is -2*g/(-2)*-7 a prime number?
True
Let h = 103 - -96. Let b = 282 - h. Is b prime?
True
Suppose 16*c - 64854 = -3718. Is c prime?
True
Let a = 406 - -75. Is a a composite number?
True
Let h be -12*(282/(-4) - -3). Suppose -6*o + o - h = 0. Let z = o + 253. Is z a composite number?
True
Suppose -9*o = -4345 - 902. Is o a prime number?
False
Suppose 0*o - 7*o + 19733 = 0. Is o composite?
False
Let r be 2/(-4) + (-10)/(-4). Suppose 0 = w - 0*j + 3*j, r*w - 5*j - 11 = 0. Suppose -185 = -w*u - 2*u. Is u prime?
True
Let f(q) = 2*q. Let n = 3 + -1. Let c be f(n). Suppose 4*s = 8 + c. Is s prime?
True
Let h be (0 - -4)*(-6)/(-12). Suppose 0 = -i + 2*l + 23, h*i - 3*l = 2*l + 47. Is i a composite number?
True
Let x(b) = -22*b - 11. Suppose f - 2 + 1 = 5*a, 0 = f - 4*a + 1. Is x(f) a prime number?
False
Suppose 5*o - 3*o + 5*z - 465 = 0, 0 = 5*o - 3*z - 1240. Suppose 0 = -3*u - 2*u + o. Is u a prime number?
False
Let g = 4922 - 2869. Is g composite?
False
Let m = -8 - -11. Let c = m - -1. Suppose -2*w = -c*n - 3*w + 136, -n + 15 = 5*w. Is n composite?
True
Let u = 277 - -522. Is u a composite number?
True
Let d(y) = -4*y**3 + 2*y**2 + 4*y + 1. Let h be d(-3). Let a = -99 + 63. Let b = h + a. Is b a prime number?
True
Let p(g) = 2*g**3. Let b be p(1). Suppose b*z - 106 = -0*z. Is z composite?
False
Let h be (-27)/(-6) - (-4)/(-8). Suppose -h*j = -j - 21. Is j prime?
True
Let g = 252 + 80. Suppose -5*n + 4*n + g = 0. Suppose -2*p = 4*s - n, -2*s - p + 3*p = -178. Is s a prime number?
False
Suppose 8 = -4*d, -2*d = 5*n - 804 - 657. Is n a prime number?
True
Let b = 1 + 0. Let q be (-3)/b + (41 - 5). Let p = q - 20. Is p prime?
True
Suppose 0 = 2*j - 3*d - 4 - 3, 0 = -j + d + 3. Let c be ((-3)/(-4))/(3/12). Is j + 88 + (-3)/c a prime number?
True
Let t(q) = 19*q - 4. Let f be t(4). Suppose 12 = 4*k - f. Is k a composite number?
True
Suppose 0 = q + 3*q - 4972. Is q prime?
False
Let o(g) = 6*g**2 + 2*g - 3. Is o(5) composite?
False
Suppose -z + 5*y - 3130 = -5*z, -5*z - 5*y = -3915. Is z prime?
False
Let m(x) = -x**3 + 2*x**2 + 5*x - 2. Let d be m(3). Suppose -2*g + 0*g = d. Let l(w) = -29*w + 1. Is l(g) a prime number?
True
Let h be (30/25)/(3/400). Let f = h + 177. Is f prime?
True
Suppose r = 4*y - 680, -5*r = -4*r + 4. Is y a composite number?
True
Let y be -66*((-51)/9 + 2). Let t = y + -129. Suppose -3*p + 142 = -t. Is p a composite number?
True
Let t = -55 + 69. Is t prime?
False
Let p(t) = t - 9. Let a(m) = m - 5. Let s(q) = -11*a(q) + 6*p(q). Let v be s(-8). Suppose -3*w - v = -188. Is w a prime number?
False
Is (-1250 + 6/6)/(-1) a composite number?
False
Let z(y) = 20*y - 20. Let w(t) = -t + 1. Let i(f) = 30*w(f) + z(f). Let h be i(-10). Suppose 0 = -n - n + h. Is n a prime number?
False
Let m(y) = -y**3 + 4*y**2 + y. Let i be m(4). Suppose 3*n + 2*n - 285 = -5*z, -i*n + 169 = 3*z. Is z a prime number?
True
Is (1955/(-4) + (-2)/8)/(-1) prime?
False
Let o = -2240 + 3177. Is o composite?
False
Suppose 0 = f + 5*k - 202, -7*f + 5*k = -4*f - 546. Is f a prime number?
False
Suppose 0*l + 184 = 4*l. Let a = 7 + l. Is a composite?
False
Let v = -4 + 4. Suppose 1 = -m - v. Is (39/(-4) + m)*-4 prime?
True
Let j = 101 + 236. Is j a prime number?
True
Let v = -190 + 108. Let n = -51 - v. Is n a prime number?
True
Let h(q) be the third derivative of -q**6/60 - q**5/12 + 5*q**3/6 + 2*q**2. Is h(-4) a prime number?
True
Suppose 0 = -2*v + 3*p + 189 + 204, 5*p = 25. Let u be 2/1*(-89)/2. Let g = u + v. Is g prime?
False
Suppose -a + 72 = 2*a. Suppose -4*x = -0*x - a. Is x prime?
False
Let