). Let j be (1/(-3))/(3/(-153)). Let c = i - j. Is c a prime number?
False
Suppose -3*v = -2*v - 7. Let y = 14 - v. Is y prime?
True
Let w = -12 - -7. Is (-733)/w - 9/15 prime?
False
Let y = 76 - -30. Is y a prime number?
False
Let a = 57 + -23. Is a a prime number?
False
Is (-54229)/(-28) + 2/8 a composite number?
True
Suppose z = 3*z - 8. Is -1 - (-80)/(z + -3) a composite number?
False
Suppose j = -109 - 157. Let f = j + 425. Is f prime?
False
Let g = -990 - -1399. Is g composite?
False
Let q(y) = -y**2 - 10*y + 6. Let k be (-12)/((-4)/((-16)/6)). Is q(k) prime?
False
Suppose 2*l + 3 = 3*h, -2*l = h + 3 - 4. Let g be 5 + l + 0/10. Suppose -g*m + s + 775 + 696 = 0, 0 = -4*m + 5*s + 1160. Is m composite?
True
Suppose 2*g - 28 = -2*g - 4*t, 5*g + t - 15 = 0. Suppose 572 = 2*i + g*i. Is i composite?
True
Is 1 + 0 + 2 + 154 composite?
False
Let k(m) = m**2 + m - 7. Suppose 3*d = -8 + 26. Let u be 8/d*(6 - 0). Is k(u) a composite number?
True
Let l(g) = 8*g**2 - 3*g - 17. Is l(6) composite?
True
Let o = 93 - 19. Is o composite?
True
Let h = 1 + 2. Suppose 0*a - h*a = -2*o + 44, 4*o = a + 88. Is o composite?
True
Suppose 15 = -3*c, 3*k + 4*c + 18 = 2*k. Suppose -k*y + 2 = -g, y + 56 = -5*g + 24. Is (-4)/g - (-111)/9 a prime number?
True
Let j(g) = 20*g**2 + g - 4. Let v be j(3). Suppose -v = c - 2*c. Is c composite?
False
Suppose 7*k = 4*k + 915. Is k a composite number?
True
Let u = -2 + 6. Let j be u/6*(-3)/(-2). Suppose -5*h + 95 = 3*v, 5*v = 3*h - j - 90. Is h a composite number?
True
Let a = 159 + -66. Suppose -8*d - a = -11*d. Is d prime?
True
Let a(p) be the second derivative of 1/2*p**3 + 2*p + 0 - 5/2*p**2 + 1/4*p**4. Is a(-4) a composite number?
False
Suppose 8 = 5*i - 2. Let f be -3*i*(-3)/(-6). Is ((-2)/f)/((-2)/(-141)) a composite number?
False
Suppose 443 = 4*d - 3*d. Let x = d - 232. Is x a prime number?
True
Let r(p) = -177*p - 20. Is r(-5) prime?
False
Suppose -3*d = -d - 30. Is d a composite number?
True
Let a = 9 - 6. Suppose a*v = -v - 1048. Let b = 453 + v. Is b prime?
True
Let f = -13 - -20. Let m = -11 + f. Is 2028/16 - 1/m prime?
True
Let c(x) = 3*x**3 - 2*x**2 + 5. Let p be (0 + 6)*1 + -2. Let b be c(p). Suppose -6*m + m = -b. Is m a prime number?
False
Is (3 - (-15)/(-3)) + (-1 - -1000) prime?
True
Suppose 7*d = 4*d + 207. Is d a prime number?
False
Let s(h) = 45*h - 3. Is s(6) a prime number?
False
Suppose 5*i - i + d = -1, -2*d = -5*i + 15. Let a = i - -33. Suppose -3*y = -a - 29. Is y prime?
False
Suppose j + 3*j - 12 = 0. Is 1562/j - 1/(-3) a prime number?
True
Suppose j - 22 = -6. Is (-14)/(-3)*552/j prime?
False
Let j(b) = b**2 + 9*b + 9. Let u be j(-7). Let t be 3195/25 + (-1)/u. Suppose -2*m = -3*r - t, 343 = m + 4*m + 4*r. Is m prime?
True
Let g(f) = -f + 7. Let a be g(5). Suppose -a*o + 20 + 8 = 0. Is o a composite number?
True
Let t = 8290 + -3999. Is t composite?
True
Let l(z) = -78*z - 11. Is l(-8) composite?
False
Is 365 - (1*-2 - 0/(-7)) a prime number?
True
Let t be (206/(-2))/((-1)/(-2)). Let f(h) = -h**3 + 3*h**2 - 7*h + 3. Let j be f(6). Let i = j - t. Is i a prime number?
True
Let x = -13 + 7. Let m = 4 + -4. Is -94*(m - -3)/x a composite number?
False
Is (-138)/18*(-2 - 235) composite?
True
Suppose 4*n = -a + 1539, 4603 = -0*a + 3*a - 2*n. Is a a composite number?
True
Let n(k) = 3*k**2 + 3*k - 7. Let o be n(-5). Let u = -16 + o. Is u prime?
True
Suppose -y - 4*o - 2 = 0, -2*y + 5*o + 13 = 2*y. Let w be (-5 + y)*4/6. Is (81 + -2)*(-1 - w) composite?
False
Suppose t + 3 = 5. Let u(f) = 19*f**2 + 2*f - 1. Is u(t) a prime number?
True
Let d = 1 - -2. Suppose d*t = -t + 4, -312 = -5*c - 2*t. Is c prime?
False
Let g = 36 - 29. Is g composite?
False
Let x(j) = 95*j + 32. Is x(7) prime?
False
Let q = 1894 - 915. Is q a composite number?
True
Let p(y) = 16*y + 5. Let a be p(-8). Let w = 382 + a. Is w composite?
True
Suppose 2*y = -2*y - 5*o - 4252, 2108 = -2*y + 2*o. Let k = -417 - y. Is k prime?
True
Let n(q) = 5*q**2 - 11*q + 23. Let r be (-8 - -7)/(1/11). Is n(r) prime?
False
Let i be (4/(-10))/((-3)/(-15)). Is -2 + 2 + i + 117 composite?
True
Suppose -23242 = -19*r - 4299. Is r composite?
False
Let w(r) = 8*r - 9 + 0 + 9 + 6*r**2 + 8 - r**3. Suppose 4*o - 15 - 25 = -4*a, o = -4*a + 31. Is w(a) prime?
False
Is (10/(-2))/5 + 160 prime?
False
Let q = -6 + 23. Suppose -5*r + 3*b - q = 0, r + 4*b + 2 + 6 = 0. Let s(x) = -x**3 - x**2 + x + 5. Is s(r) prime?
False
Let s(r) = r + 4 - 28*r + 2*r. Let l(y) = -y**2 - y + 3. Let a be l(-3). Is s(a) a composite number?
False
Is (2 + -4 + -1)*-5 a composite number?
True
Let s(g) = -4*g + 6. Let v be s(-5). Suppose 2*y + 4 - 5 = -i, y = -5*i - 22. Suppose y*c - v = c. Is c a prime number?
True
Suppose o + 0 - 9 = 0. Let d be (-4)/(-14) + 23/(-7). Let n = d + o. Is n a prime number?
False
Let w(v) = v**2 + 9*v + 5. Let z be w(-9). Suppose -z*h - k + 13 - 1 = 0, -3*h + 4*k = 2. Is h prime?
True
Let l = -161 - -372. Is l a prime number?
True
Let k = 9 + -4. Suppose 5*x + 2*v = v + 20, -k*x - 3*v + 20 = 0. Let t = 26 - x. Is t a composite number?
True
Suppose -5*g + 4*x + 3826 = 0, -g + 3*x = -0*g - 774. Let u = g + -391. Is u composite?
True
Let b(q) = -20*q**3 + 17*q**3 - 28*q**3 - 6*q**3. Is b(-1) prime?
True
Suppose m = -5*q - m + 893, -4*m = -q + 183. Is q prime?
True
Suppose -4*t + 2 = 4*u - 2*t, -2*u - 3*t + 3 = 0. Suppose 5*y + 1 - 11 = u. Suppose 4*s - p - 36 = 0, 0 = 2*s - y*p + 3*p - 18. Is s a prime number?
False
Suppose 963 = 3*k - 516. Is k a prime number?
False
Let u = 1 - 7. Is (u/9)/((-2)/399) a composite number?
True
Let z(k) = -10*k + 7. Let b(m) = 11*m - 8. Let l be (4 + -3)*(-3)/(-1). Let i(p) = l*z(p) + 2*b(p). Is i(-4) a prime number?
True
Suppose -3*y + 3 = 0, 27 = 2*s + 5*y - 108. Is s composite?
True
Let w(t) be the first derivative of -3*t**2/2 - 5*t + 3. Is w(-4) a composite number?
False
Suppose -c + 59 = -5*u, -4*u = 3*c - 49 - 128. Let h(o) = 2*o**2 - 8*o - 2. Let a be h(6). Let j = c - a. Is j a prime number?
True
Let l(r) = -r**2 - 7*r - 6. Let x be l(-3). Let p = x - 0. Is p a composite number?
True
Let i be -2 + (-2)/(4/2). Let k(p) = -2*p + 3. Let o be k(i). Suppose -o - 14 = -q. Is q composite?
False
Let g = 55 - 3. Suppose 4*p - 2*p = -3*k - g, 5*k + 130 = -5*p. Let y = 57 - p. Is y prime?
True
Let o be -1 + 0 + (-694)/(-1). Let c = o - 470. Is c a prime number?
True
Is (-2)/(-6) - (-184)/6 a composite number?
False
Suppose -5*c + 2*o + 3 = -24, -3*o = 2*c - 7. Suppose 12 = c*y - 33. Let s = y - -5. Is s a composite number?
True
Suppose 0 = -2*v + 2*i + 214, 2*i - 2 = -4. Is v a prime number?
False
Let q be -5*-2*(-1)/(-2). Suppose 0*y + 2*y = -3*u + 78, -4*y = -q*u - 178. Suppose -2*h - 4*r = -y, -3*h + 3*r = -h - 77. Is h prime?
True
Let s(y) = 131*y**2 + y + 1. Is s(2) a prime number?
False
Suppose k - 169 = -2*k - d, 5*d = -3*k + 149. Let s = 5 + 14. Let r = k + s. Is r composite?
True
Suppose 0*d - 4*d - 17 = 5*h, 4*h = 4*d - 28. Suppose -1088 = 4*x + d*u - 2768, 3*x = -5*u + 1267. Is x composite?
False
Suppose -5*y - 4*m + 153 = -1918, 0 = -m - 1. Is y prime?
False
Let r(c) = c**2 + 4*c + 2. Let m be r(-4). Let n(p) = 4*p + 3 + 0*p**2 - p**m + 5*p**2. Is n(-5) prime?
True
Let y(k) = -k**3 - 6*k**2 + 5*k - 10. Let u be y(-7). Suppose 3*i - u = 2. Suppose -f = -4*q + 207, -3*f = -i*q - 0*f + 111. Is q prime?
False
Let g(q) = 116*q + 1. Let k be g(1). Suppose 5*w - k - 53 = 0. Is w a prime number?
False
Suppose -2*q + 10 = -2. Let n(k) = -5*k**2 - 14*k - 7. Let b(c) = 4*c**2 + 13*c + 6. Let m(z) = 6*b(z) + 5*n(z). Is m(q) prime?
True
Let y = 32 + 11. Is y prime?
True
Let i(u) = -69*u - 2. Let l(o) = 68*o + 3. Let p(f) = -3*i(f) - 2*l(f). Let q be p(3). Is q/4 - 1/4 prime?
True
Let h(r) = -707*r. Let u be h(-2). Suppose u = 6*g - 944. Is g a composite number?
True
Suppose -5*m + 216 = -u, 0 = 7*u - 4*u - 5*m + 688. Let s = 33 - u. Is s a composite number?
False
Let h(j) be the second derivative of -2/3*j**3 + 0 + j + 1/20*j**5 + 0*j**2 + 1/6*j**4. Is h(-3) a prime number?
True
Let i(p) = -p**3 + 5*p**2 - 4*p + 5. Let a be i(6). Let u = a + 126. Is u composite?
False
Suppose -170 = -0*b + 5*b. Is ((-1)/(-2) - 2)*b a prime number?
False
Suppose 0*u - u + 141 = -4*n, 3*n = -6. Is u a prime number?
False
Let i = -2 - -4. Suppose -i*k