?
True
Let s(t) = -36*t + 1 - 1088*t + 63*t - 2. Let w be s(-1). Let p = w - 541. Is p prime?
False
Let h(v) = 823*v**2 - 3*v - 17. Is h(7) prime?
True
Let v(j) = -566*j - 91. Is v(-9) a prime number?
True
Suppose -v = o - 56, -3*v + o + 188 = -o. Suppose 4*y + v - 14 = 5*k, k = 4*y + 22. Is k prime?
False
Suppose 12 = 2*u - 4*c, -8*c + 6*c + 10 = 3*u. Suppose 3*z + 3 = -3*q, 3*z - 8*z - 2*q = -u. Let j(n) = 55*n**3 + 2*n**2 - 2*n + 1. Is j(z) a prime number?
False
Suppose 3*w - 72 = -z - 2*z, 0 = 2*w - z - 42. Suppose -2*s = -3*h - w, 3*h = s + 2*s - 27. Suppose 63 = s*t - 2*t. Is t composite?
True
Let d(m) = 3*m - 14 - 2*m - 14*m - 5*m. Let r(p) = -17*p - 13. Let q(j) = -2*d(j) + 3*r(j). Is q(-8) prime?
True
Let z be 982/(-4)*(-10)/5. Suppose -3*q = -646 - z. Is q a prime number?
True
Let c = -2 - -2. Suppose -i = 4*v + 3*i - 1600, c = 2*v - i - 791. Is v prime?
True
Let m(b) = -10*b**3 + 7*b**2 + 10*b - 8. Is m(-3) a prime number?
False
Let o be -5*(3 + 72/(-20)). Suppose -2*h - 3*x = -o*h + 563, 4*h - 2285 = x. Let n = h - 273. Is n a prime number?
False
Let k be 1/(-4) - (-5444)/16. Suppose -p - 73 = 56. Let q = p + k. Is q a prime number?
True
Let f = 25 + 3. Let r = -27 + f. Suppose 2*h - 507 = 5*q, -2*q = -3*q - r. Is h a composite number?
False
Let x(t) = 34*t**2 + 2*t + 5. Let d = -47 + 30. Let m = -21 - d. Is x(m) prime?
True
Is 10 + -5 + (8 - -25041) composite?
True
Let x be 2 - (-2 - -3 - 2). Suppose -2042 = -3*q - r, -x*q = -6*q - 3*r + 2040. Is q a composite number?
True
Suppose 8*p + 6657 - 22105 = 0. Is p composite?
False
Let b(x) be the second derivative of x**4/3 - x**3/3 + 5*x**2/2 + x. Let f(w) = 3*w + 18. Let q be f(-8). Is b(q) a composite number?
True
Let p be (3 + (-10 - -2))*-1. Suppose -2*j = -p*j + 12, u - 608 = -3*j. Suppose 0 = -0*g - 4*g + u. Is g composite?
False
Let c(j) = 3286*j + 133. Is c(10) a composite number?
False
Suppose 2*o + 2 = -4*s, -s + 4*o = -0*o - 22. Suppose z + 2*g - 7 = 0, -s = -3*g + 2*g. Suppose -4*l + 2*m + 182 = 0, -z*m = -l + 44 - 1. Is l prime?
False
Let y be 15/(-10)*4/3. Is ((-58)/y)/(13/689) a prime number?
False
Let h(x) = -2*x**2 - 18*x - 3. Let r be h(-11). Let w = r + 466. Is w composite?
False
Is (2/(-8)*-8719)/((-4)/(-16)) a prime number?
True
Let s(u) = 31*u - 21. Let z be s(5). Let x = 385 - z. Is x a composite number?
False
Suppose -3430753 = -37*r - 1058720. Is r a composite number?
False
Suppose 2*t - 11 - 20 = z, -5*t = -z - 85. Let m be (15 - 14)*(1 - -4). Is m*15 - (-20 + t) prime?
False
Suppose 9360 - 3255 = 15*m. Is m composite?
True
Suppose 2*f - 1639377 = -55*f. Is f a composite number?
True
Suppose -p + 4*p + s = -11355, 0 = -4*p - 5*s - 15140. Let l = p + 5758. Is l composite?
False
Suppose 0*l + 12 = 4*l. Let i be 1*(-2)/6 - 206/(-6). Suppose l*r = -i + 97. Is r a composite number?
True
Suppose 0 = -l - 3*l - 3*i + 35, -2*i = 5*l - 35. Suppose 3*s + 1016 = 5*s + l*y, 4*s + 2*y = 2016. Is s a composite number?
False
Let y(z) = 2*z**3 - 17*z**2 - 9*z + 3. Let a be y(9). Suppose a*d = -4*g + 2000, 0 = -0*g + 4*g - 5*d - 1968. Is g a composite number?
True
Let n be (-3986)/(-5) - 5/25. Let w = -466 + n. Is w a prime number?
True
Let p = -5 + 9. Suppose p*s + 1 = -3. Is (s/(-2))/(6/3804) a composite number?
False
Suppose 0 = 2*x - 5*l - 2 + 13, x + 5*l - 17 = 0. Let w(u) = 340*u - 7. Is w(x) a composite number?
False
Suppose 24 - 8 = 4*d. Suppose -5*x + 4*f = -d, 3*f - 7 = x + 1. Suppose -x*p + 226 = -346. Is p prime?
False
Let d = -2710 + 10689. Is d composite?
True
Let p(t) = 7*t**3 + t**2 - 32*t - 3. Is p(8) prime?
True
Let d be (3 + (7 - 0))/(-1). Let h = 30 + d. Is 99/4 + 5/h composite?
True
Let s = -4173 - -11172. Is s prime?
False
Let u(c) = c**2 - c - 12. Let f be u(-4). Suppose -f*r - 298 = -10*r. Is r a composite number?
False
Let h = 1710 + -313. Is h prime?
False
Let i(q) be the second derivative of q**3/6 + 7*q**2/2 + 7*q. Let h be i(-4). Suppose 2*p - y - 1087 = 0, h*p - 5*y - 1638 = -2*y. Is p a prime number?
True
Suppose 10 = 3*a - 0*a + 2*w, 4*a - 12 = -4*w. Suppose -2603 + 9967 = a*t. Is t a composite number?
True
Suppose -5*j = 3*z - 1226, 0 = -2*z - 2*j - 0*j + 816. Is z a prime number?
False
Suppose -w = 4*k - 5, -7 = -2*w - 2*k + 3. Suppose w*d = h + 153, 128 = 2*d + 2*d + 2*h. Is d composite?
False
Suppose -u + 3*v - 105 = -29, -3*u - 4*v = 280. Is ((-662)/8)/(22/u) a composite number?
False
Is 37*(-7 - 216/(-6)) a composite number?
True
Suppose 4*o - 2 = 6. Let z = 460 - -330. Suppose o*s - z = -0*s. Is s a composite number?
True
Let b be 40 + (-6)/(-3) + -1. Let z = b + -22. Suppose -4*h + 606 = 5*v, 0 = v + h - 103 - z. Is v prime?
False
Let d = -9 - 21. Is d/(-10) + (0 - -550) a composite number?
True
Is ((-574652)/6)/(-2) + (-60)/90 a composite number?
True
Suppose 23*f - 260748 = 173929. Is f composite?
False
Suppose 3*y = 2*f + y - 15812, 15812 = 2*f + 4*y. Suppose -x - 2762 - 1194 = -2*c, -4*c + f = x. Is c composite?
True
Suppose 2*s + 22571 = 72681. Is s a composite number?
True
Suppose -b - 2*t = 4, -15 = 2*t + 3*t. Let g = -11 + 129. Suppose -b*k + g = -3*f, -5*k - 18 + 313 = -f. Is k composite?
False
Let s be (-2)/(-1)*(-18)/(-4). Let h(c) = -s*c**2 + 21*c**2 - 12*c + 12*c + 7. Is h(-5) prime?
True
Let u(j) = 41*j**2 + 20 + 18*j - 27*j**2 - j**3 - 2*j. Let g(f) = 2*f**2 + 5*f + 3. Let i be g(-4). Is u(i) prime?
False
Let a be (6 - 5)/(2/4). Suppose 4*i = 5*c + 1, -i + 4*i = a*c + 6. Let m(t) = 13*t**2 - 3*t - 5. Is m(i) a composite number?
False
Let l(w) = -374*w - 1. Let m(g) = -4*g - 13. Let z be m(-3). Is l(z) composite?
False
Let f = 1099 - 300. Suppose f + 163 = 2*j. Is j a composite number?
True
Let o(v) = 3*v + 14. Suppose -3*g + 2*t + 20 = 0, -2*g + 1 = -5*t - 5. Let l be o(g). Suppose -q + l + 53 = 0. Is q a prime number?
False
Is 15451385/370 - ((-3)/2)/(-1) composite?
False
Let i = 73046 - 34693. Is i composite?
True
Let z(g) = -3*g**3 - 2*g**2 + 2*g. Let x(r) = -9*r**3 - 6*r**2 + 7*r + 1. Let q(v) = -2*x(v) + 7*z(v). Is q(-5) a composite number?
True
Let m be (3*1 + 0)/((-17)/(-17)). Suppose m*k + 52 = -2*c + 363, 5*k + 3*c = 518. Is k composite?
False
Suppose -f = 2*f + 3. Is -2 - (72 + -1)*f prime?
False
Let u = -27 - -27. Suppose 5*v + u*v = 5*t + 1800, -2*v + 700 = 2*t. Is v a composite number?
True
Suppose 4*j = 7 - 27. Is (-1 + (-2)/j)*-305 a prime number?
False
Let p = -185 + 588. Is p a composite number?
True
Let m be 0/(-2)*6/12 + 3. Suppose m*f - 3*k = 1419, f - 477 = k + 2*k. Is f composite?
True
Let j(z) = z**3 - 5*z**2 + 6*z + 1. Let l(g) = -g + 2. Let a be l(-5). Is j(a) prime?
False
Let s = 30 + -124. Let b(z) = 5*z**2 + 2*z + 16. Let w be b(-5). Let m = w + s. Is m composite?
False
Suppose 5*r - k = -438, -3*r + r + 2*k = 172. Let v = r - -293. Is v a composite number?
True
Let z = 3497 - 1908. Is z composite?
True
Let c = 1583 + -184. Is c composite?
False
Let b = 2096 - -6037. Is b composite?
True
Let p be (-1 - -2) + -423 + -19. Let z = p + 926. Is z a prime number?
False
Let b(c) = -c**3 + 3*c**2 - c - 2. Let g be b(3). Let r be 3865/(-25) + (-3)/g. Let s = 237 - r. Is s a composite number?
True
Let j = 1252 - 506. Is j prime?
False
Let z(w) = -w**3 + w**2 + w + 359. Let v be -3 + 1/3*9. Is z(v) composite?
False
Let c(r) = -r**2 + 1. Let p(z) = -2*z**3 + 11*z**2 + 3*z + 5. Let m(h) = -3*c(h) - p(h). Let x = -11 - -18. Is m(x) a composite number?
True
Let u = 5 + -19. Let z = -18 - u. Is -1*892/(16/z) composite?
False
Let f(n) = 64*n**3 + 2*n**2 - 2*n + 2. Let d be f(2). Let c = -323 + 401. Suppose -4*o = -c - d. Is o composite?
False
Suppose -2*g + g = -0*g. Suppose g = -5*d + 5, 3*i - 1091 = d + 321. Is i a prime number?
False
Is (0 - 5855)*(-24 + 23) a prime number?
False
Suppose -59*f - 114990 = -65*f. Is f prime?
False
Let m be (6/8)/((-4)/(-128)*2). Let t(y) = -2*y**3 + 23*y**2 + 28*y - 15. Is t(m) prime?
False
Suppose 16254 = -10*s + 86224. Is s prime?
True
Let z(o) = -o**2 - 3*o - 2. Let f be z(-2). Suppose -3*w - 2*w - 560 = f. Let d = 177 + w. Is d a prime number?
False
Let f = -17752 - -25667. Is f prime?
False
Let s(k) be the first derivative of 3*k**3 - 9*k**2/2 + 19*k + 3. Is s(-10) composite?
False
Suppose -5*c + 5*r = -77070, -4*c + 61661 = -18*r + 15*r. Is c a prime number?
False
L