
True
Suppose 290 = -4*n + 9*n. Is n prime?
False
Suppose -2*h - 2*z = -908, -5*h = -2*h + 2*z - 1357. Is h a prime number?
True
Let n(h) = 13*h + 1. Let r be n(-2). Let z = r - -104. Is z composite?
False
Let r be 28/16 - (-2)/8. Suppose -r*g + 125 = -5. Is ((-12)/(-15))/(2/g) a prime number?
False
Suppose -21 = -5*b + 3*l - 5, 0 = b - 2*l - 6. Let y be (4/12)/(b/942). Let f = y + -98. Is f a composite number?
False
Let p = -103 - -226. Is p composite?
True
Let h be -2*1*(-2 + 1). Is (-1)/1 - (h + -29) a composite number?
True
Suppose -13104 = -12*x - 2556. Is x prime?
False
Let l = -1150 - -1886. Let i = -501 + l. Is i a prime number?
False
Let n(h) = h**3 + 6*h**2 + 3*h - 6. Let w be n(-5). Suppose b = -3*i - w*b + 242, -4*b = -5*i + 465. Is i prime?
True
Suppose 3*d - 134 = z, -3*d + 2*z = d - 176. Is d composite?
True
Let x(z) = z**3 - z**2 - 14. Let d be x(0). Let u = 44 - d. Is u a composite number?
True
Let u = 5 - 10. Let t(q) = 4*q**2 + 7*q + 6. Is t(u) composite?
False
Suppose -39 = -2*m + 5*p, 39 = 5*m - m + 3*p. Suppose 11*v + 223 = m*v. Is v a composite number?
False
Let o be -2 - ((1 - 8) + 0). Suppose -o*r = -10 - 10. Let t(x) = 2*x**2 - 6*x + 5. Is t(r) a prime number?
True
Let p = 77 - 16. Suppose 0 = -v + p + 39. Suppose -144 = -3*q + 5*s, 2*s + v = -q + 3*q. Is q a composite number?
False
Let m(y) = -y**2 - 4*y - 2. Let w be m(-3). Let o be (3 - w - -18)*1. Suppose -2*x - 2 + o = 2*n, 0 = 3*n + 4*x - 25. Is n composite?
False
Let r(b) = 8*b - 35. Is r(23) composite?
False
Let f be ((-6)/4)/((-4)/(-8)). Let l = 9 + f. Suppose l*o - o - 75 = 0. Is o composite?
True
Suppose -4*v = 3*z + 4, -2*z + 7*z + v + 1 = 0. Let x = z + 87. Is x composite?
True
Suppose 0 = 3*u - 40 - 215. Let c be 2/(-5) + u/25. Suppose -c*n + 95 = 2*n. Is n a composite number?
False
Let w(i) = 2*i**2 - 2*i - 5. Suppose q = s + 6, 0 = 2*q + 2*q + 4*s - 8. Is w(q) prime?
True
Let f = 1 - 1. Suppose 0 = -f*t - t + 149. Is t a composite number?
False
Suppose -46 = 3*j - 1906. Suppose -3*a - 4*u + j = 161, 0 = 3*u - 9. Is a a composite number?
False
Suppose -3*r = -r. Suppose -3*u - i = -0*i - 577, -2*i + 8 = r. Is u prime?
True
Let d(u) = 6*u**3 + u**2 + u. Suppose 0 = 4*j - 5*j - 5*i - 7, -i = 2*j + 5. Let o be d(j). Is ((-1)/(-2) + -1)*o a composite number?
False
Is (1004/24)/(8/48) composite?
False
Let z(o) = -o - 4. Let q = -6 + 1. Let a be z(q). Is (1/3)/(a/93) a composite number?
False
Let m = -32 + 53. Is m a prime number?
False
Let w = 6004 + -1097. Is w composite?
True
Is 1 + (3 - 4) + 214 a prime number?
False
Let w be 1*(2 + -2 - -9). Suppose -5*o - 5*k = -730, w = -2*k + 3. Is o a composite number?
False
Let c(k) = k - 1. Let g be (-6)/3*(-1)/2. Let d(s) = 2*s**2 + 6*s - 3. Let u(i) = g*d(i) - 6*c(i). Is u(-5) a prime number?
True
Let t = 388 + -125. Is t composite?
False
Suppose 16 = -3*u + 7*u. Suppose u*k + 2 = 6. Is 5/(-10)*(k + -227) a composite number?
False
Suppose 0 = -4*n - 3*k + 2152, 7*k - 2160 = -4*n + 2*k. Is n composite?
True
Suppose c - 5*h = -2*h, 0 = 2*h. Suppose 5*f + 2*y = -c*f + 535, -185 = -2*f + 5*y. Suppose 2*u - p - 42 = 0, 8*u + p = 3*u + f. Is u a prime number?
False
Let c be 6 + -3 + (-19 - -3). Let x(m) = -12*m - 11. Is x(c) composite?
True
Let t = -1437 - -3214. Is t composite?
False
Let p(n) = 85*n**3 + 13*n**2 - 13. Let z(f) = 21*f**3 + 3*f**2 - 3. Let r(j) = 2*p(j) - 9*z(j). Is r(-1) a prime number?
True
Suppose -2*t - h = 65, -2*h + 4*h - 167 = 5*t. Is (1 - 2)*1*t a composite number?
True
Suppose a - 43 - 50 = 0. Is a composite?
True
Let v be 12/5 - 4/10. Suppose -v*q + 5 = -7*q. Is ((-33)/6)/(q/6) a composite number?
True
Let d = -1 + -8. Let g = -5 - d. Suppose 17 = 2*n + 4*i - 11, -g*n = -3*i - 34. Is n a prime number?
False
Let n = 927 + -529. Is n composite?
True
Let w(s) = 67*s**2 - 8*s + 63. Is w(-10) a prime number?
False
Let t be (-3 - -4)/(1/(-4)). Let b(m) = -55*m + 3. Is b(t) a composite number?
False
Suppose 2*s + 3*f - 421 = 750, 4*s + 4*f = 2340. Let r = -393 + s. Is r prime?
True
Let v(h) = 6*h - 1. Let y be v(3). Let j = 132 + y. Is j a composite number?
False
Is 42/(-9)*(-1611)/6 composite?
True
Let l = 5 - 2. Is 257*(-4)/(l + -7) a prime number?
True
Let g be 3412/14 - (-4)/14. Let w = -9 - -12. Suppose -g = -w*o - 79. Is o a prime number?
False
Suppose 435 + 129 = 4*c. Suppose c = 4*b - 7. Is b a composite number?
False
Let n = -31 - -27. Let q(z) = z + 1. Let k(r) = -7*r - 8. Let v(w) = k(w) + 6*q(w). Is v(n) composite?
False
Let k(m) = 6*m + 13. Let p(s) = s**2 - 8*s. Let r be p(9). Is k(r) a prime number?
True
Suppose -3*w - 476 = -5*c, 5*w = -c - 0*w + 112. Is c prime?
True
Suppose 5*s = -2*u + 674, 0 = -3*u + 2*s + 562 + 449. Is u a prime number?
True
Is 42988/(-33)*(-2 - 2/(-4)) composite?
True
Suppose -2*a - 2*f = 3*f - 45, -5*f = -25. Suppose 4*t = a + 2. Suppose -u - 3*u + 12 = 0, t*i - 342 = u. Is i composite?
True
Suppose 8*s - 582 = 6*s. Is s a prime number?
False
Suppose 3*i + 3*k = -2*k + 104, k - 4 = 0. Suppose 0 = 5*h + 4*q - 249, -2*q = -2*h - i + 142. Is h a composite number?
False
Let n = -44 - -77. Is n a composite number?
True
Let a be (-1 + -1)/2 + -402. Let f = a + 668. Suppose 0 = 5*x + 25, 3*t + x + 3*x = f. Is t prime?
False
Let k(d) = d**2 - 4*d + 5. Is k(7) a composite number?
True
Let k(h) = -h**3 + 16*h**2 + 13*h + 11. Is k(12) prime?
True
Let l(a) = 11*a**2 - 10*a - 13. Is l(-8) prime?
False
Let j(i) = -i**3 - 2*i**2 - 4*i + 3. Let v be j(-4). Let u = 52 + v. Is u a prime number?
True
Let w = 11 - 15. Let p(u) = -5*u - 3. Let b be p(w). Suppose 5*z + b = 82. Is z a composite number?
False
Let u(n) be the third derivative of -23*n**4/24 - n**3/2 + 2*n**2. Is u(-7) prime?
False
Let g(l) = -l + 11. Let o be g(6). Suppose 0 = -o*j - x - 6, -4*j = 2*x + 1 + 5. Is (j/((-1)/(-13)))/(-1) a composite number?
False
Let p(s) = 27*s**2 + 2*s + 1. Let q(b) = b - 5. Let g be q(4). Let t = g - -3. Is p(t) a prime number?
True
Suppose 0 = -2*y - 2*y + 24. Let x be ((-6)/(-4))/(3/y). Suppose -2*g + 6*v = v - 25, -x*v = 3*g - 27. Is g prime?
False
Let k be 18/4*34/(-3). Let w = 142 + k. Is w a composite number?
True
Let t(x) = -30*x - 1. Let g(v) = 2*v**2 - 3*v + 3. Let y be g(2). Suppose -12 = q - 2*p, -2 = -y*q - p - 18. Is t(q) composite?
True
Suppose -2*k = 10, -3*k = -5*x + 22 - 7. Suppose x = -5*n - 5 - 0. Is -3*(-33)/(2 - n) composite?
True
Let x = -51 - -110. Is x a composite number?
False
Suppose 18504 + 34769 = 11*d. Is d prime?
False
Let u(k) = -44*k + 3 + 2 - 4. Is u(-2) composite?
False
Let n be 6/(-4) - (-14)/(-4). Let d(g) = g + 4. Let r be d(n). Is 148/8*(-6)/r prime?
False
Suppose 2*a = 129 + 129. Is a a composite number?
True
Suppose -395 = -4*g + 801. Is g a composite number?
True
Suppose -6*o + 3737 = 923. Is o prime?
False
Suppose 0 = -19*n + 3702 + 3119. Is n prime?
True
Suppose 3*k - 4 = 2*k. Suppose 4*a + 0*a - k = 0. Is 2/a + 47*1 a composite number?
True
Suppose 4*t + 8 + 3 = -3*l, -4*l = -3*t + 23. Let r = l - 11. Is (46/(-8))/(4/r) a prime number?
True
Let o = -3 + -1. Is 2/o + (-186)/(-4) composite?
True
Let t = 1369 + -845. Let l = 741 - t. Is l a prime number?
False
Suppose 3*d + 24 = -d. Let w = d + 183. Suppose 4*n = 493 - w. Is n prime?
True
Suppose 0 = -2*j + 423 + 681. Let m = -391 + j. Is m a composite number?
True
Let z(o) be the second derivative of o**4/12 - o**3/6 + 94*o**2 - 2*o. Let j be z(0). Let r = -121 + j. Is r a composite number?
False
Suppose -2*z = -0*z - 10. Suppose 312 = z*n - 103. Is n prime?
True
Suppose r - 2235 = -2*r. Is r a composite number?
True
Let z = -5 + 9. Suppose -735 = -3*f + 135. Suppose 0 = -h + g + 85, -5*h + 171 + f = z*g. Is h prime?
True
Let t(a) = 7*a**2 - 30*a - 23. Is t(-10) a prime number?
True
Suppose -4*k + 0*w = 5*w + 9, -5*k = -3*w - 35. Suppose -r = k*g - 333, 5*r - 1 - 253 = -3*g. Is g prime?
True
Let b(d) = -d**3 + 11*d**2 - 10*d. Let v be b(10). Let i = -6 + 11. Suppose v = 3*t - i*g - 76, -t - g = -5*t + 90. Is t prime?
False
Suppose 0 = q - 4*h - 4, -4*q + q + 12 = 5*h. Let p(i) be the first derivative of 7*i**3/3 + 5*i**2/2 - 5*i + 1. Is p(q) a prime number?
True
Suppose -2*u + 6 = -0. Suppose 0*v + 2*p = 2*v - 96, 185 = 4*v + u*p. Is v a prime number?
True
Suppose 0 = 5*a - 46 - 69. Let r 