1. Suppose 4*p = 3*t + 142, 3*p - 4*t = -t + 108. Let o = x + p. Is o a prime number?
True
Let k be (2 + 2)/(1 - 0). Suppose k*y - 4 + 16 = 0, -f - y = -4. Is f prime?
True
Let u(o) = 2*o**3 - 2*o**2 - 7*o + 6. Let l be u(4). Let b = l - 31. Is b composite?
False
Let a(x) = -2*x - 11. Let y be a(-8). Suppose -5 - 15 = y*b. Is 91/(-4)*(b + 0) a prime number?
False
Suppose 2*g = -3*g + 25. Suppose g = 2*i - 3. Suppose -2*n = i*v - 13 + 3, -n - 1 = -4*v. Is n a prime number?
True
Let u be (6/(-12))/(1/394). Let l = u - -324. Is l composite?
False
Let b(l) = -70*l. Let v be b(-3). Suppose 0*c + v = 2*c. Suppose -f = 2*f - c. Is f a prime number?
False
Suppose 2*n + 4*y = 56, -5*n = -0*n + y - 176. Suppose -u + n = -2*u. Let h = u + 51. Is h a composite number?
True
Suppose -2*y - 320 + 24 = 0. Is ((-7)/(-4) - 2)*y a composite number?
False
Suppose 10 = 4*f - 2. Suppose 0 = -2*x - f*x + 25. Suppose 2*h - 3*p - 16 = 38, x*h = -2*p + 97. Is h composite?
True
Suppose 2*t = -5*z + 31, 2*z + 9 - 31 = -2*t. Let d be ((-14)/(-4) - 3)*t. Suppose d*v + 102 = 7*v. Is v a prime number?
False
Let q(z) = 3*z - 8 - 6*z**2 + 4*z + 7*z**2 - 3. Is q(-9) prime?
True
Suppose 7*p - 184 = 3*p. Suppose 0 = -f - 2, -2*f - f = 2*m - p. Suppose -r - 60 = -4*d, 4*r = 2*d - 5*d + m. Is d a prime number?
False
Let n = 1208 - 567. Is n a composite number?
False
Let b be 2*3/(6/293). Suppose 3*k - b = -5*j + k, 2*k - 179 = -3*j. Is j prime?
False
Suppose -c + 3*v - 2*v = -1063, -v = -2*c + 2122. Is c a prime number?
False
Suppose 2 - 8 = -u. Is (-13)/1*u/(-2) a prime number?
False
Suppose -4*z + o + 12 = 0, -3*o - 3 = -2*z + 13. Let d be (-33)/z*(-4)/(-3). Is ((0 - 1) + d)/(-1) a composite number?
False
Let b = 8 + 4. Let t = 19 - b. Is t prime?
True
Let n = -5 - -20. Is n composite?
True
Let z be (1 + -1)*2/4. Suppose -2*i - 59 + 225 = z. Is i composite?
False
Suppose -3 = -2*o - 7. Is (o/(-4))/(4/728) prime?
False
Suppose -4*g + 1280 = 5*q, 3*g - 5*g + 10 = 0. Suppose -4*y = -4*p - q, -5*y + 116 = -p - 183. Is y prime?
True
Let a = 63 + 68. Is a composite?
False
Let l(q) = -q**2 + 8*q + 11. Let r be l(9). Suppose d = 2*k + 1863 + 71, -6 = r*k. Is (-2)/(-6) + d/12 a composite number?
True
Let f = -10 - -14. Suppose -k = 5 - 1, -y + 95 = f*k. Is y a composite number?
True
Suppose -6 = s + m, 5*s + m = -19 - 19. Let g be (2/(-4))/(1/204). Is g/s + 1/4 prime?
True
Suppose 3*c = -c + 12, 0 = -x - 4*c + 61. Is x composite?
True
Suppose 9*h - 4*h - 5 = 0. Let v be 357 - -5 - h*-3. Suppose v = l + 2*l - 5*j, 5*l + 5*j = 555. Is l composite?
True
Is 5 - 4 - 2 - -188 a composite number?
True
Let y(i) be the second derivative of 7*i**4/4 - i**3/6 - i**2/2 + i. Let d be y(3). Suppose 6*t - t = d. Is t a prime number?
True
Let l(m) = m - 2. Let n be l(6). Let b = 3 - n. Is (2/b)/((-2)/149) prime?
True
Let z = -33 + 2. Let l = 254 + z. Is l composite?
False
Suppose -16 = 5*h - 0*v + 2*v, -2*h - 2*v - 10 = 0. Is (-229)/h + 2/4 a prime number?
False
Suppose 2*c - 3 = c. Suppose 2*f + 5*u = 49, f - c*u = -0*f - 3. Let s = f + 25. Is s prime?
True
Let w = -10 - -13. Suppose -5*m - 20 = -5*f, -4*m - 19 = w*f - 4*f. Is 25 + 4 + f + 3 a prime number?
True
Suppose -90 = -2*u + 16. Is u composite?
False
Suppose 0 = -4*v + 4*r + 504, -v - 3*r = v - 257. Is v prime?
True
Suppose 3 = 3*p + 6. Is (6 - p)/((-3)/(-291)) composite?
True
Let g(a) = 54*a**2 - 5. Is g(-2) composite?
False
Let b = 2761 - 1284. Is b a prime number?
False
Let o(s) = s**2 - 5*s - 9. Let t be o(-6). Suppose 6*p - 3*p = -t. Let u = 58 + p. Is u a composite number?
True
Let j(n) = -39*n**3 - 2*n + 8. Is j(-3) composite?
True
Suppose -695 = -2*p - 5*u, 5*u - u - 698 = -2*p. Is p prime?
False
Suppose -1305 = -2*m - 39. Is m a prime number?
False
Let y(z) = -6*z - 12. Let k(x) = 1. Let d(s) = s**3 - 12*s**2 + 10*s + 12. Let t be d(11). Let h(a) = t*y(a) + 10*k(a). Is h(-2) a prime number?
False
Suppose 7956 = 3*r - f, 2*r - 10609 = -2*r + f. Is r prime?
False
Let u be (-2)/(2*2/(-178)). Is (-1)/(((-3)/u)/3) prime?
True
Let z(c) = -16*c**2 - 5*c + 4. Let y(g) = 47*g**2 + 14*g - 11. Let u be (110/15)/((-4)/(-6)). Let v(j) = u*z(j) + 4*y(j). Is v(-2) prime?
False
Suppose 2*w + w - 14 = 5*o, 0 = -4*w - 5*o + 7. Suppose -w*a + 138 + 147 = 0. Is a prime?
False
Is (4 + -1)/((-51)/(-1139)) a composite number?
False
Is (-4 + 5)/(1/94) a prime number?
False
Suppose -2*n - 134 = -4*x, -3*n = -3*x - 32 + 140. Is x a composite number?
False
Let u(g) = 3*g**2 - 8*g - 13. Is u(9) a composite number?
True
Let h = -66 - -110. Is (2101/h)/((-2)/(-8)) prime?
True
Let c = 476 - 328. Suppose n = 5*n - c. Is n a composite number?
False
Let v = 727 - 428. Suppose -3*g - 92 = -v. Is g composite?
True
Let x = -1234 + 2030. Is x/6 - (-9)/27 a prime number?
False
Let o be 15/(-10)*(-1 - 1). Suppose -2*k - 20 + 52 = 0. Suppose -o*u + k = -26. Is u a prime number?
False
Let p = -4 + 4. Suppose 3*k + 3*y - 2*y + 5 = 0, -3*k + 2*y - 17 = p. Is (-167)/k + (-2)/3 a prime number?
False
Let w(z) be the third derivative of z**4/12 - z**3/3 + 3*z**2. Let s be w(3). Suppose -5*t + 829 = x - 221, s*t - 859 = 3*x. Is t a prime number?
True
Let h(v) = -238*v**2 + 3*v + 1. Let n be h(3). Is 1/(-4) - n/16 a composite number?
True
Suppose 0 = 5*g - 3*g + 2. Let z(b) = -5*b - 1. Let o be z(g). Suppose -2*a + o*a - 98 = 0. Is a a composite number?
True
Let d be 4/(-6) - 66/9. Is 102/(-4)*d/6 a composite number?
True
Let z(m) be the first derivative of 1 + 5/2*m**2 - 2*m + 4/3*m**3. Is z(3) a composite number?
True
Is -10 + 15 + (-2316)/(-2) a prime number?
True
Let d(l) = -20*l - 1. Let g = -6 + 10. Let u = -7 + g. Is d(u) a prime number?
True
Is 6153/(-14)*(-5)/(5/2) a prime number?
False
Let r(b) = -24*b**3 + 2*b**2 - 5*b + 4. Is r(-3) a prime number?
False
Suppose 2*d - 10 = 2*f, 3*f + 25 = -2*f. Suppose 4*c - 98 - 42 = d. Let s = c + 0. Is s a prime number?
False
Let v(o) = -o + 5. Let k be v(7). Is k - (-119 - (-4)/2) prime?
False
Let p(v) = 26*v**2 + v - 3. Is p(-4) composite?
False
Let w(h) = -25*h + 1. Let g(b) = 6*b**2 + 8*b - 8. Let p(l) = -l**2 - l + 1. Let f(n) = -g(n) - 5*p(n). Let d be f(-4). Is w(d) a prime number?
False
Let c = -7 - -11. Suppose z = 5*d - 2 + 196, c*z = -3*d + 799. Is z a composite number?
False
Let k(v) = v**2 + 3*v. Let y be k(-3). Suppose q - 3*j - 229 = y, -4*j - 378 - 299 = -3*q. Is q prime?
True
Suppose -3*b + 37 = k - 2*k, b - 2*k - 19 = 0. Suppose o = b - 3. Let l(s) = s**2 - 7*s - 1. Is l(o) prime?
True
Suppose -4 - 1 = -5*d. Suppose -3*t - d = -n, -5*t + 1 = -n + 2. Is (n/1)/(2/42) prime?
False
Suppose 4*b - 504 = 2*d, -5*d + 5 = -5. Is b composite?
False
Let c = 1073 + -692. Is c composite?
True
Let a be (3/(-2))/(4/8). Let l = 2 - a. Suppose 0 = -2*p + l*y + 168, -4*p - 30 = -4*y - 378. Is p prime?
True
Let g(h) = h**3 + 11*h**2 + 7*h - 7. Is g(-6) a prime number?
True
Let r = 1512 + -321. Is r a composite number?
True
Let c(d) = -1 - 3 + 7 - 16*d + 4. Is c(-7) prime?
False
Suppose 0 = -0*c + 4*c. Suppose c = -4*x - 4*s + 2*s + 244, 0 = -3*x - 5*s + 197. Is x a composite number?
False
Suppose -c + 307 = 116. Is c a prime number?
True
Suppose t + 21 = 5*g + 582, g = t - 569. Is t composite?
False
Is 2952/10 - (-4)/(-20) a composite number?
True
Suppose -4*q + 3*q - 3*r - 11 = 0, r = -5*q - 97. Let m = -5 - q. Is m a prime number?
False
Let y(p) = -p**2 + 4*p + 5. Suppose u = 2*n - 4*n + 7, -3*n = -u - 13. Let a be y(n). Suppose 0*b + a*b - 635 = 0. Is b prime?
True
Let k be 9/6*16/12. Let a be 20/(-6) + k/(-3). Is ((-213)/(-2))/((-2)/a) prime?
False
Suppose 6*z - 2*z + k - 61 = 0, z - 2*k - 13 = 0. Let f(c) = 31*c - 22. Is f(z) a composite number?
False
Let v(w) be the third derivative of w**5/15 + w**4/8 + w**3/6 + 3*w**2. Is v(-2) prime?
True
Suppose 112 = 3*r + 37. Is r prime?
False
Let w(l) = -13*l**2 + l. Let q be w(-1). Let b = q - 1. Is (-102)/b - 3/(-15) prime?
True
Suppose -10 = 2*m - 4, 0 = -3*n - 3*m - 9. Suppose -4*i + n*i + 132 = 0. Is i prime?
False
Suppose 3*r - 1051 - 695 = 0. Let a be (1*2)/(6/r). Let l = -103 + a. Is l a prime number?
False
Suppose 2*n - 4 = -o, 5*n - 6 = 4. Let l(c) = 54 + 2*c - 3*c + 13. Is l(o) a composite number?
False
Let t(w) = -17*w + 2. Let z be t(-2). Is z - (-1 + 4 - 2) composite?
True
L