94 = 23*o - 21*o. Let k = o - -23648. Is k prime?
True
Let h = 2 + 61. Let p = h - 48. Is 1522 - 2/6*p a prime number?
False
Let p(n) = 5*n**2 + 5*n. Let w be p(-1). Is ((w + -7)*-5342)/2 a composite number?
True
Suppose -51714110 = 247*t - 90879717 - 166410270. Is t composite?
False
Suppose -370991 = -3*u - 5*s, 18*s - 14*s = -u + 123645. Is u a composite number?
False
Let b(r) = 13393*r - 2784. Is b(19) prime?
False
Let m(i) be the first derivative of -i**4/4 - 2*i**3/3 + 3*i**2/2 + 5*i - 10. Let y be m(-2). Is (y/(-2))/(8/1328) a composite number?
False
Suppose -397 = 6*a - 397. Suppose 96*i - 97*i + 787 = a. Is i prime?
True
Let x(t) = -5*t**3 - 13*t - 5. Let v be (-2 - -5)*5/(-3). Let q be x(v). Let w = q + -294. Is w a composite number?
True
Suppose 0 = i + 2*d - 4 - 43, -5*d - 136 = -4*i. Let y be (14794/i)/(2/6). Suppose 4*h + 4*g - 2228 = 0, y = 2*h - 2*g + 24. Is h prime?
True
Suppose -40*w + 151480 = -34*w - 2*s, 2*w - s - 50491 = 0. Is w a composite number?
True
Let a(x) = -197*x**3 - 3*x**2 - 35*x + 150. Let m(r) = -591*r**3 - 9*r**2 - 106*r + 450. Let z(o) = -7*a(o) + 2*m(o). Is z(5) composite?
True
Let x(j) = j**3 + 9*j**2 + 6*j - 10. Let t be x(-8). Suppose 6*p - 2*p = 0. Suppose p = -t*k + 1035 + 2967. Is k a composite number?
True
Suppose -859*y + 833*y = -8690006. Is y a composite number?
False
Let z(u) = 2*u**2 - 5*u + 7901. Is z(0) a composite number?
False
Suppose -3*s + 4*w = s - 755940, 10*w = -3*s + 566903. Is s composite?
True
Let o be (9/(-27))/((-1)/6). Suppose -3955 + 755 = -o*f. Let s = f - 1081. Is s composite?
True
Let l(m) = 4*m**3 + 46*m**2 - 128*m + 371. Is l(38) composite?
False
Let k = -38601 - -54100. Is k prime?
False
Suppose 189*b - 191*b = -194. Is b a prime number?
True
Let u be 4/(-14) + 206/(-14). Let s(a) = 83*a**2 + 16*a - 234. Let f be s(12). Is f/u*1/(-2) composite?
False
Let f(s) = -4*s**2 - s**2 + 4*s**2 + 0*s**2 - 10 + 8*s. Let t be f(7). Is 442 + 40/(-12) + t/(-9) composite?
False
Suppose 0 = 5*g - 3*t - 4898, 3912 = 4*g - 0*t + 4*t. Suppose 7*r - 14064 - g = 0. Is r prime?
False
Let z(a) = -a**3 - 8*a**2 + 16*a + 47. Let p be z(-13). Let n = p - 391. Is n composite?
False
Let j = 36 + -32. Suppose 75 = j*f - 189. Let s = -27 + f. Is s a prime number?
False
Suppose -k - 4*x + 384 = k, 4*x + 904 = 5*k. Suppose 191 = 25*b - k. Is b a composite number?
True
Suppose 3*b = 44*w - 45*w + 79582, -238740 = -3*w - 3*b. Is w a composite number?
False
Is 604162 + (-180)/18 - -19 a prime number?
True
Let y(g) = -g**2 + 2*g + 74. Let i(o) = -o**2 - 2*o + 26. Let w be i(-6). Suppose x - w*x + 5 = 2*a, -5*a - 2*x + 10 = 0. Is y(a) composite?
True
Let q = 5031 + 21200. Is q composite?
True
Suppose -31*t + 26*t + 24960 = 0. Suppose 0 = 2*q - 2*i + i - 2482, -4*q + t = 5*i. Is q composite?
True
Let b be (-2 - 12/(-4)) + -2. Let g(u) = -u**3 - 2*u - 1. Let m be g(b). Is ((-323)/34)/(m/(-188)) a composite number?
True
Let s be 8/(-64) - 4862/16. Let q = 1095 - s. Is q prime?
True
Let z(l) = l**2 - 5*l - 12. Let t be z(7). Suppose -24 = -2*m - 5*k, -3*k + 4 = -t*k. Suppose -m*i + 742 = -36. Is i a prime number?
True
Suppose 19*v - 195368 = -55889. Suppose 40*t = 37*t + v. Let b = -1302 + t. Is b a composite number?
True
Let g = 54 + -48. Suppose 113 = 6*z + 47. Is 608 + (9 - z)/((-4)/g) prime?
False
Suppose 0 = -9*a + 5488 + 18218. Suppose u - a = -557. Is u a composite number?
True
Suppose -8 = 168*j - 170*j. Let l(v) = v**3 - 6*v**2 + 9*v - 4. Let h be l(j). Suppose h*u - 3165 = -5*u. Is u a composite number?
True
Let h(m) = m**3 + 22*m**2 - 22*m + 10. Let x be h(-23). Let s = -37 - x. Is (1126/3)/((-16)/s) a prime number?
True
Suppose -3*q - 39 + 18 = 0. Let j(x) = x**2 + 11*x + 28. Let b be j(q). Let s(d) = -d**2 + 6*d + 1154. Is s(b) a composite number?
True
Let u be 3*4/(-6) - -82. Suppose -365 = -5*p - u. Let h = 96 - p. Is h a composite number?
True
Is ((59478/24)/(-23))/(2*(-1)/104) composite?
True
Let q(a) = 731*a**2 + 9*a - 10. Let s be q(5). Suppose 0 = 4*b - 44106 + s. Is b prime?
True
Is (67/67)/((-3)/(-991671)) a composite number?
False
Suppose -4*f - 10 = -18. Let o be 3/f*(-24)/(-18). Suppose -o*c + c = -311. Is c a composite number?
False
Let i = 575 - 114. Suppose -4*t + 2049 = i. Suppose 0 = w + 4*v - t, 3*v + 5 = 20. Is w composite?
True
Let a = 63495 + -21458. Is a prime?
False
Suppose -a - 136187 - 200170 = 0. Is (-4)/(-5) - a/35 a composite number?
True
Suppose -3*x - x + 8 = 0. Suppose -2 = -x*h - 0. Is 10 + -6 + -4 + (1218 - h) a prime number?
True
Let f = 2646108 - 1786406. Is f composite?
True
Let c(z) = -2*z**2 + 14*z - 28. Let p(f) = f**2 - 7*f + 14. Let v(a) = 6*c(a) + 13*p(a). Let i be v(5). Suppose i*t + 7*t = 6523. Is t a composite number?
False
Let o(r) = -r**3 - 9*r**2 + 25*r + 25. Let m be o(-11). Let q(c) = 13*c**2 + 79. Is q(m) composite?
False
Suppose 0 = -7*j - 13*q + 11*q + 952101, -408029 = -3*j + 2*q. Is j composite?
False
Let a(l) = 517*l**2 + 44*l - 3. Let c be a(2). Let y = c - 496. Is y composite?
False
Suppose -32 = 6*u - 10*u. Is -9*8/(-288) - (-13094)/u a prime number?
True
Let d(b) = 103*b + 140. Let n(j) = 26*j + 35. Suppose 2*s = 5*u + 10 - 1, 4 = -4*u. Let y(a) = s*d(a) - 9*n(a). Is y(-12) prime?
False
Let c(f) = f + 14. Let a be c(-11). Suppose a*x - 3*p - 29040 = 0, 3*p = 3*x - 2*p - 29046. Is x composite?
False
Let p(m) be the third derivative of 33*m**4/8 - 10*m**3/3 - 14*m**2. Suppose -3*l - 2*x = -31, 3*l - 5*x = -2*l + 10. Is p(l) a prime number?
True
Let w(b) = 6*b**2 - 46*b + 61. Let a be w(23). Let n = -118 + a. Is n a composite number?
True
Let p(w) = 10*w**2 - 2*w + 1. Let c be p(1). Suppose -z - c*z = -39070. Is z a composite number?
False
Let c be 3/(-6) + 2/(-4). Let j be 0/c + 26 + -30. Is -2 - 2/j*1270 composite?
True
Suppose 4*p = 8, 1570*o - 1565*o - 777507 = -p. Is o prime?
True
Let l = 350 + -199. Let u = l - -9382. Is u a prime number?
True
Let g be -1 - 2 - (4 - 12012). Suppose 10*v = 5*v + g. Let i = -1040 + v. Is i a composite number?
False
Let j be (332/5)/((-4)/(-10)) + -3. Let a = j + 50. Let m = a - 2. Is m composite?
False
Let g(h) = h + 44. Let f be g(45). Suppose -122 - f = -v. Is v a composite number?
False
Let q(b) = 15*b + 230. Let m be q(-15). Suppose m*j = -4*n + 66557, 2*j + n - 26627 = -2*n. Is j prime?
True
Suppose 0 = 57*w - 14*w - 11145885 - 9713974. Is w composite?
False
Suppose 3*m + 84 = -3*l + 6*m, 5*m - 44 = l. Let h be -1 - 1 - (l + -11139). Suppose -g + 4*g + 2237 = u, 3*g + h = 5*u. Is u composite?
True
Suppose q = b + 19 - 5, -3*b = 2*q + 27. Let k be (-3 - b)/(6/(-9)). Is (1 + 435)*k/(-48) a prime number?
True
Let n be (-4 - 1283) + 0*(3 - 2). Let p = 551 + n. Let z = p + 1233. Is z composite?
True
Let f(a) = -78*a - 390. Let q be f(-5). Let n(k) = 26*k**2 + 4*k + 3. Let d be n(-4). Suppose -2*t - 3*z + d = -t, q = -2*t + 3*z + 842. Is t composite?
True
Let w(k) = -k**2 - 13*k - 6. Let l be ((-3)/(-3))/(2/(-24)). Let z be w(l). Suppose -5*y = -2*s + 184, -z*s + 3*s - 4*y = -253. Is s a prime number?
False
Let c(l) = -l**2 - 12*l - 7. Let u be c(-11). Let z(m) = 504*m - u + 185*m - 59*m + 101*m. Is z(1) a composite number?
False
Let g = -14 + 16. Let k(q) = 6*q**3 - 4*q**2 + 13*q + 6. Let v(w) = 3*w**3 - 2*w**2 + 7*w + 3. Let a(z) = g*k(z) - 5*v(z). Is a(-8) a prime number?
True
Let d be (8 + -11)/(-1) + 2. Suppose -3*i + 21 = 3*s, 4*s - 5*i + 0 + 8 = 0. Suppose -1311 = -s*z + 4*g, 5*z = 2*z + d*g + 1311. Is z prime?
False
Suppose -o = -7 + 1, -5*o - 189421 = -s. Is s a composite number?
True
Is 1/2 + -569*(-29)/2 a composite number?
True
Let v(x) = 6161*x - 212. Is v(5) composite?
False
Let m be (-24 + 4)/(-10) + (2935 - 1). Let r = m + -757. Is r a composite number?
False
Suppose 6*z = -5*r + 4143 + 42932, -2*r = -2*z - 18808. Is r a composite number?
True
Let f = -160307 - -227194. Is f a prime number?
False
Let t(l) = 975*l - 31. Let c be t(5). Let q = 2375 + c. Is q a prime number?
True
Is (-15)/((-2192183)/156583 + 14) composite?
True
Let x(o) = 10*o**3 - 5*o**2 + 5*o - 1. Let h be x(2). Suppose 345 = 3*i + h. Suppose 3*b - 314 = -i. Is b a composite number?
True
Let k(i) = -17*i**3 + 2*i**2 + 2*i - 4. Let u = 53 - 41. Suppose 3*g = -g - u. Is k(g) a prime number?
True
Let q(j) = -5*j**2 - 12*j + 5