 j - 22. Suppose 0 = 3*x + 2*y - 112 - 109, 2*x + p*y = 129. Is x prime?
False
Let i(t) = 115*t**3 - t**2 + 1. Let c(k) = k**2 - 10*k + 8. Let f be c(9). Let w be i(f). Let y = -80 - w. Is y a composite number?
True
Let l be 6/((-10)/(-4) + -1). Suppose 3*k - l*k - 5*x + 40 = 0, 0 = -k + 5*x. Is 2/6 - k/(-3) prime?
True
Is 1 - 9/6*-38 composite?
True
Is 20988/20 + (-2)/5 a composite number?
False
Let m(f) = 37*f**3 + 26*f - 1 + 0*f**2 - 25*f - 259*f**3 + f**2. Is m(-1) prime?
False
Let q(k) = -k**2 + 8*k - 9. Suppose 0 = -3*x - 5 + 26. Let u be q(x). Is u + 2 + -2 - -57 a composite number?
True
Let b(h) = h**3 + 19*h**2 + 20*h - 13. Is b(-14) prime?
False
Suppose 1 + 19 = 5*c. Suppose -c*g + 5*g = -4*l + 215, 5*l = -g + 270. Is l a composite number?
True
Let c = -144 - -211. Is c a composite number?
False
Let c(l) = 31*l + 4. Let g(o) = o + 1. Let t(w) = c(w) + 3*g(w). Let r = 5 + 1. Is t(r) composite?
False
Let p = 2271 + -1540. Let y = p - 438. Is y composite?
False
Let b = 102 - 70. Let d = 5 + b. Is d prime?
True
Is (1 - 1 - -2) + 141 composite?
True
Let h(k) = k**2 + 3. Let t be h(0). Suppose -t*f = 5*x - 0*f - 111, -2*f - 6 = 0. Let j = x - 5. Is j a prime number?
True
Suppose -2*q - 3*v = -167, 5*q + 4*v = -0*v + 421. Is q a prime number?
False
Suppose 3*i - 2*i - 101 = 0. Let d = -31 - -31. Suppose -l - u = -d*u - i, 2*l + 5*u = 214. Is l prime?
True
Suppose -5*w + 9*w - 16 = 0. Suppose -140 = -4*z + c, w*z + 5*c - 140 = 2*c. Is z composite?
True
Let k(u) = -u**3 - 10*u**2 - 6*u - 11. Suppose -2*w - 1 = 19. Let p be k(w). Let j = -24 + p. Is j prime?
False
Is (-3 - (0 - 2))/(1/(-719)) a composite number?
False
Let o = 154 - -265. Is o a prime number?
True
Suppose 0 = 3*x + x. Let t(m) = -2*m + 67. Is t(x) prime?
True
Suppose 2*b = 4*j + 494, 4*b - 690 - 306 = 4*j. Let i = b - 28. Is i a composite number?
False
Let w(b) = -22*b + 6. Let a be w(-6). Let z be (1 + -1)/(-2 - -3). Suppose z = 5*y - a - 327. Is y a composite number?
True
Suppose 4*n + 8 = 5*l + 2*n, 5*l + 4*n - 14 = 0. Suppose x = 3, k + 3*x - l*x = 24. Is k prime?
False
Let x = -533 + 1032. Is x a prime number?
True
Let w = -3 + 6. Let m = -1 + w. Is m/(-1)*93/(-6) prime?
True
Let i = 23 + -14. Let m be 20/(-6)*i/(-5). Let u = 17 + m. Is u a composite number?
False
Suppose -o - 1202 = -5*o + 2*p, -2*o + 599 = -3*p. Let s = -100 + o. Is s a prime number?
False
Let b = -11 + 4. Let m = b - -11. Suppose -66 - 242 = -m*u. Is u prime?
False
Suppose -5*z + 340 + 12 = 4*k, z = 4. Is k prime?
True
Let o = -3 - -6. Suppose -r - o*r + 844 = 0. Is r a prime number?
True
Let b(g) = -g**3 - 2*g**2 + 4. Let d = -3 + -2. Is b(d) a prime number?
True
Suppose 0 = 18*x - 15*x - 3117. Is x a composite number?
False
Suppose -t - 4*t + 7 = 2*y, 4*y + 16 = 0. Let p(g) = 3 + 3*g - 1 + 14*g. Is p(t) composite?
False
Let z be 2 - 5/(15/(-6)). Suppose 2*v + 44 = -5*c, -3*v + 2 - 33 = z*c. Let b(j) = -j + 13. Is b(c) composite?
False
Let g = 4382 - 99. Is g a composite number?
False
Let a(s) = -s**3 - 9*s**2 + 9*s + 4. Let p be a(-9). Let n = p - -41. Is (-1902)/n - 1/(-6) a composite number?
False
Suppose 10*u - 14*u + 4*z = -24, -3 = 2*u + 3*z. Is u prime?
True
Is 431/((-2)/6*-3) composite?
False
Suppose 4*d - 426 = 26. Suppose 0 = t - d + 28. Is t a composite number?
True
Let v(h) = -h**2 + h + 1. Let w(j) = -22*j**2 - 8*j - 5. Let c(f) = f - 8. Let g be c(7). Let t(o) = g*w(o) - 4*v(o). Is t(-3) a prime number?
True
Let o(v) = 2*v + 1. Let s be o(1). Let m be 3 - 1 - (s - 1). Is 156 + (m - (0 - 1)) a prime number?
True
Let v = -55 - -281. Is v composite?
True
Suppose -5*x - 2*a = -377, -x - 2*x + 221 = -4*a. Suppose 4*p + 45 = q, 0*p = -2*q + 3*p + x. Is q a composite number?
True
Suppose 0 = -2*l - 0 + 4. Suppose 0 = l*s - 0*s - 658. Is s composite?
True
Let l be 80 - 2/(-1)*2. Is (-5*2)/((-24)/l) a prime number?
False
Suppose -3*w + 40 = 5*i - 19, 0 = 5*w + 4*i - 120. Let a be 4/14 - (-132)/w. Suppose l + 29 = a*t + 2*l, -t = -3*l - 9. Is t composite?
True
Let o be (-27)/(-6)*4/(-3). Is (14/o)/(3/(-9)) composite?
False
Let b(c) = -c - 3. Let k be b(-5). Let l(h) = h + 8 + h - 1 + 2*h**k - h**2. Is l(-5) composite?
True
Suppose 2*c + c = 30. Let o be (-78)/9*(-6)/4. Let i = o + c. Is i a prime number?
True
Let v be -5*(3/(-3) - 0). Let b be (3 + 1)/(-2) - v. Let k(p) = -6*p + 1. Is k(b) prime?
True
Suppose 0 = -6*o + 7*o - 289. Suppose -2 - o = -3*s. Is s composite?
False
Let r = -116 - -31. Suppose 0 = -x + 249 + 93. Let v = r + x. Is v prime?
True
Let b(j) = j**2 + 3*j - 6. Let o be b(-5). Suppose o*t - 15 = -3. Suppose 0 = 4*m + 4*n - 2*n - 226, 4*m = t*n + 211. Is m prime?
False
Let m = -12 + 17. Let f = -3 + m. Is (64 - f)/2 + 3 a prime number?
False
Let z(h) = 11*h**2 + 7*h + 7. Is z(3) a composite number?
False
Suppose 0*n - 4*n + 48 = 0. Suppose -x + n = 1. Is x a prime number?
True
Suppose -6*u = -2*u - 12. Suppose 2*h - b = 7, 25 = 2*h + u*b + 2*b. Suppose 63 - 238 = -h*o. Is o a prime number?
False
Let o = 3688 + -1929. Is o prime?
True
Suppose 0 = -4*v - z + 105, -150 = -5*v - 2*z - 15. Let l = -18 + v. Is l a composite number?
False
Let n = 3 - 0. Suppose -l + 216 = n*l. Suppose -5*g - 4*y + l = -7*y, -4*g + 4*y = -48. Is g a prime number?
False
Suppose -11*d + 58332 = d. Is d composite?
False
Suppose d + 15 = 6*d. Suppose 0 = 4*a + 8 - 24. Suppose 2*q + 57 = g, d*g + 3*q - 196 = a*q. Is g prime?
True
Suppose 60 = 5*a - 3*a. Let z = 14 - 8. Suppose -3*o - a = -z*o. Is o a composite number?
True
Let s(n) = 70*n**2 - n. Is s(1) prime?
False
Is (-1)/6 + (-8654)/(-12) composite?
True
Suppose 542 = 3*f - 451. Is f a composite number?
False
Suppose -36 = -3*p + 6. Let i = -5 + p. Is i composite?
True
Let c be -2 + 5 + 1 - -1. Let t = c - 0. Suppose t*i - 3*i - 46 = 0. Is i a composite number?
False
Let g be 1 + 0 + (0 - -1). Suppose 3*d - 1285 = -g*d. Is d a prime number?
True
Let p(j) = 114*j - 25. Is p(10) prime?
False
Suppose -5*u + 32978 = 17*u. Is u a composite number?
False
Let j be (-3)/3 - 8/(-2). Suppose 0 = v + 5*b - 2*b - 23, -2*b = -j*v + 36. Suppose -v = -z + 11. Is z a prime number?
False
Let c(k) = 2*k**2 + 3*k + 3. Let q be c(8). Let x be 488/(-7) + 6/(-21). Let b = x + q. Is b a prime number?
False
Let z(s) = s + 3. Let g be z(-3). Suppose g = -2*c - 3*c. Suppose -5*u + u + 5*a = -148, 5*a = c. Is u prime?
True
Suppose 4*g + 2*n - 890 = 0, -3*g + 820 - 152 = n. Is g prime?
True
Suppose -4*z + 2853 = 5*z. Is z prime?
True
Let d(u) = -4*u**3 - 3*u**2 + 4*u - 1. Is d(-4) a composite number?
False
Let m(j) = -j**2 + 4*j + 4. Let z be m(4). Let d = z + -3. Is d/(-2) + (-69)/(-2) composite?
True
Let x(q) = q**3 + q**2 - q - 8. Let s(i) = -i**3 + 2*i**2 + i - 2. Let r be s(2). Let t be x(r). Let g(u) = u**3 + 7*u**2 - 12*u - 10. Is g(t) composite?
True
Suppose -4*n - 21 - 3 = 0. Let y(i) = 3*i**2 - 7*i - 2. Let s(a) = 7*a**2 - 14*a - 3. Let t(o) = -2*s(o) + 5*y(o). Is t(n) composite?
True
Suppose 4*g - 3*i - 7584 = 0, 9*g + i - 9461 = 4*g. Is g prime?
False
Suppose 0 = -3*v + 3*y + 18, -2*y = -5*v - 0*y + 18. Is v/(-9) - (-533)/9 a composite number?
False
Let b = -444 + 282. Let i = b + 236. Is i composite?
True
Suppose -3*a - 141 - 126 = 0. Is a/2*(-2)/1 composite?
False
Suppose 4*k + 533 = q, -2*q + 2*k = -7*q + 2599. Is q prime?
True
Let t(g) = 3*g**3 - 14*g**2 - 3*g + 9. Is t(10) a composite number?
False
Suppose -3 = -6*h + 3*h. Let j(q) = 39*q. Is j(h) prime?
False
Let w(k) = 118*k - 29. Is w(10) composite?
False
Suppose -2*a - 2 = -n - a, -4*a - 8 = n. Suppose 2*p - 4*z - 10 = 0, 4*p + z + n*z = 2. Suppose -4*l + v = -32, 2 + p = l + v. Is l a prime number?
True
Let b be (-32)/10 - (-2)/10. Is -3 - (-24 + 3 + b) prime?
False
Suppose -5*z + 210 - 10 = 2*n, -400 = -4*n + z. Let s = -5 + n. Is s a prime number?
False
Suppose -4*z - w = -6*w - 165, -84 = -2*z + 4*w. Suppose 0*q = 2*q - z. Suppose -356 = -4*v + q. Is v composite?
True
Suppose c + 3*c - 20 = 3*n, -c = -5*n - 22. Let p(f) = -3*f**2 + 62*f**c + 33*f**2 - 1. Is p(1) a prime number?
False
Let s(z) = z - 8. Let c be s(10). Suppose 0 = c*v + 20 - 66. Is v composite?
False
Suppose -6*w + 3*w = -6. Suppose -w*j = -3*j. Is 97/((-1)/(-1)) + j prime?
True
Let u = 390 - -823. Is u a prime number?
True
Let y(x) = x - 5