mposite number?
False
Let t be 0/1*2/2. Suppose -6 + t = q. Let h = 8 - q. Is h composite?
True
Let f(p) = 274*p**2 + 2*p - 7. Is f(-3) a composite number?
True
Suppose -2*c + 12 = 3*w, 5*w + 0*c = -c + 13. Suppose -2*x + 39 = w*x + 5*z, 2*x = z + 9. Is x composite?
True
Let j be 2/3*(-987)/(-14). Suppose -l = -132 + j. Is l prime?
False
Let d be (-2)/(-1*3/6). Suppose p - d*p = -309. Suppose o = 5*z - p, -4*o - 1 = -9. Is z composite?
True
Suppose 5*c + 4*l = 5, 2*c = c - 5*l - 20. Suppose -3*r = -c - 1. Is r composite?
False
Suppose -3*i + 104 = -97. Is i a prime number?
True
Suppose 4*f - 8889 = -5*l, -4*f = -l - 9595 + 712. Is f a composite number?
False
Let j(g) = g**3 - 6*g**2 + 2*g - 9. Let b be j(6). Suppose -b - 1 = i. Let l(y) = -5*y + 1. Is l(i) composite?
True
Is 121463/207 - 4/(-18) a composite number?
False
Let o(v) = 5*v**2 + 5*v - 7. Is o(8) a composite number?
False
Let f(c) = -c**3 - c**2 - c + 23. Let w(m) = -m + 9. Let t be w(7). Suppose y - 4*r = 16, t*y = -0*r + 4*r + 16. Is f(y) composite?
False
Let x(w) = -2*w**3 - w - 1. Let z be x(-1). Suppose 0 = -2*b + f + 109, -6*b + z*b + f = -215. Is b prime?
True
Let d(t) = t**3 + 6*t**2 + 7*t + 2. Let k be d(-5). Let y = k - -5. Is (-1 + y)*(-273)/12 composite?
True
Let d(m) = 10 - 4*m**2 + 3*m**2 + 3*m - m**2 + 4*m**2. Is d(-7) composite?
True
Let h(z) = z**2 + 5*z. Let l be (1 - 0)/(6/(-30)). Let j be h(l). Suppose j*b + 5*b = 185. Is b composite?
False
Suppose 3*l = 7*l + 5*d + 2, 0 = -2*d + 4. Is 17*((l - -3) + 7) prime?
False
Suppose 0*l - 11*l = -2057. Is l prime?
False
Let i = -67 - -290. Is i a prime number?
True
Suppose 5*s - 3*u = -4*u - 23215, u = 2*s + 9279. Is 6/(-4)*s/33 prime?
True
Let h(f) = 14*f**3 + 7*f**2 - 8*f. Let y be h(9). Is (-4)/(-6) - y/(-27) a prime number?
True
Let x be ((-12)/10)/(-2)*5. Suppose -x*v + 315 = -570. Is v a prime number?
False
Let m(v) = 6*v**3 + 2*v**2 + v + 1. Let h = 3 - 3. Suppose 0 = -3*i - h + 6. Is m(i) composite?
False
Suppose -4*y - 5*y + 17127 = 0. Is y composite?
True
Let u = -81 + 527. Is u composite?
True
Suppose 2*b - 5 = -0*l - l, 0 = b - 2*l - 10. Suppose -x + 2*w - b = 4, 2*w = 4*x + 8. Suppose 5*m + v - 181 = x, -m = -2*m - 5*v + 17. Is m a prime number?
True
Suppose 0 = -7*f + 5329 + 9714. Is f prime?
False
Let h = 26 - -123. Let z = h - 100. Is z a composite number?
True
Let h(c) = 22*c**2 - 1. Let p be h(1). Suppose -3*s - 37 = 5*f, -s = -f + 6 + 9. Let o = s + p. Is o prime?
True
Let c(t) be the third derivative of -t**6/120 + t**5/10 + 3*t**4/8 - 5*t**3/6 + 2*t**2. Let q be c(7). Let z(u) = 2*u**2 - 13*u + 2. Is z(q) a composite number?
False
Let y = 11 + -8. Suppose -y*s + 5*s = 5*t + 75, -40 = -s + 3*t. Is s a composite number?
True
Suppose 2*i - 812 = -2*c, 9*c - 4*c = 5*i - 2060. Is i a composite number?
False
Let w = -6 - 31. Let t = w + 106. Is t prime?
False
Let n(r) be the second derivative of -9*r**5/5 + r**4/12 + r**3/6 + r**2/2 - 2*r. Is n(-1) prime?
True
Let d(s) = -2*s + 2010. Let r be d(0). Is 3/(-12) - r/(-8) composite?
False
Suppose -j - 10 = 5*s, 2*j - 4*s + 5 = -9*s. Suppose -4*p - j = 3*n - 42, 15 = 5*n. Is p composite?
False
Let x(o) = -6*o**3 + 3*o**2 - 5*o - 5. Suppose 3*f = -2*f - 2*n - 10, 0 = 4*f - n + 21. Is x(f) a composite number?
True
Suppose 0 = 3*r - 3*s + 27, 0*s = 4*r - 2*s + 36. Let b be -3*(303/r - -1). Suppose -b = -2*z - 0*z. Is z a prime number?
False
Suppose -5*b = -65 + 680. Let d = b + 254. Is d a prime number?
True
Let i = 7 + -5. Suppose 150 = i*g + z + 3*z, 0 = -2*g + 5*z + 105. Is g composite?
True
Suppose -4 = -2*b - 118. Let c(y) = -29*y + 2. Let j be c(-6). Let p = b + j. Is p a composite number?
True
Suppose -531 = -m - 5*n, 0*m + 3*n = -2*m + 1034. Is m a composite number?
True
Suppose -3*f - 16 = -7*f + 4*o, 2*f - 8 = 3*o. Let t be -6 + f - (-1 - 1). Suppose t*i = 5*i - 175. Is i prime?
False
Suppose -6 + 2 = 4*d. Let q be (-2 - 0) + d + -79. Is 0 + 1 - q - 0 a composite number?
False
Let t = 35 + 71. Let x = -60 + t. Is x prime?
False
Let t(z) = z**3 - 7*z**2 + 2. Let i(p) = -p. Let v be i(-7). Let h be t(v). Suppose 118 = 2*f + j + 2*j, -h*f + 2*j = -118. Is f a prime number?
True
Let l be 2/(-8) + (-3951)/(-12). Suppose h - 4*f - 82 + 13 = 0, 4*f = 5*h - l. Is h a prime number?
False
Let k = -115 + 284. Is k a composite number?
True
Suppose -5*d + 33 = -8*d. Let b(h) = -27*h - 10. Is b(d) prime?
False
Let s(q) = -15*q - 6. Let u = -2 - 2. Let c be s(u). Let p = c + -23. Is p prime?
True
Let q(x) = -x**2 + 5*x - 4. Let j be q(4). Let b(c) = -c**3 - c + 4. Let v be b(j). Suppose -v*f = 2*k - 310, 0 = f + 4*f + k - 392. Is f a prime number?
True
Suppose 3*m - 4*l = -2*m - 4, -4*m = 5*l - 5. Suppose m = 4*o + 3*u + 2*u - 492, 615 = 5*o + 4*u. Is o prime?
False
Let j(t) = 9*t + 2. Let u be j(1). Is (89/4)/(u/308) a prime number?
False
Let a = -659 - -239. Let f be (a - 2)*1/(-2). Suppose -3*h - 49 = -5*l - f, -2*l = 2*h - 92. Is h a prime number?
False
Let h(g) = g**3 + 22*g**2 - 21*g - 43. Is h(-22) a composite number?
False
Let f be 1/(-4)*(-2 + -2). Suppose 0 = 4*y + 3*x + f, -3*y + 3*x = -0*y + 6. Is -1 + 24/(y + 3) composite?
False
Let r(q) = 4*q + 2. Let a be r(2). Let t = a - 8. Is -1 - (-36 - 4/t) composite?
False
Suppose 11*v - 8313 = 8946. Is v a composite number?
True
Suppose 3*o + 5*q - 644 = 0, o - 261 = 5*q - 13. Suppose -p + 2*p - o = 0. Is p composite?
False
Let q = 101 + -48. Is q a composite number?
False
Let v = 6 + -10. Is v/(-18) - (-529)/9 composite?
False
Suppose -x + 2*x + f = -1, -x - 3*f + 3 = 0. Let a be (-9250)/6 - (-1)/x. Is 2/(-3) - a/18 composite?
True
Suppose -4*t = 2*q - 323 - 1339, 0 = -5*q - 5*t + 4175. Is q a composite number?
False
Suppose -4*s + 85 - 297 = -2*l, 5*s + 97 = l. Suppose 0 = 4*t + l - 2004. Is t a composite number?
True
Let p(v) = v + 43. Suppose -q = -2*q. Let t be p(q). Is t/3 - (-4)/6 a prime number?
False
Let l = 16 + -6. Is l composite?
True
Let d = 312 + -155. Is d composite?
False
Suppose -5*z + 4*z = 52. Let y = z + 101. Is y composite?
True
Let v = 167 + -34. Is v prime?
False
Suppose 0 = -4*a + 3*a + 192. Suppose n = 1, a = -2*d + 6*d - 4*n. Is d a prime number?
False
Suppose 0 = -3*j + 57 + 33. Suppose -2*n + j = -7*n. Is 9/n*38/(-3) a prime number?
True
Suppose 2*r - 3*r = 0. Suppose -150 = -3*i - 3*f, 3*i + 110 = 6*i - 5*f. Suppose r = -d - 2*d + i. Is d a prime number?
False
Let i(z) be the first derivative of z**4 - z**3/3 + z**2/2 + z - 1. Is i(2) prime?
True
Let t be (-1)/5 - 63/(-15). Let u be (-1960)/(-4)*2/t. Let r = u - 22. Is r composite?
False
Suppose -14 = -4*x + 34. Let b = -8 + x. Suppose -5*c + 33 = -b*c. Is c a composite number?
True
Let t(x) = -x**2 - x + 32. Let k be t(0). Let z = k + 41. Let o = z - 26. Is o composite?
False
Let k = -1 - -1. Suppose k*n = -3*n. Suppose -3*z + 160 = 3*o + o, 4*z - 16 = n. Is o composite?
False
Let s(n) = n + 6. Let q(a) = 3*a + 17. Let c(u) = 2*q(u) - 7*s(u). Let o be c(-4). Is (-44)/(-6)*(-30)/o prime?
False
Suppose -2 = -m - 0. Suppose -m*k - k + 15 = 0. Suppose 36 - k = a. Is a prime?
True
Suppose -n + 1131 = -4*y, 4830 = 5*n + 2*y - 737. Is n prime?
False
Let m = -400 - -179. Let a = 966 + m. Is a a prime number?
False
Let s(b) = b**3 - b**2 + b - 1. Let i be s(1). Let o = 3 + 3. Suppose -4*d - 2*z + 384 = -i*d, -o = -3*z. Is d composite?
True
Let a(q) = -36*q + 1. Suppose -6 = -2*y - 2. Suppose -h + y*h = -1. Is a(h) prime?
True
Let k = -50 + 395. Suppose 4*z = k - 49. Is z prime?
False
Is (-6 + 274)*3/6 a prime number?
False
Let t = 16 - 17. Is t/(3/(-9)) - -116 a prime number?
False
Let z(u) = 9*u**2 + 9*u + 3. Let p(h) = -27*h**2 - 26*h - 10. Let r(x) = -4*p(x) - 11*z(x). Is r(-7) a prime number?
False
Let r = 0 + 5. Suppose 0 = r*z - 2 - 13. Suppose j + p = 23 - 7, 45 = z*j + 2*p. Is j a prime number?
True
Let v(r) = -24*r**3 + r**2 - 3*r + 1. Is v(-2) a composite number?
True
Is 1/(50784/(-10158) - -5) a composite number?
False
Suppose -3*x - 5*u + 472 = 0, 0*u + 4*u + 163 = x. Suppose -x = -3*r - 3*l, -3*l = 2*r - 7*r + 281. Is r a prime number?
False
Suppose 4*s - 40 = -s + 5*y, 0 = -2*s - y + 4. Suppose s*p + 9 = 3*r, r + 8*p = 3*p + 22. Suppose -4*q + r = -21. Is q a prime number?
True
Is 3 + -3 + 4 + 253 a prime number?
True
Suppose