 = -63, -v = 5*h - y. Is h prime?
True
Suppose 4*b = -b + 795. Is b prime?
False
Let m(c) = -c**2 + 3*c. Let v be m(6). Is 322/6 - (-12)/v a prime number?
True
Suppose 0*x + 3*x = 555. Is x a prime number?
False
Suppose -2*k + 29 = -y + 4*y, 4*k + 63 = 5*y. Let h be (-92)/(-5) - (-2)/(-5). Let n = h - y. Is n a prime number?
True
Let k(w) = -24*w - 6. Let l(b) = -12*b - 3. Let h(s) = -5*k(s) + 9*l(s). Is h(10) prime?
False
Suppose -3*b + 4631 - 143 = 0. Let i be 1/(2*2/b). Let q = -155 + i. Is q a prime number?
False
Suppose -c + 5 = 4*w, 2*w - 3 + 8 = -3*c. Let h be (-1)/(-2) + c/(-2). Is (74/6)/(h/6) a composite number?
False
Is (-3674)/(-6) + (-21)/9 + 1 composite?
True
Is 2/16 - 247/(-8) prime?
True
Let t(f) = -44*f. Let i(o) = o - 1. Let b(q) = i(q) + t(q). Is b(-2) a composite number?
True
Let p(h) = 8*h**2 - 5*h - 3. Let u be p(-6). Is (3 - 2/(-2)) + u a composite number?
True
Suppose -32 = -5*r - k, -r - 4*k + 2*k + 1 = 0. Suppose -r*h + 130 = -2*h. Is h a composite number?
True
Is (-6)/(-2)*74/6 a prime number?
True
Suppose -4*q - 10 = -26. Let g be -154*1/(-2)*1. Suppose 0 = -q*x + d + g, -d = x - 0*d - 18. Is x composite?
False
Is (3 - (-10)/(-4))*6652/2 prime?
True
Let b(o) = 18*o**2 - 10*o - 7. Is b(9) composite?
False
Suppose -14*o - 10*o + 164712 = 0. Is o composite?
False
Suppose 5*w - 88 = 3*w. Is -4*-1*w/16 composite?
False
Suppose -2741 = -30*h + 29*h. Is h composite?
False
Let l = 0 + -1. Let j = 11 - 48. Is -1 + j/l + -1 a prime number?
False
Let k(p) = -112*p + 13. Is k(-5) a prime number?
False
Let w(y) = -7*y - 1. Let b(u) = 7*u. Let q(k) = -6*b(k) - 5*w(k). Is q(-4) a prime number?
False
Let t(q) = q**3 - 4*q**2 + 5*q - 6. Let g be (-9)/(-3) + -4 - 7. Let x = g - -12. Is t(x) a composite number?
True
Let q be ((-32)/20)/(4/170). Let c = -22 - q. Is c composite?
True
Suppose d - 4 = -0*d. Is 10/(0 + d/158) composite?
True
Suppose -4*o + 2 = 2*r, -3*r + 0 = 4*o + 1. Suppose 3 + o = s. Suppose s*c - 395 = -0*c. Is c a prime number?
True
Let v(d) = d - 2. Let g be v(6). Suppose -5*l + 25 = g*m, -4*l = 4*m - 10 - 6. Is 2*l/(-24)*-8 composite?
True
Let d(s) be the third derivative of -s**5/60 - s**4/3 + 5*s**3/3 + 2*s**2. Let a be d(-9). Is (-16 + -1)*(-4 + a) a composite number?
True
Let a(y) = -5*y - 2. Suppose -l + 3 = -4*w, l + w - 4*w - 1 = 0. Is a(l) a composite number?
False
Let t be (-1)/(-2) + (-18)/12. Let h be (t - -30)*(1 - 2). Let p = h - -44. Is p a prime number?
False
Let d = 303 + 386. Is d prime?
False
Suppose -2*z + 0*z = -4. Suppose -w + 162 = 2*n, z*n + 0*w = w + 154. Is n composite?
False
Let i = -24 - -47. Is i composite?
False
Suppose -3*l + 4*o + 7 = -6*l, 6 = -3*l - 3*o. Is (14/3)/(l/(-3)) a prime number?
False
Let d be (-16*16)/((-4)/(-22)). Let f = d - -2085. Is f prime?
True
Let m = -21 + 59. Let c be m/12 + (-3)/18. Let x = 0 + c. Is x a prime number?
True
Let z(r) = -2*r**3 - 6*r**2 - 20*r - 17. Is z(-9) a composite number?
True
Suppose 0 = 4*n - n + 6. Is (305 - 6/n) + -3 prime?
False
Suppose -2*u + 3 = 7, 3*v + 4*u - 283 = 0. Is v a composite number?
False
Suppose 2 - 10 = -4*i. Suppose -3*z + i = -4*z. Let p(u) = 7*u**2 + 3*u + 1. Is p(z) a composite number?
False
Let g = -150 - -371. Is g a composite number?
True
Let o = 8 + 2. Suppose 0*j + 3*j = -6, -2*i + 2*j + o = 0. Suppose -i*p + 23 = -46. Is p prime?
True
Suppose 3336 = 6*d - 2*d + x, 0 = -5*d - 2*x + 4167. Is d composite?
True
Is ((-74)/4)/(34/(-340)) a prime number?
False
Let k(h) = -5 + h + 2 + 100*h**2 + 1 + 3. Let d be k(-1). Let i = d - 53. Is i composite?
False
Let a(y) = 415*y + 1. Is a(4) a composite number?
True
Suppose -19 = -5*q - 3*o, -3*q - 4*o + 0 = -18. Let p(h) = -h. Let f be p(-5). Is 8 + (-5)/(f/q) a prime number?
False
Let h be (-3)/7 + 102/42. Suppose -h*q - 2*q = -628. Is q a prime number?
True
Let p be 2/9 - 572/(-18). Let b = p + 51. Is b a prime number?
True
Is ((-6)/9)/((-6)/2007) composite?
False
Let a(s) = s**3 + 3*s**2 - s + 1. Let b be a(-3). Suppose -3*g + b*g - 2 = 0. Suppose -2*w + 12 = -g. Is w a composite number?
False
Let t = 181 + -18. Is t a composite number?
False
Suppose -10 = -g - g. Suppose -f = -g*f + 508. Is f a composite number?
False
Let h be 1/(-3)*30/(-2). Suppose -h*v + 14 = -3*v. Let x(g) = g**3 - 6*g**2 - 3*g - 6. Is x(v) a prime number?
False
Suppose 0 = -3*n + q + 4*q + 1066, -q = 5. Let l = n + -228. Is l composite?
True
Let i(v) = 56*v - 1. Is i(2) a composite number?
True
Suppose -2 = -q + 3. Suppose 3*l - 4*j - 6 = 0, 3*l + 5*j + q = 11. Let m = 81 - l. Is m prime?
True
Suppose 4*m - 3*w + 2*w = 0, 0 = -w. Let q(v) = v**2 - v + 63. Let b be q(m). Let c = b + -30. Is c composite?
True
Let q(k) = k**3 - 8*k**2 + 6*k - 6. Let v be q(7). Let g(l) = l**3 + 14*l**2 + 8*l + 18. Is g(v) a prime number?
True
Let m = -170 - -311. Is m a composite number?
True
Let n(r) = 13*r - 4. Let v be n(-3). Let u = -22 - v. Is u composite?
True
Let n(z) = -2*z + 3. Let p be n(3). Let j(u) = -u**3 + 4*u**2 + 7*u - 4. Let t be j(5). Is (-2)/t*79*p prime?
True
Let w = -54 - -82. Suppose -4*q + 3 = -3*h - 4, 32 = -3*h - q. Let b = h + w. Is b a composite number?
False
Let r = -23 + 112. Is r prime?
True
Is (-2)/((1/(-53))/((-6)/(-12))) a prime number?
True
Let l be (0 + (-1590)/(-9))*3. Let o = l + -54. Suppose 0 = 3*u + u - o. Is u composite?
True
Let o(z) = -z**3 + 9*z**2 - 9*z + 5. Let u be o(8). Is (-548)/(-12) + (-1)/u a composite number?
True
Let q be ((-75)/4)/(2/8). Let o = q - -117. Suppose 0*n = 3*n - o. Is n a prime number?
False
Let a = 7 + -5. Let q(w) = -w**2 + 7 - 8*w - 3*w**a + 6*w**2. Is q(7) a prime number?
False
Let g(d) = d**2 + 191. Is g(0) composite?
False
Let k(c) = -323*c + 1. Is k(-2) a prime number?
True
Let n be 6/21 + (-1118)/(-7). Let l = n + -17. Is l composite?
True
Let b(r) = 238*r**2 - 3*r + 7. Is b(2) a prime number?
True
Suppose -7*h = -3*h + 12. Let k be (-2)/6 - 913/h. Suppose 181 + k = 5*j. Is j a composite number?
False
Suppose 4*y + 134 = -86. Is y/(-5) + -2*1 composite?
True
Let z(i) = 29*i**2 - 18*i - 17. Is z(-6) composite?
True
Suppose 0*b = -3*b + 9. Let v be b/(-1)*(-4)/(-3). Let p(f) = -f**3 + 4*f**2 - 3*f + 5. Is p(v) a prime number?
False
Let k(q) = q**3 - 5*q**2 - 7*q + 4. Let b be -2 - -7 - (2 - 1). Let z be 2*(14/b)/1. Is k(z) composite?
False
Let z(c) = 1 + 2 - 2 - 2 - 86*c**3. Let r be z(1). Let p = r + 172. Is p composite?
True
Suppose -5*s - 5*l - 525 = 0, -129 = -0*s + s - 5*l. Suppose y + 151 = -y - t, 5*y - 3*t + 383 = 0. Let b = y - s. Is b a prime number?
False
Let v(w) = -970*w + 2. Is v(-2) composite?
True
Let l = 788 + -270. Suppose -4*p = -g + 107, -4*g - 5*p + 3*p = -l. Is g prime?
True
Let j(g) = 11*g**2 - 7*g + 9. Let w be j(9). Is (w - -4) + 2*-1 composite?
False
Let m be -2*((-38)/(-4) + -2). Let k be 54/(-10) - m/(-25). Let y = 9 + k. Is y composite?
False
Is (-4)/(-18) - 13390/(-90) a prime number?
True
Let s(o) = -44*o + 2. Suppose -4*x - 4 = 0, -8 - 6 = 4*r - 2*x. Let i be s(r). Let t = -95 + i. Is t prime?
True
Is (4 - 1) + 236/(6 - 4) a composite number?
True
Let c be (0 + -1 + 1)/(-1). Suppose -5*u + 3*o + 16 = -44, c = -4*u - 2*o + 70. Is u a prime number?
False
Suppose 12 = -4*m + 104. Is m prime?
True
Let b(d) = 17*d - 8. Let g(x) = -16*x + 9. Let h(p) = p + 1. Let m(v) = -g(v) + h(v). Let r(o) = -6*b(o) + 5*m(o). Is r(-7) composite?
False
Let f(y) = 5*y + 1. Let g be f(-1). Let m(w) = w**3 - w + 1. Let j(o) = -4*o**3 + 5*o**2 + 4*o - 4. Let p(r) = j(r) + 5*m(r). Is p(g) a composite number?
True
Suppose m + m + 12 = 0. Let z be 14/m*(0 + -51). Suppose 22 = 3*b - z. Is b prime?
True
Let r be 0/((-3)/(-2 + 5)). Let c be -1 + r + (3 - 2). Is 0 - (c - (2 - -1)) prime?
True
Suppose 5*q + 397 - 1077 = 0. Let f = -93 + q. Is f composite?
False
Let f = -2 - -4. Suppose -h = 4*d - 153, -f*h + 274 = -5*d + 33. Is h composite?
True
Let h = 54 + -23. Is h prime?
True
Let m be (-2)/(-11) - 2/11. Let o(w) = -w**3 - w**2 + w + 2. Let g be o(m). Suppose -g*k + 3*k = 19. Is k a composite number?
False
Suppose 11 = -2*n - 3. Let i(w) = -10*w**2 + 2*w - 28. Let a(o) = 3*o**2 - o + 9. Let z(y) = 7*a(y) + 2*i(y). Is z(n) composite?
True
Let u(p) = p**3 - 11*p**2 - 6*p - 4. Let z be u(5). Let v = 263 + z. Is v a prime number?
True
Let n(y) = 