uppose 4*g + 10 - b = k. Is g prime?
True
Suppose 0 = 5*k + 6 - 16. Suppose -2*o = k*p - 30, -4*o = 2*p + 3*p - 56. Suppose -o = -0*d - d. Is d a prime number?
True
Let n(z) = -200*z - 3. Is n(-2) composite?
False
Suppose -1256 = -7*w + 305. Is w composite?
False
Let u be (-1)/1*(7 + -9). Suppose -5*y + 685 = u*x + 62, 0 = -5*x - 3*y + 1510. Is x a prime number?
False
Suppose -5*q = 5 - 55. Let m be ((-4)/q)/(2/50). Let t = 31 + m. Is t a composite number?
True
Suppose 3*g + 3 = 6*g. Is (g/2)/((-4)/(-2344)) a prime number?
True
Suppose -148 = -4*a + 4*x - 0*x, 2*x + 8 = 0. Suppose 2*v + 2*n - a = 1, 5*n - 19 = -2*v. Is v a composite number?
True
Let b(g) = -g. Let h be b(0). Is 2 + (-1 - h - -246) prime?
False
Let c = 574 + 463. Is c a composite number?
True
Let c be 1/5 - (-416)/20. Suppose -123 + c = -3*m. Suppose 2*z - 100 = 3*k, 3*k = -3*z + m + 101. Is z a prime number?
True
Let q be (-3)/(-3)*5*1. Suppose -q*u = -2*u - 159. Is u a composite number?
False
Let a = 4 + 4. Let f(c) = 2*c**2 + 3*c + 11. Is f(a) a prime number?
True
Let o be 4/12 + 2636/(-6). Let j = -260 - o. Suppose -9 + 1 = 2*c, -3*v + 5*c = -j. Is v a composite number?
False
Let o be (-1136)/(-3) - (-10)/(-15). Suppose 5*j - 52 = o. Is j prime?
False
Suppose t - 564 = -3*t. Let r = t - -110. Is r a prime number?
True
Let o(y) = y**3 - 12*y**2 + 13*y + 12. Let f be o(11). Suppose 5*a = -25, b + b - 4*a - f = 0. Is b a composite number?
False
Let l = 120 - 85. Is l a prime number?
False
Let c(j) = 22*j**2 - 4*j + 5. Is c(5) prime?
False
Suppose 3*q = -5*i + 6599, -4214 - 6799 = -5*q - i. Is q a prime number?
True
Suppose 488 = 5*h - 307. Is h a composite number?
True
Suppose 0 = 2*y - 476 - 202. Is y prime?
False
Suppose 5*s - 88 = 97. Is s composite?
False
Suppose m = 8*t - 3*t + 333, 5*m - 1770 = 4*t. Is m prime?
False
Suppose -3*k = 2*k - 5260. Suppose b + k = 5*b. Is b prime?
True
Let u(b) = -67*b - 9. Let o(s) = -s**2 - 4*s + 1. Let z be o(-5). Is u(z) composite?
True
Let t(v) = 8*v**2 - 12*v - 25. Is t(-5) a composite number?
True
Is ((-27)/6 + 4)*-374 prime?
False
Let z = -170 - -84. Is (-6)/(-9) - z/6 a composite number?
True
Suppose -528 = 2*j - 2102. Is j composite?
False
Let y(c) = -22*c - 5. Let f be y(-5). Suppose 201 = 5*m - 2*p + 26, f = 3*m + 2*p. Is m prime?
False
Let p = 5 - -1. Let g(o) = 26 - 3*o - 11 - 4*o + p*o. Is g(0) a prime number?
False
Is -3*((-6)/6 + -172) composite?
True
Suppose 3*x - 2*l - 255 = -53, l = -2. Let k be x/(-8) + 4/16. Is (-4)/k*(1 + 69) a prime number?
False
Suppose -4*g - 2*g = 1560. Let c(f) = -54*f**2 - 4*f - 3. Let u be c(-3). Let q = g - u. Is q a composite number?
True
Suppose g - 10 = 25. Is g prime?
False
Suppose 4*q - 13540 = -4*f, 5*f + 8296 = 5*q - 8669. Is q prime?
True
Let n(v) = v**2 - 2*v - 7. Let a be n(5). Suppose 4 + a = 4*o. Let r = o - -4. Is r prime?
True
Suppose -c + 297 = -3*b + 8*b, -3*b + 177 = c. Let j be 2/((-3)/3) + b. Let m = 84 - j. Is m a composite number?
True
Suppose 3*j = 229 + 152. Is j composite?
False
Suppose -v + 886 = v. Is v a prime number?
True
Suppose -26*b - 3351 = -29*b. Is b prime?
True
Suppose -2*n - 21 = -n. Is n/6*(-84 + 2) prime?
False
Let h(v) = v**3 + v**2 - v. Let x be h(-2). Let w be 4 + 17 + (x - 0). Suppose -w = -p - 6. Is p a prime number?
True
Suppose q - 14 - 178 = 0. Let o be ((-200)/2 - 1) + 0. Let y = q + o. Is y composite?
True
Suppose -6 = -a + 70. Let u = a - -111. Is u composite?
True
Let a be -2 + -2 + 3 + 1151. Suppose 2*o - 115 = 5*t - 1548, -2*o + a = 4*t. Is t a prime number?
False
Let g(n) = 31*n - 1. Is g(6) composite?
True
Suppose -4*r = -108 - 328. Suppose -q + 34 + r = 0. Is q prime?
False
Suppose 5*y + 0*y = 1055. Suppose 3*b + 667 = -0*b + 5*r, 0 = -b - 4*r - y. Let v = -92 - b. Is v a composite number?
False
Suppose -3*n = -2*n + 197. Let p = 40 - n. Is p a prime number?
False
Let j(y) = y + 2. Let o be j(-2). Let h(m) be the second derivative of m**4/12 + m**3/6 + 121*m**2/2 + m. Is h(o) prime?
False
Let h(a) be the second derivative of a**4/2 - a**3/3 + 7*a**2/2 - 2*a. Let k be h(6). Suppose -5*x - 5*u = -1055, x + u - k = 2*u. Is x a prime number?
True
Let b = 0 + 0. Let h = b - 2. Is (33/h)/(15/(-20)) prime?
False
Suppose i - 2*b - 5 = 5, -i + b = -7. Suppose -k + 195 = -t, 776 = 4*k - i*t + t. Is k composite?
False
Let t(l) = 60*l**2 - 2*l + 5. Let h be t(-5). Let j be ((-2)/6)/(5/h). Let r = 310 + j. Is r composite?
True
Suppose 3*m + 425 = 5*t, -3*m = -4*m. Is t a prime number?
False
Suppose -4*l - 5 = -3*r + 14, 3*l + 8 = r. Suppose 4*q - 127 = -3*g + 109, r*q + 4*g = 295. Is q prime?
True
Let c(k) = 15*k**2 - 2. Let v(g) = g**2 + 2*g - 1. Let f be v(-3). Is c(f) a prime number?
False
Let c = -91 + 64. Let m be 4 + c + 1 + -3. Let s = 114 + m. Is s a composite number?
False
Let y(c) = 16*c**2 - 32*c + 55. Is y(20) a prime number?
False
Let l(g) = -g**2 + 3*g - 2. Let h be l(2). Suppose 3*c - 6*c + 957 = h. Is c prime?
False
Suppose -12*k = -8*k - 32. Let q be (-124)/6 - 2/(-3). Is ((-6)/k)/(1/q) composite?
True
Let y(q) = q**2 + 5*q + 1. Let r be y(-5). Is (r - 1) + 20 + 3 a prime number?
True
Let f = 567 + 1276. Let n = 2682 - f. Is n a prime number?
True
Suppose 258 = y + 3*b, 0 = 3*y - 5*y - b + 526. Suppose 2*g - y = 14. Is g composite?
False
Is (-224)/42*3/(-2) - 1 a prime number?
True
Let c = 6 + -4. Suppose x + 17 = -c*y, -5*y + 5*x - 3*x = 38. Let l = 11 - y. Is l a prime number?
True
Let w be 25/(-3) - 6/9. Let b(p) = -29*p - 10. Let j be b(w). Suppose 0 = 5*u + 76 - j. Is u prime?
False
Let c(f) = -76*f**3 - f**2 - 10*f + 2. Is c(-5) a prime number?
False
Suppose -189 = -2*b - 3*u, 0*u = b - u - 82. Is b a composite number?
True
Let m be (-4)/((-568)/566 + 1). Let z = -685 + m. Is z a prime number?
False
Let f = 30 - 19. Let p = f - 7. Suppose 38 = p*w - 2*i, -3*w = -4*i - 0*i - 41. Is w a prime number?
True
Suppose 6*r - 51841 - 11333 = 0. Is r a prime number?
True
Let d(g) = -g**3 + 4*g**2 - 2*g - 1. Let m be d(3). Suppose -6 = -5*x - 2*v, 4*v + 10 = m*x + v. Suppose -3*a + 265 = x*a. Is a prime?
True
Let o(a) be the second derivative of 1/2*a**2 - 2*a - 10/3*a**3 + 0. Is o(-1) a prime number?
False
Let l(s) = s**2 + 5*s. Let a be l(-6). Suppose q = a*q - 435. Is q a composite number?
True
Let b = -14 + 16. Let h(p) = 14*p**2 + 4*p - 5. Is h(b) prime?
True
Suppose 2516 - 6684 = -8*h. Is h prime?
True
Suppose -5*n + x = -0*n - 882, 0 = 2*n + 4*x - 366. Is n a prime number?
False
Let w(i) = i**3 - 3*i + 2. Let z be w(1). Suppose 2*n - 462 - 382 = z. Is n prime?
False
Suppose k - 284 = -75. Suppose 0 = -3*u - 9, -3*u + u = -r + k. Is r a composite number?
True
Suppose k + 4*o + 36 - 1047 = 0, -o - 2968 = -3*k. Is k composite?
False
Let w be (-1)/(-4) - (-687)/(-12). Let n = w - -184. Is n a prime number?
True
Let t(m) = -m**2 - 38*m - 91. Is t(-30) composite?
False
Suppose -3*o = 2*o - 20. Suppose 5*a + 20 = 2*r, -a = r + o*r + 4. Suppose -4*w + r*w + 308 = 0. Is w composite?
True
Let z(n) be the first derivative of n**7/840 + n**6/36 - n**5/120 + n**4/24 - n**3/3 - 4. Let r(s) be the third derivative of z(s). Is r(-9) prime?
False
Suppose 5*p + 0*a - 201 = a, 0 = 3*p + 2*a - 131. Suppose 0 = z - p - 62. Is z a prime number?
True
Suppose 118 = -2*j - 66. Let g = 117 - j. Is g composite?
True
Is (-2)/6 + (-922)/(-3) composite?
False
Let h(x) = x**3 - 6*x**2 + x + 3. Let i be h(6). Suppose 4*w = 2*m - 228, 2*m - 246 = -i*w + 4*w. Is m a prime number?
False
Suppose 6*l + 232 = v + 3*l, 3*l = 3. Suppose -v = -4*q + 361. Is q a prime number?
True
Let l = 316 - 13. Is l a composite number?
True
Let u = -14 - -8. Is 74/3*(-27)/u a prime number?
False
Suppose 0 = -5*c - 2*x + 1552 + 153, -5*c - 4*x + 1715 = 0. Is c a composite number?
True
Let i = -1 - -5. Suppose -3*j + 0 - 10 = i*y, -5*y = -3*j + 26. Is (-19)/(-1 - (j - 2)) a composite number?
False
Suppose -n - 4*m + 43 = 0, 14 - 186 = -4*n + 4*m. Let z = 76 - n. Is z a prime number?
False
Is (-3 - 10/(-5))*-194 prime?
False
Let h = 760 - 219. Is h a prime number?
True
Let r = 6 - 10. Is 2 - r/(12/51) a prime number?
True
Let o be -2 + (1 + 0 - -1). Suppose 3*l - 4 - 845 = o. Let d = l - 128. Is d prime?
False
Let b be 2 - 3/6*2. Let g = 14 - b. Is g composite?
False
Suppose 14*m = 6*m +