prime?
False
Suppose 62*x = 64*x - 530. Is x composite?
True
Suppose 3*k + 2*v + 308 = 4*k, 0 = 3*k + 5*v - 957. Is k prime?
False
Let u be ((-296)/6 + 0)*12. Let k = 302 + u. Let s = k - -423. Is s a prime number?
False
Let q(g) = 9*g + g - 13 + 5*g - g. Let o(j) = -7*j + 6. Let v(h) = 13*o(h) + 6*q(h). Is v(-5) a composite number?
True
Let j = -13 + 18. Let n(g) = -2*g**2 - g**2 - 1 - 2*g + j*g**2. Is n(-6) a prime number?
True
Let y = 122 - 69. Is y prime?
True
Let h(k) = 6*k**3 + 3*k**2 + k - 1. Suppose -3*r = -6*r - 3*x, 0 = 3*r + 4*x + 3. Is h(r) a composite number?
False
Let b(i) = i**3 + 3*i**2 - 5*i. Let r(k) = -k - 4. Let h be r(0). Let q be b(h). Suppose q*p - 16 = 24. Is p a prime number?
False
Suppose r - 479 = -3*a, -326 = 3*a - 5*a - 4*r. Is (-2)/(-2) + a*2 composite?
True
Let h = -7 - -11. Let r(k) = -k**3 + 3*k**2 - 1. Let y be r(3). Is (h/(-12))/(y/111) a composite number?
False
Let t = -102 - -221. Is t a composite number?
True
Suppose -2*u = 3*u - 1195. Is u composite?
False
Let m be ((-55)/4 - -1)*4. Let o = -29 - m. Is o a composite number?
True
Let i(a) = 1362*a**3 + 4*a - 3. Is i(1) prime?
False
Suppose 2*q - 2*p - 11 = 19, -3*p = 2*q - 5. Let k be 44/q - (-2)/(-5). Is 3*5/(15/k) a prime number?
False
Let n be -22*16/(2 - 6). Let x = n - -35. Is x a prime number?
False
Let t be 4/(-10) + (-27)/(-5). Suppose t*y - 53 = -5*a + 147, -12 = 4*y. Suppose 31 = 2*j - a. Is j a composite number?
False
Let s = 153 - -181. Suppose s = 2*w + 2*q, -4*w = 2*q - 1112 + 452. Is w a prime number?
True
Suppose 0 = -5*k - 5*x - 10, 2*x = -2*x - 16. Suppose -2*m - 2*u + 704 = 0, 0 = -m - k*u - 3*u + 372. Is m prime?
True
Suppose 3*u = -u + 668. Is u a prime number?
True
Let h be 7 + (2/1 - 3). Suppose 0 = q - h - 31. Is q composite?
False
Suppose -2*r - r + 279 = 0. Suppose 2*j - 111 = 5*n, -3*n - 194 = -5*j + r. Is j a composite number?
True
Suppose -5*n = -0*n - 1040. Let j = n + -119. Is j a composite number?
False
Suppose -1169 = -2*s + 5*d, 4*s - 2346 = 3*d - d. Is s a composite number?
False
Let j(n) = 171*n + 8. Is j(7) prime?
False
Let y be (440/12)/(-5)*24. Let t = -27 - y. Is t a composite number?
False
Let y = 5 - 3. Suppose 5*u - 3 = 2*w - 16, -y*w = 5*u - 3. Is w a composite number?
True
Let k(v) = 13*v**3 + 5*v**2 + 8*v - 25. Is k(4) a prime number?
True
Suppose -26 + 1 = -5*y. Suppose y*w - 16 = 4. Suppose -w*l + a = 32 - 242, l - 43 = 5*a. Is l composite?
False
Suppose 0 = -2*v + 3347 - 37. Suppose 6*y - y = v. Is y a composite number?
False
Let l(j) = 209*j - 5. Let p be l(3). Let i = -411 + p. Is i a composite number?
False
Let t = 426 - 61. Is t a composite number?
True
Let b(i) = -i**2 - 6*i + 2. Let o be b(-6). Let m be o/5 + 3128/5. Suppose 0 = -t + 2*c + 195, -86 = 3*t + 3*c - m. Is t prime?
False
Is (-1)/(-6) + ((-37525)/(-30) - 2) a prime number?
True
Let y(h) be the first derivative of h**2 - 4*h - 2. Let k(j) = 4*j - 9. Let x(p) = -6*k(p) + 14*y(p). Is x(6) a prime number?
False
Let i = -1 - -4. Suppose -4*r + 18 = 5*f, -i*f - 2*f + 20 = 5*r. Suppose -5*u = c - 18, -2*c + r*u - 41 = -5*c. Is c a composite number?
False
Suppose 4*d = -0*d + 16. Suppose d*m - 89 - 20 = -5*g, -2*g = 3*m - 73. Is m a prime number?
False
Suppose -t = -0*t - 223. Is t prime?
True
Suppose b + 0 = -5*v + 7, b - 3*v + 1 = 0. Suppose -2*p + 407 = 3*z - b*z, 5*p - 3*z = 1012. Is p composite?
True
Let t(o) = 227*o**2 + 5. Is t(-4) a prime number?
True
Let t be (-1 + (-2)/(-4))*-2. Let o be (-6 - -9) + 652/t. Suppose 0*u = -5*u + o. Is u a prime number?
True
Let b(p) = p**3 - 14*p**2 + 19*p - 9. Is b(14) prime?
True
Let z(r) = 3*r**2 + 3*r - 13. Let n be 1*3*40/(-12). Is z(n) prime?
True
Let v(h) = 253*h**2 - 9*h + 7. Is v(-5) prime?
False
Suppose 4*r = j - 39, 0 = -4*j + 2*r + 309 - 83. Is j a prime number?
True
Is (-63630)/(-50) + 0 + 4/10 prime?
False
Is 8/(-4) + (2 - -127) composite?
False
Suppose -8 = -4*w - 4*t, -2*w - 2 + 4 = 4*t. Suppose b + 20 = w*b. Is b a prime number?
False
Suppose i = 2*p + 353, 7*p = i + 4*p - 356. Is i a composite number?
False
Suppose 3*d + 5 = 2*w + 4*d, 4*w - d - 7 = 0. Suppose -4*x - 2*z = -5*x + 113, -w*x = -3*z - 226. Is x a composite number?
False
Let h(g) = -118*g - 11. Is h(-6) a composite number?
True
Let h = 11 + -28. Let d = h + 42. Is d a composite number?
True
Suppose -2*j - 3*h + 716 = -j, 3*h + 2819 = 4*j. Is j a prime number?
False
Is ((-1)/3 + 0)/(2/(-5442)) a composite number?
False
Let b(s) = -s + 4. Let n be b(0). Let i(y) = -y - 4 + 1 - n*y. Is i(-8) a composite number?
False
Let w(x) = -7*x**3 + 6*x**2 + 4*x + 2. Let j be w(-4). Let a = j - 359. Suppose -r + a = 4*o, 3*r = -o - r + 39. Is o composite?
False
Let o = -281 - -780. Is o a composite number?
False
Suppose 0 = -2*v - 0*v. Let x be (2/(1 + v))/(-1). Is 0 + (x - -1) - -68 prime?
True
Let p(z) = 3*z**2 + 17*z + 11. Is p(-21) a composite number?
False
Suppose 0 = -m - 0*m + 5. Suppose -12 = 3*c, 5*c = -o + c + 28. Suppose 0 = n + m*l - o + 10, 4*l = 2*n - 26. Is n a composite number?
False
Let d(k) = 2*k**3 + 27*k**2 - 7*k - 13. Let m(j) = j**3 + 13*j**2 - 3*j - 6. Let t(l) = -6*d(l) + 13*m(l). Is t(-5) prime?
False
Suppose -l - 2 = -5. Is (0 + 26 - l)*1 a prime number?
True
Let a = 5 + -3. Suppose 0 = -a*v + v + 95. Is v composite?
True
Suppose 4*v - 1752 = i, 380 = 2*v - 5*i - 478. Is v composite?
False
Suppose -4*p + 5*y + 9 = 0, -4 = 4*y - 0. Let w = 3 + p. Is (-290)/(-4)*w/5 a prime number?
False
Suppose 3*v = -v. Suppose 3*l + v*l = 423. Is l composite?
True
Suppose -5*b + b - 8 = 0. Let a be b/(1 + 1) + -1. Is 2 + 47 + 2 + a a prime number?
False
Let r(i) be the third derivative of 11*i**4/24 - 4*i**3/3 + 3*i**2. Let d be r(-8). Let h = -34 - d. Is h prime?
False
Is (1 - -2057)/3 - (1 + 2) composite?
False
Suppose 3*q - 5 = 5*m - 4*m, q = m - 1. Suppose 8 = 2*g - m*g. Is 2/(g/(-706)) + 2 composite?
True
Let j be 13/(-15) + (-20)/150. Is (j - 0/(-3))*-37 a composite number?
False
Suppose 0 = 5*a - 25, 2*a = 4*p - 787 - 3239. Is p a prime number?
True
Let b(a) = -a**2 - 15*a - 14. Let n be b(-14). Suppose n = 4*p - 260 - 72. Is p a prime number?
True
Let c(a) = a**3 - 10*a**2 + 11*a - 12. Let w be c(9). Suppose 3*z - w = 0, 0*n + 133 = 5*n + 4*z. Suppose 2*h - n = 49. Is h a composite number?
False
Let l = 19264 + -8613. Is l composite?
False
Let b(i) = i**3 + 5*i**2 + 3*i - 2. Let h be b(-4). Suppose -36 = -3*n + 4*q - h*q, -2*n + 43 = 5*q. Is n composite?
True
Let f be 3 - 5*(3 - 2). Let a be (f/6)/((-1)/(-3)). Is (-60)/(-3 - a) + 3 composite?
True
Suppose -k = -17 - 20. Is k composite?
False
Let m(y) = -y**3 - 2*y**2 - 2*y. Let x be m(-2). Let a = 11 - x. Suppose 2*b = 2*k + a*b - 222, k - 109 = -3*b. Is k a prime number?
False
Suppose -1163 = -2*x + 4*b - 3*b, 0 = 5*b - 15. Is x prime?
False
Let l be (0 - 0) + (-6)/(-2). Let r(q) be the first derivative of 3*q**2/2 + 4*q + 3. Is r(l) a prime number?
True
Suppose 0 = 5*g + 5, -g + 4*g = 5*f + 107. Let s be (-4)/(-6) - (-175)/3. Let n = f + s. Is n prime?
True
Let v = -5 - -7. Suppose 66 = -v*d + 4*d. Is d a prime number?
False
Suppose 3*f - 2*f - 29 = 2*c, -4*f + 5*c + 125 = 0. Is f a composite number?
True
Let n be (-30)/(-12) - (-2)/4. Suppose 2*i + 10 = -2*m + 4*i, -4*m - n*i = -1. Is 111/(-6)*(m - 0) composite?
False
Let k(x) = 39*x**2 - x + 5. Is k(3) prime?
True
Let u = -3 + -4. Let c = 10 + u. Suppose -2*m + 2*i + 226 = 0, -m + 12 = -c*i - 97. Is m composite?
True
Suppose 3*n = 4*w - 15, 2*n + w = -n - 30. Let i be n - (1 - (3 + -2)). Let p = i - -13. Is p prime?
False
Let f = -1 + 6. Suppose 7*x = 4*x, x - f = -w. Suppose 4*d - w*p - 237 = 0, -4*p - 179 = -5*d + 106. Is d a composite number?
False
Suppose -3*t = -11 - 4. Suppose -c = 4*k - 2 - 12, t*c + 4*k = 134. Suppose 2*h - 164 + c = 0. Is h a prime number?
True
Let d = -68 - -276. Let i = 317 - d. Is i a composite number?
False
Suppose 5*o - 2570 + 615 = 0. Is o a composite number?
True
Let b(h) be the second derivative of -7*h**3/3 + h**2/2 - 5*h. Let n(x) = -4*x + 4. Let t be n(3). Is b(t) a prime number?
True
Suppose 5 = 2*y - 3. Suppose -y*f + f + 42 = 0. Is f a prime number?
False
Suppose 22*g = 25*g - 12. Let n(z) = 120*z + 1. Is n(g) composite?
True
Let v(t) = 11*t + 10. Is v(11) prime?
True
Suppose 