 Is v prime?
True
Suppose -w + 3*w - 6 = 0. Suppose w*l - 4*l = 18. Is (-1390)/l - (-4)/(-18) a prime number?
False
Let d be (2 - (1 - -2)) + 5. Let z = 162 - -23. Suppose -d*a - a = -z. Is a a prime number?
True
Let h(c) be the first derivative of -c**3/3 + 6*c**2 - 4*c - 1. Is h(9) a prime number?
True
Suppose -9*y - 2225 = -14*y. Is y composite?
True
Let t be 6/1*(-16)/(-6). Is ((-20)/t)/(1/(-28)) a prime number?
False
Suppose -3*h + 8 = h. Suppose 0 = 3*n - 5*s + 2 + h, -3*n + 2*s = -2. Suppose 0 = -n*v + 17 + 45. Is v composite?
False
Let k(x) = x**3 + 12*x**2 + 10*x - 11. Let b be k(-11). Suppose -2*i + r + 3*r + 186 = b, 4*i - 5*r - 375 = 0. Is i a prime number?
False
Suppose -o - 2216 = -3*r, 2*r - 3*o - 1469 = -4*o. Is r prime?
False
Let r(q) = -q**2 - 4*q + 2. Let m be r(-5). Is -2*(m - (-93)/(-6)) composite?
False
Suppose 0 = -5*j - 9 - 1. Let v = -3 - -14. Let y = j + v. Is y a composite number?
True
Suppose 5*p + 2*j - 468 = -27, -5*p - 5*j + 435 = 0. Is p prime?
True
Let w(t) = t**3 - 4*t**2 - 5*t - 2. Let o be w(5). Is (o/(-2))/1 + 238 a composite number?
False
Suppose 2*k + d = 8, -d - 4 = d. Suppose k*y - 3*y + 3*j - 122 = 0, 5*j = 5*y - 305. Let t = y - 40. Is t prime?
False
Let a = 413 - -440. Is a a prime number?
True
Suppose 0*p = 2*p - 96. Suppose 5*d + 2 = -p. Let g = d - -16. Is g prime?
False
Let s(l) = l**2 - 2*l + 6. Let c be s(4). Let w = -13 - -9. Let f = c + w. Is f composite?
True
Let d be -1 - (-14 + (-6)/3). Suppose 0 = -2*t + 3 - d. Is (-25)/10*1*t a composite number?
True
Is (3/9)/(2/5514) composite?
False
Let w(h) = h**2 + 3*h - 5. Let j be w(-5). Suppose g = j*g. Is -1 + g + 930/5 prime?
False
Let z = 1016 + -549. Is z a composite number?
False
Suppose 3*i - 3*b - 40 = -2*i, 3*b = 0. Let a = -6 + i. Suppose 0 = 2*x + a*x - 844. Is x a composite number?
False
Suppose 4*i = -0 - 8. Let f be i/(-11) + 3648/22. Suppose 3*u - 2*a + 113 = 370, 2*u - f = -4*a. Is u composite?
True
Let i(s) = s**3 + 2*s + 119. Is i(0) a prime number?
False
Is 2/(-1 - -3)*5323 a prime number?
True
Suppose -u = -4*i - 5*u + 988, 0 = 3*i + u - 749. Is i prime?
True
Is (-521)/2*(-19 + 17) prime?
True
Let i(h) = 62*h**2 - 2*h - 3. Is i(-4) composite?
False
Suppose -2*y - v = -0*y - 15, -v + 21 = 3*y. Let k(z) = -19*z - 11. Let h(m) = 20*m + 12. Let t(a) = y*h(a) + 7*k(a). Is t(-4) a composite number?
False
Is (-48)/80 + 4318/5 composite?
False
Suppose 6*o = -0*o + 3342. Is o composite?
False
Let i(o) = 2*o**2 - 2*o + 4. Let c(a) = a - 1. Let t(x) = -c(x) + i(x). Let y(z) = -5*z**2 + 5*z - 11. Let w(f) = -13*t(f) - 6*y(f). Is w(-6) a prime number?
False
Let d = 23 + -33. Is (-1988)/d - (-4)/20 composite?
False
Let q(u) = 4*u**2 + 0*u - u + 6*u**2 + 2*u. Is q(-1) prime?
False
Let n be 8/12 - (-50)/(-3). Let f = n + 53. Is f a prime number?
True
Let w = -269 + 686. Is w a prime number?
False
Let a be (-8)/(-40) - 2/10. Suppose -4*r + 258 + 2570 = a. Is r a prime number?
False
Let u(t) = t**3 + t**2 + t. Let z(v) = -v**3 - 8*v**2 - 4*v + 4. Let h be -1*(2 - 2 - -1). Let l(x) = h*z(x) - 2*u(x). Is l(5) a composite number?
False
Suppose -2*v - 3*v = -4*t - 32, 5*v - 14 = -2*t. Let j = t - -6. Suppose 3*f - 2*a - 427 = 0, -2*f + 302 = -0*f + j*a. Is f prime?
False
Let u be (-1188)/(-10) - 3/(-15). Let n = -85 + u. Is n a prime number?
False
Suppose 20 - 5 = -5*c. Let y(p) = p**2 - 4*p - 2. Is y(c) a composite number?
False
Let l(c) = 3*c**3 - c**3 - 3*c**3 + 1 + c + 3*c**2. Let u be l(3). Suppose -u*t + 24 = -16. Is t a composite number?
True
Let j(k) = -4*k + 1. Let p be j(-5). Suppose -3*h - b - 163 - p = 0, 5*h = 5*b - 300. Let d = -8 - h. Is d composite?
False
Suppose -5*n - 141 = -p + 108, n = -p + 255. Let h be p/((-2)/4*-2). Is 6/3*h/4 composite?
False
Suppose 5*l = 2*r + 26, 5*r - 2*l = l - 46. Let h(y) = -19*y + 11. Is h(r) a composite number?
False
Let q(n) be the third derivative of 55*n**4/8 - n**3/3 + n**2. Is q(1) prime?
True
Suppose 0 = -3*x - 5*h + 16, 0 = 3*h + 3. Let q(u) = 2*u**2 - 10*u + 7. Is q(x) composite?
True
Suppose -2*c + 6*c = -3*y + 761, -2*y + 953 = 5*c. Is c prime?
True
Let p be ((-9093)/(-6))/(-7)*4. Let a = -535 - p. Is a prime?
True
Let y be 1/((6/9)/2). Suppose 5*h + 15 = -5*m, -y*m - 3*h + 31 = -5*m. Is m/(-20) + (-306)/(-10) a composite number?
False
Let k = 4 + -2. Suppose k*t - 4*t = -98. Is t a prime number?
False
Let s be (-56)/10*(-16 + 1). Let a = s - 37. Is a prime?
True
Let u(q) = q**3 + 3*q**2 - 6*q - 3. Let j(x) = -x**2 - 3*x + 6. Let y be j(-5). Let k be u(y). Is 176/5 - 1/k composite?
True
Let s be -1 + -2 + (-139)/(-1). Suppose 2*r - 34 = -4*f + s, 3*r + 89 = 2*f. Is f composite?
False
Let h = -9 - 10. Let l = 354 - h. Is l composite?
False
Suppose -4*i = -5*i. Suppose -20 = -4*b - i*b. Is 1*b*34/2 a composite number?
True
Suppose 0 = -3*l + 5*a + 4703, -4*l = -5*l + a + 1565. Is l prime?
False
Suppose o + 7*d - 2*d = 0, -5 = 5*d. Suppose -3*m - 2 + 5 = -3*t, 0 = t - 2. Suppose -m*u = -o*u + 422. Is u prime?
True
Suppose -4*d = -1922 - 2314. Is (2 - d/9)*-3 composite?
False
Is 20 + -10 + (0 - -5) a prime number?
False
Let p(o) = 1 + 2*o - 26*o - 5*o - o. Is p(-1) composite?
False
Suppose 0 = 272*g - 276*g + 844. Is g prime?
True
Suppose 5*r - 268 = r. Is r a composite number?
False
Let j(z) = -60*z - 11. Let f be j(-7). Suppose 3*x + 4*d - f = 0, 3*d = -x + 38 + 105. Is x a composite number?
False
Suppose 2 = 2*v - 2*k, 4*v - 22 = -4*k + 2*k. Suppose -v*n + 25 = -3. Is n prime?
True
Let z = 4 + 14. Suppose 3*k = -5*l - z, l - 1 = 4*k - 0*l. Let p(u) = 33*u**2. Is p(k) a prime number?
False
Is (-1 - 0) + (1763 - 1) prime?
False
Is (-1814)/(-4)*(-9)/(18/(-4)) prime?
True
Suppose -m + 3*m = 6158. Is m composite?
False
Is 385/(-20)*(-1 - 3) a prime number?
False
Is (-2)/9 - (23368/(-18) + 4) prime?
False
Suppose -1720 = -k - 7*k. Is k prime?
False
Let v be (-16)/(-104) + (-7302)/(-26). Let h = -126 + v. Is h composite?
True
Let n(f) = -f + 5. Let a be n(5). Let c be 25/10 + 1/2. Suppose 4*j + c*i - 117 - 86 = a, 0 = -2*j - 3*i + 109. Is j a composite number?
False
Suppose 2 = 2*m, -4*n - 2*m = -5*m + 19. Is (-214)/(-10) - n/(-10) prime?
False
Suppose -2*o + 64 = -6*o - 5*b, 0 = o - 3*b - 1. Let y(l) = -2*l**3 + 4*l**2 - 3*l + 1. Let q be y(3). Let h = o - q. Is h a prime number?
False
Let a = -4 + 7. Suppose 4*i + 31 = m, -a*m = -2*m + 2*i - 49. Is m prime?
True
Let c be (-2)/(-7) + 401/(-7). Let y = -37 + 18. Let r = y - c. Is r prime?
False
Let g be -1 - -4 - (-324)/9. Is 2/13 + 4245/g composite?
False
Let f be -2 - 3/((-6)/334). Suppose 0*a - f = -3*a. Is a composite?
True
Let v be 7/(-14)*200/1. Let f = v - -311. Is f a prime number?
True
Suppose -2*d - 2*d = -5*y + 4, 0 = -4*y. Is 1*d/3*-669 a composite number?
False
Suppose -5*k + 285 = -430. Is k a composite number?
True
Suppose g = -g - 148. Is (g/6)/(7/(-21)) prime?
True
Is (-1)/(-6) + 4595/6 composite?
True
Suppose 0 = 3*o - 9, -3*o + 595 = 4*b - 2*b. Is b a composite number?
False
Let p(v) = 4*v + 1. Let j(i) = -i - 6. Let o be j(-3). Let n be 2/(-3) + (-20)/o. Is p(n) a composite number?
True
Let h = 64 - 122. Let i = 117 + h. Is i prime?
True
Let l = 6 - 9. Is 97 + (l - -5) - 2 a prime number?
True
Suppose 2435 = 2*x + 593. Is x a prime number?
False
Suppose -16 - 20 = -3*x. Let p = -1 + x. Is p prime?
True
Suppose -2*k + 2*t = 2, -3*k - 5*t + 15 = -2*t. Suppose -3*x - j = -232, k*j - 244 = -4*x + 66. Is x prime?
False
Let l(x) = x - 2. Let g be l(2). Suppose 2*p - 255 + 95 = g. Suppose -4*i + 204 = p. Is i composite?
False
Let u(t) = t**3 + 5*t**2 - 5*t + 2. Let q be u(-6). Let l(v) = 2*v**2 - 6*v - 3. Is l(q) a composite number?
False
Let b(p) = p - p - 5*p + 2*p - 1. Suppose 12 - 44 = 4*g. Is b(g) composite?
False
Let t(z) = -4*z**3 + z**2 - z + 3. Let s be t(7). Let g = s - -1865. Is g prime?
False
Suppose 5*a + 16 = n + 4*a, 67 = 4*n - 5*a. Suppose -n*b + 17*b = 2012. Is b prime?
True
Suppose 0 = -10*s - 6118 + 15008. Is s composite?
True
Is (3143 + 0)*-1*(-4)/4 a composite number?
True
Suppose -6*b + 634 = -2*b - 2*y, -830 = -5*b - 5*y. Is b composite?
True
Suppose 0*y = 4*f + 2*y - 6, 2*f + 4*y = -12. Suppose -f*o - 282 = -10*o. Is o prime?
True
Let p(i) = i**3 + i**2 - i + 195. Let o be p(0). Let f = o + 42. Suppose 2*l - 