pose 4*r = 4*i - 1228, 4*r - 685 = -j*i + 527. Let k = i + -162. Is k composite?
True
Suppose -1941 = 288*g - 291*g. Is g prime?
True
Suppose -5*l + 5*g - 472 = 388, -l + 5*g - 164 = 0. Let t = 49 - l. Is t a prime number?
True
Suppose 67 = 4*c - 3*i - 5, -68 = -4*c + 2*i. Let p = -1 + 2. Suppose c = x + p. Is x composite?
True
Let r = 11 - 6. Suppose -12 = 4*g + 4*o, 4*o - r*o = 2*g + 7. Is 1086/10 + g/(-10) a prime number?
True
Let g(j) = 2 - 5*j**2 + 2*j**3 - 6 - 6*j - 2 - 2*j**2. Let s be g(6). Suppose 0*m = -2*m + s. Is m prime?
False
Suppose 0 = 3*h - 895 + 280. Suppose 4*w + 2*d - 91 = 51, h = 5*w - 3*d. Is w prime?
False
Let z = 3 + -2. Let r(c) = -29*c**3 + 5*c - 5. Let m(i) = -14*i**3 + 2*i - 2. Let p(x) = -7*m(x) + 3*r(x). Is p(z) a composite number?
False
Suppose 2*p - 3*b + 7 + 9 = 0, 3*p - b = -17. Let g = -10 - p. Let z = g + 30. Is z a prime number?
False
Suppose 4816 = 21*t - 3143. Is t prime?
True
Suppose 10*d - 6*d = -12. Let b be (-4)/(0 - (-4)/(-2)). Is 103/(b*d/(-6)) a prime number?
True
Let l(p) = 6*p**2 + p. Suppose -5*u = -6*u - 1. Let z be l(u). Is 66*((-10)/(-4))/z a prime number?
False
Let n = -2 - 4. Let d(p) = 18*p + 7. Let g(r) = -161*r - 63. Let u(i) = 35*d(i) + 4*g(i). Is u(n) a prime number?
False
Suppose 2*x + 2*n - 2424 = -0*x, -5*x + 3*n + 6100 = 0. Is x composite?
False
Suppose -3*x - 5 - 1 = 0. Is 2 - (-345)/(3 + x) a prime number?
True
Let p(w) = 2*w - 2. Let y be p(1). Suppose y*i = -5*i + 2935. Is i composite?
False
Let p(g) = -g**2 + 5*g. Let q be p(5). Suppose 10 = u - q*b - 2*b, 2*u = -b. Suppose 0 = -4*c - u*i + 234 - 22, 0 = -3*i - 12. Is c composite?
True
Suppose 3*y = 283 + 152. Is y a prime number?
False
Suppose -5*w = k - 34, -2*k = 4*w - 2 - 24. Let m = w - -184. Is m a composite number?
False
Let a(z) = z**3 - z**2 - z + 13. Let f be a(0). Suppose -f = -o + 136. Is o prime?
True
Suppose 35 + 188 = n. Suppose -5*o = t - 3*o - n, -o = 3*t - 654. Is t composite?
True
Let z(h) = 39*h**2 - 8*h + 4. Let v be z(-6). Suppose 176 + v = 3*w. Suppose 5*j - 201 - w = 0. Is j composite?
False
Let s = -943 + 1386. Is s composite?
False
Suppose 2*s = -2*s. Suppose s*z = -4*z + 148. Is z a prime number?
True
Suppose -3*x + 9 = -2*s, s = -s. Suppose -206 = -2*k - 2*v + 620, -x*k + 1247 = 5*v. Is k a prime number?
True
Let o be (1/((-1)/230))/(-1). Let l = 125 - 270. Let r = o + l. Is r a composite number?
True
Let y = -1 - -3. Suppose 0 = -2*x - y*k, 2*x - 1 = -k + 1. Suppose 0*r - x*r = -70. Is r a composite number?
True
Suppose -5*v = -5*g - 45, -4*v + 6 = -2*v + g. Let j be (-3 - -2)*(-18 - 0). Let c = j - v. Is c prime?
True
Let v be -12 - (0 - 0 - -2). Let k be v/3*(-27)/2. Suppose a + k = 4*a. Is a a prime number?
False
Suppose f + 2*f = 51. Let i(j) = -j**2 + 30*j - 10. Is i(f) prime?
True
Let g(h) = -21*h + 5. Let n(d) = -20*d + 6. Let y(a) = -7*g(a) + 6*n(a). Suppose 4*c - 1 = 3*u - 8, -3*u = -15. Is y(c) a prime number?
False
Suppose -3*b = -7*t + 2*t + 67, -2*t = 3*b - 10. Is t a prime number?
True
Let f(d) = 13*d - 24. Is f(19) a composite number?
False
Let a(k) be the third derivative of -k**6/120 + k**5/60 + k**4/24 + 77*k**3/6 - k**2. Suppose -p = -5*p. Is a(p) a prime number?
False
Let j(t) = 141*t**3 - 4*t + 3. Is j(2) a composite number?
False
Suppose 227 = 4*r - 2*r + 5*d, 2*d = -3*r + 368. Suppose h = 3*h - r. Suppose 22 = z - h. Is z composite?
True
Let i = 20 + -20. Suppose s - 6*s + 2785 = i. Is s prime?
True
Let r(q) = q**2 - 12*q - 12. Let o be r(12). Is (-1002)/o + (-6)/4 a composite number?
True
Suppose -2*m + 3329 = m - 2*c, 4*m - 4*c = 4436. Is m composite?
True
Suppose -2121 = -5*f + 1289. Suppose -2*t = -4*t + f. Suppose 0*v + 5*v = -4*u + t, u - 83 = -2*v. Is u prime?
True
Let f(z) = z**2 - z + 5. Let y be f(0). Suppose -20 = y*w, 2*t + 35 = 7*t + 5*w. Is t composite?
False
Let t(p) = p**2 + 11*p + 15. Let h be t(-14). Let u = h - 10. Is u composite?
False
Let s(b) = -b - 3. Let t be s(-4). Suppose j = -3*h - t, 4*h - j + 0 - 1 = 0. Suppose -2*i - q = -251, 0 = -2*i + q - h*q + 257. Is i composite?
False
Suppose -m + 0 = -3. Suppose 4*q + 26 = 2*h, -h + q + 21 = m. Is h composite?
False
Is (12 - -34)*(-2 - -4)/2 composite?
True
Let j = 68 + -37. Is j prime?
True
Suppose -6*x + 1361 = -5*x. Is x composite?
False
Suppose 3*x - s - 4*s - 422 = 0, -5*s - 134 = -x. Let r = x - -295. Is r a prime number?
True
Let x(i) = -29*i - 21. Is x(-8) prime?
True
Suppose -w = w. Suppose -231 = -w*s - 3*s. Is s composite?
True
Suppose -3*t = q - 333, 3*t + 80 = 2*q - 622. Suppose 12*s = 9*s + q. Is s a composite number?
True
Let y = 18 + -29. Is (0 + -23)*(4 + y) composite?
True
Let k be 24/(-30)*(5 - 0). Suppose 5 = 2*u + 47. Is k/14 - 1413/u a composite number?
False
Let j(x) = x**3 - 2*x**2 + x - 5. Let v be j(4). Let q be (-3)/(-6) - 91/(-2). Let i = q + v. Is i a composite number?
True
Suppose 0 = 4*z - 14 - 2. Suppose -3*v = -2*n + 379, -v = -3*n + z*n - 192. Is n prime?
True
Let g(m) = -196*m - 9. Is g(-5) a composite number?
False
Suppose 5*x - 841 = -3*c + 145, -5*x + 4*c = -1007. Is x prime?
True
Suppose 2*n - j = 54, n - 3*j + 2*j - 28 = 0. Is n/2*(9 - 4) prime?
False
Suppose 3*o = -2*o + 805. Is o composite?
True
Let u(r) = -r**3 + 16*r**2 - 6*r - 16. Is u(15) composite?
True
Suppose -f = 3*j - 8*j - 3, 3*f - 57 = 3*j. Let v = f + -7. Let x = v - 9. Is x a prime number?
True
Let x be (1 + 5)/1 - -1. Let j = x - 5. Suppose 0 = t + j*t - 489. Is t composite?
False
Let i(l) = -l**3 - l**2 - l. Let k be i(0). Suppose k = -2*w + 584 + 854. Is w composite?
False
Let u = -2 - -5. Suppose -u*t + 7*t = 24. Suppose 0*o - 18 = -o - 4*j, -o + t = -2*j. Is o prime?
False
Suppose -438 - 148 = -2*x. Is x a composite number?
False
Suppose -3*g - 63 = -u, 2*u - 134 = -g + 3*g. Is u a composite number?
True
Let f(p) = 6*p + 3 + 0*p - 2 + 0*p. Is f(3) a prime number?
True
Let q be 412 - (0 - 0) - (3 + -1). Suppose 9 = -3*x + 6*x. Suppose q = -d + x*d. Is d a composite number?
True
Suppose -114 = -3*s + 357. Is s a composite number?
False
Suppose 0 = 3*r - 3*m - 6243, 5*m - 4*m = 0. Is r a prime number?
True
Let q = -4021 - -7020. Is q composite?
False
Let i(j) = j**3 - 7*j**2 - 10*j + 18. Let a be i(8). Suppose -a*z = -0*z - 446. Is z a prime number?
True
Let d(z) = z + 18. Let i be d(-9). Let c be 2/(-7) + i/7. Let n(h) = 5*h**2 + 2*h - 1. Is n(c) a composite number?
True
Let p(a) = -3*a**3 - 5*a**2 + 4*a + 1. Let y(n) = -n**3 + 7*n**2 + 9*n - 12. Let d be y(8). Is p(d) a composite number?
False
Let m = 6 + -4. Suppose 2*f - m = 2. Suppose 5*s = 3*z + 65, 4*z = -0*s - f*s. Is s composite?
True
Let d be (-58)/5 + 6/(-15). Let c be (-2 + (-3)/(-2))*d. Suppose -c*a + 20 = -11*a, -2*w + 282 = -4*a. Is w a prime number?
False
Let k(t) = 24*t**2 - t. Suppose 0*r = 2*r. Suppose -z + 4*v + 9 = r, 5*v + 7 = 4*z - 7. Is k(z) a prime number?
True
Let h(a) = 167*a + 41. Is h(10) prime?
False
Let a(t) = -t**2 + 33*t - 19. Is a(18) prime?
True
Is (-1 - -340)*(6 - 5) composite?
True
Let d(g) be the third derivative of 0*g + 2/3*g**3 - 1/6*g**4 + 0 - 1/120*g**6 - 1/15*g**5 - 4*g**2. Is d(-5) a composite number?
True
Suppose 4*b - 178 = 766. Is (2/(-4) + 1)*b composite?
True
Suppose 2*p - 2 - 2 = 0. Suppose 0*y + y - p = 0. Suppose -y*d + 313 = 4*v + 91, -3*v + 5*d = -160. Is v a composite number?
True
Let k be -51*1/3*-13. Suppose -4*q - 265 = -5*p, 4*q + k = 4*p - q. Is p prime?
False
Let c(r) = -r - 2. Let n be c(-6). Is (-1)/4 + 221/n a composite number?
True
Let o(a) = a + 2*a**2 - a + 6*a + 7 - 8. Is o(-6) a prime number?
False
Let o = -2 + 8. Suppose -o*t + 3*t + 495 = 0. Let q = t + -80. Is q prime?
False
Suppose -4*w + 10 - 2 = 0. Suppose 0*i = l - w*i - 177, 5*i + 349 = 2*l. Suppose 0 = -5*n - 3*t + l, 0 = -3*t - 0*t + 12. Is n prime?
False
Suppose -1660 = -5*o - 415. Is o a composite number?
True
Let n = -2354 - -6115. Is n a prime number?
True
Let r(m) = m**3 + 6*m**2 + 2*m - 2. Let k = -1 - -1. Suppose -i - 5 = -k*v + v, 0 = i - v + 5. Is r(i) a composite number?
False
Let k(q) = q**2 - 8*q + 4. Let n be k(3). Is n/((-5 - -2)/21) composite?
True
Is ((-97)/3)/(1/(-6)) a composite number?
True
Suppose 19*f - 746 = 18*f. Is f prime?
False
Suppose -5*b = -s + 27, 3*b + 2 = 5*s - 45. Suppose -4*c = 4*u -