- 15. Let q be (-26)/(-2) + 3 + -3. Let y = s + q. Is y a prime number?
True
Suppose -5*a - 20 = 0, 4*a = -2*i - 5 - 3. Suppose -b - 181 = -4*y, -i*y + 5*b = -6*y + 85. Let n = 79 - y. Is n prime?
False
Let p(j) = 5*j**2 - 5*j - 5. Suppose 90 = -0*g + 5*g. Let d = 13 - g. Is p(d) a composite number?
True
Let a = 1940 - 376. Is (-6)/(-10) - a/(-10) a prime number?
True
Let u = 14 - 8. Suppose 2*b = u*b - 484. Is b prime?
False
Suppose -3*b + 11 = 4*f, 5*b = 3*f - 14 - 16. Let n = 5 - f. Suppose n = 5*t - 788 + 133. Is t composite?
False
Suppose 3*y = 11*y - 41608. Is y composite?
True
Suppose 5*j = 5*p + 361 + 64, 416 = 5*j + 4*p. Suppose -3*t - j = -6*t. Let i = t + -19. Is i prime?
False
Suppose 2 = w + 2*x - 1, -2*w + 10 = 3*x. Let t be 0/1 + 2 + w. Suppose -s + 104 = 4*c, t = 2*c - 5*s - 17. Is c prime?
False
Is 86*-3*8/(-16) a prime number?
False
Let h(b) = 6*b**2 + 3*b - 2. Let r(v) = 3*v**2 + v - 1. Let d(t) = -2*h(t) + 5*r(t). Is d(-5) a prime number?
True
Suppose -3*r + 5*r - 6 = 0. Let l(f) = f**2 - 2*f + 3. Let b be l(r). Suppose 3*i - s - 486 = 0, 0 = 5*s - b - 9. Is i a composite number?
False
Suppose -3*q - 87 + 347 = c, q + 3*c - 92 = 0. Suppose 0*z + q = z. Is z a composite number?
True
Let m(d) = -d**3 + 12*d**2 - 9*d - 13. Is m(11) a composite number?
True
Let z(b) = b + 1. Let p be z(3). Is 0 - -49 - 0/p composite?
True
Let i(v) = -v**3 - 10*v**2 + v + 9. Is i(-11) composite?
True
Let q be (45/(-12))/(3/(-8)). Is (q/(-20))/(1/(-166)) composite?
False
Suppose -3*u + 2*g = -283, -3*g - 191 = -2*u - 4*g. Let o(b) = -30 + 101 - 5 - b + u. Is o(0) prime?
False
Suppose 0 = -4*x + o + 2, 2*o = x + o - 2. Is (-1)/(1/(-293) - x) a composite number?
False
Let z(u) = -5*u**2 - 2*u + 3. Let m(v) = -v**2 - v. Let j(w) = -6*m(w) + z(w). Is j(4) composite?
True
Let t(c) = 2*c**3 - 3*c**2 + c - 4. Let m(w) = 3*w - 3*w - w + 8 + 0*w. Let d be m(5). Is t(d) composite?
True
Let z(r) = -r**3 - 3*r**2 + 4*r - 5. Let i be z(-5). Suppose i = 5*n - 85. Is n composite?
True
Suppose l + 1207 = 2*l. Is l prime?
False
Suppose 7*n + 4*l = 4*n - 5, 2*n - 12 = 5*l. Is (1/n)/(2/26) prime?
True
Let g(c) = 51*c**2 - c + 2. Let z be g(-2). Suppose -5*t = -t - z. Is t/(-3)*(-6)/4 a prime number?
False
Let b(x) be the first derivative of 21*x**2/2 + 10*x + 1. Is b(7) composite?
False
Let b(t) = -47*t**2 + 1. Let q be b(-1). Let a be q/11 + 4/22. Is a/(-10) - (-63)/5 composite?
False
Let t(q) = 2*q - 2. Let r be t(3). Is r/((-24)/13 - -2) prime?
False
Let i(k) = k - 2. Let a be i(5). Suppose a*x - 467 = -0*t - t, 16 = -4*t. Is x a prime number?
True
Let y = 11 + -8. Suppose y*c - 9 = 69. Let g = 57 - c. Is g a prime number?
True
Suppose -4*y = -9*y + 105. Suppose 2*t = 17 + y. Is t prime?
True
Suppose n + n = 38. Suppose -2*w = 2*s + 18, 4*s - s - 5*w + n = 0. Let j = 34 + s. Is j prime?
False
Let r = -579 + 1058. Is r a composite number?
False
Let y be ((-3)/(-9))/(5/(-1335)). Let c = 144 + y. Is c prime?
False
Let v = 8 - 11. Let j(k) = 3 + 3*k**3 - k**2 - 1 - 2*k**2 - 4*k**3. Is j(v) prime?
True
Is (41/(-3))/(6/(-126)) a composite number?
True
Suppose 72 + 854 = n. Is n prime?
False
Suppose 4*s + s = 15. Let j(h) = -12*h. Let q be j(s). Let n = 67 + q. Is n composite?
False
Let d be 1 + -1 + 10/5. Suppose 0 = 4*q + q + 5*h - 1200, -231 = -q + d*h. Is q prime?
False
Suppose -3*c - b = -5 - 0, -5*b - 9 = -2*c. Let q(i) = 3 - c - 2*i - 3*i**2 - i**3 - 6*i**3. Is q(-2) a composite number?
True
Let g = 405 + -194. Is g prime?
True
Let t = -26 - -14. Let x = t - -18. Is x/(-4)*284/(-6) a composite number?
False
Is 3604/6*(-4)/16*-6 prime?
False
Let t = -2 + -4. Let b(c) = c**2 + 7*c + 8. Let n be b(t). Suppose -183 = -n*y + 131. Is y a prime number?
True
Let h(w) = 3*w + 4. Let a(f) = 4*f + 5. Let j(g) = 4*a(g) - 5*h(g). Let t be j(4). Suppose t*l + 293 = 1713. Is l composite?
True
Let s be (2/4)/(2/16). Suppose c + c = s. Is 1/c*-2 + 3 a composite number?
False
Let i(n) = -78*n**3 - n - 2. Is i(-1) prime?
False
Suppose 0 = -j + 6*f - 4*f + 683, 0 = -4*j - 3*f + 2732. Is j prime?
True
Suppose 0 = 3*d - 8 - 190. Suppose -3*g - 141 = -0*g. Let u = g + d. Is u a composite number?
False
Suppose -3*q - 23726 = -5*q. Is q a prime number?
True
Let r = 148 + -59. Is r composite?
False
Let u = -10 + -46. Is (-6)/2 - 1*u a prime number?
True
Is 18/72 - (-53227)/4 a composite number?
True
Let s = -5 + 3. Is -21*2*s/4 composite?
True
Let x be (-1 + 0 - -2) + 0. Is 158 + (x - (-4)/2) prime?
False
Is ((-2)/7 - 26/(-42))*537 prime?
True
Let d(b) = 4*b + 0*b + 0 + 23*b**2 + 1 - 4. Is d(2) a prime number?
True
Let v = -923 + 1642. Is v a composite number?
False
Suppose 3*c - 206 - 610 = 0. Let q = 426 - c. Suppose 5*s + 4*r - 385 = 0, -2*r + q = 2*s - 7*r. Is s a composite number?
True
Suppose v = 5*r - 14, 0*v = v - 3*r + 10. Let j(t) = 13*t**2 + 4*t - 8. Let n(h) = -12*h**2 - 4*h + 7. Let l(c) = v*j(c) - 5*n(c). Is l(2) a composite number?
False
Let v = 10 + -223. Is (-24)/(-4)*v/(-6) prime?
False
Let c(l) be the second derivative of -l**4/12 - l. Let n be c(0). Suppose 5*t + n*t - 20 = 0. Is t a composite number?
True
Let g = -2 - -8. Is (111/6)/(3/g) composite?
False
Suppose -172 = -3*u + 590. Is u prime?
False
Suppose -7 = -3*o + 2. Suppose -5*y - 140 = -o*l, 0 = 3*y - 13 - 2. Is l composite?
True
Let y = 0 + -1. Let p be 3 - 5 - (1 - y). Is ((-30)/p)/((-12)/(-16)) composite?
True
Let g be ((-20)/12)/((-2)/(-132)). Let o = 236 + g. Suppose 149 + o = 5*v. Is v prime?
False
Suppose -2*s + 1105 = 3*s. Is s a prime number?
False
Let t = -13 - -27. Suppose -4 + t = 2*n. Is (-2)/n - (-104)/10 a composite number?
True
Suppose 4*x - v - 617 - 1324 = 0, -1459 = -3*x + 4*v. Is x a prime number?
False
Let l(s) = -24*s**2 + 2*s + 3. Let t(m) = 25*m**2 - 2*m - 4. Let f(b) = -3*l(b) - 2*t(b). Is f(2) prime?
True
Let w(q) = 2*q**3 - 5*q**2 - 16*q + 7. Let h(v) = v**3 + 7*v**2 + 7*v + 12. Let n be h(-6). Is w(n) a prime number?
True
Let w(l) = l**3 - l**2 + l + 342. Let t be w(0). Suppose -f + 0*f - t = -3*o, 0 = 4*o - 2*f - 458. Is o prime?
True
Is 2/(-7) - 13084/(-28) prime?
True
Let d(g) = -2764*g - 27. Is d(-2) prime?
True
Is (0 - -478) + 0 + 1 prime?
True
Suppose 0 = -3*g - 0*g - 18. Is (257/2)/((-3)/g) prime?
True
Let s(y) = -2 - 2*y + 89*y**2 + 0 + 2 + 1. Is s(-2) prime?
False
Let i be ((-4)/6)/(4/(-666)). Let l = 205 - i. Is l prime?
False
Suppose -2*b = 2*b. Suppose -5*h + 46 + 439 = b. Is h a prime number?
True
Let b(q) = -q**2 + 2*q + 1. Let u be b(3). Let v be 1 - (u + 2) - -1. Let i = 5 - v. Is i a prime number?
True
Is ((-1574)/(-3))/((-32)/(-48)) a composite number?
False
Let h(z) = -z**2 - 7*z. Let p be h(-7). Suppose p = 2*t - 6*t - 280. Let a = -49 - t. Is a composite?
True
Let l(p) = -7*p**3 + 23*p**2 + 19*p - 11. Let w(o) = -4*o**3 + 12*o**2 + 10*o - 5. Let g(q) = 3*l(q) - 5*w(q). Is g(7) prime?
True
Suppose f + 4 = -0*f. Let n be f/(-12) - (-2)/(-6). Suppose 4*l - 26 = -5*z + 391, -3*z - l + 253 = n. Is z a prime number?
False
Suppose 3*i + 4861 = 4*i. Is i a composite number?
False
Let f be -3*((-12)/4 + 2). Let g = f - -12. Is g a composite number?
True
Let r(m) = 14*m**2 + 9*m + 2. Is r(-9) a composite number?
True
Let q(o) = o + 3 + 0 - 3 - 2. Let c be q(5). Suppose -c*a = 15, -4*a - 30 = 4*h - 382. Is h composite?
True
Let i be 4*1*(-1)/2. Is (i/((-6)/(-147)))/(-1) composite?
True
Let a(x) = 23*x**3 + 5*x**2 - 9*x - 9. Is a(4) prime?
False
Let u = 52 - 13. Is u composite?
True
Let v = -6328 - -10949. Is v prime?
True
Is (-23 + 24)/((-2)/(-662)) a composite number?
False
Let u(p) = p**2 - 9*p + 7. Let w = -8 - -6. Let m be 1*(9 + 0/w). Is u(m) a prime number?
True
Let l = -1050 + 1516. Suppose -3*t + l + 23 = 0. Is t composite?
False
Let t(j) = -j**2 + 7*j + 3. Let l be t(7). Is -2 + 1 + 71 - l composite?
False
Suppose 3*f + 4723 = 5*n - 10794, -3*f = 4*n - 12392. Is n composite?
True
Let s(c) = -5*c**3 - c**2 - c + 1. Let r be s(1). Let k = r - -12. Suppose 0 = 3*f + q - 40, -8 = -2*q + k*q. Is f a composite number?
True
Suppose -69 = -3*w + 81. Suppose 0 = -2*o - 3*m + 89 + w, m + 82 = o. Is o a composite number?
True
Let l = 1643 + -730. Is l composite?
True
Let m = -721 - -1070. Let r be -2 - -2 - -2 - m. Let x = -204 - r. Is x prime?
False
Is (559/(-3) + -2)*