rue
Let p be -1 + ((-6)/3)/(-1). Let n = 6 + p. Is n composite?
False
Let j = 4209 - 2950. Is j composite?
False
Let m(j) be the third derivative of 0*j - 1/6*j**4 - 3*j**2 + 1/2*j**3 - 2/15*j**5 - 1/120*j**6 + 0. Is m(-8) a prime number?
False
Let m(p) = -23*p**2 - 10*p + 20. Let s be m(9). Let k = s - -2822. Is k a composite number?
True
Let b = -7 + 9. Suppose -b*u - 6 = -2. Is u/(((-2)/(-293))/(-1)) prime?
True
Suppose 0 = 2*z + 3*z. Suppose 2*v - 4*v + 134 = z. Is v prime?
True
Suppose -6 = -5*a + 4. Suppose -5*u + 160 = 5*b, a*u - 4*u + 84 = -2*b. Is u a composite number?
False
Suppose -4*v + b + 3 = -2*b, 5*v - 18 = -b. Let y be (-6)/((2 - 4) + 0). Is v/(y/17) - -2 prime?
True
Suppose s - 460 = -3*s. Is s a prime number?
False
Let i(k) = 645*k + 2. Is i(1) a prime number?
True
Let k be (6 + -10)*2/(-4). Suppose v = k*v - 265. Is v a prime number?
False
Let r(v) = -v**3 + 10*v**2 - 5. Suppose 20 = 3*s - 7. Let i = -3 + s. Is r(i) a composite number?
False
Let i(q) = -q + 1. Let h be i(-1). Let y(w) = -1 + 6*w**2 + 6*w - w**3 - 3 + h. Is y(6) a prime number?
False
Suppose 93 = 3*u - 3*k, -2*k = 2*u - 30 - 32. Is u prime?
True
Let c(l) = -l**2 + l + 83. Let m be ((-6)/(-3) - 2)/(-1). Is c(m) prime?
True
Is 235 - 0 - (0 - -2) a prime number?
True
Let g be (-12)/9*3/(-2). Suppose 5*s = g*t + 115, -s - 4*t = -6*t - 23. Is s a composite number?
False
Let n(d) = -51*d - 14. Let a(t) = -51*t - 13. Let r(i) = -4*a(i) + 3*n(i). Is r(12) prime?
False
Let k(s) = -s**3 + s**2 - s - 1. Let d(c) = 10*c**2 + 8*c + 4. Suppose 5*n - 2 = 2*o, -n - 7 = 3*o - 4. Let x(b) = o*d(b) + k(b). Is x(-8) prime?
True
Let g = -488 - -697. Is g a prime number?
False
Suppose -2*h + 4*j + 11190 = 0, 14854 = 5*h + j - 13099. Is h a composite number?
False
Let r(h) be the second derivative of -1/12*h**4 + 0*h**3 - 2*h + 0 + 23/2*h**2. Is r(0) composite?
False
Let h = 9 - 13. Suppose 0*o = 3*o + 1602. Is h/10 + o/(-10) a composite number?
False
Let d = -2654 + 5721. Is d prime?
True
Let o(j) = 5*j**3 + j**2 + 5*j - 19. Is o(10) a prime number?
False
Let y be 1/(-3) + (-13)/(-3). Let d(a) = -3*a + 4*a**2 + a + 1 - 2*a - a**2. Is d(y) composite?
True
Suppose 0 = 5*f + 10, y + f = -f + 4. Let t be (-178)/(-6) + y/(-12). Let b = t + -16. Is b a composite number?
False
Let p(t) be the third derivative of 5*t**6/24 - t**5/30 + t**4/12 - t**3/6 + 4*t**2. Let a be p(1). Is (104/a)/((-1)/(-6)) prime?
False
Let o(v) be the second derivative of v**7/630 + v**6/360 - v**5/120 + v**4/6 - 2*v. Let w(m) be the third derivative of o(m). Is w(-5) a composite number?
False
Let q(v) = -v. Let h(s) = -3*s. Let a(b) = 2*h(b) - 5*q(b). Suppose 3*l + 2 = 2*l - 3*y, 2*l + 19 = -y. Is a(l) prime?
True
Let z = 1994 + -1057. Is z a composite number?
False
Suppose -26 - 189 = -x. Is x composite?
True
Let o(k) = -13*k**2 - 3*k + 17. Let c(u) = -6*u**2 - 2*u + 8. Let d(a) = -7*c(a) + 3*o(a). Let p be 22/4 + (-2)/4. Is d(p) a prime number?
False
Let c(f) = -618*f + 17. Is c(-10) a composite number?
False
Suppose g + 3*q = 195, 3*g + 396 = 5*g + 3*q. Let l be (3/(-2))/3*-8. Suppose k + g = l*k. Is k a prime number?
True
Suppose m + 793 = 3*k - 0*m, 8 = 4*m. Is k a composite number?
True
Let x(r) = r**3 + 9*r**2 + 7*r. Let k = 16 + -23. Let d be x(k). Is d*1 + (1 - 1) a prime number?
False
Suppose -4*k + 737 = 261. Is k a prime number?
False
Let s = 877 + -404. Is s a prime number?
False
Let y(h) = -h**2 + 5*h - 4. Let u be y(3). Let d = -49 - -42. Is 5 - d - 1*u prime?
False
Suppose -3*q + 6*q = 33. Let d(r) = r + 2. Is d(q) a composite number?
False
Let y be ((-6)/(-3) + -2)/2. Suppose -u + 201 = -y*u. Suppose 0 = 6*r - 3*r - u. Is r a composite number?
False
Let c be 1*(0 + -2) + 5. Is (-22)/(-3) - 1/c a composite number?
False
Let g = -8 - -6. Let j = g - -4. Suppose 0 = j*s - 6*s + 868. Is s prime?
False
Let o(s) = 3*s**2 - 3*s + 1. Is o(-6) a prime number?
True
Suppose -2*l + 59 + 11 = 0. Is l composite?
True
Let a be 2/((6/9)/1). Suppose 7*c = a*c + 1996. Is c prime?
True
Let m = 2 + 7. Is 2277/m + 1 + 3 a prime number?
True
Let w be 2 + (55 - 1) + 2. Suppose -3*x = -x - w. Suppose 0 = -y - 2*h - 2*h + x, 5*h - 175 = -5*y. Is y a prime number?
True
Let o(q) = q + 3. Let k be o(-3). Let b be k + (2 - (-1 + 24)). Let l = 58 + b. Is l prime?
True
Let f(o) = -3*o**3 - o**2 + 3*o - 1. Suppose 4*d + 4 = 4*g, 26 = -5*d + 2*g - 4*g. Is f(d) a composite number?
False
Suppose 2*z - 3 - 5 = 0. Let b be (14/(-8) - -1)*z. Is b*(47/(-3) + -2) prime?
True
Suppose -3*r = 2*r - 265. Is r a prime number?
True
Let s = 6 - 4. Let r(o) = -o**3 + 9*o**2 + 5*o - 5. Let n be r(5). Suppose 4*p + n = -4*z + 492, -z + 182 = s*p. Is p a composite number?
False
Suppose 5*u - 628 = u. Is u a prime number?
True
Suppose -2*h = 8 - 0. Let t = 6 + h. Suppose 5 + 13 = t*n. Is n a composite number?
True
Is (-12)/(-16) + 1289/4 composite?
True
Let j = 3 - -12. Suppose -q - 1 = -v - 0*q, -j = -5*q. Suppose r = -v*r + 385. Is r a composite number?
True
Let m(z) = 2*z**2 - 28*z + 21. Is m(22) a composite number?
False
Let y(g) be the first derivative of 1 - 11*g + 4*g + 2 + 9*g**2. Is y(7) a composite number?
True
Suppose 3*c - 116 - 160 = 0. Suppose 2*d - 6*d - c = 0. Let z = d + 36. Is z prime?
True
Let k = -33 + 20. Let m = 24 - k. Is m a composite number?
False
Let o(n) = n**2 + 20*n + 27. Is o(-28) a prime number?
True
Let t = -7 + 9. Is (t/8)/((-11)/(-48268)) a composite number?
False
Let k be 2/12 + (-115)/(-30). Suppose 3*u - 5*d = 33, 3*u = -u - 5*d + 79. Suppose -u = -k*y + 44. Is y a composite number?
True
Suppose -8*f + 4*f + 3*n - 156 = 0, -3*n - 60 = 2*f. Let h = -26 - f. Is h prime?
False
Let p = -5 - 4. Is 6/p - (-635)/3 a composite number?
False
Let k = -10 - -11. Is (69/12)/(k/4) a prime number?
True
Let v(g) = 3*g**2 + g - 1. Let z be (-1 - -5)*2/4. Is v(z) a composite number?
False
Let a(s) = 3*s**2 - 5*s + 4. Let r be a(-7). Suppose -5*p + r = -3*h, -3*p + 8*h - 3*h + 102 = 0. Is p a prime number?
False
Let c be -4 - -2 - -8 - 2. Suppose c*p - 76 = 12. Suppose -z - z = -p. Is z a prime number?
True
Let g be 0 - 3 - (0 + -30). Suppose -4*k = 4*z - 204, 186 + 71 = 5*k + 3*z. Let x = k - g. Is x composite?
True
Let y be ((-2)/5)/((-4)/40). Suppose 4*w + 0 = -y. Is (-2 - w) + 2 - -112 a composite number?
False
Let c = -384 + 701. Is c composite?
False
Suppose -g + 322 = -2*t, 0 = -0*g - 2*g + 2*t + 646. Suppose -c = x - 80, 5*c - 31 = 4*x - g. Is x prime?
False
Suppose 0*a = a - 110. Let v = a - 72. Is v a prime number?
False
Suppose -9*c + 370 + 269 = 0. Is c a composite number?
False
Let k = 10 + -14. Let x(c) = c + 1 + 4 + 4*c**2 - 5*c. Is x(k) composite?
True
Let k be (-1610)/(-4) + 3/(-6). Suppose 5*u + s = 499, 0 = -4*u + 2*s - 0*s + k. Suppose 3*z = -z + u. Is z prime?
False
Let c = 255 - -38. Is c composite?
False
Let h(u) = 294*u**3 - 2*u**2 + u. Is h(1) composite?
False
Suppose -d = -4*d - 15. Is 226/2*(6 + d) a prime number?
True
Suppose -7007 = -3*b - 4*c, -b - 3*c + 2343 = 2*c. Is b prime?
True
Let c(v) = -v - 1. Let k be c(-3). Suppose 10 = -k*q - 3*q. Is (-2)/(-4) + (-225)/q a prime number?
True
Suppose -5*o + 0*a + 3*a = -361, 5*o = -2*a + 376. Suppose 0 = 4*w - o - 10. Suppose -2*c + 59 = w. Is c a composite number?
False
Let j(w) = -w**3 - 6*w**2 - 4. Let x be j(-6). Let p(f) = -8*f + 4 + 2 - 7. Is p(x) composite?
False
Suppose 8*y + 12 = 6*y. Is 54 + y*(-2)/(-4) prime?
False
Suppose 0 = -3*s + 4*s. Suppose 8*b + 4*j = 4*b + 104, s = 5*j. Is b composite?
True
Let p(j) = -j**3 + 5*j**2 + 8*j - 7. Let g be p(6). Let m be g/(18/(-16) + 1). Let k = m + 119. Is k a prime number?
True
Suppose 3*z - 6*z = 0. Is (3 - 0) + (84 - z) a composite number?
True
Suppose 0 = 5*h - 6 - 9. Suppose d + q - 115 = -0*d, h*q = 3*d - 333. Is d a composite number?
False
Let p(a) be the second derivative of -a**4/12 - a**3/6 - 7*a**2/2 + a. Let q(h) = -h**2 - h - 6. Let x(o) = -3*p(o) + 2*q(o). Is x(10) a composite number?
True
Suppose 0*g - 2*g = -3*d + 17, -3*d + 3*g + 21 = 0. Suppose -3*j - i + 478 = 0, 0*j + d*j - 508 = 5*i. Is j a prime number?
False
Suppose -52 = -5*q + 3*q. Is q a composite number?
True
Let h(y) = -3 + 4 + 36*y**2 - 2. Let z(g) = g**3 - 3*g**2 + 3*g - 1. Let k be z(2). Is h(k) composite?
True
Let l(o