s x(g) composite?
False
Let u(h) = -1252*h - 889. Is u(-30) composite?
False
Suppose -2*p = -s - 26145, 0 = p + 45*s - 48*s - 13080. Is p a prime number?
False
Let d be (-44319)/(-34) - (-1)/2. Suppose r + 3*u + d = 3*r, 2*r - 2*u - 1306 = 0. Is r a composite number?
True
Let d(o) = -1821*o - 205. Is d(-12) a composite number?
False
Let v(c) = 112*c**3 - 4*c**2 - 12*c + 17. Is v(6) prime?
True
Suppose 3 - 58 = -11*m. Suppose -1128 = -m*b + 1387. Is b prime?
True
Is (-1)/2*-71011*(7 - 5) prime?
True
Suppose -51 = -3*k + 9. Let q be (-1 + 796)*16/k. Is -2 + 0 + q/4 a prime number?
True
Suppose g + 5092 = z, g + 20353 = 6*z - 2*z. Is z a prime number?
True
Suppose 5*c + 0*c + 3 = -4*m, 0 = -2*m - 5*c - 9. Is 2149 - 0/(12/m) a composite number?
True
Suppose 4*a = -u + 109447, 131665 - 22212 = 4*a + 3*u. Is a a prime number?
True
Let o(u) = 14*u**2 - 4*u - 5. Let p be o(-1). Suppose -p*f - 2019 = -14*f. Is f composite?
True
Let p(w) = -4*w**2 + w - 2. Let b(q) = -7*q**2 + q - 4. Let n(i) = 2*b(i) - 5*p(i). Let v = 8 - 11. Is n(v) composite?
True
Suppose 0 = -3*v + 2116 + 1931. Is v a prime number?
False
Suppose -3*w = 2*w - 1445. Let d = -131 + w. Let f = d + 159. Is f a prime number?
True
Suppose 0 = -5*w + 20 + 235. Suppose d - w = 286. Is d prime?
True
Let g = 6392 - -1571. Is g prime?
True
Suppose -9 = w + 2*w, -w - 9 = -3*m. Let r(v) = 10*v - 25. Let k be r(3). Suppose k*l + g - 1196 = m*g, 2*l - 480 = 2*g. Is l a composite number?
False
Let z be 42259/49 - (-8)/14. Let i = 18 - 13. Suppose 0 = i*g - z - 902. Is g prime?
True
Let o = 6578 + 1983. Is o prime?
False
Let u(k) be the third derivative of -37*k**4/24 - 5*k**3/6 - 39*k**2. Suppose 0 = 4*l + 13 - 1. Is u(l) prime?
False
Let x(g) = -g**2 - 7*g. Let j be x(-7). Suppose -8*s + 52 + 100 = j. Is s a composite number?
False
Suppose -13*v + 8320 = -4407. Is v a prime number?
False
Suppose -x + 12969 = 4*o - 2*o, -o = -4. Is x a composite number?
True
Is 5623*11*(-7)/(-7) prime?
False
Suppose -17*c = -c - 47856. Let v = -1432 + c. Is v composite?
False
Let w(f) = f - 6. Let k be w(6). Let m(v) = -v**3 - 14*v**2 - 14*v - 37. Let r be m(-15). Suppose 5*a = -5*d - k*d + 410, r = 5*d + a. Is d a composite number?
False
Let b = -83 - -444. Is b a prime number?
False
Let t = 3542 + -2348. Suppose n + n = -2*h + t, -2*n = -8. Is h a composite number?
False
Let g(m) = -m**3 + 9*m**2 - 7*m - 2. Let w be g(8). Suppose -w*x - 5163 = -9*x. Is x a prime number?
True
Suppose -2*g + 3896 = -5*l, 4*g + 0*l - 7768 = -2*l. Is g composite?
True
Let n be ((-4140)/75)/((-1)/5). Let t = 467 - n. Is t a composite number?
False
Let o = -451 + 981. Let y = o + 399. Is y a composite number?
False
Let n be ((-32)/(-3))/((-2)/(-6)). Suppose 5*t + 5*j = -55, 0 = 3*t - 4*t + j - 7. Let b = n + t. Is b a prime number?
True
Let c = 23 + -53. Let s = c - -241. Is s prime?
True
Let g(x) = -x**3 + 7*x**2 + 9*x - 1. Let q be g(8). Suppose -i = -4*t + 492, -5*t - 3*i = -q*i - 615. Suppose -8 = -z + t. Is z a composite number?
False
Suppose y - 3*u - 28773 = 2*u, -86307 = -3*y + 3*u. Suppose 0 = -6*q + y - 5158. Is q composite?
True
Suppose -2*a = -5*t + 351, -10*a = -8*a + t + 333. Let v = 43 - 126. Let j = v - a. Is j prime?
False
Suppose -1 = -4*a + 11. Suppose p = a*p - 754. Is p a composite number?
True
Suppose 2*g - 4436 = 4*w, 3*w - 5307 = -3*g + 1329. Suppose 0*f + g = 3*f. Let a = f + -473. Is a composite?
True
Suppose -q = i - 4*q - 20, 58 = 4*i - q. Suppose 4*m = -y + i - 3, -2*y - 4*m + 10 = 0. Let x = y - -7. Is x a prime number?
False
Let p(b) = 2*b**3 + 3*b**2 + b - 7. Let g(a) = a**2 + 3*a + 1. Suppose v - 5*v - 16 = 0. Let o be g(v). Is p(o) a composite number?
True
Suppose 12 = -4*b + b. Let f = 0 - b. Suppose -f*t = -5*k - 116, -3*t + 110 = 2*k - 0*k. Is t prime?
False
Suppose -q + 6*q = -1615. Suppose -5*f + 7*x - 4*x = 2342, 3*f - 2*x + 1405 = 0. Let p = q - f. Is p prime?
False
Let l(s) = 16*s**2 - 16*s - 25. Let o be (26/(-4))/((-6)/(6 - 18)). Is l(o) composite?
False
Suppose 2*o + 4*y - 16 = o, 3*y = 3. Suppose q = 5*n - 2 + 15, -2*q + 3*n = -o. Suppose 2*c - 4*t - 230 = 0, q*t - 82 = -3*c + 236. Is c a composite number?
False
Let j = 48 + -2021. Let o = -930 - j. Is o a composite number?
True
Suppose -5*j = v + 65, 3*j - v = -2*v - 39. Let f = j + 17. Is (131/(-2))/((-2)/f) prime?
True
Let r be (1 - -3)/(6/(-3)). Let p be 1 - -5 - (r - -5). Suppose -5*b = -i - i + 115, p*b - 162 = -3*i. Is i prime?
False
Let c = 147569 - 87306. Is c a composite number?
True
Is 34682/6 + (6 - (-44)/(-6)) a prime number?
True
Let z = 42553 + -26034. Is z a prime number?
True
Let q(c) = 4*c**2 - 3*c - 6. Let g be q(5). Suppose m + 2*u - g = 0, 100 = -3*m + 4*m - 5*u. Is m prime?
False
Let r = 3 + -1. Suppose 7*v - 5*v - 10 = 0. Suppose -3*f - 973 = -v*f - 5*q, r*f = -4*q + 970. Is f a prime number?
True
Let r(s) = 12*s + 49. Let w be r(-7). Let b = 126 - w. Is b a composite number?
True
Let y(d) = d**3 - 3*d**2 - 9*d - 2. Let k be y(5). Suppose 4*w - o + 7 = 2*w, 2*w + k*o = 13. Is 37 - (-4 + 1 - w) prime?
False
Let z(n) = n**3 + 15*n**2 - 33*n + 27. Is z(38) composite?
True
Let g(u) = 793*u**2 + 9*u - 11. Is g(5) composite?
True
Suppose 15 = 4*v + v. Suppose 3*c - 12 = -v*o, 5*c + 0*o = o + 8. Suppose -c*s = 269 - 879. Is s prime?
False
Suppose -10 = 2*d + 2*y - 34, 3*y = -2*d + 28. Let m(i) = 608*i + 9. Is m(d) composite?
True
Let b = 351 + 49. Suppose 1559 = x + 4*a + b, 2 = a. Is x prime?
True
Let f be 11/((-8)/10 - -1). Suppose 0 = -5*p - 4*i + f, -i + 0*i = p - 10. Is (18/p)/((-6)/(-165)) a prime number?
False
Let y be 4 - (24/4)/(-3). Suppose -y + 0 = -3*k. Suppose 0*w = k*w - 790. Is w a composite number?
True
Let i(z) = z**2 - 3. Let b be i(-4). Let n = 23 - b. Suppose n*j - 12*j + 74 = 0. Is j a prime number?
True
Let c(z) = -z**2 + 9*z + 14. Let p be c(10). Suppose -p*d - 3*d = 28. Is ((-1542)/(-12))/((-2)/d) a prime number?
True
Suppose 8*n - 109 = -21. Let j(f) = f**3 - 7*f**2 - 14*f + 5. Is j(n) prime?
False
Suppose 2*a = -5*a + 42. Suppose 8*m - 878 = a*m. Is m a composite number?
False
Let q = 7895 + 5084. Is q a prime number?
True
Let r(z) = -z**3 - 6*z**2 + 4*z - 6. Let f be r(7). Let m = -366 - f. Let d = m - 136. Is d composite?
False
Let p = 46 + -63. Let h(l) = l**3 + 20*l**2 + 4. Is h(p) a composite number?
True
Let f(h) = 10*h**2 + 19*h + 18. Let g(u) = 3*u - 37. Let p be g(8). Is f(p) composite?
True
Let i(x) be the second derivative of x**4/12 - 2*x**3 + 9*x**2 + 3*x. Is i(13) composite?
False
Let y = 9582 - 6721. Is y composite?
False
Let j = 6590 + -9986. Let b = j + 5345. Is b a prime number?
True
Let s = -276 + 879. Suppose 2*r - 137 = 355. Suppose 5*u - s = 2*i, -2*u + i + i + r = 0. Is u a prime number?
False
Let i = 2463 + 3094. Is i composite?
False
Is ((-1)/(-2))/(6 - (-495033)/(-82506)) a prime number?
True
Let p = -8 - -9. Let t be 3 + (222*p - 4). Let v = t + -58. Is v composite?
False
Let f(l) = -70*l**2 - 85*l**2 - 13 + 5*l + 185*l**2. Is f(10) a prime number?
True
Let u(x) = 17*x**2 + 3*x + 3. Suppose 3*f = -0*f - 3. Let i be (4/f)/(4 + -3). Is u(i) a composite number?
False
Suppose 45*f = 43*f - 1264. Let d = 1005 + f. Is d a prime number?
True
Let k(w) = 18*w**2 + 3*w - 8. Let p be k(-4). Suppose -o + 3*f = -p, -3*f = -2*o + 2*f + 538. Is o a composite number?
True
Let c = 24069 + -13768. Is c a composite number?
False
Let v(t) = 1287*t - 130. Is v(9) a prime number?
False
Suppose -5*v = 5*w - 845, -3*v - 91 = -w + 98. Suppose -2*o = -o + w. Let s = o - -307. Is s a prime number?
False
Let g = 6488 + 12009. Is g composite?
True
Suppose -3*t + 106 = 88. Suppose 5*x - 3*g = -205, -5*x - g = 2*g + 235. Is x/t*1416/(-16) prime?
False
Is (-2)/((-327702)/(-27309) - 12) a prime number?
True
Suppose 2*l + 4*q - 30138 = 0, -20259 = 3*l + 5*q - 65463. Is l composite?
True
Suppose -4*m + 77 = -d, 2*m + 3*d + 98 = 7*m. Suppose m = 3*h - 17. Is (-3010)/(-8) + h/16 composite?
True
Suppose 3*d + 18 = 3*r, 4*r - r - 26 = 5*d. Let b be ((-388625)/50)/(2/d). Is ((-2)/1)/((-10)/b) composite?
False
Let l(y) = 2*y - 7. Let q be l(6). Suppose 0 = 2*a + 4, -5*v + 28 = -2*a + 4. Suppose -v*f + 2*b + 351 = -3*b, -q*f - b = -446. Is f a composite number?
False
Let o(s) be the second derivative of 2*s**4