Is n composite?
False
Let c be 1 + (-2 - -2) - 443. Let z = -779 - -138. Let g = c - z. Is g composite?
False
Suppose -36 = -5*v - 4*p, v + p = -v + 12. Suppose -v*c + 5 = 5*y, -y - 2*y = -3*c - 3. Let q(f) = 36*f**2 - 3*f + 2. Is q(y) prime?
False
Let t = -12 - -12. Suppose t - 467 = -m. Is m a prime number?
True
Suppose 0 = 3*r - 8*o + 6*o - 311713, 2*o + 103907 = r. Is r a composite number?
False
Suppose 0 = 5*v + 5 + 5. Let x be 1475 - v/(-5 - -3). Let g = x + -975. Is g prime?
True
Let h(t) = 5*t**2 - 66*t + 26. Let b be h(13). Suppose 3*g = g + 2310. Is (-18)/(-117) + g/b prime?
True
Suppose 3*l = 5*l. Suppose 3*d = t + 1525, 5*d - t - 3978 + 1437 = l. Let z = -287 + d. Is z a prime number?
False
Let c(d) = 78*d - 3. Let v be (-81)/(-36)*(-8)/(-2). Is c(v) composite?
True
Suppose 44*u - 1925928 = -28*u. Is u prime?
False
Let r = 209 - -337. Suppose f - 174 = -c + 6, -r = -3*c - 5*f. Is c a composite number?
True
Suppose -w - 2*j + 102 = -2*w, 416 = -4*w + 4*j. Let k = -17 - w. Is k prime?
True
Let z(a) = -5*a**3 + a**2 + 2*a - 2. Let d be (-3)/((-25)/10 + 2). Let n = d - 10. Is z(n) composite?
True
Let i(r) = -r - 1. Let a be i(-5). Suppose -p + 20 = -3*f, 3*p - a*f - f - 40 = 0. Suppose 5*c = -5 - 5, -3*m + p*c + 751 = 0. Is m prime?
False
Let f be -2*(-9)/6 - 1. Suppose -5*l - 5*d = 192 + 38, l + f*d = -48. Is (-3132)/(-10) + l/(-55) prime?
False
Suppose -3*n - n = -2*d + 42268, 84566 = 4*d + 2*n. Suppose -8*y - 2*r + 16906 = -4*y, -d = -5*y - r. Is y a composite number?
False
Let v = -12 - -12. Is v/(-1) + 236 - 3 prime?
True
Let v(d) be the second derivative of 271*d**4/6 + d**3/2 + d**2 + 2*d. Is v(-1) a composite number?
False
Let b = 19 - 19. Suppose b = -a + 3*a - 166. Is a composite?
False
Suppose 12*p - 93 = 15*p. Let s = -28 - p. Suppose -3*q - 4*r + 890 = -2*r, 0 = -5*q + s*r + 1496. Is q a prime number?
False
Suppose 4957 = 8*t - 52939. Is t a composite number?
False
Let l(t) = 5*t**2 - 3*t - 15. Suppose 5*m + 12 = -28. Is l(m) prime?
False
Suppose -4 + 18 = -7*i. Is i - (-1148 + (10 - 5)) a composite number?
True
Let d(y) = y**3 - 7*y**2 + 8*y + 3. Let h(l) = l + 2. Suppose -2*x + 5 = 3*x - 4*w, 0 = -2*x - 2*w + 20. Let i be h(x). Is d(i) composite?
False
Let t(n) = -4 - 2 + 5 + 7*n + 2*n**2 - 10. Is t(-6) prime?
True
Let x(h) = h**3 + 7*h**2 + 6*h - 14. Let l be x(-6). Let z = l - -891. Is z composite?
False
Let a be (5/(-4))/((-1)/4). Suppose a*o - 21 = 2*d, -6*o + d = -2*o - 15. Suppose z - 5*z + o*k + 856 = 0, 5*z - 1051 = -k. Is z a composite number?
False
Let y = 2 - 0. Suppose 0*c = y*c - 4. Suppose c*n - n - 11 = 2*t, -t = -1. Is n composite?
False
Suppose 3*c + 3*k = 762, c - 274 = -k + 5*k. Let f = 273 + -271. Suppose 4*q - f*q = c. Is q composite?
True
Suppose -w - 30398 = -3*f, f - 11675 + 1544 = 2*w. Is f a composite number?
False
Let b(n) = 33006*n + 3. Is b(1) a composite number?
True
Suppose -3*m + n + 2797 = -16185, 3*m = -n + 18992. Is m a composite number?
False
Let f be 6/21 - (-24)/14. Suppose 0 = -4*q - f*w + 86, -2*w = -0*w - 10. Suppose 2*o + 4*s = 50 - 12, -s = -o + q. Is o prime?
True
Is 66/24*(2005 - -7) a prime number?
False
Suppose -6*i = -0*i - 69132. Suppose -30*c = -28*c - i. Is c a composite number?
True
Is (1592/6 + -3)*(-5 - -8) composite?
False
Let c(p) be the first derivative of -55*p**2/2 + 2*p - 4. Let i be c(-8). Suppose -2*k = -4*k + i. Is k a prime number?
False
Suppose 3*w = 2*g + 4*w - 885, 0 = -3*g - w + 1325. Suppose 0 = -0*r - 8*r + g. Is r a composite number?
True
Let x be ((-14)/4)/1 + (-1)/(-2). Is (-1141)/(-3) + (-2)/x a composite number?
True
Let y = 49027 - -15286. Is y a composite number?
True
Suppose 0 = -2*c, -30 = -8*z + 3*z - 2*c. Let j(a) = 11*a**2 - 8*a - 2. Is j(z) composite?
True
Suppose -52*j = -5*j - 71017. Is j a composite number?
False
Suppose 0 = 5*m - 2*b - 61633, m + 0*b - 3*b = 12337. Suppose 0 = 7*k - m + 2966. Is k a composite number?
True
Suppose 0 = 4*j - 54 - 250. Suppose -2*c - 5*d = -12, -c - 3*d = d - 12. Is c/(-12) + j/6 a composite number?
False
Suppose -m = -o - 8, -o + 2*o = -m + 6. Suppose 0 = 3*k - 15, 2*h + m*k - 17 = 2*k. Let b = 37 + h. Is b a prime number?
False
Suppose -3*r + 7*r + 2884 = 4*p, 2 = 2*p. Let w be r*((-60)/(-16) + -3). Let y = w + 793. Is y a composite number?
True
Let d(a) = -4*a**3 + 45 - a**2 - 45 - 2*a. Let v be d(-5). Suppose 0*f = -5*f + v. Is f composite?
False
Suppose 2*n + 4696 = -3*v + 19423, -v - 5*n = -4896. Is v prime?
False
Is (65/25 + -2)*708420/12 a composite number?
True
Suppose -2*s + 4 + 0 = 0. Suppose 4*b + 230 = s*r, r + 11 = -3*b + 141. Is r a prime number?
False
Suppose 0*d = 4*d - 9116. Is d composite?
True
Let d(a) = -12*a - 1. Let b be d(-3). Suppose -3*k + 15 = 4*z, 5*k - 19 = 3*z + b. Suppose k*l + 3291 = 12*l. Is l a prime number?
True
Is (-9 - 0/(-4))*(-1136)/48 a prime number?
False
Let j(v) = -10*v + 6 + 4*v + 2 + 125*v**3 + 2*v. Is j(3) prime?
True
Is (-93)/93 - (1 + 31085)/(-1) a prime number?
False
Let r(j) = -4*j - 21. Let s be (-1 + 3)/(-2)*0. Let p be r(s). Is 6/p - 606/(-14) a prime number?
True
Let s = -1 + 13. Suppose y + y + 4*l = 10, s = 5*y - 3*l. Suppose 119 = y*o + 5*p - 459, o - 2*p = 189. Is o composite?
False
Suppose -3 = 3*d, 2*d = -4*b - d + 144985. Is b a prime number?
False
Suppose 0 = 5*a + 9*a - 82922. Is a prime?
True
Let l = 616 - 137. Is l prime?
True
Let q(n) = -n**3 - 6*n**2 - 2*n - 8. Let b be q(-5). Let a(o) = -91*o + 18. Is a(b) composite?
False
Let y be ((-12)/15)/((-2)/(-5)) - -742. Let v = 1381 - y. Is v a prime number?
True
Let n = -15 + 12. Let k be 10/n*24/(-20). Is (37/k)/((-3)/(-36)) a composite number?
True
Let h(j) = 5 - 2*j + 37*j**3 - 21*j**3 - 15*j**3 + 6*j**2. Is h(4) a composite number?
False
Let t(m) = -2810*m - 109. Is t(-10) a prime number?
False
Let z(f) = -2*f + 19. Let x be z(7). Suppose -2*y - x*b + 2054 = 0, -2*y = 3*y + 2*b - 5177. Is y a composite number?
True
Let f(o) be the second derivative of 3*o**5/20 - o**4/3 + 2*o**3/3 - 3*o**2/2 + 45*o. Suppose 4*n - 5*y - 23 = 0, -2*n - 11 = 3*y + 2*y. Is f(n) composite?
False
Let h = 15093 - -7520. Is h a composite number?
False
Let s(z) = -122*z - 1. Let v(q) = 366*q + 2. Let i(g) = 8*s(g) + 3*v(g). Let t be i(3). Suppose -t = -2*f + 2*b, b - 4*b + 389 = 2*f. Is f composite?
True
Suppose -2*l = -f + 135, 150 = f + 3*l - 0*l. Suppose 5*s + f + 20 = 4*q, -q = -2*s - 44. Is q a prime number?
False
Let f(i) = -i**2 + 12*i + 16. Let k be f(13). Suppose -2*m - 73 = -k*d + 2*d, -2*d + 156 = m. Is d prime?
False
Let m(a) = 2*a - 11. Let r be m(8). Suppose -r*x = -160 - 185. Is x a composite number?
True
Suppose -1765 = -d + 3*g, 4*g = -d + 466 + 1285. Is d a prime number?
True
Let k(a) = 62*a + 9. Let q(w) = 93*w + 14. Let r(f) = -7*k(f) + 5*q(f). Let u be r(5). Suppose 2*c = u + 64. Is c a prime number?
True
Let n = -908 - -1539. Is n a prime number?
True
Let f be ((-15)/(-12))/(2/8). Let w(p) = -p**2 + 4 + 2*p + 3*p + 6*p. Is w(f) prime?
False
Suppose -4*n + 8 = -0*n. Let g(i) = 32*i**2 - 2*i + 3. Is g(n) a composite number?
False
Let g(o) = 4*o - 25. Let f be g(10). Let s(i) = i**2 - i + 1. Is s(f) a prime number?
True
Let s be ((-31260)/(-14))/((-17)/238). Is (33/(-12))/(-3*(-5)/s) a prime number?
False
Suppose 37*a = 22*a + 27555. Is a composite?
True
Let g(d) = 22*d**3 + 2*d**2 + 3*d - 4. Is g(1) a prime number?
True
Let h(z) = 2*z**3 - 4*z**2 + 3*z + 10. Let n be h(11). Suppose 5*r + 0*r - n = -3*j, -4*j = -8. Is r a composite number?
False
Let y = -370 - -743. Is y a prime number?
True
Let h(w) = -w**3 + 4*w**2 - 4*w + 2. Let f = -18 + 20. Let a be h(f). Suppose -3*p = a*p - 395. Is p prime?
True
Let k = -696 + 4080. Let w = k + -2173. Is w composite?
True
Suppose 4*n + 7 = -l - 0*n, -2*l + 16 = -2*n. Suppose 4*h - 1341 = -l*h. Is h composite?
False
Suppose 5*x - 5*o - 10555 = 0, 3*x - 2*x - 2*o = 2111. Is x prime?
True
Suppose -4*a = -55 - 5. Suppose -a*p + 2*p = -64805. Is p prime?
False
Suppose -3*t + 27432 = -3*p, 67*t = 68*t + 5*p - 9174. Is t a composite number?
True
Let w(v) be the third derivative of v**4/24 - v**3 + 4*v**2. Let x be w(9). Suppose h + 577 = 4*b, h + 101 = x*b - 331. Is b a prime number?
False
Let d be (-14*2)/(1/(-233)). Suppose 2*i - 4883 = -s, 0 = -5*s - i + 17