ppose -119 + 2223 = 4*w. Suppose -w = -9*j - 49. Is j prime?
True
Suppose 2*a + 317 = 11. Let h = 52 - a. Is h prime?
False
Is 10046333/511 - (-6)/7 a prime number?
True
Let h = 9758 - -375. Is h a composite number?
False
Is 6 + 102458 + (1 - 2) a prime number?
False
Let b be ((-58)/(-4))/(11/(-22)). Let g = -27 - b. Suppose -g*x = -4*u + 480, 0 = 3*u + 2*x + x - 369. Is u prime?
False
Suppose 0*c - c = -14. Is c/(-112) + (-402)/(-16) prime?
False
Let d(m) = 1 + 3*m**2 - m**2 + m**2 + 6*m. Let x = 197 + -204. Is d(x) a prime number?
False
Suppose z - 16199 = -4186. Is z prime?
False
Let a = 915 - 736. Is a composite?
False
Let d(q) be the second derivative of 219*q**4/4 - 5*q**3/6 + 7*q**2/2 - 10*q. Is d(3) a composite number?
True
Let v(z) = -5*z**2 + 5*z - 3. Let r be (2*-1)/((-2)/5). Let g be v(r). Let m = g - -354. Is m composite?
False
Suppose 12 = o + 4*k, o + 3*o = -2*k - 22. Is 4035/6*o/(-10) prime?
False
Let q(a) = -5*a + 8. Let x be q(-10). Let u = 21 + x. Is u prime?
True
Let q(l) = -13 + 3*l**3 - 5*l**3 - 2*l**2 - l + 3*l**3 + 11*l**2. Let b be q(-9). Let k = b + 8. Is k composite?
True
Let t = 18011 + -10194. Is t composite?
False
Suppose -13*l + 14*l = 1. Let o(y) be the third derivative of 14*y**5/15 - y**4/8 + y**3/3 - 7*y**2. Is o(l) composite?
True
Let h be 411 - ((-1 - 3) + 0). Let p = h - 96. Is p composite?
True
Let i(c) = c + 10. Let b be i(-6). Suppose 1122 = b*p - 4322. Is p a prime number?
True
Is ((-293947)/(-119))/(1/7) prime?
True
Suppose 3634 = 434*s - 432*s. Is s composite?
True
Let a = -5 + 25. Suppose -2*h + 2*k = -78, 4*h - k = 139 + a. Suppose 3*t - 77 = h. Is t prime?
False
Let w(o) = 2 - 3*o + 6*o**2 + 7 - 8 + 2*o**3. Is w(6) prime?
True
Suppose 4 = -q + y, -q + 2*y = 4*q + 5. Let n be -3 + (24*q)/3. Suppose 2*s - 756 = -s - n*o, 0 = 4*o + 12. Is s prime?
True
Let v(i) = -i**3 + 9*i**2 - 10*i + 27. Let h be v(8). Suppose -h*m + 15 = -6*m. Is (1149*-1 + m)/(-2) composite?
True
Suppose z + 4*r - 40681 = 0, 3*r + 120874 + 41907 = 4*z. Is z composite?
False
Suppose -13*s - 1442 = -6*s. Suppose 4*t = 6*t, 5*t = 4*g + 556. Let j = g - s. Is j composite?
False
Let y = 0 - -4. Suppose 0 = -21*a + 15*a + 2814. Suppose 4*p - 662 = -0*p + 2*f, 3*p + y*f - a = 0. Is p composite?
False
Suppose -18390 + 55059 = 51*w. Is w prime?
True
Suppose 4*n - 12 = 0, -41086 = -3*q - 5*n + 86852. Is q composite?
False
Let q(t) = -82*t + 1. Let p(i) = i**3 - 10*i**2 + 8*i - 2. Let o be p(9). Let b be o/3 + 3/(-9). Is q(b) prime?
False
Let r be 19 + 2 + -4 + 3. Suppose -4*i + 17 = -u - 4, r = -4*u. Suppose 3*m + 97 = i*h, 0*h - m = 2*h - 41. Is h composite?
True
Let h(v) = -v**3 - 10*v**2 - 3*v + 9. Let i(d) = 2*d**3 + 11*d**2 + 3*d - 8. Let q(t) = -3*h(t) - 2*i(t). Is q(-5) a composite number?
True
Let s be 27/(-6)*8/(-12). Suppose 0 = 2*o + 5*k - 306, -s*o + 5*k = -362 - 122. Is o prime?
False
Suppose -50*k - 100 = -54*k. Suppose -5*h + k + 10 = 0. Let a(c) = 5*c**3 - 6*c. Is a(h) prime?
False
Let m = 295 + -122. Let u = -10 + m. Is u prime?
True
Suppose q - 110 = 6*q. Let j = q + -52. Let x = j - -129. Is x a composite number?
True
Suppose -x - 3*x - 540 = -4*b, -3*b = -x - 135. Let z = 257 + x. Is z a composite number?
True
Let t(q) = q**3 + 7*q**2 - 2*q. Let r be t(-5). Let o = r - -81. Is o composite?
True
Suppose 0 = o - 2*b - 14961, 0 = 4*o - 3*b - 0*b - 59864. Is o prime?
True
Let v(w) = -w**3 + 51*w**2 - 37*w + 60. Is v(43) prime?
False
Is 428370/34 + ((-300)/(-51) - 6) prime?
False
Let u(t) = -t**2 - 7*t + 8. Let r be u(-6). Suppose 0 = w + w - r. Is 2/w - 2502/(-14) prime?
True
Let t = -210402 - -313369. Is t a prime number?
True
Let h = -4679 - -6697. Is h prime?
False
Let z = -51 + 173. Let a be 2/((4/(-43))/2). Let t = z + a. Is t a prime number?
True
Let l = -6710 - -21363. Is l a composite number?
False
Let r be 2/(151/98 + 3/(-2)). Let t = r - 26. Is t a composite number?
False
Suppose 5*p + 10 = 3*u, 0*u + 3*p + 17 = 4*u. Suppose -u*i + 8 = -3*i. Suppose -4*f + f + 308 = l, -i*l - 3*f + 1187 = 0. Is l a prime number?
True
Let z = 1638 - -53. Is z a prime number?
False
Let w be (-23 - -28) + -1 + 3908. Let q = w - 2009. Is q prime?
False
Suppose c - 4*u - u = -511, 0 = 3*c - 4*u + 1533. Let h = c + 1225. Suppose 693 = 3*l - h. Is l prime?
False
Let x = 36 - 62. Let j be 3*(-7)/3*x. Let v = j - 25. Is v prime?
True
Let a be ((-4)/2)/((-6)/45). Suppose -a = -3*r + 96. Is r composite?
False
Is (-1346410)/52*(27/(-15) + -1) a composite number?
True
Let s(n) = 11*n**3 + 10*n**2 - n + 5. Let g(a) = 2*a**2 - a - 2. Let u be g(2). Is s(u) a prime number?
False
Let s = 5623 + -2988. Suppose 3*b + a - s = 0, 5*b - 2639 = 2*b - 2*a. Is b composite?
False
Let z = 13 + -14. Let c(s) = -916*s + 2. Let h be c(z). Suppose 0 = 4*t - 1158 - h. Is t prime?
False
Suppose -197*j + 199*j - 20594 = 0. Is j composite?
True
Suppose 0 = -5*q + 16 - 6. Suppose -3*n - i + 443 = -12036, q*n - 5*i - 8291 = 0. Suppose -2*g + 1720 + n = 0. Is g composite?
False
Let p = 7380 + -4839. Let l = p - 4948. Let f = l - -3558. Is f a prime number?
True
Let y = 40 - 37. Suppose -y*p = -797 - 826. Is p a prime number?
True
Let w(b) = 511*b**2 + 16*b. Is w(7) a composite number?
True
Let j be 1/(1/(-2)*1). Is (-1 + 4 - -450) + j prime?
False
Let y(u) = u**2 + 167 - 155 + 2*u - 13*u. Let v be y(11). Suppose -4*a + v = 0, -4*p - a + 6428 = p. Is p prime?
False
Let p(r) be the second derivative of r**5/20 + r**3/6 + 445*r**2/2 + 2*r. Is p(0) composite?
True
Is (2 - 1365/14)/((-2)/20) composite?
True
Suppose -1025 = -19*l + 76457. Is l prime?
False
Let o(x) be the first derivative of x**2 - 6*x + 5. Let a be o(5). Suppose -u + a*u = 5817. Is u a prime number?
False
Suppose 579 - 4209 = -3*x. Suppose 0 = 4*h - 1594 - x. Is h composite?
False
Suppose -5*z + 829021 = -2*g, 0 = 4*z + 12*g - 17*g - 663210. Is z prime?
False
Suppose 3*u - 2 = -2*y, -2*u - 4*y + 6 + 6 = 0. Let t be (2259/(-6))/(u/4). Is t/((-6)/(-2)) + 2 a composite number?
True
Let i(l) = -2*l**3 - 6*l - 5. Let y(a) = 4*a**3 - a**2 + 12*a + 11. Let w(m) = 11*i(m) + 6*y(m). Is w(10) a prime number?
True
Is 2/(-1)*(76149/(-6))/3 a composite number?
False
Suppose 0 = z - 10 - 13. Let b = 23 - z. Is (b + -15)*1/(-1) a composite number?
True
Let t be 68/102 - (-20)/6. Suppose -t = 6*h - 862. Is h composite?
True
Is 2 - 7/3 - 35904/(-9) a composite number?
False
Let n = 5317 + -2171. Suppose s = 2*r - n, -4*r - 5*s + 6304 = -s. Is r a prime number?
False
Let q(u) = 387*u**2 + 2*u - 3. Suppose -2*h - h + 19 = -2*a, -5*h = -3*a - 31. Is q(a) prime?
False
Is ((-6)/(-8))/((-24)/(-52544)) composite?
True
Let u(v) = 8737*v**2 + 8*v - 2. Is u(1) a prime number?
False
Let m = -5312 - -7494. Is m prime?
False
Let i(n) = 61*n**2 + 4*n. Let x be i(-5). Suppose -6*h = -11*h + x. Is h prime?
False
Let u(c) = -86*c**3 + c**2 - c + 2. Let m be u(-2). Let r = -367 + m. Is r composite?
True
Let t be -1 + (-1 - -1) + 0. Let g(q) = 159*q**3 - q**2 - 6*q - 1. Let a(b) = -b. Let j(v) = 4*a(v) - g(v). Is j(t) composite?
True
Let u = -882 - -2831. Is u a composite number?
False
Let y(o) = -3 + 8*o - 35*o - 2. Is y(-8) prime?
True
Suppose 5*p + 2*o - 57 = -0*o, -5*p + 4*o + 51 = 0. Suppose p*b = 4*b + 48041. Is b a composite number?
False
Let a(m) = 50*m**2 - 14*m + 23. Is a(-5) prime?
False
Let y = 35 + -32. Suppose 3*q = -y*f + 1128, -4*q + 1593 - 134 = -5*f. Is q composite?
True
Let g(l) = -l**2 - 16*l - 12. Suppose 0 = z - 6*z - 75. Let b be g(z). Suppose 4*v = 4*k + 156 + 68, -b*v + 174 = -k. Is v a composite number?
False
Suppose 4*o + 17 = -3. Let z be 2/(3 + o)*-1450. Suppose -2*l - 3*u = 3*l - z, -25 = 5*u. Is l a composite number?
False
Let b(j) = 71*j**2 + 6*j + 10. Is b(-3) a prime number?
True
Let y(l) = 8*l**2 - 57*l - 93. Is y(40) prime?
True
Suppose 0 = j - 6*j + 1575. Suppose -j = -6*n + 393. Is n a prime number?
False
Let j be (-10)/10*(-1 - 1). Is -17*j/4*2408/(-28) prime?
False
Suppose -3*w - 80 = -32. Let g = 2 + w. Is (1/2)/((-1)/g) a composite number?
False
Let t = 25 - -504. Is t a composite number?
True
Let j(t) = 1247*t**2 + 14. Let n be j(3). Let o = 20586 - n. Is o composite?
False
Suppose 4*y - 2*k = 9*y - 63821, 63812 = 5*y - k. Is y prime?
True
Let r(y) = -y**3 - 6*y**2 - 3*y + 1. Let t be r(-4). L