number?
True
Let x be 3193/2 - (-3 + 42/12). Suppose 3*z = -3*k + x, -6*k = 4*z - k - 2131. Is z composite?
True
Suppose -3*d + 5*c = c - 17, 3*d = -2*c + 5. Suppose -3*o = d*z - 1404, 68 = -o + z + 542. Is o a composite number?
True
Let b be (63/(-14))/(1/(-24)). Suppose -6*v + b + 210 = 0. Is v prime?
True
Let u = 3116 + -946. Let t be 300/((-4)/(-2))*6. Suppose 2*l - u = -t. Is l prime?
False
Suppose 112*b = 91*b + 16359. Is b prime?
False
Let q be 5 - (-2 - (-16)/4). Let p(t) = t**3 + 2*t - 2. Is p(q) a prime number?
True
Let n(q) = 1396*q**2 + 4*q. Let z be n(1). Suppose 9*h - 5*c = 5*h + 1368, -3*c = 4*h - z. Is h a prime number?
True
Let m be 105/30*8/(-14). Is m*(-494)/28 + 4/(-14) a composite number?
True
Let f be (-1)/2 - (-2)/4. Suppose 3*c + f*c + r = 16, 5*c = -r + 26. Suppose 0 = 3*a - 2*j - 2831, c*a + 0*j + 5*j - 4760 = 0. Is a a prime number?
True
Let z(d) = d**3 + 31*d**2 + 53*d + 74. Is z(-27) prime?
True
Let r(g) = -g**3 + 3*g + 2. Let v be r(-2). Suppose -v*a + c + 2*c = -1937, 1941 = 4*a + c. Is a a composite number?
True
Is (272865/6 - -3) + (-27)/(-54) a composite number?
False
Let r(l) = l**2 - l. Let j(w) = -123*w**2 - w - 5. Let k(g) = -j(g) - r(g). Let c be k(-4). Suppose 4*n - c = 999. Is n a prime number?
False
Let l(i) = -i - 5. Let r be l(-10). Let k be (3 - (r - 0))*-149. Suppose 4*x = 2*m - 568 - k, 5*m - 2154 = -x. Is m a prime number?
True
Let i = 18 + -11. Let f(w) be the third derivative of w**5/60 + w**4/8 + 7*w**3/6 + w**2 - 10*w. Is f(i) composite?
True
Is -2 - -2 - (-17 + -4236) prime?
True
Let o = 6340 - 3648. Suppose 0 = f + 3*f - o. Is f a composite number?
False
Let o = 12863 - 6762. Is o prime?
True
Let y = 791 - 406. Suppose -z + y = -832. Is z composite?
False
Suppose -3*x = -6*x. Let a(h) = h**3 - h**2 + h + 487. Let v be a(x). Is v + 1 + 2 + -3 a prime number?
True
Suppose -5*p = 4*m - 12 + 1, 0 = m + 1. Suppose -p*r = -r, 4*r - 2714 = -2*s. Is s a prime number?
False
Suppose 108959 + 31941 = 20*m. Is m prime?
False
Suppose 0 = -p + 3*p - 2360. Suppose q = 5*q - p. Is q a composite number?
True
Is (2 - 24514/6)/(8/(-24)) prime?
True
Suppose 5*v + 5*w - 3*w = 34009, -5*v = 4*w - 34003. Is v a composite number?
False
Let b(u) be the second derivative of u**5/2 - u**4/4 - u**3/2 + 5*u**2/2 + 7*u. Is b(3) a prime number?
True
Suppose 753 = 3*g - 5*k, 0*g - 999 = -4*g + 5*k. Let f = -61 + g. Is f a prime number?
False
Let g(y) = -14 - 5 + y - 6*y**2 - 2*y**3 + 4*y**3 + 20. Suppose 0 = r - 6*r + 30. Is g(r) composite?
False
Let k(x) = 8*x + 5557. Is k(0) a composite number?
False
Suppose 4*x - 1428 = 2544. Is x composite?
True
Suppose 60 + 0 = 5*u + 5*h, -2*h = -3*u + 46. Suppose 12*c + 44 = u*c. Is c a prime number?
False
Let y be 232/(-3)*(-168)/8. Let j(p) = 278*p**2 + p - 1. Let w be j(-2). Let d = y - w. Is d composite?
True
Let o(m) be the third derivative of 5/6*m**3 + 0*m + 0 + 1/4*m**4 + 6*m**2. Is o(9) a composite number?
False
Let m = -867 - -1526. Is m a prime number?
True
Suppose -4 + 69 = r. Let o = 119 - 114. Suppose 0*t = -o*t + r. Is t composite?
False
Let u = 7496 + -4347. Is u prime?
False
Let t(w) = 209*w**2 - w + 2. Let m be t(-2). Suppose 2*z - m = -3*h - 7, 2076 = 5*z + h. Is z a prime number?
False
Let q(m) = -m**2 + 8*m - 11. Let d be q(9). Let n be -1*33*(-1)/(-1). Let j = d - n. Is j a prime number?
True
Let u(c) = -6*c + 1. Let k be u(1). Let x(m) = m**3 + 6*m**2 + 2*m - 4. Let r be x(k). Let d = r + 3. Is d composite?
True
Let y = 854 - 439. Is y prime?
False
Suppose -5*r + 4*b + 128681 = 0, -3*r - 14*b = -15*b - 77203. Is r composite?
False
Is -1 + 7124 - (58 + -56) a composite number?
False
Is (-46 + 6)/(-10) - -2893 a composite number?
False
Let r = -9338 + 54457. Is r composite?
False
Suppose -5332 = -6*o - 880. Suppose 7577 = 5*f + o. Is f composite?
False
Let r(i) = -2*i**3 + 11*i**2 - 4*i + 3. Let l be r(5). Suppose -l = -4*b + 3212. Suppose 3*m = -2*m + b. Is m prime?
False
Let q be ((-28)/(-3))/(-4)*-6. Let o(l) = 3*l**2 - 30*l - 29. Is o(q) prime?
True
Suppose -5*d + 4*f - 18851 + 51962 = 0, 0 = -4*d + 3*f + 26488. Is d a prime number?
True
Let q be 77/3 + 6 + 170/(-30). Suppose -5*z = -89 - q. Is z prime?
True
Suppose -3671*r + 3670*r = -14429. Is r a composite number?
True
Let q be (-1 + 0)/((-11)/11)*-30. Let x(z) = z**2 - 253. Let g be x(0). Let k = q - g. Is k a composite number?
False
Suppose -2*t = 3*t + 2310. Let b = 1096 - 303. Let m = t + b. Is m a composite number?
False
Suppose -6 = -2*j + 4. Let u(c) = -j + 0*c - 14*c + 0. Is u(-6) composite?
False
Let y(p) = 782*p**2 - p. Let j be y(-1). Is 4 + j/(-2 + 3) composite?
False
Let d(c) be the second derivative of 5*c**4/12 - 5*c**3/6 - 4*c**2 - 6*c. Let n be d(10). Suppose 0 = 4*a - n - 354. Is a prime?
True
Let n(c) = -4*c + 15. Suppose -3*t - 12 = 3*p, 1 = t + 2*p + 7. Let h be (t - 2)/(-1) + -15. Is n(h) prime?
True
Let p be 20/6*(-84)/(-35). Suppose p*s - 387 - 77 = 0. Is s a prime number?
False
Let w(z) = -47*z - 50. Is w(-11) a composite number?
False
Let i(o) = 6*o - 17. Let j be i(3). Is 3 + j + 3108/12 prime?
True
Let k = 15 + -2. Let q = -13 + k. Is 1 - 50/(-2 + q) a prime number?
False
Suppose 3*o - 4 = o. Suppose -o*n + 5*n = -18. Is (21/n)/((-1)/10) composite?
True
Suppose -2*a - a + 24 = 0. Is ((-14)/(-6))/(a/744) a prime number?
False
Suppose 4*y + 2 - 10 = 0. Suppose -3*o + 42 = y*u + o, 5*o - 63 = -3*u. Is (u/12)/(1/4) prime?
True
Let k(q) = 7*q**2 + 412*q - 125. Is k(-64) a composite number?
False
Suppose 52 = -16*m + 20*m. Let v(t) = 133*t + 30. Is v(m) prime?
True
Let s = 10 - 7. Suppose s*u = u. Suppose 3*p - 2235 = -u*p. Is p a composite number?
True
Let j(y) = 44*y**2 - 4*y + 1. Let t be (-8)/14 + (-1536)/(-42). Suppose 0 = 5*o + 4*k + t, -k + 4*k + 20 = -2*o. Is j(o) composite?
True
Let p = 13238 + -2811. Is p prime?
True
Let c be 24/(-6) + 26*5. Suppose -c = -4*u + 86. Is u prime?
True
Suppose -11961 = 12*k - 15*k - 3*t, 0 = -5*k - 3*t + 19939. Is k a composite number?
False
Suppose -18*f + 18822 = -16*f - 3*i, 4*f + 5*i - 37644 = 0. Is f a prime number?
False
Let k = -72603 - -106969. Is k a prime number?
False
Let j = 1059 + 2600. Is j a prime number?
True
Let u be 3*(-2)/3 - 1033. Let t = 1481 + u. Is t a prime number?
False
Is (16476/1)/3 + 9 a prime number?
True
Let j = 926 - -3934. Suppose j - 605 = 5*b. Is b a composite number?
True
Suppose -a + 1150 = -3*b, 5810 = 5*a + 82*b - 85*b. Is a prime?
False
Let c be ((-54)/(-45))/((-2)/830). Is c/(-9) - 1/3 composite?
True
Suppose 4*j - 5 = 15. Suppose -4*f + 145 = 5*z - 34, j*f - 225 = -5*z. Is f a prime number?
False
Suppose l - 3 = -0*l. Let s be (-20530)/(-35) + l/7. Suppose 7134 = 7*o - s. Is o prime?
True
Let n = 137191 - 63498. Is n composite?
False
Let p(g) be the third derivative of g**4/24 + 13*g**3/6 + 6*g**2. Let a be p(-7). Suppose 5*m - 35 = 5*k, 2*m = -a*k + 4*k + 14. Is m a prime number?
True
Is 1/(1 + (-3980)/3985) a prime number?
True
Let f(t) be the first derivative of 106*t**3 + 7*t**2/2 + 3*t - 6. Is f(-2) a prime number?
False
Let n = 94 + -27. Suppose 34 = -m - 4*p, 5*p - 11 + n = -2*m. Is 11151/m*(-4)/6 composite?
True
Suppose 2*b + 0*b = 2312. Suppose 0 = 5*o + 1 - b. Let z = o + -128. Is z a prime number?
True
Let g be -19 - (-7 - -15) - 1. Let u be 10/3 - 2/6. Is (-368)/g - u/21 prime?
True
Let o be (-12)/(-2) - (3 - 0). Suppose -o*u = 24 - 198. Is u prime?
False
Let d be (1 + 9)/((-2)/(-1)). Let w(o) be the first derivative of 2*o**3 - 7*o**2/2 + 6*o - 1. Is w(d) prime?
False
Let q(h) be the second derivative of 7*h**4/6 + 7*h**3/6 - 2*h**2 + 11*h. Is q(-7) composite?
True
Suppose -f - 2*f = -15. Suppose 3*j + 5*z = 8*j - 5560, -f*z - 1092 = -j. Is j composite?
False
Suppose 361 - 16899 = -n. Is n prime?
False
Let l(s) = s**3 + 15*s**2 + 25*s - 1. Suppose -4*z = 2*b + 50, 3*z + 2*b = 3*b - 40. Let h be l(z). Let i = h - -11. Is i prime?
True
Suppose 0 = -4*b - 114 - 122. Let j = 222 + b. Is j composite?
False
Suppose 7*c - 20 = 2*c. Suppose 455 = 5*y + l, -3*l + 238 = c*y - 126. Is y a composite number?
True
Suppose -22 = -175*m + 173*m. Is (-6)/(-33) + 8259/m composite?
False
Let z = -495 - -827. Suppose -342 = -2*v + z. Is v composite?
False
Suppose -9 - 3 = -3*v. Suppose 0 = -v*q - 2 - 2. Is