
False
Is 2/((-6)/(-63))*1 prime?
False
Suppose -v + 21 - 8 = 0. Suppose m - 6 = v. Is m a composite number?
False
Suppose -5*r = 4*h - 20, -2*h - 2 = 3*r - 12. Suppose s = 2*s + 5*t - 5, r = 5*t. Suppose 15 = -b - s*u + 127, -3*b + 3*u = -246. Is b a composite number?
True
Let w(q) = -3*q**3 - q**2 + 1. Let f be w(-1). Suppose -p + 0*z - 4*z - 3 = 0, 0 = f*p - z - 43. Is p prime?
True
Suppose -5*b + 242 = -c, -3*c = 5*b + 506 + 120. Suppose i = -0*i - 150. Let y = i - c. Is y prime?
True
Let o = 2471 - 1157. Suppose -2*t - 1313 = -5*h, h + t + o = 6*h. Is h composite?
False
Let k(b) = 25*b + 1. Let f be k(-5). Let h = 193 + f. Is h composite?
True
Let f(n) = n**3 - 7*n**2 + n + 3. Let a be f(7). Let i be (-6)/a - (-8)/(-20). Is i/4 - (-1585)/20 a prime number?
True
Suppose 3*n - 870 = -3*z, -z + 5*n = 4*z - 1480. Is z composite?
False
Let k = 3378 - 2101. Is k a composite number?
False
Suppose -30 = -0*i - 5*i. Suppose 1 = -p + i. Suppose 0 = -p*s - 4*u + 465, -5*s + u + 351 = -s. Is s a prime number?
True
Let x(z) = 118*z - 21. Is x(4) composite?
True
Is -6982*(-3 + (-25)/(-10)) composite?
False
Suppose -425 - 745 = -4*r - 2*y, r - 290 = -3*y. Is r composite?
False
Let c(i) = 2*i**2 + 3*i - 4. Let r be 2/(-3) + 7/(-3). Let l be c(r). Suppose -d - l*o - 93 = -3*d, 3*o = -2*d + 101. Is d a prime number?
False
Let w(z) = 137*z - 35. Is w(6) prime?
True
Suppose -2*y = 2*w + 2*y, 0 = -4*y - 8. Is w a prime number?
False
Suppose 5*c - 68 + 28 = 0. Let h(k) = -k**3 + 9*k**2 + 13*k - 10. Is h(c) composite?
True
Let a = 3 + 0. Suppose a*k = -k. Suppose -4*x + n + 86 = k, 24 = x + n - 0*n. Is x composite?
True
Let i = 427 + 138. Is i composite?
True
Suppose 2*i - 8078 = -5*o + o, -o + 1 = 0. Is i composite?
True
Let b = -2287 + 1331. Let z = b - -206. Is z/(-8) - (-7)/28 a prime number?
False
Let l be (-3)/2 + 134/4. Suppose 4*d - 94 = t + 4*t, -2*t - 36 = -2*d. Let n = l + t. Is n prime?
False
Let v(i) be the first derivative of -23*i**2/2 + 4*i + 3. Let t be v(6). Let w = t + 247. Is w composite?
False
Suppose -2*c = -7*c + 4*o + 29, 0 = 3*o + 3. Suppose -2080 = -c*m + 415. Is m a prime number?
True
Suppose 3*u - 1072 = 245. Is u a composite number?
False
Suppose -1203 = -5*t + 7402. Is t a prime number?
True
Suppose 3*t - 2*c - 1537 = 0, -2*t + t = -3*c - 517. Is t prime?
False
Let l(m) be the first derivative of 9*m + 5/2*m**2 - m**3 - 1/4*m**4 - 3. Is l(-6) a composite number?
True
Suppose -5*v + 3528 = -w, -3*v + 6*w - w = -2108. Is v prime?
False
Let l(t) = -t**3 + 3*t**2 + t - 1. Let o be l(2). Let k be o/(-2)*(-12)/10. Suppose -275 = -2*r + 3*y, r - 136 = 4*y - k*y. Is r prime?
False
Let s = 26 + 48. Is (s/(-3))/((-14)/21) a prime number?
True
Let t(v) be the first derivative of 145*v**2/2 - 3*v - 4. Is t(2) prime?
False
Suppose 2*o = -o + 276. Let s be -1*(2 - 1)*55. Let g = s + o. Is g composite?
False
Let f = 26 + -17. Let o be (-23)/4 - (-1)/(-4). Let r = o + f. Is r prime?
True
Let x = -5 - -10. Suppose 0 = 5*v - b + 1, v + 3*b - 3 = x*v. Let h = v - -22. Is h composite?
True
Let b(s) = -s**3 - 4*s**2 + 3*s - 3. Let y be b(-5). Let o = -4 + y. Is 21 - 1*(o + -1) composite?
False
Let i = 1281 - 580. Is i composite?
False
Let f(h) = 338*h**2 + 3*h + 2. Is f(-1) prime?
True
Let y(o) = -364*o - 5. Is y(-1) composite?
False
Let l(b) = -b**2 - 5*b - 3. Let n be l(-4). Let t = n - -22. Suppose -x + 32 + t = 0. Is x composite?
True
Suppose 247 = 8*p - 201. Suppose -u + 5*w - 5 = -1, -4*w - 49 = 5*u. Let a = p + u. Is a a composite number?
False
Let p(j) = 19*j**2 - 3*j - 1. Is p(-6) a prime number?
True
Let b(m) = 15*m**3 + m**2 + 2*m - 1. Let k = 11 + -3. Suppose -3*a + k = 5*w - 23, 3*w - 7 = 4*a. Is b(a) a composite number?
False
Suppose 2*y = -5*l + 100, 3*y + 48 = 4*l - 9. Is 480/l + (-2)/3 a composite number?
True
Suppose -1 - 15 = 4*p. Let n = -2 - p. Suppose 3*j + n*j = 445. Is j composite?
False
Let x = -23 + 178. Is x a prime number?
False
Suppose -3*y = y - 212. Is y a prime number?
True
Suppose 0 = 2*c - 2*t - 108, -t - 72 = -2*c + 39. Is c composite?
True
Suppose -n + 4 = 3*n. Suppose 0 = -5*t + 4*v + 123 - n, 4*t = 4*v + 96. Is t composite?
True
Suppose 2*b = -4*w + 7646, b + 4*b = 15. Is (-2)/(-4)*w/5 composite?
False
Let t be 8319/15 + 4/10. Suppose 3*l = 8*l - t. Is l a composite number?
True
Suppose -13 = a + 3*l, -8 = a + 4*l - 2*l. Let x be (-711)/(-15) + a/(-5). Let j = x - -116. Is j prime?
True
Let g = -27 - -446. Is g a composite number?
False
Let t = -22 - -22. Suppose t = g - 5*g + 956. Is g a composite number?
False
Let l(r) = -17*r**2 + 4*r - 2. Let x be l(4). Is 8/(-6)*x/4 a prime number?
False
Let t = 7 - 12. Let l = 54 - t. Is l composite?
False
Let z(s) be the third derivative of -s**4/2 + 7*s**3/6 - 2*s**2. Is z(-7) a prime number?
False
Is 1528 + (2 - (-2 - (-2 + -1))) composite?
True
Let l(c) = -93*c - 34. Is l(-19) a prime number?
True
Let z = 25 - -228. Is z a prime number?
False
Let i(s) = -s**3 - 14*s**2 + 2*s + 19. Let t be i(-14). Let u(f) = -10*f + 7. Is u(t) prime?
True
Let s(l) = -70*l. Let n be s(-3). Is (-1)/(-2 + n/106) a composite number?
False
Let x be (-17076)/(-39) + 2/13. Let v = x - 101. Is v a prime number?
True
Let l = 193 - 104. Is l composite?
False
Let v(h) = 57*h**3 + 6*h**2 + 4*h. Let y(c) = -c**2 - c. Let m(d) = -d**2 - 4*d + 5. Let j be m(-4). Let g(i) = j*y(i) + v(i). Is g(1) prime?
False
Let d = -30 - -192. Let q = 245 - d. Is q composite?
False
Is 2/11 - 7608/(-22) a composite number?
True
Let t = 1546 - 913. Is t prime?
False
Let k(j) = 21*j**2 - j + 1. Suppose -3*p = p - 4. Is k(p) composite?
True
Suppose -3*v = 2*j - 2057, v - 4*j = -v + 1398. Is v a prime number?
False
Let l = -2 - -8. Suppose -18 = -3*x + l. Let q = x - -77. Is q a composite number?
True
Let u(h) = -h**2 - h + 391. Is u(0) a composite number?
True
Let b = 8 - 6. Suppose 3*s = -5*d - 0*d - 36, -2*s - b = -4*d. Let j = 0 - s. Is j a prime number?
True
Suppose 3*i - 16 = -i. Suppose -l + i = -0*l. Suppose -7*a + 18 = -l*a. Is a a composite number?
True
Suppose 3*s + 23 = s - 5*k, -s - k - 4 = 0. Let d = s - -2. Suppose -d*h - 1 = -340. Is h composite?
False
Let s be (-52)/(-6) - (-1)/3. Let o(q) = -q**3 - 3*q**2 - 4*q + 4. Let c be o(-5). Suppose m - 6*t - s = -t, -4*m + c = -t. Is m a composite number?
False
Suppose -5*h + 19 = -f - h, f - 26 = -5*h. Is (-7)/(f/34*-2) composite?
True
Suppose -10 = -4*v + 2*v. Suppose -8 - 47 = -v*l. Is l a prime number?
True
Let m be (-158)/(-18) + (-2)/(-9). Let a = m - 6. Is a + 6*3*2 composite?
True
Let i = 5 + -2. Suppose 3*y = -5*t + 13, -2*t + i*y + 5 = 2*t. Suppose -j = -s - 14, -4*j - t*s + 4*s + 66 = 0. Is j prime?
True
Suppose 0 = q + q - 130. Let u = -19 + q. Is u a prime number?
False
Suppose -1 = 2*r + 5. Let g be (1 - r)*(-8)/(-1). Suppose -4*x + 82 = 3*y, -3*x + 5*y = -15 - g. Is x prime?
True
Suppose -3*m - 2*h + 109 = -0*m, -144 = -4*m - 2*h. Suppose -j + 203 + m = 3*i, i = -j + 80. Is i prime?
True
Let m = 948 - -233. Is m prime?
True
Suppose 7*u - 536 = 3*u. Is u composite?
True
Suppose -5*f = 2*v - 8361, -4*f + 2549 = -3*v - 4149. Is f prime?
False
Suppose v - 4 = -v. Suppose 0 = v*c + 10, -5*c + 70 = -0*k + 5*k. Is k prime?
True
Suppose -3*v + 4 = -v. Let b = -41 + 72. Suppose -112 = -4*z - 5*w, -z - v*w + b = -0*z. Is z prime?
True
Suppose y + 2 = -0*y. Let z be (-60)/(-14) - y/(-7). Suppose 0*k + k = -4*l + 228, -z*k + 228 = 4*l. Is l a composite number?
True
Let d(m) = 3*m. Let y be d(-1). Is (y - -31)*(-14)/(-8) a prime number?
False
Let o be 4 + 5/((-15)/(-1704)). Is o/5 + 3/5 a prime number?
False
Suppose 2*d - 3*d = -307. Is d prime?
True
Let s = 5 + -2. Suppose 1132 = 4*h + 92. Suppose 2*p = 4*q - h, 0*q - q + 79 = s*p. Is q a composite number?
False
Is (-5 + 3)/((-2)/293) composite?
False
Let v(i) = 199*i**2 + 1. Is v(2) a prime number?
True
Let s be -6 + 8 + (1 - 2). Let g(h) = -10 - 3*h - 4*h**2 + s - h**3 + 4. Is g(-4) a prime number?
True
Suppose -3*w = -17 + 2. Suppose 3*a - 760 = 2*k, 0*a - 4*a + w*k = -1004. Is a/10 + 8/20 a prime number?
False
Let r be (102 - 2) + 1 + -1. Let w be (-3)/(-6)*-2 + r. Suppose -3*x + 294 = -w. Is x a composite number?
False
Suppose -3*q = -289 + 88. Suppose -5*c + 398 = -v, -3*c + 4*v - q = -4*c. Is c a com