357, 4*y - 19935 - 3221 = 2*s. Is y a prime number?
True
Suppose 42*c = 26*c + 369488. Is c composite?
True
Suppose -938 = -7*c + 4*c - f, 5*c - f - 1550 = 0. Let g(d) = 3*d + 56. Let i be g(-18). Suppose i*j - 51 - c = 0. Is j a composite number?
False
Suppose 0 = 7*r - 4*r - 4593. Is r prime?
True
Let y be 816 + (-1 - 1 - -2). Suppose -4*u + 8*u - y = 0. Suppose 0 = -d - 3*n + u, 2 = -n + 3. Is d a prime number?
False
Let l be (1 - 0)/(3/(-12)). Is ((-2)/(-4) - (-78)/l)*-1 prime?
True
Let f = -168 - -287. Is f a composite number?
True
Let u(h) = -34*h + 4. Let m be u(3). Let j be m/(-42) + 2/3. Is (2/j)/(4/1110) composite?
True
Suppose -4 = 3*j - 19. Suppose -j*r = -10, -2*s - 2*s + r + 2162 = 0. Is s a prime number?
True
Suppose 0 = -5*m + 6*x - 5*x + 11, -x + 19 = 5*m. Suppose -2*a + 1 - m = 0, -4*c = a - 355. Is c prime?
True
Suppose -3*a = -6*a + f - 262, 5*a + 450 = -5*f. Let h = 163 - a. Is h a prime number?
True
Let w = 7116 - 4871. Suppose 7*h + w = 12*h. Is h a composite number?
False
Let u(j) = 1816*j**2 - 5*j - 4. Let y = 54 - 55. Is u(y) composite?
True
Let z = 70 - 68. Is ((-1)/((-3)/1726))/(z/3) composite?
False
Suppose -3*j = 4*d - 150871, -3*j = 6*d - 13*d + 264016. Is d composite?
False
Suppose -j = -5*o - 128, 3*j + 2*j - 640 = -4*o. Suppose 303 = 4*d + 5*x, -x - j - 41 = -2*d. Is d a prime number?
False
Let h(x) = 6*x - 12. Let r(f) = -f - 1. Let y(v) = -h(v) - 3*r(v). Let o be (-3)/2 + ((-4)/(-8) - -1). Is y(o) composite?
True
Let o(s) = 1021*s**2 + 48*s - 209. Is o(4) composite?
False
Suppose -19 = -5*q + 3*n, 2*q + 4*n + 7 - 25 = 0. Let s be (-2)/(-24)*4*15. Suppose -4*k + 1309 = s*t, 5 + 10 = -q*t. Is k a prime number?
True
Suppose -2595 = -6*j + j. Is j prime?
False
Suppose l + 19*a - 11969 = 21*a, -59845 = -5*l + a. Is l prime?
True
Suppose 0 = 2*j - a - 112600, 2 = 192*a - 193*a. Is j composite?
False
Suppose -2*j = -2*t - 436, 3*t - 660 = -3*j - 0*j. Let h(q) = -q**2 - q. Let d be h(-1). Suppose d = 6*f - j - 63. Is f a composite number?
False
Let d(h) = -h + 3. Let k be d(1). Suppose 5*b - v = 375, -v - 143 = -k*b - 2*v. Is b a composite number?
True
Let r = -13909 - -19956. Suppose 1942 = -5*t + r. Is t composite?
False
Suppose 7*c - 8*c + 1474 = 3*m, 0 = -4*c - 3*m + 5887. Is c composite?
False
Is (9 - 426/36)*-4926 composite?
True
Let a(p) be the second derivative of -8*p**3/3 - 37*p**2/2 - 4*p. Let w be a(-16). Let s = w + 252. Is s a composite number?
True
Let o = 34 + 69. Is o a composite number?
False
Is 70/(-140)*12394/(-1) a prime number?
True
Let b = -18080 - -27174. Is b composite?
True
Suppose -23*k + 148812 + 14971 = 0. Is k prime?
True
Let y(a) = -1. Let z(q) = 5*q - 23. Let f(g) = -6*y(g) + z(g). Suppose 2*w + 68 = 5*b, -4*b = -2*b - 3*w - 25. Is f(b) a prime number?
True
Let w be 2/(-4) + 20/8. Suppose 5*v = 3*v + w*t + 680, -996 = -3*v - 5*t. Is v composite?
False
Let j(c) = 2*c + 2. Let w be j(-1). Suppose 1349 = 5*s - 2*m, w*s + 5*s - 4*m = 1343. Is s a composite number?
False
Suppose -10*r + 13920 = -8*r. Suppose 2*p - 4*a - 3486 = -0*a, -2*a - r = -4*p. Is p composite?
True
Suppose 0 = -2*r + 15*r - 72683. Is r a composite number?
False
Suppose -13*v = 11327 - 35338. Is v prime?
True
Is (-205919)/(-7) + -4 + 2/(-1) composite?
False
Suppose -5*y + 2*u = -4198, 4*u - 818 = -y - u. Is y composite?
True
Let d(h) = -2*h**2 + 38*h + 8. Let y be d(17). Suppose -2*p = 5*n - 399, 3*p - 9 = -n + y. Is n a prime number?
True
Let x(g) = 50*g - 7. Let k = -29 - -35. Is x(k) a prime number?
True
Suppose 17*u - 24*u + 1477 = 0. Is u a prime number?
True
Let k be (0 + 5)*606/(-15). Let t = 451 + k. Is t composite?
True
Let c = 3 + -9. Is 2879/5*(c + 11) a composite number?
False
Let n be (1/(-2))/((-26)/12 - -2). Suppose l - 4*s = 5045, -n*l - s + 15105 = -3*s. Is l composite?
True
Suppose u + 20 = 9. Let i(q) = -14*q + 45. Is i(u) composite?
False
Let a(x) = 56*x - 320. Let y be a(6). Let w = 1 - -3. Is 166/w*y/8 prime?
True
Suppose 2*h = -0*h + 30. Suppose h*n - 12*n - 771 = 0. Is n prime?
True
Suppose 2*d = -10, 0 = -10*h + 13*h + 3*d - 17979. Is h prime?
False
Let h = -23 - -23. Suppose h*p + 5*p - 2045 = 0. Let a = -200 + p. Is a prime?
False
Suppose 30*k + 628317 - 1806027 = 0. Is k composite?
True
Let v be 2 - 10/((-25)/(-5)). Suppose -i - 1 = -4. Suppose v = -6*k + i*k + 753. Is k prime?
True
Let u = 9699 - 3250. Is u prime?
True
Let y = 11 - 11. Let c be 3/(1/(1 + y)). Let i(n) = 15*n**2 - 2*n - 2. Is i(c) a composite number?
False
Is 4718 - -1 - (12 + -10 - 4) composite?
False
Let y(l) = -2005*l - 7. Let h be y(-2). Let b = h - -88. Is b composite?
False
Suppose -553 = 9*f + 1490. Let s = 350 + f. Is s a prime number?
False
Suppose 3*a + 2*n + 18885 - 81622 = 0, -2*a = -2*n - 41818. Is a a prime number?
False
Let f = -1 - 4. Let b = 11 + f. Is (201/b)/((-5)/(-10)) a composite number?
False
Let t(r) = -r**3 + 21*r**2 + 43*r - 4. Is t(19) composite?
True
Suppose 4*y + 0*r - 3*r + 25 = 0, 2*y + 11 = r. Is (-1174)/y - (-1)/(-2) a prime number?
True
Let y = 60 - 56. Is (-16)/(-4) + 443 - y prime?
True
Let v be (1/3)/((-21)/189). Is 194/v*(-66)/4 composite?
True
Suppose 0 = -0*u + 3*u. Suppose p = 3*p + q - 4, u = 4*p - 2*q - 8. Suppose 1907 = 4*w + j + p*j, -5*j = -3*w + 1452. Is w a prime number?
True
Let s(c) = c**3 + 2*c**2 + 4*c - 7. Let y be s(5). Suppose -1087 = -v - y. Is v a composite number?
True
Let s = -28 + 130. Let u = 268 - s. Is u a composite number?
True
Let v(a) = a**3 - 16*a**2 + 12*a + 37. Let n be v(15). Is (-2 + 1612/n)*-2 prime?
False
Suppose 2 = -10*x + 11*x. Suppose -1378 = -x*q + 328. Is q prime?
True
Let f(s) = -668*s - 611. Is f(-21) composite?
False
Suppose -2039254 = -32*x + 180618. Is x composite?
False
Let j = 61756 - 43223. Is j a prime number?
False
Let y(v) = 32*v**2 + 3*v + 175. Is y(30) prime?
False
Suppose 5*x + 3*d = 18154, -4*x - x = -d - 18142. Is x a composite number?
True
Suppose -2*b + 6555 = -5*d - 831, 4*b - 14752 = 5*d. Is b a composite number?
True
Suppose m - 213 = 2*x, -4*x = -6*x - 8. Let r = -9 - m. Is -3 - (r + 0/(-4)) composite?
False
Is 1386728/616 + 4/(-22) a composite number?
False
Suppose 0*f + 19*f = 21869. Is f prime?
True
Let d be (-33)/6 + 2/(-4). Let w(u) = 4*u**2 - 4*u - 7. Let a(f) = -4*f**2 + 4*f + 8. Let c(k) = -4*a(k) - 3*w(k). Is c(d) a composite number?
False
Let u(h) = h - 1. Let q(k) = k - 1. Let c(x) = 5*q(x) - 6*u(x). Let v be c(-1). Suppose -2*f + 180 = -v*d + 4*d, 3*f = -5*d + 448. Is d composite?
False
Let x(u) be the first derivative of 68*u**3/3 - u + 18. Is x(-2) prime?
True
Let f = -13 - -18. Suppose -1908 = d - f*d + 2*s, -d + 463 = 3*s. Let w = 112 + d. Is w a prime number?
True
Suppose -4*s + 1529 = -68863. Let h = s - 10661. Is h prime?
False
Let o(u) = -14*u + 2. Let g be o(1). Let j be (-12)/g - (-1 + 5). Is (-1)/j + (-532)/(-6) prime?
True
Suppose 4*d - d + 2465 = -5*a, -d = -5. Let u = 118 - a. Is u a prime number?
False
Suppose 68*t = 63*t + 21475. Is t a prime number?
False
Is (-2)/((10/195)/(12723/(-9))) prime?
False
Let p(u) = -142*u - 3. Let m be p(4). Let i = m - -822. Is i a prime number?
True
Let q(b) = b - 6. Let m be q(11). Is 3 + 0/m - -106 a prime number?
True
Suppose -4*m + 2 = 4*o + 74, -m + 72 = -5*o. Let l(d) = -8*d**2 - 22*d + 1. Let u(w) = 9*w**2 + 22*w - 3. Let z(k) = -7*l(k) - 6*u(k). Is z(o) prime?
True
Let n(y) = -6*y - 2. Let d be n(8). Is (-63025)/d - 3/2 composite?
False
Let b(y) = -4044*y - 41. Is b(-7) prime?
False
Let n(i) = 40*i + 609. Is n(10) a composite number?
False
Let q = 4 - -1. Suppose 0 = -q*h - 0*z - 2*z + 7, 3*h + 2*z - 1 = 0. Suppose -h*u + 4*d = -933, -2*u + 0*d = -5*d - 629. Is u prime?
True
Suppose 0 = t + t - 38. Let p(q) = 10*q + 27. Is p(t) composite?
True
Suppose 607 = 3*w + 5*n, -4*w + 7*w - 4*n = 562. Is w prime?
False
Let q(n) = -n**2 + 10*n - 2. Let v be q(5). Let z = v + -18. Suppose -4*i = 4*d - 836, -3*d - d - z*i = -832. Is d a composite number?
True
Let s(n) = n**3 - 7*n**2 - 2*n + 1. Let c be s(7). Let x = 16 + c. Suppose 0 = -w + x*w - 290. Is w a composite number?
True
Let h = 7786 - -3831. Let t = -6926 + h. Is t composite?
False
Let o(i) = 30*i**2 - 7*i - 12. Let s(a) = 30*a**2 - 6*a - 11. Let h(t) = -5*o(t) + 6*s(t). Let c be h(-6). Let m = c - 763. I