s j a prime number?
True
Suppose 2*v = -3*v - 50. Is ((-5)/v)/(1/530) a composite number?
True
Suppose -g = -3*g + 6. Is (1 - g)*62/(-4) a composite number?
False
Let s be (-83)/2*(9/(-3) - -1). Let c be ((-44)/(-10))/((-1)/(-10)). Suppose c = 3*z - q - 64, 2*z + 3*q = s. Is z composite?
False
Let p(v) be the third derivative of 0 + 11/24*v**4 - 2*v**2 + 0*v + 1/6*v**3. Is p(2) composite?
False
Suppose 4*l = w + 21, -3*w - 23 = -2*l - 0*w. Suppose -l*b = -5*b + 4. Suppose -185 = -b*g - g. Is g a composite number?
False
Suppose 5*h = -57 - 53. Let p = h + 179. Is p a composite number?
False
Let g(z) = -z - 2 + 53*z + 33*z - 14*z. Is g(3) composite?
False
Let s = -45 + 91. Is s a prime number?
False
Let k(f) = -f**3 + 9*f**2 - 9*f + 12. Let c be k(8). Suppose -3 = p - c*p. Is p*(-13 - 0)*-1 composite?
False
Let v be (-17)/5 - (-4)/10. Let b(m) = -m**3 - 4*m**2 - 5*m - 3. Let c be b(v). Suppose -4*f = w - 30 - 24, -33 = -3*f + c*w. Is f composite?
False
Suppose 0 = 5*x - 0 - 10. Suppose -x*r = -5*p + 1193, 3*p - 449 = -3*r + 271. Let c = p + -106. Is c a composite number?
True
Let c = 14 + -13. Is c + -3 + 35*1 a composite number?
True
Suppose -5 = -q + 1. Let k(n) be the first derivative of -n**4/4 + 7*n**3/3 - 3*n**2/2 - 3*n + 8. Is k(q) a prime number?
False
Suppose 1799 = -4*p - 501. Is 2/9 + p/(-45) composite?
False
Suppose 4*g = -5*w + 1377, 3*g = -5*w + 128 + 911. Let v = 183 + g. Is v a composite number?
False
Let h be (-1368)/(-30) - (-2)/5. Let q = h - 27. Is q a prime number?
True
Suppose 4*y = 31 - 407. Let x(z) = 60*z - 1. Let q be x(-1). Let t = q - y. Is t prime?
False
Let f = 36 - 11. Let v(l) = 57*l + 2. Let q(s) = 685*s + 25. Let r(t) = f*v(t) - 2*q(t). Is r(1) composite?
True
Is (-4 + 1014/4)*2 a prime number?
True
Let j = -1996 + 3753. Is j composite?
True
Let c be 2/(1 - 2) + 17. Suppose -5*z + 4*o - c = 0, -3*z - z + 9 = o. Is ((-297)/z)/(-3) - 2 a prime number?
True
Let z = 2904 + -1361. Is z a composite number?
False
Suppose 0 = -b + 6*b + 10, 3*b = u - 124. Is u a composite number?
True
Suppose -5*n + 7195 = l, 4*n = -7*l + 4*l + 5756. Is n a composite number?
False
Let w(p) = 2*p**3 + 4*p**2 + p - 5. Is w(4) a composite number?
False
Let x(h) = h**2 + 8*h - 11. Let i be x(-9). Let v(n) = -n. Let b be v(i). Suppose 0 = b*j - 5*j + 39. Is j composite?
False
Suppose g - 39 = -0*g. Let y = -20 + g. Is y a prime number?
True
Let y = 79 - -186. Is y prime?
False
Let s(m) = 2*m + 14. Let o(x) = x + 7. Let p(f) = -5*o(f) + 2*s(f). Let v be p(-7). Suppose v = -5*g + 104 + 51. Is g a composite number?
False
Let s(y) = -y**2 - 14*y - 6. Let b be s(-9). Let g = b + 4. Is g prime?
True
Suppose -4*v - 2*d - 6 = 0, -4*v + 2*v + 1 = 5*d. Is v - (1 + -12 + 3) composite?
True
Suppose -2*y - 2*u = -y - 1891, y - 3*u = 1916. Is y prime?
True
Let s = 524 + 99. Is s a prime number?
False
Suppose -5*j + 12 = 4*s, -2*j - 5*s + 1 - 3 = 0. Suppose -3*u = -j*a - u + 376, 0 = -a + 5*u + 85. Is a a prime number?
False
Suppose -2*h - 2*h - 3*j = -923, 4*h = -j + 929. Is h a prime number?
True
Let a(d) = 8*d - 8. Let x be a(7). Suppose x = 3*y + y. Suppose o - 2*n - y = 89, 4*o - 395 = 5*n. Is o composite?
True
Let i be (-2 + 2)*1/(-2). Suppose -j + 3*j = -2*k + 652, -j - 5*k + 306 = i. Is j prime?
True
Let c = -190 - -308. Is c a prime number?
False
Let n be (-5)/2*(0 - 2). Suppose -n*s = -2*p + 270, 5*s = -3*p + 422 + 33. Is p composite?
True
Let i be ((-54)/(-4))/((-1)/2). Let a = i - -104. Is a composite?
True
Suppose 0*h = -4*h. Suppose -5*a + h*a + 15 = 0. Suppose x + x - 154 = -4*d, -4*x - a*d = -313. Is x composite?
False
Let k(l) = -5*l - 9. Is k(-16) a composite number?
False
Suppose a - 84 = -1. Is a prime?
True
Suppose 3*t = 92 + 115. Suppose 4*y + 516 = 4*q, 2*q - 194 - t = y. Is q a prime number?
False
Let p(t) = -10*t + 6*t - 12*t - 3. Is p(-7) prime?
True
Let i = -5 + 2. Is 53/(2/(i - -5)) prime?
True
Let q = 1531 + -644. Is q a composite number?
False
Let y(x) = 21*x**2 - x**3 + 6*x - 23*x**2 + 0*x**3. Is y(-7) a composite number?
True
Suppose 3*c + 0*r - 1 = r, 5*c + 5*r - 35 = 0. Suppose 0 = -d + 3*o, -5*d = 2*o + c*o. Is 0 + d + 9 - -2 a composite number?
False
Let b be (8/2 + -1)*24. Is (-5)/((-15)/b) + 2 composite?
True
Let w(i) = 3*i - 4 - 7*i - 2*i. Let j be w(-4). Suppose -20 = 3*x - 2*y - 75, x = y + j. Is x a prime number?
False
Suppose 2*n + 3*n - p = 8, 6 = -2*p. Is n - (-5)/((-20)/(-304)) a composite number?
True
Let n(h) = 145*h**2 - h. Let b be n(1). Suppose 4*o + 0*c - b = -c, 5*c - 91 = -3*o. Is o composite?
False
Suppose 3*m = 3, -m = -h + m + 2. Suppose 2*b + h = 20. Is (-30)/(-4)*b/6 a composite number?
True
Suppose -g = -9*g + 4504. Is g composite?
False
Let r = 14 - 10. Suppose -6 = r*p + 18. Is p/27 - 2686/(-18) prime?
True
Let r = 10 + -2. Let s(c) = 28*c - 13. Is s(r) prime?
True
Suppose n - 4 = 3*n + 4*q, -3*n = 4*q + 8. Is (1 - -1)/((-2)/n) a composite number?
True
Let c(d) = -2*d**3 - 8*d**2 - 4*d - 7. Let w be c(-5). Let y = w - -78. Is y a prime number?
False
Let b(x) = 2*x**3 + 2*x**2 - 3*x - 4. Let k be b(6). Suppose 303 = -4*r - 3*p + 949, p = -3*r + k. Let v = r - 81. Is v a composite number?
False
Suppose -12*a = -7*a - 335. Is a a composite number?
False
Let q = -109 + 672. Is q a composite number?
False
Let a = 1071 + -700. Is a composite?
True
Suppose 2*q - 315 = 5*w, -w + q = -q + 71. Let u = 26 - w. Suppose 0 = -5*b + 3*a + 347, -b + 5*a + 0*a + u = 0. Is b prime?
True
Suppose 446 = 2*d - 2*j, d + 5*j - 669 = -2*d. Is d composite?
False
Let a be 3/(-12)*-10*-2. Let z be 9/(-15) + (-423)/a. Suppose -3*l + z = -9. Is l a prime number?
True
Let l = 72 - 18. Let p = 39 + l. Is p a prime number?
False
Let b(g) = -g**2 + 16*g + 17. Is b(12) prime?
False
Let q = -398 + 692. Let l = 551 - q. Is l prime?
True
Suppose -2*i = -i. Suppose i = -0*b - 5*b + 1085. Is b prime?
False
Let t(w) = -w**3 + 19*w**2 + 36*w + 17. Is t(16) prime?
True
Let y(s) be the third derivative of s**6/120 - 2*s**5/15 + s**4/2 - 11*s**3/6 - 4*s**2. Is y(8) composite?
True
Let u = -5 - 0. Let i(m) = m**3 + 8*m**2 + 4*m - 3. Let z be i(u). Let t = z + 45. Is t a composite number?
False
Is (14/3)/(6 + 85/(-15)) prime?
False
Let o(q) = 2*q**2 + 2*q - 5. Let b be o(-6). Let k = -396 - -661. Suppose 4*i - s = k, i - b = -0*i + 4*s. Is i a composite number?
False
Let b(j) = -19*j**2 - 3*j - 2. Let p be b(-5). Let n = p + 653. Is n a composite number?
False
Let v = -12 + 6. Let w = 347 + v. Is w prime?
False
Let o(c) = -c + 1. Let h(l) = -l**3 + l**2 - 5*l - 19. Let j(x) = h(x) - 6*o(x). Let q be j(0). Let r = q + 44. Is r a composite number?
False
Let z(p) = -p - 4. Let u be z(0). Let y = u + 8. Suppose -3*o + 191 = 2*o + k, k + y = 0. Is o a prime number?
False
Let s = 9 - -15. Let n = s - 11. Is n prime?
True
Let h = 20 - 10. Is h/(-45) - (-137)/9 a prime number?
False
Suppose -2*u = l - 1454, 2*l - 1508 = -3*u + 673. Is u prime?
True
Suppose 0*q - 1618 = -2*q. Is q a prime number?
True
Let a(q) = 5*q**3 + 2*q**2 - 1. Let c be a(-1). Let y = c - -7. Is 75/4 - y/(-12) prime?
True
Let l be (-138*(-3 - -1))/(-1). Is l/(-8)*(-2)/(-3) a composite number?
False
Suppose 0 = -0*r + 2*r - 4*o - 180, -r + 60 = 4*o. Suppose -53 = -y + r. Is y a composite number?
True
Let v(p) = p + 11. Let z be v(-8). Suppose 5*w = 4*y - 11, y - 3*y - z*w + 33 = 0. Is 66/(-4)*(-6)/y composite?
False
Suppose -z + 0*z + 3 = 0. Suppose 130 = y + z*n, -y = 3*y - n - 533. Is y prime?
False
Let x(j) = 2*j - 6. Let u be x(4). Is u/(-3)*3576/(-16) a prime number?
True
Let l = 6 + -6. Suppose s = -i - l*s + 279, -5*i + 5*s = -1355. Suppose -3*r + 64 = 5*g - i, 5*r = 4*g - 286. Is g a composite number?
True
Suppose -3*k - 2*o = -0 - 3, -5*k = 3*o - 6. Suppose k*w - 2 - 13 = 0. Is (-4)/10 + 447/w a composite number?
False
Suppose -5*f = -b + 15, b - 4*f - 12 = 3*b. Suppose 0*g + g = b. Suppose -u + 3*c + 245 = g, 5*u = -0*c + 2*c + 1251. Is u composite?
False
Let i = 11 + -15. Let t = i + 9. Suppose 173 = 2*a + t*g, 73 = -2*a - 4*g + 243. Is a composite?
False
Let i(t) = -18*t + 1. Let x be i(-1). Suppose x = -3*v + 166. Is v a prime number?
False
Let d = -235 - -353. Is d prime?
False
Let t(l) = 2*l - 8. Let i be t(6). Suppose 3*y + 2*y = 1335. Suppose 4*h - i*v - 267