 = 1088 + -405. Is i a prime number?
True
Is 582 + 9/7 + (-10)/35 a prime number?
False
Suppose 3*a - 4*n - 2563 = 0, 6*a = 7*a + 3*n - 837. Is a composite?
True
Suppose -7*u + 155 = -2*u. Suppose -i + 12 = -5*p, -3*p - u = i - 5*i. Is i a composite number?
False
Let x(h) be the second derivative of -h**3/6 + 16*h**2 + 2*h. Let w be x(0). Let q = -19 + w. Is q prime?
True
Is (-4660)/(-6)*3/2 composite?
True
Let k = 19 + -28. Let z = 20 + k. Is z a composite number?
False
Suppose 3*k + 0*k - 189 = 0. Let a be 0*(-4)/8*2. Suppose -3*w + k = -a*w. Is w a composite number?
True
Let u(k) = 34*k**2 + k - 1. Let y be -3 + 6 + -2 - 3. Let z be y*(-3)/(-6)*2. Is u(z) composite?
True
Let h(u) = 44*u**2 - 9*u - 1. Is h(-6) prime?
True
Suppose 2*q + 15 = 5*q. Let w = -3 - -8. Suppose 2*o = 0, -w*a = q*o - 5 - 30. Is a a composite number?
False
Let t be 2/5*(-20)/4. Let p be -4*t/4 - -3. Suppose -p*w + 0*w + 20 = 0. Is w prime?
False
Let d = -7 + 7. Suppose -l + 13 = 5*r, 3*r + r = -5*l + 128. Suppose -2*v - 5*p + l + 56 = d, v - p = 49. Is v a prime number?
True
Let q(b) = b**2 - 7*b - 7. Let j be q(8). Let x be (1*53)/(j/5). Suppose 0 = -o - 4*o + x. Is o prime?
True
Let v(q) = 6*q - 17. Let w(f) = 5*f - 16. Let t(m) = 6*v(m) - 7*w(m). Let d be t(-7). Suppose d*u - 23 = 4. Is u a composite number?
True
Let a = -4 - -6. Suppose 172 + 6 = a*d. Is d a composite number?
False
Let x = 184 - 57. Suppose -p = -0*p - x. Is p a prime number?
True
Suppose 0 = -2*x - 2*u + 180, -5*x - u - u + 462 = 0. Is x a composite number?
True
Let m = 431 - 273. Is m composite?
True
Suppose 9 = -3*r + 3*f, f + 1 = -1. Let t(o) = o**2 - 5*o - 4. Let a be t(4). Let u = r - a. Is u a composite number?
False
Let f = -703 + 1946. Is f a prime number?
False
Is (0 - 1)/(10/(-10090)) composite?
False
Let c(f) = 9*f + 11. Is c(6) prime?
False
Suppose 2*m + 3*a = -a - 4, 5*m - 4*a - 32 = 0. Let s(u) = u**3 - 3*u**2 - 3*u. Let t be s(m). Suppose 2*y + 29 = o - y, -2*y + 158 = t*o. Is o composite?
True
Suppose 2*q + 24 = 2*p + 6*q, 34 = 5*p - 3*q. Suppose 5*l = -3*f + 308, -4*l + 8*l = -p. Is f a prime number?
False
Let z = -184 - -280. Suppose -3*y = -g - 32, -y = -2*g + 12 - z. Let l = -23 - g. Is l a composite number?
True
Let m = 505 - 254. Is m composite?
False
Suppose -2*b = -4*l - 2 + 8, 15 = 5*l. Suppose -b*y + 56 = -13. Is y a prime number?
True
Suppose 530 = 9*k - 7*k. Is k a composite number?
True
Let y = 5 + -3. Suppose 5*h - 225 = y*n + 2*n, -n = 4*h - 201. Is h a prime number?
False
Let d = -16 + 35. Suppose c + 2 + 6 = 2*i, 3*i - d = -2*c. Is (c/3)/((-6)/(-90)) prime?
False
Let q be (-7 + 7)/(1*3). Suppose 5*t - 10 = 0, 5*t - 243 = -q*m - m. Is m composite?
False
Let x(b) = -b**3 - 9*b**2 + 3*b + 13. Is x(-12) a composite number?
False
Let i(x) = 6*x**2 + 2*x. Let s(u) = 13*u**2 + 3*u. Let l(c) = -5*i(c) + 3*s(c). Let r(n) = -n**3 - 2*n**2 + 2*n + 2. Let g be r(-2). Is l(g) a prime number?
False
Is 4/(8/278) - -4 composite?
True
Let n(p) = p**2 + p + 90. Let h be n(0). Let v be (-43)/(-2) + (-3)/6. Let z = h - v. Is z composite?
True
Let j be 164 - 1*(-2)/(-2). Let x = j + -78. Is x composite?
True
Suppose -13*a - 753 = -14*a. Is a a prime number?
False
Suppose r + 2 = 11. Suppose r*k = 4*k - 10, -137 = -j - 4*k. Is j composite?
True
Let r(j) = -8*j**3 - 4*j**2 + 3*j + 9. Let o be r(-7). Suppose 5*l = a + 2*a - 1925, 4*a - o = -l. Is a prime?
False
Let r(f) = 2*f**2 + 2*f + 5. Let o be r(4). Suppose -10 = 5*g - 5*l, 0 = -5*g + 3*g - l + 8. Let q = g + o. Is q prime?
True
Let r = 31 + -19. Suppose 2*q - r = 8. Is q composite?
True
Suppose 3*n - 26 = 4*n - 3*d, -3*n = -4*d + 68. Let j = -12 - n. Let w(f) = 10*f + 11. Is w(j) a prime number?
False
Suppose 0 = 2*n - 3 - 5, 0 = 4*g - 5*n - 516. Let a = -11 + g. Is a composite?
True
Suppose 12 = -k + 4*k. Suppose 2*i + 62 = k*i. Suppose -q = -2*q + i. Is q composite?
False
Is (90/(-20) - -5)*2518/1 a composite number?
False
Let n(r) = 13*r**3 - 9*r - 1. Is n(3) a prime number?
False
Let l(u) = -u**3 + 8. Let j be l(0). Is 357/4 - 2/j a prime number?
True
Is (983/(-6))/(7/(-42)) a prime number?
True
Suppose -2*s - 45 = -3*s. Is 196/9 + 10/s prime?
False
Is 310 + -4 + (-1 - -2) prime?
True
Let j(u) = u**3 + u + 5. Let r be j(0). Suppose 0 = f + f - c - 30, 5*f = -r*c + 45. Is f a composite number?
False
Suppose -6*h + h = -660. Suppose 0 = -t + 5*t - h. Is t a prime number?
False
Suppose -2*g = -10 + 4. Suppose -g*l - 2*l + 55 = 0. Is l composite?
False
Let b = 10 + -6. Suppose -3*a + 4*j = a - 472, a - b*j - 109 = 0. Is a a prime number?
False
Let n = -1143 + 2974. Is n prime?
True
Is (-1959)/(-12) - 1/4 composite?
False
Let i be 0*(1 - 2/4). Suppose 2*g - 4*g + 106 = i. Is g a prime number?
True
Let t(g) = 2*g**2 + 11*g - 18. Is t(-21) composite?
True
Suppose -5*k - r - 490 + 1335 = 0, 3*r - 15 = 0. Suppose 3*z + 127 = -218. Let a = z + k. Is a prime?
True
Let v(y) = 16*y - 2. Let c be v(2). Suppose -2*b + 4*b - c = 0. Suppose -5*z = 0, 5*m + 0*z = 2*z + b. Is m a composite number?
False
Let k(f) = f**3 + 2*f**2 - 2*f - 2. Let l be k(-2). Suppose 352 = 4*i - h, 5*h - 173 = -l*i + 25. Is i a prime number?
True
Suppose u + 2*u = 9. Suppose 5*v - 10 + 30 = 0, 3*s + u*v - 234 = 0. Is s composite?
True
Let j(y) = 42*y**2 + 4. Let r be j(3). Let b = r + -243. Is b composite?
False
Let x = -11 - -21. Let t be (-125)/x*8/(-5). Suppose -4*b = -t, 0*w + 3*w - 19 = -2*b. Is w prime?
True
Suppose -142 = -5*c - 5*s - 27, -5*c - 3*s = -109. Is 4/10 + 10052/c a composite number?
False
Let i = -216 + 335. Is i a composite number?
True
Let s be 674/10 - 3/(-5). Let j = s + 2. Suppose 4*c - 70 = -5*l, -4*c - j = 4*l - 9*l. Is l composite?
True
Is 13245/21 + 2/7 composite?
False
Is ((-3)/9)/(5/(-16845)) a prime number?
True
Let r be (-4 + 0)*(1 + -2). Let j(w) = 3*w**2 + 0 + w + r - w**2 - 2. Is j(3) a prime number?
True
Suppose -4*k + 3*i = -1190 - 878, 3*k - 5*i = 1562. Is k prime?
False
Let b be 0*((-2)/(-6))/(-1). Is (1 + b)*43/1 prime?
True
Let w = 8 + -4. Let g(q) = -1 + 7*q - 3*q**2 + 2*q**2 + 3. Is g(w) composite?
True
Let z(f) be the second derivative of 125*f**3/6 + f**2 + 6*f. Is z(1) a prime number?
True
Let r(c) = 2*c + 1. Let j be r(-1). Let d(u) = -u**2 - 2*u - 1. Let s be d(j). Suppose s*i + 2*i = 74. Is i a composite number?
False
Is 12/(-42) + (-4279)/(-7) composite?
True
Let a(f) = -63*f - 4. Is a(-5) a prime number?
True
Suppose -8 = -3*y - 2. Suppose -y*t = -3*t + 1. Is 1*t*(-49)/(-1) composite?
True
Suppose -192 + 1868 = 4*g. Is g prime?
True
Is 12053/5 - 4*(-1)/10 composite?
False
Let h(n) = -5*n - 4*n - 4 + 0*n - 5*n. Let r be h(-8). Suppose -2*f - 3*f - t + r = 0, 3*f + t = 64. Is f composite?
True
Is (6/9)/(16/6216) composite?
True
Let w(q) = -q. Let r be w(-6). Let h = 10 - r. Suppose -h*l + 14 = -2*l. Is l a prime number?
True
Suppose -3*a - 28 + 110 = y, 2*a = 4*y - 342. Is y prime?
False
Suppose -5*u + s - 9872 = -34562, 19768 = 4*u - 4*s. Is u a prime number?
True
Let s = -11946 + 17309. Is s a prime number?
False
Suppose 4*l - 3*h - 827 = 0, 0 = 4*l - h - h - 830. Is l prime?
False
Suppose -16*r + 11390 = 1966. Is r prime?
False
Let k be 3/6*4/1. Let p(u) = -u**k + 11 + 0*u**2 - 4 - 11*u. Is p(-7) a composite number?
True
Suppose 4*c + 7 = -0*k - k, -k = 3. Suppose -6*b - 40 = -2*b. Is (6/b)/(c/15) a composite number?
True
Let r(w) = -83*w + 8. Is r(-3) a composite number?
False
Let u(c) = 23*c - 8. Let f(h) = 11*h - 4. Let q(r) = 13*f(r) - 6*u(r). Is q(7) prime?
True
Let q(u) = 207*u**2 - u. Let n be q(1). Let y = 365 - n. Is y composite?
True
Let g be (-2 - (0 - 2))/1. Suppose 30 = x - l, g = 3*x - 3*l - l - 85. Is x prime?
False
Let h(u) = -u**3 + 5*u**2 - 5*u + 4. Let m be h(4). Let r be 1 + -1*(m - -2). Is (-92)/12*(r - 2) prime?
True
Suppose 3*p = 4*p - 723. Is p a composite number?
True
Suppose m + 4*m = 2*r + 32, -4*r - 4 = 0. Suppose 0 = 2*b - m - 6. Is (-1)/2 + 549/b a prime number?
False
Let d be 1/3 - (-2)/(-6). Let u(x) = 7 + 0*x - x**3 + d*x**3 - 12*x**2 - 3*x - 8*x. Is u(-11) a prime number?
True
Let u be 0*((-3)/(-3) + 0). Suppose -56 + 2 = -o. Suppose -5*s + o + 341 = u. Is s a prime number?
True
Suppose -4*f = -2*f. Is -1*f/(-1) + 55 a composite number?
True
Let m be ((-2)/(-2) - 4) + 1. Suppose