+ 4*f + 66 = 9, -4*y + 75 = -q*f. Is y composite?
True
Suppose 2*a = -4*t + 2*t + 1044, -2*a = -t + 513. Is t prime?
False
Let x(w) = -22*w**3 - w**2 - w. Let f be x(-2). Let j = -116 + f. Is j composite?
True
Suppose -12 = -3*v, -4*f + 628 = -5*v - 420. Is f a prime number?
False
Let h = 11 + -5. Is ((-4)/h)/(2/(-201)) composite?
False
Let n = 100 - 66. Is n composite?
True
Let i = 498 - -1873. Is i a composite number?
False
Let r(w) = 3*w + 39*w**2 + 8 - 38*w**2 - w. Is r(-5) composite?
False
Suppose 0 = -4*y + 97 + 27. Is y a composite number?
False
Let b be ((-6)/9)/((-3)/36). Suppose 1170 = b*i - 3*i. Let c = i + -167. Is c a prime number?
True
Is (-9)/(360/(-86368)) - (-1)/(-5) a prime number?
False
Let y(j) = -64*j - 33. Is y(-8) a prime number?
True
Suppose -3*n - 3*w = 2*n - 145, -w + 145 = 5*n. Let x = n + 84. Is x a composite number?
False
Let t = 32 - 21. Let p = 18 - t. Is p a prime number?
True
Suppose -4*q + 19 = -3*y + 7, -4*q = -4*y - 12. Suppose 5*u + y*u = 10. Is (-2)/(-1 + u) + 27 composite?
True
Let k(y) = -3*y + 1 + 3*y + y. Let j be k(0). Is 15*j - (-1 - -1) a prime number?
False
Suppose 5*p - 5501 = 864. Is p prime?
False
Suppose 5*h + 2*d = 102, -3*d + 92 = 5*h - 6. Let c = h + -1. Is c a prime number?
False
Let u(s) = -2 + 1 - s - 38*s**3 - s**2 - s. Suppose -3*x - x - 4 = 0. Is u(x) composite?
True
Suppose -3*f + 0*f = -39. Suppose j = 3*j. Let p = f + j. Is p composite?
False
Let i(o) = o**3 - 2*o**2 + 3*o + 2309. Is i(0) prime?
True
Let z(w) = 5*w**2 + 5*w**2 - w**2 - 3 - w. Is z(-4) prime?
False
Let d be (-1 + 1)/(1 + -2). Let p be 85/10*(12 - d). Suppose -2*o = -2*u + o + 93, 3*o = -3*u + p. Is u prime?
False
Let w be -5*(-2)/5 + 3. Suppose -4*a + w*y = -63, -13 = -4*y + 7. Is a a composite number?
True
Let w(l) = l**2 + 8*l + 3. Let v be w(-5). Suppose -t + 3*y + 16 + 4 = 0, -5*t - 2*y = -117. Let z = v + t. Is z a prime number?
True
Let b(k) be the first derivative of 17*k**3 + k + 2. Let u be (0 + 1)/((-2)/4). Is b(u) a composite number?
True
Suppose 732 = 8*o - 10204. Is o a composite number?
False
Suppose -z = 4*j - 65, j + 175 = 3*z - z. Is z a prime number?
False
Let z = 4499 - 1780. Is z prime?
True
Let u(q) = 10*q**3 + q**2 - 3*q - 2. Let r be u(3). Suppose 0*f = -5*f. Suppose r = -f*w + 4*w. Is w prime?
True
Suppose -3*x - 4*f = -7*x, -5*x - 12 = -2*f. Let r = x - -7. Suppose 215 - r = 5*a + s, 71 = 2*a + 5*s. Is a prime?
True
Let k(x) = x - 2. Let l be k(2). Is (l + 3)/((-18)/(-132)) prime?
False
Let g(w) = -w + 0*w + 3*w**2 + 2 - 2. Is g(2) composite?
True
Is 3 + (-41)/(-1)*2 a prime number?
False
Let d = -165 + 236. Let z = d - -23. Is z a composite number?
True
Suppose 6*g - 131 = 5*g. Is g a prime number?
True
Suppose -10 = 3*z - 8*z. Suppose -4*g + 4 = 4*h, -g + z*h + 7 = -9. Is 0/(-1) + 0 + g prime?
False
Suppose 0 = 4*c - 1628 - 936. Is c a prime number?
True
Suppose 2*x - 28 = -4*q, 4*x + 0*x = q + 2. Let g be (-22)/4 + (-12)/(-8). Is 3/q - 122/g prime?
True
Suppose 0*w = -3*w + 942. Is w prime?
False
Let o(y) = 3*y + 5. Let r be o(-8). Let a = 38 + r. Is a composite?
False
Let g(q) = -q**3 - 4*q**2 + 15*q + 13. Let c be g(-10). Let v = c - 74. Is v composite?
False
Let w be 1*4 - 0/(-4). Suppose -742 - 94 = -w*i. Is i composite?
True
Suppose -6*x + 1580 = -376. Is x prime?
False
Suppose -4*l = 0, -3*y + 2*l - 69 = -l. Suppose 0*k - k + 48 = 2*q, q = 1. Let c = k + y. Is c prime?
True
Suppose 0 = 3*m + 2*m + 60. Let h(q) = 5*q + 33. Let p(a) = -3*a - 22. Let n(u) = -5*h(u) - 7*p(u). Is n(m) composite?
False
Let y = -188 - -391. Is y a prime number?
False
Let l be (-14)/(-63) - (-68)/18. Suppose -g + 117 = 4*g - 4*v, 3*g - 67 = l*v. Is g prime?
False
Suppose -2*i + 8460 - 158 = 0. Is i a composite number?
True
Let w be 1/(-2) - (-26)/(-4). Let n be 156/7 - (-4)/(-14). Let r = n + w. Is r a prime number?
False
Let p(k) = -k + 7. Let d be p(3). Let u = d + 0. Is 419/(-2)*(-8)/u a composite number?
False
Let v(z) = z**3 + z**2 + 10*z - 13. Is v(7) composite?
False
Let x = -653 + 1152. Is x composite?
False
Let n be 38/(-3 - (-4 - -3)). Let k = n - -29. Is k composite?
True
Let a(q) = 6*q + 1. Is a(2) prime?
True
Suppose -5*r + 10*r - 6215 = 0. Is r prime?
False
Suppose 0*v = -3*v. Suppose 5*s = 4*q, v = -q - q - 2*s + 18. Let b = 9 - q. Is b a composite number?
True
Suppose 0*w + 2*w - 262 = -2*n, 4*w = 4*n - 492. Is n a prime number?
True
Let d(t) = -t**2 + 5*t + 1. Let q be ((-2)/2)/((-2)/8). Let m be d(q). Suppose -3*v + 53 = -3*h + m*h, -3*v = 4*h - 61. Is v prime?
False
Let h(i) be the first derivative of 31*i**3/3 + 2*i**2 - 3*i + 3. Let d = 2 + 0. Is h(d) prime?
False
Suppose 0 = 5*x + 20, -2*d - 2 = 4*x + 6. Suppose -d*u = -4, 751 = -4*o + 8*o + 3*u. Is o composite?
True
Suppose 0 = 3*r - r + 4, 3*j + 2*r + 208 = 0. Let n = -35 - 12. Let t = n - j. Is t a prime number?
False
Let c = 214 - 117. Is c composite?
False
Let f(u) = -2*u**3 - 2*u**2 + u. Let q be f(1). Let x(v) = -v - 3. Let b be x(q). Suppose -3*i = -b*i - 63. Is i composite?
True
Let q be (4/6)/(3/171). Suppose -b = -q + 3. Is b a prime number?
False
Suppose -2*z - 3*f - 326 = -840, -1068 = -4*z + 4*f. Is z prime?
True
Suppose 0 = -0*w + 4*w - 44. Is w a prime number?
True
Let w(g) = g**2 - 4*g + 5. Let k be w(4). Let m(z) = 10*z + 7. Is m(k) prime?
False
Let s(r) = r**3 + 8*r**2 - 8*r + 11. Let u be s(-9). Suppose 27 = u*t - 35. Let f = t - -118. Is f composite?
False
Suppose -57*n + 63*n - 31386 = 0. Is n a prime number?
True
Is 1/1 - -2*91 a prime number?
False
Let a(h) = -h + 1. Let y(t) = t**2 + t - 4. Let x(u) = -3*a(u) - y(u). Let i(f) = -3*f**2 + 3*f + 3. Let g(z) = -3*i(z) + 7*x(z). Is g(-5) a composite number?
False
Let v be (-15)/10*(-20)/3. Is 8/(-20) + 4434/v a prime number?
True
Let q(c) = c**3 + 7*c**2 - 5*c + 13. Is q(-6) a prime number?
True
Let a(d) = 0*d + 18*d**2 - d - 5 - 8*d. Is a(-4) prime?
False
Let m = -1826 - -3007. Is m composite?
False
Suppose -g = 4*g + 15. Is (-166)/g - (-2)/(-6) composite?
True
Suppose -g + 5*l - 86 = 30, 3*g + 5*l + 268 = 0. Let z = g + 166. Suppose 2*s - z = 64. Is s prime?
True
Let m = -2310 - -3433. Is m a composite number?
False
Let w(d) = -4*d - 6*d + 3*d + 0*d - d**2. Let z be w(-6). Is ((-9)/z)/(2/(-20)) a composite number?
True
Let s(n) = -n + 35. Let b(z) = -z**3 + 5*z**2 - z + 5. Let y be b(5). Is s(y) a composite number?
True
Let f = 78 - -317. Is f a composite number?
True
Suppose 0*r = 4*r - 1568. Suppose -5*d + r = 82. Is d a composite number?
True
Suppose 4*v - q + 11 = -4*q, 0 = -2*q - 10. Let k be -3*(v + 1 - -2). Let f = k - -23. Is f prime?
True
Suppose -3*t + 3*d = -3, -2*t + 6*t - 20 = -4*d. Suppose r = t*r - 70. Is r prime?
False
Let q = -2 + 8. Is 2403/12 - q/(-8) a prime number?
False
Suppose 89 + 162 = t + 2*y, 2*t = 4*y + 502. Is t a prime number?
True
Let x(u) = u - 7. Let j be x(10). Suppose 5*m - 2*i = 375, -m - m + j*i + 139 = 0. Is m composite?
True
Suppose -3*g - 122 = -6*g + n, -54 = -g + 3*n. Is g a prime number?
False
Let y(d) = d**3 - 4*d**2 - 2. Let a be y(3). Let w = a - -3. Is (66/w)/((-3)/8) prime?
False
Suppose z + 95 = -26. Let v(d) = -17*d. Let y be v(4). Let r = y - z. Is r a prime number?
True
Let m(b) = -b**2 + 7*b + 11. Let z be 108/14 + (-4)/(-14). Is m(z) a composite number?
False
Let s = 11 - -99. Suppose -4*w = -2*g + s, 5*w - w - 155 = -3*g. Is g prime?
True
Let q be (10/3)/((-2)/(-3)). Let v = 2 - -1. Suppose -t + 187 = -0*x + q*x, 0 = -v*x - 4*t + 119. Is x composite?
False
Suppose 12*l = 15*l - 1191. Is l a composite number?
False
Let b(f) be the third derivative of f**5/30 - f**4/3 - f**3/6 - 7*f**2. Is b(12) prime?
True
Let q(r) = 4 + r**2 + 3*r - 2*r + r + 0*r. Let f be q(-3). Suppose 2*k - f*k = -130. Is k composite?
True
Let p = -8 + 13. Suppose p = -2*t - 11. Let l = t - -17. Is l a composite number?
True
Let r(q) = -32*q**3 - q - 2. Is r(-3) a prime number?
False
Suppose 5*s = -5*s + 1270. Is s a prime number?
True
Let x(n) = 8*n**2 + 5*n - 10. Is x(5) a prime number?
False
Suppose -6*z - 12 + 222 = 0. Is z composite?
True
Let p = -558 - -1721. Is p a prime number?
True
Suppose -5*j + 2 = -4*j. Let w(p) = -j*p + 12 + 12 - 11. Is w(-9) a prime number?
True
Let d(t) = 2*t - 3. Let y be d(3). Let x(i) = 0*i - y*i + i*