Is i composite?
False
Is -1 + 6/3 - -114 a composite number?
True
Is 14642/8 - (11/(-4) - -2) composite?
False
Is (-1 + -4 - -7)*254/4 a composite number?
False
Let r(z) = 42*z**2 + 12*z + 14. Is r(-2) prime?
False
Suppose -5 = -4*p + 7. Suppose 0 = 5*u - p*u - 110. Is u composite?
True
Let s = 3588 + -5202. Is s/(-14) - (-14)/(-49) prime?
False
Is 9/((-90)/(-764))*(-10)/(-4) a composite number?
False
Let a = 564 + -353. Is a composite?
False
Suppose 730 = -3*r + 2*s, -2*s = -5*r + r - 972. Let t = r + 529. Is t prime?
False
Let x = -14 + 8. Suppose 2*u + 39 = 5*u. Let z = u + x. Is z prime?
True
Let u be 4/(-10) + (-14)/(-35). Suppose 0 = -m - 2*p + 159, 3*p - 161 = -m - u*p. Is m composite?
True
Let i = -56 + 63. Is i composite?
False
Let z(i) = i**3 + 3*i**2 + 2*i. Let m be z(-2). Is 9 - -50 - m/2 a prime number?
True
Let j(f) = f**3 + 8*f**2 - 2*f + 5. Suppose 0 = -d - 5*l - 18 + 2, 0 = -d - 2*l - 10. Is j(d) prime?
True
Let h be (-3)/(-2 + (-22)/(-10)). Is (-189)/h - 2/(-5) composite?
False
Let t(z) = 5*z - 3. Let v be t(4). Suppose 4*k + v = 5. Is -3 - (-27 + 6/k) a prime number?
False
Is (-8)/16 - (-214)/4 prime?
True
Let w(s) = -s + 32 + 1 - s**3 - 28*s**2 + 28*s**2. Is w(0) a prime number?
False
Let x be 5/((-75)/(-6))*-410. Let k = 285 + x. Is k composite?
True
Suppose -6*a = -a - 20. Is (-2)/a + (-310)/(-4) a composite number?
True
Let j = 9 - 12. Let q = j - 4. Let k = -4 - q. Is k a prime number?
True
Suppose 961 = 2*u - 5*f, 5*f = -3*u + 1330 + 174. Is u composite?
True
Suppose -3*x + x - 4 = 0. Let p = x - -4. Suppose -2*h = -4*a - 8, 0*h - p*h - a + 33 = 0. Is h a prime number?
False
Suppose 5*j - 33 = -n + 3*j, 0 = 4*n + 3*j - 127. Is n composite?
False
Let d be (-2044)/(-126) + 4/(-18). Is (d + -2)*(-1)/(-2) a prime number?
True
Let b(k) = k**3 - 9*k**2 - 7*k - 16. Is b(11) composite?
False
Let t(y) = -39*y**2 - y - 3. Let g(d) = 19*d**2 + d + 2. Let v(l) = 5*g(l) + 2*t(l). Let s be v(-3). Suppose s = r + r. Is r prime?
False
Let s = -316 - -477. Is s composite?
True
Let b be 3 + 2 + -3 - 4. Is (-166)/((12/9)/b) a composite number?
True
Let r(i) = i - 5. Let w be r(8). Suppose -m + w + 0 = 0. Suppose m*p + 2*n = -0*n + 29, -31 = -5*p + n. Is p composite?
False
Suppose c - 9 = -1. Let v = 12 - c. Suppose 5*d - 46 = -2*k + 3*k, 0 = -v*d + k + 36. Is d composite?
True
Suppose -1 = v - 6, -350 = -x + 4*v. Let j = x + -83. Is j a prime number?
False
Let a be (-1)/2 - (-28)/8. Suppose 0*y + a*y + 12 = 0, 4*h - 4*y - 28 = 0. Suppose -h*w - 2 = -47. Is w prime?
False
Suppose v + 3*w + 70 = 200, 4*w = 2*v - 250. Is v prime?
True
Let b(t) = -3*t**3 - 5*t**2 - 11*t + 2. Is b(-8) a prime number?
False
Suppose 2*n + 40 = 3*n. Suppose -j - 9 + n = 0. Is j a composite number?
False
Suppose -11*g = -2*g - 1089. Is g composite?
True
Suppose 5*a - 4*s = -43, 5*s - s = -2*a - 6. Let o = a - -20. Is o a prime number?
True
Suppose 290 - 75 = m. Is m composite?
True
Let v(m) = m**3 - 9*m**2 - 6*m + 3. Is v(11) a prime number?
True
Let n = 10 - 6. Suppose -n*g + c + 512 = 2*c, c + 377 = 3*g. Is g prime?
True
Let l(c) = 2*c**2 - 7*c + 1. Let s be l(-5). Let d = -52 + s. Is d composite?
True
Suppose 0 = -j + 3*k + 550, 0 = 3*j - 3*k - 558 - 1086. Is j prime?
True
Suppose -7*t - 122 = -353. Is t composite?
True
Let q(r) = -4*r - 2 + 1 + r. Let f be q(7). Let h = f + 59. Is h prime?
True
Suppose 5*m - 349 = 136. Is m composite?
False
Suppose 15*w = 10*w + 295. Is w a composite number?
False
Is ((10 - 6) + 19)/((-1)/(-89)) a composite number?
True
Let a(i) = 17*i - 33. Is a(8) prime?
True
Let s = 14 - 14. Is (s + -3)*(-70)/15 a prime number?
False
Let q = -3 - -3. Suppose -4*b + 3*t + 3037 = q, 5*b = 3*t - t + 3791. Is b a prime number?
True
Suppose -a - 4 = a. Is (-144)/a - 33/11 composite?
True
Let t be 6*(-3)/12*-2. Suppose 5*o = t*o + 170. Is o a composite number?
True
Let p(j) = -54*j**2 - 2*j + 1. Let o be p(1). Let l(m) = -m**3 - 7*m**2 - 6*m + 1. Let n be l(-6). Is (-6 + n)/(5/o) a composite number?
True
Suppose 2*i - i = 2. Suppose i*z - 95 = -3*z. Is z a composite number?
False
Let t = -7 + -1. Let q = -5 - t. Suppose -3*k - 9 = 0, 0 = q*g + g + 4*k - 448. Is g a composite number?
True
Let m(a) = 13*a**2 - a + 7. Is m(4) a composite number?
False
Let k = 593 - 302. Suppose -i + 4*a = -k, 2*a - 6*a + 16 = 0. Is i prime?
True
Let p(g) = -g**2 + 9*g + 14. Let w be p(11). Let u(m) = m**3 + 8*m**2 - 3*m - 11. Let h be u(w). Suppose 2*k = k - 4*j + h, 0 = -2*k - 3*j + 41. Is k prime?
False
Let q be (-3 - -2) + (-3 - -5). Let p = 7 - 12. Is p/2*q*-22 composite?
True
Let l(y) = 22*y**2 + 2*y + 1. Suppose -10*s = -8*s - 4. Is l(s) a composite number?
True
Let m(r) = r + 5. Let f be m(3). Suppose f*l = 7*l + 485. Is l composite?
True
Let t = 3187 + -1992. Is t prime?
False
Suppose -2*l - 6 = -4*l. Suppose -l*j = -0*j - 159. Is j a prime number?
True
Let v = 2203 - -3401. Is 3/9 + v/9 a prime number?
False
Let k(v) = -6 + 18*v + 4*v - 1. Is k(9) a composite number?
False
Let t be (-5)/(-2) - (-3)/6. Suppose t*x - 41 = x - 3*i, -4*x + 5*i = -71. Is x a composite number?
False
Let d = -4501 - -6348. Is d a composite number?
False
Let u(z) = -2*z**2. Let f be u(1). Let j = f + -7. Let p(w) = w**3 + 9*w**2 - w + 12. Is p(j) a composite number?
True
Let f be 0 - (1 - (-15 - 0)). Let t = 149 + -70. Let x = t - f. Is x a composite number?
True
Let h be (-9)/3 + -95 + -2. Let v = h + 263. Is v composite?
False
Let t = 5 - 5. Suppose t = 5*r - 25, 3*j - 5*r = 6*j - 274. Is j a prime number?
True
Let k be (-4)/((-16)/11332) - 1. Suppose 2*l = 5*f - 3549, -3*f - f - 2*l = -k. Is f a prime number?
True
Let o(n) = -9*n**3 - 5*n**2 - 23*n + 12. Let b(y) = 3*y**3 + 2*y**2 + 8*y - 4. Let d(u) = -17*b(u) - 6*o(u). Is d(3) a composite number?
False
Let f be (2 + 6/(-4))*0. Suppose -11 = -f*y - y. Is y a prime number?
True
Suppose 8*g = 12*g - 1784. Is g composite?
True
Suppose 4*w = w - 2*d + 9313, -5*d = -3*w + 9278. Is w a composite number?
True
Let q(k) = 7*k - 2. Let t be q(2). Is 12*2 - t/4 composite?
True
Suppose 2*g = i + 4*g + 1, 15 = 3*i - 3*g. Suppose -j = i*j. Suppose j*u + 7 = u. Is u prime?
True
Let c(f) = -f - 9. Let p be c(-12). Suppose -3*d - 3*y + 333 = 0, -4*d + 0*d - p*y = -446. Is d prime?
True
Let m(h) = h + 2*h - 2*h - 4. Let w be m(0). Let b(z) = -16*z + 5. Is b(w) prime?
False
Suppose 2*k - 3*m = 18, -4*k + 0*m - 3*m = 0. Suppose -k = -z - 4. Is 37 + (z - -2) + -1 prime?
True
Let o = -894 - -1571. Is o a prime number?
True
Suppose 5*a - 162 = 2*a. Suppose a = 8*d - 4*d + 2*j, 4*d = 2*j + 34. Is d a composite number?
False
Let g = -1 + 1. Suppose j - 268 - 203 = g. Let q = -322 + j. Is q a composite number?
False
Let b = 5 + -12. Let m = -5 - b. Suppose -2*o = m*o - 508. Is o prime?
True
Let a(w) = 2*w**3 + 1. Let g be a(-1). Let x be (0 - -308) + g + -1. Suppose 5*y - x = -31. Is y a prime number?
False
Let z(s) be the third derivative of 7*s**4/24 - 7*s**3/6 - 6*s**2. Is z(8) a composite number?
True
Suppose d + 4*q - 275 = 0, -2*q + q - 3 = 0. Is d composite?
True
Suppose 2*u = 3*v + 7717, -11586 = -2*u - u + v. Is u prime?
True
Let s = -5 - -5. Suppose d - 1099 = -5*l - d, 5*l - 4*d - 1087 = s. Suppose 3*q = 36 + l. Is q composite?
True
Let x(l) = -l**3 - 8*l**2 + 12*l + 3. Is x(-10) a prime number?
True
Let i(v) = -17*v - 1. Let p be i(-3). Suppose w - p = -w. Is w prime?
False
Suppose 4*x + 2*i + 3*i = 9, -i = -5*x - 25. Let r(y) be the second derivative of -2*y**3 + y**2/2 + y. Is r(x) prime?
False
Let r be 1/3 + 120/(-9). Let n(f) = -2*f**2 - 5*f - 2. Let c be n(6). Let q = r - c. Is q a prime number?
False
Let x be (-8 + -4)/((-3)/98). Suppose 353 = 5*u - x. Is u composite?
False
Suppose -4*d + 48 = -236. Suppose t - 3*k = 80, -5*t + 2*k + 355 + d = 0. Let l = 123 - t. Is l a composite number?
False
Suppose 0 = -0*p + p - 4, 3*m - p + 244 = 0. Let z be m/(-25) + 2/(-10). Suppose n - 12 = z. Is n prime?
False
Suppose -4 - 2 = -2*s. Let w = s - -18. Is w a composite number?
True
Suppose -4*f + 1656 = -f. Suppose 6*g = 3*g + f. Let t = g - 129. Is t a prime number?
False
Let g(b) = 150*b**2 - b - 2. Is g(-1) composite?
False
Suppose 0 = -7*o + o + 1338. Is o a prime number?
True
Suppose 3115 - 180 = 5*d. Is d prime?
True
Let o(m) = -m**3 