 5*f - t. Is y a composite number?
False
Suppose -2*v = -0*x - 4*x - 20, -3*v + 6 = 2*x. Let h be ((-10)/v)/((-4)/8). Let o(g) = 32*g + 3. Is o(h) a prime number?
True
Let m = -48 + 80. Suppose -n + 189 - m = 0. Is n a prime number?
True
Let u = 707 + 192. Is u prime?
False
Suppose 2*g + 14 = 4*g. Let q = 7 - g. Suppose q = 3*x - 246 + 9. Is x composite?
False
Is (-17 - 900/(-54))/(2/(-31338)) a composite number?
True
Suppose 13 = -4*v + 457. Suppose -u + 283 = -2*x, -u - 5*x + v + 207 = 0. Is u a prime number?
True
Is (-24)/132 + (-41826)/(-22) prime?
True
Suppose -w = 3*m - 14, m - 7 = -3*w + 11. Suppose -m*l + 2*b + 2 = -0, -2*b = -4. Suppose -4*i + l*r - 3502 = -8*i, r = -5*i + 4382. Is i a composite number?
False
Let d = 386 - 223. Let m = d - 36. Is m prime?
True
Let d be 1/(-5) - 22712/(-85). Suppose -4*j = -j - d. Is j composite?
False
Let j(h) = -h**3 + 5*h**2 - 2*h - 10. Let l be j(-8). Suppose 0 = 5*m - 5*o + 253 - 1323, -2*o = 4*m - l. Is m a prime number?
True
Let q(r) = r**3 - r**2 + 2785. Let s(y) = -y**3 + 10*y**2 + y - 10. Let d be s(10). Is q(d) a composite number?
True
Let y = 40 + -37. Suppose 0 = -4*c + 4*r + 260, -y*r + 263 = 3*c + 56. Is c composite?
False
Let q = 54841 - 28658. Is q a composite number?
False
Suppose 2*c = -5*g + 16 - 49, 22 = -3*c - 2*g. Is (-12798)/c - 2/4 a prime number?
False
Let u(i) = i. Let j = 12 + -7. Let n be u(j). Suppose -n*o + 1228 = -o. Is o prime?
True
Let f(n) = -n**2 - 9*n + 24. Let c be f(-11). Suppose -c*p = -6*p + 20. Suppose 522 = p*v + v. Is v a prime number?
False
Suppose -8 = b + 5. Let a(f) = -f**3 - 9*f**2 + 28*f - 19. Is a(b) prime?
True
Suppose 9127 = 12*r - 11*r. Is r a composite number?
False
Let x(u) = -9419*u**3 - 3*u - 2. Let i be x(-1). Is (i/40)/(1/2) a prime number?
False
Is (2 - 14/6)/(25/(-100275)) a composite number?
True
Let y = -5 + 7. Suppose -10*f + 26 = 3*f. Suppose 4*n - 1898 = -n + t, -f*n - y*t = -752. Is n a composite number?
False
Suppose -20916 = -5*p - n, -21*n + 8364 = 2*p - 23*n. Is p a composite number?
True
Let p(v) = -v**2 - 6*v + 11. Let f be p(-7). Suppose -8*c + 5*c + 5205 = -3*q, f*c - 3*q = 6938. Is c composite?
False
Let i = -47 - -50. Is (16/5 - -1)/(i/15) prime?
False
Let g be 32/(-6)*963/(-12). Suppose 5*x = x + g. Let n = -70 + x. Is n a composite number?
False
Let b = -2954 + 1558. Let f = b + 2861. Is f a composite number?
True
Let i = 6534 - 3157. Is i composite?
True
Suppose 2*o - 22*d - 32434 = -19*d, -2*o + 32434 = -4*d. Is o a composite number?
False
Suppose 0 = -2*h - 2*w, -5*h - w = -9 - 7. Suppose 0 = 2*i - h*i + 290. Is i prime?
False
Suppose -u = -5*a + 7700 + 11539, 5*u - 3827 = -a. Is a prime?
True
Suppose j = -3*k + 455 + 725, -5*k = 25. Is j a composite number?
True
Let m(u) = u**2 + u - 19. Let l(a) = a**2 - 8*a - 4. Let g be l(7). Is m(g) a composite number?
True
Let n(v) = v - 18. Let b be n(6). Let y = 97 - b. Is y composite?
False
Let o be (-5)/(-1)*(-1 - -2). Suppose 7*q - 3*q + 2*y = 646, -q + o*y = -156. Is q a composite number?
True
Let n(s) = -277*s + 6. Let c be n(2). Let m = 1101 - c. Is m a prime number?
False
Let f = -490 - -987. Is f a prime number?
False
Let p = -6280 - -24321. Is p a composite number?
False
Suppose -2*y - 3*y = -w + 2266, 5*y - 8989 = -4*w. Is w a prime number?
True
Let t(v) = -2 + 0 - 2*v**2 + 1 + 5*v**2 - 15*v. Let o be 24/(-56) - (-134)/(-14). Is t(o) prime?
True
Suppose 0 = 18*q - 15*q - 7509. Is q a prime number?
True
Let y be 9/15 - (-37176)/40. Let n = y + -109. Is n composite?
False
Suppose 0 = j - 486 - 991. Suppose -30*s - j = -37*s. Is s a prime number?
True
Let l(q) = q**2 - 5*q - 17. Let o be (-4)/(-3 - 1)*7. Let k be l(o). Is (-2)/(k - (-3580)/1196) composite?
True
Let u = -504 - 2633. Let a = -1738 - u. Is a composite?
False
Suppose 6*w + 285 = w. Let l = w + 28. Let k = 147 + l. Is k composite?
True
Suppose 0 = 19*q - 188841 + 34542. Is q a composite number?
True
Let n(s) = -18 - 5*s**2 + 4*s**2 + 3 + 11*s + 4*s**2. Is n(6) a composite number?
True
Suppose 5*g = 2*p + 7, 2*g - 4*g + 4*p - 10 = 0. Suppose 0*m = g*m - 3*f - 2475, -m + 5*f = -821. Suppose 5*i - m = 1969. Is i a prime number?
False
Let h = 12 + 3. Let r(t) = 8*t + 22. Is r(h) a prime number?
False
Let c(n) = n**3 - 3*n**2 + 2*n - 9. Let l be c(4). Suppose -l = 3*q, -13 = -3*z + 4*q + 13. Suppose -z = -i, 0 = 4*k - 4*i - 27 - 313. Is k prime?
False
Suppose 0 = -5*z - 2*x - x + 3, 0 = -5*z + x - 1. Suppose -4*g + 843 - 111 = z. Suppose 2*y - 295 = g. Is y prime?
True
Is ((-6597)/(-12))/(24/352) composite?
True
Let z be (-8 + 6)/(2/(-2427)). Suppose 69*s - 66*s = z. Is s prime?
True
Suppose 4*w - 15 = 3*u, 2*w + 5*u - 3 = 4*w. Suppose w*h - 318 = -0*h. Is h prime?
True
Let w(v) = -183*v**3 - 16*v**2 - 4*v - 5. Is w(-4) a composite number?
False
Suppose -3071 - 3739 = -3*o + 3*d, -4*d = 5*o - 11323. Is o composite?
False
Suppose -19 = -3*n + 185. Let z = -186 - -449. Let d = n + z. Is d composite?
False
Let z = -6799 + 54696. Is z a composite number?
True
Let f(d) = 50*d**2 - 3*d - 22. Is f(7) a prime number?
False
Suppose -7*z = -10*z - 24. Let r(x) = x**3 + 12*x**2 - 9*x + 11. Is r(z) prime?
False
Let u = 1944 + -1031. Is u a prime number?
False
Let l = -471 + 256. Let o(i) = -70*i**3 - 2*i**2 + i + 2. Let s be o(-2). Let n = l + s. Is n a prime number?
True
Is ((-2)/6)/(2/(-26478)) + 4 a prime number?
False
Let j(f) = -f**3 + 9*f**2 + 9*f + 13. Let d be j(10). Let p(i) = -12*i**3 + 2*i**2 + 2*i + 4. Let b be p(d). Let g = -147 - b. Is g prime?
True
Let h be (22 + -21)*(-1 - -3). Let b be h + (-1)/((-4)/148). Let q = b + 44. Is q a prime number?
True
Let l be (18 + -3)*(-2)/(-6). Let d(o) be the first derivative of 5*o**2 - 12*o + 10. Is d(l) composite?
True
Suppose -2*l - 83 = 3*y, -45 = 2*y - y + 5*l. Suppose -47156 = 4*k - 2*i, i = 4*k + 23397 + 23761. Is 6/(-10) + k/y prime?
False
Let d(i) = 2*i + 11. Let a(m) = -m**3 - 18*m**2 + m + 13. Let o be a(-18). Let h be d(o). Let b(v) = 212*v**3 + 1. Is b(h) prime?
False
Let v be 3/4 + 52/16. Suppose 0 = -v*r + 970 + 66. Is r a composite number?
True
Let w = 7 - -3. Let s(o) = o**2 - 2 + 0*o**2 + 11*o**2 - 14*o - o**3. Is s(w) prime?
False
Let j(b) = 2*b + 12. Let h be j(-7). Let i be (4409 - (h - -5))*1. Suppose 0*t - 2*t + i = 0. Is t a composite number?
False
Let h(f) = f**2 + 25*f - 42. Let x be h(-19). Let b = 151 - x. Is b prime?
True
Let v be (-27)/(-63) + 13612/7. Suppose -4*s - g = -3881, 5*g = 2*s + 4*g - v. Is s composite?
False
Suppose -2*x - r + 4 = 0, -3*x + 3*r + 8 = x. Suppose 3*g - 14 = 4*k, -k - 5*g = x*k - 4. Is (k/5)/((-24)/9420) a composite number?
False
Suppose -5*m - 2370 = -a - 16919, 2*m - 5830 = 3*a. Is m prime?
True
Let z = 55 - 49. Suppose 0 = 4*q + z*q - 20950. Is q prime?
False
Let q(b) = -b**3 + 3*b**2 + b - 3. Let v be q(2). Suppose v*s - 897 = 5*z - 345, -731 = -4*s + 5*z. Is s composite?
False
Let t be 4*1/2 - -1. Let x be t*(10/(-6) - -1). Is ((-395)/x + 1)*2 prime?
True
Is 3788 - (-3 + 5) - -1 a composite number?
True
Let o be (-14 + 18 - (-7)/(-2))*0. Suppose o*q = 5*q - 170. Is q prime?
False
Suppose 0 = -t - 10 + 14. Suppose r = -2*o + 321, -r - t*o + 25 = -286. Is r composite?
False
Suppose -a - 2*a + 12 = 3*v, 5*v - 28 = -a. Suppose i = v*i - 605. Suppose 2*b + 4*l - 209 = l, -b = -4*l - i. Is b a composite number?
False
Let i = 7134 - 4367. Is i prime?
True
Let w(t) = 20*t**2 - 13*t + 88. Is w(13) a prime number?
True
Let p = -5 + 8. Suppose v - 2*g + 4*g - 1265 = 0, p*g = 3. Is v composite?
True
Let u(w) = 13*w**2 + 22*w - 56. Is u(3) prime?
True
Let z be (-2)/15 + 101728/(-240). Let a = 463 - z. Is a a composite number?
False
Let z(p) be the second derivative of p**3/3 - 3*p**2/2 - 11*p. Let y be z(3). Suppose -15 = -5*m, 420 = y*r + m - 0*m. Is r prime?
True
Suppose 2225 + 993 = -2*m. Let a = m - -3000. Is a prime?
False
Let u(f) = 59*f**2 + 8*f + 36. Is u(7) a composite number?
True
Let x(j) = j**3 - j**2 - j + 121. Let s be x(0). Let i = s - -67. Suppose 5*q = b + 447, 3*b = 3*q - 85 - i. Is q composite?
False
Suppose -505 + 3059 = w. Suppose 3*n - 422 = w. Suppose 63 + n = 5*d. Is d a prime number?
True
Suppose 0 = 47*z - 1564922 - 397751. Is z a composite number?
False
Let n = 2572 - 369. Is n prime?
True
Let u(t)