ime?
True
Suppose i + 2*s - 223 = 475, 3*i = -3*s + 2088. Is i a composite number?
True
Let j = 238 - 237. Let q(k) = k**3 - 9*k**2 + 10*k - 9. Let b be q(8). Is (-131*j)/(b + -8) a prime number?
True
Suppose g + 3*g - 2*a - 6 = 0, -g = -4*a - 5. Let n be g/2*(-3 - -11). Suppose -n*o - 291 + 783 = 0. Is o prime?
False
Let p(s) = 3*s - 2*s + 4*s**2 + 5 + 5*s. Suppose 3*j + 26 = 2*q, 0*j - 3*q = -3*j - 30. Is p(j) a prime number?
True
Let m = -30 + 32. Suppose 2*g - 307 - 574 = -3*f, m*f - 598 = 4*g. Is f prime?
False
Let k = -14 - -120. Is k a prime number?
False
Let k = 1 + 1. Suppose 0 = k*x - 4*x + 2*n - 12, 5*n = -x - 30. Is (-671)/(-5) - (-2)/x a prime number?
False
Let f(d) = d**2 + d + 4. Let b be f(-3). Suppose 4*t = 5*n - 20, 3*n + 2*t = -0*t - b. Suppose 354 = -n*o + 6*o. Is o prime?
True
Let s(w) = w**2 + 16*w + 20. Let g be s(-15). Is (-1 - -93) + (8/4 - g) composite?
False
Let p(q) = q - 23. Let b be p(26). Suppose 0 = -5*m + o - b*o + 4931, 0 = -4*m + 5*o + 3925. Is m prime?
False
Let n = 11180 + -811. Is n a composite number?
False
Let i(l) = 8*l**2 - 13*l - 29. Suppose 0 = 4*t + 7 + 25. Is i(t) composite?
False
Suppose 2*g + 11*g = -104. Is (-14)/g - 2 - 46542/(-24) a composite number?
True
Let s(j) be the second derivative of 49*j**6/720 + j**5/60 + j**4/4 - 4*j. Let o(q) be the third derivative of s(q). Is o(3) prime?
True
Let y(i) = 37*i**2 + 25*i - 31. Is y(13) a prime number?
True
Suppose 300839 = 41*x - 30*x. Is x composite?
True
Suppose -8*a + 78002 + 259670 = 0. Is a prime?
True
Let l(s) = -9*s - 11 - 3*s**2 + 5 - 13 - 2*s**3. Is l(-7) a prime number?
False
Let h(a) = -910*a - 11. Let i(d) = -909*d - 12. Let z(l) = 5*h(l) - 4*i(l). Is z(-1) composite?
False
Let q(h) = h**3 + h**2 - 8*h + 1. Let f be q(6). Suppose 5*u - f = 120. Is u a composite number?
True
Suppose -369 = -3*w + 171. Suppose -5*i + 3 = 4*u, -22 = -5*u + 2*i + 23. Let d = u + w. Is d a composite number?
True
Suppose 8*d = 6*d - 4. Is ((-26)/78)/(d/10398) composite?
False
Suppose -5*c = -0*c + 3*d - 60709, -60717 = -5*c + d. Suppose 12002 + c = 5*h. Is h composite?
True
Let w(u) = 24*u + 13. Let p = -17 - -25. Is w(p) a composite number?
True
Suppose 0 = -0*w + 26*w - 192322. Is w a prime number?
False
Let x = -2274 - -5429. Is x a composite number?
True
Let f = -2443 - -13372. Is f composite?
True
Let r(w) = -w**2 + 5*w - 6. Let l be 1 + 4 + 0 + -1. Let c be r(l). Is 0 + (-37)/(1 + c) a prime number?
True
Let y(t) = -9*t + 749*t**2 + 5 - 2 + 6*t. Is y(1) a prime number?
False
Let m = 1287 + -825. Suppose m = -b - b. Let d = 374 + b. Is d prime?
False
Suppose -1151 = 16*l - 17*l. Is l prime?
True
Suppose 11 = 3*v - 37. Let y = v - 16. Is (22/(-4) - y)*-34 composite?
True
Let s(d) = -d**3 + 28*d**2 - d - 24. Let t be s(29). Let x = 1267 + t. Is x prime?
True
Let a(u) = u - 12. Let j be a(16). Let x be j - 1 - 10/(-10). Suppose 6*v - 4*k = 3*v + 1457, x*k + 978 = 2*v. Is v a prime number?
True
Let x = 118 - 70. Let h = -219 + 394. Let a = h - x. Is a a prime number?
True
Suppose 214 + 246 = -10*b. Let l = b + 53. Is l a prime number?
True
Is 16/(-36) - (6 + 71702/(-18)) prime?
False
Let y(n) = -n**3 + 9*n**2 - 5*n - 9. Let h(p) = -p**2 - 10*p - 1. Suppose -5*t + 0*t - 45 = 0. Let b be h(t). Is y(b) a composite number?
True
Let w(t) be the third derivative of 67*t**4/24 + 4*t**3/3 + 2*t**2. Let d be w(11). Suppose 9*q - 4*q = d. Is q a prime number?
True
Suppose -325460 = -170*x + 150*x. Is x prime?
True
Let h be 1/(0 - 4/(-284)). Let g(t) = -5 - h*t - 14*t + 11 + 5. Is g(-6) prime?
True
Suppose 30*q = 11*q + 4541. Is q composite?
False
Let f(t) = 0 + 5*t - 2 + 15*t**2 + 51*t**2 - 1. Is f(4) prime?
False
Suppose 1249 = 2*h - 2923. Is (5/(-5 + 0))/((-2)/h) composite?
True
Let q(c) = 33*c**2 + 86*c + 52. Is q(-25) prime?
False
Let w(l) = -l**2 - 10*l - 9. Let p be w(-9). Suppose p = -5*i - 4*a - 1, 3*i - 5*a + 0 = 29. Suppose 0 = 2*r - i*r - 5*u + 253, 3*r = 3*u + 759. Is r prime?
False
Suppose g - 36 + 33 = 0. Suppose 0 = -4*c + 2*j + j + 1015, 0 = -g*c - 2*j + 757. Is c a prime number?
False
Suppose 1175296 = 25*x - 386179. Is x composite?
False
Let a(l) = 11*l - 11. Suppose -5*u - 4*p + 41 = 0, -4*u + 52 - 12 = 5*p. Suppose j - 13 = -u. Is a(j) composite?
True
Let r(i) = -1 + 0 + 0*i + 0*i - 211*i**3 - i. Let h be r(-1). Suppose 0 = 2*w - w - h. Is w a prime number?
True
Let b be (2095 - 1 - -1) + (3 - -1). Suppose -6*s + 175 = -b. Is s composite?
False
Let g = 11286 - 7949. Is g composite?
True
Let y(x) = -11*x - 13 + 28*x**2 - 3*x**2 + 50 - 3*x. Is y(6) composite?
False
Let u = 120 + -121. Is u/4*((-30)/(-5) - 3634) a composite number?
False
Let s = -49 - -63. Is s prime?
False
Let p(q) = -12601*q - 26. Let y be p(4). Is 2/5 - y/50 prime?
True
Let g be 2/(-14) - (74512/(-14))/2. Let v = -1394 + g. Is v a composite number?
True
Suppose -3*l + 8210 = -g + 3*g, 0 = l. Is g a composite number?
True
Let g(w) = 8*w**2 - 2*w. Let k(t) = t - 1. Let n(p) = g(p) - 2*k(p). Let j be n(3). Suppose 4*s = -2*c + j, 0 = c - 4*s + s - 36. Is c a composite number?
True
Suppose 4*g + 923 + 202 = -w, 4*w - g = -4415. Let q = -4768 - -2776. Let y = w - q. Is y a prime number?
True
Let u(c) = 2*c**2 - 3*c + 1. Let f(y) = -3*y - 4*y + y + 4*y. Let h be f(-2). Is u(h) a composite number?
True
Suppose -224 = u - 5*u - 3*s, 5*s + 20 = 0. Let g(z) = -u + 122 + 94 - z. Is g(0) prime?
True
Suppose 2*j - 5*j + 3*h + 3 = 0, 5*h = -5. Suppose 1338 = 2*k + 5*u, -5*k + j*u = u - 3391. Is k prime?
False
Suppose 8*i + 21954 = 14*i. Is i prime?
True
Suppose 30 = 4*g - 10. Suppose -12 = -j + g. Is j prime?
False
Let q(m) = -m**3 - 5*m**2 + 14*m + 6. Let h be (6/4)/(9/(-60)). Let a be q(h). Let r = 543 - a. Is r composite?
True
Suppose -4*k = -12, -4*k - 1053607 = -5*g - 95964. Is g composite?
False
Let z(t) be the third derivative of -13*t**6/120 - t**5/30 + t**4/6 + 3*t**3/2 - 15*t**2. Is z(-4) composite?
True
Let p(q) = -1358*q - 171. Is p(-6) a prime number?
False
Let p(q) = q**3 + 5*q**2 - 14*q + 9. Let f be p(-7). Suppose 865 = f*d - 8*d. Is d a composite number?
True
Suppose 5*j - 3*v - 32327 = -7*v, j = -5*v + 6457. Is j composite?
True
Suppose -3*n + 8*f - 3*f = 0, n - 17 = -4*f. Suppose 4*k - 238 = -b - b, -543 = -n*b + 3*k. Is b composite?
True
Let q(f) = -f**2 + 10*f + 10. Let x be q(11). Let a = x + 3. Is (-2)/(-1) + 113 - a a prime number?
True
Let o(p) = 0 - 108*p - 19 - 12 - 12. Is o(-9) a composite number?
False
Let x(g) = g**3 + 15*g**2 + 7*g + 11. Let t be 68/(-12) + 2/(-6). Is x(t) a composite number?
False
Let f(n) = -n**2 - 5*n + 6. Let j be f(-6). Suppose j = -3*p - 10 + 4. Let q(i) = -5*i**3 - 2*i**2 + i + 1. Is q(p) prime?
True
Suppose -18*i = -14*i - 4*m - 33984, 4*i = -2*m + 33990. Is i prime?
False
Suppose -3*l - 2*a + 1157 = 0, 0 = 5*l + 5*a - 2*a - 1927. Let c = 598 - l. Is c prime?
False
Suppose -3*x + 15 = 3. Suppose -f + 2*b = -703, 4*f - 2808 = -0*f + x*b. Is f a composite number?
False
Let j = 155 - 150. Suppose -3*x = -k - 24 - 72, 0 = -x + j*k + 18. Is x prime?
False
Suppose 0 = 5*k - 5*b - 5, -3*k + 3 = -4*b + 4. Suppose -f + k*j = 7 + 5, f = j. Suppose f*o + o + 4*p = 4456, 3*o - 3360 = 3*p. Is o composite?
False
Suppose 0 = 3*b + b - c - 120, 0 = 5*c. Suppose -3*x = -5*d + 520, 79 + 471 = 5*d + 3*x. Let n = d - b. Is n prime?
False
Let g(v) = v**2 + 8*v - 21. Let j be g(-10). Let q be -623 - (j - 2 - -6). Let i = -112 - q. Is i a prime number?
False
Suppose y + s = -3 - 18, -3*s = 2*y + 47. Let i(d) = -d**3 + 8*d**2 - 6 + 25 + 10*d - 26*d - 25*d**2. Is i(y) a prime number?
True
Let s(m) = 77*m**2 + 22*m + 5. Let v be s(-9). Let x = v - 3439. Is x a prime number?
False
Suppose x - 6 = -0*x - 2*y, -2*y + 2 = 0. Suppose -8 = -r + 2. Suppose -r + 318 = x*p. Is p a composite number?
True
Suppose 7*z + 6*z - 1755 = 0. Suppose -z = 5*c - 2170. Is c composite?
True
Let z be (-24)/(-10)*-10*146/(-6). Suppose -z - 753 = -7*h. Is h a composite number?
False
Let g be ((-2)/4)/(12/(-26712)). Let s = g + -734. Is s a prime number?
True
Suppose 5*y = 3229 + 1581. Suppose y = -3*c + q, 0*q - 4*q = 4*c + 1288. Let o = c - -506. Is o composite?
True
Let a = 53 + 359. Suppose -4*d + 760 = 2*i, 5*d - a = -3*i + 539. Suppose -o = -4*b + 389, -4*b + d = 4*o - 195. Is b a 