 a composite number?
False
Let l = 577 + -248. Is l prime?
False
Let u(p) = -p**3 + 5*p**2 - 2*p + 12. Let h be u(5). Suppose -2*g = -5*s + 226, -h*s + 7*s = -4*g + 238. Is s prime?
False
Let a(b) = -3*b - 1 + 0 - 32*b. Let w be a(-2). Suppose q - w = -2*q. Is q prime?
True
Let r = -331 - -2004. Is r a prime number?
False
Let q = -10730 + 43041. Is q a prime number?
False
Is (1/3)/(2/470778*11) a prime number?
False
Suppose 14*y - 48126 = 316504. Is y a composite number?
True
Suppose -3*o + 9 = 180. Suppose 5*y - 15 = 0, -7*y + 2*y - 249 = 3*r. Let g = o - r. Is g a composite number?
False
Is (-6)/(-2) - (-124208)/(-5 - -13) a composite number?
True
Suppose 4*s - 4 = 0, 5*v + s = 13 + 8. Suppose 3*f + v*f = 8785. Is f a composite number?
True
Is (-6 - (-34570)/(-8))/((-1)/4) a composite number?
True
Suppose c - 1 = -0, -3*r + 1 = c. Let j = 185 - 180. Is 220 - r - (-5)/j composite?
True
Suppose -4*b = 3*j - 177267, 9*j = 7*j + 4*b + 118178. Is j composite?
True
Suppose -404*z = -416*z + 1201164. Is z a prime number?
False
Suppose 2*f = -4*q - 20 + 56, 3*q = f + 7. Let s(t) = 2*t**3 - 8*t**2 - 7*t - 11. Is s(f) a prime number?
False
Is -41330*-2*3/12 composite?
True
Let a(h) = -h**3 + 13*h**2 - 3*h - 4. Let z = 64 + -55. Is a(z) a composite number?
False
Suppose 4*i = -i - 3*j + 390, -4*i - 2*j + 310 = 0. Let n be (-2)/(-10) + 285/i. Suppose 4*t - 2 - 6 = 0, 4*h - n*t - 740 = 0. Is h prime?
False
Is (16570/(-20))/((-12)/24) a composite number?
False
Suppose r + 3*v = 6*r - 43, -5*r + 35 = 5*v. Suppose -2*z = -2*m + r, 4*m + 3*z = 1 + 1. Suppose -3*y = -m*y - 187. Is y a composite number?
True
Suppose 9*p + 2*j = 5*p + 26250, -4 = 4*j. Is p a prime number?
True
Let p be (-2)/(0 - 2/1). Let r be p/2*(-5064)/(-12). Let i = r - 100. Is i prime?
False
Let x be 18/(-4)*(293 - 15). Let m = -710 - x. Is m a prime number?
True
Suppose -n = -4 - 1. Suppose 4*o + 3*b + 1 = 0, -61 = -4*o - b - 56. Suppose 1760 = o*c - p, -n*p - 1766 = -2*c - p. Is c composite?
True
Let a(x) = 3*x**3 + 2*x**2 - 2*x - 20. Let i be a(6). Let c = 1107 - i. Is c prime?
True
Let w(y) = -y**3 + 7*y**2 + 9*y + 11. Let r be w(11). Let k be (-1*39)/((-2)/30). Let q = r + k. Is q prime?
True
Suppose 1223*n = 1227*n - 12396. Is n composite?
True
Let m(f) = f**3 + 7*f**2 - 2*f + 8. Let t(g) = -g - 6. Let a be t(-6). Suppose a = -2*p - 2, -z + 4 = -4*p + 7. Is m(z) a prime number?
False
Let l(w) = w**3 + 28*w**2 + 51*w - 28. Is l(-22) a composite number?
True
Suppose 0 = 2*k - 3*k + 2. Suppose -p - 2721 = -4*t, -p = t - k*p - 684. Is t a prime number?
False
Let y(w) = 6*w**2 - 5*w + 16. Let j(t) = 2*t**2 + 2*t + 1. Let v be j(-2). Suppose 0 = v*z + 2*a + 63, 0 = -z + 5*a + 9. Is y(z) a prime number?
True
Let y = 39 - 26. Let q = -11 + y. Suppose -q*a + 3*a = 889. Is a a composite number?
True
Let d be 7/28 - 1/4 - 369. Let t = d + 1303. Is t a prime number?
False
Let r be 2/((21/(-9))/(-7)). Suppose -3*f = -r*f + 318. Is f a prime number?
False
Let f be (-69)/(-21) - 6/21. Suppose o - 212 = -f*o. Let q = o + 14. Is q a composite number?
False
Let m = -350 - -655. Is m a prime number?
False
Let v be ((-6)/(-4))/((-2)/(-60)). Let l = 4 - -10. Let o = v - l. Is o a prime number?
True
Suppose 7*l + 123451 = 48*l. Is l a composite number?
False
Suppose -8*s + 7*s = 0. Suppose 2*i + 169 = -3*l + 816, s = 4*i + 3*l - 1285. Is i a composite number?
True
Let n(o) = -o + 54. Let f be n(16). Suppose -3129 = f*k - 45*k. Is k prime?
False
Let z = -111 - -368. Is z prime?
True
Suppose -8*l + 5*l = 4*k - 49587, 4*k = 4*l - 66116. Is l a composite number?
False
Suppose 0 = 2*g + l - 5995, -3020 = 4*g - 5*g - 5*l. Is g composite?
True
Suppose 88 = 4*h + s + 3*s, -4*h - s + 94 = 0. Suppose 2*o - h = 446. Is o a prime number?
False
Let m be (2 + (-7 - -1))/(-2). Let d be 4/7*(m + 5). Suppose d*l - 161 = 3*l - 4*g, -644 = -4*l - g. Is l a prime number?
False
Suppose 0 = m - 3, 292 + 41 = n + 2*m. Is n composite?
True
Let a = 25 - 9. Let i = -42 + a. Is (-2 - i) + -1 + -2 prime?
False
Suppose 0 = q + 6*q - 2079. Let v = 18 + 14. Suppose 5*h + v = q. Is h a composite number?
False
Let q be -3*5/((-30)/16). Suppose 3*v = 2*f + 4, 0*v - 2*v - q = -4*f. Suppose -j + 1685 = f*j. Is j a prime number?
True
Let f be 0 - (0 + 2)*(-4)/8. Is (-24090)/(-8) - f/4 composite?
False
Let d(b) = 54*b + 6. Let k be d(4). Let y be 153 + (4 - 2) + -2. Let p = k - y. Is p a composite number?
True
Let n(p) = 1133*p - 210. Is n(13) a prime number?
True
Let l = 25 + 12. Let t = 13 - l. Is (t/36)/((-1)/21) composite?
True
Let v(l) = l + 106. Is v(-13) a composite number?
True
Suppose 0 = -2*u - 4*r + 892, -r + 1338 = 4*u - u. Is u a prime number?
False
Let j be 2 - (3 + 0 - 0). Let v(w) = 26*w**2 - 3*w - 2. Let q be v(j). Let o = q + 136. Is o a composite number?
False
Suppose -52*h + 47*h + 75 = 0. Let f(p) = -p + 17. Let w be f(h). Suppose -w*r - 2*t + 108 = 0, t - 159 = -4*r + 42. Is r a composite number?
True
Suppose k - 48189 = 7892. Is k prime?
True
Suppose -d - 15 = -4*d. Let l be d + 2 + -4 - -156. Is (-2 - -3)/(3/l) prime?
True
Let u be 83/(-9) - 6/(-27). Is (-315)/(-6) + u/6 composite?
True
Let i(a) = -6*a - 4 + 9*a**2 - 4 + 3 + 3*a**2. Is i(5) composite?
True
Suppose -4*t - 5*l + 30 = 3, -2*t + l + 3 = 0. Suppose -9*j + 8*j = -t. Is 4 + (1812/j)/4 a composite number?
True
Suppose k = -3*a + 19 + 37, 4*k - 216 = -4*a. Let l = 175 - k. Let v = l + -85. Is v prime?
True
Let f(b) = 23*b**3 + 6*b - 126. Is f(8) composite?
True
Let d be 4 + (3 - 4) + -3. Suppose 0 = n + 4*l - 54, 2*n + 2*l - 84 = -d*l. Suppose m = 3*m - n. Is m composite?
False
Is (-15 - 315/(-15)) + 1075*5 a prime number?
True
Let k(w) = 7*w**2 - 6*w. Let l(o) = 20*o**2 - 17*o. Let x(p) = -17*k(p) + 6*l(p). Let u be x(1). Let z(f) = 25*f**3 + f. Is z(u) composite?
True
Let v = -28 - -60. Let j = 34 - v. Suppose 5*a - 2*w - 382 = w, 5*a - j*w - 383 = 0. Is a composite?
True
Let o = -5132 + 14781. Is o a composite number?
False
Let q(b) = -2*b - 1. Suppose -8 = 5*x + 2. Let m be q(x). Suppose -3*z = -2*g - z + 510, 4*g = -m*z + 1048. Is g a composite number?
True
Suppose 0 = -5*m - 3*r + 1910 + 10620, -2528 = -m - 5*r. Is m prime?
True
Let j = 5053 - 3460. Suppose 0*k - 3*k = 4*z - 1171, 0 = -4*k + z + j. Suppose -3*i - c + 389 = 0, -2*c = -3*i - c + k. Is i composite?
False
Let i be -1*((2 - 2) + -1). Let f(r) = 5*r**2 - 12*r. Let k be f(4). Let y = k - i. Is y a composite number?
False
Let r(v) = 2*v**2 - 1. Let j be (-13)/(-2)*(-11 - -13). Suppose -5*l = u + 9, 6*l = 4*u + 3*l + j. Is r(u) a composite number?
False
Let c(m) = 908*m**3 - m**2 - 2*m + 2. Let j(h) = h**3 - 4*h**2 + 1. Let d be j(4). Is c(d) composite?
False
Let q = 12 - 9. Suppose q*g + 362 = 3*c + 116, 3*g = -4*c + 300. Suppose 52 = 2*n - c. Is n composite?
True
Is 3 + -10 - (-26624)/16 prime?
True
Let d = 56 - 29. Suppose -d = -w - 3*c, 4*w - 8*w - c = -141. Suppose -39*x + w*x = -561. Is x composite?
True
Let m(s) = 0 - 3*s - 4 + 7*s**2 + 8*s**2. Let x be (-1)/((-2)/6*1). Is m(x) composite?
True
Let l be 15/(-21) + 4/(-14). Is ((-57)/12)/(l/28) prime?
False
Suppose -3*s - 11654 = 27*k - 28*k, 5*k + 3*s = 58288. Is k prime?
True
Let w = -14097 - -25226. Is w a composite number?
True
Suppose 5*i + 636 = 4*r - 2005, 3275 = 5*r - i. Suppose 3*u - 6*u = 4*p - 1918, -5*p = u - r. Suppose -2*k = -0*k - u. Is k a prime number?
True
Suppose 28 = -5*k + k + 4*u, 0 = 3*k + u + 41. Let c = -10 - k. Suppose -3*s = -c*s - 79. Is s prime?
True
Let m(t) = 18*t**2 + 2*t - 2. Let f be -3*2*(5 + (-33)/6). Is m(f) a prime number?
False
Suppose 4*s = -8, -21 = -5*b + 2*s - 4*s. Suppose -2*n + b*a = -7501, 0*a - 3 = a. Is n prime?
False
Let d be (19400/30)/((8/(-42))/(-2)). Let o = d + -3413. Is o prime?
False
Let k(s) = s**2 - 4*s. Let d be k(5). Suppose 5*i - 260 = q, -4*q - 156 = -5*i + 2*i. Suppose w + i = d*w. Is w prime?
True
Is (2 - 3)/(-9) + 47572/18 a composite number?
True
Suppose -2*k - 2*j + 39134 = 0, -3*k + 5*j = 4*j - 58717. Is k a prime number?
True
Let b = -18 + 36. Suppose 0 = 5*l - 433 + b. Suppose -3*j - 427 = -5*d - 7*j, d - l = -2*j. Is d a composite number?
True
Let i be (-9829)/(-1) + (3 + -3)/(-1). Suppose -2*r - 13076 = 2*p - 6*p, 4*r = -3*p + i. Is p composite?
False
Is (-8 - -5)/(-