False
Is 17640/22 + (-6)/(-33) a prime number?
False
Let t = 871 - 457. Let w = -253 + t. Let d = w + -92. Is d prime?
False
Suppose 17*q - 1004 = 13*q. Is q a prime number?
True
Let s(i) = i**2 + 7*i + 7. Let w be s(-6). Suppose -4*o - 2*a = -10, 4*a + 8 - w = o. Suppose o*r = -r + 812. Is r a composite number?
True
Let i = 3 + 4. Let a = i - 4. Suppose 15 = -6*y + 3*y, 0 = 2*b + a*y - 15. Is b prime?
False
Is 3 - (-2 - (-60)/(-3)) a composite number?
True
Suppose 49 = -8*s + 1737. Is s a composite number?
False
Let k(u) = -u**2 + 3*u - 1. Let v be k(7). Suppose 3*i + 52 = 4*o - 73, 2*i - o + 85 = 0. Let h = v - i. Is h composite?
True
Let k = 7 + -3. Suppose -k*r + 4*m - 13 = -r, -r = -4*m + 15. Suppose -y = -r - 5. Is y a composite number?
True
Let f = -10 - -3. Let s be (-2)/f - (-48)/28. Suppose 2*q = 2*t - s*q - 78, 3*q = 5*t - 167. Is t a prime number?
True
Let z be 3/(-9) - (-56)/6. Suppose 122 + 244 = 2*d. Is d/z + 4/6 a prime number?
False
Let d(z) = z**3 + z**2 + z - 1. Let o(i) = 3*i**3 + 8*i**2 + i - 7. Let g(n) = 2*d(n) - o(n). Let r be g(-5). Is 4/10 - 815/r composite?
True
Let v = -389 - -567. Is v composite?
True
Suppose -a = -2*a + 14. Let q = -96 - -165. Let h = q - a. Is h a composite number?
True
Let k(c) = -3*c + 15. Is k(-8) prime?
False
Is (-465)/(-6) + (-3)/6 prime?
False
Let j be 1/2 - 5/2. Is (1 - (-1)/j)*422 composite?
False
Let z(c) = c**2 + c + 1. Let s be z(-2). Suppose -3*i + s*g = 4*g - 177, g = -5*i + 295. Is i a composite number?
False
Let j = -1207 - -1790. Is j prime?
False
Let v(o) = -83*o + 9. Is v(-4) prime?
False
Suppose 0 = b + 2*b - 4*x + 8, -16 = b - 4*x. Suppose -3*r + b*m = -238, 4*r - 61 = 3*r + 5*m. Is r prime?
False
Suppose 8*o + 7851 - 24643 = 0. Is o a prime number?
True
Let n(a) = 9*a**2 + 20*a - 3. Is n(8) composite?
False
Suppose 0 = h - 3, s - h + 2*h - 78 = 0. Suppose 72 = 3*o - s. Is o a composite number?
True
Is (-42501)/(-18) + ((-75)/18 - -4) prime?
False
Let j(v) = v**3 + 2*v**2 - 2*v + 1. Let h(t) = -t**3 + 7*t**2 - 5*t - 5. Let b be h(6). Let n be j(b). Suppose -w + n*w = 38. Is w prime?
False
Let z(c) = -17*c**3 + 3*c**2 - 4*c - 5. Is z(-6) a composite number?
True
Suppose -7413 = -0*r - 3*r. Is r prime?
False
Suppose -3*s + x + 595 = 0, 5*s - 3*x = -58 + 1051. Suppose -5*m + u - 5 + s = 0, 2*m = 3*u + 72. Is m composite?
True
Let l(i) = i**2 - 2*i - 3. Let o be l(4). Suppose o*p - 3*z = -422 - 933, -2*z - 10 = 0. Let h = -132 - p. Is h composite?
True
Let t(f) = 6*f**3 - f**2 - 2*f - 1. Let r be t(-1). Is 2/r - 1112/(-6) a composite number?
True
Let v be 2/4 + (-4)/(-8). Is ((-8)/12)/(v/(-33)) prime?
False
Let v(l) = 1 + 4*l - 4*l + 3*l - l. Let b be v(1). Suppose -7*d = -b*d - 268. Is d a composite number?
False
Let u(a) = a**3 - a**2 - 3*a - 3. Let x be u(4). Suppose 4*k - 3*k = x. Is k a composite number?
True
Let z = 141 + 350. Is z composite?
False
Let f = 16 - 30. Let r = -8 - f. Is r composite?
True
Suppose 1068 = 5*p - 2227. Is p composite?
False
Let m = 719 - -170. Is m a composite number?
True
Let v = 1930 + -1049. Suppose -2*o - 339 = -v. Suppose -4*i - i = -3*r - o, 5*r = -10. Is i a prime number?
True
Is 1197/9*(0 - -1) composite?
True
Let m(b) = b**3 - 2*b**2 - 1. Let a be m(3). Let v(d) = 3*d - 10*d - 5 - d - a*d. Is v(-4) a composite number?
False
Let f be (-55)/(-10) + (-1)/2. Suppose -2*i + 4*b = -4, -6*b + b = -f*i + 10. Suppose -5*u = -i*y + 77, 5*y = -2*u + 5*u + 164. Is y prime?
True
Let r(h) = -h**3 + 3*h**2 - h - 4. Let f = 5 - 5. Suppose f = -g - 6 + 3. Is r(g) a prime number?
True
Suppose -15*u + 186 = -12*u. Is u prime?
False
Is 4/(-7 + 3) + 878 prime?
True
Let p = -11 + 12. Is (-9)/6*p*-2 prime?
True
Suppose 5*y - 283 = -2*r + 272, 5*y + 795 = 3*r. Let s = -85 + r. Is s a composite number?
True
Suppose -3*t = -x, 4*x - 4*t - 10 = -2*t. Suppose -x*k + 0*k = 9. Is (1 - 1) + (-69)/k composite?
False
Suppose -16*u = -21*u + 3115. Is u composite?
True
Suppose 6*l - 2945 = 865. Is l a prime number?
False
Let q be (0/2)/(2/1). Suppose -74 = 5*a - 259. Suppose q*u + u = a. Is u a prime number?
True
Let n(k) = 0 + 2 + k + 0*k. Let z be n(0). Suppose -4*h = p - 29, -z*p + 13 = 3. Is h prime?
False
Let g = 1513 + -830. Is g composite?
False
Suppose -6*w + 3*w = -9. Suppose -10 = w*t + 2, t = -4*z + 16. Suppose y + z = 0, 5*c + 4*y - 375 = -0*c. Is c composite?
False
Suppose -3*r + 3*s = -354, 4*r - 421 = 2*s + 53. Is r a composite number?
True
Suppose 0 = 5*z - 2*z - 3*r, z + r = -4. Let n(q) = -39*q - 1. Is n(z) a composite number?
True
Suppose -w - 4*w = -15. Let a = w - -76. Is a a prime number?
True
Suppose 4*m + 1720 = 3*r, -746 + 161 = -r - m. Suppose 3*p - 115 = -q, 0 = 5*q - 5*p - r + 85. Let i = 182 - q. Is i a composite number?
False
Suppose 3*m - 12 = 0, -4*z + 5*m + 18539 = 4731. Is z a prime number?
True
Let f be 1/((-1)/81*-3). Let k = 331 + f. Suppose x = 4*g - 3*g - 87, -4*g + k = x. Is g composite?
False
Suppose 0 = -3*t - 63 - 63. Let c = 17 - t. Is c prime?
True
Suppose 3*m - 15 = 8*m. Let w(n) = -2*n**3 + n**2 + 2*n + 2. Is w(m) prime?
True
Let d(r) = 146*r + 15. Is d(7) a composite number?
True
Let k(l) = 3*l**2 + 8*l - 1. Is k(-6) a prime number?
True
Let d be -10 - (-2 + -1)/3. Let w = -5 - d. Suppose -4*h = l - 265, w*h - 4*l - 72 = 168. Is h a prime number?
False
Let j(k) = 146*k**2 + 2. Is j(-2) a prime number?
False
Let w(r) = 21*r - 3. Suppose 3*b + n - 6 = 5, -4*n = 5*b - 30. Is w(b) a prime number?
False
Let x(u) = -u**3 - 4*u**2 + 24*u - 20. Is x(-15) prime?
False
Let n(y) be the first derivative of 3/2*y**2 - 2 - 5*y. Is n(8) prime?
True
Let j(g) = 8*g**2 - 4*g - 1. Suppose 3*r + 29 = -0*v + 5*v, 4*r + 4*v - 4 = 0. Is j(r) prime?
True
Is (-5)/(-10) - 5956/(-8) a composite number?
True
Let n(z) = 65*z - 3. Is n(2) a prime number?
True
Let m(o) = -8*o + 5. Let t(y) = -135*y + 75. Let b(x) = 34*x - 19. Let h(v) = -21*b(v) - 5*t(v). Let g(w) = -2*h(w) + 11*m(w). Is g(-5) prime?
False
Suppose q - 5*q + 16 = 0. Suppose 0 = -7*v + q*v + 177. Is v composite?
False
Suppose h - 1162 - 427 = 0. Is h prime?
False
Suppose 0 = 4*w + 3*n - 17, 3*n - n + 2 = 0. Suppose -4*h - 120 = -4*g, 114 = 3*g - 0*g + w*h. Suppose i = 5*z - 37, 5*z + 3*i - 2*i - g = 0. Is z prime?
True
Let q be (-1 - (-16)/12)*12. Suppose 0 = -q*z - 92 + 296. Is z a prime number?
False
Let r be ((-4)/(-10))/((-11)/(-55)). Suppose -93 - 61 = -r*x. Is x a prime number?
False
Let d(t) be the second derivative of 2*t**3 - t**2 + 3*t. Is d(2) a prime number?
False
Let l(f) = -f**3 + 4*f**2 - 4*f + 3. Let q be l(3). Suppose 5*o - 160 + 45 = q. Is o prime?
True
Suppose 2*b = 7*b - 2795. Is b composite?
True
Is 199*(2 - -1)*3/3 a prime number?
False
Suppose 2*n + 2 = 0, -4*k - n - 2*n + 1925 = 0. Let j = k - 325. Is j a composite number?
False
Is 2598/10 - (18/(-15) + 2) a prime number?
False
Suppose -5*b - 5*s = 10, -5*b - 2*s + 22 = -5*s. Suppose -2*m + 32 = -3*n - 2, b*n - 54 = -2*m. Is m a composite number?
False
Let u(d) = 157*d**2 + d. Is u(1) prime?
False
Is 369/1 + 25 + -23 composite?
True
Let j(i) = 187*i + 4. Is j(1) composite?
False
Let w be -590*3*(-3)/6. Is w/10 - 2/(-4) composite?
False
Let r(m) = m**2 + 7*m + 9. Let k be r(-6). Suppose -u + 4*a = -21, a = -4*u + 50 + 119. Suppose u = 3*n - n + k*o, -3*o + 22 = n. Is n composite?
False
Is (-12)/8*(-114)/9 composite?
False
Let s(t) = 2*t - 8. Let z(b) = -5*b + 25. Let r(v) = 8*s(v) + 3*z(v). Let k be r(-8). Suppose -2*q = -3*q - 5*i + 26, -4*q + 87 = k*i. Is q prime?
False
Let i(f) = f + 1. Let u(n) = n - 5. Let o be u(8). Let t be i(o). Suppose -5*g = -20, k + 13 = 4*g + t. Is k a prime number?
True
Let b be (-1)/2*(-2 + 2). Suppose b = -0*a + 2*a - 176. Let p = -11 + a. Is p prime?
False
Suppose -f = -16 - 15. Is f a prime number?
True
Let a be 2 + -1 + (-1 - 0). Let u = 43 - a. Is u a composite number?
False
Let i be 0*(1 - 0) - -4. Suppose 5*k + 179 = i*n - n, 0 = -3*n + 3*k + 171. Is n composite?
False
Let l = 47 - 0. Let y = l - -6. Is y a prime number?
True
Suppose -q = -219 - 18. Is q prime?
False
Suppose 3*w = -187 + 4558. Is w a composite number?
True
Let j(i) = 28*i + 3. Let a(q) = q + 9. Let z be a(-4). Is j(z) a prime number?
False
Let h be 606/8 + 1/4. Let a = h - 38. Let v = a + -17. Is v composite?
Tr