a prime number?
True
Suppose -1074 = -4*q + 2*q. Suppose 21*f + q = 24*f. Is f a prime number?
True
Let p(a) = a**3 + 17*a**2 - 4*a - 15. Let d be p(-16). Suppose -4*o = -3*g - d, 22 = o + 3*g - 43. Is o a composite number?
True
Suppose z = -3*z + 316. Suppose 2*i = -4*o + 98, -5*i = -5*o + 3*o + z. Suppose 0 = m - 266 + o. Is m a prime number?
True
Suppose 0*i = 3*i - 9. Suppose i*a = -0*a + 9, -5*r + a = -102. Is r a composite number?
True
Let f(c) = 2*c - 2. Let n be f(4). Let k be 39 + (n - 3) + -1. Suppose k = r - 146. Is r prime?
False
Let z(d) = -560*d + 17. Is z(-1) composite?
False
Let z(x) be the second derivative of -x**3/6 + 83*x**2 - 7*x. Let d be z(0). Suppose 0 = -0*t + 2*t + j - 166, -2*t + j = -d. Is t a composite number?
False
Suppose 5590 = v + 57. Is v prime?
False
Is 9/((-270)/4) + 49714/30 prime?
True
Let w be (-4)/10 - 6/(30/(-547)). Suppose 0 = -h + 579 - 174. Suppose -w + h = 4*g. Is g a composite number?
True
Let t(z) = -47*z**2 + z + 3. Let b be t(2). Let i = 18 - b. Is i composite?
True
Let z(c) = 121*c**2 + 12*c + 6. Is z(10) composite?
True
Let n be (-2 + 1)/((-1)/13). Let u = n - -174. Is u composite?
True
Let c(t) = -2*t**2 + 17*t + 9. Let v be c(9). Let a = 447 + v. Is a composite?
True
Let n be -3 + -1 + -4 + 5. Let r(z) = 26*z**2 + 2*z - 5. Is r(n) a composite number?
False
Suppose 49*s + 94 = 51*s. Is s a prime number?
True
Is (-50)/10*(-112498)/10 + 0 prime?
True
Let y(h) = -1209*h**3 - 7*h**2 - 8*h + 1. Is y(-2) a prime number?
True
Let s = -2853 + 4650. Suppose 1656 = 3*u - s. Is u composite?
False
Let z(q) = -8*q**2 + 54*q + 88. Let j(k) = 3*k**2 - 18*k - 29. Let a(p) = -11*j(p) - 4*z(p). Is a(-14) prime?
True
Let w(i) = -10*i - 27. Let n be w(-3). Let m be ((-20)/(-6))/(4/6). Suppose m*d - n*d - 154 = 0. Is d prime?
False
Let g(f) = 1764*f**3 + 2*f**2 - 5*f - 4. Is g(3) composite?
True
Let a(b) = -10*b**3 - 18*b**2 + 7*b + 62. Is a(-13) prime?
True
Let a be -5*4/(-10) - 1076. Let n = -167 - a. Let t = n - 534. Is t a composite number?
False
Is (3/3)/(47/957343) a composite number?
False
Let i(l) = 502 - 155 + 242 + 2*l**3 - l**3. Is i(0) a prime number?
False
Let m(j) = 2 - 329*j + 49*j + 3 - 174*j. Is m(-2) prime?
False
Suppose 0 = -3*m + 2*o + 1317 + 830, -m - 3*o + 701 = 0. Is m prime?
False
Let q(h) = -h**3 - 4*h**2 + 9*h - 5. Let n(v) = 5*v**2 - 2*v - 2. Let f be n(2). Let u be f/(-49) + (-54)/7. Is q(u) composite?
False
Suppose -5*b - 269 = 1081. Let d = -151 - b. Is d prime?
False
Suppose -3*g - g - 4*x = 4, 3*x + 11 = -g. Suppose 3*a - 137 = -5*d + 19, -a + 35 = -g*d. Is a a prime number?
True
Let t be 2/6 - (-69)/9. Let y = 7 + t. Is y/(-20) - (-647)/4 prime?
False
Let x(f) = -f**3 + f**2 + 2*f + 605. Let g be x(0). Let p be g/(-15) + 1/3. Let l = 15 - p. Is l a composite number?
True
Is (-2)/((-4)/(-6))*3967/(-3) a prime number?
True
Let j be 38/9 + (-14)/(-18) + -1. Suppose 0 = -2*o + 5*t + 673, j*t - 22 = 4*o - 1350. Is o composite?
True
Suppose -v - 36 = -4*v. Suppose 3*n + 2*h = 4630, -2*h = h + v. Is n a prime number?
False
Let b be ((-299)/52)/((-2)/48). Let d be (-237)/(-4) - (-2)/(-8). Let i = b - d. Is i a composite number?
False
Suppose -411*r - 1327 = -412*r. Is r a prime number?
True
Suppose -11*w - 5*t = -8*w - 25368, 2*w - 3*t = 16931. Is w composite?
False
Suppose r + 1044 = 4*b, -r - 2*r = -4*b + 3172. Let q = -878 + 137. Let d = q - r. Is d a composite number?
True
Let t(w) = 3*w**2 + 6*w + 2. Let c be t(5). Suppose -5*i = 5*l - 205, 2*i = 5*i - l - c. Is i a composite number?
False
Let h(m) = 119938*m - 17. Is h(1) prime?
True
Is -3 + (-2 + 2172/9)*150 a composite number?
False
Let x(a) = 19*a - 9. Let l be x(-4). Let c = 836 - l. Is c prime?
False
Suppose 3*s + 2*m = 3563, 4*s - 4*m - 1664 = 3080. Is s a composite number?
False
Let u = -17 + 19. Let b(f) = -f + 11. Let v be b(7). Suppose -3*i - 2 = -v*i, -3*i = -u*h + 142. Is h prime?
False
Let a(o) = 3*o**3 + 2*o**2 - 1. Let x be a(1). Suppose -x*f + 4830 = h + 1027, 0 = 4*f + 5*h - 3799. Is f composite?
True
Let g(o) = 240*o**2 - o - 15. Is g(-4) composite?
True
Suppose -4*x = 5*w - 49, 2*x - 2 = 5*w - 15. Let d = 6 - x. Suppose d = -4*z - 3*s + 202, 3*z + s = -2*z + 247. Is z a prime number?
False
Suppose -4*f + 8025 = 5*z - 8234, 2*z - 3*f - 6499 = 0. Is z composite?
False
Let g(s) = -16*s - 11. Let d(m) = -m - 1. Let u be (-1 - -4)/(-1) - -7. Let w(v) = u*d(v) - g(v). Is w(5) a prime number?
True
Let o(u) = -5*u**2 - u + 344. Let c be o(0). Suppose -2*r + 2*f + c = 0, -4*f - 683 = -4*r + f. Is r a composite number?
True
Suppose -2*o = o - 240. Let p be o/(-14)*6*7. Is (-7)/(1 - p/(-237)) a composite number?
True
Let u be (-2)/9 + (-126912)/(-54). Is u/4 + 1*(-1)/2 a prime number?
True
Let u(t) = 50*t**3 - 4*t**2 - 4*t + 4. Let l(p) = -101*p**3 + 7*p**2 + 8*p - 9. Let b(h) = -3*l(h) - 5*u(h). Is b(3) composite?
True
Let j(g) = 4*g - 15. Let q be j(-9). Let z = q + 84. Is z a prime number?
False
Suppose 5*c - 2 = 23, 3*l = -5*c + 61. Let y(x) be the second derivative of x**4/12 + 13*x**3/6 + 11*x**2/2 - x. Is y(l) a prime number?
True
Is 718/(12/(-30)*-1) a composite number?
True
Let l(z) = 49*z**2 + 3*z - 1. Let q be l(-2). Let u be -2 + (q + -2 - -1). Suppose 4*n - u = 82. Is n composite?
False
Let j(v) = 129*v - 5. Let y(l) = -l**3 - 2*l**2 - 2*l - 2. Let i be y(-2). Is j(i) a composite number?
True
Let m = -33 + 5. Is ((-471)/12)/(7/m) composite?
False
Suppose 3*d + 0*k - 6091 = 4*k, 2*d + 4*k = 4074. Is d prime?
False
Suppose -11*i + 799 = -510. Is i prime?
False
Suppose 0 = 4*r - 2*r. Suppose -185 = m - r*m. Let d = -100 - m. Is d a prime number?
False
Is (31303/2)/(-12 + (-275)/(-22)) composite?
True
Suppose -46143 = 12*d - 199479. Is d a composite number?
True
Let w = 35662 - 16539. Is w a composite number?
True
Let c = -6863 - -13152. Is c a prime number?
False
Let h(o) = 0*o**3 + 2*o - 2*o**2 + 8*o**2 - 8 - o**3. Let k be h(6). Suppose -76 = -k*y + 2952. Is y prime?
True
Suppose -5*r - 2*c - c = 4, 0 = -3*r - 2*c - 3. Suppose p - r = 15. Suppose 4*w = -0*w - p, 5*i - w = 449. Is i prime?
True
Let a(g) = 14*g**2 - 3*g - 54. Let p be a(-19). Suppose s + 157 = 4*f + 1176, 5*s - f = p. Is s composite?
True
Let l = 477 - -1874. Is l a prime number?
True
Is 4487/(-21)*-3*1 prime?
True
Let c(n) = -2*n**2 + 26*n + 35. Let x be c(14). Let u(o) = 6*o**2 - 2*o**2 - o**3 + 3 + 4*o**2 + 9*o. Is u(x) a composite number?
True
Let m = 43 + 284. Suppose -3*u - 2*u - 1555 = -5*k, k = 5*u + m. Is k a prime number?
True
Suppose 120447 = 48*m - 351825. Is m a composite number?
False
Let x = -3 + 7. Let q(v) = -2*v**3 - 18*v**2 + 20*v + 2. Let z be q(-10). Suppose -z*m + 1294 = -3*a + x*a, -m - a + 647 = 0. Is m a prime number?
True
Let b = -21 - -16. Is b + 2 + 11 + 389 prime?
True
Let a(f) = 295*f - 25. Is a(56) prime?
False
Let q(n) = -43*n + 2. Let x(o) = -2 - 2 + 128*o - 1 - 2. Let w(y) = -11*q(y) - 4*x(y). Is w(-5) a composite number?
True
Let m(c) = 11*c**2 + 12 - c**3 - 4*c - 5*c - 2*c. Let t = -72 - -82. Is m(t) a composite number?
False
Let x be ((-69)/(-1))/((-12)/(-56)). Suppose -5*u = -4*i + 647, -u + x = 2*i - 5*u. Is i prime?
True
Let l = -1 + 4. Suppose g = 6 + 20. Suppose -u - g = -l*u. Is u a composite number?
False
Let p(h) = -303*h + 16. Let i be p(-4). Suppose 0 = -20*v + 16*v + i. Is v a composite number?
False
Suppose 2*r + 3499 = 15427. Suppose h - q = 1194 + 790, -r = -3*h - q. Is h a prime number?
True
Let l = 8212 - 5775. Is l a composite number?
False
Let u be (6/(-18))/((-3)/216). Is (2 - 0)*(-4)/u*-2553 prime?
False
Suppose -6*c + 8*c - 4 = 0. Suppose -c*b = -6*b - 1716. Let r = -224 - b. Is r a prime number?
False
Let h = 46382 - 21495. Is h a composite number?
True
Suppose -15 = -5*o - 35. Is (22/(-3))/(o/318) prime?
False
Suppose -12*t - 5364 = -3*t. Let w = -409 - t. Is w prime?
False
Let o be 2*((-39)/6 - -4). Let k be ((-4)/o)/((-1)/5). Is 160 - k - 1/1 prime?
True
Let f = -51174 + 73645. Suppose -8415 = 8*b - f. Is b a composite number?
True
Let r = 165 - -524. Suppose r = 11*p - 2468. Is p prime?
False
Let x(f) = 5*f + 4*f + 12 - 8*f. Let a be x(0). Is (-4)/(-6) + 1876/a composite?
False
Suppose 0 = -21*h + 27*h - 66. Suppose 7*o + 2936 = h*o. Is o a composite number?
True
Let l = 1137 - -32