 = -5 - -10. Suppose -t - 2353 = -4*v, u*v - 2519 - 391 = -5*t. Is v a prime number?
True
Suppose 2*w + 604 = 3*w. Let l be w/(-16) + (-2)/8. Is -3 + 1 - -3 - l a composite number?
True
Let o be (426/4)/(6/(-8)). Let v = o - -72. Let a = v - -135. Is a a composite number?
True
Suppose -5*t = 2 + 3. Let g be (-3 - t)/((-8)/356). Let v = g - 42. Is v composite?
False
Suppose 6 = -0*n + 3*n. Let f(w) = -n*w + 4*w**2 + 2*w - 2 - w. Is f(-3) composite?
False
Let f(c) = -7*c - 5 + 14*c**2 + c**3 - 2*c - 8*c**2. Is f(-6) a composite number?
True
Let v(q) = 13*q**3 - 7*q**2 + 5*q + 15. Let x(c) = 7*c**3 - 3*c**2 + 3*c + 7. Let t(i) = 6*v(i) - 11*x(i). Is t(10) a prime number?
True
Suppose 4*c + 830 - 2474 = 0. Is c prime?
False
Let s(i) = -7*i**2 + 2*i. Let w be s(-2). Let u = 127 + w. Is u a prime number?
False
Let l(y) = y**2 - 3*y - 2. Let x be l(3). Let w be x/5 - 34/(-10). Suppose -5*n + 28 = 3*h, -14 = h - w*h - n. Is h a prime number?
False
Let q(x) = -80*x - 3. Let n(v) = -14399*v - 539. Let f(u) = -3*n(u) + 539*q(u). Is f(1) composite?
True
Let n = -2333 + 3304. Is n a composite number?
False
Suppose 8*l - 87 = 81. Is l a composite number?
True
Let a = -6 - -8. Suppose a*f = c - 1503, -c - 4*f + 217 = -1292. Suppose 4*r = -r + c. Is r prime?
False
Let y = -9 + 34. Let j = -15 + y. Is j a composite number?
True
Let h = -90 + 252. Let u = -4 - -6. Suppose 5*o - 97 = -m, -u*o + h + 0 = 2*m. Is m a composite number?
True
Suppose 0 = -3*s + 7 + 2. Let x = 0 + s. Is (0 - 11)/(x + -4) a composite number?
False
Suppose -2*g + 5*g + 54 = 0. Let f = g - -4. Is (-480)/f + (-4)/14 composite?
True
Let s(z) = 35*z - 3. Is s(2) prime?
True
Let l = -4 + 6. Suppose l*r = -3*p + 33 + 521, 3*p + 861 = 3*r. Suppose -b - 10 = -5, -5*b = 4*f - r. Is f composite?
True
Let n(p) = -p + 1187. Is n(0) a prime number?
True
Let h be (-5)/2*-1*2. Suppose h*m + 208 = 638. Is m composite?
True
Suppose -43 = 4*g + j, 2*g + 15 + 5 = -2*j. Is (-12)/(-8) + g/(-2) a prime number?
True
Suppose 0 = -2*x - 3*d + 129, 2*x - d + 16 - 157 = 0. Suppose -3*z + x = -3*u, -z - 2*u + 23 = -u. Is z composite?
False
Let u be (4/(-2))/((-6)/9). Suppose 2*w - u*j + 8*j - 244 = 0, 0 = -w + j + 108. Suppose -w = -3*n - 1. Is n composite?
False
Let o be 16/6*18/12. Suppose o*l - 480 = -5*y - 98, 5*l - y - 463 = 0. Is l prime?
False
Let h(t) = -t**2 + 4*t - 2. Let g be h(3). Let q(r) = -11 - 3*r + g + r. Is q(-7) prime?
False
Suppose -2*t + 9 = v, -2 = -5*v + 4*t + 1. Let j = v - 0. Suppose 2*b = -j*b + 785. Is b composite?
False
Suppose -5*k = -2*b + 20, 2*k = 5*k + b + 23. Let r(h) = 3*h**2 - h + 1. Is r(k) prime?
False
Let d(t) = 8*t + 5. Let u be 200/(-14) + 2/7. Let g = u - -23. Is d(g) prime?
False
Suppose 11*q = 7*q + 436. Is q prime?
True
Suppose 3*g + 12 + 15 = 0. Let p = g + 5. Is (p + -2)*5/(-2) prime?
False
Let w(z) = 11*z + 13*z - 2*z - 5. Is w(7) composite?
False
Let d(k) = -6 + 3 + k**3 - 25*k + 29*k - 6*k**2. Is d(8) prime?
True
Let g be (16/(-6))/(6/(-9)). Let s(v) = 2*v - 6. Let b be s(g). Is -2*(1 + (-39)/b) prime?
True
Let f(y) = -y**2 - y + 5. Let n be f(0). Let s be -2 - -4 - (-32 + 6). Suppose 3*a + n*r - 21 = 0, 3*r - s = -4*a + 2*r. Is a a composite number?
False
Suppose 1363 = 2*a - 3*d, -3*a - 2705 = -7*a - d. Is a prime?
True
Let f = -708 - 282. Let b = -38 - -45. Is f/(-14) + 2/b a composite number?
False
Let y(u) = -3*u**2 + 9*u + 2. Let z be y(11). Is -1*(z + 9/3) composite?
True
Let b(x) = 72*x - 3. Let h(g) = 143*g - 5. Let t(j) = 7*b(j) - 4*h(j). Is t(-1) a prime number?
True
Let j(z) = z**2 - 8*z + 4. Is j(9) a prime number?
True
Let x be (-4)/6 + 20/30. Suppose x = 3*a - 162 - 111. Is a composite?
True
Suppose 5*m - 32950 = -5*s, -3*s + 5*m + 4405 = -15341. Is s composite?
True
Let z(p) be the second derivative of -p**5/20 + 5*p**4/12 + 7*p**3/6 - 2*p**2 + 2*p. Let h be z(5). Suppose -5*f - 5 = 15, 0 = t + f - h. Is t prime?
False
Suppose -20326 = -5*n + 3044. Is 2/(-7) + n/42 a composite number?
True
Is 9/2*38/3 a prime number?
False
Suppose -5*h + 4*r = 1, 34 = 3*h + 5*r + 5. Suppose h*f = -2*n - 15, 3 + 12 = -3*f. Suppose n = 5*d - 3*w - 74, -7*w + 3*w = -3*d + 51. Is d a composite number?
False
Let t(n) = -n**2 + 3 + 2*n**2 + 6*n - 2 - 2*n. Is t(-8) a prime number?
False
Is -1259*(2/10 - 6/5) a composite number?
False
Let d be (60/18)/(4/150). Let y = d - -298. Suppose -5*m = -y + 78. Is m a composite number?
True
Suppose 0 = -2*v + v + 80. Suppose -y = -0*y - 2. Suppose u - 13 = -x - 2*u, -y*u = -4*x + v. Is x a prime number?
True
Suppose 5*v = -5*o + 2380, -3*o = -2*v - o + 964. Is v prime?
True
Let n = 126 + 48. Let j = n + -121. Is j prime?
True
Let f(m) be the first derivative of 23*m**3/3 - m**2/2 + m + 3. Is f(-3) prime?
True
Let z(n) = 3*n - 10*n + 0*n + 8*n**2 - n**3 + 2. Let t be z(7). Is t*(-1)/(-2) + 2 prime?
True
Suppose 0*v = 6*v - 5118. Is v prime?
True
Let t(b) = 2*b**2 + 3*b + 4. Let v be t(-7). Suppose 2*f = -3*m + 69, 3*f - 34 = -5*m + v. Let a = -12 + m. Is a a prime number?
True
Let u(s) = -5*s**2 + 14*s - 16. Let o be u(-11). Let b = -522 - o. Is b a prime number?
False
Suppose -o = 2*b - 5*o + 12, -4*o + 16 = 0. Suppose 0*q = 4*q - 3*k - 48, 3*q + b*k - 36 = 0. Let w = q + 2. Is w prime?
False
Let p(k) = k**3 + 5*k**2 + 3*k - 4. Let w be p(-3). Suppose -24 + 4 = w*j. Is (-1 + (-30)/j)*6 a prime number?
False
Suppose -5*k - 6*d = -d - 2700, -5*k + 4*d = -2709. Is k a prime number?
True
Suppose -v = -2*v + 11. Is v a composite number?
False
Let f = -724 + 1683. Is f a prime number?
False
Let d(v) = -115*v - 44. Is d(-31) a composite number?
True
Let m(v) = 86*v**2 - 2*v + 3. Let d be m(3). Suppose 3*x + 2*z - 55 = 716, 3*x = -z + d. Is x prime?
True
Is (-183 - 3)*-1 + (-5 - -4) composite?
True
Let g(f) = 110*f + 5. Let k be g(-6). Is (k/2)/(-5)*2 a composite number?
False
Let f(p) = 3*p - 8. Let i be f(6). Let k(o) = -o**2 + 11*o + 11. Is k(i) a prime number?
False
Suppose -2*y + 116 = 2*y. Let q(l) = l**3 + 4*l**2 - l + 1. Let k be q(-4). Suppose -y - k = -w. Is w a composite number?
True
Suppose 1 = 4*m - 19. Let p(q) = -6*q**2 + 2*q**3 + 0*q - 3*q + 2*q**2 - m. Is p(4) prime?
True
Let v = -19 + 81. Suppose -q = -3*q + v. Is q a prime number?
True
Let h(s) = 10*s**3 + 2*s**2 + 2*s - 1. Is h(3) composite?
False
Let z = -1097 + 1596. Is z a composite number?
False
Let j(m) = 2*m**3 + 2*m**2 + 7*m - 6. Let f be j(6). Suppose -5*r + 1840 = f. Is r/1 - (0 + 1) a prime number?
False
Let p(o) = o**2 - 9*o + 10. Let s be p(8). Suppose -t - 6 = s*n - 117, 5*t - 225 = -4*n. Is n prime?
False
Suppose 3*s - 605 = -2*s. Is s a prime number?
False
Suppose -4*t = -2*t + 2*n - 310, -2*n + 153 = t. Is t a composite number?
False
Let s(m) = -m**3 + 17*m**2 + 19*m - 4. Is s(17) prime?
False
Is 1*((-46)/8)/((-3)/348) prime?
False
Let d = 25 - 8. Let m = d + -10. Let g(l) = -l**2 + 11*l - 9. Is g(m) prime?
True
Suppose 2*z + 5*f = 3*z - 13, f = -1. Let d(b) = -b**3 + 11*b**2 - 11*b + 9. Is d(z) a prime number?
True
Let c = 5327 - 2172. Is c a prime number?
False
Suppose -f = -6*f + 3245. Is f prime?
False
Let j = 4669 - 3254. Is j prime?
False
Suppose 0*i + 4 = i. Suppose -i*w + 67 = -3*w. Is w composite?
False
Let b(x) = -x**2 - x + 84. Let c be b(0). Suppose -h = -4*h - c. Is (2 - -1)/((-6)/h) composite?
True
Let c(v) be the second derivative of -v**3/6 - v**2/2 + v. Let q be c(-5). Suppose -3*x + 4*p = x - q, -3*x = 3*p - 33. Is x a composite number?
True
Let m(w) = -3*w**2 + 0*w**2 + 3 + 3*w**3 + 0*w**2 - 2*w. Is m(3) a prime number?
False
Suppose -5*d + 2*d = -6. Suppose -d = -w, 3*k - 4*k = 3*w - 11. Suppose 0 = -k*u - 22 + 87. Is u composite?
False
Let y(x) be the first derivative of -x**3 + 3*x**2 + 5*x + 1. Let a be y(5). Let c = 119 + a. Is c prime?
True
Suppose -5*l - 5*o + 2585 = 0, -5*l - 2*o + 2585 = -0*o. Is l a prime number?
False
Let b(y) = -44*y - 5. Is b(-6) prime?
False
Let a(c) = c**2 + 3*c + 1. Let u be a(-2). Let b(g) = -58*g**2. Let p be b(u). Is (-2 + p/6)*-3 prime?
False
Let o be (-1 + 3)/(-2)*-1. Let w(q) = -2*q**2 + 2*q - 1. Let n be w(o). Is 3 + (-108)/n*1 a prime number?
False
Suppose -2*r = r - 699. Is r a composite number?
False
Suppose -6*q + 2*q + 508 = 5*u, 0 = -3*q - 4*u + 381. Is q prime?
True
Suppose 3*a - 796 = 8