pose 7*l = -f*l + q. Is l prime?
False
Suppose -2*z - 7 = 1, 4*z + 36 = 4*r. Suppose 5*c - 10 = 0, 0 = -5*q + 5*c + 5 + r. Suppose 0*l + 4*d = -2*l + 410, -q*d + 619 = 3*l. Is l composite?
True
Let h = 7113 + -4934. Is h a prime number?
True
Suppose -39*r = -183*r - 96*r + 86947440. Is r a prime number?
True
Let c be 74/7 - 4 - (-18)/42. Suppose c*v = 11793 + 3922. Is v a composite number?
True
Let z(r) = 15293*r**2 - 56*r - 241. Is z(10) prime?
False
Let i be (-3)/((-9)/2)*18*1. Let f be (8/i)/((-6)/(-9)) - -5. Suppose -4*k = p - 137, 0 = -4*p + f - 18. Is k prime?
False
Let n be 245/98*(-332)/(-10). Suppose 62*s - n*s = -13209. Is s composite?
True
Let n = -119 - -161. Suppose 0 = -n*k + 48*k - 12762. Is k prime?
False
Let v(r) = r**3 - 16*r**2 - 18*r - 29. Let m be v(17). Let i be 8/6 - (-388)/(-24)*m. Let k = i + -438. Is k prime?
True
Let n(l) be the first derivative of 53*l**4/12 - 11*l**3/3 - 13*l**2/2 + 18*l - 14. Let k(u) be the first derivative of n(u). Is k(-10) composite?
False
Let a = -45440 - -89661. Is a a prime number?
True
Suppose 3*b - 5*b = -3*m + 7, 2*b - 13 = -m. Suppose -m*a + 3*k = -46, a - 24 = -2*a + 3*k. Let q(c) = 80*c - 17. Is q(a) prime?
True
Suppose -992214 - 655531 = -55*f. Is f a prime number?
True
Let w(y) = -13*y + 28. Let n(s) = 19*s - 42. Let d(z) = -5*n(z) - 7*w(z). Let f be d(-11). Suppose 53 = 3*x - f. Is x a prime number?
True
Let d = -6875 + 27748. Is d a composite number?
False
Suppose 4*d - 24 = -4*b, 3 = 5*b + d - 15. Suppose -120 = 114*v - 138*v. Suppose 3*h - v*h = 0, b*h = -3*f + 261. Is f a prime number?
False
Let s(f) = 72*f - 356. Let p be s(9). Let k = 81 + p. Is k a prime number?
True
Suppose -2*s - 2*k = -108152, -8*s + 12*s - 2*k - 216346 = 0. Is s composite?
False
Let h = 655 + -650. Suppose 5*s - 35163 = -2*x, h*s - 24694 - 10453 = 2*x. Is s a prime number?
False
Let r(b) = b**2 - 20*b + 35. Let f be r(18). Let t(s) = -367*s + 4. Is t(f) composite?
True
Suppose 0 = -35*p + 36*p + 4*r - 43927, 5*p - r - 219572 = 0. Is p a composite number?
True
Let o be (2 + -1)*913 + -3. Is 13/(o/30) + (-40646)/(-7) a composite number?
False
Suppose -161*n + 166*n + 2*p - 862547 = 0, 3*n = -2*p + 517533. Is n prime?
True
Let l be (41 - 8/4) + (-3 - 0). Let i be (-2)/(-9) + (-8)/l. Suppose i = 41*v - 42*v + 353. Is v prime?
True
Let k be -4*(-1 + (-920)/(-16)). Suppose 3*z + 4*i = 1, -z - 4*i = -8*i + 5. Is (z/2)/((-3)/(-18)) - k a prime number?
True
Suppose -3*l = 35 - 8. Is 60/36 + (-34068)/l a prime number?
False
Let p(o) = -o**2 + 7*o - 7. Let z be p(4). Suppose -2479 - 2010 = 5*m - a, -z*m + 5*a - 4505 = 0. Let s = -360 - m. Is s composite?
True
Let m(i) = 13551*i**2 + 37*i - 135. Is m(4) a composite number?
False
Suppose 4*w + 994231 = 8*i - 3*i, 12*i = 3*w + 2386194. Is i composite?
False
Suppose -359 = 4*g - 5567. Let z = g - -4199. Is z a composite number?
False
Suppose -5*a + 5*s + 4220 = s, a - 4*s - 844 = 0. Suppose 17*u = 18*u + 5*w - 9, -2*w = -3*u + 10. Suppose -2*g = u*y - 862, g + g - a = 5*y. Is g prime?
False
Let m be 14601*8/18 - (-12)/(-9). Suppose -1094 = 6*p - m. Is p a composite number?
True
Let u(b) = -297*b - 21. Let v(d) = 4*d - 24. Let f be v(5). Is u(f) a prime number?
False
Let m = 3002 + -917. Suppose 2*n = -271 + m. Is n a composite number?
False
Suppose 0 = -37*v - 77471 + 635172. Is v a composite number?
False
Suppose 62*g = 35*g + 270. Suppose -83315 = -g*l + 5*l. Is l a composite number?
True
Let q be 4 - (0/(-1))/(-12 + 13). Is -1 - (q + -2163 + -3) a prime number?
True
Let c(d) = 140*d**2 + 2*d + 151. Is c(-7) composite?
False
Let t be -3 + -832 + (-4)/1. Let o = 1243 + t. Is 2 + -4 + 1 + o a composite number?
True
Let t(f) = 12 - f**2 - 10*f - 23 + 1 + 0*f**2. Let w be t(-9). Let l(i) = -308*i - 1. Is l(w) a prime number?
True
Let r be 448/12 + (-2)/(-3). Let t = -38 + r. Is t + (-2 - (2 - 86 - 3)) prime?
False
Let k(t) = 6*t**3 - 4*t**2 + 4*t - 3. Let d be (-4)/(((-8)/3)/4). Suppose 0 = 4*p - p - d. Is k(p) a prime number?
True
Suppose 4735092 + 2816131 = -974*w + 1003*w. Is w a composite number?
False
Suppose 9*m = 4*m + 25. Suppose 4*r + r - 530 = -m*l, 4*r - 410 = 3*l. Let b = r - 51. Is b prime?
True
Suppose 0 = 5*a + 57 + 13. Let q(x) = x**3 + 15*x**2 + 16*x + 32. Let b be q(a). Is -4 + (b - -11*83) prime?
False
Let a be (17 + 0)/((-12)/(-24)). Let d(j) = 2*j**2 + 6*j + 75. Is d(a) composite?
False
Let m(o) = 7*o**2 + 46*o + 15. Let h be m(-6). Is 2617 + 11 + h/(-5 + 2) prime?
False
Suppose 289*j - 295*j + 38658 = 0. Is j prime?
False
Let f be (5 - -3)/(-2 - -4). Suppose 6*k - 4*k = 5*x - 275, f*k + 544 = 4*x. Is k/90 - (0 - (-334)/(-4)) composite?
True
Let g = -6610 + 12581. Is g composite?
True
Let d = -85 - -80. Let z(x) = -x**3 - 11*x**2 + x + 21. Let q(m) = -2*m**3 - 21*m**2 + m + 43. Let g(p) = d*z(p) + 3*q(p). Is g(-11) a composite number?
False
Let u(x) = x**3 + 35*x**2 + 66*x + 8. Let v be u(-33). Suppose -3*h + 2681 = -7*q + v*q, 4*q + 5*h = 10696. Is q composite?
True
Suppose 9*v - 12 = 7*v. Suppose 2370 = 5*r - 5*z, v*r + 3*z - 923 = 4*r. Is r a prime number?
False
Suppose -4*a + 472819 = 3*c, 27673 + 129952 = c + 4*a. Is c composite?
True
Let r be 36/2*7/21. Suppose 4*j - 2*a - 17156 = 5870, 5*a + 28770 = 5*j. Suppose -r*q = -20203 - j. Is q a composite number?
False
Let n = 683 - 1312. Suppose -4*d - 2*h + 9072 = 0, 5*d + 3*h = 3*d + 4536. Let j = d + n. Is j a prime number?
False
Suppose 2*d - 48 = -2*d. Suppose -2*l - 2*l + d = 0. Suppose -u = -l, -3*g + u = -0*g - 282. Is g composite?
True
Suppose 5*h - 644089 = 4*z, -83069 + 469490 = 3*h + 3*z. Is h a prime number?
True
Let i = -180 - -105. Let f = -75 - i. Suppose 0 = -5*v - 5*h + 5275, 5283 = 5*v + 3*h - f*h. Is v composite?
True
Let k = 233954 + 84955. Is k prime?
False
Suppose -7 = -k + 89. Let o = k + 733. Suppose 3*h + 4*t - 1282 = o, 3*h - 2095 = 4*t. Is h composite?
False
Let s(z) = -8*z - 326. Let u be s(-40). Is (-20730)/u + (-6)/(-3) a composite number?
False
Suppose 11*f = -0*f + 10901. Let p = f - 489. Is p a composite number?
True
Suppose -4*c - 99 + 91 = 0. Is c/((-8)/23)*148 prime?
False
Let h = 137 + -135. Suppose 16*y - h*y = 47446. Is y a prime number?
True
Let y(g) = 178*g**3 + g**2 - 2*g + 2. Let a(o) = 2*o + 22. Let c be a(-8). Let w = 7 - c. Is y(w) a composite number?
False
Let w(f) = f**2 + 37. Let z(r) = r**2 - r + 74. Let h(p) = -5*w(p) + 3*z(p). Let x be h(0). Let t = x - -16. Is t prime?
True
Suppose 3*f + 73 = 5*n, -2*n - f = -7 - 20. Suppose -11*d - 2031 = -n*d. Is d prime?
True
Suppose 5*x + 5*u = -1015, 5*x - 5*u + 942 + 63 = 0. Let g be ((2 - 6) + 2)*x. Let z = -213 + g. Is z prime?
True
Let w(z) = -z**3 - z**2 + z - 1. Let a be w(1). Let x(l) = 5*l**2 + 4*l. Let j be x(a). Suppose 6*b + 7158 = j*b. Is b a composite number?
False
Let k(x) = 22*x**2 - 2*x + 7. Let v(q) = 65*q**2 - 7*q + 21. Let b(p) = -8*k(p) + 3*v(p). Suppose -d + h + 14 = 12, -d - 4*h = -7. Is b(d) prime?
True
Let x be 1/2*5568/(-16). Is ((-87)/x)/(2/32876) composite?
False
Is (-22)/4 + (-13)/26 + 834919 a composite number?
False
Let n = -362842 + 549291. Is n a prime number?
False
Let p be -2*(-2)/(-1) - (255 - 1366). Suppose -940 - 482 = 3*i. Let k = i + p. Is k prime?
False
Let h(s) = -s + 43. Let m be h(38). Suppose -20*z + 21*z - m*b - 3683 = 0, 0 = -5*z - 3*b + 18415. Is z a composite number?
True
Suppose -5*v + 2*v + 3*p - 9 = 0, 0 = -2*v + 5*p - 15. Suppose v = -28*o + 93486 + 195278. Is o prime?
True
Suppose 3*s + 11*s - 9154 = 498892. Is s composite?
True
Let d(n) be the third derivative of 59*n**5/15 - 49*n**4/24 - 4*n**3/3 - 18*n**2. Is d(-6) a composite number?
True
Let r(m) = -4*m**2 + 2. Let d be r(-3). Let g = 39 + d. Suppose y - 7 = -2, -g*y = -2*c + 633. Is c prime?
False
Let s be 1628/8 + 7/14. Let p = s + 3455. Is p prime?
True
Let n(p) = 1745*p**2 - 3*p - 6. Let s(m) = 1745*m**2 - 2*m - 5. Let x(o) = -4*n(o) + 5*s(o). Is x(2) composite?
False
Suppose -11*v + 16589 = -271644. Is v composite?
False
Let s be (-1)/2*(23 - 43389)*7. Suppose 0 = -5*h - 2*h + s. Is h composite?
False
Let s(u) = -u - 22. Let g be s(-22). Suppose 0 = -3*n - g*n + 2694. Is n a prime number?
False
Suppose 37*b - 79*b + 126 = 0. Is 179/b*(1 - -122) a prime number?
False
Let a(n) be the second der