s k composite?
True
Let g = -5 - -7. Suppose -4*m + 164 = -g*m. Is m a prime number?
False
Suppose 18*d - 6128 = 10468. Is d prime?
False
Is (-275)/(-2) + 18/12 composite?
False
Suppose c + 72 = 4*c - 4*b, 4*c - b - 83 = 0. Suppose -5*y + 4*j = -1 - 4, 5*y - j - c = 0. Suppose -80 = -y*d + 175. Is d a prime number?
False
Let g be ((-3)/(-6))/(2/(-24)). Let o(d) = -d**3 - 6*d**2 + d + 8. Let j be o(g). Suppose 5*a = -z + j*z + 266, 2*a - 109 = 3*z. Is a a prime number?
True
Suppose -5*z + 3*d = -143 - 333, z - 82 = 5*d. Is z a composite number?
False
Suppose -1354 = -17*r + 15*r. Is r prime?
True
Let m(v) = -v + 2 - 2. Let o be m(-3). Suppose 2*w + 71 = b, 34 + 155 = o*b + 2*w. Is b a composite number?
True
Let p(x) = 58*x**2 + 42*x + 1. Is p(-10) a prime number?
True
Suppose 4*f + 2*s = 10, 0 = 5*f - 6*s + 2*s - 32. Is f - (3 - 1) - -249 prime?
True
Suppose 4*i = -i. Suppose -2*y + y + 127 = i. Is y a prime number?
True
Let d = 3240 + -1187. Is d a prime number?
True
Suppose -8 = -0*k - 4*k. Suppose -2*d - 1 = 1. Is k/d - 117/(-3) prime?
True
Let w(y) = 15*y - 11. Let p(s) = -s**2 + 5*s + 2. Let v be p(3). Is w(v) prime?
True
Suppose -6*w + 11810 = -15616. Is w a composite number?
True
Suppose -2*r + 2*q = q - 4, r = 3*q + 2. Suppose -r = -3*x - 5. Let k(p) = 32*p**2 + 1. Is k(x) prime?
False
Let x be 262/(-10) + (-1)/(-5). Let s = x - -60. Is s a composite number?
True
Let i be (-1)/((-2)/(-4))*-1. Let c be 35*1 + 0/i. Suppose -g = -k - 13, -3*g + 4 + c = 3*k. Is g a composite number?
False
Suppose 0 = -6*w + 9*w - 2721. Is w prime?
True
Suppose -4 = -x + 2*x. Let k be (-1220)/(-18) + x/(-18). Suppose 3*i - k = -2*d + 95, d + 157 = 3*i. Is i prime?
True
Suppose 4*v = 2*v + 8. Suppose -j + v*j + 8 = 5*y, 2 = -y - 3*j. Is (y - 1 - 0) + 67 prime?
True
Let l be (-1)/1 - (-3 - 1). Suppose -l*q + 20 = 5*a - 11, -3*q + 21 = 3*a. Is a/2 - (-2)/4 a composite number?
False
Let l(p) = 22*p**2 + 10*p - 8. Let c be l(6). Suppose 501 = -3*i + 3*k, 2*k = i + 4*i + c. Let u = -111 - i. Is u a prime number?
True
Let v(a) be the first derivative of -a**3/3 + 9*a**2/2 - 4*a + 3. Suppose 3*j = 5*s - 3*s - 17, -3 = 3*j. Is v(s) a composite number?
True
Let g be (-1*18/3)/(-2). Suppose -j - 6*r = -11*r + 8, -g*r + 6 = 0. Let n(a) = 3*a - 3. Is n(j) composite?
False
Let b = 5902 + -2793. Is b a composite number?
False
Let p(x) = 19*x**2 - x - 13. Is p(-6) a prime number?
True
Let h(v) = v + 15. Suppose g + 3*g = 0. Is h(g) composite?
True
Let z(l) = 317*l**2 + 2*l + 1. Let h be z(-1). Let g = h - 203. Is g composite?
False
Let b(f) = 3*f**3 - 6*f**2 + 6*f - 25. Is b(6) prime?
True
Let x(v) = -177*v - 4. Is x(-25) a composite number?
False
Let i(p) = -p**2 - 7*p + 8. Let x be i(-8). Let q be -1*(x/(-3) - 0). Suppose q*r = -5*r + 265. Is r a composite number?
False
Let c = 1 - -2. Let y be 2/(-12) + (-91)/(-42). Suppose -521 + 1329 = 4*w - 3*t, 0 = -c*w - y*t + 623. Is w composite?
True
Let g(a) = 108*a + 17. Is g(4) a composite number?
False
Suppose 5*a = 4*v - 10, 2*a + 8 = 5*v - 13. Suppose -a*g + 353 = -45. Is g composite?
False
Let b = 490 + 424. Suppose 4*d - b + 86 = 0. Let o = d + -142. Is o prime?
False
Let y(h) = -h**2 - 3*h + 3. Let s be y(-4). Let x(b) = -50*b**3 + b**2 + b + 1. Is x(s) a composite number?
True
Is 816 - (1 + (1 - 1)) prime?
False
Suppose p + 3 = -2*p. Let j = 1 - p. Suppose 3*x = -j*l + 33, -6*l - 4*x = -l - 93. Is l a composite number?
True
Let z(y) be the third derivative of y**4/6 + y**3/2 - 3*y**2. Is z(4) prime?
True
Let h = 7 + -5. Suppose 2*f - 676 = -h*f. Is f composite?
True
Let r(i) = i**3 + i**2 + i + 11. Let y be r(0). Suppose y = 5*q - 4. Is 22/6*(q - 0) prime?
True
Let b(a) = 9*a - 3. Let m be b(2). Let n = m - 11. Suppose 165 = o + n*o. Is o composite?
True
Let l(u) = -u**3 - 6*u**2 - 5*u + 3. Let h be l(-5). Let d be 1/h*(1790 - -1). Suppose 0 = 5*m + 2*x - 599, 6*m = m - x + d. Is m prime?
False
Let s(d) = 2*d - 2. Let k be s(-2). Let r(p) = 2*p**2 + 7*p + 5. Is r(k) a prime number?
False
Let k(u) = u**2 - u - 2. Is k(4) prime?
False
Let i be -2 + -3 + 2 - -2. Let f be (1 + (0 - 3))/i. Suppose -d + f*a - a + 36 = 0, 0 = 5*d + 3*a - 140. Is d a composite number?
False
Let t(o) = -2*o - 7. Let i be t(-6). Suppose 5*v + 20 = 0, i*v - 2 + 16 = -g. Is g prime?
False
Suppose -2*m = 2*m. Let s(p) = p**3 - p**2 + p - 1. Let q be s(m). Let i(b) = 20*b**2 - b. Is i(q) prime?
False
Let n(u) = -2 - 9*u**2 + 5*u + 2*u**3 - 3*u**3 + 7. Is n(-10) a composite number?
True
Suppose l + 2 = 0, -137 + 34 = -3*k + 2*l. Is k prime?
False
Let f(m) be the first derivative of m**4/4 + m**2 - 3*m + 1. Let g be f(2). Let n = g - 3. Is n prime?
False
Let m(l) = l**2 + 7*l - 6. Let o be m(-8). Suppose 4*h + 0*a + 4*a + 4 = 0, 4*a + 22 = o*h. Suppose -h*s = s - 196. Is s a composite number?
True
Suppose -3*g - 2*f = -4, 4*g - 2*f = -4 - 0. Suppose g*z + 212 = 4*z. Is z prime?
True
Let r be (-260)/(0 - 2)*2. Let s = -48 - -229. Let x = r - s. Is x a composite number?
False
Suppose 41*i - 12674 = 39*i. Is i a composite number?
False
Let o(u) = -u + 11. Let i be o(8). Suppose -3*l = 6*y - i*y - 435, 4*l - 3*y - 580 = 0. Is l prime?
False
Is 609/(-6)*20/(-35) prime?
False
Let w = 18 - 18. Is w/1 - -5 - -2 composite?
False
Let r be 4/12 + (-2)/6. Suppose 5*v = 2*i - 11, 2*i = -4*v - r*v - 16. Let a(m) = -2*m**3 - 2*m**2 + 1. Is a(i) prime?
False
Let v(u) = 2*u**3 - 4*u**2 + 3*u + 1. Is v(4) prime?
False
Suppose -5*t = -4*z + 1008, -695 - 598 = -5*z - 2*t. Is z prime?
True
Suppose 8*a - 54 = 5*a. Is (-237)/(-2) - (-9)/a composite?
True
Suppose -123 - 17 = -4*k. Suppose -3*g + k - 14 = 0. Is g prime?
True
Suppose -34 = 4*b - 3*l - 5, -2*l + 1 = b. Let c = -12 - b. Let j = 21 + c. Is j a composite number?
True
Let w = 3 + -2. Is (-1 - 0)/w*-177 a composite number?
True
Suppose 3*g - 152 = -5*z, z + 0*z + 2*g - 29 = 0. Is z composite?
False
Let c be (-1)/(-1 - -1 - -1). Let r be (c - -24)*1*1. Let x = -10 + r. Is x a composite number?
False
Let y = 306 - 165. Is y prime?
False
Suppose -24*j + 2171 = -23*j. Is j prime?
False
Suppose 0 = s - 2*s, -3*u = 3*s - 87. Suppose -3*n = 0, 2*q + 5*n + 1 = u. Suppose -3*m = -4*m + q. Is m prime?
False
Suppose 0*q = -5*q + 345. Let c = -30 + q. Is c composite?
True
Let i(c) = c**3 + 5*c**2 + 5. Let y be i(-5). Suppose s - 4*w = -s + 370, 4*s = -y*w + 779. Is s a composite number?
False
Suppose 5*h - 3*h - 149 = d, 3*d - 400 = -5*h. Is h a composite number?
True
Let b be (4/6)/((-2)/(-15)). Suppose 0 = 4*x + 4*w, b*w = x + w. Let q = 15 - x. Is q prime?
False
Let q(a) = a. Let y(h) = -18*h - 2. Let c(s) = 4*q(s) - y(s). Let k = -12 + 14. Is c(k) composite?
True
Suppose -12*a + 9096 = -0*a. Is a a prime number?
False
Is ((-4)/(-10))/((-4)/(-11170)) composite?
False
Suppose 16 = -3*f - 8. Let k(m) = m**2 + 9*m + 4. Let w be k(f). Is w/((4/(-1))/2) composite?
False
Let w = 15 - 6. Let y(o) = o**3 - 3*o**2 - 4*o - 3. Let m be y(4). Let p = m + w. Is p composite?
True
Let t be 17*-3*3/(-9). Let f = t - -17. Is f prime?
False
Suppose -3*n + 5*w = 9, 2*w + 0*w - 16 = -5*n. Suppose n*a + a - 489 = 0. Suppose -60 - a = -h. Is h prime?
True
Suppose 0 = -o + 11 + 620. Is o a composite number?
False
Suppose 3*x - x = -8. Suppose 2*z - 6*z - 8 = 0. Is z/(x/(-14))*-3 prime?
False
Let h(p) = 18*p + 1. Let r be (-4)/(-10)*(3 + 2). Suppose r*a = -2*a + 4. Is h(a) a composite number?
False
Suppose -2592 = 14*h - 11398. Is h a prime number?
False
Is (-3)/(-2) - (-71)/2 a composite number?
False
Suppose -z = 3, 3*g + 9*z = 4*z - 24. Is 57/6 + g/(-2) composite?
False
Suppose 2*i = -2*c + 618, 3*c - 512 = 3*i - 1451. Is i composite?
False
Let k = -6 - 8. Is -11*2*7/k a composite number?
False
Suppose -5*y + 17 = -3. Suppose -y*z + 125 + 183 = 0. Is z a composite number?
True
Let c(u) = -1 + 0 - 5 - 22*u + 5. Is c(-1) a composite number?
True
Suppose -c - 70 = -2*n + c, 5*n = -4*c + 211. Let j = n - 17. Let p = j - 8. Is p prime?
False
Let v = 48 + 60. Let u = -41 + v. Is u composite?
False
Let i = -5 - -4. Let n = i + -2. Let w(f) = -5*f. Is w(n) prime?
False
Suppose 2*o = 3*o. Suppose 0 = 4*j - 4*k, o*j + 5*k + 4 = 3*j. Is j + 55 + 6/3 a composite number?
True
Let r = -31 + 44. Is r a prime number?
True
Suppose 2*t = 5*b - 143, b + 5*t + 4