 + 57. Let x = j + -9. Is x composite?
False
Let y = 47 - 29. Let m = y + -18. Suppose 0*t - t + 257 = m. Is t composite?
False
Let f(y) = y**3 + 27*y**2 + 50*y - 1. Let j be f(-25). Suppose 3*b + 5*p = 3184, 9*p = 4*p + 25. Is b/13 - (j + -3) a prime number?
False
Is 3/(-2)*(-62970)/45 prime?
True
Let m = 5392 - 771. Is m a prime number?
True
Suppose -j - 4*n + 10 = 0, 2 = -3*j + 5*n - n. Suppose j*f = 8, -6*t = -2*t + f - 1040. Is t prime?
False
Suppose -2627 = -5*k + 3*p - 991, 2*k + 3*p = 667. Is k composite?
True
Suppose 6*b = 3*b - 30. Is b/45 - (-57475)/45 a prime number?
True
Let d be (3 - (0 - -4)) + 6. Suppose n + 266 = -d*w - 739, -w + n = 195. Let i = 411 + w. Is i prime?
True
Is (2/(-3))/(11/((-30657)/2)) a composite number?
False
Let g(a) = 3453*a**2 - 3*a + 1. Is g(-1) a composite number?
False
Suppose 85*a = 92*a - 2611. Is a composite?
False
Let t = -22 + 24. Suppose i = -2*h + t*i + 6504, 0 = i + 2. Is 26/(-117) + h/9 composite?
True
Suppose 3*j - 13043 = -0*m - 2*m, -2*j + 19567 = 3*m. Is m composite?
True
Let x = 77 + -43. Let n be x/6 - (-2)/(-3). Suppose l + 4*a = 197, n*l - l = a + 873. Is l composite?
True
Suppose 102*q - 97*q = 20. Suppose 0*t = 4*z + q*t - 168, z - 3*t = 26. Is z prime?
False
Let y(l) = -l**2 - 13*l - 15. Suppose -u - w = 9, 3*u - 4*w = 6*u + 30. Let g be (-4)/3*(-45)/u. Is y(g) prime?
False
Suppose -4*l = -5*d - 7551, -3*d = d + 12. Suppose l = -f + 5*f. Let w = -310 + f. Is w prime?
False
Suppose -7149 = -10*f + 6461. Is f a composite number?
False
Let i = -24 - -25. Is 3948/(-24)*(i + -3) prime?
False
Is -1*(-1251 + 6*3/9) prime?
True
Let c(o) = -o**3 - 13*o**2 - 11*o + 7. Let a be c(-12). Let h(m) = 20*m - 25. Let y(f) = -99*f + 126. Let r(t) = -21*h(t) - 4*y(t). Is r(a) prime?
False
Suppose -2*w + 192 = 2*w. Let y = 9 - w. Is (y/12)/(2/(-40)) a prime number?
False
Let n(y) = -44*y**3 - y**2 - 6*y - 10. Let k be n(-4). Suppose v + 7021 = 5*b + 2*v, v + k = 2*b. Is b a composite number?
True
Let d(t) be the second derivative of -7*t**3/6 - 3*t. Let r be d(1). Is (-14)/(-49) + (-2035)/r composite?
True
Let p = 814 - 360. Is p/24*3*12 a composite number?
True
Suppose 5*k - 239740 = -5*k. Is k a prime number?
False
Suppose z - 8893 = -2*t - 1165, -5*t - 4*z + 19323 = 0. Is t a composite number?
False
Let h(k) = k - 5. Suppose 0 = -n - 3*f - 3, -2*n + f = -0*f - 22. Let y be h(n). Is y/30 + (-6506)/(-30) composite?
True
Let w(j) = j**2 - 6*j - 3. Let g be w(7). Suppose 24 - 4 = g*x. Suppose -p - b = -35, 2*p - x*b - 82 = -b. Is p composite?
False
Let h(t) = -3*t**3 + t**2 + 4*t + 3. Let y = -10 - -20. Suppose -14 = 3*g + 2*a, 5*g - 3*a - y = 2*a. Is h(g) prime?
True
Let g = -53 - -24. Let j = g + 66. Is j a composite number?
False
Is 1253/42*(-60)/(-2) a composite number?
True
Let n(c) = -c**3 + 8*c + 7. Let r be n(-3). Let x = r + 29. Is x composite?
True
Let k(l) = -l**3 + 5*l**2 - 5*l. Let v be k(3). Suppose v*n + 1138 = -5*a, 5*n - 4*n = 4. Let f = a - -417. Is f a composite number?
True
Let h(p) = 2*p**2 + 5. Let r be h(4). Suppose -4*o + 27 + r = 0. Is ((-4)/(-6))/(o/1320) prime?
False
Is (15/(-6) + 3)*2122 a composite number?
False
Is 609642/54 + (-24)/9 prime?
True
Let j = 21 - 21. Suppose -8*f + 4*f = j. Suppose -5*s + 1430 + 155 = f. Is s a prime number?
True
Let t(v) = v**3 + 3*v**2 - 7*v - 6. Let d be t(-4). Suppose d = -2*l + 5*l. Suppose -l*w + 7*w = 5605. Is w composite?
True
Let p = -62 + 131. Suppose 2*q - y - 35 = p, 5*q + 2*y - 269 = 0. Is q prime?
True
Let w(l) = l - 13. Let c be w(13). Suppose -3*d + 15 = -c*d, -4*d = -2*k - 142. Let o = k + 390. Is o composite?
True
Suppose 6431 = 4*w - 7925. Is w composite?
True
Suppose -4*l = o - 47785, -l - 5*o + 23879 = l. Is l a composite number?
True
Let p = 16 + -28. Let y = 18 - p. Let d = y - -263. Is d a composite number?
False
Let l be 1/(1/(2 + 1)). Let k be 1 + (0 - l) + 117. Suppose k = 4*x - 33. Is x prime?
True
Suppose -5*v + 2*v - 135 = 0. Let s(b) = 4*b**2 - 29*b + 12. Let r be s(10). Let m = r + v. Is m a prime number?
False
Let d = 7609 + -5126. Is d prime?
False
Let m be 2/(-16) + 41/8. Suppose m*f + 1324 - 8094 = 0. Suppose 2*q = -3*x + 7*x - 1782, -3*x = -5*q - f. Is x a composite number?
False
Let y(o) = o**3 - 3*o**2 - 9*o + 9. Let a be y(6). Let s = a - -248. Is s prime?
True
Suppose 15*s - 26*s + 111221 = 0. Is s a composite number?
False
Let k be (-2 - (-2 + 1))*0. Suppose k = -2*c - 5*n + 1127 + 150, -4*n + 3150 = 5*c. Let f = c + -271. Is f prime?
False
Let h = 165 + -98. Let o = -542 + 1022. Let c = h + o. Is c composite?
False
Let i be ((-15)/(-4))/((-15)/(-40)). Let v(d) = 96*d + 1. Is v(i) prime?
False
Let x = -618 - -1280. Let q = x - 369. Is q prime?
True
Suppose 5005 = -l + 8*l. Suppose 4*q - 3*q + 4*t = 345, -2*q - 3*t = -l. Is q a prime number?
False
Suppose -117 - 38 = -5*g. Is g a prime number?
True
Let f = -15662 + 29835. Is f a composite number?
False
Let x = 68 - 114. Suppose 0 = -b + 4, -4*n + 7*n = 5*b + 376. Let w = x + n. Is w prime?
False
Let t be (6 - 1)*(-448)/(-35). Let u = 147 - t. Is u a composite number?
False
Suppose k - 2*w - 26 = w, 5*w + 24 = k. Suppose b = 158 + k. Is b a prime number?
False
Let i(m) = 34*m**2 - 9*m - 1. Let r be i(9). Let t = r - 1461. Suppose -t = -2*g + g. Is g composite?
True
Suppose 3*o - 5 = -4*t + 2, 0 = -4*o + 5*t + 30. Let r = o + -7. Is 13 + 6*r/4 a composite number?
True
Suppose -7*j + 14 + 7 = 0. Suppose 915 = j*f + 2*f. Is f composite?
True
Is 99437/15 - (-138)/(-1035) prime?
False
Let o be (0/(-4 - -6))/2. Suppose r - 2 - 1 = o. Suppose -5*k + 1925 = 3*g - 0*k, 0 = 5*g - r*k - 3163. Is g composite?
True
Let i = 3 + -3. Let f be 191 + (0 - i)*1. Suppose 2*v - f = -y, 5*v - 3*y = y + 458. Is v a composite number?
True
Suppose j - 2718 = -917. Is j a composite number?
False
Suppose -2256 - 242 = -2*h. Is h a prime number?
True
Suppose -11*z + 10*z - 54033 = -y, 3*y - 2*z - 162103 = 0. Is y a composite number?
False
Suppose -3*b + 4*o + 65 = 0, -b - 2*o = -4*o - 21. Let p(q) = 63*q + 11. Let c be p(10). Suppose b = 4*n - c. Is n prime?
False
Let t = -6463 - -10544. Let p = t - 2150. Is p a prime number?
True
Suppose 7*r - 5885 = 11412. Is r composite?
True
Let k = 19 + -17. Let a(p) = -3 - 136*p + 90*p - k. Is a(-4) composite?
False
Let y be ((-3)/(-2))/((-21)/(-56)). Suppose 0*b + 24 = -y*b. Is 62 - 9/b*-2 composite?
False
Suppose 4*l - 4 = -3*o, -6 - 2 = 4*l. Let v be 2/(-11) + (-245)/(-77). Suppose -o*p - 4*h + 5295 = p, -5*h + 3190 = v*p. Is p a composite number?
True
Let k(d) = -d**2 + 14*d + 10. Let a be k(15). Let x be a/(-2)*8/10. Suppose 0 = 2*u + x*u - 1892. Is u prime?
False
Let y(j) = -402*j + 3672*j**2 + 402*j - 1. Is y(-1) a prime number?
True
Let l = -532 - -801. Suppose y - 232 = 5*f + 37, -y + l = f. Is y prime?
True
Let q = -1206 - -4139. Is q prime?
False
Is 3/42 - 38834/(-28) a composite number?
True
Let o = 5440 - 3359. Is o a composite number?
False
Let o(n) = -110*n + 39. Is o(-11) composite?
False
Let v(r) = -r**3 - 6*r**2 - 5*r + 3. Let p be -1*12/(-4) - 8. Let g be v(p). Suppose -2*k - 6*c + 3*c + 16 = 0, 0 = 5*k + g*c - 49. Is k prime?
True
Suppose -4*f + 0*f + 3372 = 0. Is f prime?
False
Let v(y) = y**3 + 3*y**2 + 15*y + 27. Let j be v(-7). Let h = j + 477. Is h a prime number?
False
Let c be ((-1626)/8)/(9/(-24)). Let w = c - 211. Suppose s - 495 = -3*v + 4*s, -2*v + s = -w. Is v a composite number?
True
Let a(j) = j**2 - 1. Let r(y) = -y**3 + 15*y**2 - y + 9. Let z(d) = -3*a(d) + r(d). Let o be z(12). Suppose 8*h - 4*h - 356 = o. Is h a prime number?
True
Suppose 0 = 2*n + 3*n + o - 18, -3*o - 14 = -2*n. Let u be (10/n)/((-10)/(-8)). Is (-409)/(-1 - 0) - u a prime number?
False
Let d(g) = -g**3 - g**2 + 3*g + 8. Let u be d(4). Let j = 5 - u. Is j a prime number?
False
Let w(x) be the second derivative of x**3/6 + 7*x**2/2 + 5*x. Let f be w(-9). Let c(h) = -10*h**3 + 3*h**2 + h + 1. Is c(f) composite?
True
Let r(k) = -224*k**2 + 2*k - 1. Suppose 2*h = 6*h - 8. Let t(g) = -896*g**2 + 8*g - 4. Let y(b) = h*t(b) - 9*r(b). Is y(1) a composite number?
False
Let c = 33 - 51. Let i = -15 - c. Let u = 130 - i. Is u a prime number?
True
Let s(m) = -m**3 + 84*m**2 - 44*m + 103. Is s(82) a prime number?
False
Let f = 17 + -15. Suppose 3*o 