-4*l = -0*h - 2*h + 24. Suppose -4*t - h = -2*z, 5*z - g*t + 7*t - 47 = 0. Is z prime?
True
Is ((-2)/(-4))/((-4)/(-632)) a prime number?
True
Let k(q) = -58*q + 4. Let s be k(-5). Suppose -s = -5*z + 316. Suppose -4*t + z = -2. Is t prime?
True
Let v be (14/4)/((-1)/2). Let r be (1 + v)*(-56)/16. Suppose -3*x + 118 = 5*p, x - r = -p + 3*p. Is x composite?
False
Suppose -2*f + 5*q - 225 = -1550, 5*q = -2*f + 1295. Is f composite?
True
Suppose 475 = 4*v - 3*c, 0 = -3*v - 5*c + 410 - 61. Is v prime?
False
Let b(g) = -9*g - 8. Is b(-3) composite?
False
Let u = 23 + 221. Suppose 5*b - 365 = -4*o, -4*o + 2*b + 142 = -u. Is o a composite number?
True
Suppose -2*x - 3*g = -7, -2*x - 2*x = 2*g - 26. Let c = x - 6. Suppose 0 = -y - o - c*o + 27, -33 = -3*y + 3*o. Is y prime?
False
Let f = -5 + 3. Let y be 1 + 2 + f/2. Suppose 0 = -y*n + 13 + 7. Is n a composite number?
True
Suppose 0*q - q - 5*g = 3, 2*g - 30 = -3*q. Suppose 4 = i + q. Is (-35)/(-2)*i/(-4) prime?
False
Let m(g) = g**3 - 7*g**2 - g + 10. Let q be m(7). Suppose -q*r = 3*u + 12, -3*r - 15 = 4*u - 3. Suppose -2*y + 4*y - 102 = u. Is y a composite number?
True
Let j = 469 - 152. Is j a composite number?
False
Suppose j + 2333 = 2*j. Is j a prime number?
True
Suppose 5*i + 18 + 12 = 0. Let q = i - -39. Is q a prime number?
False
Let b = 306 - 95. Is b composite?
False
Let n(p) = -60*p**3 - 2*p**2 - p. Is n(-1) composite?
False
Let u be (-5 - -4)*3/(-1). Let p(z) = 17*z + 4. Is p(u) prime?
False
Suppose -2*x + 5*x + 2*g - 10454 = 0, 4*x - 13977 = 5*g. Suppose s + 7 = 3, 5*s = -4*y + x. Is y a prime number?
True
Let p = 61 - 161. Let u = 179 + p. Is u a prime number?
True
Let c(p) = 434*p**3 + 2*p - 1. Let b be c(1). Is (b/(-6))/(-5)*6 composite?
True
Let x(s) = 27*s. Let q be x(2). Is ((-4)/12)/((-2)/q) prime?
False
Let u = 15 + -10. Let l = 8 + -2. Let z = l + u. Is z a composite number?
False
Let m be (1*-2)/((-2)/194). Suppose 0*k + m = k. Suppose r = 3*r - k. Is r prime?
True
Suppose 5198 = 2*h - 1268. Is h composite?
True
Suppose 0 = -4*z - 4*r + 13 + 759, 2*z = 2*r + 390. Is z a prime number?
False
Let c = 482 + -281. Is c a prime number?
False
Suppose 0 = -9*k + 14*k - 7735. Suppose -2*x = -5*x + 5*f + k, -2*f + 2080 = 4*x. Is x composite?
True
Suppose -4*q = -3*r - 17, 4*r - 4 = -0*r. Suppose 4*j = -2*v + q*j + 95, -195 = -4*v + j. Let o = v + -29. Is o a composite number?
True
Let v be 12/28 - (-18)/7. Suppose v*n + 3*s - 753 = 0, 259 = n - 0*n - 3*s. Is n prime?
False
Let y = -139 + 218. Is y composite?
False
Suppose -32165 = 338*l - 343*l. Is l composite?
True
Suppose 0 = 2*v - 3*u + 3, 2*v + u = 3*v. Is v/(-9) - (-508)/3 a prime number?
False
Let u be (-3)/((-9)/6) + -2. Suppose -2*d = -u - 2. Is 76/8*2/d prime?
True
Suppose 1027 - 263 = 4*j. Is j prime?
True
Suppose 0 = -2*a + 36 - 10. Is 847/a - 12/78 a composite number?
True
Suppose 4*s = -4*h + 164, -5*s + 3*h + 19 = -178. Let b = s + -9. Is b prime?
True
Let p(t) = -t**3 - 2*t - 5. Suppose x - 4*b + 12 = -x, 2*b = 3*x - 2. Let d be p(x). Let u = 108 + d. Is u a composite number?
False
Suppose -489 = -5*o + 2*r - 0*r, -493 = -5*o + 4*r. Is o prime?
True
Let r(p) = 2*p + 16. Let a be r(11). Suppose -3*l + 113 = a. Suppose -4*t - l = -5*v + 4*v, 0 = -v + 2*t + 23. Is v a prime number?
False
Suppose -5*x - 2 = -6*x. Suppose -m + x*m - 22 = 0. Suppose -m = 2*o - 64. Is o a composite number?
True
Let o(z) = -70*z - 81. Is o(-19) a prime number?
True
Suppose 2*r + 3 - 1 = 0. Is 290 - (3/r - -6) composite?
True
Let x(t) = 23*t**2 + t - 1. Let o be x(1). Let a = o - -104. Is a a prime number?
True
Let l = -4 - -4. Let v(t) = -t**2 + t + 2. Let a be v(l). Suppose 0 = 2*u + o - 53, -4*o = 2*u + a*u - 112. Is u a composite number?
True
Suppose -t - 3*i - 550 = -2*t, 548 = t - 5*i. Is t prime?
False
Let s(l) = 4*l**3 + 2*l**2 - 10*l - 11. Is s(12) a composite number?
False
Let r(w) be the third derivative of -w**5/60 - 7*w**4/24 + 11*w**3/6 + 3*w**2. Let g be r(-8). Suppose -2*s = g*s - 125. Is s a prime number?
False
Let b be (-2)/4 + 20/8. Let r = -1 + 148. Suppose k = b*k + i - r, 5*k = 3*i + 703. Is k composite?
True
Let i(c) = c**2 - 3*c - 4. Let g be i(4). Suppose 0 = -n - 2*x + 96, 5*x - 2*x - 15 = g. Is n a prime number?
False
Let c(b) = -19*b + 23*b + 187*b. Let s be c(3). Suppose -5*f - 6*r + s = -2*r, -2*r + 343 = 3*f. Is f a composite number?
False
Let z = 209 - 91. Is z prime?
False
Let r(a) = 120*a**3 + a**2 + a - 1. Is r(1) prime?
False
Let m(i) = -i**2 + 11*i + 3. Let b be m(11). Let g = 7 - b. Suppose -g*j = -p - 1 - 57, -2*j - 3*p = -36. Is j prime?
False
Suppose -2*s + 1002 = 112. Is s composite?
True
Let b = 471 + 2746. Is b a composite number?
False
Let d(l) = 4*l**3 + 11 - 3*l**3 + 2*l**3 + 8*l**2 - 4*l**3. Is d(8) a composite number?
False
Let s = 12 + 9. Is (-15)/(-35) + 390/s composite?
False
Suppose 2*a + 4 = -3*p + 7, -4*p = a - 4. Suppose -39 = -2*w - p. Is w composite?
False
Let a be (-1095)/10*(-10)/3. Suppose 3*b - 15 = 0, -4*b - a = -2*i - 3*i. Is i a prime number?
False
Let q(r) = -13*r**2 + 36*r. Let w(g) = 7*g**2 - 18*g. Let z(f) = -6*q(f) - 11*w(f). Is z(19) a composite number?
False
Suppose -4*b + 0 = 8. Let q(i) = -98*i. Let o be q(b). Suppose o = 4*w - 4*z, -6*w - z = -2*w - 196. Is w a prime number?
False
Let i(w) be the third derivative of 5*w**5/2 - w**4/12 + w**3/6 - 5*w**2. Is i(1) prime?
True
Is (-4)/14 - 1/(42/(-37266)) a prime number?
True
Let f be (27/2)/((-4)/32). Let n = -73 - f. Is n composite?
True
Let j be (-5)/((-10)/(-3))*2. Let z be (-12)/(-8)*(-16)/j. Let b = z + 5. Is b prime?
True
Let u be 13 + (-3 + 2)*-2. Suppose -4*v = u - 499. Is v a composite number?
True
Suppose 2*q - 2*c - 1570 = 0, 4*q + 2*c = q + 2345. Let m = q - 386. Is m a composite number?
False
Let n(g) = -g**3 + 4*g**2 - 2*g + 2. Let t be n(5). Let r = t - -59. Is r prime?
False
Let l = -9 + -22. Let v = 52 + l. Is v prime?
False
Let o = 1728 + -517. Is o a composite number?
True
Let n = -4 + 1. Is 40 + (3 - 2)*n prime?
True
Suppose 0 = 4*v - 3*v. Suppose 2*x + v*x = 326. Is x composite?
False
Let v = -4 + 6. Suppose -v*q = -4*q + 170. Is q a prime number?
False
Suppose -2*y + 10 = -0*y. Suppose -1 + 35 = 2*m - 4*c, -y*c = 0. Suppose m = o - 36. Is o a prime number?
True
Suppose -6*t + 2*t + k = -20, 2*t - k = 12. Suppose -p - t = -2*p. Is 57/p - (-2)/(-8) a composite number?
True
Let g(c) = -5*c**2 - 31*c - 11. Let b(l) = l**2 + 6*l + 2. Let f(r) = 11*b(r) + 2*g(r). Let i be f(-5). Suppose 0 = -i*z + 60 + 205. Is z a composite number?
False
Let s(j) = -6*j**3 - 4*j**2 - 17*j + 3. Is s(-6) a prime number?
False
Let n be -1 + (-1 - 1 - -18). Is ((-298)/(-3))/(10/n) a prime number?
True
Suppose 3*q = -15, f - 237 - 615 = -5*q. Is f a composite number?
False
Suppose o = -5*x + 171, -2*o + 7*o - x = 959. Is o a prime number?
True
Let j(v) = 9*v**3 - v - 1. Let p be j(-1). Is (-2)/9 + (-4223)/p a prime number?
False
Let b(x) = 5*x**2 - 5*x + 3. Is b(3) composite?
True
Suppose u - 103 = -5*z + 3*z, 3*z = 4*u + 149. Is z a composite number?
True
Let o(w) = -15*w + 6. Suppose 0*k = -4*k - 12. Is o(k) a prime number?
False
Let p(i) be the third derivative of i**6/120 + i**5/10 - 7*i**4/24 - 5*i**3/6 - 4*i**2. Let c(w) = w**2 + w - 5. Let u be c(0). Is p(u) a composite number?
True
Let p be (8/(-10))/(5/(-25)). Suppose -16 = -p*y, 5*y = -9*j + 4*j + 570. Suppose 0 = 5*u - 10*u + j. Is u prime?
False
Suppose v = -2*v + 27. Let i = v - -46. Is i prime?
False
Let p = 18 - 13. Suppose -p*n + n + 8 = 0. Is n*-1 + (-162)/(-2) a composite number?
False
Let h be (-638)/(-14) + 30/70. Suppose 3*u = -a - 20, 4*u = -4*a - 14 - 34. Let x = a + h. Is x a composite number?
True
Let g(n) = -n**3 - 6*n**2 - 5*n + 5. Let v(t) = -5*t + 3. Let r be v(2). Is g(r) a prime number?
True
Let b(s) = s - 1. Let k be b(1). Let g be k + -1*4/(-1). Suppose 26 + 2 = g*o. Is o a prime number?
True
Let w(q) = 105*q + 11. Is w(3) a composite number?
True
Let j = 534 - 328. Is j a prime number?
False
Suppose 500 = 4*x - 2*l, 492 = -0*x + 4*x - 4*l. Is x a composite number?
False
Suppose -7*i + i + 918 = 0. Suppose -298 - i = -4*j - 3*q, 4*j - 472 = 4*q. Is j prime?
False
Suppose 5*x - 3*c + 360 = 0, 4*x + 215 + 86 = 5*c. Let t = x + 30. Let m = 76 + t. Is