. Let d be t(2). Suppose 6*c = -d - 20. Let x(p) = 38*p**2 - 4*p + 5. Is x(c) composite?
True
Let h = -18 + 18. Suppose 5*w - 9680 = -0*w + z, h = -w - 4*z + 1915. Let n = 3052 - w. Is n a prime number?
True
Let k = 43 - 27. Suppose -s = 3*p - 10, 0 = -4*s + 2*s + 3*p - k. Is (-2 + -584)*1/s prime?
True
Suppose -3*c + 4432 = -c + u, 2*u - 8 = 0. Let f(s) = s**3 + 15*s**2 + 8*s - 23. Let b be f(-13). Suppose -c - b = -5*d. Is d prime?
False
Let z(a) = -a + 11. Let h be z(0). Let v = h + -40. Let m = -18 - v. Is m composite?
False
Suppose s = 7*s - 12. Suppose -s*o + 5*h = 340 - 1254, 5*o - 4*h = 2319. Is o prime?
True
Let v = -115 - -117. Suppose -4*f + 90 = -f. Suppose 0 = -v*j + 16 + f. Is j a composite number?
False
Let j = 3184 - 1823. Is j a composite number?
False
Is (11/33)/(19886/9942 + -2) prime?
True
Let f = 24 - 18. Suppose f*i + 0*i = 5274. Is i a composite number?
True
Let c be 3 - 0 - (0 - 1). Suppose 4*y = 5*d - 2734, c*d - 2*y = -6*y + 2216. Let b = d - 371. Is b a prime number?
True
Suppose -3*u + 1163 = -2*t, -4*u + 0*u + 5*t = -1539. Is u prime?
False
Let x = 5 - 1. Let g be (2 - 12/8)*x. Suppose 530 = g*z + 3*z. Is z a prime number?
False
Let p(j) = j - 1. Let l(a) = -618*a. Let z(n) = l(n) + 2*p(n). Is z(-1) a composite number?
True
Let t(r) = r**3 + 3*r**2 - 10. Let f be t(-2). Suppose j + 127 = 2*j. Let g = f + j. Is g a composite number?
True
Let x = -2 + 7. Suppose -2*s = x*a - 2, 3*s = -a + 3 - 0. Suppose u - 223 - 250 = a. Is u composite?
True
Suppose 0 = 2*g + 3*z - 38 - 108, -5*z - 86 = -g. Suppose 0 = 5*c - 99 - g. Let j = -2 + c. Is j composite?
True
Let j be 4/(-6) - 4/((-48)/(-1108)). Let k = 1084 + j. Is k a composite number?
False
Let q = 6 + -1. Suppose -q*r - d + 390 = -6*d, 0 = 4*r + 2*d - 300. Suppose -280 = -4*z + r. Is z a prime number?
True
Suppose 8*h - 6*h + 430 = 0. Let n be 4/2 - 3 - h. Let b = n + -96. Is b a composite number?
True
Suppose -s + 2*a = -7, 0 = -3*s - 0*s + 5*a + 19. Suppose -s*l + 0*l = -5541. Is l a composite number?
False
Suppose 5*u + 2242 - 21312 = 0. Is u prime?
False
Suppose -10*s - 5*d - 7945 = -14*s, -s - 4*d + 1981 = 0. Is s a composite number?
True
Suppose 22*r - 159420 + 15518 = 0. Is r a prime number?
False
Let m be (4122/(-36))/(((-3)/(-2))/(-3)). Suppose 5*n - 6164 = -m. Is n a prime number?
True
Let s(p) = 10 + 0 - p - 7. Let y be s(4). Is 62 - 2 - y - 2 a composite number?
False
Suppose -982 = 2*z - 7*g + 3*g, 0 = 2*z - g + 982. Is (z/(-4))/(8/32) composite?
False
Suppose -6 = l - 3. Is (646 - -1)*l/(-15)*5 a composite number?
False
Let p be (-4 + -2)/((-6)/(-4)). Let q(j) = 7*j**3 + 9*j**2 - j - 1. Let o(a) = -3*a**3 - 4*a**2. Let u(v) = p*q(v) - 9*o(v). Is u(-5) a prime number?
True
Let p(w) = w**3 + 2*w**2 - 4*w - 12. Let i be p(-6). Let d = i - -226. Is d a composite number?
True
Let f = 7 - -1. Suppose 7 = q + 4*u - f, -3*q = 3*u - 18. Suppose -2*p = q*l - 295, 3*p + 4*l + 153 = 4*p. Is p composite?
False
Let d(r) = 28*r**3 - 6*r + 5. Let v be d(4). Let i = v - 422. Is i prime?
False
Suppose 0 = -4*q - 5*x + 1300, -2*q + 3*q + 3*x - 332 = 0. Let b = -65 + q. Suppose -5*u + b = -530. Is u composite?
False
Suppose 0 = -0*u - 2*u + 70. Suppose -2*x = -w + 6, 5*x = -w + u - 1. Is 597/4 + w/(-56) a prime number?
True
Let z be (-6)/(-18) - 33/(-9). Suppose 755 = 3*n - z*j, 6*n + j - 1266 = n. Is n composite?
True
Let t(z) = z**2 + 10*z + 12. Let p be t(-9). Suppose p*w = -4*x + 93 + 146, 0 = 5*w + 3*x - 413. Is (w/(-3))/((-6)/18) a composite number?
True
Let g = 145 + -137. Suppose -z - 2779 = -g*z. Is z a prime number?
True
Let i be 36/(-15)*(-20)/8. Suppose 0 = i*p - 5*p - 6. Suppose 3*n + 249 = p*n. Is n a composite number?
False
Suppose -4*i - f - 32 = -5, 3*f - 31 = 4*i. Let j(g) = g**2 + 7*g - 1. Let k be j(i). Is k/(-2 - 183/(-93)) composite?
False
Let n = -4485 + 7799. Suppose 4*d - y - 48 = n, -y + 1684 = 2*d. Is d a prime number?
False
Let i = -4252 - -6431. Is i composite?
False
Let f = 520 + -309. Is f prime?
True
Suppose -5*a + 17*h - 18*h + 8459 = 0, 5*a + 4*h - 8471 = 0. Is a a prime number?
False
Let d(w) = w**2 - 3*w - 6. Let j(f) = -4*f**2 + 8*f + 19. Let o(p) = 7*d(p) + 2*j(p). Let y be o(-3). Suppose y*n - 191 = 3*h, 3*n - 5*n - h = -179. Is n prime?
False
Is 10 + (-3)/1 + 16326 a prime number?
True
Let d(q) = -2*q**3 + 12*q**2 - 23*q - 39. Let b(m) = m**3 - 6*m**2 + 11*m + 19. Let r be (-43)/(-5) - 4/(-10). Let p(y) = r*b(y) + 4*d(y). Is p(7) prime?
True
Let v(m) = 4*m**2 - 67*m - 23. Is v(24) prime?
True
Suppose -10*y + 14*y - 40 = 0. Suppose -y*s = -14*s + 532. Is s a prime number?
False
Suppose -54*u - 29976 = -62*u. Is u a prime number?
False
Suppose -8*x = -13*x + 80. Suppose 5*t = t + x. Suppose i - t*i + 993 = 0. Is i a prime number?
True
Let g(f) = -2*f**2 - 5*f - 4. Let b be g(-2). Let r(d) = 65*d**2 - 2*d + 1. Is r(b) prime?
False
Let m = -2051 - -4698. Is m prime?
True
Is 502*(-117 - 1)/(-2 + -2) a prime number?
False
Suppose 10 = f + 34. Let o = 24 + f. Is (o + -7)*(-8 + 1) composite?
True
Let y be (891/18)/(2/12). Suppose 2*m - y = -m. Suppose 435 = 3*g - 3*x, g - m = -x + 54. Is g prime?
True
Let f(h) = h**2 - 12*h - 13. Let d be f(13). Suppose d = -4*y + 3*y - 601. Let s = 860 + y. Is s a composite number?
True
Suppose -1043 = -4*c + 3*c. Is c composite?
True
Let x = 5532 + 2625. Is x composite?
True
Let f(z) = -17*z + 11309. Is f(0) a composite number?
True
Let r(t) = -t**2 + 6*t + 8. Let b be r(7). Is 4 - b/(5/(-9725)) prime?
True
Let l(o) = 251*o + 7. Suppose -8 = -18*w + 14*w. Is l(w) prime?
True
Let i = -41 - -36. Is (1674/135)/((-1)/i) a composite number?
True
Let a = -169 + 1214. Suppose 4*l - 836 = -0*l + 3*j, 5*l = 5*j + a. Let o = -46 + l. Is o prime?
True
Let l(n) = -n**2 + 2*n - 6. Let k be l(0). Is 5968/24*k/(-4) prime?
True
Let l(x) = 722*x + 7. Let q be (4/5)/((-46)/(-115)). Is l(q) prime?
True
Let f(r) = -213*r - 4. Let l(k) = -1064*k - 20. Let c(j) = -11*f(j) + 2*l(j). Suppose 0 = -o + 2*o + 5*u + 22, -5*u = -o + 28. Is c(o) prime?
False
Let n be (-1)/2*(-10 + 2). Suppose -n*t = -7*t + 12. Suppose 2*u - 283 = g + 2*g, g = t*u - 591. Is u composite?
False
Suppose -11*c - 824 = -7743. Is c a prime number?
False
Let t(i) = 8885*i**2 - 3*i - 13. Is t(-3) composite?
True
Let u(h) = 21*h**2 - 8*h + 134. Is u(-13) a prime number?
False
Let x = 9614 - 3197. Is 0 + 1/4 + x/12 composite?
True
Suppose -2*g + 5*p - 9 = 1, -5*g - p = -2. Suppose g = 3*a - 0*i - i - 38, 2*a - 4*i - 42 = 0. Is a prime?
True
Let a be ((-13)/(-4))/((-7 + 3)/(-80)). Is a - ((-48)/20 + 4/10) a composite number?
False
Let t = 22 + -16. Suppose 3*o + 105 = t*o. Is o a composite number?
True
Is ((-38)/(-190))/(1/33095) a composite number?
False
Let h be 1/(2/(-4)*1). Let f = -1 - h. Is f/((-1)/((-1317)/3)) a composite number?
False
Let l = 12 + 79. Let n = l + -8. Is n composite?
False
Suppose 0*t = 4*t - 60. Let a(j) = -201*j**2 - 10*j + 5. Let b be a(8). Is (-8)/(-20) - b/t a prime number?
True
Suppose -5*u - 32 = -22. Let n be (1 - (4 + -2))*u. Suppose 0*p = -n*p + 586. Is p a composite number?
False
Let f be ((-1)/2)/(4/(-40)). Suppose -f*z - 75 = -1810. Is z a composite number?
False
Suppose -4*q - 909 + 5957 = 0. Suppose 10*n - 9*n = q. Is n a composite number?
True
Let v be 3756/9 - 1/3. Let o = -38 + v. Is o a composite number?
False
Let y be -1 + 2435 - (-3 + 0). Suppose 3*x = -2*a + a + y, -5*a = 3*x - 2441. Suppose 7*l = 3*l + x. Is l composite?
True
Suppose -x = -323 + 1. Suppose -4*k - x = -11*k. Is k prime?
False
Let s(g) = -g**3 - 5*g**2 + 2*g + 6. Let m be s(-5). Is 2/(-2*m/60) composite?
True
Let w = -8388 - -15715. Is w prime?
False
Let a(s) = -s**2 + 5*s - 4. Let b be a(3). Suppose 3*y + 2*z - 2 = -6, -b*y - 21 = 5*z. Is (4 - y)*(-1645)/(-10) prime?
False
Suppose -77692 - 147073 = -5*p + q, 4*p - 2*q - 179812 = 0. Is p prime?
True
Let n(b) = b**2 + 4*b + 7. Let x be n(-3). Suppose -5*a - 16 - 4 = 0, 3*a + 1444 = x*i. Is i a prime number?
False
Suppose 0 = -3*y + 8868 + 4905. Is y a prime number?
True
Let f = 9 - 6. Let g be -1 + 1 + 1 + f. Suppose -4*u + 8 = g*w, -2*u - 4*w - 3 - 3 = 0. Is u a composite number?
False
Suppose 0 = 218*t - 211*t - 51247. Is t a composite number?
False
Suppose 4*q - 1 = 4*v + 3, 4*q + 3*v = 11. Suppose