
True
Let y(x) = -x**2 + 5*x + 7. Let q be y(5). Let i(z) = 0 - 2 - 3*z + 3 - q*z. Is i(-2) a prime number?
False
Suppose 2*v - 3926 = -4*j, 2*v = 3*v + 5*j - 1957. Is v composite?
True
Suppose 0 = 4*c + 16, c - 1348 - 233 = -5*u. Is u composite?
False
Let y(o) = -o**2 + 9*o - 6. Let w be y(8). Is (1 + -92)*w/(-2) composite?
True
Let o be 18/(-12)*(-3 + 1). Suppose l + 3*l = -2*b + 132, 81 = 3*l - o*b. Is l*(-2 + 1 + 2) composite?
False
Let x(y) = -y**3 - 3*y**2 + 7*y + 2. Let o be x(-6). Suppose o + 85 = 3*h. Is h a prime number?
False
Let m(p) = -p**3 - 5*p**2 + 5*p - 2. Let c be m(-6). Let h(b) = 7*b - 2. Let d be h(c). Suppose 3*i = 7 + d. Is i prime?
True
Let y be 40/16 + 3/2. Is y + -3 + 85 - 0 a composite number?
True
Let d(t) = t**2 + 4*t. Let j be d(-2). Let z = 5 + j. Is 17 - -1 - 2 - z a prime number?
False
Suppose -3*h = -y + 28 - 1, 5*y = 5*h + 125. Suppose -4*c + 2*i = 0, 0 = 4*c + 5*i - i - y. Suppose -t - 119 = -4*o + 199, -c*t = -2*o + 162. Is o composite?
False
Let c(s) = -s**2 - s - 9. Let h(q) = 2*q**2 + 3*q + 17. Let t(k) = 7*c(k) + 4*h(k). Let x be t(-4). Let u(r) = 27*r - 1. Is u(x) a composite number?
True
Suppose -27 = b + 2*f + 2*f, 3*b - 5*f - 4 = 0. Let s(n) = -2*n + 0 - 13*n + 2 - 6*n. Is s(b) composite?
False
Let m be 0 + (136 - (0 + 0)). Let i(y) = -9*y**3 - y**2 - 2*y - 3. Let t be i(-2). Let u = m - t. Is u a composite number?
False
Suppose -3*t - 4*i = -14581, -3*i - 19590 = -5*t + 4673. Is t composite?
True
Let o(a) = 22*a**2. Suppose -5*s + 0 - 5 = 0. Is o(s) a composite number?
True
Let j = -2163 - -4150. Is j a composite number?
False
Let r = 495 + -294. Suppose 5*w = 5*d - 800, 4*w - 447 - r = -4*d. Is d prime?
False
Suppose 0*f + 5 = 5*f. Is (1*-194*f)/(-2) prime?
True
Let x = -2 + 0. Let n(s) = 1. Let m(f) = 2*f**3 + 3*f**2 + 2*f - 1. Let t(l) = x*n(l) - m(l). Is t(-2) a prime number?
True
Suppose 0 = -4*m - 322 + 11910. Is m a prime number?
True
Let n(w) = w + 1. Let s(l) = -27*l - 2. Let a(z) = n(z) + s(z). Is a(-3) composite?
True
Let a(n) = n**2 + 7*n + 6. Let r be a(-6). Is (r - 1)*(-188)/4 a composite number?
False
Let y = -6494 + 11465. Is y a composite number?
True
Suppose -7*g + 1586 + 213 = 0. Is g composite?
False
Let z(m) = -m + 334. Let o be z(0). Let c(v) = -v**2 - v + 305. Let n be c(0). Suppose -3*l + n = -o. Is l composite?
True
Is 2/(-1) - -121 - -4 a prime number?
False
Let b(l) = -14*l + 0 + 6*l**2 - 5 + 2*l**3 - l**3. Is b(-6) a composite number?
False
Let v = 3 + -1. Let s(r) = r**2 - 6*r + 3 - 6*r**2 + 4*r**v. Is s(-6) composite?
False
Suppose 5*x - 55 = 5*i, 2*x + 0*i = i + 22. Let u(p) = 4 - 15 + 7*p + 2 + x*p**2 + p**3. Is u(-8) a composite number?
False
Suppose 4*j + 2 = 34. Is (-171)/(-2)*j/12 a composite number?
True
Let h(g) = -20*g + 17. Is h(-7) prime?
True
Let s be (-25)/(-5) + 1*-3. Suppose 0 = -s*u + 4*u - 70. Is u a prime number?
False
Suppose -z = 10 - 29. Suppose 0 = -5*t + 108 - 13. Suppose 2*x = z + t. Is x a composite number?
False
Let i(u) = -u - 8. Let q be i(-14). Is 706/(-1)*(-3)/q a composite number?
False
Suppose 2*x = 5*x + 165. Let a = x + 88. Is a a composite number?
True
Let r be (-14)/(-35) - 967/5. Let l = r - -287. Is l a composite number?
True
Let i(a) = 2*a**3 - a**2 - 4*a + 4. Let c(v) = 20*v + 1. Let x be c(1). Suppose x - 9 = 4*b. Is i(b) a composite number?
False
Let s be (-2 - -1)*-2 - 2. Let j be -5 - -3 - 1 - s. Let w = 80 - j. Is w a prime number?
True
Suppose 4*g = 8*g + 24. Let r(n) = -10*n - 7. Is r(g) a prime number?
True
Let l(h) = 431*h**2 - 1. Let d be l(-1). Let j = -19 + d. Is j prime?
False
Let r(l) = 153*l + 29. Is r(10) a composite number?
False
Let w(r) = -4*r**2 - 17*r + 8. Let g(o) = -o**2 + 1. Let b(p) = 5*g(p) - w(p). Is b(10) composite?
False
Let r(m) = m**3 + 16*m**2 - m + 37. Is r(-7) a composite number?
True
Let o be (-5)/(-2) + 3/6. Let p be o/(2 - 143/73). Let k = -34 + p. Is k a prime number?
False
Let w be (-6)/(-1)*(-71)/(-3). Let i(d) = -3*d + w*d**2 + 0*d + 4*d. Is i(1) a prime number?
False
Let c be (-1)/1 - (-7 + 3). Suppose 2*d - c*t - 54 = -d, 0 = -5*t + 25. Is d prime?
True
Let z = 58 + 121. Suppose 0 = 5*i - 814 + z. Is i a composite number?
False
Let p be 1/1 + (-2 - -1). Suppose 5*s + 1148 - 203 = p. Let k = -112 - s. Is k prime?
False
Suppose -2*b - 5*x + 31 = b, 5 = x. Is 264/8 - (b - 0) a composite number?
False
Let j(x) = -22*x**3 - 5*x**2 + 2*x + 12. Is j(-5) a prime number?
False
Let u(g) = -g + 46. Let p be u(0). Suppose -3*v = 3*t - p - 269, -5*v - 3*t + 521 = 0. Is v composite?
False
Suppose 2*g - 106 = -4*z + 50, -3*z = 5*g - 131. Is z prime?
True
Suppose 5*o - o = 892. Is o prime?
True
Suppose 2*j - 461 = -3*u - 0*j, 0 = u + 4*j - 137. Is u prime?
True
Suppose -5*j - 11 + 1 = 0. Is ((-3)/j)/(1/26) a composite number?
True
Suppose -4*s = 5*d - 17, 2*s + 3*s - 4*d = 11. Suppose s*o - 4*o + 3 = 0. Suppose -o*q + q + 22 = 0. Is q composite?
False
Let y(z) = 4*z**2 + 2*z + 1. Let h be -8 + (1 + -2)*-2. Is y(h) composite?
True
Let m(d) = -d**3 + 7*d**2 + 7*d - 3. Let t be m(6). Let o be (t/(-12))/(3/12). Let i = 48 + o. Is i a composite number?
False
Let d(h) = 4*h**2 - 5*h - 11. Is d(-6) a prime number?
True
Let s = -7 - -5. Let h be ((-5)/(-10))/(s/(-596)). Is 3 + h - (0 - 3) composite?
True
Suppose 3*i - 6 = 5*o, 0 = -0*o + 3*o - 3*i + 6. Suppose 2*b = 5*t - 170 + 41, o = -3*b + t - 213. Let k = 154 + b. Is k composite?
True
Suppose -3*q = -26 - 7. Suppose -5*p = -0*p + 15, h = 4*p - q. Let t = 102 + h. Is t a prime number?
True
Let i = -11 + 15. Suppose 0 = -5*y + 2*d - d + 143, i*d - 8 = 0. Suppose 3*p - z - 83 = -6*z, 0 = p + z - y. Is p a composite number?
False
Let t(d) = 5*d**2 - 13*d + 5. Let i(l) = -l. Let w(s) = 4*i(s) - t(s). Let x(n) = -6*n**2 + 9*n - 5. Let v(o) = -3*w(o) + 2*x(o). Is v(6) a composite number?
False
Let q = 40 + 29. Is q composite?
True
Suppose 5*y = y. Suppose y*h = h - 2. Is (-233)/(-5) + h/5 a prime number?
True
Let v be ((-2 + 1)*1)/(-1). Suppose -1 - v = i. Is (i/(-4))/(5/140) composite?
True
Suppose -5*p - 4*v = 11 - 51, 3*p = -5*v + 37. Suppose -p*b = -15 - 21. Is b prime?
False
Suppose -4*c = 4*u - 2184, 0 = 3*c + 2*u + 2*u - 1639. Suppose -5*i = -5*g + c, 3*g = g + 4*i + 210. Is g a composite number?
False
Suppose 8115 = 88*v - 83*v. Is v a composite number?
True
Suppose -5*v - 3*w - 1009 = -2502, 3*w = -12. Is v a composite number?
True
Suppose 1428 = 14*k - 1246. Is k a prime number?
True
Let z = 2 - 0. Suppose z*s - 57 = s. Let m = s - 26. Is m composite?
False
Let j be 149/7 + 4/(-14). Let b = 54 - j. Is 1/((-2)/4) + b composite?
False
Let k be (-1 + 0)*80/10. Let n = 2 - k. Is n composite?
True
Suppose 1 + 5 = 2*y + b, 16 = -4*b. Let a = y + -2. Suppose g = -3*m - 2*m - 21, 2*g + m - a = 0. Is g a composite number?
True
Suppose 0 = i - 0*i + 206. Let a = i - -397. Is a prime?
True
Let j = -2 + 5. Let f(h) = 6*h + 1. Is f(j) a composite number?
False
Suppose 10 = h - 3*c, -2*c = -3*c. Is 1308/h - 1/(-5) a composite number?
False
Suppose 0 = 3*m + 9 - 21. Suppose t - 133 - 320 = 2*g, 0 = t + m*g - 435. Is t composite?
True
Is (-12980)/(-30) + (-5)/3 composite?
False
Suppose -7*s + 3*s + 956 = 0. Let n = s + -108. Is n - 0/((-3)/3) a prime number?
True
Let g = 15535 - 10564. Is g a composite number?
True
Suppose 0 = a + 2*u - 0 - 154, -a + 3*u + 154 = 0. Let y = -41 - a. Is 2/8 + y/(-20) a prime number?
False
Let s(l) = 30*l + 1. Suppose 44 = -0*j + 4*j. Is s(j) a composite number?
False
Suppose -2*n + 0 = -10. Suppose 3*m + 190 = n*m. Is m composite?
True
Suppose 56 + 11 = s. Is s composite?
False
Suppose g = 5*g - 20. Suppose -4*i + 3 = -g. Suppose i*z + 218 = 2*d, 2*d + 533 = 7*d - z. Is d a composite number?
True
Suppose -580 = -2*q - 2*q. Is q a composite number?
True
Suppose -8*t + 1344 = -184. Is t a prime number?
True
Let c(b) = -b**2 + 4*b + 4. Let g be c(4). Suppose -w = -g*m - 16, -w + m - 2 = -3. Is (-205)/w - 2/8 composite?
True
Suppose 0 = -0*q - q + 557. Is q a prime number?
True
Let h = 1 + -9. Is 2/h + 290/40 a prime number?
True
Suppose 4*y + 5*x - 34 = 0, 0 = -0*y - 4*y - 4*x + 32. Let w(p) = p**3 - 6*p**2 + 4. Let z be w(y). Suppose 4*f + 4*v = 96, 5*f + z*v = 76 + 39. Is f prime?
True
Let i = 68 + 11. Is i a prime number?
True
Suppos