 - 6 = 3*a - 2*w. Suppose a = -5*q + 80 + 195. Is q a composite number?
True
Suppose -3*k - 174 + 66 = -4*x, 3*x + k - 68 = 0. Suppose 5*j + x - 949 = 0. Is j a prime number?
False
Let i(v) = -3*v**3 - 6*v**2 - 10*v - 10. Let u(h) = -10*h**3 - 17*h**2 - 30*h - 31. Let l(m) = 7*i(m) - 2*u(m). Is l(-7) a prime number?
True
Let r(o) = 36*o**2 + 3*o + 6. Let t be r(5). Suppose -2*m + t = 307. Is m composite?
False
Let g be (2 - -2)*29 + 1. Let b = g + -38. Is b prime?
True
Suppose -o - 48 = -4*o - 3*i, 0 = 3*o + i - 56. Let n(t) = -o*t + 3*t - 13*t + 1. Is n(-1) a composite number?
False
Let d = -1 - 4. Is (116/10)/((-1)/d) composite?
True
Let p(r) = 1 + 2*r + 0 + r + 3. Let i be p(3). Let n = i + 6. Is n a composite number?
False
Let h(n) be the third derivative of -n**4/24 + 2*n**2. Let q be h(-1). Is 29 + q*(3 + -1) a prime number?
True
Let l be (-3 + 0)*(-158)/(-6). Let s = 137 + l. Is s composite?
True
Is -2786*6/(-24)*2 composite?
True
Let d(f) = -f**3 + 6*f**2 - 5*f + 5. Let g be d(5). Let y(j) = -j**3 + j**3 - g + 4*j - 6*j**2 + 2*j**3. Is y(5) a prime number?
False
Suppose 4*x + 4*b = 170 + 410, -3*b - 717 = -5*x. Suppose h = -0*h + x. Suppose 0 = 5*g - 31 - h. Is g a composite number?
True
Let b be (3/3)/(2/4). Suppose 0 = 6*d - b*d - 4. Is (-19 + (d - 1))*-1 a prime number?
True
Let n be 2/6 - 14/6. Let z(j) = 13*j**2 - j - 1. Let m be z(-2). Let t = n + m. Is t composite?
True
Let g be 3 + 0 + (-110)/(-2). Is (3 - 2) + g + 0 a prime number?
True
Let c(q) = -q**3 - 5*q**2 + 6*q + 7. Let k be 15/(-2)*(-4)/6. Suppose k*u + 1 = -29. Is c(u) prime?
True
Let v = 8 + 1. Suppose 0 = 7*h - 10*h + v. Is (-9)/h + 69 + 1 a composite number?
False
Let m(s) = 108*s**2 - 3*s - 1. Is m(-2) prime?
False
Let i(v) be the third derivative of -v**6/120 + v**4/8 + v**3/2 + 4*v**2. Is i(-3) a composite number?
True
Let s = -4 + 5. Let y = s + 5. Is y a composite number?
True
Suppose -86 - 75 = -p. Is p a composite number?
True
Suppose 2*i + 0*i - 5*b - 5 = 0, -5*i = -4*b - 4. Suppose s = -3*m + 1115, m = s - i*m - 1115. Is s composite?
True
Suppose l + 25 = -172. Let f = l - -280. Is f a composite number?
False
Suppose -3*p + 1262 = 59. Let z = p - 235. Is z a composite number?
True
Suppose 5*i - 2*a - 48 = 0, -4*i + a = -0*a - 36. Suppose 0 = -2*d + 2*x + 184, -i*d = -4*d - 5*x - 371. Is d prime?
True
Let r(m) = -m**3 + 4*m**2 - 4*m + 4. Let d be r(4). Let v be d/15*(-10)/(-2). Let z(h) = -3*h - 1. Is z(v) composite?
False
Suppose -4*z + 1160 = -5332. Is z a composite number?
True
Let u(x) = 13*x**2 + 6*x + 3. Is u(-8) a composite number?
False
Let y(j) = -j + 1. Let p be y(6). Let m(h) = -h**3 - 3*h**2 + 7*h + 4. Let d(n) = -n**3 - 3*n**2 + 6*n + 3. Let q(u) = 4*d(u) - 3*m(u). Is q(p) composite?
True
Let u(i) = -5 + 7*i**2 - 8*i - 3*i**3 + 4*i**3 + 4 - 9. Let v be u(-7). Suppose 28 = z + 3*h, -3*h - 19 = -2*z + v. Is z a composite number?
False
Let t(b) = 35*b - 8. Is t(9) composite?
False
Let u(p) = p**2 - 8*p - 5. Let m(a) = -3*a - 6. Let c be m(-5). Let q be u(c). Is q/16 - (-459)/4 prime?
False
Is 416 + 0/4 - 3 prime?
False
Let y(q) = 20*q**2 - 6*q - 6. Let u be y(-5). Suppose 0 = k + 2, -5*h = 2*k - 187 - u. Is h composite?
True
Let b be 2/6*(2 - 5). Let c(z) = z**2. Let n(a) = a**2 - 5*a - 2. Let s(o) = b*n(o) + 6*c(o). Is s(-4) a composite number?
True
Suppose 2*x - 17 = x. Let m = x - 5. Suppose -4*j + 62 = -p, -3*j + 37 = -2*p - m. Is j composite?
True
Suppose 4*n + 4*v = 144, -3*n + v = -3*v - 87. Is n prime?
False
Suppose 0 = 5*b - 0*b. Suppose -5*h = 3*a - 950, -a + b*a + 380 = 2*h. Suppose -2*f + h = 5*n, f + 0*n - 77 = 2*n. Is f a composite number?
True
Let f = 939 - 660. Suppose 3*b - 39 = -5*t + 106, f = 5*b - t. Is b prime?
False
Let f(m) = m**3 - 8*m**2 + 5. Let s be f(8). Suppose 4*l + 0*y - s*y - 404 = 0, 5*y - 303 = -3*l. Suppose -4*o = -489 + l. Is o a composite number?
False
Is 51/(-18) - -3 - 3363/(-18) a composite number?
True
Is (-149)/((3/(-6))/((-1)/(-2))) prime?
True
Let v(n) = 38*n - 3. Is v(3) prime?
False
Suppose w + 94 = -45. Let x = 302 + w. Is x a prime number?
True
Suppose -4*c = 3*y - 103, -2*y + c = 2*c - 67. Is y a composite number?
True
Suppose 3*v - 5*i - 1905 = -i, -3*i = v - 635. Is v composite?
True
Let w = -291 - -626. Is w composite?
True
Let w(y) = -2. Let a(l) = l - 5. Let d(x) = -3*a(x) + 7*w(x). Let g be d(-2). Let z(h) = -h**3 + 8*h**2 - 3*h + 9. Is z(g) a prime number?
True
Is 1*(-1)/3 + (-3580)/(-12) a prime number?
False
Let m(f) = 0*f**3 - 2*f + f**3 - 1 + 1 - 3*f**2. Let c be m(3). Let d = -3 - c. Is d composite?
False
Let q = -525 + 1738. Is q prime?
True
Let s(c) = -c**2 - 4*c + 7. Let u be s(-5). Let i(m) = 6*m - 9*m - m**3 - 3 - 4*m**u + 1. Is i(-4) prime?
False
Let h = 6 + -7. Is -3 - (54 - 0)*h composite?
True
Suppose 3*t - 7*t + 12 = 0. Is 25 - (0 - (4 - t)) a composite number?
True
Let t(d) be the first derivative of -49*d**2/2 + 4. Is t(-1) a composite number?
True
Let p = 167 + -90. Suppose p = -g + 2*g. Let i = g + -46. Is i composite?
False
Let k(v) = 0 + 1 - 1 + 185*v**2. Let r be k(-1). Suppose 0 = 4*z + z - r. Is z composite?
False
Let d(q) = -q**3 + 15*q**2 + 36*q - 29. Is d(15) a composite number?
True
Let h be (0/(2 - 3))/2. Suppose 60 = -2*s + 2*t + 202, -3*s + 5*t + 217 = h. Is s a composite number?
True
Suppose -o + 1860 = 4*a + o, 5*a - o = 2339. Is a a prime number?
True
Let w(a) = -19*a - 3. Is w(-8) prime?
True
Let m(p) be the second derivative of p**3/6 + p**2/2 + p. Let f be m(6). Suppose -f*k + 5*k = -158. Is k a composite number?
False
Let r(j) = j**3 + 3*j**2 - 4*j - 1. Let y be r(-4). Is (0 - y)*-1*-53 composite?
False
Suppose 10 = t + t. Suppose -594 = -2*l - t*v, 311 = l + v - 2*v. Is l a composite number?
False
Let b be (0 + 1)/(2/214). Suppose s - b = 4*z, -3*z = 2*s - 4*s + 239. Is s composite?
False
Let p(m) = -84*m + 7. Is p(-6) a composite number?
True
Let u(i) = -i**2 + 7*i - 4. Let z(y) = -y**2 + 7*y - 4. Let n(p) = 3*u(p) - 2*z(p). Let a be n(6). Suppose 0 = a*s - s - 10. Is s composite?
True
Let q be ((-744)/36)/(4/6). Let p = -21 - q. Is p prime?
False
Suppose 0 = 4*j - u - 18, 2 = -4*u + 3*u. Suppose 3*a = -o + 94, 7*o - 426 = 2*o - j*a. Is o composite?
True
Suppose 3 = s - 208. Is (1*s)/(-9 - -10) prime?
True
Suppose c - 113 = -2*t, t - 157 = -2*t - 4*c. Suppose 993 - t = 2*y. Is y prime?
True
Let y(q) = 14*q**2 - 2*q + 1. Let x be y(-2). Suppose 3*g = -x - 329. Is 1/((-1 + -1)/g) a composite number?
True
Let u(d) = -2*d + 2*d**3 + 0 + 2*d**2 - 1 - 3*d**2. Let h = 5 - 2. Is u(h) prime?
False
Is 39 - (8/4)/1 prime?
True
Let r(j) = j + 1. Let z be r(1). Let i = 0 + z. Suppose -i*s + 23 = -3*d, 13 = 4*s + 5*d - 0. Is s composite?
False
Let a(v) = 38*v**3 + 5*v**2 - 3*v - 1. Is a(3) composite?
False
Let v(n) = -530*n - 1. Let u be v(-1). Suppose -5*c + u = -136. Is c composite?
True
Let j = 10 - 8. Let m = j + 20. Is m a prime number?
False
Suppose -6*v = -3002 - 2716. Is v a prime number?
True
Suppose 5*z + 6 + 9 = 0. Let y = -2 - z. Is 9/y + (2 - 0) a prime number?
True
Is 0/2 + -3 + 190 a prime number?
False
Let k(h) = 1861*h**2 + 6*h + 6. Is k(-1) a prime number?
True
Let j(g) = g**3 - 2*g**2 + g - 9. Let f be j(8). Let y = -1 - -6. Suppose 2*x + 206 = -y*s + 675, 4*s - f = x. Is s a prime number?
False
Let j be (-4)/(-2)*(-9)/(-2). Let t(x) = x**2 - 2. Is t(j) composite?
False
Is (-30)/(2/(-1)) + -2 composite?
False
Suppose 13*f - 3757 = 1170. Is f composite?
False
Let j = 1161 + -240. Suppose j = 5*y + 106. Is y a prime number?
True
Let t = -18 + 24. Let z(s) = 17*s**2 - 6*s + 5. Is z(t) prime?
False
Suppose -n + 4*n - 5821 = 2*g, -3*n + 5845 = 4*g. Is n prime?
False
Is (((-10)/(-6))/(-5))/(1/(-2931)) a composite number?
False
Let l(x) = -x**3 + 18*x**2 + 12*x + 10. Is l(17) prime?
True
Suppose -f - 24 = -3*f - 4*n, 0 = 5*f + 3*n - 25. Let w = f - -9. Suppose -2*b + 3*b = w. Is b a prime number?
True
Suppose -2*h - h - 2*c + 5129 = 0, -h + 1707 = 2*c. Is h a composite number?
True
Suppose -2*p + 2*k = -5990, -2*k = -5*p + 9936 + 5039. Is p a composite number?
True
Let n = -8 + 10. Suppose z - n*z = -7. Let f(w) = 10*w**2 - 3*w - 2. Is f(z) composite?
False
Suppose j - 79 = -0*z - 3*z, 4*z = 4*j + 100. Suppose -2*k + 122 + z = 0. Is k composite?
True