 4*w, 2*w - 1156 = 2*z. Is w composite?
True
Suppose 312 + 201 = 3*z. Suppose -q + 4*a + z = 0, -q + 4*q + 3*a - 573 = 0. Suppose 3*r + q = 4*r. Is r composite?
True
Let k(u) = -906*u - 1. Let l be k(-1). Suppose 2*f = -f - 2*s + 545, 0 = 5*f + 4*s - l. Is f a prime number?
False
Let w(t) = 2*t**2 - 11*t + 17. Let b be w(6). Suppose -4*p + 5*p + 2 = 0. Is b + (-3)/(3/p) composite?
True
Suppose o - 4918 = -o. Is o composite?
False
Let v = -238 - -449. Is v a composite number?
False
Suppose 0 = t - 2*p - 577, -5*t - 3*p + 2925 = -5*p. Is t a prime number?
True
Let h(n) = -n**3 + 5*n**2 + 8*n + 1. Suppose -3*y + 18 = -3*w - 54, 0 = 4*y + w - 86. Suppose 0 = -5*a + 10, -3*i = i - a - y. Is h(i) a composite number?
False
Let d(c) = 6*c - 36. Let w(x) = -x + 7. Let h(t) = -4*d(t) - 21*w(t). Let k be h(-2). Suppose 357 = k*l + 150. Is l a prime number?
False
Suppose 4 = -2*w - 5*k + 2*k, -5*k - 8 = 2*w. Let x = w - 3. Is x/4 - (-75)/2 composite?
False
Let q = 593 + -342. Is q prime?
True
Let r(c) = 3*c**3 + c**2 - 4*c + 5. Let d be r(5). Suppose 3*a - d = -5*f, -4*a - 4*f + f = -517. Suppose 6*i - a = i. Is i composite?
True
Suppose 2*d = -t + 820, -2*t + 3*d = -5*t + 2451. Suppose t = 3*p + 325. Is p composite?
False
Let v = -310 + 214. Let y = v + 41. Let u = y + 92. Is u prime?
True
Let u(j) = j**3 + j**3 + 4*j**3 - 2*j - 2*j**2 + 1. Is u(2) a composite number?
False
Let q(o) be the first derivative of -37*o**2/2 - 4*o + 3. Let n be q(-6). Suppose 4*h = 2*h + n. Is h prime?
True
Let x = 0 - -2. Suppose -32 = x*k - 98. Is k composite?
True
Suppose -608 + 245 = -3*c. Is c a prime number?
False
Suppose 0 = -4*g - 20, 0 = -3*m + m - 3*g - 7. Is (1/(-1))/(m/(-852)) a prime number?
False
Let z(d) be the first derivative of -d**3/3 - 9*d**2/2 - 8*d - 1. Let c be z(-8). Suppose c = 5*l + 3*n - 460, 68 + 17 = l + 2*n. Is l a composite number?
True
Let x = -415 + 804. Is x a composite number?
False
Suppose 3*y = 5*w + 4*y - 61, -4*w - 5*y = -53. Suppose 17 = -2*o + 5*i, w = -o + 4*i - 4. Is (158/o)/((-5)/(-10)) a composite number?
False
Let s(n) = 2*n + 8. Let q be s(-6). Let m(i) = -i + 1. Let u be m(q). Suppose -x + u*g + 21 = 0, 8 = 2*x - g - 7. Is x prime?
False
Let v = 9 - 5. Suppose 2*n + 4 = 0, -v*n + 49 = g + n. Is g a composite number?
False
Let a = -4 + 2. Let z = -1 - a. Is -2*z*106/(-4) a composite number?
False
Let d(f) = 26*f**3 - 4 + 5 - 2*f**2 + 0. Is d(1) composite?
True
Let q be (-2)/5 + 22/5. Suppose 0 = q*d - a + 2*a - 99, 72 = 3*d + 3*a. Is d a prime number?
False
Let s(h) be the first derivative of -h**3/3 - 7*h**2/2 - 3*h - 2. Is s(-5) prime?
True
Suppose 97 = 2*y - 793. Is y a composite number?
True
Suppose 0 = 2*j + 65 - 165. Suppose -j - 34 = -4*r. Is r a prime number?
False
Let f be (-7)/(-5) + (-4)/10. Suppose -h - 3*q = -32, -7*q = -4*h - 4*q + 128. Let o = h - f. Is o a composite number?
False
Let l(k) be the third derivative of k**5/60 + k**4/3 + 7*k**3/6 - 2*k**2. Let p be l(-7). Is 510/(-24)*(-4 - p) composite?
True
Let g = 1 + -1. Suppose g = -a - 2. Let j(t) = -20*t - 3. Is j(a) prime?
True
Is 2/(2*3/291) a composite number?
False
Let x(w) = 7*w**3 + 2*w**2 + w. Let i be x(-1). Let c be 3*2 - (i + 6). Is 2/(-6) - (-392)/c a composite number?
True
Suppose -5*z + 3317 + 6168 = -4*j, 3*z = -j + 5691. Is z composite?
True
Let h(f) = 83*f. Is h(1) composite?
False
Suppose 2*z = -0*z + 16. Suppose 0 = 2*i - z, -5*i + 302 = 3*d - 207. Is d prime?
True
Is ((-145)/3)/(1/(-3)) composite?
True
Let q(d) = d**2 + d + 1. Let w(h) = -h**2 - 2*h + 2. Let k(i) = -2*q(i) - w(i). Let g be k(5). Let m = g + 52. Is m a composite number?
False
Suppose -q - 8 = -3*u - 0*u, -2*q = 4*u - 4. Suppose -r - 3*r = -4*l + 540, u*r = 4*l - 534. Suppose 4*z - 2*z + 2*w - l = 0, -200 = -3*z - 5*w. Is z composite?
True
Let m = -5 - -7. Let r(u) = u + u**3 - 2*u + 3*u**m + 5*u**2 + 3*u - 5. Is r(-6) a composite number?
True
Let r = 5 - 1. Let p be 3*r/6 - 0. Suppose 0*q = -p*q + 290. Is q prime?
False
Let n = 6 + -3. Suppose x - 9 + 5 = 0. Suppose -n*y - 2*y + 817 = x*u, 3*y + 4*u = 495. Is y prime?
False
Suppose 5*p - 1000 = -0*d - 3*d, 0 = 4*p - 3*d - 827. Is p a composite number?
True
Let v(p) = 5*p**3 - 7*p**2 + 9*p. Let x(g) = -4*g**3 + 6*g**2 - 8*g - 1. Let t(h) = -5*v(h) - 6*x(h). Is t(-5) composite?
True
Let t be 6 + 2*-1*1. Suppose 0 = -3*u - 0*u - 6, t*f = 3*u + 170. Suppose -4*l - 13 + f = 0. Is l a composite number?
False
Suppose -3*x = x - 4*n + 48, -n - 15 = 2*x. Is -3*(102/x)/1 composite?
True
Let i(f) be the second derivative of -f**4/12 + 5*f**3/3 - 3*f**2 - 2*f. Let x be (-148)/(-18) - (-4)/(-18). Is i(x) prime?
False
Let l(p) = -p**2 - p - 8. Let o be l(0). Let s be o/3*9/(-6). Suppose 5*v = s*f - 514, 3*f - 363 - 40 = -5*v. Is f prime?
True
Let w = 4 - 2. Let j be (w - 3) + 0 + -20. Is (-1863)/j - (-4)/14 a prime number?
True
Suppose 0*m - m = -3*r + 91, 444 = -5*m + 4*r. Let v = -3 - m. Is v prime?
False
Suppose -d = 4*d - 1345. Is d prime?
True
Suppose 6*l - 6144 = 2310. Is l a prime number?
True
Let m be 1/(1/4 + 0). Suppose -5*g = 3*w - 118, 2*g - 114 - 34 = -m*w. Suppose -2*l + w = 8. Is l prime?
False
Let c(i) = i**3 - 2*i**2 - 6*i + 4. Let t be c(4). Let g(f) = -f. Let b be g(3). Is (-1)/b + 68/t composite?
True
Is 0 + 993/(-9)*-3 a prime number?
True
Let t be 14/10 + 6/(-15). Let i be t*3/9*0. Is 0 + 54 + (1 - i) composite?
True
Suppose g + g - 298 = 0. Suppose g = -0*n + n. Is n prime?
True
Let r(s) = 3*s**2 + 2*s + 1. Let q be r(-1). Let i be (1 - (-24)/q) + -1. Suppose -9 - i = -d. Is d a composite number?
True
Is 304/12 - (2 - (-24)/(-9)) a prime number?
False
Let y(p) = 19*p - 6. Is y(5) a prime number?
True
Let f be 1*-2545*(-4)/(-10). Let x = 1437 + f. Is x a composite number?
False
Suppose -474 = -5*m + 56. Is m a prime number?
False
Let p(d) = 4*d**2 - 2*d + 1. Let s be p(-2). Suppose 3*b - 2*j + s = 3*j, 0 = 2*b + 2*j - 2. Let c(t) = -8*t - 3. Is c(b) composite?
False
Suppose 4*p + p - 35 = 0. Suppose -l = -4*y - 1201, 2*y = p*y + 20. Is 4/6*l/10 prime?
True
Let q be 2/(-4 - 9/(-2)). Suppose -2*n + 7*n + 15 = -h, -12 = -h + 4*n. Suppose -q*k + 12 + 44 = h. Is k prime?
False
Let c(v) = -v**3 - 11*v**2 - 9*v + 17. Let i = 2 - 14. Is c(i) a composite number?
False
Let c = 4 - 1. Suppose t + 0*t = 5*d + 23, c*t - d = -1. Is 39 + t + 2 + -4 a composite number?
True
Let c(w) = w**3 - 9*w**2 - 2*w + 6. Let v be c(9). Let f(u) = u**2 - 4*u + 11. Is f(v) prime?
False
Let s be (0 + -1)/2*6. Let m be (15/2)/(s/(-66)). Suppose m = 3*i - 0*i. Is i prime?
False
Suppose -2*s - 12 = -4*j, 5*j - j - 16 = s. Let i(o) = o - o + o - s + 15. Is i(0) prime?
True
Let q = -2 + 24. Suppose -25 = 7*b + 80. Let c = q + b. Is c a prime number?
True
Let v(r) = -5*r**3 - 4*r - 2. Is v(-3) a composite number?
True
Is (-262)/(-6)*(7 + -4) composite?
False
Let a = 16 - -61. Is a a composite number?
True
Let g(z) = -3*z**3 - 27*z**2 + 16*z + 11. Is g(-12) a composite number?
True
Suppose 3*h - 1790 - 4264 = 0. Is h prime?
False
Is (10353/(-18) - 1)*-6 prime?
True
Let k(n) = -4*n + n**3 + 4*n**2 + 0*n**3 + 4*n - 1. Let l be k(-4). Is l - (-186)/3 - 2 a composite number?
False
Suppose -3*n + 3*c - 3768 = -6*n, 5*c - 5 = 0. Is n a prime number?
False
Suppose -5*d + 20 + 5 = 0. Suppose 0 = -8*q + d*q + 66. Is (-1)/(-2 + 42/q) a prime number?
True
Is 2/11 - (-1512)/33 prime?
False
Let v(q) = 163*q - 19. Is v(6) a composite number?
True
Let d(l) = l**3 - 3*l**2 + 2*l. Let k be d(2). Suppose 0 = -5*c - k*n - 3*n + 796, 4*c = -n + 641. Is c composite?
True
Let f = 2552 - 1385. Is f composite?
True
Suppose -4*l + 226 + 1002 = 0. Is l a prime number?
True
Let p(f) = -17*f - 3. Let d be p(-4). Let y = d - -62. Is y prime?
True
Let s(c) = 21*c - 7. Suppose 4*i + 3*n - 7 = 3*i, -4*i - 2*n = -18. Is s(i) prime?
False
Suppose 0 = 3*b + 2*u - 7*u + 89, -2*b - 81 = u. Let l = 91 + b. Is l a prime number?
True
Let c be 5/25 + (-1)/5. Suppose c = 4*g - 24 - 32. Is g a composite number?
True
Let a = 6 + 4. Suppose 2*q - a = -0*q. Suppose -q*l = -121 - 9. Is l a prime number?
False
Let p(l) = 13*l + 2. Let y be p(2). Let c = 39 - y. Is c prime?
True
Suppose -4*d + 2205 - 41 = 0. Is d a prime number?
True
Suppose 2*j = 6*j. Suppose -2*a - 5*z = -5*a + 118, z - 4 = j. Let