11. Is x prime?
True
Suppose a + 3167 = 5*t, 0*t = -4*t + 2*a + 2536. Is t prime?
False
Suppose -5*a = -7*a + 782. Is a a prime number?
False
Suppose 6 = -o - 27. Let w = o - -48. Suppose 2*c + w - 45 = 0. Is c prime?
False
Let r = 4935 - 1856. Is r composite?
False
Let t(z) = -z - 5. Let r be t(-8). Suppose 0 = -r*d + 10 + 149. Is d a prime number?
True
Let p = 16 - 22. Let x(w) = -4*w - 5. Is x(p) prime?
True
Let z be 8/(-6)*9/(-6). Suppose 0*u - 194 = -z*u. Is u composite?
False
Suppose 2*y + y = 6. Suppose -x - y*x + 15 = 0. Suppose -6 - x = -a. Is a composite?
False
Let f(o) = o**3 + 7*o**2 + o + 10. Let l be f(-7). Suppose -l*s = 2*s - 790. Is s composite?
True
Let p be (3*-1)/3 - -189. Suppose 3*l - p = -l. Suppose -5*d + l + 386 = 2*w, -5*w + 2*d + 1039 = 0. Is w composite?
True
Let q(a) = a**3 + 3*a**2 - 5*a + 1. Let o be q(-4). Let z = o - 3. Suppose z*h - 6*h + 92 = 0. Is h composite?
False
Is (-3725)/(-10) - 0 - 2/(-4) a prime number?
True
Is 159*((-2)/(-8) - 3/(-4)) prime?
False
Let j = 750 - 139. Is j prime?
False
Let u(b) = -68*b**3 - b**2 - 8*b - 14. Is u(-3) prime?
False
Let o = 380 + -61. Is o a composite number?
True
Suppose -5*m = -21 + 6. Suppose 0 = m*l - 2*l - 77. Is l prime?
False
Suppose 5*u = 2*b - 47, 8 = -4*u - 4. Suppose 37 = t + 4*m, 2*t - 83 + 33 = 4*m. Let n = t - b. Is n a prime number?
True
Let o = -128 - -289. Is o composite?
True
Let t(i) = 47*i**3 + 2*i**2 - i. Let b be t(1). Let n be (b*-2)/((-4)/10). Let z = n + -145. Is z a prime number?
False
Suppose 3*j - 2276 = -4*k - 673, -4*k = 5*j - 1613. Is k a prime number?
True
Let j(z) = -3*z + 53 + 2*z + 0*z. Is j(0) a composite number?
False
Let n(g) be the third derivative of -g**6/120 - g**5/10 + g**4/24 - 3*g**3/2 + g**2. Is n(-7) a prime number?
False
Suppose 211 = -a - 126. Let x = 500 + a. Is x a composite number?
False
Is (35042/(-42))/(1/((-6)/2)) a prime number?
True
Suppose 4*o - 13 - 7 = 0. Let k be 4 + -3 + 1 - 1. Suppose 2*w + 0*w - k = c, o*c + 3*w = 47. Is c a prime number?
True
Let s = 34 - -237. Is s a prime number?
True
Let x(t) = 3*t + 6. Let w be x(8). Suppose -w = -5*f + 5. Let p = 30 + f. Is p a composite number?
False
Let g(r) = 7*r**3 - r + 7*r**3 + r**2 + r**2 + 0*r. Is g(1) prime?
False
Let f(n) = n**3 + 10*n**2 - 4*n + 13. Let h = 53 - 7. Suppose -5*v - h = 4. Is f(v) a composite number?
False
Suppose 7*a - 4*a - 777 = 0. Is a prime?
False
Let l = 908 - 203. Suppose v = -2*v + l. Is v a composite number?
True
Let k be (-8)/(-10)*-1*-50. Let p be k/6*(-12)/8. Is (-1 + -1)/(p/35) a prime number?
True
Let i = 314 - 100. Is i prime?
False
Suppose -5*f + 4*g = -979, -g - 577 = -3*f + 4*g. Is f a composite number?
False
Suppose -f - k + 10 = f, k + 26 = 4*f. Let b be (-3)/(f/(-14)) - 2. Suppose -b*u = -25 - 45. Is u composite?
True
Let r(i) = -1 - 9*i + 3 + 34*i. Is r(5) a prime number?
True
Let a(l) be the second derivative of l**4/3 + l**3/3 + l**2/2 + 2*l. Let d be a(-1). Suppose 2*g - 95 = -5*z, -2*z - 26 = -d*z + g. Is z prime?
False
Is (-1987)/(-3) - -2*2/(-12) composite?
True
Suppose -2*g - 28 + 250 = 0. Is g a composite number?
True
Let n(o) = 8*o - 8. Let w be n(4). Suppose -w*k - 337 = -25*k. Is k composite?
False
Let i be (-2 + 2)/(2 - 0). Suppose i*m = -5*m + 925. Is m composite?
True
Let p be 2/(-8) - (-27)/12. Suppose 0 = 2*s + p*v + 2, s - v = -2*s + 17. Suppose 33 + 23 = s*h. Is h composite?
True
Let b(m) = 15*m**2 - 1. Let i be b(1). Let w be ((-30)/(-9)*3)/(-1). Let c = i + w. Is c a prime number?
False
Suppose 4*m - m = -3, v - 3095 = -4*m. Is v a composite number?
True
Let y be ((-4)/6)/((-2)/6). Is (-584)/(-4) - (y - 1) composite?
True
Suppose 3*l = -4*y - 241 - 25, -4*y = -5*l - 454. Let g = -29 - l. Let o = g - -28. Is o composite?
False
Let a = 443 - 66. Is a a prime number?
False
Let q = -1009 + 2846. Is q prime?
False
Let o(h) = 4*h**3 - h. Let a be o(1). Is 1/a - 1110/(-18) prime?
False
Suppose 4 = -f - 2*l - 2*l, l = -3*f - 1. Suppose w = f, -3*s - 4*w = -193 - 68. Is s a prime number?
False
Let j(d) = 5334*d**3 - d**2 - 2*d + 2. Is j(1) a composite number?
False
Suppose 2*g - 4*s - 22 = -8*s, 2*s + 4 = 0. Suppose -a - 4*r = 77, -3*a + 2*r + 2*r - 295 = 0. Is a/(-2)*10/g prime?
True
Let b(l) = -2*l. Let z be b(3). Let i(s) = s**3 + 5*s**2 - 7*s - 8. Let m be i(z). Is 4 + -4 + (-158)/m prime?
True
Suppose 24 = 4*t - 3*j, 4*j - 3 = 5*t - 34. Let n be 6 - ((-3)/(-1))/t. Is (-165)/(-3)*3/n prime?
False
Suppose 2*d - 559 = -137. Is d prime?
True
Let a = 14 + -14. Suppose 0 = k - a*k - 87. Is k prime?
False
Let s(z) = 23*z**2 - 5. Let n be s(-4). Suppose 4*b - 5*k - 298 - 163 = 0, n = 3*b + 2*k. Is b composite?
True
Suppose -3*u + 1 + 5 = 3*w, -u - 4*w = 7. Suppose 54 = u*d + g - 132, 4*g + 181 = 5*d. Is d a composite number?
False
Suppose -2*i = -4*i. Let p(g) = -g**2 - g + 223. Is p(i) prime?
True
Suppose -z + 3*z = 430. Suppose z = -5*w + n, 156 = -4*w - 3*n + 7*n. Let o = 77 + w. Is o a prime number?
False
Let j(d) = 78*d - 13. Is j(7) composite?
True
Suppose -3*p = 12, 0 = 3*r + p + 3*p - 290. Suppose x - 3*z - 26 = 24, -2*x = -4*z - r. Is x a prime number?
True
Let u be -4*27/24*2. Let v(l) = 3*l**2 - l - 13. Is v(u) a prime number?
True
Let k = -3 + 1. Let g = k + 3. Is g/2 + (-218)/(-4) prime?
False
Let u(j) be the third derivative of 3*j**4/2 + j**3/6 + j**2. Suppose 4 = k + 3. Is u(k) prime?
True
Let s(a) be the third derivative of a**7/1260 + a**6/80 + a**5/30 + 2*a**2. Let p(h) be the third derivative of s(h). Is p(7) prime?
True
Let x(b) = 10 + 11*b + b**2 + 4 - 3. Is x(9) a composite number?
False
Suppose 17 = 3*f - 724. Is f a composite number?
True
Suppose -32*c = -28*c - 2636. Is c prime?
True
Let g(a) = -a**3 + a**2 + 666. Let f be g(0). Is ((-5)/10)/((-3)/f) a prime number?
False
Let c(z) = -492*z**3 - 2*z**2 - 2*z - 1. Let b be (-2 + (4 - 3))*1. Is c(b) composite?
False
Let j(a) = -2*a**3 + 7*a**2 - 4*a + 6. Let y(m) = 3*m**3 - 15*m**2 + 8*m - 13. Let x(s) = -5*j(s) - 2*y(s). Is x(3) composite?
False
Let k(w) = 4*w**3 - 11*w**2 + w + 9. Is k(8) prime?
True
Is ((-15522)/(-14) + 22/77)/1 prime?
True
Suppose 5*y = 2*v + 91 - 1, -y + 31 = -3*v. Let j = -17 - y. Is (-4)/22 + (-2943)/j a composite number?
False
Let w be (-1 - 0 - -2)*5. Suppose -w*q = 4*a - 0*a - 1946, -2*a + 8 = 0. Is q a prime number?
False
Suppose 2*u = 5*n - 19, 5*u + 4*n - 20 = 3*n. Is ((-4)/u)/(24/(-54)) a composite number?
False
Let p(z) = -z**3 + 17*z**2 - 10*z - 3. Let m be p(7). Suppose -3*w - 3*d + m + 237 = 0, -3*w + 634 = -d. Is w composite?
True
Let z(k) = 9 - k + 3*k**2 - 7*k - 2*k**2. Let w be z(7). Suppose 27 = -w*o + 93. Is o a composite number?
True
Suppose w + q + 3 = 0, -2*w + 3*q = -q - 24. Suppose -w*r - 35 = -7*r. Is r prime?
True
Suppose -6*l + 5825 = -l. Is l prime?
False
Let v = -4 + 6. Is (0 + v)*19/2 composite?
False
Suppose -2*q - 4*m = -1314, 3*q + 5*m - 2250 = -274. Is q a composite number?
True
Suppose 0 = 43*r - 46*r + 1623. Is r prime?
True
Let t = -24 + -101. Let u = t - -251. Suppose 0 = -3*w + u + 135. Is w prime?
False
Let d(v) = -v**3 + 4*v**2 - 2*v - 1. Let w be d(3). Suppose -3*g + t = w - 17, -5*g + t + 23 = 0. Suppose 3*p - 4 = -4*o + 7*p, -3*o - g*p + 17 = 0. Is o prime?
True
Suppose -2*p - 374 = -126. Let g = p - -218. Is g a prime number?
False
Let k be (-1)/(-3 - -1*4). Let z(r) = r**3 - 4*r**2 + 4*r - 1. Let j be z(3). Is (k + j)/((-1)/(-23)) composite?
False
Let q = 6 - 2. Suppose 4*x = -p + 15, q*p - 10 = 2*x + 8*p. Suppose 10*t = x*t + 75. Is t composite?
True
Let t = -513 - -736. Is t a prime number?
True
Is 3/7 - (-116776)/77 prime?
False
Suppose -2*i - 2*i + 856 = -j, 2*i - 5*j - 446 = 0. Is i a prime number?
False
Let b(l) = -l + 1. Let z(y) = -4*y + 5. Let k(u) = -6*b(u) + z(u). Let o be k(2). Suppose 5*m = -2*f - o*f + 100, -15 = -2*f + 3*m. Is f a prime number?
False
Let i(a) = -a**3 + 11*a**2 + 17*a - 5. Suppose -3*h - 2*h + 60 = 0. Is i(h) a composite number?
True
Let g(i) = -5*i**3 + i - 3*i**2 + 2*i**3 - 1 + 3*i. Is g(-4) a composite number?
False
Let g = 3 - 0. Suppose -g*o + 0*o - 4*u - 11 = 0, -5*u - 25 = 0. Suppose b - o*b = 5*i - 108, 2*b - 106 = -4*i. Is b a composite number?
True
Let n(a) = a**2 + 14*a - 7. Let k = 4 - 1. Let i(r) = r**2 + 14*r - 7. Let f(p) = k*