= -d*f. Is f composite?
True
Let y = -2 - 4. Is y/9*2499/(-14) composite?
True
Let x be ((-6704)/12)/((-2)/3). Suppose -5*s = 3*y - 991 - x, 2*y = -2*s + 730. Suppose s = 4*v + 5*a, -v - 276 = -4*v - 3*a. Is v a composite number?
True
Let r(l) = l**2 - 6*l - 8. Let y be r(6). Let p(b) = 1 - 4*b + 0 + 4. Is p(y) a composite number?
False
Is (-2122)/(-8) - 2/8 a composite number?
True
Is (-4)/(-26) + (-4780)/(-26) - -3 a prime number?
False
Let m(b) = 3*b + 1. Let w be m(1). Suppose 4*v = 4*f + 4, -2*f + 0 = -w*v + 6. Is 29 + -2 + v + 2 composite?
False
Let a(i) = -i**2 - 3*i + 2. Let m be a(-4). Let l be (-6 + m)/((-4)/158). Suppose -4*w = 4*q - l, 2*q = w - 0*w - 91. Is w prime?
True
Let y(v) = v + 79. Suppose 3*k = 2*k. Is y(k) composite?
False
Suppose 13 = 3*p - 5*a, 6 = -4*p - 4*a + 2. Let k be 14/(1/1 + p). Let d = 84 - k. Is d composite?
True
Suppose -3*v = -7*v + 8. Suppose 3*p = -4*a + 215, v*p + a = 7*p - 389. Is p a composite number?
True
Is (153/18)/(2/52) a composite number?
True
Suppose 12 = i + i. Let n = i + 121. Is n composite?
False
Let y(k) = k - 1. Let f be y(5). Let q = 19 + f. Is q prime?
True
Let f(h) = -3*h - 4. Let i(k) = -10*k - 11. Let j(s) = -7*f(s) + 2*i(s). Let t = -1 + 1. Is j(t) prime?
False
Let s = -299 - -117. Let g = 339 + s. Is g a composite number?
False
Let f be (0 + 2)*(-5)/2. Let y = 1 - -9. Is (-195 + 1)*f/y a prime number?
True
Let b be (0/(-1) - -5)*-1. Let y(d) = -11*d**2 + 10*d + 14. Let i(o) = 4*o**2 - 3*o - 5. Let q(w) = -8*i(w) - 3*y(w). Is q(b) prime?
True
Let j(x) = -x**2 + 3*x. Let v be j(3). Is 21 + (-1 + v - -3) composite?
False
Let l(z) = -z + 10. Let o be l(8). Is ((-6)/(-4))/(1/o) composite?
False
Is -2*-526*2/8 a prime number?
True
Let v(u) = 525*u**3 + 2*u**2 + 2*u - 3. Is v(1) a composite number?
True
Let x(h) = h**3 + 13*h**2 - 4*h + 19. Is x(-12) a composite number?
False
Let i be (0/((-1)/(-1)))/(-1). Suppose i*k + 39 = k. Is k a prime number?
False
Is 4 - (280/(-1))/4 a composite number?
True
Let k = -848 + 1815. Is k a composite number?
False
Let t(j) be the first derivative of -j**4/4 - j**3 + 7*j**2/2 + j - 2. Is t(-6) a composite number?
False
Suppose -j - 439 + 21 = 0. Let t = -233 - j. Suppose 37 - t = -4*m. Is m composite?
False
Suppose 0 = -5*l + u + 15, -1 - 11 = 4*l + 4*u. Suppose 42 = m + l*m. Is m composite?
True
Let m = 25 - 4. Is 784/m - (-1)/(-3) a prime number?
True
Let d be 4/8 - 167/2. Let n = d - -130. Is n a prime number?
True
Let a be 54 + 2 + 2*-1. Suppose 12 - a = -g. Is (g/7)/((-2)/(-13)) a prime number?
False
Let h(v) = -417*v - 85. Is h(-8) prime?
True
Let t = -3 + 11. Suppose -2*z + t = 2*z. Suppose 0 = z*p + 2*p - 220. Is p a composite number?
True
Let l = 61 + -26. Suppose -3*n + i - 5*i + l = 0, -n = -5*i + 1. Let p = 62 - n. Is p prime?
True
Let n(h) = 15*h**2 + 4*h + 5. Suppose -22 = -0*s + 4*s - g, 0 = 5*s - 5*g + 35. Let f be n(s). Suppose -4*j - 124 = -f. Is j a composite number?
False
Let k(c) = 2*c + 97. Is k(0) prime?
True
Let q(o) = 2*o + 1. Let h(f) = f. Let r be h(10). Let n be ((-12)/r)/(4/(-30)). Is q(n) prime?
True
Let q(r) = r**3 - 7*r**2 + 8*r + 3. Suppose 4*j = -j + v + 32, 0 = 4*j - 3*v - 30. Is q(j) a composite number?
True
Let h = 0 - -2. Suppose 0 = -4*a + 4, -132 = -2*z + h*a + 78. Is z composite?
True
Suppose 2*d - 125 + 1430 = 5*m, 2*d - 10 = 0. Is m prime?
True
Let y be 2*(-2)/(-4) + 0. Let c(d) = 4*d**3 - d + 1. Let r be c(y). Suppose -g = 4*j - 152, -j + 140 = 3*j + r*g. Is j prime?
False
Let i be 312*(-5)/(-4)*3. Suppose 5*h + 5*c = i, -6 = 4*c - 2. Is h a composite number?
True
Is ((-37)/(-3))/(62/(-21) - -3) composite?
True
Let c(o) = -10*o + 29. Let p(s) = -3*s + 10. Let v(z) = 3*c(z) - 8*p(z). Is v(-5) prime?
True
Let f(a) = 162*a**3 - a. Let i be f(1). Suppose -l + i = 3*u, 4*l - 3*l = -u + 153. Is l prime?
True
Suppose -5*x = -3*r + 4532, -5*r = -3*x - 6538 - 1026. Is r a prime number?
False
Suppose z + 16 = 2*z. Is 138/4 + 8/z composite?
True
Suppose 3*l + l - 12 = 0. Suppose 5*w = -3*x + 302, 124 + 46 = l*w - x. Is w a composite number?
True
Is 255*(3 - 2) + -4 a composite number?
False
Suppose 123 = f - 4*l, f + 2*f + 2*l - 383 = 0. Is f a prime number?
True
Suppose 3 = 3*t - 4*d, -4*t + 3*d + 5 = -6. Suppose t*r - 2*n - 61 = n, 0 = -3*r + 4*n + 41. Is 361/r - 8/(-44) composite?
True
Let v(w) = 5*w**2 + w + 1. Let t be v(-1). Let f(d) = 10*d - 11. Is f(t) prime?
False
Let l be -50*(-3)/18*-3. Let s = 92 + l. Is s a composite number?
False
Let c be 4/(-14) - (-93)/7. Suppose c*h + 155 = 14*h. Is h a prime number?
False
Let h(p) = 5*p + 8. Let i be h(-7). Let q = i + 62. Is q a prime number?
False
Let s = 262 + 7. Is s composite?
False
Let k = -10 + 103. Is k a prime number?
False
Suppose -2*l = 3*l - 15. Suppose l + 281 = 4*n. Is n composite?
False
Suppose 0 = 2*y - 2*w + 5*w + 5, 4*y - 2 = -2*w. Is 2724/28 + y/(-7) prime?
True
Let c(k) = -k**3 + 4*k**2 + k - 6. Let t be c(6). Let f = -37 - t. Is f a prime number?
False
Is (-326)/12*(1 + -7) prime?
True
Let g(n) be the first derivative of -4*n**3/3 - 3*n**2/2 + 2*n + 2. Let d(q) = -q**2 - q + 1. Let o(l) = 3*d(l) - g(l). Is o(6) prime?
True
Let t(n) = -4 + 2*n**2 - 2*n + 2 - n**2. Let u be t(-6). Is (4 + 0)*u/8 a composite number?
False
Suppose -3*l + 646 + 1511 = 0. Is l prime?
True
Let b be (-1791)/(-18) - 1/2. Suppose -b = -4*i + 73. Is i a prime number?
True
Let c(k) = k**3 - 2*k + 2. Let x = 13 + -9. Suppose d + 5*i - 28 = 0, 3*d - x*i - i = -16. Is c(d) a prime number?
True
Let k be 4/((-4)/(-3)) + 12. Let y be ((-188)/(-5))/(3/k). Suppose q - y = -3*q. Is q prime?
True
Suppose -331 = 6*h - 2533. Is h a composite number?
False
Let j = 26 + -37. Let t = -4 - j. Is t composite?
False
Let v(f) = -f**3 - f**2 + 65. Let w = 7 - 7. Is v(w) composite?
True
Is ((-5)/3)/(-5)*3771/3 prime?
True
Suppose -8 = -h - 3*n, -n + 10 = 3*h + n. Suppose h*q - 10 = 2*y, -y - 4*q - 9 = 1. Is 1/(3/y) + 23 composite?
True
Suppose 0 = -4*f + 7 + 1. Is ((-1 + -1)*-19)/f prime?
True
Let d(q) = q**3 + 14*q**2 - 13*q + 5. Is d(-12) prime?
True
Let p be 0 + -2 - 0 - -6. Is -2*(2 + (-306)/p) a prime number?
True
Let f be 0 - -11*-6*1. Let o = -94 - f. Is (o/20)/(1/(-5)) prime?
True
Let t = 26 - -67. Let w = -7 - -9. Suppose w*z + t = 5*z. Is z prime?
True
Suppose -2*l - b - 3*b = 54, 3*l + 5*b + 83 = 0. Is (l/(-4))/(6/264) composite?
True
Let s be ((-16)/6)/(16/(-72)). Is -44*1*(-213)/s composite?
True
Let c(f) = f**2 + 3*f - 1. Suppose -3*h = -2*h + 10. Is c(h) a composite number?
True
Let x(c) = c**2 - 2*c + 1. Let u(y) = -y + 1. Let t be u(-2). Let n be x(t). Is ((-134)/n)/((-3)/6) composite?
False
Suppose 3*h - 6 = 0, 2*j - h - 1885 = 47. Is j a prime number?
True
Let o(s) = 4*s**2 - 4*s + 2. Let y be 1/(3*1/9). Suppose 2*p - 16 = -y*m - m, -3*p = -3*m + 3. Is o(p) prime?
False
Let k = -1 + 212. Is k composite?
False
Let d be 15/4*(53 + -1). Suppose w + d = 4*w. Is w a composite number?
True
Suppose -5*d = 5*n + 35, -5*d - 5*n - 40 = -n. Is 2/d + (-3974)/(-12) prime?
True
Is 14/(-4)*(-118 + 0) prime?
False
Let j = -38 - -64. Is j a composite number?
True
Is 1462/3 + 2/(-6) composite?
False
Suppose -14*i + 67518 = 15592. Is i a composite number?
False
Let w(k) = -2*k + 8. Let g be w(-12). Let c = -268 + 403. Suppose -z - s = -g, -4*z + 3*s = -0*s - c. Is z a composite number?
True
Let h = 7 + -4. Let i be (18/h - 1) + 0. Suppose -i*j = -4*k + 75 - 25, 32 = 2*k + j. Is k prime?
False
Suppose -6*z + 5*z = 0. Suppose l - 5*l = z. Suppose l = 2*w - 28 - 46. Is w a prime number?
True
Is (1/(-3))/(1145/573 + -2) a composite number?
False
Suppose -5*g + 5*a = -40, 2*a + 4 = -3*g + 3. Suppose -g*f - 3 = -120. Let d = f - 28. Is d a prime number?
True
Let j be (13 + -3)/((-1)/(-6)). Let n = -23 + j. Is n a prime number?
True
Let o(g) = -868*g + 51. Is o(-7) prime?
False
Let l = 281 - -32. Let s = l - 186. Is s a prime number?
True
Let n(m) = m**2 - m + 1. Is n(-5) prime?
True
Suppose 2*x + 2*r = 4, 5*r = 5*x + 2*r - 10. Suppose 222 = 5*t - x*t. Is t composite?
True
Let k(x) = x**2 - 4*x. Let u be k(5). Suppose -13 = -4*l + 3*a, -2*l - 3*a = 2*a - 13. Suppose -2*f - 334 = -l*h, 4*f = -u*h - 0*f + 437. Is h prime?
False
Suppose -339 = 3*g - 3*q, 4*g + 5 = -q - 467. Let l = -83 - g. Is l a composi