mber?
False
Let f be ((-2)/4)/(4/(-128)). Is (-2)/(f/(-1418)) + (-3)/12 prime?
False
Suppose 0 = 5*l + 25, 8*l - 3*l = -5*j. Suppose -j*h - 56 - 54 = 0. Is (-21131)/h + 3/(-2) prime?
False
Let y(u) = -7*u - 4. Let d(t) = -t - 1. Let b(c) = 4*d(c) - y(c). Let f be b(3). Let x(n) = n**3 - 10*n**2 + 12*n - 1. Is x(f) prime?
False
Let u(q) = q**3 + 9*q**2 + 8. Let t be u(-9). Let n(g) = g**3 + 8*g**2 - 6*g - 18. Is n(t) prime?
False
Let f(o) = -o**3 - 35*o**2 + 82*o - 87. Is f(-41) a prime number?
True
Let d(t) = 1431*t**3 - 3*t**2 - 3*t + 11. Is d(2) prime?
False
Is (-15)/(300/(-463796)) + (-4)/5 a composite number?
False
Suppose -913*q = -920*q + 54229. Is q prime?
False
Let f be (-3 + 1)/((-6)/15). Suppose -5*a = -f*w - 930, -w + 66 = 2*a - 318. Suppose 2*g = o + a, 2*g = 2*o - 50 + 236. Is g a composite number?
False
Is 5890475/55 + (38/11 - 4) composite?
False
Suppose -3*t + 5 = 2, 4*z + 4*t - 60 = 0. Is 4/z + 12610/14 + -2 composite?
True
Suppose 5*n + 44398 = 2*a, 0 = -4*a - n + 50140 + 38612. Is a prime?
True
Is (-6)/(-21) + (945385/(-49))/(-5) composite?
True
Let v(y) = 10*y - 26. Let u be v(22). Let g = u + -49. Is g a composite number?
True
Suppose 0 = -4*b + 13*b - 122850. Suppose 2*l = 5*x + l - b, -8202 = -3*x + 3*l. Is x prime?
True
Suppose -r = -6*r - 85. Let p(c) = c**3 + 18*c**2 - 9*c + 9. Is p(r) composite?
True
Suppose 3*c - 180632 = 5*u, -79982 - 40438 = -2*c + 2*u. Is c prime?
True
Let k be (9/7 - 1)/(10/70). Suppose -k*l + 2*o + 122 = 0, -l - o + 26 = -31. Is l prime?
True
Let t be -2*(28/8)/(-1). Suppose 3*v = -2*g + 9, 2*v - t = 2*g - 1. Suppose -9*c + v*c = -4326. Is c a composite number?
True
Suppose 29*u + 5*n + 54476 = 33*u, -27238 = -2*u + n. Is u prime?
True
Suppose 5*d + 611 = h - 137, -3*d + 740 = h. Suppose 3*k - 4*m = -6*m + h, 261 = k - 2*m. Is k a prime number?
True
Is (-8)/116 + (-1023066)/(-58) prime?
False
Let d = 1625 + 9572. Is d composite?
False
Let f(v) be the third derivative of 11*v**5/60 - 5*v**4/24 - v**2. Let x be (8 - 280/50) + (-2)/5. Is f(x) a composite number?
True
Suppose 3437 = 7*x - 49910. Is x a prime number?
True
Let m(r) = 4*r**3 - 16*r**2 - 26*r + 139. Is m(16) a composite number?
False
Let z(p) = 7*p + 1. Let d be z(-3). Let s be d/(-110) - 2/11. Suppose -b + v = b - 513, b - 4*v - 253 = s. Is b a prime number?
True
Let z(w) = 5 - 19 - 36*w - 3 + 3*w. Is z(-12) composite?
False
Suppose 3*s + h - 32602 = -2*s, -19566 = -3*s + h. Is s prime?
True
Let a(y) = -64*y + 3. Let u be 6/9 - 28/(-3). Suppose 0 = -6*h + u*h + 8. Is a(h) a composite number?
False
Suppose 8*q = 10951 + 2913. Is q a prime number?
True
Let z(n) be the first derivative of n**3/3 - n**2 + 1801*n - 17. Is z(0) a composite number?
False
Suppose -84*q + 19372 = -80*q. Is q composite?
True
Let q(a) = 88*a + 79*a + 5 + 33*a. Let p be q(5). Suppose -b - 2*b = -p. Is b prime?
False
Let y(g) = 408*g**2 - 6*g + 6. Let k be y(3). Let h = -1531 + k. Is h a composite number?
False
Suppose -41*z + 8255 = -36*z. Is z a prime number?
False
Let g = -23663 - -39654. Is g prime?
True
Suppose -3*o + 44 = 4*t, 2*o - 4 = 4. Let n(z) = 3*z**3 - 7*z**2 - 5*z + 7. Let i be n(t). Suppose -i = f - 6*f. Is f a composite number?
False
Let x = 72533 + 5624. Is x prime?
True
Suppose 3*t + d = -3 + 1, 0 = 5*t - d - 2. Suppose 9*r + 159 - 546 = t. Is r a composite number?
False
Let k(i) = -15*i**3 - 5*i**2 - 7*i + 10. Let r(p) = 3*p**2 + 32*p + 15. Let t be r(-10). Is k(t) a composite number?
True
Let a(z) = -z**3 - 9*z**2 + 8*z + 1. Let v(d) = -d**2 + 3*d**2 + d - 3*d**2 + 1. Let r(s) = -a(s) + 4*v(s). Is r(-5) a composite number?
False
Let f = 73 + -99. Let x = f - -137. Is x prime?
False
Let p(o) = -o**2 - 4*o - 3. Let b be p(-3). Is 503 - 16/(b + 4) a composite number?
False
Suppose m + 2*w - 8 = w, 2*m + 19 = 5*w. Suppose -2*t - m*t + 5*g + 1475 = 0, -t + 297 = -2*g. Is t prime?
True
Let m(k) = -415*k + 4. Let q be m(-1). Suppose -1049 = -5*d - 59. Suppose i + w - 161 = 0, -q = -4*i + 5*w + d. Is i composite?
True
Let n be 4/(-8)*-3*2. Suppose n*m + m - 16 = 0. Is (2 + m)/(-3) - -71 a prime number?
False
Let n(p) = 7*p**2 + 8*p + 2. Let h(i) = 20*i**2 + 24*i + 6. Let m(q) = -6*h(q) + 17*n(q). Let f be m(-7). Suppose 0 = f*o - 103 - 67. Is o prime?
False
Let j(v) be the second derivative of v**6/72 - v**5/12 + v**4/12 - v**3/6 - 2*v. Let i(g) be the second derivative of j(g). Is i(7) composite?
True
Let i = 96 + -100. Is 204 - -2*((-6)/i)/(-1) prime?
False
Let f = 8581 - -36286. Is f a prime number?
True
Let b(k) = k**3 - 9*k**2 + 4. Let q be b(9). Suppose 211 = -q*s + 1023. Is s a prime number?
False
Suppose -2694 = -3*r + 1758. Suppose -225 = f - r. Is f a composite number?
False
Let b(w) = 20*w**2 + 12*w - 2. Let i be b(-8). Suppose -3*z - i = -6*z. Suppose 0 = 3*x + 2*k - 391, 5*k + 6 = -3*x + z. Is x prime?
True
Suppose 0 = 190*v - 193*v + 192. Suppose -3*z - z = 60. Let u = v - z. Is u a composite number?
False
Let o = -35 - -39. Suppose 4*r - 883 - 641 = -o*j, 0 = -r + 2*j + 381. Is r a composite number?
True
Let r be (-2)/(0 - 8/(-2876)). Let w = 1230 + r. Is w prime?
False
Suppose 2 = 3*b - 13. Suppose 0 = -b*r + 3 - 33. Is (r/(-4))/(6/628) composite?
False
Let l = 212 + -85. Is l prime?
True
Is 3586 + 11 + -22 + 18 composite?
False
Suppose 4*q + 207 = -81. Let t = 154 + q. Is t composite?
True
Let m(c) be the first derivative of -269*c**2 - 15*c - 16. Is m(-2) prime?
True
Is 35762/(-4)*8/(-20)*5 a composite number?
False
Let s(t) = -85*t**3 - 2*t**2 - 2*t - 3. Suppose 0 = 2*p - 7 + 11. Is s(p) a prime number?
True
Let r = 45 - 43. Suppose 4431 = r*v + v. Is v composite?
True
Suppose 2*n + 1418 = -290. Let u(d) = 1426*d**3 - 2*d**2 - d. Let y be u(-1). Let c = n - y. Is c a prime number?
False
Let b(x) = x**2 + 10*x**3 + 4 + 3*x - 3 + 3*x**2 - 53*x**3. Is b(-3) a composite number?
True
Suppose 4*d - 16*d + 98556 = 0. Is d composite?
True
Suppose z + 5 = -13. Let s be (48/z)/((-1)/3). Is 4154/s - 8/32 a composite number?
True
Suppose 5*p - 24 = p. Suppose p = 2*o + 2. Suppose -j + 3*a + 1 = -0*a, 10 = o*j + 2*a. Is j composite?
True
Let b(l) = 8*l**2 - 3*l - 79. Is b(13) a composite number?
True
Let f(c) = 2*c**3 - 3*c**2 - c + 1. Let a = -12 + 0. Let m be (0 - 1)/(3/a). Is f(m) a composite number?
True
Suppose 3*x = 6*x - 489. Suppose 3*g - 637 = -x. Suppose -2*p - 2*a + g = 2*a, 4*a + 465 = 5*p. Is p a composite number?
False
Let l = 19 + -15. Suppose 12 = -3*u + 4*f, -l*f - 47 = 4*u - 3. Is u/20 + 397/5 composite?
False
Suppose 4*t - 4*c - 32 = -9*c, t = -2*c + 11. Let j be t*(0 - (-3 + 4)). Is (-2066)/(-8) - j/4 composite?
True
Let z be 2/(6/(-60)*-5). Suppose -2*j - 1715 - 1847 = -z*f, 0 = f - 4*j - 901. Is f prime?
False
Let s be ((-1954)/8)/(6/(-72)). Suppose 4*v - s = -5*w, -w = -2*w + 3*v + 590. Is w a composite number?
False
Suppose -2*q + 7533 = -n, -q = -2*q - 4*n + 3771. Suppose -h - 3763 = -4*h - 2*t, q = 3*h + 4*t. Is h a composite number?
True
Suppose -18*l = -13*l - 11335. Is l prime?
True
Let i(j) = -j**2 - 2*j + 11. Let u be i(-5). Let t(h) = 21*h**2 + 5*h - 2. Let q be t(u). Suppose k - 3*k + q = 0. Is k a composite number?
False
Let h be (-4)/(-14) - 38/(-14). Let s = -39 + 39. Suppose -3*a + 4*w = -s*w - 221, 5*w + 217 = h*a. Is a a prime number?
True
Suppose -2*v + 108 = v + z, 0 = -4*z. Let w = -34 + v. Suppose f - 199 = 2*g - 4*g, 2*f - 390 = -w*g. Is f composite?
False
Suppose 0 = -m - 5*g + 64166, 17*m = 20*m - g - 192450. Is m a prime number?
True
Suppose 0 = -8*h + 7*h + 154. Let b = h + 139. Is b a prime number?
True
Let f(g) = g + 438. Is f(-47) a composite number?
True
Let v be 1 + (1 - 6/3). Suppose -2*p - p = v. Let t = p - -6. Is t a composite number?
True
Let b(l) = 81*l + 4 - 5 - 6 - 1. Is b(5) a composite number?
False
Let a(r) = 848*r**2 - 4*r - 2. Let p be a(2). Let q = -2123 + p. Is q prime?
True
Let p = 10 - 6. Let d = -387 + 392. Suppose d*y + 2992 = p*z + y, 3*z - 2226 = -3*y. Is z prime?
False
Let m = 34710 + -21997. Is m composite?
False
Let u(b) = b**3 - 8*b + 4. Let h be 2 - (-7 + 12/3). Is u(h) composite?
False
Let s(x) = 2*x + 3*x**2 + 10*x**3 + 378 - 4*x - 380. Is s(3) a composite number?
True
Is (-84326)/(-8) + (4 - (-15)/(-4)) prime?
False
Is ((-22169)/(-14))/(133/(-28) + 5) a prime n