e number?
False
Suppose 3*c + 4607 = 4*o, -5*c = -2*o + 4*o - 2297. Is o a prime number?
True
Let l(c) = -108*c**3 + 2*c**2 - 2*c - 7. Let d be ((-15)/10 - -1)*6. Is l(d) a composite number?
True
Let c = 179310 - 16249. Is c prime?
True
Is (26655/10)/((-2)/((-80)/12)) composite?
True
Suppose 924 = -4*g + 4*a, -4*g = 4*a + 514 + 442. Let b be g + 3/6*0. Is b/(-3) + 2/3 a prime number?
True
Let y(h) = -h + 1. Let w be y(0). Let b(t) = -119*t + 257*t + 2 - w. Is b(1) a prime number?
True
Let n(f) = -f + 11. Let y be n(5). Suppose 0 = -y*u + u + 15. Suppose u*w - 1221 = s - 3*s, -2035 = -5*w - 5*s. Is w composite?
True
Let l = -29 + 26. Is l*(-4)/(60/1325) prime?
False
Suppose 2*k = 4*g + 3 + 17, -k = -5*g - 22. Let p(c) = -3*c**3 - c**2 + 1. Let o be p(-1). Suppose 7*a = k*a - l + 481, o*l = -12. Is a a prime number?
True
Let n(j) = -2*j + 4. Let a be n(-3). Let v be (-1)/(-5) + 168/a. Suppose 4*q - h = 110 - v, -2*h - 2 = 0. Is q prime?
True
Let z = -21 - -98. Suppose 0 = -5*r - w + 742 - z, -r - w + 129 = 0. Is r composite?
True
Suppose 10*c = 5*c. Suppose -2*f - f + 1191 = c. Suppose -2*g + 140 = -4*h + 1718, h - f = -2*g. Is h a prime number?
False
Suppose 2 = -2*d, -5*q + 0*d - 2*d + 13743 = 0. Is q a composite number?
False
Suppose -5*v + 8 = -12. Suppose 0 = v*n - 698 - 170. Let o = n + -90. Is o prime?
True
Let k(m) = 46*m - 17. Let t be (-3)/(4 - (-11)/(-2)). Suppose 4*i = -5*o + 25, 2*o - t*i - 10 = -i. Is k(o) a composite number?
True
Let p(x) = -15*x - 11. Let m be p(-3). Let i(z) = -74*z + 1. Let v be i(-6). Suppose -3*s - m - 142 = -2*l, 5*l - 5*s = v. Is l a prime number?
False
Let a = -3644 + 14329. Is a prime?
False
Let t(k) = -25*k**2 + 28*k + 17. Let q(w) = 42 - 38 - 6*w**2 + w + 6*w. Let y(u) = -9*q(u) + 2*t(u). Is y(7) a prime number?
False
Let y = -12 + 89. Let g be (-14)/y - 48/(-22). Suppose -g*i + 6 = -0, -2*b = -5*i - 59. Is b composite?
False
Suppose 0 = 5*q + 5*b - 24330, -3*q - 4*b = -20851 + 6248. Is q prime?
True
Let b = 54 + -30. Let d be (-66)/b*(4 + 0). Let y(i) = i**3 + 13*i**2 + 14*i - 1. Is y(d) prime?
False
Let y(a) = 118*a**2 + a - 10. Is y(3) prime?
False
Suppose 5*t - 1460 = -5*m, 3*m + 292 = 4*m - 2*t. Let p = m + 925. Is p prime?
True
Let o be ((-54)/15)/((-9)/60). Suppose -3*l + 0*l - 22 = 2*c, 4*c + o = 4*l. Is (3 + 1676/c)*-2 composite?
True
Let q = 4927 - 2748. Is q a composite number?
False
Let u(c) = -409*c + 145. Is u(-18) a prime number?
True
Let c = 13 - 10. Suppose 4*f - 298 = 2*j, 5*f + c*j - 373 = 6*j. Suppose -t + 13 = 2*h - f, -h - 102 = -t. Is t a prime number?
True
Let w be 3 + 27944/133 - 2/19. Suppose 0 = 4*l - 3*l + 52. Let c = l + w. Is c a composite number?
True
Suppose -4*k + 274906 = -5*n, 3*k - 4*k + 68727 = -n. Is k a composite number?
False
Let k = -569 - -1501. Is 0/(-2) + k + -3 composite?
False
Suppose -1025 = -8*l + 663. Is l composite?
False
Is (-163170)/(-21) + -1 + 4 prime?
False
Let w = 49208 - 33103. Is w a composite number?
True
Let d be 0 - -3*(4 + -3). Suppose d*k - 1719 = -0*k. Is k a prime number?
False
Let i(z) = -5*z**3 - 4*z**2 - 2*z + 4. Let d be i(4). Let p = d + 545. Is p a prime number?
True
Suppose -14*r - 1981 = -21*r. Suppose 38 = -5*a - 122. Let o = a + r. Is o a composite number?
False
Is (-7 - 250)/((-8)/56) - 6 composite?
True
Suppose 2*p = -0*g + 2*g + 10, -4*g - 12 = -2*p. Is g/((-4036)/(-1346) - 3) a composite number?
False
Suppose 0 = -6*p + 30. Suppose -5*t + 18874 = -t - 2*u, -p*t = -2*u - 23595. Is t prime?
True
Is -379*(-4 + -1 + 3 + 1) composite?
False
Let t(z) = 92*z**2 - 49*z - 335. Is t(-6) composite?
False
Let s = -6346 + 41949. Is s composite?
False
Let b be (-5)/(-2) + (-1)/(-2). Suppose 2*c = -b*c. Suppose c = -3*d + 4*o + 89, 12 = 3*o. Is d composite?
True
Let z(j) = -8*j - 45. Let v be z(-6). Suppose 5*c - 6732 = -q, 3*q - 1103 = -v*c + 2941. Is c a composite number?
True
Is ((-23260)/24*4)/(16/(-24)) composite?
True
Let v(m) = -68*m**3 + 4*m**2 + 7*m - 2. Is v(-5) a prime number?
True
Suppose 6 = -4*f + 14. Suppose 18 = -0*i + 3*i. Is (f/3)/(i/1341) a prime number?
True
Let i = 52 + -47. Suppose -3*m + i*m = 2998. Is m a composite number?
False
Let g(x) = x**3 + 2*x**2 - 5*x - 5. Let w be g(-2). Let f(y) = 27*y**2 - y + 12 + 2*y - 5*y. Is f(w) a composite number?
True
Let k(s) = 3*s**2 + 10*s - 6. Let x be k(-4). Is (-2)/(-2)*x/((-4)/(-2114)) a prime number?
False
Let h be 116/28 - (-3)/(-42)*2. Suppose -3*l - 3217 = -4*l - 4*u, h*l = -5*u + 12901. Is l a composite number?
False
Let m(i) = 5*i**3 + 8*i**2 + 5*i + 1. Let f(h) = -6*h**3 - 7*h**2 - 4*h - 1. Let j(n) = -6*f(n) - 7*m(n). Is j(16) a prime number?
False
Let u be (-2 + 0)/((-1)/1). Let a = 2 - u. Suppose -3*t + 2*t + 59 = a. Is t prime?
True
Let x be (-43860)/(-14) - 18/(-126). Suppose 0 = 4*m - 0*t - 3*t - x, 5*m - 3960 = -5*t. Is m composite?
False
Suppose -3*j - 23 = -2*y, 26 = 4*y - 0*j - 2*j. Suppose -2*f = r - 296, f - 2*f + 157 = -y*r. Is f prime?
True
Suppose -8 = -4*a + 32. Suppose u - a = -x + 47, -4*x = 2*u - 232. Suppose 4*d - 399 = -x. Is d a composite number?
True
Let z(h) = -h**3 - h**2 - h - 6. Let y be z(0). Let t(a) = a**2 + 12*a + 7. Let r be t(y). Let s = -23 - r. Is s composite?
True
Suppose 3*m = -5*s + 8 + 8, -2*m - 6 = 0. Suppose -2511 = -2*t - 2*d + d, s*d = -4*t + 5025. Is t a prime number?
False
Let c(r) = 3*r - 1. Let p be c(-1). Let g(n) = -n**2 - 6*n - 5. Let w be g(p). Suppose j = 3*v + 62, -w*j - 3*v = -j - 97. Is j composite?
False
Let p be 42 - (-4)/(8/6). Is 17073/p - 4/10 a composite number?
False
Let x(q) = 14*q**3 - 3*q**2 + 17*q - 1. Is x(5) composite?
False
Let s(h) = 24*h**3 + 13*h**2 - 10*h - 13. Is s(6) composite?
True
Suppose 28*f - 25*f - 9 = 0. Suppose l - 7718 = -5*c + 2*l, f*l + 9 = 0. Is c prime?
True
Let o be 2/(-7) + (-3460)/(-7). Suppose 11 = -2*s + 17. Suppose s*c = c + o. Is c a prime number?
False
Let f = -12226 - -38113. Is f composite?
True
Suppose 2 = -3*f + 8. Let s(x) = 24*x**2 - f + 0*x + 0*x + 4*x + 3. Is s(-3) composite?
True
Let c be ((-91)/14 - -2)/(1/(-2)). Suppose 0 = -4*g + 2*s + 1988, 4*s - c*s = g - 519. Is g prime?
True
Suppose -4*l + 175464 = -s, 5*l + 5*s - 7*s = 219327. Is l a composite number?
False
Suppose 64*w - 62*w = 2194. Is w composite?
False
Suppose 22*s - 259651 - 223095 = 0. Is s prime?
True
Let t(d) = -33*d + 5. Let g be 6 + 2*6/(-4). Suppose 6*v = -5*y + g*v - 62, -5*v = 4*y + 60. Is t(y) composite?
True
Is (-4)/(1 - (-6837)/(-6833)) a prime number?
True
Suppose -1184 - 624 = -4*w. Suppose -775 = -3*q + w. Is q a composite number?
False
Let z = 2744 + -1428. Suppose -269 = -5*p + z. Is p a composite number?
False
Let x be (-20)/(-8)*(-564)/(-15). Suppose -x = -3*i + 1529. Is i prime?
True
Suppose 5*n + 129*o - 9749 = 133*o, 0 = 2*n - 5*o - 3903. Is n a prime number?
True
Let i be (20/(-30))/((-4)/11346). Suppose -2*o + 162 + 576 = 5*v, -5*o - v = -i. Is o prime?
True
Let o(b) = -b**2 - 1. Let x(i) = i**2 + i + 9. Let z(t) = -4*o(t) - x(t). Is z(3) prime?
True
Let d(w) be the third derivative of w**4/24 + 143*w**3/6 + 4*w**2. Is d(0) a composite number?
True
Is 9 + 15/(75/343010) prime?
True
Let x(v) be the first derivative of -187*v**2 - v + 2. Let a be x(-1). Suppose 82 - a = -3*r. Is r a composite number?
False
Let n(z) = 97*z. Let c(g) be the third derivative of g**4/24 + 7*g**3/3 - 9*g**2. Let p be c(-11). Is n(p) composite?
True
Is (-1312190)/(-132) + (-2)/(-12) a composite number?
False
Let i(u) = 630*u**2 - 209*u**2 - 2*u - 2 + 1. Let d be -1 + (-1 - 3/(-3)). Is i(d) a composite number?
True
Suppose 37*v + 3061 = 38*v. Is v a prime number?
True
Let w(n) = -147*n + 82. Is w(-13) a prime number?
True
Suppose -2*a - 3 = -3*a. Let h = a - 9. Is (-28)/(h/(-3) - 4) prime?
False
Suppose -6*s + 36 = -0. Suppose 5*p + s = 21. Is p a composite number?
False
Let t(m) = 1415*m - 2. Let s(j) = -1414*j + 2. Let x(l) = -3*s(l) - 2*t(l). Let a be x(1). Suppose f + 707 = u - 2*f, -2*u + a = -4*f. Is u prime?
True
Let q(d) = d**3 - 6*d**2 + d - 6. Let i be q(6). Let z(b) = -91*b + 149 + 90*b + 84. Is z(i) composite?
False
Suppose 73*m - 27 = 70*m. Suppose -m*d + 4*d + 2605 = 0. Is d composite?
False
Suppose 29699 = 5*y - 4*f, -2*f + f = 2*y - 11877. Is y a composite number?
False
Let p = -122 + 