mber?
True
Suppose -6*f = -f - 40. Let w be (-5)/(-2)*f/(-4). Is (-6)/10*(0 + w) a prime number?
True
Let w(p) = p**2 - 9*p + 8. Let h be w(7). Let y be (-8)/28 + (-65)/(-7). Let x = h + y. Is x a prime number?
True
Suppose -378 = 2*a - 3760. Is a a composite number?
True
Let n(p) = 8*p**3 - 7*p**2 - 4*p - 2. Let x(w) = -9*w**3 + 8*w**2 + 4*w + 2. Let j(r) = -4*n(r) - 3*x(r). Is j(-3) prime?
False
Suppose 5*i = 2*v - 317, i = -0*v - v + 176. Suppose -7*x = -4*x - v. Is x composite?
True
Suppose -j = -1 - 1. Let q(t) = -t + 12. Let n be q(9). Suppose -95 = -n*k - j*k. Is k composite?
False
Let q(g) = -g**3 - g**2 + g + 5. Let k be q(0). Suppose 8 = i - 3*s + s, 5*i + 5*s + k = 0. Is i a composite number?
False
Suppose 3*z - 3107 = -2*c, c + 7*z - 1551 = 5*z. Is c prime?
False
Let s(a) = 24*a**2 - a - 2. Let z be s(2). Suppose 3*g = 4*b - z, 2*b + g = 6*b - 92. Is b a composite number?
False
Suppose 5*n - 3*n + 3*r + 36 = 0, -3*n - r - 47 = 0. Is n*(1 + 20/(-6)) composite?
True
Is 881 + (3 - 4)*4 prime?
True
Suppose 4*d - 586 = -70. Is d composite?
True
Let u be -8*(10/8 - 2). Let a = -2 + u. Is a a composite number?
True
Let z = 11739 + -7840. Is z prime?
False
Suppose -12 + 0 = -3*d. Suppose -d*v + 121 = -63. Is v composite?
True
Suppose a - 5*g = 20, 20 = a - 3*a - 5*g. Suppose a = -4*v + 3 + 577. Is v composite?
True
Let l be (-28)/(-12) - (-2)/3. Suppose s = -2*x + l*s + 102, 0 = -5*x - 2*s + 283. Is x composite?
True
Is (-1)/3*-591 - -2 a prime number?
True
Let y be 8/28 + 4/(-14). Suppose -2*p + p = y. Suppose -3*n - 5*k + 55 = p, -5*k - 18 = -4*n - 3. Is n composite?
True
Suppose f + f - 314 = 0. Is f composite?
False
Let g = -391 + 684. Is g a prime number?
True
Suppose -l + 0*l = -31. Let r = 26 + -44. Let g = r + l. Is g composite?
False
Let y(m) = 33*m + 7. Is y(4) a composite number?
False
Suppose -302 = -o - j, j = -3*o + 592 + 324. Is o a composite number?
False
Let z(t) = 27*t**2 - 2*t + 2. Let n = 11 + -14. Is z(n) composite?
False
Is 1/((-2 - 1) + 1)*-1158 a composite number?
True
Is 142/4*(-84)/(-6) prime?
False
Let n(l) = -l**2 - 7*l - 5. Let p be n(-5). Suppose -p*a + j + 69 = 0, 2*a - 29 = 3*j + 9. Suppose -a + 777 = 4*i. Is i prime?
True
Suppose 2*c - 664 = -2340. Is c*(21/6)/(-7) a composite number?
False
Let i(z) = z**3 - z**2 + 5*z - 6. Suppose 0*p - 15 = -3*p. Is i(p) a prime number?
False
Let b(z) = z**3 + z. Let q be b(0). Suppose -2*p = -0*k + 4*k - 48, -3*p - 2*k + 92 = q. Is p a composite number?
True
Suppose 0 - 5 = 5*x. Is (1/x)/1 - -184 composite?
True
Suppose -4*x - 32 = -3*v, x - 11 = 4*v - 45. Is 156/v - 1/2 composite?
False
Suppose f - q = -4, 2 + 4 = 2*q. Let l = 6 + f. Suppose -280 + 45 = -l*o. Is o a prime number?
True
Is (5 + -3)*298/4 a composite number?
False
Let d be (30 + -3)*4/(-3). Is (-456)/d*(-3)/(-2) composite?
False
Let q(a) = 45*a - 5 - 2 + 4 + 2. Suppose r - h = -3, 3*r - 21 = -4*h + 5. Is q(r) a prime number?
True
Suppose 5*x - 685 = -3*v, -6 = 4*x - 7*x. Suppose 0 = 3*f - v - 30. Is f a prime number?
False
Let t be (-12 - -2)*936/(-10). Suppose t - 303 = 3*l. Is l a prime number?
True
Let k = 16 + 18. Is k a prime number?
False
Suppose m - 1660 = 229. Is m a composite number?
False
Let d = 675 + -382. Is d prime?
True
Suppose 3*b - 2*o = 253, 3*b + 4*o + 94 = 317. Suppose -3*z + 3*v - 237 = b, 0 = 3*v - 9. Let n = z + 182. Is n a prime number?
True
Suppose 0 = 17*g - 19*g + 254. Is g a prime number?
True
Suppose 71 = 5*s - 4*a - 194, 4*s - 4*a = 212. Is s a prime number?
True
Is (83/2)/((-1)/(-2)) a prime number?
True
Let o(b) = -b**2 + 9*b - 8. Let w be o(8). Suppose u + u = w. Suppose u*q = q - 49. Is q a prime number?
False
Suppose 0 = -6*r + 3*r + 678. Is r prime?
False
Let p = 512 + -321. Is p a composite number?
False
Let o be (2/(-4))/(1/4). Let m be ((1 - o) + -1)/2. Is m*(-5)/(15/(-102)) prime?
False
Suppose -s - 75 = 2*s. Let l be 284/10 - (-10)/s. Is -1*(1 - -1) + l prime?
False
Is 1195 - (0*4/12)/(-1) a composite number?
True
Let v(m) = -10*m + 15*m - 7*m + 15. Is v(0) a prime number?
False
Suppose v - 332 = -3*l, -2*v + 0*v = -4*l - 634. Is v a prime number?
False
Let l(x) be the second derivative of 2*x**2 + 0 + 7/3*x**3 - 1/12*x**4 - 3*x. Is l(7) a prime number?
True
Let j be 7/2 - 12/8. Suppose 0 = 2*k - j*p - 252, 2*k + 131 = 3*k + 4*p. Is k a prime number?
True
Suppose 0 = -2*y - 4*z - 8, 0 = -5*z + 5 - 20. Suppose y*m + a + 0*a - 421 = 0, 4*m - 827 = 3*a. Is m a composite number?
True
Is (-10863)/(-2) - (18/(-4) - -3) composite?
True
Suppose -2*n = -644 - 318. Is n a prime number?
False
Is (-3)/(-12) + (-3489)/(-12) prime?
False
Let v(z) = z + 3*z + 0*z - 1. Is v(8) a prime number?
True
Let m = -5 - -9. Let n = m - 2. Is n prime?
True
Suppose -2*m - 6 = -4*j - 28, 38 = 2*m + 4*j. Suppose 31 = 2*h - m. Is h prime?
True
Let w = -279 - -463. Suppose -3*u = -4*u - 2, -2*t + 3*u + w = 0. Is t a composite number?
False
Let c be (-2)/(-5) - (-8)/(-20). Suppose -4*o = 4 - c. Let i(n) = -45*n + 1. Is i(o) composite?
True
Let j = -2 - -4. Suppose 3*p = -j*p + 415. Is p prime?
True
Let n(t) = -t**2 - 4*t + 2. Let h be n(-4). Let b = 15 - h. Is b a composite number?
False
Is 13*(63 + (2 - 4)) a composite number?
True
Let v(b) = -b**3 + b**2 + 4. Suppose 4*p - 20 = 2*g - 7*g, -5*g = 2*p - 10. Let k be v(g). Suppose k*i - 43 = 129. Is i a prime number?
True
Suppose 5*o - 552 - 783 = 0. Is o a prime number?
False
Let p be 1/((-2)/1002*-1). Suppose 2*i = -i + p. Is i a composite number?
False
Suppose -2*s - 3*s = 0. Suppose 3*u = 3*r - 41 - 28, s = 3*r - u - 69. Is r prime?
True
Let t(w) = -12*w + 2*w - w - 8. Let p be t(-8). Let o = p + -21. Is o prime?
True
Is 88/4*(-1)/(-2) prime?
True
Let o be ((-51)/6)/(2/4). Suppose -g + 6*c = 3*c + 60, -c + 218 = -4*g. Let r = o - g. Is r a prime number?
True
Let a = 112 + 393. Is a a prime number?
False
Suppose -362 + 80 = -3*f. Let g = f + -173. Let d = 40 - g. Is d prime?
False
Suppose -951 = -16*s + 13*s. Is s a prime number?
True
Is ((-1518)/9)/(2/(-3)) prime?
False
Let j = -7 + 7. Suppose j = 2*u + 21 - 339. Suppose m - 4*m + u = 0. Is m a prime number?
True
Let g = -184 - -311. Is g composite?
False
Let l(w) be the first derivative of 71*w**2/2 - 6. Is l(7) a composite number?
True
Let p = 371 - -48. Is p prime?
True
Suppose 0 = 2*h - 3*n + 10, 3*h + 2 = n - 13. Let d = 4 + h. Is 1*((-168)/(-2) + d) a prime number?
True
Let c = -11 + 58. Is c composite?
False
Let y be 4/(-3)*(-27)/(-3). Let g(l) = -l**3 - 10*l**2 - 7*l + 1. Is g(y) prime?
True
Let x = 35 - 23. Let d = 21 + x. Is d a composite number?
True
Suppose b = -1, -8 = -o + 4*b - 2. Let y be (-33)/(-15) - o/10. Is 2 - (-19)/y*10 prime?
True
Suppose 0 = -2*h - 0*h - 8. Let u be 2 + h - 34 - -2. Let t = 131 + u. Is t prime?
True
Let r(u) = u**2 + 7*u - 5. Let l be r(-8). Suppose n - 7*z - 789 = -l*z, -z + 799 = n. Is n prime?
True
Suppose x - 119 = -0*x. Let m = -15 + 97. Let r = x - m. Is r composite?
False
Let a be 3 + -5 - (-2 + -1). Let r = a + 4. Let x(b) = 2*b**2 - 8*b + 3. Is x(r) prime?
True
Suppose 4 = 2*p - 2. Let o(u) = -u**3 + 6*u**2 - 2*u - 2. Is o(p) composite?
False
Suppose 0*d + 4*y + 136 = -2*d, 0 = -y - 3. Let r = d - -108. Is r prime?
False
Is (-4 - 0 - -1*397)*1 composite?
True
Suppose 5*h + 3*v = -79 + 2418, 1884 = 4*h - 4*v. Is h prime?
False
Suppose 0 = -5*s + 4*b - 3*b, 4*s = 4*b. Suppose 8 = u - s. Suppose u = 4*f - 0*f. Is f a prime number?
True
Let r = 1 + 0. Let z(g) = 80*g + 2. Is z(r) prime?
False
Let r(w) be the first derivative of -w**3/3 - 7*w**2/2 + 4*w - 2. Let z = 5 - 10. Is r(z) a prime number?
False
Is 1*(903 + 2) + 0 composite?
True
Suppose -152 = -0*g - 2*g. Let k = -138 + 93. Let n = k + g. Is n a prime number?
True
Suppose 411 = -5*y - 84. Let a = 967 + y. Suppose r - 5*r + a = 0. Is r composite?
True
Let l be 1/2*(-10)/(-1). Let o(j) = 3*j + 2*j**2 - 5 + 2*j**2 - 3*j**2. Is o(l) a prime number?
False
Suppose -d - 4*f + 255 = 0, 0 = 4*f + 4 + 4. Is d a prime number?
True
Suppose 104 = i - 87. Is i a prime number?
True
Let u be (-300 - 8/(-4)) + 0. Is 0 + (-4)/8*u composite?
False
Suppose 0*i - 149 = -i + w, -5*w + 705 = 5*i. Is i composite?
True
Let n = 25 - 3. Let k = n + 13. Is k a composite number?
True
Let g(l) = 63*l - 38. Let p(x) =