53 + 1552. Is p prime?
True
Let z be (-110)/(-33) - 4/3. Suppose 1837 = 5*h + z*p, 3*h = p + 577 + 523. Is h a composite number?
False
Suppose 2*d - 10 + 28 = 0. Let b(v) = 3*v**2 + 3*v - 5. Is b(d) prime?
True
Let g be ((-2)/(-8))/(3/36). Let a(p) = 51*p**2 + p + 5. Is a(g) a prime number?
True
Let y = 956 + 381. Is y a composite number?
True
Let f = 73 + 6. Is f a prime number?
True
Suppose 2104 = 4*h - 4068. Is h composite?
False
Let w(y) = y**3 + 9*y + 3. Is w(8) a prime number?
True
Suppose 5*o = 4*o + 711. Suppose -a = -4*a + o. Let p = -140 + a. Is p composite?
False
Let o be (-2)/(-8) - (-18)/(-8). Let y be (-3 - -1) + 5*o. Is -12*(-2 + 15/y) a composite number?
True
Suppose 3*v - 1133 + 206 = 0. Is v a composite number?
True
Suppose 0 = -4*j - 0*j + 8. Let n = 14 - 6. Suppose -j*w = 3*d - w - 16, 5*d - n = 3*w. Is d a composite number?
True
Suppose 0 = -3*g - 5*q + 348, 2*g + 3*q = 99 + 132. Suppose 2*r = -2*r + 832. Let c = r - g. Is c a prime number?
True
Suppose -4*o + 19 = -41. Let b be -3*1 - (3 - o). Is ((-21)/b)/(2/(-12)) composite?
True
Let b = -900 - -5979. Is b a prime number?
False
Let g(h) = -9*h**3 - h**2 - 1. Is g(-2) a composite number?
False
Let r(j) = 55*j + 3. Is r(2) prime?
True
Let m(u) = 118*u**3 - u**2 + u + 2. Let a be m(2). Let d = -547 + a. Is d a prime number?
True
Suppose 0 = -5*l - 2*q + 14769, 0 = 3*l - 6*q + 3*q - 8853. Is l a composite number?
False
Is (84/8)/(-7) + (-3290)/(-4) prime?
True
Let b = 9 - 4. Let s be (-2)/4*4 + b. Suppose -s*t + 5*d = 8, -2*d + 5*d - 32 = -5*t. Is t a prime number?
False
Let q be (3/(-2))/(6/(-8)). Suppose -3*i + q*i = 70. Is 1/((-72)/i - 1) a composite number?
True
Let z be -3 - 1*187/(-1). Suppose -300 = -4*m + z. Is m composite?
True
Suppose 2*r = 4*s - 2*r - 4096, 0 = 2*s + 3*r - 2053. Suppose 2*l = -3*l + s. Is l composite?
True
Let q(j) = 2*j**2 + 7*j + 4. Is q(-5) composite?
False
Let v(o) = 51*o**3 + o**2 + o + 3. Let a be v(-2). Let g = 265 + -453. Let t = g - a. Is t a prime number?
False
Let r be ((-138)/4)/(5/(-50)). Let s = -196 + r. Is s prime?
True
Suppose -12*t + 13*t = 337. Is t a prime number?
True
Let c be (-3 - -2)*(-3 - 1). Suppose -4*r = w - 23, -5*w + 3*w = -c*r - 22. Is w a composite number?
True
Suppose 6 = 3*g - 0. Suppose -g*n + 183 - 29 = 4*s, s = -4*n + 315. Is n composite?
False
Suppose -3*y + 1468 = 5*v + 40, 3*v = 5*y + 850. Suppose -3*g + 0*g = 3, 5*g = -2*k + v. Is k a prime number?
False
Let f be (3 + -1)*(-10)/(-4). Suppose f*g - 1 = -6. Is 3 - (-145 - g) - 2 a prime number?
False
Let p(z) = -z**3 + 8*z**2 - 7*z + 1. Let o be p(7). Is (-648)/(-15) - o/5 a composite number?
False
Let c = 9 + 2. Let p(j) = j**2 - 8*j + 7. Let w be p(c). Is (170/40)/(2/w) prime?
False
Suppose -10*r + 4262 = 1192. Is r composite?
False
Let o = 14 - -35. Is (-3 - 0/4) + o a composite number?
True
Let k(t) = t**3 - 3*t**2 - 5*t + 5. Let m be k(5). Suppose -4*x + m = 2*w, -w + 9*x + 43 = 4*x. Is w a prime number?
True
Let o(v) = v - 2. Let x be o(2). Let n = 5 + x. Suppose 0*a + 101 = 3*j - a, a = -n*j + 163. Is j prime?
False
Suppose 6*t - 81 - 261 = 0. Is t composite?
True
Let x(j) = -95*j - 10. Let f be x(-6). Let l = -265 + f. Is l a composite number?
True
Let n = 4 - -14. Let s be 8/(-36) + 76/n. Let g(j) = 2*j**2 + j - 5. Is g(s) composite?
False
Let b = 1494 + 1324. Is b prime?
False
Let g(a) be the second derivative of a**4/12 + a. Let r be g(1). Suppose 3*n - 13 + r = 0, -2*d + 170 = 3*n. Is d prime?
True
Suppose -3*w - 187 = -3*m - 1333, 5*w - 1922 = m. Suppose -4*f = f - w. Is f composite?
True
Let b = 616 - 269. Is b prime?
True
Let u = -24 - -40. Let n = u + -170. Let c = 243 + n. Is c composite?
False
Is (-2*1)/((-14)/3437) prime?
True
Let r(f) = 2*f - 6. Let q be r(4). Let m(k) = 8*k**q - 1 - 2*k**2 + 4 + 4*k**2. Is m(-4) prime?
True
Suppose 0 = -3*q - 24 + 9. Let y be (45/4)/q*8. Let r = y + 33. Is r a prime number?
False
Let c = -11 + 9. Is 1976/6 - c/(-6) composite?
True
Suppose 0*k - 330 = -6*k. Is k a composite number?
True
Let z = 6787 - 4676. Is z a composite number?
False
Let v = 349 + -30. Is v a prime number?
False
Suppose -259 - 234 = -l. Is l a prime number?
False
Suppose -5*y = -y - 4172. Is y composite?
True
Suppose -4*u + 5*y = -5*u + 17, 0 = -u - y + 5. Let c(w) = 7*w + 1. Is c(u) prime?
False
Suppose 0 = -3*z - 13 - 8. Let d(r) = -r + 3. Let g be d(z). Suppose -4*q + g = -18. Is q composite?
False
Let h be -3*(-1 + -1)/2. Let l be (h - (-2 + 6)) + -3. Is l/14 - (-662)/14 a composite number?
False
Let u(o) be the third derivative of -o**4/24 - o**3/2 + o**2. Let p be u(-3). Suppose p = 3*t + 4*x + x - 206, 303 = 4*t + x. Is t a composite number?
True
Let v = -3 + 7. Suppose -3*l - 48 = -v*l. Let n = l - 9. Is n prime?
False
Let q(f) = 27*f - 3 + 1 - 2. Let i be q(6). Is (i*(-2)/(-4))/1 a prime number?
True
Let p(m) = -m**3 + 10*m**2 + 5*m - 5. Is p(7) a composite number?
True
Suppose -5*a - l = 2*l + 40, -5*a = 4*l + 45. Is 1296/30 - (-1)/a a composite number?
False
Let g = 5057 - 2958. Is g a composite number?
False
Is ((-1564)/2)/2*(-3)/3 prime?
False
Let k = -9 + 5. Is (161/k)/((-5)/20) composite?
True
Suppose 127 = -3*n + 2026. Is n prime?
False
Let c(a) be the first derivative of 2*a**2 - 5*a - 2. Let t be (-81)/(-12) + 2/8. Is c(t) composite?
False
Suppose -3*l - 21 = -5*l - u, 5*u - 1 = 3*l. Let i be 1/(-4) + 2/l. Suppose 3*h + n - 41 = i, -3 = 6*n - 3*n. Is h prime?
False
Suppose 5*w = 2*p + 327 + 414, -4*w = -5*p - 603. Suppose 2*b + m + m + 166 = 0, 3*b + 5*m = -255. Let x = w + b. Is x composite?
False
Let n(s) = 63*s + 2. Is n(3) a composite number?
False
Let r(n) = -5*n**3 + 18*n**2 + 13*n - 2. Let k(p) = -9*p**3 + 35*p**2 + 26*p - 3. Let f(q) = 6*k(q) - 11*r(q). Let a = 18 + -28. Is f(a) prime?
False
Suppose 15 = -3*b, -5*m + 5*b - 128 = 27. Let g be 621/(-7) + (-4)/14. Let c = m - g. Is c prime?
True
Suppose 0*c + c - 22 = 0. Let y = c - 16. Suppose -4*g = -5*z + 65, -5*z + 5*g + 59 + y = 0. Is z prime?
True
Suppose 0 = 2*i + 3*i - 5*o - 920, -5*o + 389 = 2*i. Is i composite?
True
Let c(j) = 11*j**3 - 3. Let p(s) = -s**3 - s**2 - s + 1. Let h(q) = -c(q) - 2*p(q). Let a = 1 + -2. Is h(a) a prime number?
False
Let p(d) = 8*d**2 - 6*d - 17. Is p(10) composite?
True
Let j(w) = 157*w**3 + w**2 - 1. Is j(1) composite?
False
Let s(h) = -h**3 - 4*h**2. Suppose 24 - 4 = -5*l. Let w be s(l). Is (-87 - w)*-1 - -2 composite?
False
Is ((-1530)/(-54))/(2/6) composite?
True
Let v(k) = 6*k**2 - 6*k + 2. Let d be v(5). Suppose -4*n = 5*t - 168, 42 + d = 4*n + 4*t. Is n prime?
True
Let o(w) = 357*w - 7. Is o(2) a prime number?
False
Let i = 0 + 0. Suppose -4 = 4*s - i. Is (-1)/((-2)/14) + s composite?
True
Let u = 477 + -322. Is u a prime number?
False
Suppose -3*r + 3*i + 5067 = 0, i + 8 = 3*i. Is r a composite number?
False
Suppose 0 = -2*k + 3*h + 140, k = -k + 4*h + 140. Suppose 5*n - 3*n - 74 = 0. Let b = k - n. Is b a composite number?
True
Let o = 81 - -214. Let v be 1204/4 + -1 + -1. Suppose -6*f + v = -3*f - 2*z, o = 3*f - z. Is f prime?
True
Is (-4 - -302)*(-10)/(-4) prime?
False
Let n(x) = x**3 - x**2 - x + 7. Let v be n(0). Let z = -7 + v. Suppose z = 2*w - w - 149. Is w prime?
True
Let y = 33 + -96. Let x = 104 + y. Suppose 28 = 3*w - x. Is w prime?
True
Let f(k) = 3 - 3*k + 1 + 5*k - k. Is f(7) prime?
True
Let k(q) = 2*q**3 - q**2 + q + 4. Let g be k(3). Suppose 4*h - g = 120. Is h a composite number?
False
Suppose -1066 = 2*f - 222. Is -1*2*f/4 a composite number?
False
Let u be 1/4 + (-2475)/(-20). Let z = u + -57. Is z prime?
True
Let j(c) = c**3 - 8*c**2 - 8*c - 4. Let q be j(9). Let i = q - 8. Let y(n) = -15*n + 4. Is y(i) composite?
True
Suppose 0 = 5*r - 7 + 32. Let f(a) be the first derivative of -25*a**2 + 7*a - 3. Is f(r) composite?
False
Suppose 5*o - 75 = 35. Let v = o - 11. Is v a prime number?
True
Let t be (9 - 5)*(-11)/(-4). Suppose -81 + t = -5*f. Is f a composite number?
True
Suppose -b = 3*b - 64. Let i = b - 3. Is i a prime number?
True
Let v = -1600 + 2717. Is v a prime number?
True
Suppose 16 = -3*j - 17. Is 5/(-2)*(j - -7) a prime number?
False
Suppose -3*p + o = -p - 3311, 0 = -5*p - o + 8288. Is p a composite number?
False
Is (1 - 10)*153/(-27) a prime number?
False
Let r be -1 + 4 + -2 - 0.