e number?
True
Suppose -5*g + 2937 = 2*x + x, -2937 = -3*x + g. Is x a composite number?
True
Let b = -19 + 53. Is b prime?
False
Suppose -5*s + 1911 = 5*h - h, 1531 = 4*s + h. Let w = -6 + 9. Suppose s = w*m + 5*b, -b + 609 = 3*m + 2*m. Is m prime?
False
Let q = 38 + -16. Is q composite?
True
Suppose 3*q - q = 406. Is q a composite number?
True
Let f be (-9)/7 - (-4)/14. Let l(k) = -10*k - 1. Let a be l(f). Is 92/6 + (-3)/a prime?
False
Let t be -3*(-2 + 1 - -2). Let f = -1 - t. Is 1/(-2)*f + 5 prime?
False
Let o = -399 - -900. Is o a composite number?
True
Suppose 0 = -0*z - z + 2. Suppose -z*v = -57 - 29. Is v composite?
False
Let b(z) = 3*z**2 - 9*z + 14. Let k be b(11). Suppose -7*t = -3*t + m - 563, -2*t - 4*m + k = 0. Is t composite?
True
Suppose 5*b - 4*b - 62 = -t, 0 = 2*t - 5*b - 103. Let s be (3/(-6))/((-3)/612). Suppose t + s = f. Is f a composite number?
True
Suppose 0 = -3*s + 966 + 438. Suppose 2*x = w + s, -175 = -3*x + w + 528. Suppose x - 80 = 5*v. Is v composite?
False
Suppose 4*m - 4*y = 3880, -m - 1931 = -3*m - y. Is m a composite number?
False
Is 1/3 - 153400/(-60) a composite number?
False
Let a = -5606 + 8061. Is a composite?
True
Suppose -3*x = 5*n - 21, -2*x - 2*x = -4*n - 60. Is 1526/x + 2/(-12) composite?
False
Suppose 3*o = o + 1370. Is o a composite number?
True
Is (20/30)/((-4)/(-762)) prime?
True
Suppose -3*f - 168 = -36. Let u = 90 + f. Is u a composite number?
True
Suppose -7*z + 6*z + 146 = 0. Let i = z - 75. Is i a prime number?
True
Suppose 3*w + 3 + 3 = 0. Is (53/w)/((-2)/12) composite?
True
Let f = 923 + -528. Is f a composite number?
True
Let l = 1468 - -1447. Suppose 5*n + l = 10*n. Is n composite?
True
Is (-3)/(-7) - (-2 + 88048/(-28)) a prime number?
False
Let x(d) = -72*d + 1. Let v be x(-2). Let m = v - -90. Suppose 4*o = n + m, 2*n + 0*n + 64 = o. Is o a composite number?
True
Let l = -7 + 10. Let x = l + 1. Is x composite?
True
Suppose -2*r - 4*z + 30 = 0, z = -r - 4*r + 30. Suppose r*d - 182 - 63 = 0. Is d composite?
True
Let w(c) = 2*c + c**2 + 0*c**2 + 2 + 8*c**2 + 4*c**2. Is w(-5) a composite number?
False
Suppose -3*f + 805 + 188 = 0. Is f prime?
True
Suppose 4*h + 10 = 2. Let u = 25 + h. Is u a composite number?
False
Let c(l) = 2*l**3 - 14*l**2 - 4*l - 3. Is c(10) a prime number?
True
Let w(o) = 9*o + 35. Is w(12) composite?
True
Let f = 0 - -4. Let b(z) = 6*z - 1. Is b(f) composite?
False
Let s be (-56)/(-10) + 2/5. Is 110/(-3)*s/(-4) a prime number?
False
Suppose i + 0*k - 5*k = 12, 5*i - 3*k = 16. Suppose -i*q = 2*q. Suppose 5*d - 152 = -4*l, -4*l + 0*l - 2*d + 152 = q. Is l composite?
True
Suppose v - 1128 = -7*v. Is v a prime number?
False
Let z(o) = 3*o**2 - o + 2. Let x = 2 - 0. Let l be z(x). Suppose -4*i - p + 181 = i, 3*p = -l. Is i a prime number?
True
Let b(x) = x + 2. Let w be b(0). Let o be (4/(-7))/(w/(-7)). Suppose -3*d = o*d - 15. Is d a composite number?
False
Let k(n) = 4*n**3 - 6*n**2 - 3*n - 2. Suppose 8 + 2 = -2*z + 5*g, -4*z + 32 = 3*g. Let l be k(z). Suppose -j - 2 = j, 4*i - j = l. Is i prime?
True
Let n(d) = -d**2 - 10*d - 5. Suppose -s = -4*t - 32, 0 = -3*t + 3*s + 8 - 32. Let q be n(t). Let f = -1 + q. Is f a prime number?
False
Let g be (-2)/(-8) + 5/(-4). Suppose 5*y - 91 - 74 = 0. Is (y/(-12) - g)*-4 a prime number?
True
Is (2 + -87)*(-1)/1 a prime number?
False
Let q(u) be the third derivative of -u**6/120 + u**5/60 + u**4/12 - u**2. Let c be q(-3). Suppose 0 = -6*x + 4*x + c. Is x composite?
True
Let n(i) be the second derivative of 13*i**4/12 - i**3/3 - i**2/2 + i. Let k = -2 + 1. Is n(k) a composite number?
True
Let r = 12148 + -8031. Is r a composite number?
True
Let w(o) = -o**3 - 3*o**2 - 10*o - 7. Let k(y) = y + 2. Let h be k(-8). Is w(h) a composite number?
True
Let y = 6 - 3. Let j(q) = -3*q**y + 1 + q**2 + 2*q**3 + q**2 + 5*q - 7*q**2. Is j(-6) a composite number?
False
Let c = -2 + 3. Let a(j) = 5*j**2 - 2*j + 1. Let q be a(c). Suppose f = 1, 0 = q*t - 4*f - 1193 + 353. Is t composite?
False
Let f(u) = -79*u. Let q(r) = 39*r. Let n(o) = -6*f(o) - 13*q(o). Suppose 3*a - a + 2 = -5*s, -s = 0. Is n(a) composite?
True
Suppose 5*l - 3 = 12. Suppose 1 + 5 = -n + 5*b, -l*n + 2 = -5*b. Is n a composite number?
True
Suppose 0 = 2*u - u + 4*h + 16, -3*u = 4*h + 16. Let j(y) = 2*y - 10. Let r be j(7). Suppose 3*n + n - 4 = u, -5*n = r*t - 145. Is t a composite number?
True
Suppose -2*j + 38 = 4*i + j, 27 = 3*i + 3*j. Suppose 7*f - 31 = 25. Let a = i + f. Is a a prime number?
True
Let a(v) = 15*v**2 - 4. Suppose 6 = j + j. Let c be a(j). Let g = c - 82. Is g a composite number?
True
Let i(h) = 4*h + 2. Let r be i(6). Let w = 49 - r. Is w composite?
False
Let y be (-1 + 2 - 0)*13. Let z = 44 - y. Suppose h = -3*t + z, t + 2*t = -3. Is h prime?
False
Let f = -3 + 5. Let w be (-4)/(-2) - f - 3. Is (-67)/(-1) + w + 3 a composite number?
False
Suppose 2*g - 82 = -4*a, -2*a + 20 = 2*g - 58. Is g a composite number?
False
Let f(b) = -2*b - 6. Let s be f(-3). Suppose 3*n - 79 - 152 = s. Is n a composite number?
True
Suppose -3*o + 2*o + 4*d + 22 = 0, -5*d = -5*o + 50. Let a be 1/(6/(-4) + 2). Suppose a*v - 100 = -o. Is v a prime number?
True
Let t = 194 + 347. Is t prime?
True
Let i(o) = 2*o - 12. Let y be i(8). Suppose -3*j + 73 = -4*b + 199, -5*j = 5*b - 140. Suppose -x - b = -y*x. Is x composite?
True
Let p = 164 - -21. Is p prime?
False
Let c = -247 - -762. Is c composite?
True
Suppose 2*p + 3*j - 158 = 0, -4*p + 298 = -6*j + 3*j. Suppose 2*h - 46 - p = -5*z, z = -5*h + 6. Suppose 0 = -2*b + b + z. Is b a composite number?
True
Let b(p) = p + 11. Let s be (-3)/(5/((-40)/(-3))). Let r be b(s). Is 158/r + 1/3 a composite number?
False
Let l(a) = -7*a + 3*a**3 - 1 - 7*a**3 + 2*a**3 - 2*a**2 - a. Is l(-6) a prime number?
False
Let u(x) be the second derivative of -x**5/60 + 5*x**4/12 - x**3/6 - x**2 + 3*x. Let y(w) be the first derivative of u(w). Is y(8) a composite number?
True
Is 4327/(-5)*(8 + -13) a composite number?
False
Is (-31)/2*6/(-3) composite?
False
Suppose 0 = -2*r - 4 - 2. Let n be ((1 + -4)/r)/1. Is ((97 - 1) + 1)*n a prime number?
True
Suppose 2*q + 35 = 3*q. Let s = q - 0. Is s a composite number?
True
Let s(i) be the second derivative of i**3/3 - i**2 + 2*i. Let h be s(3). Suppose -143 - 5 = -h*x. Is x composite?
False
Suppose 0 = q - 5*q - 24. Let t(p) = -5*p**3 - 4*p**2 - 5*p - 5. Let j be t(-2). Let v = j + q. Is v a composite number?
False
Is (-2)/(-1*(-2)/(-67)) prime?
True
Let h = -59 - -240. Suppose 488 = 3*x - h. Is x a prime number?
True
Let c = -46 - -173. Is c prime?
True
Suppose 33*r + 5444 = 37*r. Is r prime?
True
Suppose 7*u - 15740 + 529 = 0. Is u a composite number?
True
Let k(w) = 8*w + 3. Let t = -4 + 11. Is k(t) prime?
True
Let n = 3282 + -1937. Suppose -n = -3*i - i - t, -1695 = -5*i - 4*t. Is i a prime number?
False
Suppose -5*f + 743 = 148. Is f a composite number?
True
Let b be 23/7 - 6/21. Suppose b*w + 0*h - h - 98 = 0, w - h - 36 = 0. Is w a prime number?
True
Let p be (-3 - (-231 - -4)) + -2. Let s = p - 145. Is s a prime number?
False
Let p = -289 - -506. Is p a composite number?
True
Let o(s) be the third derivative of 0 - 5/24*s**4 + 0*s - 1/2*s**3 + s**2. Is o(-2) composite?
False
Suppose 0 = 3*y - 0*y - 12, -2*r + 4*y - 22 = 0. Is -6 - r - (0 + -14) a composite number?
False
Let w(o) = 5*o**2 + 4*o + 3. Is w(-8) composite?
True
Suppose 0*f + 169 = 3*x + 2*f, -3*f = -5*x + 288. Let z = 16 + -40. Let r = z + x. Is r prime?
False
Let c(m) be the third derivative of 1/2*m**3 + 0 + 0*m + 1/60*m**6 - 1/20*m**5 - 5/24*m**4 + m**2. Is c(3) a composite number?
True
Let f = -8 + 12. Let y(t) be the second derivative of t**4/12 + t**3 - 3*t**2 + t. Is y(f) composite?
True
Let g be 6/10 + (-7)/(-5). Suppose -3*q = 5*y - 632, 2*y - q = g*q + 257. Is y a prime number?
True
Let a(o) = -21*o + 1. Let k(j) = 22*j - 1. Suppose -5*m - 7 - 8 = 0. Let t(i) = m*k(i) - 4*a(i). Is t(9) a composite number?
True
Let d(p) = -p**2 - 8*p. Let l be d(-6). Is l/8*130/3 a composite number?
True
Let j = 515 + 328. Is j a composite number?
True
Let z(b) = 75*b**3 + b**2 - 3*b + 1. Is z(2) a composite number?
False
Suppose 112 = -2*p + 266. Is p prime?
False
Let x(g) = 2 + 2*g**2 - 4*g - g**2 + 2*g. Is x(-5) a prime number?
True
Let c be (2 - 3) +