u. Is q prime?
True
Suppose -2*l + 75 = -591. Suppose 746 = 2*c + 3*a, -2*c + 3*a = -l - 413. Is c prime?
True
Suppose -l - 29*o = -27*o - 5133, -3*o - 20576 = -4*l. Is l a prime number?
False
Suppose 2*c - 3*r = 7283, -8*r = 5*c - 10*r - 18191. Is c composite?
False
Let r = 15256 + -443. Is r a prime number?
True
Let b be 10 - (-4 + 1)*-1. Let n(p) = 34*p - 2. Let s be n(b). Suppose 4*d - 295 = -d + 5*q, -4*d - 4*q + s = 0. Is d prime?
True
Suppose -5*j - j + 95820 = 0. Is (-11)/(77/(-2)) + j/14 composite?
True
Let c(b) = 7*b**2 + 5*b - 1. Suppose 24 - 4 = 5*z. Let p = z + -8. Is c(p) prime?
False
Let c = 6427 - 4384. Let v = 3336 - c. Is v a composite number?
True
Suppose -d + 34 = -51. Suppose -s - d = -592. Is s/4 - 11/(-44) a composite number?
False
Suppose -p + 2949 = 5*g, 0*g - 14801 = -5*p + 3*g. Is p composite?
True
Suppose -58*u - 2347 + 685413 = 0. Is u a prime number?
True
Let o(p) be the third derivative of -11*p**6/72 + p**5/120 - p**4/24 - 7*p**2. Let f(r) be the second derivative of o(r). Is f(-1) composite?
True
Let f(s) = -61*s**3 + 2*s**2 + s. Let n(j) = -j**3 + 5*j**2 - 2*j - 5. Let a be n(4). Let g be 1*1/((-3)/a). Is f(g) composite?
True
Is ((-6)/(48/4744))/((-1)/5) prime?
False
Let l = 47 - 23. Suppose 4*o - 3*a - a = l, 5*a = o - 22. Suppose -s = o*s - 69. Is s prime?
True
Let v(z) = -4*z - 3. Let h be v(-2). Suppose -1 = -2*y - 5*n + 14, -2*y + 3*n + 23 = 0. Let m = h + y. Is m prime?
False
Let n(v) = -708*v**3 - 2*v - 5. Is n(-2) composite?
True
Let v(t) = 13*t**2 + 4*t + 2. Let c be v(-1). Let u(d) = -d**3 + 12*d**2 + 5*d + 5. Is u(c) a composite number?
False
Let f be 10/4 - 2/4. Suppose -567 = -f*s + 815. Is s a prime number?
True
Let o(v) = v + 15. Is o(10) a composite number?
True
Suppose 0*q = -4*r - 2*q + 652, 3*r - 492 = -3*q. Let u be (-4010)/(-18) + (-4)/(-18). Suppose r = 5*v - u. Is v a composite number?
True
Suppose 105 - 15 = -10*w. Let l(b) = -2*b - b + 2*b**2 + 6 + 2*b. Is l(w) a composite number?
True
Let v(f) = 448 + 146*f**2 - 449 + 36*f**2. Is v(3) prime?
True
Suppose -19 = -h + 3*s - 1, 4*h - 32 = 4*s. Suppose 2*w - 581 = h*l - 8*l, 876 = 3*w + 3*l. Is w prime?
True
Let i = 36 + -38. Let h = -2 - i. Suppose -2844 = -4*n + 2*r, -2*n + r - 2*r + 1414 = h. Is n composite?
False
Let d = -1791 + 3901. Let p = -872 + d. Suppose -2*n = 2*n + 5*q - p, -3*n + 931 = 5*q. Is n prime?
True
Suppose 2*z = -81 - 191. Let w = -53 - z. Is w prime?
True
Let z(j) = 47*j**2 - 4. Let i be (1/(-3))/(52/(-18) + 3). Is z(i) a composite number?
False
Let k be 106 - (4 + -3 + -3). Let r = 185 - k. Is r prime?
False
Let v be (10890/4)/(-1) + 1/2. Let t = -1559 - v. Is t composite?
False
Suppose 36*r - 120692 = -16*r. Is r composite?
True
Suppose 3*i = -15, 21*y = 25*y - 4*i - 100936. Is y a composite number?
False
Let t(q) = q**2 + 7*q + 15. Let j be t(23). Suppose 2*x - x + 4*k = 3068, -4*x - k + 12302 = 0. Suppose 3*r = 4*d - x, 2*r = -2*d + j + 833. Is d composite?
False
Suppose 14 = -3*q - 5*x, 0*q + 4*q - 3*x - 20 = 0. Suppose 32 + 43 = 5*d + 2*b, 0 = q*d - 5*b - 1. Is d a composite number?
False
Let z(d) = -26*d**3 + d**2 - 10*d + 41. Is z(-12) a composite number?
False
Suppose 2*k + 2*p + p = 402, 20 = -5*p. Let d(i) = 350*i**3 + i - 1. Let r be d(1). Let l = r - k. Is l composite?
True
Let w be (1/2)/(4 + (-23)/6). Suppose m - 731 = -0*h + 5*h, 2992 = 4*m - w*h. Is m composite?
False
Suppose 2*o + 9 = -5. Let v(a) = -77*a - 10. Let z be v(o). Let q = z - 310. Is q prime?
False
Is 2961/4 - 35/28 a composite number?
False
Let n(x) = 183*x**2 + 9*x + 2. Let f be n(-4). Suppose 5*j - f - 3761 = 0. Suppose -2*r = -4*v + 1784, -2*r = 5*v - 2*v - j. Is v a composite number?
True
Suppose -7*m + 49192 + 25323 = 0. Is m a composite number?
True
Let s = -33 + 37. Is (-766)/(s + (-14)/3) composite?
True
Let n(c) = -10*c - 2. Let m be n(-3). Let p = m - 26. Suppose p*w + 4*w - 636 = 0. Is w composite?
True
Let j = -28 + 30. Let f be 2*(35/j)/7. Suppose f*v = 584 + 11. Is v prime?
False
Suppose -5*d - 5*w + 4 = -11, 0 = -5*d + 4*w + 24. Suppose -5*y + 530 = 5*g, 5*y - d*g + g - 530 = 0. Is y composite?
True
Let t(i) = 94*i**2 + 13*i - 49. Is t(4) composite?
True
Let g be 84/(12/(-58)*(-2)/8). Suppose 3*x - 560 = -5*t + 1900, -g = -2*x + 2*t. Is x a composite number?
True
Let s = -5718 - -10149. Suppose o - s = -2*o. Is o composite?
True
Let d(b) = -b**3 + 2*b**2 + 2*b - 2. Let r be d(2). Let g(l) = 11*l - 3 + 10 + 5*l**2 - 6 + 18*l**r. Is g(-5) prime?
True
Let d = 29 + -27. Suppose -d*l + 312 = -2*p, 629 = 4*l - p + 2*p. Is l prime?
True
Suppose -5*o - 15 = -3*r, -r = -2*o - 2*o - 12. Suppose r = u + 77 - 630. Is u prime?
False
Suppose -7 = -0*g + g. Let k = g + -2. Let t(q) = q**2 + 5*q + 10. Is t(k) prime?
False
Is ((-3)/((-9)/463116))/(15 - 11) prime?
True
Let a(d) = -1. Let j(w) = 6*w + 27. Let g(l) = 18*a(l) + j(l). Is g(19) a prime number?
False
Suppose 13*k + 20960 = 8*k. Suppose -1045 - 1904 = c. Let s = c - k. Is s a prime number?
False
Suppose -5*a = 0, -17*f = -20*f + 4*a + 41541. Is f a prime number?
False
Let q(v) = 2*v**2 - 2*v - 1. Let w be -22*(-3 - 5/(-2)). Let p be q(w). Let a = p - 56. Is a a prime number?
True
Let j be 341/((-5)/(-50)*5). Let w = j - 363. Is w prime?
False
Let x(v) = 2*v**3 - 14*v**2 + 35*v - 85. Is x(20) composite?
True
Let r(t) = 18*t - 67. Let c(s) = 2*s**3 - 5*s**2 - 5*s - 1. Let i be c(4). Is r(i) a composite number?
False
Is ((-5672)/40)/((-2)/30) a composite number?
True
Let p(x) be the second derivative of -x**4/12 - 4*x**3/3 - 4*x**2 - 3*x. Let u be p(-6). Is -102*u/(-8) + 2 composite?
False
Let y(b) = -b**3 + 41*b**2 + 60*b - 19. Is y(33) prime?
False
Let q = 1623 + 1542. Suppose 8*a - q = 5*a. Is a a composite number?
True
Let g(y) = -y**3 + 4*y**2 - y - 4. Let b be g(3). Suppose -n + 5*c = -496, -b*c + 1006 = 2*n + 2*c. Is n prime?
False
Let a(k) = -42*k - 79. Is a(-20) a prime number?
True
Let p = -2262 - -4059. Suppose -2*k + 1383 = -p. Suppose -3*o - 3*o + k = 0. Is o composite?
True
Suppose 3*g + 2*d = 9187, -g - 6*d = -9*d - 3055. Is g a prime number?
True
Let p(t) = -t**2 + 11*t - 15. Let l be p(10). Is (l*92/(-60))/(1/15) composite?
True
Let g be 1*0*(-3)/6. Suppose 8*a - 10*a + 1402 = g. Is a prime?
True
Let q be 27/18*1564/6. Suppose 3176 = 5*r + q. Is r a composite number?
False
Let f = -155239 + 258822. Is f prime?
True
Let f(d) = -22*d**3 + 21*d**2 - d - 13. Is f(-6) a prime number?
True
Let s(z) = -z**3 + 5*z**2 - z + 8. Let f(h) = h**3 + 12*h**2 - 10*h + 30. Let g be f(-13). Is s(g) prime?
True
Suppose 4*b - 173 = 3*q, 3*b - 3*q - 135 = q. Let o = b + -39. Suppose 188 = 2*x + o*x. Is x prime?
True
Suppose 4*b = 9*b. Suppose b*p = -p - x + 22, -2*p = 5*x - 53. Let u = -9 + p. Is u prime?
False
Suppose -203*q + 177*q = -150618. Is q prime?
False
Suppose -16*i - 453 = -19*i. Suppose -3*d - i = -1024. Is d prime?
False
Is (-9 + 1)*22/(-44) + 64201 prime?
False
Suppose -r = 4*r - 40. Suppose 5*c = r*c - 1119. Is c a prime number?
True
Let a = 487 - 302. Is a composite?
True
Suppose 0 = 25*n - 30*n + 24930. Suppose -n = -6*v - 1902. Is v prime?
False
Let p(c) = -23*c**3 - 18*c**3 + 46*c**3. Let h be p(1). Suppose h*r - 3*g - 1021 = 813, -2*g = -5*r + 1831. Is r prime?
False
Let g = 103 - 20. Let i = g - 34. Suppose a + i = 3*p - 4, -3*a + 31 = p. Is p a composite number?
False
Let l(c) = 387*c**2 - 12*c + 14. Is l(4) prime?
False
Let y(m) = -m**2 - 2*m + 19. Let w be y(3). Suppose 2*b = 64 + 210. Suppose 2*q - t = b, -4*q - w*t = -2*t - 294. Is q prime?
True
Suppose 5*d + 3*g = g - 4193, -5*d = -2*g + 4177. Let u = 1192 + d. Is u a composite number?
True
Let h = 28571 - 1444. Is h composite?
False
Let u(q) be the first derivative of q**4/4 + 14*q**3/3 + 4*q**2 - 13*q - 20. Let f(m) = m**3 - m**2 - m - 10. Let z be f(0). Is u(z) prime?
True
Suppose 29*d - 24066 = 2179. Is d prime?
False
Let f = 19 + -15. Suppose 3*r = f*r - 107. Let t = 264 - r. Is t a prime number?
True
Let u(f) = -f**3 + 4*f**2 - 2*f - 2. Let w be u(2). Let q be (-2 - (-1772)/8)*w. Let k = -252 + q. Is k composite?
True
Suppose 5*q - 15 = 0, -48 = -b - b + 2*q. Suppose 9*g - 396 = b. Is g a composite number?
False
Suppose 5*z = 4*g - 6*g + 4, 0 = g - 2*z + 7. Let c = g + 8. Suppose c*o - 66 = 589. Is 