-2) prime?
True
Suppose 1007 = 3*p + 374. Is p a composite number?
False
Let b(x) = x + 7. Let z be b(-7). Suppose z*l = l - 301. Is l composite?
True
Let i(s) = 116*s + 3. Is i(5) composite?
True
Suppose -4*w + 10 = -2*l - 2, 2*w - 22 = -3*l. Suppose w*c + 367 = -2*i + 1889, -2*c + 2283 = 3*i. Is i a prime number?
True
Is 1207 + (-3)/((-15)/(-10)) a prime number?
False
Suppose 4*b + 5 = -b, -g - 5*b + 530 = 0. Is g prime?
False
Is (-307)/((-5 + 6)/(-1)) prime?
True
Let r be -2 + ((-3)/(-3) - -1). Suppose r = -5*f - 2*w + 290, -5*w + 174 = 2*f + f. Is f prime?
False
Let t(i) = 9*i**2 - 4*i + 6*i**2 + 4*i - 2. Is t(2) a prime number?
False
Let n = 94 + -52. Suppose f - 221 = -n. Is f a prime number?
True
Let j = 13 + 286. Let m = 594 - j. Is m prime?
False
Suppose 3 = 2*i + u - 2, 3*u + 29 = 5*i. Suppose 0 = i*k + 5*n - 608, -4*k - n - 12 + 636 = 0. Is k a prime number?
True
Suppose 0 = -5*q - 0*q + 95. Is q composite?
False
Is 1/(22/8290) - 114/(-627) prime?
False
Let n(k) = -227*k - 4. Is n(-3) prime?
True
Let x be -86*(2 - (2 - 1)). Let b = -49 - x. Is b composite?
False
Let q(x) = x**3 + 2*x**2 - 7*x - 1. Is q(5) a prime number?
True
Suppose 0 = -3*s - s. Suppose s*m + 54 = 2*m. Suppose m + 28 = 5*z. Is z prime?
True
Let j(l) = -7*l**3 + 5*l**2 - 2*l - 8. Let v be j(4). Let u = 601 + v. Is u a composite number?
True
Suppose 3*s - 47 = -2*w, 5*w + 0*s = -3*s + 140. Suppose 5*k - 34 = w. Is k composite?
False
Let q = 1 - 5. Let a = -4 - q. Suppose a = -k + 18 + 13. Is k composite?
False
Suppose 11*n - 7779 = 2352. Is n a prime number?
False
Let v(l) = -25*l**3 - 4*l - 4. Let w be v(-3). Suppose -9 = 3*u, 0*r - 2*u - w = -r. Is r prime?
True
Let v = 3029 + -1920. Is v composite?
False
Let v be (4/8)/(2/8). Suppose -v*b = 4 - 6. Let p(w) = 6*w**3 + 2*w**2 - w. Is p(b) a composite number?
False
Let y(n) = n - 3. Let g be 1/2 + 10/4. Let u be y(g). Suppose u*m + 265 = 5*m. Is m composite?
False
Let y = 72 - 34. Suppose 24 = -a + 8. Let r = a + y. Is r a composite number?
True
Let i(h) = -h**2 - 10*h - 7. Let c be i(-9). Suppose -c*x = 28 - 94. Is x composite?
True
Is ((-545)/(-1))/(-5)*-3 prime?
False
Suppose 204 = 3*n - 4*r, n + 2*r + 354 = 6*n. Suppose 8 = 4*q, -4*k + 3*q = -7*k + n. Is k prime?
False
Let p = 4574 - 3093. Is p a composite number?
False
Let o = -146 - -58. Let w = 185 + o. Is w composite?
False
Let l(v) = -v**2 + v + 7*v - v + 37 - 6*v. Let w = -4 + 4. Is l(w) composite?
False
Let u = -6 + 25. Let w = 29 - u. Is w prime?
False
Suppose -4*f = 2*k + 2*k + 44, -k - 9 = 3*f. Let m be ((-23)/2)/(6/k). Let w = m - -2. Is w a composite number?
True
Suppose -9*u = 161 - 3284. Is u a prime number?
True
Suppose -5*t + 3*t = -3794. Is t prime?
False
Let q(b) = b + 1. Let y be q(2). Suppose -y*f + 198 + 159 = 0. Is f prime?
False
Let q be 1/2*0 + 4. Suppose 11 + 5 = q*h. Suppose -h*r = -115 - 73. Is r a prime number?
True
Let y(u) = -219*u + 1. Let m be y(-1). Let n = 2 - -129. Let d = m - n. Is d a composite number?
False
Let y(n) = 37*n**2 - n - 1. Let h = -6 + 5. Is y(h) prime?
True
Let h(k) be the first derivative of -k**3/3 - 3*k**2 + 3*k - 3. Let t be h(-6). Suppose 2*y - 45 = 5*j, 5*y - j = -t*j + 185. Is y a composite number?
True
Let m be (2 + 0)/2 - -1. Let n be (5 + -5)*m/(-4). Suppose 3*j + i = -n*i + 116, 3*i - 89 = -2*j. Is j prime?
True
Let v(r) = r**2 + r + 5. Let c be v(0). Suppose c*t = 3*t + 74. Is t composite?
False
Let a be (-186)/(-4) - 1/(-2). Suppose -7*q + 2*q = 20, 2*q = -3*f - 62. Let o = a - f. Is o a composite number?
True
Let s = 5 + -1. Suppose -s = 4*z, -2*y + 6*y - 15 = 3*z. Suppose -w + y*w = 46. Is w composite?
False
Let j = 466 + -39. Is j prime?
False
Let g be (-317)/(-2) - (-1)/(-2). Suppose 3*x = b + g, b - 145 = -5*x + 121. Is x prime?
True
Is 183 - 8/(1 - 5) composite?
True
Let h(z) = 1195*z**2 + 2*z + 2. Is h(-1) composite?
True
Is 0 - -1 - (3 - 261) a composite number?
True
Suppose -4*m + 7963 = 5*w, -3*m + 6446 = -2*w + 491. Is m a prime number?
True
Is -2230*(-3)/6*1 prime?
False
Let g = -12 + 3. Is ((-111)/g)/(2/6) composite?
False
Let y(c) = -c + 4. Let h be y(3). Let w be (447/2)/(h/4). Suppose -3*f - 345 = -w. Is f a composite number?
True
Suppose 0 = -2*p + 4*v + 430, -v = -3*p + 3*v + 649. Suppose -2*a + 39 = b - 1, -3*a + 63 = 3*b. Suppose -2*c + a = -p. Is c a composite number?
True
Is 9/((-9)/2) - -633 a composite number?
False
Let d = -39 + 49. Is d composite?
True
Suppose 2 + 13 = -3*h. Let y = 7 + h. Suppose -4*b = 4*j - 484, -j + 2*b + 353 = y*j. Is j a composite number?
True
Let k be -21*(40/(-12) - -1). Suppose -k = o - 2*o. Is o composite?
True
Suppose 6 = 3*c - 9. Suppose c*q + 4*k - 1419 = 0, 0 = 5*q - 3*k - 2*k - 1455. Is q a prime number?
False
Let p be -1*(2 - (-10)/(-1)). Let z be (p - 6) + (-17 - 1). Let u = 3 - z. Is u a composite number?
False
Suppose 2*m + 2 = -2*m - 3*q, -5*m - 5*q = 0. Is m/(-2) + (2 - -46) a prime number?
False
Let p be -4 + (0 - 2) + 3. Suppose -5*k = -0*k - 490. Is k - (-1)/3*p a composite number?
False
Suppose -5*a - 4*x + 910 = 283, 4*x = 12. Is a a prime number?
False
Suppose 0 = k + d - 113, k - d = 3*k - 231. Is k prime?
False
Suppose 4*z = -w + 21 - 71, 0 = z + 4*w + 20. Let a(r) = -r**2 - 13*r + 7. Is a(z) composite?
False
Let s be (-4)/14 + 531/21. Suppose s = 3*q + 2*q. Let i = q - -48. Is i a prime number?
True
Let o = 207 + -143. Let p = o - 5. Is p prime?
True
Let y(z) = z**3 + z + 1. Let j(a) = -5*a**3 - a**2 - 3*a - 4. Let i(n) = -j(n) - 4*y(n). Let m be i(0). Suppose 4*h - 18 - 34 = m. Is h a prime number?
True
Suppose -28*a = -25*a - 6. Let f = 1 - 1. Suppose -a*y - y + 63 = f. Is y prime?
False
Suppose 4*s = 45 + 47. Is s a composite number?
False
Suppose 2*x + 28 = -20. Let s = x + 59. Is s prime?
False
Let x be 104/(-2) + (-4 - -5). Let t = x + 72. Is t composite?
True
Suppose 3*s - 3*i + 2*i - 15 = 0, 3*i - 11 = -5*s. Suppose 0*v + 3*v + 3159 = 5*u, 0 = -u + s*v + 625. Is (u/(-6))/(2/(-4)) a composite number?
False
Suppose 4*f + 8 = -0*f. Let j be 0 + ((-4)/1)/(-2). Let c = j - f. Is c composite?
True
Let u = -263 + 129. Let m = -68 - u. Suppose v + v = m. Is v prime?
False
Let v be (-7 - 0 - -1)/2. Is (v - 0)*2524/(-12) composite?
False
Let x(r) = 88*r**2 - 2*r + 1. Let v be x(1). Let h = -122 + v. Is 0 + (-6)/(-3) - h a composite number?
False
Let i(t) = t**3 + t**2 + t + 237. Is i(0) a prime number?
False
Let l be ((-2)/(-5))/((-2)/(-530)). Is (-2)/((16/l)/(-4)) composite?
False
Suppose -162 = 4*o + 46. Let c = 179 + o. Is c a composite number?
False
Let v(g) = g + 6. Let c be v(-7). Let b(o) = -3*o**3 + 2*o + 1. Let r be b(c). Is 1 - (r - 37 - -1) a composite number?
True
Suppose 6*a - 2*a - 20 = 0. Suppose -5*t - 704 = -4*c + 167, 0 = c - a*t - 229. Is c prime?
False
Let b be (4/(-12))/(1/(-573)). Let q = -105 + b. Is q prime?
False
Suppose 0 = 2*b - y + 5*y - 1328, -y - 2665 = -4*b. Suppose b = -4*g + 3230. Is g a composite number?
False
Let x(c) = c**2 + c**3 - 3*c + 4*c + 5 + c. Let h(d) = d**3 + d**2 + d + 4. Let o(f) = 6*h(f) - 5*x(f). Is o(3) a composite number?
False
Let n = 217 + -99. Is n prime?
False
Suppose -3*t - 118 = -5*t. Is t a prime number?
True
Let q be ((-314)/6)/((-1)/3). Let a = -125 + 233. Suppose 5*o + 5*t - q = a, -3*o - 5*t = -155. Is o a prime number?
False
Let y = 1 + 3. Suppose 4*w + 456 = y*a, -a + 108 = w - 5*w. Let o = a + -63. Is o a composite number?
False
Let y(s) = -s**2 + 4*s. Let p be y(3). Suppose -6143 = -p*k + 4*u, -2*k = k - 3*u - 6147. Is k prime?
True
Let o(a) = -a. Let q be o(-4). Let p(j) = 19*j + 1. Let i be p(q). Suppose 0 = -3*d + 4*d - i. Is d a composite number?
True
Suppose -o - 15 = 27. Suppose -5*d + 192 = -443. Let r = o + d. Is r a composite number?
True
Let b = -2 + -19. Let d = 64 + b. Is d prime?
True
Let q(r) = 2*r + 19. Let s(d) = -5*d - 29. Let t(u) = -6*u - 29. Let p(m) = 3*s(m) - 2*t(m). Let o(y) = 5*p(y) + 8*q(y). Is o(0) composite?
False
Let f(y) = y**2 + 8*y + 6. Let u be f(-6). Is 357/u*(-3 + 1) prime?
False
Let h(p) = -96*p**3 + 1. Let a be h(1). Let c = -166 - a. Let g = c + 104. Is g composite?
True
Let q(d) be the first derivative of d**4/4 + 8*d**3/3 + d**2 + 3*d - 3. Is q(-7) a prime number?
False
Suppose 3*a - 2*w = 23, a + 3*a + 4*w = 4. Suppose 