2*f. Let x = g - 109. Is x prime?
False
Let l(b) = -b + 13*b**2 + 2*b**2 + 2 - 3*b**2. Is l(-3) prime?
True
Let m(v) be the first derivative of v**6/120 + 3*v**5/20 - 5*v**4/12 + 5*v**3/6 - v**2 + 2. Let k(o) be the second derivative of m(o). Is k(-9) composite?
True
Let o(c) = -2*c + 127. Is o(0) prime?
True
Let w(c) = -c + 8. Let l be w(11). Is -2 - l/(-6)*-746 a composite number?
True
Let t(p) = -5*p - 4. Let d be t(-3). Let i = d + -3. Suppose 3*j = j + n + 48, i = -2*n. Is j a composite number?
True
Let t(h) be the third derivative of 5/3*h**4 + 0*h + h**2 + 0 + 3/2*h**3. Is t(8) a composite number?
True
Suppose 7*g - 2*g - 5*o = 0, 4*o = -2*g. Suppose g = -b - b. Suppose -2*n + b*n + 46 = -4*z, 0 = -3*z - 12. Is n composite?
True
Let t(u) = -u**2 - 8*u - 3. Let z be t(10). Let m = -86 - z. Is m a prime number?
True
Let g be ((-3)/(-2))/(6/16). Let b be (g - 3) + (-2 - -57). Suppose -50 - b = -2*t. Is t prime?
True
Let v = 243 + -164. Is (-2 + 0)*v/(-2) a prime number?
True
Is -3*(-47)/3*2 prime?
False
Let o = 377 + 93. Let u = o - 175. Is u a composite number?
True
Suppose 8*a + 2980 = 3*a. Is 2/(-8) + a/(-16) a composite number?
False
Let a = -192 - -415. Is a a composite number?
False
Let q(u) = -u**3 - u**2 + 2*u + 1883. Is q(0) prime?
False
Suppose m - 2*m + 2*q - 4 = 0, -4*m - 3*q = -28. Let c(k) = k**3 + k**2 + 4*k - 4. Let r be c(m). Let w = -53 + r. Is w composite?
True
Suppose 32 + 476 = 4*t. Is t prime?
True
Suppose -3*u = -0*u - 5*a - 345, 0 = 3*u - 2*a - 345. Is u a prime number?
False
Suppose s + 2*i = 3*i + 502, 4*s - i = 1993. Is s prime?
False
Suppose -1439 + 4267 = 4*y. Is y composite?
True
Suppose 8598 = 5*b + 2*t - 179, 3*t = 3*b - 5283. Is b composite?
True
Suppose -6*i + 3*i - 804 = 0. Let b = i - -453. Is b a composite number?
True
Is (-6)/10 + (-5382)/(-45) + -1 composite?
True
Suppose 4*p - 1885 = 327. Is p a prime number?
False
Is (-9837)/(-15) - (-8)/(-10) composite?
True
Let a(k) = -4*k - 1. Let o be a(1). Is (o/(-3))/(2/78) prime?
False
Let d(t) = 41*t + 2. Is d(7) a prime number?
False
Suppose -4 = 4*m, 2*t - 13 + 5 = 4*m. Suppose -4*b + 16 = -2*g, b = -0*b - 3*g + 11. Suppose t*a - b*a + 237 = 0. Is a composite?
False
Let a be 1 + -1 + -1 - -1. Let j be a/((1 - -1)/2). Is 79 - (j + 0/(-3)) prime?
True
Let i = -868 - -1422. Suppose 4*j + 102 = i. Is j composite?
False
Let j(a) = -a**3 - 2*a**2 + 8*a - 1. Suppose -p + 4*p = -9. Let d be 9/p*3 - -3. Is j(d) prime?
False
Let j = -2163 + 3628. Is j prime?
False
Let i be (6/(-4))/(1/(-14)). Suppose -i = -3*l + 78. Let f = -12 + l. Is f prime?
False
Let m be 12/18*6/2. Suppose -3*p + 90 = 4*f, -5*p = 5*f - m*f - 73. Is f prime?
False
Let q(x) = -222*x - 9. Let c(w) = -111*w - 4. Let p(h) = -13*c(h) + 6*q(h). Is p(3) prime?
True
Suppose -49*u + 3964 = -45*u. Is u prime?
True
Let j = 205 - 131. Is j a composite number?
True
Suppose -36 = 4*u - 248. Is u a prime number?
True
Let b = -23 + 25. Let z = 1 - 1. Suppose z = -b*m + 305 - 87. Is m a composite number?
False
Let d be 4/6 - 338/(-6). Suppose -40 = j - 3*j. Let x = d - j. Is x a prime number?
True
Let m(h) = 11*h**3 + h**2 - 1. Let l be ((-6)/(-12))/((-2)/(-8)). Is m(l) prime?
False
Let m(k) = -2*k**2 + 8*k - 5. Let z be m(6). Let t = 44 + z. Is t a prime number?
False
Let f be (-1)/(3678/(-3675) - -1). Let d = -776 + f. Let r = -228 + d. Is r composite?
True
Suppose 5*r = -61 + 21. Let t = r + 7. Is -2 - (3 + t + -207) composite?
True
Let i be 3 + 0 + -3 + -4. Let b(o) = o**2 + 3*o + 2. Let h be b(i). Suppose h*r + c = r + 159, c = r - 27. Is r composite?
False
Let r(n) = -23*n - 4. Let j be r(11). Let s be (18/(-5))/((-6)/(-160)). Let f = s - j. Is f composite?
True
Let z be 12/5*25/10. Is (z/(-5))/(1/(-5)) a composite number?
True
Let v = -51 - -81. Suppose 4*s - 9 = s, 3*u - 3*s - v = 0. Is u a prime number?
True
Let k = -1164 + 4369. Is k a composite number?
True
Let l = 415 + -276. Is l composite?
False
Let s = 12 + 108. Suppose 4*z = 3*y - 17 - s, 4*y - 220 = -4*z. Is y a prime number?
False
Suppose 7*f = 2*f + 15. Suppose -f*l - 2*l + 410 = 0. Suppose 5*r + l = o, -4*r = r + 5. Is o composite?
True
Suppose -2 = 2*w + 3*q, 4*w + 0*w - 10 = q. Suppose -4*o + w*h + 87 = o, 23 = o + h. Is o a prime number?
True
Let f(c) = -c - 8. Let p be f(-8). Suppose 3*h + 3*j + 9 - 30 = p, -h + 5*j + 7 = 0. Is h prime?
True
Is (3756/(-9))/(-3*(-2)/(-9)) a composite number?
True
Suppose 4*t - 2*g - 372 = 0, 3*g - 20 = -t + 80. Is t a prime number?
False
Let o = 108 - 196. Let a = o - -125. Is a a composite number?
False
Suppose -669 = -3*u - 168. Let k = u + -80. Is k composite?
True
Let d be (2/6)/((-3)/(-18)). Suppose 0 = -4*z + 10 + d. Is z*13 - (-3 - -5) composite?
False
Let k(d) = 28*d**2 + 1 + 61*d**3 - 2*d - 28*d**2. Is k(2) composite?
True
Let z be 3/((-52)/(-20) + -2). Suppose c - 6 - z = 0. Is c a composite number?
False
Is (354/10)/((-1)/(-5)) a composite number?
True
Let m(s) = 2*s - 3. Let v be m(3). Suppose -8 = -v*u + u. Suppose 71 = u*d - 53. Is d composite?
False
Suppose -4*i + 10 = i. Suppose 3*n - 5*p - 381 = -p, 5*n - 635 = -i*p. Is n a prime number?
True
Let x(n) = -n**3 + 14*n**2 - 4*n - 17. Let o be x(12). Suppose v + 0*v = o. Is v prime?
True
Let d be 211/(-2)*(-8)/(-2). Is (-6 + 9)/((-6)/d) a prime number?
True
Suppose -b - 2*q + 10795 = 4*b, 3*b + 2*q = 6473. Is b prime?
True
Suppose x + 0*x - 258 = 0. Let y = -74 - 75. Let o = x + y. Is o prime?
True
Let f be -5*1*1/(-1). Let h = f - -81. Suppose 0*z = 2*z - h. Is z prime?
True
Suppose 3*g - 4*d + 928 = 0, -3*g + 2*d - 807 - 131 = 0. Is g/(-1)*2/8 a composite number?
False
Let f(z) be the first derivative of -z**2/2 + 3. Is f(-3) prime?
True
Let a be (36/14)/((-3)/42). Is 514/4 + a/24 composite?
False
Suppose -2*r + 2*d = 6*d - 282, -4*r - 5*d = -570. Is r prime?
False
Let i be -3 + 2 + 1 + 0. Let j be (-8)/6*6/(-4). Suppose i = -j*t + 36 + 26. Is t a prime number?
True
Let x(l) = -41*l - 32. Is x(-11) a composite number?
False
Let u be 40/25 + 2/5. Suppose u*g + 6 = 4*g. Is (-40)/(-2) + g - -2 prime?
False
Let y = 150 + 145. Is y prime?
False
Suppose 4*a - 3*l = 821, 2*l = a - l - 212. Is a composite?
True
Let q = -104 - -298. Is q a composite number?
True
Suppose -4*i = 2*r - 32, 2*r - i = -3*r + 25. Suppose -r*j - 127 = -7*j. Is j a prime number?
True
Is (7/(-14)*557)/(2/(-4)) a composite number?
False
Let k be 9/(-6)*(3 + -1). Let w = k - -6. Suppose 5*y + f = 4*y + 12, 0 = 4*y - 5*f - w. Is y a prime number?
True
Let i(k) = -2*k**3 - 6*k**2 - k + 11. Is i(-6) composite?
False
Let k = 1185 - 104. Is k prime?
False
Let m(y) be the third derivative of y**5/60 - y**4/24 + 139*y**3/6 + 3*y**2. Is m(0) prime?
True
Suppose 0 = 3*j - 4*m - 1334 - 773, 4*m = -4. Is j a composite number?
False
Let n be (0 + 1 - -1) + 2. Suppose -n*g + 4*u + 273 = -339, -4*g - 2*u + 588 = 0. Is g prime?
True
Let g = 26 + -11. Suppose g = -b + 116. Suppose 2*x = -5*o + b, -o + 3*x = -3*o + 36. Is o a prime number?
False
Suppose -4*j + 3*c = -6, -c = -3*j - 3*c - 4. Let y(t) = t**2 - 5*t - 73. Let l(p) = -2*p**2 + 9*p + 145. Let f(w) = 6*l(w) + 11*y(w). Is f(j) prime?
True
Suppose 3*u = 3*f + 495, 0 = -2*f - 4*u - 191 - 139. Let l = f + 250. Is l a composite number?
True
Let v = -1 - 0. Let i(r) = -9*r**2 - 6*r + 3. Let f be i(4). Is (v/(-1))/((-5)/f) prime?
False
Let a(w) = 20*w - 1. Let d(c) = -21*c + 1. Let o(j) = 4*a(j) + 3*d(j). Is o(4) a composite number?
False
Let m be 1 - -2 - (-27 - 2). Suppose 3*a - 2*t = m + 33, 2*a + 4*t - 22 = 0. Is a a prime number?
True
Suppose 3*f - 6*n + 9 = -4*n, 4*f + 32 = -4*n. Let d(a) = -a**3 + 3*a**2 - 7*a. Is d(f) composite?
True
Let t(y) be the first derivative of y**3/3 + y**2/2 - 2*y - 2. Let x be t(-2). Suppose -3*v + 11 + 16 = x. Is v composite?
True
Suppose -3*u - 1645 = -5152. Is u composite?
True
Is (9/(-3) - 464)*-1 a composite number?
False
Suppose 5*s = 6*s - 4. Suppose -5*t - 22 = -s*j, 0*t - 5 = -j + t. Suppose j*a - 12 - 6 = 0. Is a prime?
False
Let x(y) = -y**2 + 7*y + 7. Let l be x(9). Let n(z) = -5*z - 8. Is n(l) a composite number?
False
Is (153/12)/((-6)/(-56)) prime?
False
Let t = 281 + -154. Is t composite?
False
Suppose -5*v + 128 = -3*g, 1 = -3*g - 2. Is v a prime number?
False
Let r(t) = 2*t**2 - 4*t 