**c + 0*b. Is t(-4) a composite number?
True
Let h be (-198)/55*-1*10/4. Suppose 89 + 1377 = c. Suppose 7*v = h*v - c. Is v prime?
True
Is 249058*(10*13/52 + -2) prime?
True
Let o = -25 + 35. Suppose -o*r + 16 = -44. Let x(z) = 123*z - 53. Is x(r) a prime number?
False
Let k(v) = 62*v + 19. Let w = -11 - -15. Suppose w*r + 0*f + 2*f - 22 = 0, 3*r = 4*f. Is k(r) a prime number?
False
Let t(d) = -2500*d - 3555. Is t(-23) prime?
False
Let k = -186738 - -369773. Is k prime?
False
Let a be (-14242)/(-14) + (-8)/28. Suppose -2*d - 177 = y - 720, -3*d = 3*y - 1641. Let c = a - y. Is c prime?
False
Suppose 76*r - 73*r - 37013 = 5*l, -5*l = -r + 12321. Is r a composite number?
True
Suppose -5*g - 1325301 = -0*s - 3*s, 0 = 4*g + 24. Is s a prime number?
False
Let c be (2 + -7)*(-1)/(-1). Let n(w) = -5*w + 21*w**2 + 14 + 17 - 3 + 6*w + 3. Is n(c) prime?
False
Let m(i) be the second derivative of 33*i**5/20 + 17*i**4/12 - 13*i**3/6 + 11*i. Let v be m(11). Is 2/8 - v/(-44) a prime number?
False
Suppose -2*v - 5*a = -6*a - 3, 3*v = -4*a - 12. Suppose 4*k + 4*p - 17448 = v, -5*k - 21845 = -10*k + 2*p. Is k a prime number?
False
Let t = 265942 + 143139. Is t a prime number?
True
Let f(t) = 11*t**2 - 6*t + 7. Let p be f(5). Let j be (13580/40)/(2/4). Let g = j - p. Is g composite?
True
Suppose -m = -6*m + 15. Suppose -4*v + 91 = -m*v. Is v/21*282/2 a composite number?
True
Let v(m) = 193*m - 216. Let c be v(34). Let w = c + -2585. Is w prime?
True
Let a be 10/(-50)*0 + (0 - 4). Is (2/a)/((-21777)/2722 - -8) a composite number?
False
Suppose -4*r - 316 + 104 = -4*m, 3*m + 2*r = 169. Suppose -38116 = m*i - 59*i. Suppose -18*a + 5*a + i = 0. Is a a composite number?
False
Suppose -f = -11*f + 20. Suppose -1241 = -f*l - 0*l - 3*s, s = 3*l - 1834. Is l a composite number?
False
Is (-2)/(-4) + (-2481732)/(-72) a composite number?
False
Let u(s) = s**3 - 21*s**2 + 12*s - 97. Let m be u(21). Let p = m + 224. Is p a composite number?
False
Suppose 69*h - 8660491 - 3057020 = 0. Is h a prime number?
False
Suppose -352*n = -305*n - 1534973. Is n a composite number?
True
Let y(h) = -7*h**2 - 41*h - 48. Let p(d) = 3*d**2 + 20*d + 24. Let l(g) = -5*p(g) - 2*y(g). Let j be l(-17). Let a(w) = -71*w - 24. Is a(j) prime?
False
Suppose 0*a - 5*m - 5 = -5*a, -25 = 3*a + 4*m. Let w(j) = -3*j - 7. Let o be w(a). Suppose 2*f = o*h + 2434, -4*f - 5*h + 4489 = -379. Is f composite?
False
Let b be (4/12 - 0)/(2/78). Suppose 8*u + 38585 = b*u. Is u a composite number?
False
Suppose -t + 14 = -35. Suppose -6*c + 167 = -t. Suppose -2*v = -c + 16. Is v composite?
True
Suppose n - 2*l + 8 = 0, 2*l = 3*l - 4. Suppose 23*k + 15*k - 26942 = n. Is k prime?
True
Let y = 44466 - 31485. Is y prime?
False
Suppose -4*o - 46 = 2*c - 20, -4*c + 44 = -4*o. Is (-5 - -1) + o/(24/(-22599)) a composite number?
False
Let t = -140686 + 452637. Is t a composite number?
False
Suppose 109*w + 129*w = 3*w + 262826585. Is w composite?
True
Suppose -5*i = 2*r - 512363, 0 = 2*i - 4*i - 3*r + 204954. Is i composite?
True
Suppose 19*u - 158649 - 57020 = 0. Is u a prime number?
True
Let h = -292100 - -423243. Is h composite?
False
Let c be 32/20*104*(53 + -3). Suppose -c + 3193 = -3*w. Is w composite?
False
Let t(c) = -5*c - 3147. Let m(u) = 12*u + 6292. Let w(b) = -2*m(b) - 5*t(b). Is w(0) composite?
True
Suppose 0 = -5*s + 25, 3*i - 3*s = -2*s + 31051. Suppose 0*f + i = 5*f - 3*y, 5*y - 10360 = -5*f. Is f a composite number?
True
Suppose 0*z = -4*z + 3468. Suppose -22*b - 8148 + 37144 = 0. Let m = b - z. Is m prime?
False
Let b = 23 + 349. Is 248/6*62217/b a composite number?
True
Let q(y) = -2*y**3 - 44*y**2 - 11*y - 59. Let i be q(-22). Suppose -178*w - 55565 = -i*w. Is w prime?
True
Let q = 125 + -115. Let i(w) = w**3 - 3*w**2 + 7*w - 1. Let o be i(5). Let r = o - q. Is r composite?
True
Suppose 0 = 22*l - 52051 - 38259. Let q = l + -2862. Is q composite?
True
Suppose -4 = -4*w - 2*t + 3*t, 0 = -2*t. Is w*92*2/8 composite?
False
Let r(p) = -3 - 97*p + 63 + 7 + 33. Is r(-13) a prime number?
True
Suppose 9*b - 3*b = 222. Suppose 2*z - b = -5. Suppose z*w = 23*w - 11977. Is w composite?
True
Let q be ((-6)/4)/(5/10). Is ((-2129)/q)/(100/(-15) + 7) prime?
True
Suppose 4*l - 4*x - 166886 - 311182 = 0, 4*x - 239010 = -2*l. Is l prime?
True
Let i(v) = -112*v**2 - 2*v - 1. Let n(f) = -113*f**2 - 3*f - 2. Let q(z) = -4*i(z) + 3*n(z). Let d(p) = -p + 11. Let l be d(10). Is q(l) a prime number?
False
Let b(d) = -d**3 + 17*d**2 + 18*d + 3. Let a be b(18). Let q be (-45)/(-3) + -3 - a. Suppose -q*v = 6*v - 5835. Is v prime?
True
Suppose 1153*h + 193791 = 1192*h. Is h prime?
True
Let z = -87 + 29494. Is z prime?
False
Let k = -332474 - -787147. Is k a prime number?
True
Is -5 - (40003/(-5) + 1)/((-199)/(-995)) prime?
False
Let x(p) = -2*p**3 - p**2 + 7*p - 2. Let c(a) = -a**2 + 3*a + 12. Let i be c(5). Let z be x(i). Is (z/20)/(3 - (-88868)/(-29620)) a composite number?
False
Let u(r) = -266*r - 11. Let g be 2/9 - (-1202)/18. Let t = -69 + g. Is u(t) a composite number?
False
Let t be (1 + 1/(-4))/(11/704). Let a = -6 + t. Is (a/(-12))/((-1)/58) prime?
False
Suppose 6*t + 6 = 4*t. Let k be ((-308)/t)/((-17)/51). Is 5622/(-8)*k/33 prime?
False
Let x = -1126 - -2312. Suppose 4*n - 154 = 4*c - x, -5*c - 2*n = -1304. Suppose -2*m + c = -6. Is m prime?
False
Let r(y) = 7*y**2 - 30*y + 6. Let h(a) = -a + 1. Let d(n) = 6*h(n) + r(n). Is d(-19) a composite number?
True
Let p = 4415 + 1650. Is p prime?
False
Let m = -206 + 210. Suppose -u = 4*u. Suppose 5*k - 3*c - 20 = u, k + 2*c = m + 13. Is k a composite number?
False
Let w = 189 + -211. Is (48690/12)/(-5)*w/3 prime?
False
Suppose 0 = 3*y + 6, 7*y + 29 = -5*f + 10*f. Suppose -2*r = -f*q + 3*r + 61952, 0 = 5*q + 5*r - 103240. Is q a composite number?
True
Let h be ((-6)/24)/(3 + 37/(-12)). Suppose -4*n + 10 = n. Suppose -2*v + 3*u = -2506, -n*v + h*u = 5*u - 2526. Is v prime?
True
Suppose 2*m = 4*m + h - 120, 0 = 3*h + 12. Let k = -57 + m. Suppose k*z = 11*z - 15654. Is z a composite number?
False
Let q be (-1)/8 + (-11 - (-113)/8). Suppose -4*n = -q*n - b - 10993, -54965 = -5*n - 4*b. Is n prime?
True
Suppose -3*f + 8349 = -2*u, 643*f + 11165 = 647*f + u. Is f prime?
True
Suppose t + 4*c = 23941, -4*t + 3*t + c + 23971 = 0. Is t prime?
False
Suppose 5*c + 724 = m - 464, 4*c + 6045 = 5*m. Suppose 3*u - m = 8369. Is u prime?
False
Let c(d) = d**2 - 5*d + 1. Let y be c(5). Let x(j) be the first derivative of 863*j**3/3 - j**2/2 + j - 62. Is x(y) prime?
True
Let r(g) = 9*g**2 - 10*g - 5. Let o be (6/27*-12)/((-2)/(-3)). Let v(u) = 8*u**2 - 9*u - 6. Let c(l) = o*v(l) + 5*r(l). Is c(-4) a composite number?
False
Suppose 3*g - 199996 = -2*c + 99778, 4*g = 2*c - 299802. Is c a composite number?
False
Let n be 15/5 - (1 - 4)*-1. Suppose -d - p - 2*p + 15 = 0, 3*d + 3*p - 33 = n. Is -1 + 0 - d*-58 composite?
False
Suppose 2*w + t - 18 = 27, -4*w = -4*t - 60. Suppose w*o - 21*o = -g - 268, -o = -2*g - 273. Is o a prime number?
True
Let p = 85 - 80. Suppose -d - 3*q - 6851 = -p*d, 5*q - 3393 = -2*d. Is d composite?
False
Let s = 35366 + 172557. Is s a prime number?
True
Let u be 2/6 + (-49)/147. Suppose -16*y + 2*y + 1946 = u. Is y composite?
False
Suppose 3*q + 9791 = h, 3*q - 4 - 11 = 0. Suppose 4*n - h + 2358 = 0. Let s = n - 288. Is s a composite number?
True
Is 11 + (214956/3)/1 a composite number?
False
Suppose 7*g - 131 = 37. Suppose 4*o - 227444 = -g*o. Is o prime?
True
Let k = 18678 - -243781. Is k prime?
True
Let u = -95086 - -308907. Is u composite?
False
Suppose 76*m = 73*m + 65652. Is 5 + (m/9 - (-8)/18) prime?
True
Let u(c) = -715976*c**3 - 4*c**2 - c + 6. Is u(-1) a composite number?
True
Let w = -526 - -1766. Suppose -w*y = -1234*y - 20226. Is y a prime number?
True
Suppose 4*v - s - 3 = 0, -5*v - s = -8 - 7. Suppose y = 3*c + 1255 + 1245, -v*y = 2*c - 4976. Is y prime?
False
Suppose -20*a + 190205 = 17745. Is a a composite number?
False
Let j be 10/(-4) - (-7146)/36. Let t = 490 - 59. Suppose 3*c - j - t = 0. Is c prime?
False
Let g(b) = -b**3 - 24*b**2 + 61*b + 61. Let r be g(-26). Suppose -3*o - 2*x + 128 = -2*o, 3*o + 3*x = 384. Let t = o - r. Is t a prime number?
False
Suppose 9*p + 5*n = 11*p - 29816, -4*p = 2*n - 59704. Is p a prime number?
True
Suppose b - 4*m = 5093