 composite?
False
Let p = -3463 - -4964. Suppose 520 = m + h, -2*m - h = -p + 464. Is m prime?
False
Let r(m) = m**2 - 5*m + 7. Let b be r(5). Suppose 5*n = b - 17, -412 = -s - 5*n. Is s composite?
True
Suppose 173*k = 166*k + 121359. Is k a composite number?
True
Let r(l) = -3*l - 1. Let d be r(1). Let n = d - -6. Suppose -x - 3*x + 1668 = -n*m, -3*x + 1269 = 3*m. Is x composite?
False
Let i be (-467)/((-2)/4*2). Let r = i + -18. Is r composite?
False
Suppose c = 1176 + 177. Suppose 5*q = c + 2242. Is q a composite number?
False
Let r(k) = 8*k**3 - 3*k**2 + 4*k - 6. Let x be r(7). Suppose -x = -8*a - a. Is a prime?
False
Let o(f) = 4*f**2 - 6*f + 6. Let x be o(5). Let r(a) = -2 + x*a - 6*a + 44*a + 1. Is r(1) prime?
True
Suppose -5*b + 314 = -2*r - 51, 2*r = -4*b + 274. Let h = b + -34. Is h prime?
True
Let r = 139 + 66. Is r composite?
True
Let i(a) = -38*a + 0 - 33*a - 4 + 80*a. Is i(7) prime?
True
Suppose 278 = c - 380. Let u = 305 - c. Let p = -226 - u. Is p prime?
True
Suppose 0 = -25*a - 87543 + 353918. Is a a composite number?
True
Suppose -5*i + 3*y - 17 = y, 8 = -3*i - y. Let c be 1 - 1*i/1. Suppose -l + 5*s = -0*l - 126, -s = c. Is l prime?
False
Let b be 4 - (-34)/(-10) - (-44)/10. Suppose -2*c = -10, -3*l + 0*l - b*c = -88. Is l a composite number?
True
Suppose 6*o = 3 + 201. Is o prime?
False
Suppose 5*n - 1 = 14, -l = n + 1. Let x be 0*l/((-16)/4). Is 76*(x - (-46)/8) a prime number?
False
Let b be (-8504)/(-36) + (-4)/18. Let a = 459 - b. Is a prime?
True
Let a = -1737 + 2551. Suppose 4*k - 9*k + 22 = -3*z, -4*k - 4*z - 8 = 0. Suppose 5*p - a = 5*x + 1881, x = k. Is p a prime number?
True
Is (1*106)/((-16)/(-1672)*11) prime?
False
Let w(u) be the first derivative of 10*u**3 - 4*u**2 + u - 1. Is w(4) prime?
True
Suppose 3*u - 4 - 10 = -o, 5*o - 22 = u. Suppose -u*g + 6*g = 4*a + 1, 3*a + 5 = -2*g. Is 1/((-636)/(-633) + g) composite?
False
Let i = 15 - 12. Let v be i*(-1)/((-6)/16). Is (-2)/v + (-1527)/(-12) a composite number?
False
Suppose 2*q = -q - 189. Suppose 3*j + h - 3188 = -h, 5*j - 5296 = h. Let c = j + q. Is c prime?
True
Let c(w) = -7 - w - 81*w + 11*w. Is c(-6) a composite number?
False
Suppose -2*a - 6*a - 3992 = 0. Let w = 1016 + a. Is w composite?
True
Let z = 4059 - 1450. Is z composite?
False
Let k = 174025 + -121862. Is k a composite number?
False
Is (-28)/8*(4 - 1758) prime?
False
Suppose -829077 + 292022 = -37*l. Is l a prime number?
False
Let l be 3 - ((-1198)/3)/((-6)/(-9)). Let c = l - 387. Is c prime?
False
Let k = -331 + 4668. Is k prime?
True
Let i(l) = 314*l**2 - l + 5. Is i(2) prime?
True
Suppose -3*x + 6*o + 9167 = 2*o, 2*o + 3053 = x. Is x prime?
True
Let u(r) = -r**3 - 9*r**2 + 60*r - 59. Is u(-25) a composite number?
True
Suppose -5*s = a - 0*a - 1836, -a + 732 = 2*s. Suppose p - 2*k - s = -p, 0 = -4*p - k + 711. Is p a composite number?
False
Let n = 4463 - 1305. Is n a prime number?
False
Let d(r) = 583*r - 2. Let g(l) = 292*l - 1. Let q(y) = -6*d(y) + 13*g(y). Is q(4) composite?
True
Is 22/143 + (-129660)/(-13) composite?
True
Suppose 2*f + 4*y = 4, -4*f - 2 = -5*y + 3. Suppose f = w + w. Suppose 3*o - 11*o + 1768 = w. Is o composite?
True
Suppose 22239 + 50963 = 34*h. Is h a composite number?
False
Let r be -6*3/(-2)*(-3)/(-9). Is -1 + 768 + (1 - -4 - r) a composite number?
False
Let t(c) be the second derivative of 37*c**3/6 + 2*c**2 + c. Is t(7) a composite number?
False
Suppose 1 + 7 = x. Is 5 + (-38)/x + 843/4 composite?
False
Suppose 0*m + 5*m - 61617 = 2*u, 12318 = m + 5*u. Is m a composite number?
False
Let u(h) = 3*h**2 - 3*h - 4. Let x be u(3). Suppose 4*g + 10 = -x. Is 2/3*(-693)/g a composite number?
True
Is 3642/5 + -2 - 27/(-45) a composite number?
False
Let b be -16*(-4)/(-20)*(-15)/(-3). Let z(p) = -4*p - 29. Is z(b) composite?
True
Suppose -3*j + 14 = -1. Suppose -417 = -5*p + 4*u - 2*u, -360 = -4*p - j*u. Is p a composite number?
True
Let r be 28/12 + 2/(-6). Suppose d - l + 721 = 0, r*l + 3640 = -7*d + 2*d. Is 10/40 - d/8 a composite number?
True
Suppose -3*p + 5*p = 4*z - 844, 5*p + 2150 = 2*z. Let v = 767 + p. Is v a prime number?
False
Is (1 + 1/2)*(-4236160)/(-960) a prime number?
True
Let b = -1779 + 3728. Is b composite?
False
Suppose -20*a + 79*a = 1963933. Is a a prime number?
True
Let d(v) = 0 + 5*v**2 - 47*v**3 - 106*v**3 - 4*v**2 - 1. Let k be d(-1). Suppose 2*n - 286 = -5*t, -n = 5*t - 0*t - k. Is n a composite number?
True
Let f(l) = -11*l + 102. Is f(-25) a composite number?
True
Let n = -271 - -452. Let s be n/(-2) + 10/20. Let u = 161 + s. Is u a composite number?
False
Let d = -53271 + 111137. Is d prime?
False
Let r = 11364 + -5171. Is r a prime number?
False
Let n = -3169 - -4880. Is n a composite number?
True
Suppose 3*f - 3*c - 5186 - 2218 = 0, 0 = -2*f + 3*c + 4941. Is f a composite number?
True
Let a(r) = r**2 - 1 - 4*r + 1 - 5. Let o be a(5). Suppose -4*g + 3*p + 268 = o, -5*g - p = -499 + 164. Is g composite?
False
Let n(r) = 3*r**3 - 9*r**2 + 10*r - 5. Suppose 0*g + g = 7. Let f be n(g). Suppose 0 = -3*w + 3*t + 2*t + f, 5*t = 2*w - 432. Is w composite?
True
Suppose -10*d - 15*d = -53825. Is d prime?
True
Suppose 3*a + 3 = -45. Let g be a + 14 + 2*1. Suppose 5*d - 5*n - 410 = 0, 5*d + g*n = -4*n + 383. Is d composite?
False
Suppose 3*j + j - 860 = 0. Let b = -24 + j. Let h = b + -112. Is h a composite number?
False
Let n = -15 + 23. Suppose 0 = n*z - 5*z. Suppose z = -6*k - 44 + 506. Is k composite?
True
Let l be 4/(-1 - (-3)/(-3)). Let s be l/14 - (-1693)/(-7). Let m = 447 + s. Is m a prime number?
False
Is 63180/42 + -5 - 6/21 prime?
True
Is (-2)/((5 - (-76045)/(-25345)) + -2) a composite number?
True
Let w = 45 - 41. Suppose w*g - g + 695 = h, -2*g - 8 = 0. Is h a prime number?
True
Suppose 3*c = 10 + 8. Let q = 9 - c. Is (q + -16)*(-6)/2 a composite number?
True
Suppose -4*t - 1 + 13 = 0. Let i(h) = h**2 + 7*h + 7. Let v be i(-5). Is 34 + (t/1)/v a composite number?
True
Let y(p) = p + 19. Let a be y(-19). Suppose 0 = -4*u - a*u. Suppose 0 = -u*f - 3*f + 2031. Is f a prime number?
True
Is (((-865140)/18)/(-5))/(4/6) a composite number?
False
Suppose -5*n + 428405 = 42*n. Is n a prime number?
False
Let k(a) = a**2 - 3*a + 4. Let f be k(1). Suppose -5*x + 5 = 0, 0 = 3*s - f*s + 5*x - 376. Is s a composite number?
True
Let n = -42 - -42. Suppose n = 36*h - 34*h - 674. Is h a composite number?
False
Suppose 44085 = 24*l - 21*l. Is l composite?
True
Is 25/(-150) + (-62)/(-12) - -5034 prime?
True
Let f = -6579 + 12966. Is f a prime number?
False
Is (-6361 - 28)*(-3 + 2) composite?
False
Suppose -l - 5*o = -4*l - 8, 0 = -3*o + 12. Let w(g) = g**2 + 3*g - 6. Let f be w(-5). Suppose -5*j + c + 630 = 0, 693 - 205 = l*j - f*c. Is j a prime number?
True
Let f(r) = 2*r**2 + 3*r - 2. Let c be f(1). Is 29*9 - (-3 + c/3) a composite number?
False
Suppose -9 = -5*c + 4*r, -2*c = 2*r + r - 22. Let y be (2 + c/2)*-2. Let v(o) = 4*o**2 - 10*o - 7. Is v(y) composite?
True
Suppose 0 = 31*u - 114*u + 2464187. Is u a composite number?
True
Let n = 35 - 63. Let h = 30 + n. Is (-830)/(-6 + 2 + h) composite?
True
Let y(c) be the first derivative of 5*c**3 + c**2/2 - 3*c - 4. Suppose 2*k = -0 - 8. Is y(k) composite?
False
Suppose 0*p + 5*p - 3*f - 91994 = 0, 9 = -3*f. Is p a prime number?
True
Suppose -3*w = -f - 4, 4*w + 0*w + 16 = -4*f. Let k(n) = -284*n - 1 - 343*n + 524*n. Is k(f) a prime number?
False
Suppose 0 = 2*m - 5*r - 20874, -6*r - 52139 = -5*m - 5*r. Is m composite?
False
Suppose -4*a + 2*h + 60 = 0, -4*a + 0*h + h = -62. Suppose z + a = 9*z. Suppose z*r - 228 + 50 = 0. Is r a composite number?
False
Suppose 0 = -5*b - 0 - 5, 3*t - 371 = -b. Is 1*t - (-28 + 29) prime?
False
Suppose 5*a + 0*a = -4*z + 105, -a - 4*z = -21. Let d be a/(-14)*(-20)/(-3). Let j(l) = -6*l - 13. Is j(d) a composite number?
False
Let f be 6/9 + (-27744)/9. Let i = f + 666. Is i/(-128) - 2/(-16) prime?
True
Suppose 16 - 6 = 5*t. Let a be 3*(-5)/15*-3. Suppose -t*n - a*v + 42 = -115, -3*n = -5*v - 264. Is n composite?
False
Let v(h) = h. Let a(o) be the third derivative of -o**4/3 - 5*o**3/3 - 7*o**2. Let w(u) = -a(u) - v(u). Is w(7) a composite number?
False
Is (-3)/(-9) + 42640/24 a composite number?
False
Suppose 15*n - 935 = -5*j + 19*n, -748 = -4*j + n. Is j a prime number?
Fals