. Is q prime?
True
Let x(b) = b**3 + 9*b**2 + 7*b + 5. Let d(w) = w**3 - 5*w**2 + 3*w + 1. Let o be d(3). Is x(o) a prime number?
True
Suppose -c + 0*c - 3*w - 488 = 0, 0 = -c - w - 492. Let j = c - -751. Is j a composite number?
False
Let k = 79 - -252. Is k prime?
True
Let r(p) = 5*p. Let a(x) = -4*x + 1. Let h(c) = 6*a(c) + 5*r(c). Is h(8) composite?
True
Suppose 4*d - 74 = 4*k - 974, 0 = -d - 2. Is k a prime number?
True
Let m be (2 + -1)/((-3)/(-78)). Suppose -4*n + m = -2*n - 3*s, 0 = -3*n - s + 39. Is n a composite number?
False
Suppose -21 = -5*k + 4. Suppose 5 = k*p - 4*p. Is ((-5)/p)/(1/(-33)) prime?
False
Let j be 6/9*(-75)/(-2). Suppose -u + j - 102 = 0. Let o = u - -144. Is o a composite number?
False
Let d = -224 - -335. Suppose 0 = -4*i + i + d. Is i a prime number?
True
Suppose 0 = 4*g - 5 - 11. Suppose -r = -3*h + 43 + 27, 259 = -g*r + 5*h. Let o = r - -116. Is o a composite number?
True
Suppose -r = 2*r + 51. Let b = 28 + r. Suppose 3 = 2*m - b. Is m a composite number?
False
Suppose -3*z + 7*z = 3004. Is z a composite number?
False
Let r = -4 + 4. Let j(z) = z + 14. Let u be j(r). Is 4/u - (-290)/14 prime?
False
Suppose 35795 = 17*g + 6589. Is g a prime number?
False
Suppose 0 = 4*s - 0*s. Suppose -2*g - g + 316 = -x, s = 3*x - 6. Let u = -51 + g. Is u a composite number?
True
Let r be -1 - (-3 + (0 - -1)). Suppose r = 3*c - 2. Is (1 + (-4)/c)*-7 a prime number?
False
Let v be ((-4)/(-2 - -1))/2. Let h(k) = 2*k**2 - k - 2. Let m be h(v). Suppose 2*d - 3*o + o = m, 0 = -5*d + o + 30. Is d composite?
False
Let b = -462 + 673. Is b composite?
False
Let i(r) = 6 + 2*r**2 - 3*r + 7*r**3 - 5*r**3 - 6*r**2. Let f be 15/4 - (-1)/4. Is i(f) prime?
False
Suppose -4 = -3*s + s, 3*p - 4*s = 2971. Is p composite?
True
Let z(s) = 3435*s - 2. Is z(1) a composite number?
False
Let j = 387 - -2. Is j composite?
False
Suppose 6*h - 183 - 207 = 0. Is h a composite number?
True
Let q be 1/(1/(-3 - -4)). Is 1*q/((-1)/(-163)) a prime number?
True
Let z(c) = c**3 + 9*c**2 + 7*c + 1. Suppose y + f + 2 = 0, -14 = -y - 10*f + 5*f. Is z(y) composite?
False
Suppose 4*w = -3*m + 1004 + 45, 357 = m + 5*w. Is m prime?
True
Suppose y + 5*n - 148 + 32 = 0, -176 = -2*y + 4*n. Suppose -2*l = -y + 28. Is l a composite number?
True
Suppose 0*j - 3*j = -1251. Suppose -4*p = -p - j. Is p a prime number?
True
Suppose 0 = -7*o + 2*o + 1325. Is o a prime number?
False
Suppose 4*u = -5*f - 515, -4*f + 488 = -4*u - 0*u. Let a = u + 288. Is a prime?
True
Let y = -142 + 96. Suppose -17 - 10 = 3*q. Let a = q - y. Is a prime?
True
Let l(a) = a**3 + 3*a - 1. Is l(5) prime?
True
Let r = 996 - 509. Is r prime?
True
Suppose 61*x = 64*x - 4611. Is x a composite number?
True
Suppose 2*f - f - 2 = 0. Suppose -2*z - i + 57 = -6*i, -2 = -f*i. Is z prime?
True
Let b be (-1 - (-2)/1) + -32. Let z = 16 - b. Is z a composite number?
False
Let n(d) = 12*d + 2. Let a(v) = v - 6. Let p = -28 + 39. Let k be a(p). Is n(k) composite?
True
Is ((-33)/(-9))/(1/15) prime?
False
Let b be (0/3 + 1)*-7. Let u = b - -10. Suppose u*w - 4*w + 79 = 0. Is w a composite number?
False
Suppose 2*t + 20 = -5*o, 0 + 6 = -3*o. Let z = t + 8. Suppose a - 148 = -z*a. Is a a composite number?
False
Suppose 10 = -s - 7. Let y = s + 38. Is y prime?
False
Let y(s) = s**3 - 5*s**2 - 11*s - 9. Let g(j) = -j**2 + j + 1. Let p(r) = -2*g(r) - y(r). Is p(8) a composite number?
True
Let j(o) = o**2 + 9*o + 9. Is j(10) composite?
False
Let c(t) = 123*t - 1. Is c(10) prime?
True
Suppose 0*h - 87 = -h. Is h composite?
True
Let j(g) = 123*g**3 + 10*g**3 + 1 + g + g**2 - 3*g. Is j(1) a composite number?
True
Suppose 0 = -a - a + 8. Suppose -a*q + 0*g = -2*g - 146, 2*q + 3*g - 61 = 0. Is q composite?
True
Suppose 27*u - 28*u = -202. Is u prime?
False
Let u be (0 - -1)*4 + 12. Let b = u - 1. Is b a prime number?
False
Suppose 2*i - 227 - 650 = -5*a, 0 = -a + 5*i + 197. Is a prime?
False
Let f = 4 - 11. Is 742/f*(-1)/2 a composite number?
False
Suppose 3*u = -3, -4*u - 5302 = -2*g - 0*g. Let x = -1478 + g. Is x prime?
True
Suppose -g + 3*g + 2 = 0. Is (127 - 0)*(0 - g) composite?
False
Suppose 1320 = 3*s + 2*s. Suppose 89 + 49 = 2*z + r, -4*z + s = -r. Is z a composite number?
False
Is 2/(-10) - (-3204)/45 composite?
False
Let v(a) = -a**3 + 3*a**2 + 6*a - 1. Let i be v(4). Let h(z) = 6 - 5 + 9 - 3*z + 18*z. Is h(i) a composite number?
True
Let h(i) = i**2 - i + 1. Let k(s) = -s**2 + 8*s - 6. Let c(m) = 2*h(m) + k(m). Let n be c(-7). Is n/15 + (-124)/(-5) composite?
True
Let p(l) = 2*l - 3. Let i be p(4). Suppose 2*c + i*u - 123 = 0, -4*u + 28 = c - 35. Is c a composite number?
False
Let v be -4 - (-2 - -1 - 0). Let f be (-16)/v + 4/6. Is (508/f)/(2/3) a prime number?
True
Suppose -2*n + 4*n = 0. Let l(v) = -v + 39. Is l(n) a prime number?
False
Suppose -2*v = 3*l - 904, 3*v - 2*v = -l + 301. Is l a prime number?
False
Let v(d) = 9*d**2 - 2*d + 1. Let w(i) = i**2 + i. Let f(n) = v(n) + 2*w(n). Let h be f(-1). Suppose -2*l - j - 32 = -3*l, 0 = 4*j - h. Is l a prime number?
False
Let d(q) = q**3 + 3*q**2 + 2*q + 3. Let x be d(-2). Suppose -5*l - 4 = -x*t, -4 = -5*t + 2*l + 9. Is (-7)/(t/(-2 - 1)) a composite number?
False
Let z(g) = -65*g + 6. Let r(u) = 64*u - 7. Let b(w) = 5*r(w) + 6*z(w). Is b(-1) prime?
True
Let g(c) = 2*c**2 - c - 1. Let s be 1*(-3)/(-3) - -1. Let j be g(s). Suppose -j*r + 128 + 1382 = v, -3*r - 5*v + 928 = 0. Is r a prime number?
False
Let m(c) = -c**3 - 3*c**2 - 4*c + 3. Let s = 5 - 9. Is m(s) composite?
True
Suppose 15*o - 7191 = 6*o. Is o composite?
True
Let b be ((-6)/(-15))/(1/490). Suppose -b = -g + 133. Is g a composite number?
True
Suppose 6 = -3*x - 9. Let m be 6/15 + 2/x. Suppose q = -m*q + 11. Is q a prime number?
True
Let w(u) = -u**2 - 2*u - 1. Let o be w(-2). Let p be o*(2/(-2) + 1). Suppose -4*g + 12 = p, -g = -2*q + 46 + 49. Is q prime?
False
Let f = 138 - -38. Let o = f - 57. Is o a prime number?
False
Let o(d) = -110*d - 19. Is o(-6) prime?
True
Let n(k) be the first derivative of -3*k**2 + 3*k**2 + 6*k + 2*k**2 - 2. Is n(5) a prime number?
False
Let k = -194 + 481. Is k a composite number?
True
Let j(s) be the third derivative of 11*s**4/4 - s**3/6 - s**2. Is j(1) prime?
False
Suppose 0 = 2*d - 4 + 2. Let a(w) = 53*w. Is a(d) a prime number?
True
Suppose 0 = -3*z - c + 8, 0*z - z + 3*c = -6. Suppose -z*d = d + 5*r - 716, -358 = -2*d - r. Is d a composite number?
False
Let l be (1/(-2))/((-3)/222). Suppose -3*i - l = -4*i. Is i composite?
False
Let z(x) = x**2 + 2*x + 2. Let t be z(-2). Suppose m + 2 = t*m. Suppose -3*w + m*w - 93 = -5*c, 3*w + 13 = c. Is c a composite number?
False
Let a = 8 + 7. Suppose w - a = 56. Is w a prime number?
True
Let z(t) = 191*t. Is z(1) prime?
True
Let q be ((-8)/(-10))/(12/30). Suppose -6*r + q*r = 0, 3*t + 3*r - 246 = 0. Is t a prime number?
False
Let g = 5204 - 3390. Is g composite?
True
Let n = 6 + -10. Let t(l) be the second derivative of -2*l**3/3 - l**2 - 3*l. Is t(n) a prime number?
False
Let h be (-6 - -3)*(-3)/3. Suppose -h*l + l = -18. Is l prime?
False
Let b(v) = 2*v**2 + 3*v. Let x be b(-2). Let t = 8 + x. Is t composite?
True
Let b = 19 + -5. Suppose 2*n - 26 = b. Suppose -u = u - n. Is u composite?
True
Let n(m) = 171*m + 4. Is n(3) prime?
False
Let h(z) = 103*z**2 + 9*z + 9. Is h(-4) composite?
False
Let q(r) be the second derivative of -r**4/12 + 5*r**3/6 + 7*r**2/2 + 2*r. Let y be q(6). Is y/(2/28) - 0 prime?
False
Let m = 649 + 100. Is m composite?
True
Let u(i) = -i**3 + 5*i**2 + 14*i - 5. Is u(-6) prime?
True
Let j be 44/(((-8)/(-6))/2). Let b = j + -29. Is b a prime number?
True
Let i(s) = s**3 + 6*s**2 - 8*s + 2. Let r be i(-7). Is 1606/18 + (-2)/r a prime number?
True
Suppose -2*x = -2*r - 4*x + 104, 0 = -3*r + 5*x + 180. Is r composite?
True
Let d(g) = g - 4. Let q be d(-4). Let i be 12/q*(-2)/3. Is i - (-1 - -2) - -143 composite?
True
Suppose 4*t = -5 - 3, -2*k + 70 = -4*t. Let a = -14 + k. Suppose -11 - a = -4*m. Is m a composite number?
False
Suppose 3*g - 312 = -5*r + 439, 0 = 3*r + g - 449. Is r a composite number?
False
Let h(z) = z - 6. Let x be h(-9). Let d = -4 - x. Is d composite?
False
Let v = 5 + -8. Let b be -11 - (v - (-1)/1). Is ((-20)/(-6))/((-3)/b) a composite number?
True
Let h(i) = i**2 - 8*i - 6. Let k be h(8)