s o(y) a composite number?
True
Let u = 18 + -13. Suppose -u*a + 116 = -o, o - 5*o + 111 = 5*a. Is a prime?
True
Suppose 0*j + g = -2*j + 14, 5*j + 4*g = 41. Suppose 0 = -j*r, 5*l + 8*r = 3*r + 1115. Is l prime?
True
Let f(m) = 2*m**3 - 2*m**2 - 5*m + 2. Let s be 1*-1 - 8/(-2). Is f(s) a composite number?
False
Let y = -2 - -2. Suppose y = -4*b - 3 + 191. Is b a prime number?
True
Suppose 14 = l - 83. Let g = l - 44. Is g a composite number?
False
Is (-1 + (-20)/(-8))*94 composite?
True
Suppose 4*c - 7 - 13 = 0. Suppose -c*s + 906 = -589. Is s prime?
False
Let g = -19 - 3. Is 14/77 - 4198/g a prime number?
True
Suppose 4*k - 2*j = 2, 0*k - 5*k + 16 = 2*j. Suppose 2*y = 5*m - 185, -3*m - k*y + 66 = -61. Is m composite?
True
Let c be 12*1 + 3 - -1. Let o = 223 - c. Suppose 0 = -4*d - 2*g - 25 + o, 0 = -5*g + 25. Is d a prime number?
True
Suppose 0 = -4*m + 4*j + 984, 3*m - 6*j + 2*j - 736 = 0. Suppose m = 2*i - 3*x, 0*x - 8 = -4*x. Is i a prime number?
True
Let w(r) = r**2 + 6*r - 9. Let s be w(7). Suppose s + 364 = 2*o. Is o composite?
False
Is 39/(-2*(-3)/6) a prime number?
False
Let i = -928 + 1679. Is i a prime number?
True
Let j(y) = 2*y + 3. Let b be 9/(-18)*(-8)/1. Is j(b) prime?
True
Let t = -22 + 35. Suppose 3*c + t - 220 = 0. Is c a composite number?
True
Let h = 5 + -2. Suppose 7*s - 300 = h*s. Suppose 0 = -4*o - s + 199. Is o composite?
False
Let i(y) = y**2 + 2*y - 2. Let t be i(2). Let s be (-1)/4*2*t. Is (74/6 - s)*3 composite?
True
Suppose -4*z - 131 - 181 = 0. Is (12/18)/((-2)/z) a composite number?
True
Let x(v) = 2*v**2 - v**2 - 6*v + 8*v + 7*v + 7. Let w be x(-6). Let z = 17 + w. Is z a composite number?
True
Let t(g) = 0*g**2 + 0*g - 1 - 2*g - 2*g**2 + 2*g**3. Let c be t(-2). Is ((-4)/12)/(1/c) a composite number?
False
Suppose 4*v - 9 + 25 = 0. Is (-31*(-4)/v)/(-1) a composite number?
False
Let z(d) = 15*d**2 - d + 1. Let r be z(2). Suppose -3*s + 547 = -r. Is s prime?
False
Let v(u) = -2*u + 6. Let m be 8/6*27/(-6). Let r be v(m). Let z = r - 11. Is z prime?
True
Suppose 2*h + 5 = h. Let d(q) be the second derivative of q**4/4 + q**3/2 - 5*q**2/2 - 3*q. Is d(h) composite?
True
Suppose -15*l + 6666 + 2139 = 0. Is l composite?
False
Is (-78)/(-8)*8/3 prime?
False
Let s = -190 - -110. Let c = s + 54. Let f = -16 - c. Is f a prime number?
False
Is (-5 + 3)/((-4)/470) a prime number?
False
Suppose 0*q - 26 = 4*q + 2*x, x = -3. Let z(k) = -6*k**3 - 2*k**3 - 6*k + 7*k**3 + 6 - 6*k**2. Is z(q) prime?
True
Let h(n) = 43*n**2 + 3. Let v be h(3). Suppose 5*f - q - 2906 = 0, -4*f + 2715 - v = -q. Is f composite?
True
Is (1 + 676)/(2/10) composite?
True
Let n = -3 - -5. Suppose -n*h + 334 = 92. Is h composite?
True
Let n = -478 + 1319. Suppose -3*d + 3*t - 1395 = 0, -2*d - 2*t = 85 + n. Let z = d - -759. Is z prime?
False
Let x(k) = -28*k**3 - k. Let g be x(-1). Suppose -4*u + 51 + g = 0. Suppose -3*l + u = -13. Is l a composite number?
False
Suppose 0*w + 3*w - 27 = 0. Let p be 0 - -3 - (w + -6). Is p + -2 + 0 + 33 a prime number?
True
Suppose 4*p - 14 = 2*p - f, 0 = -4*p - f + 24. Suppose 14 = g - 11. Suppose p*m = 10 + g. Is m a composite number?
False
Let j = 22 - -55. Is j prime?
False
Let s be 2/4*4 + 2. Suppose d - 63 = -0*d + 2*y, s*d - 3*y = 257. Let r = d + -34. Is r composite?
False
Let f(u) = -6*u**2 - 4 + 3 + 2*u**2. Let k be f(-1). Let z = 28 - k. Is z composite?
True
Let v be 6/(-10) + 4/(-10). Let d be -38*1/v*2. Is d/3*6/4 prime?
False
Is (-1 - 1) + 6743/11 prime?
False
Let t = 57 - -14. Is t a prime number?
True
Is (35/(-10))/(21/(-10) - -2) a composite number?
True
Suppose -2*y = -3*v - 5841, 2*y + 2938 = 3*y - 5*v. Is y a composite number?
True
Let y(c) = -2*c**3 - 6*c**2 - 5. Let f be y(-5). Suppose 9*b - f = 4*b. Is b a composite number?
False
Suppose 0 = 6*j - 5*j - 111. Let x = 312 - j. Is x a composite number?
True
Let h be 28/6 + (-6)/9. Suppose w = -5*k - 22, 5*w - k + h*k = 0. Suppose 6*y = -4*d + 3*y + 98, -3*d + 75 = w*y. Is d composite?
False
Suppose 1694 = 8*p - 1434. Is p a composite number?
True
Let l(x) = -x + 5. Let d be l(5). Suppose 792 = -d*b + 4*b - 4*u, u = -4*b + 787. Suppose 5*j = 198 + b. Is j a composite number?
False
Let f(a) be the third derivative of -a**6/120 + 2*a**5/15 + 11*a**4/24 + a**3/2 + 4*a**2. Is f(8) prime?
False
Suppose 8 = -y - 0. Let n = 17 + y. Is n a composite number?
True
Let d(t) = 10*t**2 + t. Suppose 3 + 1 = j. Suppose j*z - 1 = n, -2*n + 0 = -5*z - 1. Is d(z) a composite number?
False
Suppose -3*s + 5*m = -7*s + 3389, -3 = m. Is s a composite number?
True
Let m = -237 - -1748. Is m composite?
False
Suppose 2*p - 58 = 4. Suppose -2*y = -p - 351. Is y composite?
False
Let n be (-27)/(-9) + -3*1. Suppose -3*c - 2*c + 1865 = n. Is c prime?
True
Let l(f) = 5*f**3 - 6*f**2 - 7*f + 6. Is l(5) a composite number?
True
Let k = 8 - 2. Suppose -3*h - 6 = -y - k*h, -3*y + h = 12. Is 1/1 - 27/y prime?
False
Let r(c) be the second derivative of c**4/4 - 2*c. Let a be r(-1). Is (-27)/6*(-2)/a a composite number?
False
Is ((-30)/(-12))/(3/1686) composite?
True
Suppose 7*a - 2*a = 20. Let f(g) = 2*g**3 - 3*g**2 - 2*g + 3. Let m be f(a). Let h = m - 44. Is h a composite number?
False
Let n be ((-2)/(-4))/((-3)/6). Let q be (-15)/5 + 63 + n. Suppose -5*d + 3*x = -265, -206 = -5*d + 2*x + q. Is d a composite number?
False
Suppose -7*m = -176 - 1889. Is m a composite number?
True
Let w = 2 - -2. Let l = -5 + w. Is (-2)/6*(-38 + l) prime?
True
Suppose -4*g + 4 = -3*g. Let k be g + (-1 - 3/(-3)). Suppose 0 = 5*s - 4*u + 6*u - 233, k*s + 5*u = 183. Is s prime?
True
Let d be 2/4*(0 + 0). Suppose d = 2*z - 3*s - 50, s - 3*s = 0. Is z prime?
False
Suppose 2*x - 42 = 3*x. Let a = x - -111. Is a composite?
True
Let p = 3 + -1. Suppose -2*m = -p*c + 24, 20 = c - 8*m + 5*m. Is ((-30)/c)/(2/(-8)) a prime number?
False
Suppose -g - 252 = -2*g. Suppose f = 2*m + 123, 2*m + g = 2*f + m. Is f composite?
False
Let u be 0/(-1) + 0/(-5). Suppose u = -j - 1 - 0. Let l = j + 14. Is l prime?
True
Let s = -3 + 6. Let j = -1 - s. Is j/16 - (-149)/4 a composite number?
False
Let r = 85 - 48. Let t = 22 + r. Is t a prime number?
True
Let d be (-61)/(-7) + (-4)/(-14). Is 22/4*(5 + d) prime?
False
Let o(z) = -12*z - 1. Suppose 2*n + 3 = 15. Let t = n - 11. Is o(t) a composite number?
False
Let w be (2/(-1))/(12/(-30)). Suppose w*j - 300 = -5*y, 3*j - 5*j + 102 = -4*y. Is j composite?
True
Suppose 2*l - 7304 = -0*l - 5*w, -3*l + 2*w + 10937 = 0. Is l a composite number?
True
Let l = -1 + -6. Let a be 453/(-7) - (-2)/l. Let q = 62 - a. Is q a prime number?
True
Let w(l) = 5*l + 1. Let x be w(3). Let b(j) = -j**2 + 25*j + 5. Is b(x) composite?
False
Let g(s) = 9*s - 3. Suppose 2*l = -p + 5, -25 = -l + p - 6*p. Let k = 2 - l. Is g(k) a prime number?
False
Let r be 6/27 - 328/18. Let z be (-2)/(-3) - (-120)/r. Is 3/(-2)*(z - 20) a prime number?
False
Suppose 0*y = y - 3. Is 89 - (-1 - (-2 + y)) composite?
True
Is 1148/6 - 2/6 prime?
True
Suppose -v + 5 = -2*v, -2*v = -4*k - 874. Let w = 894 + k. Is w a prime number?
True
Let j(b) = -28*b - 7. Suppose 2*f = 2*s + 18, -5*f + 3 = -12. Is j(s) prime?
False
Suppose -2*t = -5*k + 12, -3*k + 22 = 4*t - 6. Is 830/(-4)*(-8)/k a prime number?
False
Let z be ((-33)/9 + 3)*-3. Let n be z/(3 - 1) + -53. Let i = -18 - n. Is i a prime number?
False
Let o be (-2 - -4) + 0 + 4. Suppose -o*i + 805 = -i. Is i a composite number?
True
Let u(l) = 5*l**2 - 3*l - 17. Suppose -4*n = -7*n - 21. Is u(n) a composite number?
True
Suppose 2*d - 6 + 4 = -l, 2*l - 2*d + 8 = 0. Let p be (-2 - 9/(-6))*l. Is p*-3*125/(-15) prime?
False
Suppose -c + 3 = -3*b, 4 = c - 4*b - 0. Let w be 1*(c + -1) - 527. Let g = -187 - w. Is g a composite number?
True
Suppose 0*p - 5*p + 35 = -5*s, 4*s = -4*p + 20. Suppose z = -p + 39. Is z composite?
True
Let c be 36/(-3)*(-30)/4. Suppose 2*z = -x + 47, -2*x + 1 = 5*z - c. Is x composite?
False
Let v be -1*(-6)/(-15)*-10. Suppose 11 = v*y - 1. Suppose 0 = -d + 1, -y*a + 4*a - 45 = -2*d. Is a composite?
False
Let b = -8 + 9. Let q be 18*(b - 21/(-9)). Suppose -x = 3*k - 28, -q = -3*x - 3*k + 2*k. Is x a prime number?
True
Let v = 29 + -29. Suppose 2*u = -v*u + 74. Is u a composite number?
False
Let r(a) be the third derivative of -5*a**4/24 - a**3/2 - a**2. Suppose 15