36. Is s a prime number?
True
Let a(o) = 2825*o + 132. Let s be a(-16). Is (61 + s)/(2/(-2)) a composite number?
False
Suppose 0 = -34*o + 177479 + 600747. Is o prime?
False
Let w(j) = -31*j**2 + 8*j + 2. Let q(s) = -61*s**2 + 15*s + 6. Let p(t) = 2*q(t) - 5*w(t). Is p(-5) prime?
True
Suppose -r = f - 3*r - 1, -5*r = -20. Suppose 7*t = 4*t - f. Is 596 - t - (-1 - -3) composite?
True
Let q(k) = -934*k**2 - 12*k - 29. Let b(f) = -2801*f**2 - 35*f - 86. Let u(x) = 2*b(x) - 7*q(x). Is u(-3) a composite number?
True
Let o be ((-1)/(-2)*-3)/((-11)/(-22)). Let d be -3*6/9 - (o - 3). Suppose -79 = -d*n + 1125. Is n a composite number?
True
Let m(g) = -110*g + 241. Let t = 107 - 129. Is m(t) a prime number?
False
Let k(z) = 14479*z - 5619. Is k(20) a prime number?
True
Let i(z) be the third derivative of -z**6/40 + 2*z**5/15 + 3*z**4/8 + z**3/2 + 5*z**2. Let p(c) = 14*c + 399. Let v be p(-29). Is i(v) a composite number?
False
Suppose -346*f + 363*f - 1112667 = 0. Suppose 16*q - f = 9893. Is q a prime number?
False
Suppose 2*m - 390498 = -5*x, -4*m + 781028 = 267*x - 265*x. Is m composite?
False
Let h(l) = -2*l**3 + 30*l**2 + 2*l - 18. Let d be h(15). Is 2 + (-15)/d - 320419/(-44) composite?
False
Let z be 3 - (-8)/(-12)*3. Is z/((-5)/2) + 1927340/100 prime?
True
Let i(q) = q**3 + 2*q**2 - 2*q. Let c be i(-2). Suppose -4*l = 2*z - 2*l - 16, c*z - 5*l = -4. Suppose -2*m - z*m = -942. Is m composite?
False
Suppose -362*f + 13923579 = -293*f. Is f a prime number?
True
Let f be 0 - ((-4)/5)/((-8)/(-80)). Suppose 0 = -2*h + 4, -5*x + 3*h - f*h = 155. Is (-6)/x + 28535/55 a composite number?
True
Suppose 8*a - 1 - 47 = 0. Suppose 0 = a*u + 16055 - 54389. Is u composite?
False
Let n = 626628 - 339539. Is n prime?
False
Let w(k) = k + 14. Let g(f) = 2*f - 8. Let i be g(2). Let q be w(i). Suppose 0 = 11*h - q*h - 205. Is h prime?
False
Suppose 16*c - 393 - 439 = 0. Let v = -53 + c. Is ((-5872)/40 - -3)*(-6 - v) a prime number?
True
Suppose -n - 2 = 2*g, -4*g + 8 = 2*n + 2*n. Suppose -28*j = -22*j - 90. Suppose 0 = n*w - j*w + 1683. Is w composite?
True
Let t be 10/(-30)*(3 + 0) - -2615. Let p = t - 1357. Is p composite?
True
Let v = 67 + -62. Suppose -3*n - 15 = 0, v*n = -5*t + 3*t + 141. Is t prime?
True
Let u(o) = 23*o**2 + 9*o - 15. Let j be u(-9). Suppose -2*v = 4*d - 5602, j = 3*d - 4*v - 2418. Is d prime?
True
Let o be (-1 + -2)/(12/8) + 0. Let t be o*6/8 - 16772/(-8). Suppose -y = 4*y - t. Is y a composite number?
False
Let s = -71 + 69. Let t be ((-6)/9 - s)/(2/66). Suppose -46*r = -t*r - 106. Is r prime?
True
Let g(s) = -115037*s - 64. Is g(-5) a composite number?
True
Let n be 28 - 36 - (-2 - 2). Is ((-4614)/n)/((-57)/(-266)) prime?
False
Let b(r) = 52289*r**3 - 2*r**2 - 2*r + 4. Is b(1) a composite number?
False
Let n = 8 + -2. Suppose n*f - 1250 = 4*f. Let h = -272 + f. Is h a composite number?
False
Let b(m) = -3*m + 18. Let p = 22 + -30. Let f be b(p). Is -2*3/f + 22720/35 prime?
False
Suppose -143 = -3*q + 172. Is (1912/20)/(6/q) a composite number?
True
Suppose -5*l - 78166 = -27*f + 26*f, -3*f + 234498 = 2*l. Is (-22)/(-55) - f/(-10) a composite number?
False
Let a(m) = -m**3 + 2*m**2 + 121*m - 13. Is a(-36) a composite number?
False
Let f = -2330 - -3536. Let i be 106*(3/5 + 86/(-10)). Let l = f + i. Is l a composite number?
True
Let q(u) = 36*u**3 + 2*u**2 + 3*u - 3. Let d be 2/8 - (-6)/8. Suppose -3*g + 5 = -d. Is q(g) a prime number?
False
Let q(d) = -d**2 + 4*d + 9. Let b be q(6). Let h(g) = 33*g**2 + 7*g - 1. Let c be h(b). Let n = c - 144. Is n a prime number?
True
Let l be 2/(-3 + 1088/362). Suppose -p + 133 + l = 0. Let g = -272 + p. Is g a prime number?
True
Let m(j) be the first derivative of 9/2*j**2 + 25 + 17*j**3 + j. Is m(-4) prime?
False
Suppose -18*x + 7*x = -242. Suppose x*t = -3*s + 25*t + 51876, -5*s = t - 86454. Is s a composite number?
False
Let m(v) = -v**3 + 48*v**2 - 82*v + 42. Is m(25) composite?
True
Let j(z) be the third derivative of z**5/4 + 11*z**4/12 - 5*z**3/2 - 42*z**2. Is j(-22) a composite number?
False
Let j = -85 - -92. Let d(v) = 15 + 10*v - j - 9. Is d(11) prime?
True
Let h be ((-7892)/(-1))/(84/105). Let t = h + -3512. Is t prime?
True
Let l(r) = r**3 - 31*r**2 + 4*r - 115. Let z be l(31). Let t(c) = 1143*c + 316. Is t(z) composite?
True
Let p = 1310965 - 917976. Is p prime?
False
Suppose 99*n - 12*n = 9083040 - 2746917. Is n prime?
False
Suppose 32*d + 137 = -1079. Let b(t) = -2*t**2 + 4*t - 3. Let w be b(4). Let v = w - d. Is v composite?
False
Let z = 10857 - -34520. Is z prime?
True
Let o(u) = -256*u - 3. Let k be o(4). Let w(l) = -39*l - 2. Let s be w(6). Let b = s - k. Is b prime?
False
Suppose -m - 5*v + 470 = 153, -2 = -v. Let f = -206 + 371. Let n = m - f. Is n a prime number?
False
Let y(g) = 30*g**3 - 5*g**2 + 45*g - 119. Let a be y(3). Let r(s) = 3*s - 3. Let b be r(2). Suppose -5*m + a = 3*i - b*m, -232 = -i + 5*m. Is i composite?
False
Let s(i) = 3*i - 21. Let x(l) = -l + 1. Let k(z) = -2*s(z) - 2*x(z). Let j be k(13). Is -4*3/j - -7*130 a composite number?
False
Suppose 5*n + 167 = 122. Is -3*64132/(-8)*(-6)/n composite?
False
Suppose 10*h - 2914 - 6696 = 0. Suppose -5*o = -2996 + h. Is o a composite number?
True
Suppose -4*h = -4*c - 535556, 53*h - 51*h + c - 267784 = 0. Is h a prime number?
False
Suppose 0 = -2*j - 35*j + 148. Suppose -488 + 9678 = t - 2*l, j*l = -2*t + 18348. Is t prime?
False
Is (1/2)/((-301)/(-65453654)) a prime number?
True
Let h(v) = 3*v**2 + 3*v + 7. Let j be h(-2). Suppose j*x - r - 26442 = 10*x, -8798 = -x - 5*r. Is x prime?
False
Let a be -7*(-1 - -3)*-1. Let z(b) = 2*b**3 - 9*b**2 - 16*b - 9. Is z(a) prime?
True
Let y = -143 + 145. Suppose w - 4121 = 33*x - 38*x, -y*w - 5*x = -8232. Is w composite?
False
Let p(c) = -8*c - 147. Let r be p(-19). Suppose 5*l = m + 1702, -r*l + 5*m - 3*m = -1699. Is l composite?
True
Let k be 4/3*13 + 64/(-48). Is 45354/(-2)*(k/6 + -3) composite?
False
Suppose -7 = 7*s - 21. Let c be 1 - s/4*320/(-16). Suppose -c*y = -7*y - 1724. Is y a composite number?
False
Let s = -106413 + 156968. Is s a prime number?
False
Suppose -2*p + 13*f - 15*f = -38692, -58063 = -3*p + 2*f. Is p a prime number?
False
Let w be 624/30*3765/2. Suppose -2 = 9*g - 10*g, 2*x - 5*g = w. Is x a prime number?
True
Let l = -86 + 125. Suppose d + 14 = 4*c, -6*d + 4*c = -d - 10. Suppose -l = -d*w + 1155. Is w a prime number?
True
Suppose 0 = 3*z - 6*z - 9. Is 415 - 0/(15/z) - -4 composite?
False
Suppose 15*t - 120913 - 117617 = 0. Is t composite?
True
Let w(h) = -7*h**3 - 21*h**2 - 20*h - 40. Let b(q) = -9*q**3 - 22*q**2 - 21*q - 37. Let u(r) = -2*b(r) + 3*w(r). Is u(-15) prime?
False
Let b(f) = -3*f - 10. Let g be b(-4). Suppose -16 = -4*x, 4*x - 10 = g*q + 6. Suppose k - 2022 = -4*j, q*k + 2517 = 5*j - 4*k. Is j a composite number?
True
Let o(z) = -21*z - 130. Let b be o(-7). Suppose -11232 = -b*k + 5377. Is k a composite number?
False
Suppose -4*v + 4 = 4*j, 3*v = -j - j. Suppose -3*y + 166 = 5*i, -j*i = -0*y - 2*y - 111. Let x = i - -24. Is x a prime number?
True
Suppose -j - 6 = -3*i, 13*j + 2*i = 8*j + 38. Let x(g) = 12*g**3 - 9*g**2 + g + 7. Is x(j) a composite number?
False
Is (-245932)/(-16) + (4/28 - 6/(-56)) composite?
True
Let h(b) = 6*b**3 - 38*b**2 - 67. Is h(18) prime?
True
Suppose 2*r = -3*c + 754397, 1140446 = 5*r + 4*c - 745564. Is r a prime number?
False
Let u be 2/(-4) + (-2102472)/(-48). Suppose -u + 4645 = -4*p. Suppose -4*v + 5*n = -p, 5555 = 4*v + n - 4204. Is v a composite number?
False
Suppose 22*b + 32435 - 5969 = 0. Let m = 8422 + b. Is m composite?
False
Suppose 2*f + 82863 = 3*f - 4*c, 3*f + 5*c - 248674 = 0. Is f a composite number?
False
Let d = 445 - 453. Let r(i) = -2559*i - 173. Is r(d) composite?
True
Let y(g) be the second derivative of g**5/10 + g**4/12 - g**3/6 + 47*g**2/2 + 2*g + 5. Is y(5) a composite number?
False
Suppose -7*h + 9*h - 8 = 0. Suppose -h*w - 3*x = x - 27776, 0 = w + 4*x - 6935. Is w a prime number?
True
Let h(q) = 41*q**2 + 31*q + 3. Suppose -2*y + w + 10 = 0, -5*y + 17 = -w - 8. Suppose -y*k + 15 = -4*l, 0 = -2*l + k - 2*k - 25. Is h(l) a composite number?
False
Let o be (-31)/(-62) - 2034/(-4). Suppose 3*z + z + 2842 = 2*q, 5*q - 7098 = 3*z. Suppose 4*i + 3*t - o - q = 0, -i + 4*t = -463. Is i a compos