Suppose -v*y + 21 = 5. Is (-1 + y)/6*158 a composite number?
False
Suppose -137 = -5*y + 3*f, -44 = -4*y + f + 60. Is y - (0 - (-4)/2) a prime number?
True
Let z(w) = -w - 1. Let t be z(-3). Is 74*(t/4 - 0) a prime number?
True
Let o(d) = -d**3 + d**2 - d - 2. Let h be o(-3). Let z = 75 - h. Let n = z + -23. Is n prime?
False
Let q = 5 + -3. Suppose -q*s = -3 + 9, -3*h - 4*s = -561. Is h prime?
True
Suppose -195 = -3*m - 5*r + 232, -m = -4*r - 165. Is m prime?
True
Let u = -1 - -6. Suppose 4*y + 6 = -u*d + 70, 0 = -5*d. Suppose 0 = -4*q - 2*w + y, 6*q - 5*w - 5 = q. Is q composite?
False
Let n(c) = -2*c**2 - 5*c - 7. Let h(k) be the first derivative of 5*k**3/3 + 11*k**2/2 + 15*k - 3. Let z(j) = 6*h(j) + 13*n(j). Is z(4) composite?
False
Is 198/4 + (-15)/(-10) a composite number?
True
Let d(h) = h**3 + 5*h**2 + 3*h - 1. Let s be d(-4). Suppose -1 + s = -k. Is (k + 8/6)*-9 a prime number?
False
Suppose -2*t = -0*t - 5*q - 3367, q + 8452 = 5*t. Is t composite?
True
Suppose 3*o + 4*b - 477 = 0, 203 = 4*o + 4*b - 433. Is o a composite number?
True
Suppose -3*o = -5*d + o - 1465, 2*o = 3*d + 879. Let f = -152 - d. Is f a composite number?
True
Let s be 4 - 0*(-2)/(-6). Suppose -596 = -0*c - s*c. Let h = c + -52. Is h a composite number?
False
Let r(l) be the first derivative of 9*l**2 - 4*l - 2. Let w be r(7). Suppose 3*q - 325 - w = 0. Is q a prime number?
True
Let m = 4 - 7. Let u be ((-10)/m)/(2/3). Suppose u*s = -3*a + 335, -5*a + a = -4*s + 268. Is s composite?
False
Suppose -7*y = -4*y - 5*q + 3, -3*q = 3*y + 3. Is y/2*6 + 22 composite?
False
Is (11930/4)/(-5)*-2 a prime number?
True
Let a = 2519 + -1654. Is a a prime number?
False
Let m be ((-6)/(-2))/3*-1. Is (-1 + m)/(10/(-105)) a composite number?
True
Suppose -n = 3*x - 1301, 2*n + 0*n = -8. Suppose -4*b + b + x = 0. Is b prime?
False
Suppose -v = -163 - 1684. Is v a composite number?
False
Let i = 644 - 33. Is i a composite number?
True
Let m be (-2)/(-6) - 13/3. Let q be ((-4)/6)/(m/18). Is (-2 - q)/((-2)/6) a prime number?
False
Let r be (3*-1)/(-3) + 47. Suppose -5 = -q - 4*f + 1, -4*q + 2*f = r. Let y = 0 - q. Is y composite?
True
Is 1/4 + (-3052)/(-16) a prime number?
True
Let u(d) = -762*d + 1. Let v be u(-1). Suppose 5*m - 2*o - v = -192, 2*m = -o + 223. Is m a composite number?
False
Suppose 45 = -2*k - k. Let y = 25 + k. Suppose 0 = -d + y + 12. Is d a prime number?
False
Let k(p) = 6*p**3 - 1. Let w be k(1). Suppose w*g - 41 - 9 = 0. Is g prime?
False
Let f = 31 + -8. Is f*1*(1 + 2) a prime number?
False
Let c(r) = r**2 + 11*r + 2. Let y be c(-11). Suppose y*f - 50 = -p + 101, 0 = -4*p - f + 618. Suppose -n + p = -0*n. Is n composite?
True
Suppose 4*k = -4*b + 8416, 3*b - 1786 - 308 = -k. Suppose 5*t - 3236 = k. Is t a composite number?
False
Let p = 1384 - 825. Is p a composite number?
True
Suppose -g + 2*g = -40. Let y = -18 - g. Is y prime?
False
Suppose -3*x + 10 - 4 = 0. Is (-1)/(1/(-26)*x) a prime number?
True
Suppose a - 3*c - c = 23, -4*a + 3*c = -27. Suppose a*b = b + 70. Is b a prime number?
False
Let t = 7469 - 4012. Is t composite?
False
Suppose 14*l = 19*l - 1595. Is l a composite number?
True
Let i be (12/10)/(8/20). Suppose i*p + p + 2*u = 222, 0 = -2*p - 2*u + 112. Is p a composite number?
True
Suppose -2*k + 7*k = 0. Suppose 5*i - 5 - 10 = k. Suppose 387 = i*l + s - 4*s, -5*s + 419 = 3*l. Is l a composite number?
True
Suppose p = 3*w - 2*p, 5*w + 3*p - 32 = 0. Suppose 4*a = w*s - 12, s + 4*a = 9 - 1. Suppose 4 = 2*l, l + s*l = -5*z + 395. Is z a composite number?
True
Let w(f) = 702*f**2 - f - 2. Is w(-1) prime?
True
Suppose 2*c - t + 4 = t, 4*t - 32 = -4*c. Suppose -c*b = b. Let j = b - -35. Is j prime?
False
Suppose 4*y = 108 + 44. Suppose -7*g + 5*g = -y. Let t = 28 + g. Is t a prime number?
True
Let m = -53 + 664. Is m a prime number?
False
Let l(u) = -u**3 + 9*u**2 - 9*u - 9. Let a = -5 + 2. Let t(r) = -r + 4. Let v be t(a). Is l(v) composite?
True
Let t be 1 - 1 - (-4 - 112). Let f = t - 19. Is f a prime number?
True
Suppose -2*a = 4*a - 3342. Is a prime?
True
Suppose -4*z + 4*i + 8 = 0, 3*i - 4*i + 3 = 0. Suppose -2*w - 2*w + 53 = z*g, -5*w = -4*g - 56. Suppose 0 = -y - 2*c + 3 + w, 0 = -5*c. Is y a composite number?
True
Suppose 2*c - 115 = 117. Let a = c + -49. Is a a composite number?
False
Is (12 + -10)*157/2 composite?
False
Suppose 0*a + a - 632 = -2*t, -4*a = -5*t + 1554. Is t prime?
False
Let z = 84 - -300. Suppose -z = -5*i + 231. Is i prime?
False
Let s be 0/(-3 + 1) + -5. Let j(d) = -d**3 - 4*d + 3. Let h be j(s). Suppose h = 2*r - 6. Is r a prime number?
False
Let l(q) = 5*q**2 - 12*q + 6. Is l(11) prime?
True
Is (0 - -2)*1477/2 a prime number?
False
Let s be 3/((-20)/21 + 1). Let c = s - -79. Is c a prime number?
False
Let g = 7 + 0. Suppose g*i - 2*q = 2*i + 35, q + 25 = 4*i. Suppose -726 = -i*t + 59. Is t composite?
False
Let d = -492 + 1633. Is d prime?
False
Suppose -11*f + 1255 = -6*f. Is f a prime number?
True
Suppose 0*r + 1676 = 4*r. Is r a prime number?
True
Let o(f) = f**3 + 3*f**2 - 2. Let r be o(-2). Let p be (-20)/15 - (-26)/6. Suppose -5*k = -3*h - 326, -5*k - r*h = -p*k - 140. Is k composite?
False
Is (2 - -1) + 0 - 23832/(-9) prime?
False
Let y = -249 + 492. Suppose -6*v = -3*v - y. Is v + -4 + -2 + 2 prime?
False
Let n be -1*(-1 - -1 - -12). Is 1/4 + (-1305)/n a composite number?
False
Let v(k) = 33296*k**2 + k - 1. Let r be v(1). Let s be r/20 + (-1)/(-5). Suppose 5*y - 507 = 5*p - 2167, 5*p - 4*y = s. Is p composite?
False
Let g(z) be the second derivative of z**3/6 - z**2/2 + z. Let f be g(6). Let j(k) = -k**3 + 7*k**2 - 6*k + 1. Is j(f) a prime number?
False
Let i(u) = u**3 - u**2 + 481. Is i(0) prime?
False
Let b(v) = v - 1. Let z be b(0). Let q be ((-13)/(-2) + z)*-2. Let o = q - -36. Is o composite?
True
Let p = 376 - 81. Suppose -4*y + p = -81. Is y a prime number?
False
Suppose w - t - 99 = 2*t, 404 = 4*w - 4*t. Suppose -2*v + w = -196. Is v a prime number?
True
Let j(w) = 2*w - 2. Let k(z) = 2*z - 3. Let d(t) = 3*j(t) - 2*k(t). Let q be d(2). Suppose 66 = -q*x + 6*x. Is x a prime number?
False
Let y(h) = 44*h - 1. Let k be 2 + (8 - 3 - 1). Is y(k) a prime number?
True
Suppose 4*f - 16 = -0. Suppose -5*u + 80 = f*q, -2*u + 3*q + 21 = u. Is (-73)/(-2) + u/(-8) a composite number?
True
Let z = 10261 + -6414. Is z a composite number?
False
Suppose 0 = -4*i + 4*w + 1528, 2*i - w - 1255 = -492. Is i a prime number?
False
Let f = 302 - -52. Suppose 3*b + 452 = -2*y, -5*y - 1105 = 4*b - 9*b. Let i = y + f. Is i prime?
True
Suppose 0 = t - 3*h - 87, 5*h + 182 = 2*t + 3*h. Is t composite?
True
Suppose -2*p + 1489 = -85. Is p a prime number?
True
Is (-80 + (2 - 1))/(-1) prime?
True
Let n(q) = -76*q - 61. Is n(-12) composite?
True
Let i(m) = 9*m + m**2 - 2*m - 1 + 4. Is i(-8) a prime number?
True
Suppose -1343 - 134 = -7*w. Is w prime?
True
Let m = 4 - 4. Suppose -n = -m*n. Suppose -3*r - 45 = -2*w, 5*r + n = -w - 10. Is w a prime number?
False
Suppose 15 = 2*i + 3*i. Suppose -i*k - 8 = 7. Is 0/(-1) - (k - 2) a composite number?
False
Let o(l) = -l**2 - 1. Let q(a) = -4*a**2 + 5*a - 2. Let c(b) = 2*o(b) - q(b). Suppose 2*v - 5*d - 15 = 0, 0*v - 22 = -4*v + 2*d. Is c(v) prime?
False
Let x = -6 - -3. Let l = -7 - x. Let h(k) = -k**3 - 3*k**2 - 5*k + 2. Is h(l) a composite number?
True
Let w = 223 + -158. Is w composite?
True
Let j(t) = 37*t**2 + 3*t - 3. Let k(d) = -19*d**2 - 2*d + 2. Let b(n) = 3*j(n) + 5*k(n). Is b(-2) prime?
True
Suppose -5*z + 3 = -22. Let x = 88 + -1. Suppose -5*o + x = 4*h, -2*o = z*h - 6 - 22. Is o a composite number?
False
Suppose -s = 5*x - 445, 6*s - 3*x - 1263 = 3*s. Let n = s - 298. Is n a prime number?
True
Let y(a) = -16*a - 1. Let n be y(3). Let d = n - -5. Is d/(-2)*2/4 prime?
True
Suppose i - 198 = -2*p, 5*i - 2*p - 676 = 278. Suppose 3*x + i = 5*c + x, 4*c + 5*x = 147. Is c prime?
False
Suppose 5 = q - 10. Is q prime?
False
Let y be 1/(((-3)/21)/(-1)). Let i = y - 5. Suppose -a + i*f + 10 = -21, 2*a = 5*f + 58. Is a prime?
False
Let g(c) = 4*c - 11. Suppose o - 3 = -1. Let a be (3/o)/((-6)/(-32)). Is g(a) a prime number?
False
Suppose -1144 = 2*f - 6*f. Suppose -z + 474 = 5*n, -3*n = -2*z + z - f. Let o = n - 58. Is o a prime number?
True
Let x be 3*(-2)/(-3 - -1). Suppose g + 0 = x. Is g