 Is h a composite number?
False
Suppose 4*w + 5159 = 11*w. Is w prime?
False
Suppose 2*u = -0 - 4. Is u + (316/(-2))/(-2) a prime number?
False
Let v(s) be the third derivative of -s**5/60 - 5*s**4/12 + 7*s**3/6 + 37*s**2. Let u be 1/4 - (-25)/(-4). Is v(u) a prime number?
True
Let m be (0 - -4)*4/8. Suppose 5*k - 59 = m*v, 0 = 3*k + 2*v - 39 - 6. Suppose k = 2*u - u. Is u a prime number?
True
Is (3 + -2 + 1150)/(-3)*-3 a composite number?
False
Suppose -r - 4*r = 5*y - 1100, 4*y - r = 885. Let w = y + -78. Is w composite?
True
Let i(z) = -z**3 - 16*z**2 + 15*z + 3. Is i(-17) a prime number?
True
Let o be (2 - -1)*(-4)/6. Suppose 5*r - 5 = 5*d, 8 = -2*d - d - 2*r. Is 33 + 3 + d/o a prime number?
True
Let z(g) = 22*g**2 - 2*g + 1. Let b be z(2). Let c = 139 - 89. Let i = b - c. Is i prime?
False
Suppose 512 = y - 375. Is y composite?
False
Suppose -a = -3*v - 5*a + 111, -3*v + 4*a = -87. Let l = v - 10. Is l a composite number?
False
Let p(f) = f**2 + 10*f - 3. Let x be p(-11). Let u be (3/4)/(2/x). Suppose 0 = u*z - 33 - 36. Is z prime?
True
Suppose -3*q = t - 85, -8*q + 88 = -4*q - 5*t. Suppose -4*s = -a + q, 3*s - 115 = -3*a - 19. Is a composite?
False
Let u(g) = -9*g**3 - 2*g**2 - 2*g + 2. Let t be u(-2). Suppose -29 = -3*j + t. Is j a prime number?
False
Suppose -j - 2 = -0*j. Let l = j + 2. Suppose -q = -l*q - 11. Is q composite?
False
Let a = -12 - -457. Is a prime?
False
Suppose 0 = -3*z + 6*z + 2*p - 2483, -2*p + 1654 = 2*z. Is z composite?
False
Let o(g) = 4*g**2 + 4*g - 1. Let h(l) = l**2 + 8*l. Let k be h(-8). Suppose -w + 3*w - 6 = k. Is o(w) a prime number?
True
Let f = 174 - 115. Is f a composite number?
False
Let z(m) be the third derivative of -m**4/6 - m**3/6 - 2*m**2. Is z(-11) a prime number?
True
Is 146/4 - 5/(-10) prime?
True
Let z = -6 - -11. Let p be -2*((-105)/(-6))/(-5). Suppose 406 = 3*i - z*r, -3*i + p*i = 3*r + 523. Is i a prime number?
True
Let o = 0 + -4. Suppose 5*d = 3*w - 53, 5*w + d - 40 = w. Let b = w + o. Is b a composite number?
False
Suppose 33 + 92 = 5*u. Is u prime?
False
Let l(n) = -n**3 - 7*n**2 - n - 2. Let s be l(-7). Let o = -5 + 10. Suppose -2*p - s*z = -23, 5*p + 0*z - o = 5*z. Is p a prime number?
False
Let j be (36/16)/((-1)/(-24)). Let w = -80 + 169. Let h = w - j. Is h a prime number?
False
Suppose 5*c - 39 = c - 3*y, -y - 25 = -5*c. Suppose n - c*n = -385. Is n a prime number?
False
Suppose 6*t - 26 = 3*t - 5*y, -5*t = 3*y - 38. Suppose l - 4 - t = 4*b, -b = 2*l + 14. Is 2/b - (-71)/2 a composite number?
True
Suppose s - 5 + 0 = -5*l, 4*l - 28 = 4*s. Let i = -4 - s. Suppose 0 = b - i - 30. Is b prime?
True
Let t = 8 + -13. Let j(n) = -n**3 - 5*n**2 - 4*n + 7. Let w be j(t). Suppose -w = -2*f + c, f - 2*c - 16 = c. Is f prime?
True
Suppose -v + 65 + 270 = 0. Is v prime?
False
Let p(m) = m + 2. Let h be p(-2). Suppose c - 45 = -2*y, 0 = -3*c - h*c + 3*y + 162. Is c prime?
False
Let s = -9822 - -14203. Is s composite?
True
Let w = 133 - -140. Suppose -3*v = -6*v - 438. Let c = w + v. Is c prime?
True
Let s(c) = 55*c - 6. Is s(7) a prime number?
True
Let m = 606 + -292. Is m*((-36)/(-8) - 2) a prime number?
False
Let x = -1 + 5. Is (-6)/(-24) - (-763)/x a composite number?
False
Let s = 193 - -58. Is s prime?
True
Let w = -39 + 74. Is 3602/14 + (-10)/w a prime number?
True
Let i(o) = o**3 - 3*o**2 - 3*o - 1. Let x = 8 + -4. Let h be i(x). Suppose -122 = -h*m - 23. Is m a composite number?
True
Let d = -288 - -414. Suppose 0 = -5*q + 139 + d. Is q composite?
False
Suppose 0 = 4*h - 180 - 52. Is h a prime number?
False
Suppose 6 = 5*b + g - 19, 4*b + 5*g = 41. Suppose -3*n = 3, b*n = 3*w - 573 - 388. Is w prime?
False
Suppose -2*g + 0*a = -4*a + 116, 251 = -5*g - 3*a. Let j = g - -263. Is j prime?
True
Let y(c) be the second derivative of 0*c**2 + 21/5*c**5 + 1/6*c**3 + 0 + 0*c**4 - 2*c. Is y(1) a prime number?
False
Suppose -6*u = -5*u - 2911. Is u composite?
True
Let o(p) = 8*p**3 + 6*p**2 + 5*p + 1. Let z(t) = 7*t**3 + 5*t**2 + 4*t + 1. Let v(w) = 2*o(w) - 3*z(w). Is v(-2) composite?
False
Suppose 0 = -4*y + 2*n + 1156, 5*n - 267 = -2*y + y. Is y a prime number?
False
Let l(d) = 206*d**2 - d. Suppose -3*u + x + x + 3 = 0, 0 = 2*u + 2*x + 8. Let m be u - (-3 - (-2 + 1)). Is l(m) composite?
True
Let i = 4 + -2. Suppose 0 = i*b - 0*b - 1154. Suppose -5*s - 132 = -b. Is s a composite number?
False
Let o be 1*-2*(-10 - -4). Let r = 55 - o. Is r a composite number?
False
Let k(m) = -m**2 - 15*m - 10. Let j be k(-7). Let r = 0 + -4. Is j + 2/r*-2 a composite number?
False
Suppose -2*s + 4 = -0. Is 886/18 - s/9 prime?
False
Let r = 1303 - -114. Is r a prime number?
False
Suppose -453 - 263 = -4*c. Is c composite?
False
Suppose -5*r + 6365 = 100. Is r a composite number?
True
Let y(t) = -t**3 + 5*t**2 + 8*t - 8. Let u be y(6). Suppose 2*h = -u*d + 578, d - 1439 = -5*h - 3*d. Is h composite?
True
Let k(w) = 2*w**2 + 84 + 7 - 3*w**2. Is k(0) a prime number?
False
Let b(j) = -227*j - 48. Is b(-19) a prime number?
False
Let t = -46 + 28. Let a be ((-4)/(-6))/(3/t). Is (a/(-6))/((-3)/(-45)) a prime number?
False
Suppose -4*f + 5*f = 3*v + 1312, 5*v + 1320 = f. Suppose 0 = -5*m - 5*a + f, 2*m + 3*a - 156 = 363. Suppose 0*g + 3*g - m = 0. Is g a prime number?
False
Let w be (2/4)/(8/16). Let u(q) be the second derivative of 13*q**4/2 - q**3/6 - q. Is u(w) a prime number?
False
Let f = 1 + -4. Let p be 1/(((-9)/831)/f). Suppose -5*h = 82 - p. Is h prime?
False
Let n(f) = 43*f**2 - 10*f + 4. Let l(z) = -44*z**2 + 9*z - 3. Let s(p) = -7*l(p) - 6*n(p). Is s(-2) a composite number?
True
Let g(r) = r**2 + 11*r + 15. Let z be g(-10). Suppose -6548 = -z*x - 1533. Suppose -262 = -w + j, 5*j - x = 4*w - 8*w. Is w composite?
False
Suppose -262 = 28*s - 30*s. Is s a composite number?
False
Let x(f) = 340*f**2 + 2*f - 5. Is x(3) composite?
False
Let z(t) = 9*t**2 + 5*t + 5. Is z(-6) composite?
True
Let m be (-6)/(-9)*3 - -76. Let d = -19 + m. Let q = d + -25. Is q a prime number?
False
Let o(h) = h**3 - 8*h**2 - 9*h - 2. Let d(f) = f**2 + f + 1. Let v(p) = 2*d(p) + o(p). Let g be v(6). Let b = g - -61. Is b a composite number?
False
Suppose 4*w - 22 = 206. Let l = 63 + -97. Let o = l + w. Is o a composite number?
False
Suppose 0 = -3*p - 2*l + 7, l + 3*l - 2 = -2*p. Is 2/p - 2120/(-24) a composite number?
False
Suppose 9 + 129 = 3*l. Is -3 - (-3 - l/2) prime?
True
Suppose 0 = -4*w + 482 + 378. Let s = -100 + w. Is s a prime number?
False
Suppose 7*z = -2*z + 6003. Is z prime?
False
Suppose -8*b = -7*b. Suppose p - 5*q - 59 = 0, -2*p + 2*q + 134 = -b*q. Is p a prime number?
False
Let v(b) = b**3 + 8*b**2 + 2. Let x be v(-8). Suppose -x*r + 401 = 147. Is r a composite number?
False
Is (213/(-4))/(57/(-2204)) a composite number?
True
Let t = 599 - 130. Is t a prime number?
False
Let x = 939 - 546. Is x a composite number?
True
Let a = -11 + 20. Let v be -2 + a/3 + -2. Is ((-6)/6)/(v/31) prime?
True
Suppose 4*i = -0*o - 4*o + 6260, 0 = 5*o - 3*i - 7793. Is o a prime number?
False
Suppose -7709 = -5*g + u - 4*u, 2*u - 1539 = -g. Is g a prime number?
True
Suppose 5*u = 0, -2*u + 12 = 3*c - 51. Suppose -36 - c = -3*r. Is r prime?
True
Let k(p) = -p**3 - 12*p**2 - 6*p + 4. Let o be (2 - 0)*39/(-6). Is k(o) composite?
False
Let b(q) = 50*q + 3. Is b(1) a prime number?
True
Suppose -34 - 956 = -5*d + 5*t, -5*t = 3*d - 562. Is d a composite number?
True
Let g = 954 - 354. Let f(u) = -u - 1. Let o be f(-4). Suppose o*r - g = -27. Is r composite?
False
Let t(u) = u**2 + u - 1. Let g(c) = -3*c**2 - 8*c + 7. Let d(l) = g(l) + 4*t(l). Is d(-4) prime?
False
Let q = -36 - -24. Let f = q - -23. Is f prime?
True
Suppose -562 = 4*k - 3614. Suppose 4*j + i = k, 4*i + 87 = -3*j + 656. Is j a composite number?
False
Is (-27)/45 + 1586/10 composite?
True
Suppose -469 = -9*b + 62. Is b composite?
False
Let c = 15 - 6. Let m(j) = -j**2 - 6*j - 6. Let k be m(c). Is k/(-9) + (-6)/9 a composite number?
True
Let c be (-2)/4*(8 + -2). Let s = c + 8. Suppose -3*b = 2*v + 2 - 28, 0 = s*b + 2*v - 38. Is b composite?
True
Let h = -1 + -2. Let s(z) = 4*z**2 + z + 2. Is s(h) prime?
False
Let g(d) = -d**2 - 3*d - 1. Let i be g(-3). Let l be (i - 0)/((-9)/(-18)). Is 38/4*l/(-1) prime?
True
Is 27/36 - (-17841)/4 composite?
True
Let v(r) be the third derivativ