 -c + 5*f + a = 0, 2*c + 3*f = -2*f + 143. Is c a prime number?
True
Suppose -4*d + 2*d = -3*l - 10, 0 = 5*l + d - 5. Suppose -n + 235 = -l*n. Let p = n + -108. Is p a prime number?
True
Suppose -w + 0*w + 3 = 0. Suppose x - 16 = -w*x. Suppose -5*j + 3*g + 177 = 0, 4*j - x*g - 181 = -j. Is j a composite number?
True
Let m = -138652 + 216765. Is m a composite number?
True
Let z(t) = -86*t + 2. Let d be (-2)/(2/(-3)) - (1 - -6). Is z(d) a prime number?
False
Is ((-337414)/(-63) - 9) + 4/18 composite?
False
Suppose -n = 2*n - 9. Suppose -n*d = -d - 1334. Is d prime?
False
Let k = -13 + 16. Suppose 0 = 3*q - n - 68, 4*q - k*n - 26 = 63. Suppose -q*m = -24*m + 199. Is m a prime number?
True
Let t be (((-48)/(-10))/(-6))/((-1)/5). Suppose t*z - 748 = 2*s - 6*s, 2*s - 386 = z. Is s prime?
True
Is 268/(-1206) + (36200/9)/1 a prime number?
False
Let d(u) = -2*u**2 - 6*u - u**2 + 7 + 12*u**2 - u**3. Suppose 0 = -12*t + 6*t + 36. Is d(t) a composite number?
False
Let i = 86 + -56. Let n = i + -53. Is (-4*n/2)/1 a prime number?
False
Let i(m) be the second derivative of -m**5/5 - m**4/12 - m**3/6 - m**2/2 + 5*m. Let x be i(-1). Is 11/(x - 38/13) composite?
True
Suppose 3*z - 2216 = 4*y, -z - 16 = 3*z. Let v = -373 - y. Let j = v + 21. Is j a prime number?
False
Suppose 9*p = 144899 + 225280. Is p prime?
True
Suppose -3*q - g + 0*g + 18007 = 0, 16 = 4*g. Is q a prime number?
False
Suppose 0 = -5*g + 3*b + 42896, -4*b = 5*g - b - 42914. Is g prime?
True
Suppose 4*p + 32 = -0*p. Let j(s) = s**3 + 12*s**2 + 9*s + 3. Is j(p) a composite number?
True
Is (-12)/15 - (-2824614)/130 composite?
False
Suppose 16 = -3*w + 2*b, -2*b - 10 = -5*w - 6*b. Is 204 - (w - 12/(-4)) a prime number?
False
Let y = 2882 - -1801. Let p = -3262 + y. Suppose -5*u = -p - 674. Is u a prime number?
True
Let d(g) be the second derivative of g**5/20 - 11*g**4/12 - 4*g**3/3 - 9*g**2/2 + 3*g. Let w be d(12). Let h = 40 + w. Is h prime?
True
Let c be ((-1)/(-6))/((-10)/(-20))*27. Is ((-66)/c)/((-2)/3)*191 a composite number?
True
Suppose 285 = m - 5*f, -18 = -2*m + f + 570. Is m prime?
False
Let x be 13/(2/(-2) + 2). Let n(j) = -j**2 + 6*j + 2. Let p be n(6). Suppose -p = -k + x. Is k prime?
False
Let g(s) be the second derivative of 17*s**3/3 + s**2/2 + 8*s. Is g(1) composite?
True
Suppose 5*z = 4856 + 639. Is z a prime number?
False
Suppose 0 = -2*t + t + 2. Let u be 6*-1*(-3 - (-25)/10). Suppose -5*j - 136 = -u*i, t*i - 2*j = -3*i + 195. Is i composite?
False
Let r be -1 + (-5 - -3)*-2. Is r - (-11)/(55/650) a composite number?
True
Let l(q) be the third derivative of -q**4/12 + 3*q**3 - 5*q**2. Let a be l(9). Suppose -10*h + 2*h + 1528 = a. Is h prime?
True
Let j = 78 + -73. Suppose 3*d - 3626 = -j*g, -2233 = -4*d + 3*g + 2650. Is d prime?
True
Let f(n) = 0*n**3 + n + 2 + 9*n + n**3 + 2. Is f(5) composite?
False
Suppose -w + 2490 = 5*k, -4*k + 3*w + 987 + 1024 = 0. Is k a composite number?
False
Let c = -66 - -60. Let f(g) = 7*g**2 + 22*g - 1. Is f(c) composite?
True
Let f = 1034 + -427. Let c = f + 34. Is c composite?
False
Suppose -5*x + u + 39039 = 0, -x = -0*u + 5*u - 7787. Is x prime?
False
Let r(w) = 7887*w - 226. Is r(5) prime?
True
Let i(g) = -g**3 - 8*g**2 - 3*g + 10. Let q be i(-7). Let t be (q/4)/((-33)/(-88)). Is (-458)/(-6) + t/(-18) a composite number?
True
Let w(p) = -191*p**2 - 5*p - 21. Let x(s) = 190*s**2 + 5*s + 21. Let z(q) = -6*w(q) - 5*x(q). Is z(-4) a composite number?
False
Let j(t) = -335*t + 13. Is j(-14) a composite number?
False
Let d = 70 - 29. Suppose -d = -w - 4. Is 3/(12/w)*4 a prime number?
True
Let z = 98 - 95. Is (z + (-274)/4)*-4 prime?
False
Is 236/354*((-31546)/(-4) - 1) a composite number?
True
Let l(t) be the third derivative of -11*t**4/8 + t**3/3 + 5*t**2. Let c be l(-5). Suppose -2*a + 3*k = -c, 3*k - 343 = -5*a + a. Is a composite?
True
Suppose -132 - 54 = -z. Let v = 423 + -419. Suppose -v*o = -o - z. Is o a composite number?
True
Let j(f) = 8*f - 29. Let q = -37 + 49. Is j(q) a prime number?
True
Let r be ((-62)/(-8))/(7/28). Suppose 0 = 4*v + 17 + r. Let j(w) = -w**3 - 10*w**2 + 17*w + 5. Is j(v) a prime number?
True
Suppose 0*z = 4*z - 20, 0 = 4*t - z - 7. Suppose 24 = -t*p + 5*d, d = p + 4 + 4. Is (4/p)/((-1)/438) prime?
False
Let n(u) = 783*u**2 - 9*u + 17. Is n(5) prime?
False
Suppose t - 4*c - 9917 = 0, 10*t = 7*t + c + 29740. Is t composite?
True
Is -3*((-18)/(-108) + (-20015)/6) prime?
True
Let q(g) = -g**3 + g**2 - g + 3. Let a(r) = r**2 - 11*r - 17. Let d be a(12). Let v be q(d). Is (v/8)/((-4)/(-16)) composite?
False
Suppose -5*o + o + 16740 = 4*f, -5*f + 4*o + 20889 = 0. Is f a composite number?
True
Let t = 169 - 40. Let m = 290 + t. Is m a composite number?
False
Let r = 82 - 61. Suppose 7494 = r*q - 19*q. Is q a composite number?
True
Let u(v) = -10*v - 67. Let h be u(-7). Is -1*h*2*(-2193)/18 a prime number?
False
Let v(i) be the third derivative of i**6/120 + i**5/15 + i**4/8 - 4*i**3/3 + 5*i**2. Let x be v(-6). Is (94*1)/((-28)/x) a composite number?
True
Let y be 1*(-8)/(2/(-2)). Suppose 5*u - y = 3*u. Suppose -u*w + 8*w = 212. Is w composite?
False
Suppose -4*g - 12 = 0, -2*d + 1785 = 2*d + 5*g. Suppose -s - 4*q + 199 + d = 0, -s + 2*q + 625 = 0. Is s a composite number?
True
Suppose a + 24482 = -0*q + 3*q, -4*q = 5*a - 32649. Is q prime?
True
Let w = -14479 + 60482. Is w prime?
False
Let z(n) = -11*n**3 - n**2 + 15*n - 5. Let j(m) = -5*m**3 - m**2 + 7*m - 3. Let q(w) = -13*j(w) + 6*z(w). Let r be q(7). Suppose -y - 115 = -r*y. Is y prime?
False
Let c = -9259 + 4301. Let l = -2713 - c. Is l prime?
False
Let g(s) = -739*s - 132. Is g(-35) composite?
False
Let t = 848883 + -455966. Is t a prime number?
False
Suppose 0 = 2*d - i - 2075, i + 739 = d - 297. Is d composite?
False
Let h = -104 - -223. Is h a composite number?
True
Suppose 5*m = -4*b + 8515, m + 2*m = 2*b + 5109. Is m a composite number?
True
Let p(j) = 0*j + 4*j**2 + 6*j**2 + 3 + 5*j. Suppose 5*i - 30 = -5*d, -6*i + 5*d = -3*i - 2. Is p(i) composite?
True
Suppose 4919 = -d - 5*r, 4*d + 14822 = d - 2*r. Let m = -3287 - d. Is m a prime number?
True
Suppose 8*y - 14*y = -8178. Is y a composite number?
True
Suppose -122*s - 8545 = -127*s. Is s a prime number?
True
Suppose -5*m = j + 21, 20 = -4*m - 0. Suppose -q - l - j*l = -904, 0 = -l + 3. Is q prime?
False
Let g(i) = -63*i - 47. Let t(s) = -62*s - 48. Let c(l) = -5*g(l) + 4*t(l). Is c(6) prime?
False
Let f be 6*(1 - 806/(-3)). Suppose 0 = -8*g + 6*g + f. Is g prime?
True
Suppose -14 - 19 = -3*s. Is (-1)/(-4) - (-137)/4*s a composite number?
True
Let g = -77 + 79. Suppose -g*u = u - 1371. Is u a composite number?
False
Let j(r) = -1744*r + 83. Is j(-5) a prime number?
True
Let n(h) be the second derivative of 293*h**6/720 - h**5/24 - h**4/6 - 6*h. Let c(u) be the third derivative of n(u). Is c(2) composite?
True
Let c = 27485 + -12436. Is c prime?
False
Let s(c) = c + 1. Let n(u) = -14*u - 20. Let l(z) = -n(z) - 3*s(z). Let j = 42 + -32. Is l(j) prime?
True
Suppose -2*q - 4*o - 102 = 0, 3*q - 5*o + 95 = -91. Let l = -14 - q. Suppose -g = -14 - l. Is g a prime number?
False
Let f(u) = 7769*u - 860. Is f(9) a prime number?
True
Suppose -57*z = -60*z + 1398. Is z a prime number?
False
Let f be 2/4 + (-8)/(-16). Is -4 + (28 - f)/1 composite?
False
Suppose -66*q = 36*q - 3740442. Is q a prime number?
True
Suppose -4*l + 21744 = 3*v, 13*v = -l + 15*v + 5425. Is l composite?
True
Let u(y) = -4061*y**3 - 2*y - 16. Is u(-3) prime?
False
Let i(v) be the third derivative of 7*v**6/120 + v**5/15 - v**4/4 + 5*v**3/6 + 3*v**2. Is i(4) composite?
True
Let c = 5329 + -2096. Is c a composite number?
True
Let r(p) = 2598*p - 69. Is r(17) a prime number?
False
Let y(z) = z + 1. Let f(g) = 2*g - 3. Let j(c) = f(c) - 5*y(c). Let b(w) = -w**3 - 8*w**2 - 5*w + 5. Let i be b(-7). Is j(i) a composite number?
False
Let b = 700 - -493. Let p = b + -786. Is p a prime number?
False
Let f be (24/20)/((-2)/20). Let t(q) = q**2 + 2*q + 4. Let b be t(f). Is 3 - b*(-2 - -1) a prime number?
True
Let t(i) = -234*i - 25. Is t(-9) a composite number?
False
Let w be 3*(-8)/(2 + -3). Suppose -u = 5*u - w. Suppose u*v + 119 = 435. Is v a composite number?
False
Let n = 21 - 188. Let u = 59 - n. Is u a composite number?
True
Suppose -m = -4*p - 8, -p 