
Let z = 3543 - -772. Let p = z - 2674. Is p composite?
True
Suppose 50*p - 1643111 = 21*p. Is p composite?
False
Suppose -8 = 5*p - v - 148, 4*v = -p + 28. Suppose p*d - 23*d = 73465. Is d a prime number?
False
Let x = 60642 + -32551. Is x a prime number?
False
Suppose 5*w = -8*w + 11934. Suppose -w = -2*g + 11996. Is g a prime number?
False
Suppose -2*v + 3464 = -5*m, -2*v + 6*v - 6906 = -m. Suppose 0 = -o - 9*c + 11*c + v, -2*c = 2*o - 3454. Is o a prime number?
False
Let b be (-32)/10 + (69/(-5) - -14). Let w(p) = 2432*p**2 + 12*p + 19. Is w(b) prime?
True
Let u = -33780 - -78109. Is u composite?
True
Let t(y) = -y**3 - 1640. Let w be t(0). Let h = 6201 - w. Is h composite?
False
Let o(h) = 8241*h - 4372. Is o(5) composite?
False
Let i be -7*(-1 + 1 + -1). Suppose -2*t + i = -a, -4*a - 5 = -2*t - a. Suppose -355 = -t*x + d + 1301, -5*d = 4*x - 1680. Is x a composite number?
True
Let r(t) = 9*t**3 + 9*t**2 - 18*t + 51. Let l be r(8). Let a = l + 14146. Is a prime?
True
Let s be 3/(-2)*(-12)/9. Suppose -15770 = -s*p + 10876. Is p a prime number?
False
Suppose 1610818 = 60*v - 2870402. Is v a composite number?
False
Let v(p) = p**3 + 6*p**2 + 5*p + 6. Let d be v(-4). Let u = d + -13. Suppose 2*l - j = -2*l + 1486, u*l - j - 1857 = 0. Is l composite?
True
Let g be (1 - (1 - -4)) + 6. Suppose l = -g*w + 5*w - 15341, -3*w + 4*l = -15347. Is w composite?
False
Suppose 0 = l - m + 56, 3*l + 43 = -m - 133. Let h = l - -56. Is ((-52)/78)/(((-8)/(-5970))/h) prime?
False
Is ((-175)/(-14))/(20/15605) - (-2)/(-16) a prime number?
False
Let o(n) = 199*n**3 - 2*n**2 + 42*n - 154. Is o(9) a composite number?
False
Is 5/((-289521)/28953 - -10) a prime number?
False
Let x = 524005 + -273306. Is x a composite number?
True
Let i(b) = 5*b - 13 - 3*b + 3*b**2 + 16*b**2. Let u = 723 - 729. Is i(u) a prime number?
True
Suppose -67*o + 82*o - 343110 = 0. Is o composite?
True
Let r(b) be the first derivative of b**3/3 - b**2/2 + 26821*b - 106. Is r(0) prime?
True
Let k(p) = -515*p**3 + 9*p**2 - 174*p - 1643. Is k(-9) prime?
False
Let v = -9502 - -13396. Let f = v - 505. Is f composite?
False
Suppose -10*f + 673355 = -993075. Is f composite?
False
Is 27907488/1440 - (1 - (-6)/(-10))*3 a prime number?
True
Let i(n) = -89497*n - 4. Is i(-3) composite?
False
Let v(u) be the first derivative of 103*u**3 - 2*u**2 - 19*u - 28. Let z be v(6). Suppose -12*i + z = -5*i. Is i composite?
False
Is ((-2)/(-6) - (-1268234)/(-33))/(-1 + 0) a composite number?
False
Let l = 6 + -6. Suppose l = 18*o + 2*o - 72140. Is o composite?
False
Let b = -41 - -41. Suppose -4*h - 1220 - 3280 = b. Let x = -286 - h. Is x a composite number?
False
Suppose -b - 8*n = -3*n - 10798, 5*n + 10828 = b. Suppose 0 = -289*l + 278*l + b. Is l a composite number?
False
Let b(l) = l**3 - l**2 - 9*l - 1715. Let y be b(0). Let z = -864 - y. Is z a prime number?
False
Let i(o) = 85*o**2 - 2*o - 1. Let s be i(-4). Suppose -77681 = -7*b - s. Is b/14 - (5 + 37/(-7)) prime?
False
Suppose 0 = l + 2 - 4. Suppose -l*h - 3*h + 687 = x, -4*x + 5*h = -2873. Suppose n - x = 711. Is n a composite number?
False
Let j(p) be the second derivative of 5*p**4/6 + 83*p**3/6 + 91*p**2/2 + 55*p - 1. Is j(-36) prime?
False
Suppose 34*g = 84 - 16. Is 23*g*1388/8 prime?
False
Let v = 335 - 333. Suppose 0 = -4*o + n + 22393, -o - v*n = -6*n - 5587. Is o a prime number?
False
Let h = -66 + 106. Suppose -4*t = t + h. Let k(o) = 46*o**2 + 12*o - 15. Is k(t) a composite number?
False
Suppose -21*f + 74*f = 1296165 + 1492324. Is f prime?
False
Let q be 1384/(-40) - (-3)/5*1. Let c = q - -41. Suppose 4*d - 4098 = -5*a, -5*a + c*d + 4082 = 3*d. Is a a composite number?
True
Let r = -24 + 25. Suppose -r = -3*h - s, s + 5 = 5*h - 2. Is (-4045)/5*(h + -2) composite?
False
Let y(w) = -728*w + 457. Let x(c) = 364*c - 228. Let d(m) = 5*x(m) + 3*y(m). Is d(-14) a prime number?
False
Suppose -12*k + 14*k - 28 = 0. Suppose 3*v + a = k, 4*v + 2*a = 5*a + 10. Is 2 + -2 + -3 + v + 572 a prime number?
False
Suppose -97*a - 56 = -90*a. Is a*(-7)/14 - -4857 a prime number?
True
Let w(n) = 842*n**3 - 2*n**2 + 32*n - 41. Is w(3) a composite number?
True
Suppose -23 = 5*o + 3*u - 6, -18 = 5*o + 2*u. Let n be (-1)/((938648/117332)/2 + o). Suppose 218 = -15*x + n. Is x composite?
True
Suppose -825 = -2*b + 5*t + 717, 1526 = 2*b + 3*t. Suppose 5*i + n - 648 = 3226, 2*n = i - b. Let l = i + -73. Is l a prime number?
True
Let o = 717 + -424. Suppose 9*y - o = 8*y. Is y prime?
True
Suppose -3*k + a = -3, 2*k + 7*a - 2*a = -15. Suppose 0 = -2*g - 4*u + 6918, -3*u = g - k*g - 3461. Is g composite?
True
Suppose 273 = -29*g + 26*g. Let t = g + 95. Suppose -3*c + 0*y = y - 202, 20 = -t*y. Is c a prime number?
False
Let d = 146 + -76. Suppose -11*p - 91 = -14. Let i = d - p. Is i composite?
True
Let t = -107230 + 378327. Is t prime?
True
Suppose -19*u + 53*u - 181450 = -16*u. Is u prime?
False
Let y(d) = d**2 + 17*d - 38. Let g be y(-19). Suppose g*q + 2*q = 6118. Let j = 5494 - q. Is j composite?
True
Let p(j) = 749*j**3 + 4*j**2 + 7*j - 26. Let z be p(4). Suppose 5*c = -3*t + 23751 + 24263, -t - z = -5*c. Is c composite?
False
Suppose -4*b + 34 = 2*j, 0*j - 4*j = -3*b - 68. Suppose -j*n = -18*n. Is (-3 - (2 + n))*-251 a composite number?
True
Let v be 46568/5 + 14/35. Suppose -2*a = -4342 - v. Suppose 17344 - a = 4*o. Is o a composite number?
True
Suppose -2*w + 15638 = 4*k, 3*w - 15307 = -3*k - 3571. Is k composite?
False
Suppose 5*h - 3*t - 1796 = 0, 0*h - 2*t - 1438 = -4*h. Let r = h + 1000. Is r a composite number?
False
Is 259/1665*356121 - (-2)/5 a composite number?
True
Let l(k) = -5852*k + 2. Let g be l(-3). Let o be -3 + (g/1)/(-3 - -4). Suppose -4*v - v = -o. Is v prime?
True
Let t be -3 + (-30)/(-5) + -5. Let j be (-6061)/(-3) + t/(-3). Suppose -2*q = -4*m + 2696, -3*m + 0*m = -q - j. Is m composite?
False
Let n(d) = -2*d**3 - 19*d**2 + 6*d + 9. Let r(o) = o**3 + 10*o**2 - 3*o - 5. Let x(c) = -3*n(c) - 5*r(c). Let z be x(8). Let f = 2331 - z. Is f composite?
True
Let n = 79 - 111. Let d be 6 - (n/(-40))/(2/5). Suppose -d*f + 352 = -2104. Is f composite?
True
Let k(m) = 8*m**3 - 9*m**2 - 10*m - 2. Let u be k(-9). Let b = -2566 - u. Is b a composite number?
False
Suppose 2*v + 2*z - 5*z = -2, -2*v = 3*z - 22. Suppose v*d = 8*d - 3, 4*k + d - 15985 = 0. Let g = k - 2679. Is g a prime number?
False
Suppose 5*x - 52825 = 10*x. Let j = x + 14982. Suppose -10*z + j = -3*z. Is z a prime number?
True
Suppose 687 = 37*w + 206. Let i(d) = 2024*d + 189. Is i(w) a composite number?
False
Is ((-6)/(-9) + 10/30)*-3 + 367510 a prime number?
False
Let i(c) = c**2 - 29*c - 5. Let w be i(-24). Suppose -3*s + q = -2406 + 509, 2*s - 3*q - w = 0. Let b = -111 + s. Is b a prime number?
True
Let x(s) = 2425*s**2 + 75*s + 139. Is x(-2) composite?
False
Suppose 7*g - 28 = 7. Is -73*14/(0/g - 2) a composite number?
True
Let n be 250/(-4)*24/(-30). Is n/20*47454/15 composite?
True
Let w = -3 - -3. Suppose 0 = t - 0*t - 2*y + 2, w = -y + 2. Suppose -t*n + 152 = 18. Is n a prime number?
True
Is (-379778)/(-10) - (-133)/(1995/18) a prime number?
False
Let f(y) = -9*y - 31. Let s be f(-4). Suppose 5*m - 4750 = -s*k, -9*m + 2868 = -6*m - 3*k. Is m prime?
True
Is (-3 - (-665610)/(-4))*142/(-639) prime?
True
Let o = 34 - 32. Let v(n) = -7*n + 3*n + 22 + 48*n**2 - 43*n**o. Is v(9) prime?
False
Suppose -3*q + 36 = q - 4*m, -3*m = 4*q - 8. Suppose -q*h = -21*h + 7504. Is h a composite number?
True
Suppose 0 = 3*k + 2*d - 75857, -d - d = k - 25287. Suppose -t = 4*h - 50567, 10*h - 12*h + k = t. Is h composite?
False
Suppose 2*k + 3*k - 3*y + 68 = 0, 0 = -2*y + 2. Is ((-146341)/k)/((-3)/(-3)) composite?
False
Is 7*((1 - (4 - -2)) + -10 + 146542) a prime number?
False
Let o(a) = -2*a + 21. Let g be o(9). Let t be g/(4/(-6) + 1). Let s(c) = 7*c**2 + 12*c - 6. Is s(t) a prime number?
False
Suppose -2046 = -8*m + 5*m. Let j(c) = 3*c**2 - 9*c + 37. Let a be j(15). Let b = a + m. Is b a prime number?
True
Suppose 3*i - 31*r = -29*r + 263369, 2*r - 175596 = -2*i. Is i a composite number?
False
Suppose 6*a + 546 = 648. Suppose a*t + 7332 = 49883. Is t prime?
True
Let g = 67397 + 15386. Is g composite?
True
Suppose -3*y - o + 32805 = -34728, -2*y = 2*o - 45022. Is y a composite number?
False
Suppose 10*