e w*n + 0*n - 231 = 0. Is n composite?
True
Let s = -115 + 182. Let d = s - -154. Is d a composite number?
True
Suppose 2*r + 3*x - 16 = 7*x, -4*r + 32 = -3*x. Suppose r*j - 4*j = 172. Suppose 2*z - 19 = k, 4*z + 3*k - j = 6*k. Is z a composite number?
False
Let r = 0 - -1. Suppose 5*g - 3*g - 10 = -2*f, -4*g - 1 = -3*f. Is 30 + (f - r) + -1 prime?
True
Let y = 442 - -819. Is y prime?
False
Let f = 6 - 12. Is f/(-9)*105/2 composite?
True
Let f = 170 - 608. Let p = 865 + f. Is p composite?
True
Let i(s) = -113*s - 12. Is i(-5) a composite number?
True
Let l(f) = -f**3 + 13*f**2 - 16*f + 2. Let i be l(12). Is ((-84)/(-24))/((-1)/i) a composite number?
True
Suppose 71 = 5*x - 1239. Suppose -4*h + 3*r + x = 0, 4*r + 126 = h + h. Is h prime?
True
Let z(j) = 9*j**2 + 4*j - 1. Suppose 6 = u + 1. Suppose u*q = -9 - 11. Is z(q) composite?
False
Let b = -80 + 27. Suppose 0*w + 5*y + 122 = w, 3*w - y - 422 = 0. Let p = w + b. Is p a prime number?
True
Let f(c) = 5*c**3 + 10*c**2 + 10*c + 10. Let g(q) = 6*q**3 + 10*q**2 + 10*q + 10. Let k(o) = -5*f(o) + 4*g(o). Let s be k(-9). Is 7/((-14)/(-24)) - s prime?
True
Let d(r) = 83*r + 2. Let x(g) = -g - 1. Let t(c) = -d(c) - 3*x(c). Is t(-2) a composite number?
True
Suppose -4*f + 1489 = -187. Is f a prime number?
True
Suppose 4*a + a = 0. Suppose -2*r + 4*r - 154 = a. Is r prime?
False
Let o(f) = 5*f + 1. Let q(h) = -h. Let n(c) = o(c) + 6*q(c). Let s(u) = -254*u + 127. Let z(x) = 127*n(x) - s(x). Is z(1) a prime number?
True
Is 1*(-7)/(-3)*87 a composite number?
True
Let y(m) = m**3 - m + 31. Is y(0) prime?
True
Let a(h) = -7 + 0*h**3 + 2*h**2 + h**3 + 11*h**2 + 5*h. Is a(-6) prime?
False
Suppose 0 = -2*b + 34 + 28. Suppose -5*x + 44 = -b. Is x prime?
False
Suppose -4*k = -2*d + 42, -2*k + 0*d - 26 = -2*d. Let t be 9/(-12) - (-1)/(-4). Let p = t - k. Is p a composite number?
False
Let b(k) = -8*k**3 + 1. Suppose -3*g = -0*g + 3. Is b(g) a prime number?
False
Suppose -5*i = 0, -6*p - 4*i = -2*p + 140. Is 15/p + (-808)/(-7) composite?
True
Let g = -3 + 8. Let x(u) = -g*u**3 + 1 - 7*u**3 + 2*u + 31*u**2 - 29*u**2. Is x(-1) composite?
False
Let a(j) be the first derivative of -j**3/3 + 2*j**2 - 6*j - 4. Let c be a(9). Let n = 416 + c. Is n a prime number?
False
Let n = -1 - -3. Suppose 771 = n*x + x. Suppose 2*u = u + x. Is u a composite number?
False
Let g(f) = 8*f**2 + 6*f + 1 + 8*f**2 - f**2. Is g(-6) a prime number?
False
Let j = 9 - 5. Suppose 40 = -3*t + 3*u + 2*u, -64 = j*t + 4*u. Is (-109)/(-3) - 10/t a composite number?
False
Let m = 664 - 107. Is m a prime number?
True
Let p = 6098 + -3265. Is p a composite number?
False
Let t(v) be the first derivative of -63*v**4/2 + 2*v**3/3 - v + 2. Is t(-1) prime?
True
Is 3*(881/9 + 4/(-18)) a composite number?
False
Suppose -3*w - 6 = 474. Is ((-26)/8)/(8/w) prime?
False
Let r = -23 + 110. Is r a composite number?
True
Is (38/(-4))/((-1)/2) composite?
False
Suppose 0*y - 153 = -3*f - 2*y, 0 = -f - 3*y + 51. Let v = f - 36. Is v composite?
True
Let a = 9 + -7. Let w = 0 + a. Suppose w*z = -5*g - 3*z + 370, -g + 2*z + 89 = 0. Is g prime?
True
Let n(c) = -4*c**3 - 2*c**2 - 3*c + 9. Let t be n(7). Let u(y) = -y**2 - 3*y + 2. Let v be u(-5). Is (-1)/4 + t/v composite?
True
Let o be 11 + (-3)/(-3) + -1. Let p = o - -20. Is p a prime number?
True
Let i be (-114)/(-15) - 6/10. Suppose 4*c = -i + 23. Suppose 422 = c*k + 34. Is k a composite number?
False
Let h be 3 + 228 + -3 + 2. Let x = -141 + h. Is x a composite number?
False
Let d be (6/(-8))/(2/(-8)). Let f be 1/(0 - 3/d). Let i(w) = -76*w + 1. Is i(f) prime?
False
Is 191 - (0/9)/(-1*1) prime?
True
Let s = -9 + 11. Suppose -x - 762 = -2*k, 0 = k - s*k - 3*x + 367. Is k a composite number?
False
Let w be 2*1 + (5 - 5). Suppose 5*s = -r + 28 + 603, 2*r = -w*s + 246. Is s a prime number?
True
Suppose -2*w = -0*w + 6, 3*c + 5*w - 108 = 0. Let g = 67 - c. Is g composite?
True
Let j(c) = -117*c - 2. Let t be j(2). Let q = 531 + t. Is q composite?
True
Suppose b = -3 - 7. Is (-4)/(-2)*(-545)/b a composite number?
False
Is (6/4)/(6*4/121712) a composite number?
False
Let d be 51/(-34)*(-1 + -1). Suppose 4*t = n - 378, -1337 - 570 = -5*n + d*t. Is n prime?
False
Suppose 0 = -3*m - 2*x + 3 + 7, 2*x = -5*m + 14. Suppose 97 = 5*f - g - 3*g, 4*f = m*g + 80. Is f a prime number?
False
Let p(l) = 5*l**2 - 4*l + 4. Suppose 0 = -2*v - 3*v + 15. Is p(v) a prime number?
True
Suppose 27*c - 1580 = 23*c. Is c composite?
True
Let d(s) = 352*s**3 + s. Is d(1) a composite number?
False
Is -2 + (151 - 0/(-3)) a composite number?
False
Let l(z) = z**3 - 6*z**2 - 7*z - 13. Let y be -9*(-1)/(0 - -1). Let s be l(y). Is (-1)/((-2)/(s - 1)) composite?
False
Is ((-36648)/6)/(-4) + -5 + 1 a composite number?
False
Suppose -4*z + 7 = -3*z. Let j = z - 7. Suppose j = i + 4*y - 11, 2*i - 3*y - 139 = -2*i. Is i a composite number?
False
Let a be 3*(1 - 258/9). Suppose -3*n - 5*w + 496 = 0, -n + 154 = -0*n - 4*w. Let p = n + a. Is p a prime number?
True
Suppose -39 = -3*m - 0. Suppose 0*l - 4*l = -q + 29, 7 = -2*l - q. Let g = l + m. Is g a composite number?
False
Let p be (-2)/(-5) - 18/(-5). Suppose 2*k - p*i = -0 + 4, -5*k + 1 = -i. Suppose -4*d - 3*c + 335 = 0, -d - 2*d + 5*c + 244 = k. Is d composite?
False
Let n = 22 + -18. Suppose 0 = -4*g - n*x + 708, g + 354 = 3*g - 3*x. Is g prime?
False
Let x(f) = -f + 8. Let p be x(6). Suppose 959 = 5*t + p*s, 3*s - s = -2*t + 386. Is t a prime number?
True
Let u = 2222 + -1575. Is u composite?
False
Let z(h) = -h**3 - 6*h**2 + 6*h - 7. Let m be z(-7). Suppose m = -3*u + 2*t + 279, 2*u + 2*t - 188 = 4*t. Is u a prime number?
False
Let s = 375 + 18. Is s a composite number?
True
Let w be (-1 - -2) + 375 + -1. Let m = w - 238. Let l = m + -40. Is l prime?
True
Suppose -24 = 6*g - 3*g. Let h be 1 + -1 + (0 - g). Is ((-6)/h)/(2/(-104)) a prime number?
False
Let v(x) = -167*x - 5. Is v(-6) a prime number?
True
Let j(u) = -u**3 + 9*u**2 + 3*u + 4. Is j(-3) a prime number?
True
Let x(f) = f**3 + 10*f**2 - 7*f - 12. Is x(-10) composite?
True
Suppose 4*i - 3*i = 1. Is 1 + -2*(-6)/i a prime number?
True
Let k(l) = 163*l - 17. Is k(4) composite?
True
Let q = -5 - -10. Suppose 3*a - q - 7 = 0. Suppose 0 = a*n - 74 - 10. Is n a prime number?
False
Suppose 0*f = -4*f - v + 10, 0 = -4*f - 3*v + 6. Suppose -4*d = 2*r - 3*d - 265, 0 = -r + f*d + 122. Is r prime?
True
Is -4 - 69*-2 - 3 a composite number?
False
Let d be (-190)/(-45) - (-4)/(-18). Suppose -d = -u - u. Suppose u*x = 2*n + 4*x - 262, 0 = 3*n - 2*x - 373. Is n a composite number?
False
Is (-1)/((4/(-419))/4) prime?
True
Let l(o) = 13*o - 15. Is l(10) a prime number?
False
Let t be (-998)/((-1)/(1/(-2))). Let n = 708 + t. Is n a prime number?
False
Let j be 14 - (1 - (-3 + 5 + -3)). Let p be (-1)/2 + 51/6. Is (-3)/j + 1018/p a prime number?
True
Suppose -2*l + 29 = -19. Let c = 47 - l. Is c prime?
True
Suppose 2*j - 5 - 3 = 0. Let y be (0 + 2)/(-6) + 2/(-3). Is (23*y)/(3 - j) composite?
False
Let m(r) = -r**3 - 5*r**2 - 4*r + 1. Let u be m(-4). Let o be (6 + 0 - u) + -1. Suppose 201 = o*k + 53. Is k a composite number?
False
Let l = -2 + 4. Let i = -2 + l. Let m(x) = x + 23. Is m(i) composite?
False
Let w be (-2)/(-6) - 4/12. Let l(o) = 10*o + 7 - 7*o**2 + w + 13*o**2. Is l(-6) a prime number?
True
Let j(i) = 1249*i**3 + i**2 - 3*i + 2. Is j(1) prime?
True
Let z be 26/(-4)*8/(-2). Suppose 130 = 4*t - z. Is t a composite number?
True
Let n(g) = 9*g + 1. Let i be n(1). Let r = -30 + 45. Let z = r + i. Is z composite?
True
Let i(a) = 2*a**2 - 1. Let v be i(2). Is (-2208)/(-56) - 3/v a prime number?
False
Suppose 0 = -3*o - o + 24. Suppose v = 4*j - 15, 9 = 5*j - v - 9. Suppose 4*c = -5*w + 193, o*c - j*c = w - 31. Is w prime?
True
Is (-26)/((-300)/145 - -2) prime?
False
Let w(m) = m**3 - 10*m**2 + 12*m + 7. Is w(10) composite?
False
Let b(d) = -d**2 - 3*d. Let k be b(-6). Let x = k + 33. Is x a prime number?
False
Let w(v) be the first derivative of v**4/2 - 2*v**3/3 - v**2 + 1. Let u be w(2). Suppose -s = -2*p + 239, -3*s = u*p - 259 - 214. Is p a composite number?
True
Suppose 2*v = -2*g + 986, -2*v - g - 1972 = -6*v. Is v a prime number?
False
Suppose -4*v - 315 = t, -3*t + 3*v = -530 + 1430. Let f = t - -868. Suppose 5*z = -230 + f. Is z a composite number?
Fa