311. Let d = s + l. Is d prime?
True
Suppose 0 = -10*k - 6953 + 28563. Is k a prime number?
True
Let a = -24 + 19. Let l(i) be the second derivative of -i**3/6 - i**2 + i. Is l(a) prime?
True
Let j be (-21)/(-7)*(-2)/6. Let v = -3 - j. Let d(c) = -123*c + 1. Is d(v) a prime number?
False
Let i(z) = -932*z + 11. Let o be i(5). Let k = -1944 - o. Is k a composite number?
True
Is 15958/4 - (-29)/(-58) composite?
False
Suppose -44*q + 39*q + 1865 = 0. Let l = 1268 - q. Is l composite?
True
Suppose 0 = b + 3, -4*h + 52210 = -5*b - 39025. Is h a composite number?
True
Suppose 3*i - 1 = -2*v + 6, -10 = -4*v - 2*i. Suppose -3*t - v*t + 4565 = 0. Is t a prime number?
False
Let l(h) = 41 - 17 - 15 + 81*h - 16. Is l(8) a prime number?
True
Let j(c) = -c. Let l be j(-3). Suppose l*g + 57 = 4*g. Let o = 178 - g. Is o composite?
True
Is (-1 + -200)*(-154)/42 prime?
False
Suppose 25*d - 101628 + 31178 = 0. Is d prime?
False
Let t(y) = 29*y - 3. Let s be t(3). Suppose 2*c + 4*l - 1234 = s, 4*c = -l + 2615. Let g = c + -388. Is g prime?
False
Suppose -12 + 0 = -4*s. Is (-14)/(4/(-12)*s) prime?
False
Let t(x) = -6*x**3 - 6*x**2 + x - 9. Let m(f) = -7*f**2 - 1. Let g be m(-1). Is t(g) composite?
False
Let b(h) be the second derivative of -h**3/6 + h**2 - h. Let y be b(2). Suppose -2*q = -y*q - 3*u - 40, 2*u + 122 = 5*q. Is q prime?
False
Let p be ((-4)/14)/((-7)/49). Suppose 4*f + 152 = 6*f. Suppose p*t - f = 222. Is t a composite number?
False
Let t be (12 - 352)*(0 - -3 - 2). Let x = t + 499. Is x prime?
False
Suppose 3*o + 2*k = 20, 0*o = 5*o + 5*k - 40. Suppose -o*d - 4 = -8. Is (d - -55) + (-1)/(-1) a prime number?
False
Let c(w) = -w + 2. Let d be c(6). Let j be 1/(-2) + 70/20. Is (d - -1)*(-191)/j prime?
True
Let k = -38 + 18. Let m = -20 - k. Suppose -d - 4*f = -175, 4*d + 2*f - 729 - 27 = m. Is d a composite number?
False
Let b = 2 + -14. Suppose -1 = -2*a + a. Is (a - -2)/(b/(-1916)) a prime number?
True
Let s be (-783660)/(-130) + (-4)/26. Suppose -s = -2*h - 2*h. Is h composite?
True
Let u(y) = -6*y + 32*y**2 - 7 + 7*y + 6*y + y. Is u(3) prime?
False
Let k = 9151 - 4416. Is k a composite number?
True
Suppose -5*h + 1986 = 786. Suppose b = 3*b - h. Let i = b + 43. Is i prime?
True
Let w(o) = -887*o**3 + o**2 - o - 2. Let l = -24 - -23. Is w(l) a prime number?
True
Let l = -713 - -1663. Suppose -l = -5*t + 3000. Is (t/(-15))/((-4)/6) composite?
False
Suppose 4*i + a + 9 = 2, 2*i + 2*a + 8 = 0. Let u(q) = -321*q**3 + 2*q**2 + 2*q + 1. Let d be u(i). Suppose -w = w - d. Is w prime?
False
Let y(v) = 4*v**3 + 67*v**2 + 27*v + 32. Let i(d) = 2*d**3 + 34*d**2 + 13*d + 16. Let r(n) = 5*i(n) - 3*y(n). Is r(-17) a composite number?
False
Is (-4)/34 - (-8 + 564378/(-102)) composite?
True
Suppose -3*v = 2*d + 10, 0 = 2*d + v - 2 + 4. Suppose -d = f - 0*f. Is f/((-1)/92) - 3 a prime number?
True
Let m(z) be the first derivative of -119*z**4/4 - 2*z**3/3 - z**2/2 + 1. Let k be m(-1). Suppose -30 - k = -4*d. Is d composite?
False
Let t be -3 - (1 + 2 - 10). Suppose -4*d - 9 = -5*o, -3*o - 3*d + 7 = -7*d. Is t - (o + 0) - -100 a prime number?
True
Is 6/68*60714 + (-6)/51 a composite number?
True
Let b(k) = 449*k - 108. Is b(23) prime?
False
Suppose -11 - 1 = 4*y. Let m be ((-3)/y)/(2/1858). Suppose -m = -2*z - 247. Is z composite?
True
Let a(w) = -3523*w - 7. Is a(-2) prime?
True
Let b = -5 - -5. Let f = -367 - -812. Suppose b*i - f = -5*i. Is i a prime number?
True
Let q(o) = -o**3 - 6*o**2 - 10*o - 4. Let h be q(-4). Suppose -3*p = p + 2*d + 114, -p - 5*d = 15. Is 1*((h - p) + -3) prime?
True
Let j(v) = -4*v + 1611. Let u(c) = 5*c - 1610. Let a(t) = -6*j(t) - 5*u(t). Let f be a(0). Let z = 2289 + f. Is z prime?
True
Let g be (1 + -4)*(-4)/6. Suppose -n = 1, -g*o - 5*n = 3*o - 10835. Suppose 287 = 5*y - o. Is y a composite number?
False
Suppose 0 = 3*x - 5*x. Let z be (996 - x)*(-33)/(-22). Suppose 1196 = 3*u + u - v, 0 = 5*u - v - z. Is u prime?
False
Suppose -13440 = -6*i + i. Suppose -2*h + 5 = -3, 4*a - 5*h = i. Is a a prime number?
True
Let g(h) = -24*h**3 + 3*h**2 + 4*h + 5. Let y be ((-6)/(-2))/(24/(-16)). Is g(y) a composite number?
True
Let p be (-6)/3*7670/(-20). Suppose -d + 2*d = p. Is d prime?
False
Suppose 2*t = -32 - 6. Let v = t + 116. Is v prime?
True
Let k be (1 - -1) + 69 + 0. Suppose -2*v + k = s, -v - 3*s + 35 = 7. Is v a composite number?
False
Suppose 27 - 12 = 3*r. Is ((-4)/(-1) - r)*-2543 prime?
True
Suppose 2*i - 14 = -2*k, 5*i + 3*k = 2*k + 35. Suppose -m = -5*o - 17, -3*o + 2*o = -2*m + i. Suppose z - m*z = -397. Is z composite?
False
Suppose 0 = 3*u - 9, -u + 6*u = -3*b + 15. Suppose -2*z + b*z - 4*v + 4 = 0, 0 = -4*z + 3*v + 19. Suppose -z*g + 4535 = g. Is g prime?
True
Let o = -24 - 140. Let c = -45 - o. Is c composite?
True
Let v be 3140/(-16) + (-3)/(-12) + 3. Let i = v - -372. Is i a composite number?
False
Let z(h) = 867*h + 184. Is z(21) prime?
False
Let x be 6*(-2 + (-13797)/(-6)). Suppose 10*j = -5*j + x. Is j a prime number?
True
Suppose 2*c + 513 = -357. Let d(i) = 2*i**2 - 5*i + 3. Let t be d(3). Is t/24*(1 - c) a prime number?
True
Let t(h) = 3*h**3 + h**2 - 1. Let x be t(2). Let f(q) = -q**2 - 12*q - 12. Let y be f(-12). Let o = x + y. Is o composite?
True
Suppose 2*y - 4*i - 2816 = 1966, -2393 = -y + i. Suppose -25*g + y = -20*g. Is g a composite number?
False
Let f(w) = -4*w + w**2 + 3 + 7 - 3*w + 8*w**3 - w**3. Is f(3) prime?
False
Let p = 743 + -1096. Is (-16)/(-12) - 1 - p/3 prime?
False
Let d(o) = -30*o - 452. Is d(-17) prime?
False
Let z = -477 - -680. Is z a prime number?
False
Let g(f) = 3*f - 13. Let x be g(7). Let n = 6 - x. Is 14/2*(n + 3) composite?
False
Suppose -2*f - 148 + 34 = 0. Suppose 3*u - 4*g - 24 = 0, -u - 5*g + 39 = u. Let q = u - f. Is q prime?
False
Let s = 31 + -51. Is 157*5/s*-4 prime?
True
Suppose -3*i - 7634 = -5*i. Suppose -2*b = 2*w + 3*b - i, 0 = 5*w + b - 9508. Is w composite?
False
Let d(f) = -f**3 - 9*f**2 - 10*f. Let n be d(-8). Suppose -244*s + 249*s - 465 = 0. Let t = s - n. Is t prime?
False
Let x = 25 - 23. Suppose -6*y + 2540 = -x*y. Is (-1 + 8)*y/5 a prime number?
False
Is (-1)/((-44)/(-55) - 88947/111165) a composite number?
False
Let i(h) = 4*h**2 + 6*h - 5. Suppose -2*r + 6*r + 12 = 0. Let n be r + (-4 - 3) - -3. Is i(n) composite?
False
Let p = 0 - -2. Let x(v) = -11 + 5*v**2 - 7*v**p - 5*v - 5*v**2 + 13 + v**3. Is x(8) composite?
True
Let b(v) = 28*v**2 - 7*v - 17. Let f be b(7). Suppose -2*q - 5*c = -10*c - 2612, -c - f = -q. Is q a composite number?
True
Let q = 2 + -1. Let d(n) be the first derivative of 9*n**4/2 + n - 25. Is d(q) a prime number?
True
Let t(v) = 17*v**2 + 45*v - 31. Is t(-38) a composite number?
False
Suppose -a = s - 356, -a = -11*s + 15*s - 350. Is a a composite number?
True
Let q(p) = -101*p - 9. Let f be q(10). Let l = f + 1762. Is l a composite number?
False
Let o(x) = x + 3. Suppose 4*h = i + 3, -5*i + 1 + 26 = h. Let t be o(i). Is -358*2/t*-2 a composite number?
False
Let w be (-99)/(-21) + -5 + 9/7. Suppose o + w = 0, 3923 = 4*p - p - 5*o. Is p a composite number?
True
Let g = 1 + -12. Let o(y) = y**2 + 9*y + 3. Let p be o(-9). Is -3 + -2 + p - g prime?
False
Suppose -m + 31*l + 41037 = 35*l, -164172 = -4*m - 4*l. Is m a prime number?
False
Let u(p) = -p**2 - 4*p - 1. Let r be u(-4). Let v(a) = 66*a + 1. Let x be v(r). Let f = 224 + x. Is f prime?
False
Suppose -97*v + 48*v = -2015419. Is v composite?
False
Let p be (-1 - -2)*(13 + -13). Suppose 3*w - 4*w + 4 = p. Suppose -w*i + 79 = -45. Is i prime?
True
Suppose -4*w = -3*w - u - 4010, 2*u = -3*w + 12025. Is w composite?
True
Let k(z) = 2*z**2 + 6*z - 4. Let m be k(-6). Let r be ((-132)/(-16))/(6/m). Let d = 47 + r. Is d a prime number?
False
Let x = 5253 + 6394. Is x composite?
True
Suppose -y + 3372 = -5*g, -4*y + 12245 = -2*g - 1261. Is y a prime number?
False
Is ((-24298)/(-8))/((-14)/168*-3) a composite number?
False
Let b(x) = 2*x**2 - 30*x + 47. Suppose -43 = -2*l + 5. Is b(l) prime?
True
Suppose q - 149 = 3*x, -4*q = -6*q + 4*x + 306. Is q prime?
False
Let l(i) = -1 - 196*i - 6 + 8. Let y be l(-2). Suppose -y - 667 = -4*h. Is h a composite number?
True
Suppose -w - 5 = -4*t + 4*w, -2*t - 35 = 5*w. Is (-2)/t + -6 + 45315/25 a prime number?
False
Let o = 369 - 242. Is o a prime number?
T