241. Is w prime?
True
Let x(j) = 2*j - 5. Let f be x(5). Suppose 49 = f*m + 9. Is m/(-20) - (-214)/10 composite?
True
Let i = 419 + -130. Suppose -3*t + 16 - 4 = 0, 4*t - i = -3*k. Is k a prime number?
False
Suppose 2*h - 7*h + 5*s = 8685, 0 = 5*h - 4*s + 8686. Is (1/2)/((-11)/h) prime?
True
Suppose 2*p - 2*h + 3*h - 63 = 0, -96 = -3*p - 3*h. Is p a composite number?
False
Is -1 - (2 - (0 + 142)) a composite number?
False
Let n = 713 - 367. Is n prime?
False
Let o(r) = 252*r**3 - r**2 + r - 1. Let v be 4/((-6)/(-2 - 1)). Suppose -3*w = -5*d - 18, d + 4 - v = -w. Is o(w) prime?
True
Let f = 2177 + -1528. Is f a prime number?
False
Is (-216)/(-8) + 0 + -1 composite?
True
Let h = -6 - -4. Is (-65)/(-2*h/(-4)) a prime number?
False
Let j(k) = 45*k - 5. Is j(6) prime?
False
Let t(i) = 6*i**3 + 3*i**2 - 1. Let k = 1 + 1. Let z be t(k). Let j = -33 + z. Is j a prime number?
False
Let g = -7 + 12. Suppose 10*y + 107 = 3*m + g*y, 0 = 2*m - 4*y - 72. Suppose l = -b + m, -3*b = 4*l - 12 - 91. Is b prime?
False
Let u = -32 + 45. Suppose 5*w = -3 + u. Is (-1)/(-1)*158/w composite?
False
Suppose 0 = 3*n - 7*n + 136. Suppose -5*d = -3*s - 210, -3*d - n = -4*d - s. Is d a prime number?
False
Suppose -f = f + 3*s - 4264, 3*f = -2*s + 6391. Is f a prime number?
True
Suppose 298 + 176 = 3*n. Suppose -3*i + 79 = h - n, 2*h + 158 = 2*i. Is i prime?
True
Let x(r) = 195*r + 1. Is x(6) a composite number?
False
Suppose -5*g - 1717 - 1647 = -k, k = -g + 3358. Is k a prime number?
True
Suppose -4*g + n + 84 = 3*n, -2*g + 4*n = -52. Suppose 0 = -2*y - g + 72. Is y composite?
True
Let z(n) = -2*n - 3. Let f be z(-3). Suppose -3*p + 520 = p - f*c, 3*p - 3*c = 393. Is p prime?
True
Let x be 3 + (-1)/((-1)/(-2)). Suppose w = -2*t + x, 0 = -w + t - 5*t + 7. Is (11 - -1) + 6 + w prime?
True
Let z(w) = -14 + 2*w - 22*w + 9*w. Suppose -5*c - 81 = -16. Is z(c) composite?
True
Let q(b) = -5*b + 14. Let p be (-304)/32 - 6/4. Is q(p) composite?
True
Let a = 13 + -10. Suppose -15 = -2*y - a*i, -y + 4*i - 9 = -0*i. Is y a prime number?
True
Let i(n) be the first derivative of -3*n**2/2 - 11*n - 1. Let b be i(9). Is 0 - -1 - (b + 1) composite?
True
Suppose -2 = -2*u - 0. Is (6/4 - u)*526 a prime number?
True
Let i = -3134 - -8643. Is i prime?
False
Let o(y) be the third derivative of y**5/60 + 5*y**4/12 + y**3/2 + 2*y**2. Let u be o(-7). Is u*(1 - (-9)/(-6)) a prime number?
False
Let p = -29 - -41. Suppose -4*g + p = -4. Suppose -g*q = q - z - 396, 4*q = 4*z + 320. Is q a composite number?
False
Let h(w) = -w**3 + 3*w**2 - 2*w. Let m be h(2). Suppose 0 = 2*v + 2*g - 128, -4*v - 3*g + 33 + 226 = m. Is v prime?
True
Let j(v) = 8*v**2 + v + 1. Let o(p) = 6*p - 2. Let c(z) = z + 1. Let k(f) = 5*c(f) - o(f). Let r be k(5). Is j(r) a prime number?
False
Let u be 4/(-6) - 266/6. Let z be u - -3*6/9. Let i = -22 - z. Is i a composite number?
True
Suppose -5 = -l + 56. Let o be l/((2 - 1)*-1). Let h = o - -95. Is h prime?
False
Let i(b) = b**3 - 5*b**2 - 4*b - 8. Let y be i(6). Suppose y = -4*o - 5*a + 92, -3*o + 4*a = -66. Is o a composite number?
True
Let f = -105 + 220. Is f a composite number?
True
Let z = -94 + -35. Let y = -92 - z. Is y prime?
True
Suppose 0*r + 2*r - 561 = -c, 0 = 4*c - 4*r - 2304. Is c a prime number?
True
Let u be (-24)/(-1)*(-45)/(-12). Let q = -13 - 40. Let f = q + u. Is f a prime number?
True
Suppose -h + 0*h = 12. Let t = 323 - h. Is t prime?
False
Let l(c) be the second derivative of -c**4/12 - 2*c**3 - 7*c**2 + 2*c. Let g be l(10). Let b = 447 + g. Is b prime?
False
Is ((-262)/4)/(7/(-14)) prime?
True
Is (-8076)/(-14) - 10/(-70) a prime number?
True
Let t = 6 - 9. Let w be 0 + ((-225)/t)/(-3). Is (-653)/(-5) - 10/w prime?
True
Suppose -761 = 4*s + 2*m - 189, -8 = -2*m. Let c = 212 + s. Is c a composite number?
False
Suppose 5*u = -13 - 2. Let p = -3 - u. Suppose 3*o + 12 - 33 = -z, p = z - 4*o - 7. Is z a composite number?
True
Suppose 14017 - 53169 = -8*c. Is c a prime number?
False
Suppose 0*j + 3*j = 12. Let p be (2 - 250/j)*-2. Suppose 4*r + p = 5*b, -5*b + r + 0*r = -124. Is b composite?
True
Suppose -3*v - 11 = -4*v. Suppose -2*t + 16 = 2*t. Suppose v = k + x, t*k - x - 4 - 55 = 0. Is k prime?
False
Suppose d = 4*d + 429. Let a = -1 - 0. Is a*(-2 + d + 2) a prime number?
False
Suppose 3*i - 60 = 8*i. Let v be (-4)/16 + 91/(-4). Let t = i - v. Is t prime?
True
Suppose -3*b = -5*b - 14. Let s = 9 - b. Suppose h - 53 = -s. Is h composite?
False
Is 1 + 1228/(4*(-2)/(-8)) composite?
False
Is 4/26 - 34624/(-52) - 4 composite?
True
Suppose 1279 = -5*c + 7224. Is c a composite number?
True
Let k(d) = -d**2 + 3*d + 4. Let t be k(6). Let o be t*1/(-2)*7. Suppose -c = -136 - o. Is c composite?
True
Suppose -b = -0*b - 3. Suppose 0 = i + 4*r - 16, i = b*i + 2*r - 14. Suppose -n + 82 = -3*f - 67, -5*n - i*f + 745 = 0. Is n a prime number?
True
Let b(v) = -4*v**2 + 13*v - 9. Let k(z) = 2*z**2 - 7*z + 5. Let y(r) = -6*b(r) - 11*k(r). Let c be y(-1). Is (c/(-5))/((-3)/45) a prime number?
False
Suppose -4*r - 3*t = -10021, 4*r - 2*t - 10006 = -0*r. Is r a composite number?
False
Suppose l + 3*q = 2615, 4*l + 3*q = -0*q + 10442. Is l composite?
False
Is (-1 + 3)*6628/8 prime?
True
Let m = 13 + -10. Suppose -m*b + 7*b = 92. Is b a composite number?
False
Suppose 9*c + 48 = 6*c. Suppose 2*b - 11 = -w - 2*b, -w + b - 14 = 0. Let m = w - c. Is m a composite number?
False
Let r = 446 + -31. Is r prime?
False
Suppose o = 2*o + 4. Let n = o - -6. Suppose n*i - 48 = -4*s, -2*i = -2*s - 0*s - 18. Is i prime?
False
Suppose 0*v + 2*v = 8. Suppose 0*m - 5*m - 16 = 2*n, -4*m - v*n = 20. Is 129/2*m/(-3) composite?
False
Let j = 11 + -9. Suppose 10 + 192 = j*o. Let b = o + -58. Is b prime?
True
Let n(a) = 3*a - 8. Let m be (-1)/(-4)*-2*-12. Suppose 2*h - 3*j = 18 + 9, h + j - m = 0. Is n(h) a composite number?
False
Suppose 282*f + 2458 = 284*f. Is f composite?
False
Suppose -2*u + 2 = 2*z, 5*u + 3*z = 22 - 7. Suppose 2*j + 12 = u*j. Suppose j*g = 2*g + 149. Is g a composite number?
False
Let g(c) = -c**3 + 6*c**2 + 6*c - 7. Let s be g(7). Is ((-35)/s)/((-1)/(-58)) a prime number?
False
Let q(p) = 16*p - 27. Let u(b) = 8*b - 13. Let o(x) = 4*q(x) - 9*u(x). Let k be (-2)/((-1)/(14/(-4))). Is o(k) a prime number?
False
Suppose -130*r = -132*r + 478. Is r a prime number?
True
Let f be 2/(-11) + (-120)/(-55). Suppose 3*a + 28 - 73 = 0. Suppose 4*o + 75 = 5*h, a + 3 = f*h - 4*o. Is h composite?
False
Is (-60973)/(-161) + 4/14 a prime number?
True
Let f(a) = -2*a**2 + a**3 + 13 + a**2 + 46. Suppose -5*r = 3*v + 9, -4*v = 4*r - 8*r + 12. Is f(r) a composite number?
False
Suppose 4*q = 4*k - 2256, 0 = 2*k + 3*k - 2*q - 2817. Is k prime?
True
Let q be -10 + 2 + -1 + 3. Suppose -3*h - 8 - 4 = 0. Is q*(0 - (-34)/h) a composite number?
True
Let m be ((-40 + -2)/3)/(-2). Let j(u) = -u + 11. Let i be j(m). Suppose 2*z = -4*y + 110, -4*z - i*y + 212 = -0*y. Is z a prime number?
False
Is ((-479)/3)/(2/(18/(-3))) composite?
False
Let w(f) = 3*f + 2. Let v be w(-4). Suppose 1 = -5*y + b, y = -y + b - 1. Is (v - y)/((-8)/20) a composite number?
True
Let w(c) be the third derivative of -19*c**4/8 + c**3/3 + 5*c**2. Is w(-1) a composite number?
False
Let t = 9 - 19. Let f(j) = -j + 1. Is f(t) a composite number?
False
Let p(l) = 13*l**2 + 2*l. Let k be p(4). Suppose 0 = -2*j + k + 30. Let v = 257 - j. Is v prime?
False
Let v be 1/3 + 38/(-6). Let l(m) = m**3 + 5*m**2 - 7*m + 1. Let h be l(v). Let r(d) = d**2 - 5*d. Is r(h) prime?
False
Suppose -d + 2197 = -2336. Is d prime?
False
Is (-17919)/(-22) - (-1)/2 composite?
True
Let o(w) = w - 8. Is o(11) a prime number?
True
Is -15*(-20)/15*(-14)/(-8) a composite number?
True
Let n(d) = 10*d**2 - 13. Is n(9) a prime number?
True
Suppose 3*r = 3 - 0. Let l(d) = 22*d**2 - 3*d - 5. Let g(a) = -45*a**2 + 5*a + 9. Let c(z) = -4*g(z) - 7*l(z). Is c(r) prime?
False
Let p(h) = -4*h + h**3 + h**2 + 0*h**2 + 6*h. Let v be p(-3). Let o = v - -38. Is o prime?
False
Let y = 3 - -1. Suppose 199 = y*m - 133. Is m prime?
True
Let m = 886 + -629. Is m prime?
True
Let n(j) be the second derivative of -j**3/6 - j**2 - 2*j. Let x be n(-4). Suppose -3*p + x*v + 355 = 0, p + 2*v = -2*p + 359. Is p a prime number?
False
Let g be (-17)/(-17)*1*3. Suppose -f = 2, 2*f - 4 = -u + g. Is 