x)*l a composite number?
True
Is 1760 - -2*(-15)/(-10) a prime number?
False
Let c(x) = -x**3 - 2*x**2 + 4. Is c(-3) prime?
True
Let n = 66 + -101. Let p = 2 - n. Is p composite?
False
Suppose -5*j - 1 = t, t = 3*j - 0*j + 7. Suppose 0 = -b - t. Let u = b - -18. Is u prime?
False
Suppose -z + 2223 = -5*s, -2*z + 3*s = -7718 + 3244. Is z a composite number?
False
Let v(p) = 2*p**2 - 10*p - 8. Let r be v(8). Let b = -17 + r. Is b a composite number?
False
Let p = -261 + 436. Let o = -30 + p. Is o prime?
False
Let x be 28/8*(-4)/(-7). Suppose 0*w + 158 = x*w. Is w composite?
False
Suppose -20 = -3*v - v. Suppose 0 = v*k - 4*n - 7, 2*k - 6*k = -n - 10. Suppose 0*f + 2*f - k*c - 124 = 0, -5*f = -4*c - 310. Is f a composite number?
True
Let d(l) = l**3 - 5*l**2 + 2. Let o be d(5). Suppose -u + 0*v = -v - 3, -4*u - 9 = 3*v. Suppose o*a - a - 31 = u. Is a a composite number?
False
Let f(a) = -a**2 + 7*a - 7. Let k be 0 + (1 - 2) + 6. Let p be f(k). Suppose -2*c - p*c + 185 = 0. Is c a prime number?
True
Let m(o) = o**3 + 7*o**2 - o - 7. Let i be m(-7). Let f(k) = -k**2 + 37. Is f(i) a composite number?
False
Suppose 2*b = 6 + 2. Suppose -3*r - 87 = u, 5*r - 5*u + 145 = -b*u. Let y = r + 63. Is y a prime number?
False
Let x = 952 - 605. Is x a composite number?
False
Let s = 5 - 9. Let a be s/((-8)/(-22))*-3. Suppose -2*r + 11 + a = 0. Is r a composite number?
True
Let u be 177/5 + 4/(-10). Let f = u - -27. Is f a prime number?
False
Is 1*(-4 - (-196 - -1)) a prime number?
True
Let p(z) = z**2 - 7*z + 3. Let v be p(6). Let k = 30 - v. Is k composite?
True
Let k(s) = s**2 + 12*s - 9. Let r be k(-13). Suppose 2*c + r*f - 275 = -5, f = -2. Is c a composite number?
False
Suppose z + 515 + 592 = 0. Let w = z - -789. Is (5/15)/((-2)/w) a composite number?
False
Is 67*(-3 + 5)/2 composite?
False
Let x = 15 - 11. Let p(n) = -n**3 + 5*n**2 - 5*n + 4. Let f be p(x). Suppose 5*z = -0*w - w + 34, -5*z + 3*w + 18 = f. Is z composite?
True
Suppose -1 - 7 = 4*g. Let q = g - -2. Suppose -v + 4*a = -q*v - 147, 159 = v - a. Is v composite?
False
Suppose 5*f + 5256 = 3*w, -8779 = -5*w + 3*f - f. Is w composite?
True
Suppose -a + 5*x = 91, 3*a + 193 = -4*x - 137. Is (a/4)/(2/(-4)) a composite number?
False
Let r(x) be the third derivative of x**4/2 + 7*x**3/6 - x**2. Is r(7) prime?
False
Suppose -8406 = -2*g + 4*i, -6*i + i + 12554 = 3*g. Is g prime?
False
Suppose 2*v - 2*q = 3*q + 251, -v - 4*q = -158. Suppose -2*k + v = 3*f + 2*k, -5*f = -k - 207. Let r = f + -5. Is r a composite number?
False
Let z(f) = -f**3 - 5*f**2 + 2*f - 5. Suppose 0 = 5*i - l + 23, 3*i + 5*l + 20 = i. Let w be z(i). Is -201*(-2 - w/9) composite?
False
Suppose -7*r - p + 1142 = -4*r, 4*p = -2*r + 778. Is r a composite number?
False
Suppose -d + 6*d + 3*y = 0, 0 = -5*d - y. Let s(w) = w + 137. Let q be s(d). Let i = -60 + q. Is i a prime number?
False
Let w(t) = -t + 8. Let d be w(4). Suppose d*y = 149 + 299. Suppose -36 = -r + 5*k, 5*r - 3*k = y + 2. Is r composite?
True
Let s = 8 - 1. Suppose 0 = -3*r + 1 - s. Let o = r + 21. Is o composite?
False
Let j = -30 - -15. Let t = j - -6. Is (-3)/t*3 - -210 a composite number?
False
Let p(m) = 24*m**2 - 6*m - 41. Is p(-8) prime?
True
Let c(j) = -j**2 - 6. Let t(l) = 2*l**2 + 12. Let a(p) = -5*c(p) - 2*t(p). Let v be 4/(-8)*0*3/6. Is a(v) prime?
False
Let t(g) = -g - 141. Let z be t(0). Let x = z - -5. Let w = x - -249. Is w a composite number?
False
Is (2514/(8 + -2))/1 a prime number?
True
Suppose g - 2153 + 237 = -n, -5*n - 7655 = -4*g. Is g a prime number?
False
Is 10/(-2) + (37 - -17) composite?
True
Suppose 11528 = 5*y + 3*y. Is y a composite number?
True
Let a be 12/(-1 - 26/(-30)). Let r = 149 + a. Is r composite?
False
Let i be 96/42 + (-2)/7. Suppose 4*h - 68 = i*h. Is h prime?
False
Let i(j) = -j**3 + 4*j**2 - j - 1. Let h be i(3). Suppose -h*w + 3*q - 8*q = -385, -6 = 3*q. Suppose -a + 2*a = w. Is a a composite number?
False
Suppose 0 = -2*b - 4*k + 4758, 7*b - 3*b - 9480 = k. Is b prime?
True
Let s = 117 - 63. Is (-130)/(-4)*s/45 a composite number?
True
Suppose 0 = 2*w - 5*x + 38 - 145, 2*w - 77 = -5*x. Is w prime?
False
Let v be 5*(-3)/(-15)*-4. Let f(k) = -k**3 + k**2 + 6*k + 3. Is f(v) prime?
True
Let g = -5 + 10. Suppose -5*f + f = -4*p + 4, 5*p = -2*f + g. Suppose -24 = -2*m + n, f*n - 20 = -2*m - n. Is m a composite number?
False
Let i = 212 - 118. Is i a prime number?
False
Suppose 5*m - 863 + 329 = -4*o, -4*o + 5*m + 514 = 0. Is o prime?
True
Let f(x) = 34*x + 6. Let r(c) = -17*c - 3. Let q(v) = -2*f(v) - 5*r(v). Is q(2) prime?
True
Is 114 - (-2)/4*8 a composite number?
True
Suppose -3*k - 5*a = -49, -5*a = 2*k - 0*k - 26. Let h = k - 14. Is h a composite number?
True
Let q = 13 - -7. Suppose -v + 15 = -q. Is v a prime number?
False
Let i be 978/8 - (-2)/(-8). Suppose 3*b = i + 115. Is b composite?
False
Let o(j) = 0 + 2*j**2 + 8 - 3 + 12*j. Is o(-12) a prime number?
True
Suppose -33 = 5*y + 2. Let p be 2/y - (-54)/(-7). Let r(z) = 2*z**2 + 12*z + 7. Is r(p) a composite number?
True
Let p = 26 - 14. Suppose 5*f - p = 2*f. Suppose 0 = 5*v - g - 15, -12 = -5*v - f*g + 3. Is v a composite number?
False
Suppose -2*k = -3*i + 14, 5*i - 3*k + 1 - 24 = 0. Let y = i - 4. Suppose -2*j - j + 230 = c, 5*c + 3*j - 1114 = y. Is c a prime number?
False
Let l = 12 - -2. Suppose -4*h + 10 = -l. Suppose 5*k - h*k = -53. Is k composite?
False
Suppose -5*x = -4*x - 83. Is x a composite number?
False
Let x = -31 - -114. Is x composite?
False
Suppose 53 = 6*r - 5*r. Let y = 172 - r. Is y composite?
True
Suppose 3*g + 1975 = -2*u, 25 = -5*u - 0*u. Let r be (g/(-5))/(1/5). Suppose 6*k - r = k. Is k a composite number?
False
Suppose 0*m = -2*m + 2. Suppose 0 = -i + 1 + m. Suppose 0 = i*v - 3*v - 4*j + 34, 4*v - 97 = -3*j. Is v a prime number?
False
Let w = -112 + 185. Suppose 2*i + 11 = w. Is i prime?
True
Suppose 0 = -g - 5*n + n - 233, -g - n - 236 = 0. Let m = -110 - g. Is m prime?
True
Let a(b) = -b**3 - 3*b**2 + 7*b - 7. Let h be a(-5). Is h/12 + 55/3 a composite number?
False
Let v = -8 - -13. Suppose 0 = r + 2*h - 8, -2*r + h + 9 + 7 = 0. Suppose r = y - v. Is y composite?
False
Let p(d) = d + 3. Let c be p(-3). Let g be -7 - (c/(-2) - 1). Is (-279)/6*4/g composite?
False
Suppose 0 = 5*r + 4*u - 789, -2*r = 2*r + u - 629. Is r a composite number?
False
Suppose a = 9 - 4. Suppose a*r = 17 + 98. Is r a composite number?
False
Suppose 0 = -4*f + g + 627, -5*f = -3*f - 2*g - 312. Let r = -60 + f. Is r prime?
True
Suppose -4*a + 1374 = 5*w, 0 = -2*a + 2*w - 0*w + 696. Is a prime?
False
Let x(j) = j**3 + 7*j**2 - 6. Let n be x(-7). Let w(q) = -1 + q**2 - 4 + 2*q + 2. Is w(n) a prime number?
False
Let t = 0 - -10. Let v be (t/(-15))/((-1)/54). Let d = v - 5. Is d a prime number?
True
Suppose 0 = 5*x - 0*x - 2705. Is x composite?
False
Let d(x) = 4 + 0 - 5*x - 2 + 0. Is d(-7) a composite number?
False
Let v be (233 + 4)/(5/((-40)/12)). Suppose -3*a + 477 + 462 = 0. Let h = v + a. Is h a prime number?
False
Let z = 1198 - 195. Is z a composite number?
True
Let y(i) = i**3. Let k be y(0). Let z = k + -1. Is 1*31*-1*z a prime number?
True
Let d = 130 - -31. Is d a composite number?
True
Let u(f) = -f + 1. Let d(w) = -1. Let q(h) = -d(h) - 4*u(h). Let j be 4*(0 - 9/(-6)). Is q(j) a prime number?
False
Suppose -3*n = -o - 11, n + 4 = 7. Is o/(-10) - (-3696)/20 composite?
True
Let c(i) = -49*i + 1. Let y be c(-4). Let o = y + -6. Is o a prime number?
True
Suppose 5*x + 17 = -3, -4*s + 2*x + 16740 = 0. Is s a prime number?
False
Let v(j) = -17*j - 10. Suppose 5*g = -5*y - 85, 3*y = g + 2*y + 9. Is v(g) prime?
True
Let a be 0 - -1 - 0 - -1. Suppose n + o + 3 = -0, a*n - o = -12. Is ((-18)/(-15))/((-2)/n) a composite number?
False
Is 1065/25*5*(3 - 2) composite?
True
Let f(i) = 59*i + 32. Is f(9) composite?
False
Let n = 16 + -5. Let b(o) = o**3 - 5*o**2 + 3*o + 12. Is b(n) a composite number?
True
Let a(x) = -15*x**2 + 3*x + 6. Let u(j) = -j - 1. Let i(h) = a(h) + 4*u(h). Let d be i(2). Is -1 + 1/((-3)/d) prime?
True
Let a(s) = -s + 1. Let k be a(-4). Suppose -267 = -q - i, -q + k*i + 506 = q. Is q composite?
False
Let w = -841 - -1343. Is w a composite number?
True
Let u = 7 - 16. Let n(o) = -57*o - 12. Is n(u) a prime number?
False
Let j be 75 + 1 - (-4)/4. 