. Let j be i(8). Suppose 0 = h - 4*q - 4, -21 - 12 = -j*h + 3*q. Let p = 61 - h. Is p a prime number?
True
Let x(i) = -i**3 + 6*i**2 + 4. Let w be x(6). Let o(j) = w - 1 + 8*j - 4 - 4. Is o(5) a prime number?
False
Suppose 5*s - v = v + 50855, 0 = 4*s - v - 40681. Is s prime?
True
Let f(a) = -11*a**2 - 8*a**2 + 69 + 20*a**2. Suppose -3*b + 5*q + 5 = 0, 0 = -b - 0*q + 5*q + 5. Is f(b) prime?
False
Let s be 2/(-7) - (-11210)/133. Suppose -2*c + 1384 = -s. Is c a composite number?
True
Let n(s) = 3*s**2 - 8*s + 10. Let z be n(4). Let a be (13/z)/((-2)/(-8)). Suppose -a*d + d + 259 = 0. Is d prime?
False
Suppose -5*v - u + 129 + 1251 = 0, -v + 270 = -u. Let j = -40 + v. Is j prime?
False
Let z be ((-8728)/(-16) + 0)/((-2)/4). Let c = z - -1902. Is c prime?
True
Let x be (1/(-4) + 1379/28)*1. Is 168476/x + 6/(-21) + -1 a prime number?
False
Let c(r) = -19*r**3 - r**2 + r - 1. Let z be c(1). Is ((-1346)/(-4))/((-10)/z) a prime number?
True
Let s be (2 - 1)/(0 - -1). Let x be -4 - ((-103)/7 + (-22)/77). Let q = x - s. Is q a composite number?
True
Suppose 4*j + 2*a = 3*a + 69, 4*j - 3*a = 63. Let d be ((-60)/j)/(1/(-15)). Is 5470/d - (-2)/(-5) a prime number?
True
Suppose j - x = 25, 0 = 3*j + 2*j - x - 137. Let l = 124 - 75. Suppose -l = -b + j. Is b a composite number?
True
Let j be -6 - 256/(-44) - 136/(-22). Suppose -9*t = -j*t - 1905. Is t prime?
False
Let h = -16 - -18. Let k(o) = -1 + 2*o**2 - 1 - o + 0*o**h + o**2 - o**3. Is k(-5) a composite number?
True
Let w(q) be the second derivative of -21*q**3 + q**2/2 - 11*q. Suppose 0 = -2*n + 1 - 3. Is w(n) a composite number?
False
Suppose 122*j = 126*j - 56932. Is j a prime number?
False
Let b(v) = -v**3 - 13*v**2 - v - 4. Let s be b(-13). Suppose s = -3*a - 3. Is a/(-6)*3 + 156 prime?
False
Let v(d) = d**2 - 24*d + 4. Let g be v(24). Let j(o) = o**2 + 3*o - 3. Let h be j(-3). Is -1 + 11 + g + h composite?
False
Let z = -11 - -14. Suppose 2*y + 7 = -1, -z*q + 5*y + 14 = 0. Is 1/(2/168) + q prime?
False
Let w(s) = s**3 + 5*s**2 - 7*s - 6. Let z be w(-6). Suppose -x = -3*p + 9294, z*x + 9300 = 3*p + x. Is p composite?
True
Suppose 0 = -5*u - 3*c - c + 4494, 4485 = 5*u - 5*c. Suppose -u = -12*l + 11*l. Suppose 6*o - l = 716. Is o prime?
True
Let w be -3 + (66 - (-1 + -1)). Suppose -5*q = 4*a - w, 4*q = -a + 1 + 51. Suppose -u - q = -2*u. Is u prime?
True
Let y be (-4)/(-14) - 65/7. Let o(s) = -5*s + 0*s - 2 - 4 + 6*s**2 + 16. Is o(y) a prime number?
True
Let q be (-23 + 2)/(-3) + -3. Let j be ((-716)/(-16))/((-1)/(-8)). Suppose q*t - 6*t = -j. Is t a composite number?
False
Suppose -31538 + 4328 = -30*s. Is s prime?
True
Suppose -18*s = -59455 - 47663. Is s prime?
False
Let v = -874 - -2358. Suppose -y + 2974 = 4*s, -5*y = 2*s - 6*y - v. Is s a composite number?
False
Let x(g) = -314*g - 10. Let f(a) = -63*a - 2. Let z(o) = -11*f(o) + 2*x(o). Let q be (-4)/((5 - 2) + -4). Is z(q) a composite number?
True
Is -2*(-2 + (-55338)/4) a composite number?
False
Let u = 22 - 22. Suppose 0*l = -4*l - h + 1064, -l + 2*h + 275 = u. Is l a composite number?
True
Let t(z) = 86*z + 91. Is t(2) composite?
False
Is -5*1/(-15) - (-40816)/6 a prime number?
True
Let p = -17484 + 44911. Is p prime?
True
Let o be 0/((-7)/(35/(-15))). Suppose 2*k + l - 497 = o, 0 = 4*k + l - 1516 + 517. Is k composite?
False
Suppose 3*p - 10*p = 2*s - 852, 5 = -5*s. Is p composite?
True
Suppose -o - n = -5 - 4, 5*o + 3*n = 37. Suppose 5*m + 10 = -o*r, 6*r - 4*m = r - 19. Is 0 + (-333)/r - -2 prime?
True
Is -43*(54/(-9) + 3) prime?
False
Let r = -1 - -2. Let b be (6/9)/(r/3). Suppose 36 = -3*c - h + 128, 4*c - b*h - 126 = 0. Is c a prime number?
True
Let i be (-3)/(-12) - ((-24775)/20 + -1). Suppose -305 - i = -3*n. Is n a prime number?
False
Suppose -x = 5*p - 16110, 4*p - 4*x - 10233 = 2631. Is p a composite number?
False
Suppose -3888 = -x + 5*z + 17904, 87190 = 4*x + 2*z. Is x a composite number?
True
Let r = 52603 + -35136. Is r prime?
True
Suppose 0*l + 4*l + 1052 = 0. Let b = 704 + -34. Let i = b + l. Is i composite?
True
Suppose 55*l = 44*l + 214379. Is l a composite number?
False
Let a be 63/14*2/(-3). Let d(y) = -40*y + 7. Is d(a) a prime number?
True
Is 2428 - 10/8*(-21 - -17) prime?
False
Let k(o) = -2*o**2 + 14*o - 5 + o - 4*o. Let v be k(5). Suppose -3*h + 53 - 8 = v. Is h a prime number?
False
Suppose 0 = -5*v + z - 2*z - 1298, -4*z + 8 = 0. Let y = v + 555. Is y a composite number?
True
Let r(v) = -v. Let j(d) = -75*d**2 - 5. Let i(p) = -j(p) + 3*r(p). Is i(2) composite?
True
Let d(m) = 3*m + 1. Let b be d(5). Let s = -11 + b. Suppose 47 + 3 = s*n. Is n composite?
True
Is ((-5)/(-2))/((-2)/(-3868)) a prime number?
False
Suppose 2*n - 9 = 4*n + d, -2 = -4*n + 2*d. Is (419/n + 3)*-2 prime?
False
Let c(f) = 2*f**2 - 3*f - 7. Let s(i) = -4*i**2 + 6*i + 15. Let g(j) = 9*c(j) + 4*s(j). Is g(-8) composite?
False
Let f = -11 - -19. Suppose 9*c + 29 = f*c. Let g = c + 50. Is g a prime number?
False
Let d = 22 - 17. Let q(b) = -5*b**3 + 5*b**2 + 7*b - 6. Let x be q(d). Is (-1)/(3 + 1416/x) prime?
True
Suppose 2*c + f = -2*c + 8651, 4*f - 2159 = -c. Let y = -1076 + c. Is y composite?
False
Let t = 2281 - 1603. Let m = t - 371. Let v = 108 + m. Is v composite?
True
Let z = -1101 + 2362. Is z a composite number?
True
Is 12957 - (247/65 + (-3)/(-15)) composite?
False
Is (-185768)/(-6)*42/56 composite?
True
Suppose 5352 = 3*z + 7*p - 4*p, 0 = -5*z - 3*p + 8910. Is z composite?
True
Suppose -5*s - 23 = -m, 5*s + 7*m - 4*m = -11. Is s/10 - ((-30684)/10 + 1) a composite number?
False
Suppose -322 = -5*q - 1582. Let h = -74 - q. Is h a prime number?
False
Let n(i) = i**3 - 11*i**2 - 12*i + 15. Let h be n(12). Let v = h - 15. Suppose v*o = o - 485. Is o composite?
True
Suppose -7*r + 20566 = -15169. Is r a prime number?
False
Suppose -2*b + 3*a - 2 = 0, -5*a + 2*a + 12 = 3*b. Let z = b + -26. Is (-6)/4*112/z composite?
False
Let j(r) = -34*r + 1. Let g(x) = 34*x - 2. Let s(i) = 4*g(i) + 5*j(i). Is s(-11) a composite number?
True
Let r(f) = -f**2 + f - 1. Let n(z) = -7*z**2 + 6*z + 524. Let h(k) = n(k) - 5*r(k). Is h(0) composite?
True
Suppose 2*f = -0*f + 4. Suppose 0 = t - 3*n - 757, t + f*n - 751 = -14. Is t composite?
True
Suppose -1597 = -2*h + 2365. Suppose -4*o + h = d, 3*d + 1795 - 7724 = -5*o. Is d prime?
True
Let i(c) = 4833*c**2 + c + 3. Is i(-1) composite?
True
Is -2 + 8 - (-30825 + -8) prime?
True
Suppose 0 = 2*f + 3*f - 3*p - 1003, 0 = 2*f + 5*p - 426. Let j = f + 14. Is j a prime number?
False
Let q be (-150)/(21/(-6) + 3)*1. Suppose -j - 2*j = -264. Suppose -2*v - j = -q. Is v a composite number?
True
Suppose -5*a + 5*n = -95, -5*a = -0*n + 3*n - 135. Suppose 5*h + 4 = a. Suppose 2*g - u - 103 = -0*u, -4 = h*u. Is g a composite number?
True
Let v(u) = -u**3 + u**2 + u + 8. Let r be v(0). Let o(b) = 0*b**3 - 1 + 2*b**3 - 7*b**2 + 380*b - 374*b. Is o(r) composite?
True
Suppose 0 = 4*v - 33 - 47. Is (-27)/(-4) - (-5)/v a prime number?
True
Let g(n) = 5*n**2 + 81*n + 17. Is g(-23) composite?
True
Suppose 3*j + 4200 - 1273 = -4*s, -s = -j - 964. Let f = -547 - j. Is f a prime number?
False
Let c = 24759 + -7904. Is c a prime number?
False
Let f(w) = 5*w**2 - w + 1. Let j = 37 + -42. Is f(j) a composite number?
False
Let d(f) = f**3 - 10*f**2 + 20*f + 6. Let n be d(9). Suppose -n = -15*i + 8*i. Is i a prime number?
False
Let c be (-24)/(-60) - (24/10 - 1). Is (-3)/((-12)/(-3316))*c a composite number?
False
Let c be ((-10)/3)/(2/9). Let d be (2466/c)/((-3)/20). Suppose d = 4*l + 2*t - 76, 3*t = 0. Is l a composite number?
False
Let a(b) = 12*b**2 + 2*b - 6. Suppose -m + 28 + 47 = 5*l, 2*l + m = 27. Let u = 20 - l. Is a(u) a composite number?
True
Let w(f) = 2*f**3 + f**2 + 2*f + 6. Let l be w(-7). Is (5 + -4 - 6) + 1 - l a prime number?
True
Let k be (-4)/(-8)*2/1. Suppose -4 + k = -g. Is (723/6 - g)*2 a prime number?
False
Let m(i) = 38*i - 3. Let x(u) = -57*u + 4. Let t(n) = 7*m(n) + 5*x(n). Suppose 6*z = 3*z - 5*d - 21, -d = 5*z + 13. Is t(z) prime?
True
Let x(w) = 671*w + 535. Is x(8) a prime number?
True
Let y be 5/((8/2)/4). Suppose -y*n + 4 = -3*n + t, -12 = -n + 2*t. Let b(m) = m**3 + 4*m**2 - 2*m - 1. Is b(n) prime?
False
Suppose -2*q - 19 = 2*r + r, -2*r + 5*q + 19 = 0. Let f be 2/6*r*25. Is 4/1 + -6 - f a composite numb