l be -4 - -3 - 1*2. Is s(l) composite?
True
Let q be (8 + -3)*(-4)/(-10). Let d be (q/5)/((-1)/(-5)). Suppose v = -d*b + 3, -3*b + 2*v = -4 - 4. Is b composite?
False
Let h = -9 + 8. Is (-88 + -1)*(h + 0) a prime number?
True
Suppose -2*v = 2*w, 4*v + w = 3*w + 6. Let k = 6 - v. Suppose 0 = p + 5*q - 25, 5*p - 55 = 2*p - k*q. Is p a composite number?
True
Suppose -3*v + 26 + 46 = 0. Suppose x - 7 - v = 0. Is x a prime number?
True
Suppose -4*t = -s - 19, -2*t + 5*s + 5 = -0*t. Suppose t*r + r = 6402. Is r a prime number?
False
Let c = -2224 + 1330. Is (c/(-18))/((-1)/(-3)) a composite number?
False
Let l(j) = -12*j + 2. Is l(-2) a prime number?
False
Let s = 11 - 7. Let i(l) = 15*l**3 + l**2 + 3 + 0 - s + 21*l**3 + l. Is i(1) prime?
True
Let v = -106 - -185. Is v prime?
True
Let a = 110 + 40. Suppose 2*m - 104 = a. Is m composite?
False
Let w = 9 + -6. Suppose 4*a - 139 = -w*b, -a - 2*a + 5*b = -126. Is a prime?
True
Suppose -2*x = x - 4*b - 94, 3*x - 5*b = 95. Suppose 5 = -4*h + 21. Suppose -x + 6 = -h*z. Is z a prime number?
False
Let z be (1 - -1)*1 + 2. Suppose -251 = -z*c + 593. Is c a prime number?
True
Suppose 2*x = -2*x + 20. Suppose 0*k - 26 = -x*i - 2*k, 2*k = 4*i - 10. Suppose 0*n = -i*n + 60. Is n a composite number?
True
Let c(w) = -15*w + 2. Is c(-3) a composite number?
False
Let a(h) = -520*h + 1. Is a(-1) composite?
False
Suppose 0 = -j + 6*j. Suppose -2*d - u = -j*d - 41, 4*d = -3*u + 81. Is d composite?
True
Let y be (-1)/(-3)*(6 + -6). Suppose -5*p + 420 + 365 = y. Is p prime?
True
Let p be (-1 + (-18)/10)*5. Let g = 45 - -4. Let c = p + g. Is c prime?
False
Let s(c) = 4*c**2 + 13*c + 4. Is s(11) a prime number?
True
Let i = 730 + -482. Let u = i - 106. Is u a composite number?
True
Let u = -77 - -268. Is u a composite number?
False
Let c = 348 - 27. Is c a prime number?
False
Let n = 1251 + -2097. Let v = n + 1219. Is v a composite number?
False
Is (-15 - -14) + 13*6 composite?
True
Let m(b) = 64*b**2 - 5*b - 2. Is m(-9) composite?
False
Suppose 4*y + a = 6*a + 504, 4*y = -2*a + 504. Let c = 179 - y. Is c a prime number?
True
Let l(s) = 2*s**2 - 16*s + 3. Suppose 5 + 3 = 4*v. Let j be v*(21/6 + 2). Is l(j) composite?
True
Suppose 0 = 2*p - 3*z + 6, 6 = -p - p - 3*z. Suppose 5*k + 2 - 7 = 0. Is k/(p/99)*-1 prime?
False
Suppose 0 = g - 4*g + 2859. Is g composite?
False
Suppose 2*b = -3*m + 164, -56 = -m - 3*b + 2*b. Suppose -m = 4*t + 204. Let r = -13 - t. Is r prime?
False
Let q(c) = -505*c**3 + c**2 + 2*c - 1. Is q(-2) composite?
True
Let z = 2219 + -1566. Is z prime?
True
Let l = -14 - -23. Suppose -2*a + o = -l - 19, o + 43 = 3*a. Is a a prime number?
False
Suppose 0 = 7*p - 1052 - 691. Is p a prime number?
False
Let w(l) = l**2 + 4*l + 1. Suppose 0*r = -4*r - 8, 5*r = 2*q. Let k be w(q). Is (-20)/(-3) + k/(-9) a composite number?
True
Let z = 2 - 0. Is z/(3 + (-235)/79) a prime number?
True
Suppose 0*c + 2*c = -12. Is 92/c*(-1 - 2) a prime number?
False
Suppose 2*u = -k + 516, 367 = 4*u - 3*k - 655. Let x = u + 12. Suppose 3*l + x = 4*z - 3, 2*z + l - 126 = 0. Is z a composite number?
True
Suppose f = 5*f - 6828. Is f a composite number?
True
Let b be 1*(-12)/(-1*2). Let d be (-28)/(-6) - 4/b. Suppose -5*x + d*x + 38 = -g, x - 23 = 4*g. Is x composite?
False
Suppose 3*n = -n + 8. Is 3/n*596/6 prime?
True
Suppose -h + 6*h = -25. Let j(l) = l**3 + 6*l**2 + 5*l - 3. Let o be j(h). Is o - 57*6/(-9) prime?
False
Let k(f) = -18*f**3 - 2*f**2 + 10*f + 3. Is k(-5) prime?
True
Let c = 5 - 5. Suppose 4*t + 3*a - 202 = 0, -2*t - a + 51 + 49 = c. Is t a prime number?
False
Let l(y) = y**2. Let h be (-40)/(-15) + (-2)/(-6). Is l(h) composite?
True
Let t = -8 - -14. Suppose -2*w = -4*p + 20, 2*p + 20 = -3*w + t*p. Suppose 27 = 5*m + 2*j, w*m - 3*j + 16 = 4*m. Is m prime?
True
Let x be 16/(-1)*3/(-6). Is 474/8 - 2/x a prime number?
True
Suppose -16 = -5*x + x. Suppose -2*i - 16 = 3*z, -x*i - 22 = -3*i + 5*z. Let n(c) = -4*c**3 + 2*c**2 + c + 1. Is n(i) composite?
True
Let b = 1 + 1. Suppose -4*m + 3*v + 178 = 0, 0*m + b*m + 4*v = 78. Is m prime?
True
Let u(d) = -4*d. Let n be u(-1). Let c = n - 4. Suppose 0 = -h - c + 34. Is h a prime number?
False
Let q(v) = v**3 - 8*v**2 + 9*v - 9. Let f be q(7). Suppose -3*d - 33 = -f*w + 4*w, 132 = 4*w + 5*d. Is w a composite number?
True
Suppose 3*b + 0*b - 3 = 0. Let j be (b - 1)/(-2) - -2. Suppose 0 = w - j*w + 6. Is w a composite number?
True
Let f(q) = -q**2 + q + 1. Let i(a) = -24*a**3 + 4*a**2 - 2*a - 4. Let b(g) = -5*f(g) - i(g). Is b(3) composite?
False
Let v be 1/4*2*2. Suppose 4*s = -5*w - 46, 4*s + 2*w + 12 = -28. Is ((-15)/s)/(v/33) a composite number?
True
Let t(w) = w + 6. Let a be t(0). Let l = 4 - a. Let i(b) = -46*b - 3. Is i(l) a prime number?
True
Suppose -n + 4*n + 45 = 0. Let f be 1/(-5) + (-33)/n. Let h(s) = s**2 + 3*s - 3. Is h(f) composite?
False
Suppose 3*x + 10 = 5*h - 0, -5*h = x - 30. Suppose -h*l + 10 + 5 = 0. Is 5/15 - (-68)/l composite?
False
Suppose 7*h = 10*h - 2118. Is h a composite number?
True
Let f = 17 - 10. Suppose -66 = 5*q - f*q. Is q a prime number?
False
Let u be ((-5)/(-15))/(2/24). Suppose u*b + 0*b = 392. Suppose -a - 4*h - 71 = -2*a, 0 = -2*a - 3*h + b. Is a composite?
True
Let b(z) = 0 + 3 + 259*z - 3. Is b(1) composite?
True
Let i(k) = 6*k**2 + 9*k + 5. Let o(a) = 9*a**2 + 14*a + 8. Let l(r) = 8*i(r) - 5*o(r). Is l(-3) prime?
False
Suppose 14900 - 1735 = 5*w. Is w a prime number?
True
Suppose 2*o = -y + 163, -12*y = -7*y - 4*o - 857. Is y a prime number?
False
Is 742 + -1 - (-6 - -2) a prime number?
False
Let g(x) = -x**2 + 2*x - 1. Let q be g(2). Let a = -1 + q. Let u(n) = -4*n**3 - 3*n**2 + 2. Is u(a) a prime number?
False
Suppose 3*v - 2084 = -v. Is v composite?
False
Let b(a) = a**3 + 10*a**2 - 3*a - 2. Let m be b(-10). Suppose -3*l + m = 7. Is l prime?
True
Suppose -363 = -10*y + 1427. Is y prime?
True
Suppose 3*w = 106 + 131. Is w a composite number?
False
Suppose 0 = 15*j - 69915 + 15990. Is j a prime number?
False
Let a = 117 - 233. Suppose 0 = -15*j + 9*j + 1068. Let m = j + a. Is m a composite number?
True
Let n be (7 + 0/(-3))*1. Suppose -2*q + 100 = 8. Suppose -3*k + q - n = 0. Is k prime?
True
Let k = -43 - -73. Suppose -g + 5 = 2*d - 31, -g - 5*d = -k. Is ((-11)/2)/((-4)/g) composite?
True
Suppose 0 = -4*y - 2*z - 2*z + 20, 5*y - z - 13 = 0. Suppose -x - y = -10. Is ((-1)/(-2))/(x/1316) composite?
True
Let d(r) = 10*r**2 + 2*r - 3. Let n(b) = -b**3 - 8*b**2 - 2*b - 11. Let q be n(-8). Is d(q) a prime number?
True
Suppose r - 57 = 66. Is r a prime number?
False
Let u be ((-300)/(-70))/((-1)/14). Let j = -39 - u. Is j composite?
True
Suppose -6*j + 3*j + 2667 = 0. Is j prime?
False
Let b(f) = -33*f - 4. Suppose 0 = 3*w - d + 2*d - 3, 5*w - 3*d - 19 = 0. Let v be ((-6)/(-10))/(w/(-10)). Is b(v) a prime number?
False
Suppose -5*t + 2*r = 5*r - 28, -r = 2*t - 11. Let h = 88 - 32. Is h - ((t - 2) + -2) composite?
True
Is (1/2)/((-5)/(-190)) a prime number?
True
Suppose -49*v + 3526 = -47*v. Is v a prime number?
False
Suppose 3*u - 4*y = 16, 5*u + y = 3*u + 7. Let m be 4/(-8) + 22/u. Suppose 0 = m*v - 2*a - 42, 3*a - 2 = v - 0. Is v composite?
True
Suppose 11*b + 315 = 12*b. Suppose 3*u = 5*y - 347, -6*y - 5*u + b = -y. Is y composite?
False
Suppose 5*s = -4*z + 1493, 5*z - 5*s - 1810 = -0*z. Is z a composite number?
False
Let t = 2 + 3. Suppose t*f + 10 = 5*n - 0*n, f = 0. Suppose 0 = 6*d - n*d - 332. Is d a composite number?
False
Let t(a) = 113*a - 1. Is t(6) a composite number?
False
Suppose 3*r + i - 17 - 184 = 0, 5*i + 134 = 2*r. Suppose -20 = -4*d, -3*d + r = 3*g - g. Is g composite?
True
Let d = -392 - -1023. Is d a prime number?
True
Suppose -6 - 3 = -3*r. Suppose 0 = -2*y + r*y - 5. Suppose i = y*i - 88. Is i prime?
False
Let n(z) = -z + 11. Let u be n(0). Suppose o - 3*f = -3*o + u, 5*o - 4*f = 14. Suppose 3*m + 3 = 0, -o*i + m + 309 = 2*i. Is i a prime number?
False
Suppose 0*x + x + 26 = 0. Let q = x + 12. Is (-494)/q - (-12)/(-42) prime?
False
Let l(a) = a**2 + a**2 + 0*a**2 + 3. Suppose -6 = o - 3. Is l(o) a composite number?
True
Let r(a) = 4*a**2 - 13*a + 9. Let v be -3 - (-4 + 3 - 10). Is r(v) prime?
False
Let r be (37/2)/(2/(-12)). Let n = -24 - -25. Is n/(-1 - 114/r) prime?
True
Suppose 4*r = -3*c + 293, -r = 2*r + 2*