a composite number?
True
Suppose 5*x + 4 = 19. Suppose x*y + 4 = 10. Suppose 2*d = 4*s + 194, y*d - s = 36 + 146. Is d prime?
True
Let x(f) = f**2 - 5*f + 4. Let w be x(4). Suppose 0*r + 16 = 4*r. Suppose 5*t = -25, 3*k + k + r*t - 1208 = w. Is k a prime number?
True
Let m(w) be the first derivative of -w**4/4 - 2*w**3/3 + 3*w**2/2 - 13*w - 15. Is m(-7) composite?
False
Let a = -1010 - -3489. Is a a prime number?
False
Suppose b - 2*b - 4*m + 1439 = 0, 5*b = 3*m + 7310. Is b prime?
True
Is 3*(1 + 4668/9) a composite number?
False
Let r be 12/(-54) + (-364)/(-18). Let j be (r/(-8) + 2)*4. Is j - (-1)/((-1)/(-55)) a prime number?
True
Let i(c) = -100*c**3 + 5*c**2 + 19*c - 43. Is i(-10) prime?
True
Is 18*4234/28 + (-2)/(-14) a prime number?
False
Let y = -128 - -242. Let v = y + 203. Is v a prime number?
True
Let v = -162 + 264. Let w = v - 43. Is w a composite number?
False
Let y(w) = w**3 + 42*w**2 - 31*w - 55. Is y(-23) composite?
False
Suppose -6*g + 8862 = -4*g. Suppose 0 = -47*w + 44*w + g. Is w a prime number?
False
Let b = 15776 - 9423. Is b a composite number?
False
Let m = -17 + 17. Suppose 0 = 4*n + 8 - m. Let l(i) = -1123*i - 1. Is l(n) a prime number?
False
Let x be (-4)/12 + 445/3. Let p = x + -40. Suppose -p = -3*i + 3. Is i a composite number?
False
Let t(q) = q + 6. Let h be t(-8). Let i be (89/2)/(1/h). Is 1 + i*-1*6 a composite number?
True
Suppose 6*j + 12869 = 193403. Is j prime?
True
Suppose 2*b - 19 = 3*n + 6, -3*n = 15. Suppose -b*w = 3*c - 5999, 0 = 4*w - 0*c + c - 4802. Is w a composite number?
False
Let x(v) = 26*v**3 - 3*v**2 + 4*v - 1. Let u be x(-4). Is (-3 - -2)/(7/u) a composite number?
True
Suppose -2*p - 180 = 3*p. Suppose 0 = -3*m - 4*x + 241, -x = -0*x + 2. Let l = m + p. Is l prime?
True
Let p = 9912 - -239. Is p a prime number?
True
Suppose -3*m + f + 6055 = 0, 16*m - 11*m + 2*f = 10099. Is m prime?
False
Let c = -28 - -15. Let t(z) = 3*z**2 + 18*z - 14. Is t(c) a composite number?
True
Suppose s + 0*z = -2*z + 6623, 4*z + 8 = 0. Suppose 3*y + 1057 = v, s = 4*v + 2*y + 2399. Is v prime?
False
Suppose 5*o + w - 21679 = 4*w, 5*w - 10 = 0. Is o prime?
True
Is 61717/3 - 2 - (-66)/99 prime?
False
Is 3/2*1956 + (-28)/4 a composite number?
False
Suppose 3*h = -6*z + 48999, -4*h + z = -8*h + 65325. Is h a prime number?
False
Suppose -2*u + 9 = 2*c + u, -4*c = -2*u + 6. Suppose c = 3*g - 1068 + 315. Is g composite?
False
Suppose 2*q + 0*q = 10. Let m be (-18)/(-5) + (-3)/q. Suppose 241 = x - 2*i - 44, 1184 = 4*x + m*i. Is x a prime number?
True
Let j = -3 - -12. Suppose -4*v = 1 - j. Suppose v*p - 105 - 323 = 0. Is p composite?
True
Let d(o) be the first derivative of -o**4/4 - 4*o**3/3 - 7*o**2/2 + 7*o - 28. Is d(-7) composite?
True
Suppose 4*k - 55 = -19. Suppose 11*l - 898 = k*l. Let j = l - 156. Is j prime?
True
Let g(h) = 2*h. Let b be g(2). Suppose 0 = -2*l - 5*y - 24, -b*y - 5 = 11. Is 66/l*(-20)/30 composite?
True
Suppose -6*a + 2*a - 2*i = -1804, -4*i = a - 465. Let p = a - -138. Is p a composite number?
False
Let z(k) = -k - 2. Let x be (2/2 - 2)*3. Let b be z(x). Is (61/3)/(b/21) a composite number?
True
Suppose 0 = -4*u + 3 + 5. Let m be ((-33)/u)/((-2)/(-4)). Let z = m + 115. Is z a composite number?
True
Let l(t) = -t**3 - 9*t**2 - 2*t - 56. Let n be l(-10). Let y(j) = 5*j**3 - 3*j**2 + 2*j + 1. Let r be y(2). Let d = n - r. Is d prime?
True
Let f(v) be the third derivative of -v**6/20 - v**5/60 + v**3/3 + 4*v**2. Is f(-6) prime?
False
Suppose 2*g - h = 9, 0 = 2*g + h + 2 - 5. Let o(f) = 2*f - 1. Let t be o(g). Suppose 4*y + t*j = 491 - 9, -3*y - 5*j = -364. Is y composite?
True
Suppose r + 0*s - 21 = -3*s, -2*r - 3*s = -30. Suppose m = 4*t + r + 23, 4*t = 5*m - 16. Is 669*(24/t + 3) prime?
True
Let n = 1237 + 540. Is n composite?
False
Suppose 34*z + 12632 = 42*z. Is z a prime number?
True
Let n(r) = 132*r**2 - 29*r. Is n(-7) a composite number?
True
Suppose 2*y + 93210 = 4*y - 4*u, -5*y + 233051 = 3*u. Is y prime?
False
Let a be (1/1)/(-1) + 2. Is (-3)/a + 98*5 composite?
False
Suppose 13990 = 5*x - 5*a, -x - 2*a + 14004 = 4*x. Suppose 572 = 4*c - x. Is c composite?
True
Is ((-3)/(-2))/(-1*(-1)/914) a prime number?
False
Suppose -104565 = -18*y + 3*y. Is y a prime number?
True
Suppose 4*f + 2*o - 2 = 0, 0 = -5*f - o + 2*o + 13. Suppose -6182 = -4*u + 4*s - f*s, -3*u + 4639 = -2*s. Is u a composite number?
False
Suppose -7*k = 13040 - 62313. Is k a composite number?
False
Let s = 77 - -74. Let m = s + -38. Is m a composite number?
False
Suppose -2*u = -0*u. Let r = 21 - u. Is r prime?
False
Suppose 0 = -11*p + 4*p - 98. Let y = p - -36. Is y composite?
True
Let x(r) = r**3 - r**2 - r. Let l be x(2). Let h(f) = -5*f**2 + f - 1 + 6*f**2 - l - 3*f. Is h(10) a composite number?
True
Let z = 278024 + -49677. Is z composite?
True
Is 5/((-10)/(-1191))*(-754)/(-39) composite?
True
Is -13 + 1 + (-4107505)/(-131) a prime number?
False
Let j(b) = -5*b**3 - 3*b**2 - b + 1. Let s be j(-3). Is (-3)/4*s/(-42) + 92 a prime number?
False
Let u(v) = -23*v - 1. Let f(b) = b**3 - b + 2. Let q be f(0). Suppose 8 = -p - 5*g - 3, -q*p - 2*g - 6 = 0. Is u(p) a prime number?
False
Let c be 13/7 - (-2)/14. Suppose z + c = 2*z. Suppose n + 2*f = -0*n + 93, z*n - 180 = -2*f. Is n prime?
False
Suppose -j = -3*j + 4. Suppose 3*f = 4*y - 1225, -j*y = 2*f - f - 615. Is y a composite number?
False
Let x = 1289 - -774. Is x a prime number?
True
Let y be (1 + (-198)/4)*(13 - 31). Let b = y + -382. Is b prime?
True
Suppose -3*a = 6, 2*a - 181 = -t - 76. Let w be ((-62)/(-3))/((-1)/3). Let g = w + t. Is g a prime number?
True
Suppose -2*z + 4*n + 33385 = -40109, 2*n + 73496 = 2*z. Is z prime?
True
Let t(b) = 6*b**3 - 7*b**2 + 4*b + 5. Let v = 19 + -15. Is t(v) a prime number?
True
Let g(c) = c - 3. Let q be g(10). Let l = q - 5. Is l/6 + (-3490)/(-15) a composite number?
False
Suppose 4*s - 4*h = 9178 + 5186, -5*h = 4*s - 14382. Is s prime?
True
Suppose -2*q + 10047 + 15 = 2*a, a = -5*q + 25143. Suppose 5*j + q = 9*j. Is j a composite number?
True
Let w = -6 + 10. Suppose 0 = -5*b + w - 14, v + 3*b = -14. Is 13*2/v*-4 a composite number?
False
Let k be 1 + -3 + 41980/10 - 1. Suppose -10*m + k = -5*m. Is m a prime number?
True
Let c(v) = 270*v - 89. Is c(7) a composite number?
False
Suppose -5*j + 289415 = r - 3*r, -2*r = -2*j + 115772. Is j composite?
False
Let f = -6 + 12. Suppose f*q - 2*q = -40. Is 398/5 + 6/q a prime number?
True
Let s = -6767 + 22008. Is s prime?
True
Let n = -19553 + 32044. Is n prime?
True
Suppose 0 = -2*w - 2, 3*q - 4*q + 4*w = -2. Is q - ((-2416)/4)/4 a composite number?
False
Let j be (-26)/(-6) + 5/(-15). Suppose j = 5*p - 6. Suppose -2*c = -g + p*g - 281, -3*c + 858 = 3*g. Is g a prime number?
False
Let w = -8 - 20. Let y = -31 - w. Is (-468)/(-2) + (y - -4) a prime number?
False
Let m(g) = 10*g. Let f(n) = 5*n. Let l(c) = -5*f(c) + 2*m(c). Is l(-7) prime?
False
Let y = -2739 - -4065. Let r(n) = -n**3 - n**2 - 2*n - 1. Let l be r(-2). Suppose -l*b + b = -y. Is b composite?
True
Let x(f) = -9*f**3 - 2*f**2 - 2*f + 2. Is x(-5) prime?
True
Suppose 5*x = -w + 1, 5*w - x + 5 = 4*w. Let k be -20*-1*w/(-16). Suppose 0 = -0*o - k*o + 3345. Is o prime?
False
Suppose -2*m = g + 4*g - 2, -3*m + 12 = 3*g. Suppose -m*c = -2*c - 12. Suppose -5*y - l = -6007, -y = c*y - l - 4802. Is y a composite number?
False
Suppose 554 = 5*y - 1091. Suppose -4*v + 2404 = 4*g, 0*v - 3*v + 1205 = 2*g. Let c = g - y. Is c a composite number?
False
Suppose 5*y + 0*d + 10 = -5*d, 0 = -4*y + 2*d - 2. Let v(a) = -23*a**3 - a**2 - 2*a - 1. Is v(y) a composite number?
False
Let f(q) = 3*q**2 + 3*q - 11. Is f(17) a prime number?
True
Suppose m - 146 = 4*p, 0*p + 5*m = p + 46. Is 158*(-3 + p/(-8)) composite?
True
Suppose -11*o + 9*o = -5*w + 53895, -25 = -5*o. Is w composite?
False
Let a = 537 - 35. Let d = a - 243. Is d a composite number?
True
Suppose -5*g = -2*i + 637, -5*i - 16*g = -15*g - 1660. Is i composite?
False
Suppose 9*q - 8877 = 7926. Is q a prime number?
True
Suppose 2*q + 0*q - 2 = 0. Let h be (q*2)/((-10)/(-15)). Suppose -4*l - l = -j + 238, 0 = -j - h*l + 278. Is j composite?
False
Let w = 4295 + -238. Is w a composite number?
False
Let k be (-8)/6 - 164/(-6). Let p = k - 18. Is 1 + 44/p*12 composite?
False
Suppose 3 = -2*v - 3