True
Let x = 1042 + -485. Is x a composite number?
False
Let s(c) = 28*c**2 - c - 1. Let j be s(4). Is 6/(-27) + j/9 prime?
False
Let f be 3 + -2 + -1*1. Suppose 0 = 3*k - f*k + 87. Let d = 43 + k. Is d composite?
True
Suppose z - 3*d = 4*z - 1563, -3*d = 5*z - 2605. Is z a composite number?
False
Suppose -11*w - 9977 = -22*w. Is w composite?
False
Let t(g) = -187*g**3 - 2*g - 2. Is t(-1) prime?
False
Let t be (1 + -187)*1/(-3). Suppose t = v + v. Is v composite?
False
Let n = -35 - -49. Let v = -11 + 11. Suppose 3*w - n = -h, 0 = 5*h - v*w + w - 126. Is h composite?
True
Let s(c) = -c + 10. Let w be s(7). Suppose 3*a - a + 2 = 0, -3*y + 366 = -w*a. Is y prime?
False
Let w(y) be the third derivative of y**4/8 - 17*y**3/2 - y**2. Let m(z) = -z. Let k(s) = -4*m(s) - w(s). Is k(0) a composite number?
True
Let w = 196 - -15. Suppose 3*d - w = 2*d. Is d composite?
False
Let f(j) = -j**3 - j**2 + 2*j + 1. Let s be -1 - (-2)/(2*-1). Let g be f(s). Is (11 + (-1)/g)/1 prime?
False
Suppose 5*f = -47 + 1147. Suppose -3*m = 2*m + f. Let c = m + 123. Is c a prime number?
True
Let b(f) = 3*f + 6. Let z be b(-4). Let s = 10 + z. Suppose 75 = c + s*c. Is c a composite number?
True
Let a(c) = c**2 - 2*c + 8. Let s be a(6). Suppose 2*z = -t, -2*t + z = -3*z - s. Suppose d = -2*g - 1, g - 4*d + t = 30. Is g a prime number?
True
Is 89*2*(-4)/(-8) a composite number?
False
Suppose 5 + 9 = -p - 4*i, -p - 18 = 5*i. Suppose 0 = 6*j - j + 20, -p*j = 4*x - 44. Is x a prime number?
True
Suppose 4*g - 374 = -34. Is g a composite number?
True
Let k = -1 + 1. Let g(x) = -3 + 1 + k + 1 - 16*x. Is g(-5) a composite number?
False
Let a(f) = -11*f**2 + f. Let q = -3 + 2. Let i be a(q). Let r = 33 + i. Is r a prime number?
False
Suppose 0 = -8*c - 2*c + 790. Is c a prime number?
True
Let d = 59 - -28. Is d a composite number?
True
Let g = 9 + -5. Suppose 2*z = -5*t - 3*z + 825, -g*z = -5*t + 789. Is t prime?
False
Suppose 0 = -2*a + 5*d + 325, 4*a + 4*d - 398 - 210 = 0. Is a composite?
True
Let j(s) = s - 2. Let q be j(5). Suppose q*b - 4 = 2. Is b/(((-6)/33)/(-1)) a composite number?
False
Suppose q + f = -q + 266, -3*q = 2*f - 397. Let a be -232*-1*(1 + 0). Let v = a - q. Is v composite?
False
Suppose -5 = 3*l - 221. Suppose 5*v + 118 = i, 0*v + i - l = 3*v. Let g = -14 - v. Is g a composite number?
True
Suppose 6*a = 2*a + 20. Suppose -g - 4*s + 169 = 2*g, a*g = -5*s + 275. Is g prime?
False
Is 9/6*(-4434)/(-9) composite?
False
Suppose 6 = d + l, -2*l - 2*l = d - 15. Suppose 0*g + d*g - 129 = 0. Is g a composite number?
False
Suppose 2*j + 4*t + 186 = 0, 0 = 5*j + t + 161 + 259. Let n = 30 - j. Is n prime?
True
Let t(k) = k**2 - 6*k + 4. Let d be t(6). Let n(f) = f**3 + 2*f**2 - 3*f - 7. Is n(d) composite?
True
Let p(x) = 9*x**2 - 3*x + 5. Is p(-7) a prime number?
True
Let b(j) = 3*j**3 + j**2 + j - 1. Let l be b(1). Let c be 20/l - (-2)/(-1). Suppose -18 = -4*h - c*t, -4*h + 12 = -3*h - 3*t. Is h composite?
True
Let b(n) = -n**3 + 6*n**2 - 3*n + 6. Let a be b(8). Let k = -25 - a. Is k a composite number?
True
Let j(m) = -m**2 - 7*m - 5. Let i be j(-6). Let x be 16/24*(i + 2). Suppose -r - 2*r + 409 = x*q, 5*r + q = 670. Is r composite?
True
Suppose -k = -504 - 487. Is k prime?
True
Let d(o) be the second derivative of -147*o**5/20 - o**4/6 + o**2/2 + 3*o. Is d(-1) composite?
True
Suppose 0*z + 20 = 3*z - 5*x, -4 = x. Suppose z = -5*g - 2*w + 195, -g + 6*g = 2*w + 175. Is g prime?
True
Suppose 3*p - 9 = 0, 0*h = -4*h + p + 2977. Is h composite?
True
Let k be (-2)/4 - 1386/(-28). Is (-7)/k - (-2088)/14 prime?
True
Suppose 4*r - 76 = 4*x, -23 = -r - 4*x + 6*x. Let q be 177*(r/9 - 1). Suppose -t + 9 = -q. Is t a prime number?
True
Suppose -4*p - 356 = -8*p. Is p composite?
False
Let d = -65 - -129. Let o = d - -27. Is o a composite number?
True
Is ((-6)/(-4))/((-1)/(-34)) a composite number?
True
Suppose 0*j - 9 = -j. Let n = j - 6. Suppose 2*s - 155 = -n*s. Is s composite?
False
Suppose -t - 2 = -2*t. Suppose t*f - 13 - 73 = 0. Is f prime?
True
Let s(a) = -a**3 - 2*a - 1. Is s(-2) prime?
True
Let q = 24 + 2. Suppose -3*y = 2*y - 25. Let b = q + y. Is b composite?
False
Let p = 8 + -10. Let k(h) = -16*h**3 - h**2 + 4*h + 3. Is k(p) a composite number?
True
Suppose 10*a - 32976 - 394 = 0. Is a composite?
True
Suppose 0 = -0*g - 5*g + 130. Suppose w - 4*b = 31, 0 = -w - b - 5 + g. Is w prime?
True
Suppose -5*i = -12 - 8. Let n(v) = -9*v - 11 + 18*v + i + 12*v. Is n(8) composite?
True
Let s(t) = t**2 - 4*t + 2. Let y be s(5). Suppose 5*a = -2*f + 163, -5*f + 457 = -y*a + 3*a. Is f composite?
False
Let r = -1262 + 2059. Is r a prime number?
True
Suppose 0 = 3*a + 3*v - 18, -6 = -2*a - 4*v + 12. Suppose 0*q - a*q + 483 = 0. Is q composite?
True
Let s be (4 - 0)*26/4. Suppose s = v - 0*v - 2*p, 0 = -3*p - 6. Is v composite?
True
Let c be (-47 + 3 + -2)/2. Let t = c - -102. Is t prime?
True
Suppose k - 92 = 5*q, 0 = -k - 2*q - q + 68. Suppose u - k = 20. Is u a prime number?
True
Let d = -2 + 4. Let r be ((-12)/2)/(-1*2). Suppose -r = d*y - 65. Is y prime?
True
Suppose -6 = -4*c + n, 0 = 3*n + 2*n - 10. Suppose c*z + 0*z - 106 = 0. Is z composite?
False
Suppose -q + i = -0*i + 88, i - 364 = 4*q. Let w = q + 212. Suppose 3*s + w - 753 = 0. Is s composite?
False
Suppose l + 1455 = 4*l. Is l a composite number?
True
Let r = -35 - -79. Let n = 49 + r. Is n composite?
True
Let y be -3 + 34 + (-9)/3. Suppose 3*i - 9 - 30 = 0. Let d = y - i. Is d prime?
False
Is (2/3)/((-2)/(-159)) a composite number?
False
Let u(l) = -76*l + 1. Is u(-5) a composite number?
True
Let l(m) = 3*m**2 + 5*m - 11. Let b be l(-9). Let v = -134 + b. Is v composite?
False
Suppose 380 = 4*n - 436. Suppose -n = 5*o - 619. Is o a composite number?
False
Suppose 0 = r + 4*z - 69, -5*r - 5*z = -0*z - 330. Let u be 12/(6/(-2))*11. Let x = r + u. Is x prime?
False
Let w be (-136)/12*(-117)/6. Let a = w + 84. Is a prime?
False
Suppose -12 = 3*v + v, 0 = -3*i + 3*v + 48. Suppose -j + 7 = l, -l - i = -3*j - j. Suppose l*o = 4*o + 3*y - 61, -4*o = 4*y - 260. Is o a prime number?
True
Suppose -6462 - 646 = -4*m. Is m a prime number?
True
Let u be (-4 + 8)*(-6)/(-8). Suppose 0 = u*q - 7*q + 56. Is q a prime number?
False
Let n(h) = -7*h - 3. Let a(z) = 22*z + 8. Let p(g) = 5*a(g) + 16*n(g). Let o be p(-6). Suppose o*u = 6*u - 118. Is u prime?
True
Let r = -193 + 284. Suppose r = 4*w - 217. Is w a prime number?
False
Suppose 0 = b - 4 + 16. Let f = b + 3. Is 627/27 + 2/f composite?
False
Let f = 10 - -21. Is f composite?
False
Suppose -v - 78 = -2*y, -3*y - 3*v + 32 = -2*y. Is y prime?
False
Suppose 4*q = 13 + 7. Suppose k - 3*g - 16 - 4 = 0, -q*k = -3*g - 52. Suppose 0 = 4*u - 2*u - k, -u = -2*c + 102. Is c a composite number?
False
Let l = -97 + 452. Suppose -5*s + 130 = -l. Is s composite?
False
Let l be 3/(-5) - (-12009)/15. Suppose 5*z - 3*w - l = 0, -3*w = 2*z - 235 - 64. Is z a prime number?
True
Let g = 58 - -207. Is g composite?
True
Let q(i) = i**3 - 2*i**2 + 1. Is q(4) a prime number?
False
Let n be (3 - 3 - -1)*276. Suppose -3*b + 5*k = -n, -b + k + 75 = -19. Is b composite?
False
Let l be (3/6)/((-2)/(-20)). Suppose l*m = m + 796. Let y = m - 108. Is y a prime number?
False
Suppose 146 = 2*r + 2*z + 2*z, 4*r - 3*z - 347 = 0. Suppose s + 3*s - 5*v - 61 = 0, r = 5*s - 4*v. Is s a prime number?
True
Let d = -1 + 5. Suppose -d*m - 4 + 28 = 0. Is (-3 - -1)*(-117)/m a composite number?
True
Suppose 0 = g + 2*g + 9. Let y(z) = 14*z**2 + 2*z + 1. Let r be y(g). Suppose -a = 36 - r. Is a a prime number?
False
Let r be ((-36)/(-5))/((-9)/(-30)). Let p = -7 + r. Suppose 107 = 4*w - p. Is w a composite number?
False
Let q = -38 + 53. Suppose v - 80 = -q. Is v composite?
True
Suppose 2*x + 12 = 4*k + 80, 5*x - 3*k - 170 = 0. Suppose -2*y + 5*v + x = 0, -5*y + v = -147 + 39. Is y a composite number?
True
Let z(w) be the first derivative of w - 1 + 6*w**2 - 2 + 0. Is z(9) prime?
True
Suppose 6 = -2*o + 3*u, 4*o + 2*u = -2*u + 28. Let a be 4/6 - (-3670)/o. Is 4/(-14) - a/(-21) a prime number?
False
Suppose 2*h - 1588 - 114 = 0. Is h a prime number?
False
Let p(w) = -12*w + 11. Let n(t) = 12*t - 12. Let c(x) = -2*n(x) - 3*p(x). Is c(8) a prime number?
False
Let g = -4 - -4. Suppose -3*o + 6 = g, -2*z + 3*z + 3*o = 12. Suppose -b 