((-1)/k) composite?
True
Suppose 3*o + y = o + 6, 4*o = -5*y + 18. Suppose o*n - 244 = 2*b, 0 = 2*b + 6 + 4. Suppose -m + n = -142. Is m prime?
False
Suppose 0 = 9*v - 1555 - 2648. Is v prime?
True
Let i = -10 + 4. Let f(b) = -10*b - 9. Is f(i) prime?
False
Suppose 5*t + 125 = 5*h - 110, -3*h = -2*t - 144. Suppose h - 3 = o. Is o a prime number?
True
Let t be -4*1/3*-3. Suppose t*s + 0*s - 2*v = 194, 5*s = 2*v + 240. Suppose 7 - s = -m. Is m composite?
True
Suppose -6 = -m + 9. Suppose 1 + m = 4*r. Suppose l + 0*o - r*o + 6 = 0, -5*o + 25 = 0. Is l a composite number?
True
Is 35156/24 - 11/(-66) composite?
True
Suppose -105 - 340 = -a. Is a a prime number?
False
Let t = -5 - -7. Suppose -2*u = 2*r - 12, r - t = -6. Is u a composite number?
True
Let q(s) = -26*s**2 + s + 2. Let n be q(-2). Let f = 181 + n. Suppose -4*v - f = -9*v + 2*o, -2*o - 47 = -3*v. Is v prime?
False
Is 2199/6*(1 - (-2 - -1)) a composite number?
False
Let a be 4/(-18) - (-114)/27. Suppose 2*n = -2*w + 474, 2*w = -w - a*n + 715. Is w a composite number?
False
Let d = 6 - 3. Let s = -2 + d. Is ((-74)/(-4))/(s/2) a composite number?
False
Let d be (-1 - -7)*(-1)/(-2). Suppose 0*s - s = -d. Suppose 46 = -s*p + 5*p. Is p a prime number?
True
Suppose -3*j + 2*u - u + 241 = 0, 4*j = -3*u + 304. Is j a composite number?
False
Suppose -2*c - 3*w = -22, -2*w + 37 = 5*c + w. Let x = 162 + -102. Let b = x - c. Is b composite?
True
Let o(i) = -153*i + 19. Is o(-8) a composite number?
True
Let k(t) = 2*t**3 - 2*t**2 - 1. Suppose 4*o - 10 = -3*z + 2*o, -4*z + 2 = -3*o. Is k(z) a prime number?
True
Suppose 1774 = -2*z + 4*z. Is z a composite number?
False
Suppose -9*u - 5*u = -3542. Is u composite?
True
Let m be (-1)/3 + 600/18. Suppose 2*i + m = i. Let o = -10 - i. Is o composite?
False
Suppose l = -5*c + 830, -c + 1624 = 2*l - 3*c. Is l a prime number?
False
Let k(m) = 6*m**2 + 9*m + 4. Is k(-9) a prime number?
True
Suppose 2*x + 35 = 4*n - 11, -3*x = -5*n + 58. Suppose a + 45 + 10 = 0. Is (-4905)/a + (-2)/n a composite number?
False
Let n(k) = -20*k + 3. Let s be n(-3). Is 1 + (s - -2) + 1 a composite number?
False
Let a be (-7 - -5)*(-121)/(-2). Let p = -83 - a. Is p a composite number?
True
Let m = 478 + -257. Is m composite?
True
Let f = 3 - -2. Suppose f*u + 5*k - 435 = 0, k = u - 4*k - 63. Is u a composite number?
False
Suppose -6*s + 1146 = -1992. Is s prime?
True
Let b(c) = 41*c**2 + 3*c - 7. Is b(3) prime?
False
Let k = 18 - 13. Suppose 0 = -2*u + 7*u + 3*x - 79, k*u = 5*x + 55. Is u prime?
False
Suppose -920 = 14*g - 8214. Is g a composite number?
False
Suppose d - 9 = -3*q, q - 6*d + 2*d = 16. Suppose 8 = -z + 4*i, 0 = -3*z + q*i - 8 - 0. Suppose -4*s + z*s + 484 = 0. Is s a composite number?
True
Suppose 0*u + u - 56 = 0. Let g = u - -149. Is g a composite number?
True
Let f(i) = -5*i + 13. Is f(0) a prime number?
True
Let r be (-426)/(-8) - (-12)/16. Let l = r + -124. Let b = 101 + l. Is b composite?
False
Suppose 2*s - 4*s = -144. Let n(h) = -4*h**3 + 2*h**2 - h + 1. Let z be n(-2). Let q = z + s. Is q prime?
False
Suppose -6 = -4*d - 34. Is 5/((-5)/11)*d a prime number?
False
Suppose 0 = 3*p - 35 - 748. Suppose -4*i = 5*t - 384, -p = -3*i + 4*t - t. Is i composite?
True
Suppose 4*k = -2*a + 416, 3*k = 3*a + 344 - 14. Is k prime?
False
Suppose 275 = 5*v - 3*j - 907, 3*v - j = 710. Is v a composite number?
True
Let z be 589 + 2/(-1)*1. Suppose 0 = 5*r + 2*l - 599, 4*r - 4*l - z = -r. Suppose 3*p - 2*p = r. Is p a composite number?
True
Suppose 2*i + 127 + 71 = 0. Let a = -66 - i. Is a a composite number?
True
Is (((-124)/3)/(-2))/(2/87) a prime number?
False
Let f = 4 + -1. Let u = f + 0. Suppose -9 - 108 = -u*d. Is d prime?
False
Let g(a) = -9*a + 13. Let v be g(-10). Suppose -2*u + v = 37. Is u a prime number?
False
Let p be -2*(-3)/(-6) - -3. Let y(b) be the third derivative of 23*b**4/12 + b**3/6 + b**2. Is y(p) composite?
True
Let t = 5 - 2. Let c(m) = -m**3 - 12*m**2 + 6*m - 10. Let d(g) = -g**3 - 11*g**2 + 5*g - 9. Let r(h) = t*c(h) - 4*d(h). Is r(-5) a composite number?
True
Suppose o + 0*m + 3*m = 3, 5*o = 2*m + 32. Let q(c) = c**2 - c + 1. Is q(o) a prime number?
True
Let q(j) = -j. Let w be q(-4). Is (5 - w)/(2/38) prime?
True
Suppose -3*d = 5*z - 3628, d + 0*d + 5*z - 1206 = 0. Is d composite?
True
Let y be 4/6*(1 + 2). Suppose 5 - 1 = -2*b, y*b = 4*g - 176. Suppose -2*f = 3*r - g + 2, 23 = f - r. Is f a prime number?
False
Is 120/16*10/3 composite?
True
Suppose 14*j = 16*j - 6. Suppose -2*s + 3*u = -133, -j*u = -3*s - 0*s + 192. Is s a prime number?
True
Suppose -5*p = -2*p - 2070. Let c = -4 - -1. Is p/(-4)*2/c a prime number?
False
Let n(z) = -17 - 16*z + 19 - 21*z. Is n(-3) a prime number?
True
Let p be 1*(-8 - 1) - -2. Let o = 7 + p. Suppose o = -3*g - t + 17, 3*g - 5*t = -2 + 43. Is g a composite number?
False
Let t = 113 - 6. Let j = t - 52. Is j composite?
True
Let j(o) = 3*o + 1. Let q be j(2). Suppose 2*p - 9 = 2*g + 5, 0 = -2*p - 3*g - 6. Suppose -q*v = -p*v - 196. Is v a composite number?
True
Suppose 5*w = -2*v + 3334, 0 = -6*v + 10*v - 5*w - 6608. Is v a prime number?
True
Let p(v) be the third derivative of -v**4/24 + 2*v**3/3 - v**2. Let t be p(3). Let b = t + 22. Is b prime?
True
Let l = 9 - 3. Let v be ((-3)/l)/((-1)/128). Let q = v + -11. Is q a prime number?
True
Let p(l) = l**3 - 8*l**2 - 5*l + 1. Let w be p(7). Let h = w - -210. Is h a composite number?
False
Let b = -244 - -458. Suppose -b = -2*r + 214. Is r a prime number?
False
Let g be ((-4)/(-12))/((-2)/(-12)). Suppose 10 = 2*h + g. Suppose h*l = 5*l - 113. Is l a composite number?
False
Suppose c - 195 = -27. Suppose -2*a - 2*a + 628 = -r, -3*r = -a + c. Is a/7 + 4/(-14) a prime number?
False
Suppose -4*c + 1266 = u, -4*u - 2*c = -2*u - 2526. Is u composite?
True
Let z = -11 + 11. Suppose z = 3*s + u + 3*u - 645, 5*s - 2*u - 1101 = 0. Is s prime?
False
Is (5/(-15))/(2/(-1482)) prime?
False
Let l(h) = -h + 11. Let k be l(10). Let j be (8/10)/(k/(-5)). Is 2*2/j*-47 composite?
False
Is (26/(-6) - 0)/(24/(-1656)) a prime number?
False
Is ((-519)/(-9) - 3)*(-3)/(-2) composite?
True
Let h be ((-6)/(-3))/2*231. Suppose 0*x + h = 3*x. Is x a composite number?
True
Let z(w) = -23*w**2 + 2*w - 8. Let b(k) = 68*k**2 - 5*k + 23. Let j(q) = 4*b(q) + 11*z(q). Let p be j(3). Suppose -3*r + 448 = p. Is r composite?
False
Suppose 5*q - 4*q - 11 = 0. Let r = 14 - q. Is -113*(-4 - (r - 6)) a prime number?
True
Let t(l) be the second derivative of l**5/10 - 5*l**4/12 + 3*l**2/2 - 2*l. Let c(h) = 3*h**2 - h. Let w be c(-1). Is t(w) composite?
True
Let f(c) = -c**2 + c + 1. Suppose 0 = -3*x + 7*x. Let u be f(x). Is 37/(1/(2/u)) prime?
False
Suppose 4*z = -3*v + 164, -2*v + 3*v - 61 = 5*z. Suppose -r = -v - 75. Is r a composite number?
False
Let b(v) = 28*v - 3. Let m(i) = 56*i - 5. Let p(q) = -11*b(q) + 6*m(q). Let t be p(-3). Let d = -32 - t. Is d a composite number?
True
Suppose 0*q - 5*q + 25 = 0. Suppose 140 = -v + 3*v + q*k, -3*v + 5*k + 185 = 0. Is v prime?
False
Let z = 655 + 185. Suppose -z = -5*j - 285. Is j composite?
True
Let k(v) = -2052*v + 1. Is k(-2) a prime number?
False
Suppose 0 = -0*w + 5*w - 595. Is w composite?
True
Let f be 6/6 + (-13 - -2). Let q(m) = 6*m - 1. Let r be q(f). Let o = r + 100. Is o a composite number?
True
Suppose -o + 5*b - 4*b = -12, -5*b = 0. Suppose 4*y - 2*j - 218 = 0, -2*j + o = -6*j. Is y composite?
False
Let l = -298 - -619. Is l prime?
False
Suppose 2*z - 736 = -2*z. Let w be 1460/(-15)*(-6)/4. Suppose -3*h + 5*j - z = -682, 5*j = -h + w. Is h composite?
True
Suppose -f + 3*c = -307, 4*f + c = 5*f - 307. Is f a prime number?
True
Let l(o) = 44*o - 7. Is l(7) prime?
False
Let f(s) = -s**3 - 7*s**2 + 5. Let o = 7 - 14. Let h be f(o). Suppose -97 = -2*g + h*t, -3*g - g - 5*t = -179. Is g a composite number?
True
Let s = -6 - -12. Suppose -3*l + s*l = 15. Suppose 2*f = 2, -5*p + l*f = -3*p - 57. Is p a prime number?
True
Let w = -1731 + 2500. Is w a composite number?
False
Let g be 0 + 0/(-4) + 4. Suppose -g*d - 151 + 639 = 0. Is d composite?
True
Suppose c - 126 = 4*w, -136 = -c - 0*w - w. Is c composite?
True
Is -1*10/(-4)*(-452)/(-5) prime?
False
Suppose -3*q + 2*q = b - 4, -3*b - 4*q = -13. Suppose -j - b*j - 688 = 0. Is (-3)/(-5) - j/5 a prime number?
Fa