 = 186. Is q composite?
True
Suppose -13*u + 75 + 42 = 0. Is u a prime number?
False
Let c be -1*1336*(-1)/2. Is c/3 + (-2)/(-6) a prime number?
True
Is (-2)/((-129)/127 - -1) a composite number?
False
Suppose 3*o + 0 - 21 = 0. Let b(s) = -s**2 + 9*s. Is b(o) composite?
True
Suppose 4*a - 7*a = -2235. Is a a composite number?
True
Let l(h) = -h**2 - 18*h - 7. Suppose 0 = z + z - 116. Suppose z = -3*o + 22. Is l(o) a composite number?
True
Let q(a) = 78*a + 72*a - 7*a - 1. Is q(4) a prime number?
True
Let u(n) = 5*n**2 - n - 2. Suppose 0 = -z - v + 3*v - 4, -4*v = -4*z - 12. Let b be u(z). Let i = b - 1. Is i a prime number?
True
Let v = 17865 + -10714. Is v composite?
False
Let p(z) = -z - 12. Let m be p(-11). Let q be 0/m + (-2)/(-1). Suppose 2*o - 30 = -0*o + 5*i, 0 = q*i + 4. Is o a composite number?
True
Let f(g) = -5*g**2 + g + 1. Let q(l) = -l. Let r(v) = -f(v) - 4*q(v). Is r(3) a composite number?
False
Let d(w) = -320*w + 17. Is d(-3) composite?
False
Let d(z) = -z + 7. Let j be d(8). Is 1/j + (-5 - -59) prime?
True
Let t = 196 - -576. Let h = 1309 - t. Is h composite?
True
Suppose 4*x - 16 = g, 0*g = -2*g - 2*x + 8. Let r(y) = -y**2 + y + 37. Let k be r(g). Let p = k - 14. Is p a prime number?
True
Let a = -246 - 170. Let u be (-8)/36 + a/(-9). Suppose 204 = 2*k + u. Is k a composite number?
False
Let u be (-90)/4*(-8)/5. Let k = 89 - u. Is k composite?
False
Let a = -216 - -419. Is a prime?
False
Suppose -c - 15 = -4*c. Suppose -5*f - 5 = -c*a, 2*f + 6*a = 7*a. Is (-76)/(-2) + f/(-1) a prime number?
True
Let y be (-3)/(18/10)*4122. Let d = -32 + 34. Is y/(-54) - d/9 a composite number?
False
Is 1836 + 24/6 + -3 composite?
True
Is 413/(-4)*(-4 - 0) a composite number?
True
Let x(s) = -63*s + 1. Let f be x(2). Let z = -67 - f. Is z prime?
False
Let n = -2 - -4. Let d be (0 + -1)*61 + n. Let k = 90 + d. Is k a prime number?
True
Let a(j) = j**3 + 4*j**2 - 4*j + 7. Let m be a(-5). Suppose 0*u + m*u = 2. Suppose 0 = w + 2*c - 13, -4*c + u = 5. Is w prime?
False
Suppose 232 = -7*i + 11*i. Is i prime?
False
Let u be 0/((2 - 0)*1). Suppose u = -x + 199 + 56. Suppose -4*c + 101 = -x. Is c composite?
False
Suppose 0 = 6*n - 5*n - 2123. Let w = n - 1492. Is w a prime number?
True
Suppose -6*m - 455 = -5*v - 3*m, 2*v - 182 = -5*m. Suppose -4*u + 37 + v = 0. Suppose -18 = -2*t + u. Is t a prime number?
False
Suppose 815 = 3*m + 4*j, 5*m + 3*j = 1396 - 56. Is m a composite number?
True
Let p be (-4)/18 + 76/18. Suppose -195 = -5*n - 5*w, -143 = -p*n - w + 1. Is n composite?
True
Let c(o) = 22*o - 1. Let r(n) = -n**2 + 3*n + 2. Let d be r(3). Suppose 0 = -3*w + w + d. Is c(w) composite?
True
Let u = 94 + -35. Is u a prime number?
True
Let u be 10/(2*(3 - 2)). Let o(g) = 5*g - 4. Is o(u) composite?
True
Suppose 2*b = b - 2, 1964 = 4*t + 4*b. Is t a prime number?
False
Suppose -3*v + 9 - 2 = -y, 0 = -5*v + y + 13. Suppose -v*p + p = j - 17, 0 = -3*p + 5*j + 58. Is p prime?
True
Let h be 2/(146/(-148) + 1). Is ((-18)/(-6))/(6/h) prime?
False
Let j(i) = -i - 3. Let o = 1 + -4. Let p be j(o). Suppose p = 3*a - s - 40, -2*a + 3*s = -2*s - 31. Is a composite?
False
Let v(z) = -2*z**3 + 8*z - 4. Let g be v(-6). Let k = g - -117. Is k a prime number?
False
Let w(a) = -a**2 - 2*a - 1. Let k be w(-2). Let x be 18*((-9)/(-6) + k). Suppose -13 = -2*n + x. Is n a composite number?
False
Let m(q) = -4*q - 18. Is m(-7) a composite number?
True
Is (-14)/42*(-1*8817 + 0) prime?
True
Suppose d = -2*d + 15. Let t(o) = 2 - o**2 + d*o - 3*o + 2*o**2. Is t(-7) a composite number?
False
Suppose 0 = -3*k + k + 16. Is -2*(3 - 772/k) a composite number?
True
Suppose d = 1 - 4. Let o(h) = 2*h**3 + 4*h**2 + 2*h + 1. Let w be o(d). Let q = 14 - w. Is q prime?
True
Is -1*1977/(-2 - 1) composite?
False
Suppose -2*d + 5*n - 331 = -6*d, d - 3*n = 104. Let p = d - 64. Suppose -2*v + p + 21 = 0. Is v a composite number?
False
Suppose y - 160 = 3*n + 141, y + 5*n = 293. Suppose -y = -t - t. Is t a prime number?
True
Suppose 25 = 5*z + 4*c, 10 = 5*z + c - 15. Is 184/z - 2/(-10) composite?
False
Suppose -3*x = 3*d + 2*d - 154, 4*d + 152 = 4*x. Let m = x - 21. Is m prime?
False
Suppose -5*j - 360 = -0*j. Let q = j + 233. Is q prime?
False
Let i(b) = -172*b**3 - 3*b**2 - 4*b - 3. Is i(-2) composite?
True
Let n = 1131 - 738. Is n composite?
True
Suppose 1370 = o + 301. Is o composite?
False
Let d = -97 - -224. Is d a composite number?
False
Let z(f) = f**2 + 9*f - 7. Let x be z(-8). Is x/(-6)*(-1 - -11) composite?
True
Let y(v) = -82*v - 9. Is y(-14) a prime number?
False
Let u(q) be the third derivative of -11*q**4/12 - q**3/6 + q**2. Is u(-3) composite?
True
Let c = -1290 - -2306. Is ((-6)/(-24))/(2/c) a composite number?
False
Let s be 4*(-3)/(-12) - -3. Suppose -s*y - 125 = -481. Is y a prime number?
True
Suppose 5*f - 1200 = 4*o + 90, 0 = 3*o - 15. Is f composite?
True
Let z(q) = q**2 - 18*q + 10. Let o be z(8). Is 999/7 - 20/o composite?
True
Is (12/(-15))/(4/(-130)) a prime number?
False
Let l be (-1)/(1/3)*-1. Suppose o + 0*p = 2*p - 10, l*o = 3*p - 24. Is (-20)/o*(-105)/(-10) composite?
True
Suppose j + 4 = 7. Suppose 2*d - 115 = -j*d. Is d composite?
False
Let i(d) = d**3 + 6*d**2 + 2*d + 7. Let l = 8 - 13. Is i(l) a prime number?
False
Suppose 21*o - 19*o = 526. Is o composite?
False
Is 1/(0 + -3)*-3453 prime?
True
Suppose 1008 = 3*i + 129. Is i a composite number?
False
Suppose 4*q - 10 = 2*r, 2*q + 3*r - 5 = -2*q. Suppose 0 = 5*t + 3*w - 577, q*t = -0*t - w + 230. Is t composite?
False
Let i = 4 - 0. Let u(m) = 2*m - 4 + 3 + 3*m - m**2. Is u(i) a composite number?
False
Let r(m) = 7*m**2 + 15*m + 9 - 2*m - 6*m**2 + 4. Let w be r(-11). Let h(k) = k**3 + 10*k**2 + 2*k - 12. Is h(w) a composite number?
True
Let c = 541 - 234. Is c a composite number?
False
Let o(t) = 2*t**2 + 2 - 2*t - 5*t - 62*t**3 + 63*t**3. Is o(5) a prime number?
False
Is (1 - (-14492)/6) + (-2)/(-3) a prime number?
True
Let h(b) = -b + 5. Let i be h(5). Suppose 3*u = -i + 6. Suppose 0 = -w + 2, u*x - 74 = -w + 2*w. Is x prime?
False
Is ((-4 - -2) + 4)*1137/6 prime?
True
Suppose 0*v = -3*v. Is 27 - -2 - (v - 2) prime?
True
Let l = 948 - 383. Is l a prime number?
False
Suppose -u + 7 - 4 = 0. Suppose -4*s + u*s = -123. Is s composite?
True
Suppose 0*h = -4*h + 12316. Is h a prime number?
True
Suppose 3*z + 0*b + 2*b = 0, 0 = 5*b + 15. Suppose -3*h - 4*c + 16 = -1, -4 = -z*h + c. Is 8 - 1 - (-2 + h) prime?
False
Suppose -5*h - 463 = -2063. Let v(l) = 226*l**3 + 1. Let d be v(1). Suppose 4*g - h = 3*k, 6*g - d = 3*g - k. Is g prime?
False
Let t be (3 - (-23)/(-2))*-4. Suppose 1081 + t = 5*y. Is y prime?
True
Suppose 3*y + h = -56, 4*y + 5*h + 28 = 3*y. Is 4/y - (-2301)/27 a composite number?
True
Is (-25014)/(-22)*2/6 composite?
False
Let h = -169 + 120. Suppose -3*t - 19 = 83. Let w = t - h. Is w prime?
False
Let z be 0 + 1/(3/(-6)). Let w(c) = c**2 - 8*c + 8. Let s be w(7). Is s/2*(44 + z) prime?
False
Let d(y) be the second derivative of 5/2*y**2 + 3*y + 1/6*y**4 + y**3 + 0. Is d(5) composite?
True
Let w = 1 - -1. Let n = w + 1. Suppose 0 = c + c - n*u - 45, -5*u + 5 = 2*c. Is c a composite number?
True
Let t = 150 + 535. Is t a prime number?
False
Let j(t) = -t**3 - 7*t**2 - 6*t + 7. Let q be j(-5). Let d = -8 - q. Suppose -3*m + 13 + 111 = d*n, n - 5 = 0. Is m prime?
False
Suppose -4*v + 3 = -5. Suppose 0 = -4*b + v*b + 122. Suppose 5*p = -4*m + b, -2*m + p + 0*p + 41 = 0. Is m composite?
False
Suppose 0 = 2*a + 1 + 1, -14 = -4*n - 2*a. Let p = -1 + n. Suppose 5*x = -h + 67, 0*h - 4*h + p*x = -245. Is h a prime number?
False
Suppose -2*g = -5*x - 133, -5*g - 4*x = -0*g - 250. Is (-7)/(-28) - g/(-8) prime?
True
Let u be 1/5 + (-19)/(-5). Suppose 0 = 5*j - 5*t, j - u*t - 3 = -4*j. Suppose -b + j*b = 130. Is b prime?
False
Let h(b) = 62*b + 9. Is h(7) a prime number?
True
Is 4/((-4)/(-491)) + -4 composite?
False
Suppose 2*j + 5*u = -14, 4 = 4*j - 0*j + 2*u. Let w be -83*(j + -2 - 6). Suppose -w = 6*k - 11*k. Is k composite?
False
Suppose -9*k + 8*k = 83. Let s = k - -148. Is s composite?
True
Let c = 0 - -2. Let t(h) = 2 - h**2 + 2*h**c - 5. Is t(7) a composite number?
True
Let p be ((-4)/14)/(3/(-21)). Suppose f = 3*u - 105, -53 = -p*u + f + 18. Is 2 + u + 2 - 1 a composite number?
False
Let l(r) = -r**3