composite number?
False
Suppose 4255 = 2*v + 5*c, 3*c - 8329 = -4*v + 146. Let z = -458 + v. Is z prime?
True
Let g(h) = h**3 + 5*h**2 + h - 5. Let l be g(-5). Let j be 31/93 + (8/3 - 0). Is (l + 8)/((-1)/j) a composite number?
True
Let w(z) = 5*z**3 - 2*z**2. Let t be w(-2). Let l = t - -175. Is l a prime number?
True
Suppose 0 = -2*j + k + 1 - 5, 20 = 2*j + 5*k. Suppose j = -2*p - 3 + 1. Is 251 - p*(5 + -3) composite?
True
Suppose 7 = -6*w - 17. Is (2 - 48/18)/(w/4782) a prime number?
True
Let x(p) = 323*p**2 + 10*p + 1. Is x(4) a composite number?
False
Let l(d) = -2251*d**2 - d. Let a be l(1). Let o = a - -1029. Let s = -828 - o. Is s a prime number?
False
Let w be ((-3)/4)/((25/(-5))/(-20)). Is (-10)/5 - (w - -2 - 252) prime?
True
Let k = 316 - 9. Is k a prime number?
True
Let d(y) be the first derivative of y**4/2 - 2*y**3 - 11*y**2/2 - 9*y - 14. Is d(6) composite?
True
Let a = 16 + -39. Let n = 35 + a. Suppose 4*m - 668 = -4*w + n, m + 2*w = 171. Is m a composite number?
True
Let n(p) = -p**3 + 11*p**2 - 8*p - 19. Is n(6) a prime number?
True
Let v = -16264 + 28943. Is v a prime number?
False
Is (12 + (-71)/6)/(1/106698) a composite number?
False
Let p(c) = 19*c**2 - 5*c - 7. Let r be 2/(-10)*-3 + 141/15. Is p(r) composite?
True
Let o be (-106)/(-16) + 15/40. Suppose v - 4*s = o - 0, s = -5*v + 14. Is 1606/v - 6/18 composite?
True
Suppose 5*u = 2*u. Suppose -4*g + 1107 - 11 = u. Suppose 5*d - 926 = p - 286, -2*d = -4*p - g. Is d prime?
True
Let q be -4*7/((-84)/(-27297)). Is (q/108)/(-1 + (-3)/(-4)) a prime number?
True
Let n be (105/(-25) + 4)*-25. Suppose q - 103 = 4*c, -115 = -n*q + 5*c + 325. Is q a composite number?
False
Suppose 4*c - 3*c = 0. Suppose 4*j + j - 4*z - 2134 = c, j - 425 = -z. Suppose -q = 2*k - 165 - j, 1187 = 4*k + 3*q. Is k a composite number?
False
Let c(p) = -17*p**2 + 2*p - 12. Let k be c(14). Is k/(-8) + 3/(-2) composite?
True
Let q be 12/4*5/3. Suppose q*r - 15 = 10*r. Is 10260/16 - r/(-12) a composite number?
False
Suppose 0 = 5*l - 2*m + 239, 41 = -l - 5*m + 2*m. Let y = 80 + l. Is y composite?
True
Let g be 460/((1/5)/((-8)/(-20))). Suppose 1470 = 5*u - g. Is u a prime number?
False
Let x(q) = -16*q**3 + 6*q**2 + 7*q - 3. Let c(g) = g**3 + g**2 - 1. Let r(l) = -4*c(l) + x(l). Is r(-4) prime?
False
Let f be ((1/3)/(4/202116))/1. Suppose -22745 = -12*b + f. Is b a composite number?
False
Let x = -14 - -11. Let c be (-1 + x/(-3))*-1. Suppose c = -t + 5 + 41. Is t a prime number?
False
Let k(p) be the second derivative of 7*p**4/2 - p**3/6 - p**2 + 2*p. Is k(3) composite?
False
Suppose 2*q - 7 = -3. Suppose 5*l - 2169 = -q*t, 2*l - l = 2*t - 2175. Is t a prime number?
True
Let j = -26 - -32. Is 51/j*(12 + 2) a composite number?
True
Let u(k) = k**3 - k - 4. Let j be u(0). Let n(r) = 24*r**2 + 10*r - 3. Let f(h) = 22*h**2 + 13*h - 4. Let x(c) = -4*f(c) + 5*n(c). Is x(j) a composite number?
False
Let g(y) be the first derivative of y**3/3 + 5*y**2/2 - 6*y + 11. Let d be g(-6). Suppose d*j + 2*j = 2*h - 58, 0 = 4*h - 5*j - 111. Is h composite?
True
Suppose 4*u + 5*h = 4598, 7*u + 4*h = 2*u + 5743. Is u a prime number?
False
Let x = 5446 + -2583. Is x a composite number?
True
Suppose -9404 - 1762 = -6*c. Is c a prime number?
True
Let g be (-126)/(-1) + -4 + 4. Is 36/g + (-8130)/(-14) a composite number?
True
Suppose -y = 5*x - 21, 0*y + 3*y = x - 1. Let o(r) = 998*r - 1. Is o(y) a prime number?
True
Let t = 200781 + -109558. Is t a composite number?
True
Suppose 4*r - 13848 = 5*d, d + 10375 = -4*r + 7*r. Is r composite?
False
Is (1317/15 + -1)*65/26 a composite number?
True
Let y = 37 - 35. Suppose -2*o - 6 = -2, y*h - 512 = -3*o. Is h prime?
False
Suppose -c + 6103 + 4532 = -4*p, 53243 = 5*c - 3*p. Is c a composite number?
False
Let p be 6/(-9) - (-24)/9. Suppose -p*r + 903 = r. Is r prime?
False
Let c(m) = 7*m**2. Let j be 4 + 6*-1 - -3. Is c(j) composite?
False
Suppose 4*f + 3*z = 132917, 16*z - 21*z = -15. Is f prime?
False
Suppose 0 = -3*c - 3*m - 30, -c + 2*m - 4 = -0*m. Let k = 166 + c. Is k composite?
True
Suppose 5*y + 2*p = 4458, -y + 4463 = 4*y - 3*p. Suppose 4*x = -4*n + y, -4*n = -3*x + n + 653. Is x composite?
True
Let k be (-13)/3 + (-2)/(-6). Let j be (-3 - -7)*(-226)/k. Suppose m + m = j. Is m composite?
False
Let s(r) = -21*r**3 + 2*r**2 - 2*r + 14. Let n be s(5). Let g = 5666 + n. Is g a prime number?
False
Suppose -r + 20 = -2*a, 4*a + 0 + 20 = 0. Suppose r*d = 2*d + 1448. Is d composite?
False
Let j(z) = -3*z - z - 312*z**3 - 365*z**3 + 3*z + z**2 - 2. Let t be j(-1). Suppose 5*r + t = 4*p, -5*r - 7 = 18. Is p a prime number?
True
Suppose 10744 = 3*s + 5*s. Is s prime?
False
Suppose -5*m + i = -4992, -3*m - 4*i - 545 = -3531. Suppose z + 652 = 3*z + 4*l, m = 3*z + l. Is z a composite number?
True
Suppose y = -2*y + 72. Let c be y/3 - (1 + 1). Let s(q) = 2*q**2 + 6*q + 11. Is s(c) prime?
False
Let w = 328513 - 148842. Is w composite?
False
Suppose 0 = 5*q - 69 - 1146. Let w be (q - -1)*(-3)/(-6). Suppose j - 29 = -t - 0*t, w = 4*j + t. Is j prime?
True
Let p = 10 + -1. Suppose -5 = -t - p. Is 601/7 + t/(-28) prime?
False
Let a(r) = -1048*r**3 - 17*r**2 - 7*r + 21. Is a(-5) prime?
True
Is (-3261 + 10)*(-9 - -4 - -4) a composite number?
False
Let t(a) be the second derivative of -130*a**3/3 - a**2/2 - 2*a. Suppose -2*c = -5*r + 2, c = -c + 3*r - 2. Is t(c) a prime number?
False
Suppose 0 = -2*g + 5*h - 23 + 1711, 3*g = -3*h + 2511. Is g a prime number?
True
Suppose -2*m + 7*k + 738 = 3*k, 5*k = 2*m - 733. Is m composite?
False
Let r(n) = 60*n**2 - 3*n - 14. Let q be r(-8). Suppose -4*f + q = 486. Is f a prime number?
False
Let s(o) = o**2 - 35*o - 19. Is s(-14) a composite number?
True
Suppose 56*m - 3299 = 55*m. Is m a prime number?
True
Let g be 6254/4 + 1*1/(-2). Let d = 2642 - g. Is d a composite number?
True
Let t be (6280/12)/((-6)/(-9)). Let x be (-2)/7 - (-9444)/(-21). Let l = x + t. Is l a composite number?
True
Let j = 205 + 108. Let f = -154 + j. Is f a prime number?
False
Let g be 10/(-6)*(-5 + 2). Suppose -g*s + 2768 = -1002. Suppose 981 + s = 5*c. Is c composite?
False
Suppose 4*c - 67990 = -6*l + 9*l, -3*c + 51005 = 4*l. Is c a prime number?
False
Suppose 2*l + 2*x + 10 = 0, -4*l - 4*x + 2*x - 10 = 0. Suppose -3*b + 8*b - 10 = l. Suppose -2*z - 2*c + 24 = 0, 3*z - b*c - 4 = 37. Is z prime?
True
Let o(i) = -67*i**2 - 9*i + 15. Let h(w) = -33*w**2 - 5*w + 8. Let u(y) = -5*h(y) + 3*o(y). Let a be u(-3). Let n = a + 1362. Is n a composite number?
False
Let h = 1215 - -328. Is h a prime number?
True
Let a be 2/(-4) + 1466/(-4). Let n = a - -714. Is n a composite number?
False
Let s(w) = 6*w - 3. Let d be s(2). Let m be 24/d*12/(-2). Is (-2028)/m + 2/8 a prime number?
True
Suppose 0 = o - 5*i - 3608, 20*o - 17*o - 2*i = 10785. Is o a composite number?
False
Let o(l) = 26*l**3 - 16*l**2 + 14*l - 23. Is o(10) composite?
False
Let x be 1/3*1308/(-4). Let o = x + 346. Is o prime?
False
Suppose -25*k = -28*k - 4*d + 131593, -175456 = -4*k - 4*d. Is k a composite number?
True
Suppose -3*i + 13 = 1. Let k(t) = -3 - 6*t + 4*t + 19*t. Is k(i) prime?
False
Let n(j) = j**3 - 8*j**2 + 2*j - 11. Suppose 9*u - 16 = 7*u. Let o be n(u). Suppose o*g - 3*h - 44 = 0, 3*g - 4*h - 13 = 9. Is g a prime number?
False
Suppose -2*z + 30 = -2*g, -3*g - 5 = -2*g + 4*z. Let q(l) = 3*l**2 - 5*l - 4. Let b be q(-3). Let d = b - g. Is d prime?
False
Let s(c) = 76*c + 43. Is s(12) a prime number?
False
Is 1*43661 + 0/(4 - -13) a prime number?
True
Suppose 6*x - 5*x = 4. Suppose x*b - 3718 + 530 = 0. Is b composite?
False
Suppose -3*i = 15, 2*n + 4*i - 2892 = 2054. Is n a composite number?
True
Let z = 13118 + -5685. Is z a composite number?
False
Suppose 34 = 4*g + 14. Let h(q) be the second derivative of q**5/20 + q**4/12 - q**2/2 + 91*q. Is h(g) a composite number?
False
Suppose -l = l - 28. Let g(t) = 7*t + t - 5*t + l*t. Is g(5) prime?
False
Let r(c) = 0 - 1 - c**3 - 6*c**2 + 4. Let t be r(-6). Is 696/6 - (t + -2) composite?
True
Let c = -2 - -9. Suppose -5*j = 22 - c. Is -1*(-152 - 0 - j) a composite number?
False
Let w be (-4 - 28/12)*-3. Suppose 4*q - w = -5*v, -3*q + 9 = 2*v - 0. Suppose 4*h = -v*f + 311, -3*h = -2*f + 133 + 46. Is f prime?
True
Suppose 0 = 8*x - 66466 - 31510. Is x a prime number?
False
S