 = -19*z + 16*z + 2*l + 762. Is z composite?
True
Let q(x) be the second derivative of x**3/6 + 293*x**2/2 - 19*x. Is q(0) a composite number?
False
Let o = 12745 - 5501. Suppose 3*r + 0*r = 0, -4*l - r + o = 0. Is l a composite number?
False
Let g = 31150 - -60079. Is g prime?
True
Suppose -4*k - 2*x - 1329 + 36431 = 0, 3*x = 4*k - 35117. Is k composite?
True
Suppose -9*w + 71174 = 2693. Is w a prime number?
False
Is (-3807)/108*4328/(-6) composite?
True
Suppose 25*b - 18*b - 259 = 0. Suppose b*q = 32*q + 2215. Is q a prime number?
True
Let w = -711 - -1196. Is w composite?
True
Suppose -5*m - 3*q = -30, 2*m = -3*q - 8 + 29. Let v(p) = -228 + 235 - 16*p + 10*p + 12*p**2. Is v(m) a prime number?
True
Let w(t) = 3*t. Let p be w(0). Suppose 2*n + p*n = -116. Let k = -27 - n. Is k a prime number?
True
Let t = -69 + 74. Suppose -a + 3*a = -4*g + 21678, t*g - 20 = 0. Is a composite?
False
Suppose -8*j + 5145 = -6295. Suppose 0 = -10*k - 0*k + j. Is k prime?
False
Suppose -5*y = 23*y - 637196. Is y a composite number?
True
Let j(s) be the second derivative of -s**4/6 + 2*s. Let b be j(-1). Is (471/15)/(b/(-10)) prime?
True
Suppose -172 - 14 = 2*s. Let l = 748 + s. Is l a composite number?
True
Let j(b) = 33*b**2 - 7*b - 1. Suppose -2*l - 4 = -3*l. Is j(l) a prime number?
True
Suppose 2*y = 2 + 2. Suppose 0 = -3*z - y*z + 3665. Suppose 5*m - 532 = z. Is m a prime number?
False
Suppose -2*t + 2907 = 3*c, -4*c + 8*c = 4*t + 3856. Is c prime?
True
Let u be 2*3 + (-4 - -4 - 2). Suppose -2*s + 0*f + 3*f + 263 = 0, f = u*s - 511. Is s composite?
False
Suppose 0 = 2*r - 0*r - 214. Suppose 0 = 4*f - 85 - r. Suppose -i = -f + 17. Is i composite?
False
Suppose -2*h - 6 = -4*h. Suppose h*q - 2*q = -9. Is ((-186)/q)/((-6)/(-63)) a prime number?
False
Let f(i) be the third derivative of -i**4/24 + i**2. Let x be f(-2). Suppose -a - u = x*a - 555, -185 = -a + 5*u. Is a prime?
False
Let w = 2562 + -1411. Is w a prime number?
True
Suppose 0 = z + 3*r - 1130, 0 = 5*z - r - 3641 - 2025. Let m = z - 414. Is m prime?
True
Suppose 0 = 4*k + 5*t - 5593, 0*t - 3*t = -3. Is k a composite number?
True
Let m(x) = 7*x**2 + 39*x + 1. Let a be m(-7). Let n = 184 - a. Is n composite?
False
Let y = -22210 + 32217. Is y prime?
True
Let i(r) = 7*r**2 + 4*r + 1. Suppose -b - 2*b = 30. Let p be i(b). Let q = p + 102. Is q a composite number?
True
Suppose 18*r + 4*i - 10019 = 17*r, -2*i = -6. Is r composite?
False
Let u = -28 + 28. Is 34 + (0 + -2 + 1)*u composite?
True
Let i(c) = -c - 5. Let p be i(-5). Suppose p = u - 7*u + 2418. Is u a prime number?
False
Is (-31)/31*1*-2203 a prime number?
True
Let g = 9378 + -5497. Is g a composite number?
False
Suppose 4438 = 3*o + 5*r, 27*r = -o + 24*r + 1486. Is o composite?
False
Suppose 5*r + 3*z - 36 = -0*z, 4*r - 4*z - 16 = 0. Suppose 7*l - 541 = r*l. Is l composite?
False
Let m(d) = 21*d - 1. Let f be ((-9)/15)/((-2)/10). Let z be m(f). Let n = z - 25. Is n a composite number?
False
Suppose g = -0*g - 699. Let k = -191 - g. Suppose 6*x = 2*x + k. Is x a composite number?
False
Suppose 2*g + 8 = 0, 3*g = -v + 2000 - 361. Is v a prime number?
False
Suppose -3*h - 5*k = -223, -2*h + 29 + 121 = 2*k. Suppose 0 = -b - h + 203. Is b prime?
True
Let d(r) = 168*r**2 + 5. Let p be d(4). Let x = -1038 + p. Is x prime?
False
Let v(r) = -r**3 + 4*r**2 + 4*r + 9. Let o be v(5). Is (3 - -312*2) + o composite?
False
Let i(g) = 80*g - 101. Is i(5) a composite number?
True
Let i(p) = -p**2 + 2*p - 2. Let v be i(2). Let m(j) = -52*j**3 + 2*j**2 + j + 2. Let u be m(v). Let s = u - 165. Is s a prime number?
False
Suppose 0 = -3*x - j + 18100, -6*x + x - 2*j + 30167 = 0. Is x prime?
False
Suppose -2*i + 25 = 5*j - 6, 5*i = -3*j + 30. Suppose -439 = -4*z + j*w + 912, 2*z - 3*w - 675 = 0. Is z a prime number?
False
Let h(j) = 233*j - 10. Let k be h(4). Suppose 5*u - 33 - k = 0. Is u a prime number?
True
Suppose 147 = -5*u + 562. Suppose w + u + 80 = c, -4*c = -3*w - 652. Is c a composite number?
False
Let h = -23 - -32. Let s(r) = r**2 - 9*r. Let f be s(h). Let c(i) = -i**3 + 2*i**2 + i + 141. Is c(f) a composite number?
True
Let p(f) = -46*f**2 - 4*f + 61*f**2 + 3*f. Let o be p(6). Suppose -o = -7*h + h. Is h prime?
True
Let l = 24914 + -12549. Is l/60*2*6 prime?
True
Suppose 0*p - 43*p = -264837. Is p prime?
False
Let v = 16 - 1. Suppose -6*t = 3 - v. Suppose t*o - 332 = -94. Is o composite?
True
Let f(n) = 12*n**2 + 25*n + 21. Let x(g) = 3*g**2 + 6*g + 5. Let q(c) = -2*f(c) + 9*x(c). Let r be q(-6). Is r*-1*(-5)/3 a composite number?
True
Is ((-2)/6)/((22/2658)/(-11)) composite?
False
Let y = 52 + -48. Suppose 4*h + 0*l - 434 = l, -5*h + 537 = -y*l. Is h prime?
True
Suppose 5*x - 88556 = -m, -2*m - 8*x = -3*x - 177127. Is m prime?
False
Let w(r) = -5*r + 3543. Is w(0) prime?
False
Suppose -5*n = -5*q + 3010, -5*n = q + 3325 - 321. Let b = 2654 + n. Is b a composite number?
False
Suppose 42 = -5*h + 7. Let c(f) = f**3 + 10*f**2 - 10*f. Is c(h) prime?
False
Let k be (-9)/15 + (-148)/(-5). Let i = k - 29. Suppose 3*a = o - i*o - 197, 3*o + 2*a = 547. Is o prime?
False
Let r(g) be the third derivative of 91*g**4/24 + 2*g**3 + 14*g**2. Is r(5) a composite number?
False
Suppose -2*x = -5*p + 2*x + 75, 0 = -x. Suppose p*q = 20*q - 1655. Is q a prime number?
True
Let a(r) = r**2 - 9*r + 4. Let t be a(9). Suppose -n + p = -5, t*n - 5*p - 1 = 20. Suppose -n*b + 321 = -3*b. Is b a composite number?
True
Let g(k) = -2*k**3 + 53*k**2 - 26*k + 30. Let j be g(26). Is (-1)/3 - (-109780)/j prime?
True
Let y = -13 - -15. Let a be -255 + -6 + 3 + y. Let i = a - -447. Is i a prime number?
True
Suppose 17*t - 3969 - 7540 = 0. Is t a prime number?
True
Let r(w) = -w**3 + 34*w**2 - 51*w + 59. Is r(25) prime?
True
Let h be 3/(5*4/1980). Suppose 5*j + 375 = -6*r + r, 3*r + h = -4*j. Let k = j + 275. Is k prime?
False
Is 31194/(-18)*3/(-3) composite?
False
Let y = 662 + 317. Suppose 37*k - y = 36*k. Is k a composite number?
True
Let d(k) = -2*k**2 + 36*k + 36. Let h be d(19). Is ((-1535)/10)/(h/4) - 0 composite?
False
Let o(j) = j**2 - j. Let x be o(1). Suppose 5*k - 2*b + 15 = x, -36 + 11 = -5*b. Is (-188 + 1)*(k - 0) a composite number?
True
Suppose 0 = 5*s - 4*s. Suppose -4*z + 2 = 2*j, j - 5*j + 3*z + 37 = s. Suppose 0 = 2*m - j + 3. Is m prime?
True
Is 49 - -10804 - (2*3)/1 a prime number?
True
Suppose 98*v - 103*v = -68245. Is v composite?
False
Let w(m) = 163*m**2 - 8*m - 34. Is w(-3) composite?
True
Let b = -17 - -10. Let y(q) be the third derivative of -q**6/60 - 2*q**5/15 - 5*q**4/24 - q**3 + 3*q**2 + 6*q. Is y(b) prime?
False
Let a(o) = -o**2 - 12*o - 11. Let c be a(-11). Let r = 111 + c. Is r prime?
False
Let m be (-3)/5 + 34/(-85). Let p(d) = -36*d**3 + 4 - 4*d**2 - 3 + 2*d**2. Is p(m) a prime number?
False
Let u(v) = 12*v**2 - 17*v - 94. Let f(m) = -8*m**2 + 11*m + 63. Let g(p) = -8*f(p) - 5*u(p). Is g(15) a prime number?
True
Let d(y) = y**3 + 4*y**2 - 2*y + 2. Let p be d(-3). Let k = p - 8. Suppose -w = -25 - k. Is w composite?
True
Let q(y) = 49*y**3 - y**2 + 7*y - 7. Let m be q(4). Let a = m + -1435. Is a composite?
True
Suppose -12096 = 2*i + 4*i. Let c = -619 - i. Is c prime?
False
Suppose 62 = 4*u + 2*a - 4*a, 3*a = 3*u - 42. Is (4 - u)/(0 + -1) + -2 prime?
True
Suppose 6*c + 19 + 17 = 0. Is 2337*(0 - 2/c) prime?
False
Suppose -4*x + 6*f + 15772 = 7*f, -7886 = -2*x + 5*f. Is x a composite number?
False
Suppose -9*z = -23532 - 4179. Is z a prime number?
True
Let h = 10139 - -6078. Is h prime?
True
Suppose -z + 658 = -877. Is z composite?
True
Let t(u) = u - 7. Let f be t(8). Let o = f + 7. Suppose o*q - q - 3647 = 0. Is q composite?
False
Let d be -1*0/(-1) + (-18)/(-6). Suppose 0 = -d*p + 558 + 5259. Is p a prime number?
False
Let l = 90241 + -58478. Is l composite?
True
Let n(r) = 126*r**2 - r + 5. Is n(-6) composite?
False
Let g = -1 + 3. Let m = g - -8. Is (7 - 1)*55/m composite?
True
Let i(o) = 7*o + 4. Let w be i(-3). Let m = w - -162. Let b = m + -62. Is b prime?
True
Let f = 1512 - 986. Suppose -y = -3*y - f. Let c = 528 + y. Is c prime?
False
Let l be -3 + (-155)/1*11. Let m = -989 - l. Is m composite?
False
Suppose -5*j = -5*u + 6*u - 49050, 4*j - 39216 = 4*u. Is j prime?
False
Suppose -a - 55 = 4*o, -5*o - 43 = -3*a + 30. Let h = o - -16. Suppose -3*