p) a composite number?
True
Let i be 1 + -1*(6 + 3 + -4). Is (-22001)/(-35) + i/(-10) a prime number?
False
Suppose -4 = f, 5*f = 2*t + 2*t - 40. Suppose 3*k + k = -t*p + 2921, 2*k - 8 = 0. Is p prime?
False
Is 2*-1 + (24446 - 3) a composite number?
True
Suppose 5*u + 5*b - 222400 = 0, 0 = -655*u + 652*u + 2*b + 133455. Is u prime?
True
Let x = 44 + -50. Is ((-2)/x)/(3/18855) composite?
True
Let k(i) = 54*i - 2. Let y(h) = -27*h + 1. Let n(w) = 4*k(w) + 7*y(w). Is n(2) a composite number?
False
Let b(z) = -z**3 + z**2 - 4*z + 4. Let i be b(1). Is 107 + i - (2 + -4) a prime number?
True
Let a(y) = 12*y - 8. Let r be a(5). Is (r + -2 - -2) + 1 a prime number?
True
Suppose 0*t - 7411 = -t. Is t prime?
True
Let d(o) = -53*o + 11. Is d(-10) a composite number?
False
Suppose 2*h - 3*b = -2*b + 4, 0 = -4*h - 4*b + 8. Let n be (-343)/h*(3 + -1). Let r = 556 + n. Is r a composite number?
True
Let k(h) = 44*h**3 - 3*h**2 + 3*h - 5. Is k(5) prime?
False
Let q = 24 + -14. Let s be (-1 - (-28)/20)*q. Is ((-466)/s)/(5/(-10)) a composite number?
False
Let z = -4338 + 6521. Is z prime?
False
Let l = 13 - -28. Let m = l - 59. Is m/(-54)*237*1 a composite number?
False
Let v = 123 - 130. Is v/21*(-8523)/1 prime?
False
Is (-21687)/(-9) - (-16)/12 a prime number?
True
Suppose -4*n = -2*d, -2 = -5*n - 3*d + 20. Suppose 5*c = n*c + 12117. Is c a composite number?
True
Suppose -305 = -2*r + u + 923, 5*r - 3070 = 5*u. Is r composite?
True
Let n(g) = -3752*g**3 - 2*g**2 - 5*g - 7. Is n(-2) prime?
True
Let k(i) = i**3 + 45*i**2 + 26*i + 97. Is k(-42) composite?
False
Suppose 0 = -5*p - 3*o + 1, -4*p = -2*p + 4*o + 8. Suppose -4*s = -p*s - 140. Suppose -2*u = s - 240. Is u prime?
False
Suppose -g - 2*p + 0*p = 0, -p = g. Suppose g = -0*a - a + 25. Is a prime?
False
Let s(t) be the first derivative of -6*t**4 - 2*t**3 - 5*t**2/2 - t - 11. Is s(-2) composite?
True
Suppose -d + 2*d = 374. Let v = -856 + d. Let z = 1005 + v. Is z composite?
False
Let u = 3918 - 1747. Is u composite?
True
Let d = 1217 + 12332. Is d a prime number?
False
Suppose 5*s = 3502 + 1328. Let o = -1 + s. Is o a prime number?
False
Suppose w - 3*w - 10 = 0, -3*m + 3*w = -6534. Is m a composite number?
True
Suppose -32*h + 4328 = -34*h. Is h/(-6)*3/2 a prime number?
True
Is (-2263305)/(-132) - (-3)/4 a prime number?
False
Let d = -219 + 423. Let a = -77 + d. Is a a prime number?
True
Suppose 368 = 2*a + 2*h, -a + 72 = 3*h - 110. Let o = a + 852. Is o composite?
True
Let g(v) = -60*v**3 - 6*v**2 - v + 13. Is g(-4) a composite number?
False
Suppose -46*f - 20939 = -2*r - 41*f, -4*f = -12. Is r a prime number?
True
Is (-1 - 4)*(-13 + -3303 + 17) a prime number?
False
Suppose 3*g + 6*g - 81 = 0. Let u(p) = 255*p - 16. Is u(g) prime?
False
Is (2 + (-2)/6)*405984/32 prime?
False
Is (1/((-3)/(-126058)))/((-138)/(-207)) a prime number?
True
Let o = 2615 - 934. Is o a prime number?
False
Let u be (170*3)/(-1) + 4. Let w = u - -843. Is w prime?
True
Suppose -5*u - l + 6*l = -28770, -u + 5748 = 5*l. Is u prime?
False
Is 0/(-4 - 0) - -3046 prime?
False
Let f(u) = u**2 - 2*u**2 + 2*u**2 + 6 + 2*u + 3*u. Let y be f(-4). Suppose 325 + 745 = y*b - 2*x, 2*b - 1058 = -4*x. Is b composite?
True
Suppose 43*w - 174409 = -3*a + 45*w, 4*a - 232544 = 4*w. Is a composite?
True
Let q = 3255 - 2104. Is q composite?
False
Let h = 1 - 1. Let u be (h - 0)/(9 + -10). Suppose 1327 = 4*g + 3*x - u*x, 0 = -3*g + 3*x + 990. Is g composite?
False
Let t be -4 + 18/2 - 1826. Let n = 3088 + t. Is n prime?
False
Let m(u) = 243*u - 23. Let q(i) = -61*i + 6. Let z(v) = 2*m(v) + 9*q(v). Let o(c) = -31*c + 4. Let f(g) = 9*o(g) - 4*z(g). Is f(-5) a composite number?
False
Suppose 12412 = -70*u + 74*u. Is u prime?
False
Suppose 21170 = -30*i + 395000. Is i prime?
False
Let w(o) = 136*o**2 + 18*o + 55. Is w(-6) prime?
False
Let i(h) = 2*h**2 - 5*h - 6. Let x(b) = -b**2 + 5*b - 7. Let j be x(5). Is i(j) a prime number?
True
Let d = 16120 - -3123. Is d composite?
True
Suppose 0*s = -4*s + 96. Let p be (s/(-14))/((-5)/35). Suppose 2*x - 61 = -5*d + 209, 0 = 3*d + p. Is x prime?
False
Let d be -1 + 24 + -3 + 3. Let y = d + -18. Suppose -388 = -y*z + 857. Is z a composite number?
True
Let d(u) = -7*u**3 - 11*u**2 - 8*u - 8. Let b be d(-9). Let x = 1195 + b. Is x a prime number?
True
Suppose -2*j = -3*c + j, 5*j = 4*c + 3. Suppose -c*m + 1941 = -w + 685, -m + 420 = w. Is m a prime number?
True
Suppose 13*o = -26*o + 348933. Is o a prime number?
False
Let q(s) = 6*s - 2*s - 3*s**3 + 3 + 7*s**3 - 5*s**3. Let w be q(-2). Let r(u) = 18*u**2 - 4*u - 1. Is r(w) a composite number?
False
Suppose 17*s - 11507 = -2310. Is s composite?
False
Suppose 10*j + 3980 = 15*j. Is (3/(6/j))/2 a composite number?
False
Let k = 16 + -11. Suppose -7*d + x = -2*d + 4, k*x - 20 = 3*d. Suppose 4*o - 2*o - 138 = d. Is o composite?
True
Let p(m) = -7*m - m - 147*m**3 + 13 + 2*m**2 + 7*m - 6. Is p(-3) a composite number?
True
Let c = 6613 + -1862. Is c a composite number?
False
Suppose -r + 4 - 11 = -3*d, -9 = 2*r - d. Let c(t) be the first derivative of -10*t**2 + 17*t - 1. Is c(r) prime?
True
Let h(j) be the first derivative of -3/2*j**2 + 3*j + 2/3*j**3 + 9. Is h(-8) prime?
False
Let w = 3313 + -1790. Let v = -1077 + w. Is v prime?
False
Suppose 8*t - 3*v + 116051 = 12*t, 0 = 5*v - 25. Is t prime?
True
Let y(g) = g**3 + 364. Let q be y(0). Let m = -27 + q. Is m composite?
False
Let y(k) = -k**3 - 5*k**2 + 5*k - 3. Let j be y(-6). Suppose -15 + 0 = j*l. Is l + 61 + 3/1 prime?
True
Let y = -3675 - -7862. Is y composite?
True
Let j(v) = 484*v - 11. Is j(10) prime?
False
Let f(j) = j**3 - 3*j**2 - j - 61. Let u(w) = -3*w + 10 + 3*w**3 + 0*w - 194 - 8*w**2. Let i(v) = 11*f(v) - 4*u(v). Is i(0) a prime number?
False
Suppose -2*k = -5*j - 4482, 2*k - j - 4514 = -4*j. Is k composite?
False
Suppose -3*z + 16*s = 15*s - 1947, 2*s = 5*z - 3245. Is z a composite number?
True
Let m be 5*5/(-5) + -1. Let n(y) = 36*y**2 + 19*y + 71. Is n(m) prime?
False
Is (7/35)/((-2)/(-130)) a prime number?
True
Suppose 84828 = 4*h + 3*w - 18659, -w = 3*h - 77614. Is h prime?
False
Let f = 35767 - 16830. Is f prime?
False
Let b = 51885 + -19114. Is b prime?
True
Let i(s) be the third derivative of -s**5/60 + 35*s**3/6 - 13*s**2. Is i(5) a prime number?
False
Suppose 0 = 3*d - 9 - 3. Suppose -s + 5*z + 776 - 19 = 0, 3*s = -d*z + 2271. Is s prime?
True
Let m = 3776 + -2679. Is m composite?
False
Let q(c) = c**3 + 8*c**2 - 2*c - 10. Let v = -35 - -27. Let y be q(v). Suppose -8*h + 2098 = -y*h. Is h a composite number?
False
Suppose 2*s + 2 = -4*k, -3*s - s + 4*k - 16 = 0. Suppose 0*j = -5*o + j - 18, -2*o + 6 = 4*j. Is s - o/((-6)/(-100)) composite?
False
Let f = -7596 - -14297. Is f a composite number?
False
Let z(u) = u - 9. Let f be z(9). Suppose f = -2*h - s + 28, 5*h - 6*s - 61 = -4*s. Let j = h - -8. Is j prime?
False
Suppose -3*f = -5*f + 6. Suppose f*k = -2*i + 3, -2 = -i - 0*i - 2*k. Is (i - 2)*(-92)/8 a prime number?
True
Let c(y) = -52*y + 3. Let t(q) = -103*q + 6. Let m(n) = -13*c(n) + 6*t(n). Is m(5) composite?
True
Suppose 5*y - 433 = 42. Let q = y - 28. Is q a prime number?
True
Let x be (14 + -7)*(-15)/(-21). Is ((-558)/15)/((-2)/x) composite?
True
Let i = 24 + -24. Suppose -j + 2*y + 739 = -0*j, i = -j - 4*y + 757. Is j composite?
True
Suppose -3*m = 4*z - 40175, -399*m + 400*m - 13385 = -3*z. Is m composite?
False
Let v(m) = 29*m - 3. Let y be ((-4)/(-10))/(2/(-10)). Let a = y + 4. Is v(a) prime?
False
Let r(l) = -45*l - 8. Let b = -3 + 25. Suppose 3*u = 4*z + b, 4*u - 2*u = -4. Is r(z) prime?
True
Let v = -11 + 11. Suppose -12 = -4*x - v. Is x/(-7) - 2076/(-42) composite?
True
Let b(w) = -2*w**3 - 8*w**2 - 4*w - 3. Let v(j) = 15*j**3 - 2*j**2 + j. Let n be v(1). Let k be n/(-3) - 5/15. Is b(k) composite?
False
Suppose -3*u + 5*j = -10, 4*u + u = j + 24. Suppose 0 = -2*c - 2*t + u*t + 2093, -2*t = c - 1043. Suppose -627 = -3*b - 2*p, b + 4*b = p + c. Is b prime?
False
Let g(r) be the first derivative of 7 + 0*r - 553/2*r**2. Is g(-1) composite?
True
Is (3723/4)/(342/456) a prime number?
False
Let f = 249 + -91. Let c be (0/((-3)/3))/(-1). Suppose c = -h + m + f + 55, -m + 623 = 3*h. Is h a prime number?
False
Suppose 6 = 2*m, 2*q = -2*m - 1456 - 478. Let l = q - -1461. Is l prime?
True
Le