t m = o - -112. Is m prime?
False
Let i = -494 - -2131. Is i a prime number?
True
Is (-4)/46 - 2754050/(-874) a prime number?
False
Suppose 4*m - 1251 = -f, -2*m + 2326 + 170 = 2*f. Is f prime?
False
Let m be (96/80)/(2/5). Suppose 2*u - 3*r = -4*r + 1345, 0 = -m*u + 5*r + 2024. Is u a prime number?
True
Let u(b) be the second derivative of -5/2*b**2 - 1/2*b**4 + b**3 + 0 + 1/20*b**5 - 4*b. Is u(6) prime?
True
Let v(b) = -640*b**3 + 3*b**2 + b - 1. Suppose -20*h + 15*h - 5 = 0. Is v(h) composite?
False
Is ((-20716)/(-6) - -1) + 70/(-105) a composite number?
True
Let z be (1/3)/((-2)/(-36)). Suppose 374 = z*b - 4*b. Is b a prime number?
False
Let s = 0 - -3. Suppose -s*d - d + 844 = 0. Is d a prime number?
True
Let x be 2/4 + (-503)/(-2). Let b = -121 + x. Is b composite?
False
Let a be (-33 - (3 + -1)) + 3. Let f = a + 9. Is 3 - 3 - f - 0 a prime number?
True
Is (-61798)/(-18) + (-30)/135 composite?
False
Suppose z + 13007 = 5*d - 5692, 5*d + 2*z - 18687 = 0. Is d a composite number?
False
Let p(w) = -w**2 + 9*w - 2. Let c be p(8). Let d = c - 4. Suppose 2*k = -4, d = -2*r - 4*k - 0*k. Is r composite?
False
Is (14592 + -9)*4/12 prime?
True
Let k = 531 + -244. Suppose -12*m = -11*m - k. Is m a prime number?
False
Let x be (-6)/28*-4*-7. Let c be x*2/(-4) - -45. Suppose c = 3*m - 129. Is m a prime number?
True
Let k be 354*(-5)/(-10) + 1. Suppose 45 = l - k. Is l prime?
True
Let r = -3451 - -6172. Is (-1 - r)/(0 - 2) a composite number?
False
Let y(p) = -218*p - 6. Let s be y(-2). Suppose -l = 4*f - 173 - 36, 2*l + 2*f = s. Is l a prime number?
False
Is (-1)/(((-2)/2)/10559) a composite number?
False
Suppose 0 = -0*x + 2*x - 8616. Suppose -5*h + 5385 = -2*f, h - 5*f - x = -3*h. Is h a composite number?
True
Suppose 5*k = -t - 2524, 5*t + 1122 = -3*k - 388. Let h = k - -26. Is 1/(2/h)*-2 a composite number?
False
Let g be ((-126)/(-5))/((-3 + 0)/(-30)). Let f = g + -125. Is f a prime number?
True
Let j(d) = -11*d**2 - 19*d - 84. Let b(x) = 3*x**2 + 5*x + 21. Let f(k) = 9*b(k) + 2*j(k). Is f(9) a prime number?
False
Let s(v) = 0*v - 6*v + 365 + 7*v. Let t be s(0). Suppose -2*z + t = -z. Is z prime?
False
Suppose 3*h + 5*z + 16 = -15, 4*z = 3*h - 14. Is (h + 1)/(((-3)/627)/1) prime?
False
Let o(z) = z**3 + 39*z**2 - 26*z - 115. Is o(-39) prime?
False
Suppose -23*w = 2*w - 85325. Is w a prime number?
True
Suppose 3*q + 9 = 0, -3*q - 17 = 3*r + 100. Let c = 683 - r. Is c composite?
False
Let a = 22034 - 12312. Is a composite?
True
Let c be (21/(-6) - -3)/((-2)/60964). Suppose -n - 3*i = -6*n + c, 5*i = -5*n + 15225. Is n prime?
False
Let q = -212 + 68. Let a = q - -287. Is a prime?
False
Let f(n) be the first derivative of -n**4/4 - n**3 - n**2/2 - n - 7. Let g be f(-3). Suppose -g = q - 151. Is q prime?
True
Let p be (-1791)/3 + (-8 - -4). Let a = p - -1254. Is a a composite number?
False
Suppose 8 = 2*d - 8. Let b(v) = v - 1 - 53*v + 6 - d. Is b(-8) a prime number?
False
Suppose 9 = -c + 11. Suppose -2*w - 5*g = -0*w - 326, -3*w + 489 = c*g. Is w composite?
False
Let d be (-4)/(-6) + 30/9. Let u be (-6 + d)/((-4)/6). Is 69*(0 + u + -2) a composite number?
True
Let n be 31*(-4)/(-24) + (-2)/12. Suppose 2*w + r = 2279, 2*r = -n*w - r + 5698. Is w composite?
True
Let k(h) = -4719*h - 287. Is k(-4) a prime number?
False
Let o(y) = -7*y**3 - 5*y**2 + 3*y - 82. Is o(-15) prime?
False
Let c be 6/33 - (-2)/(-11). Suppose c = -y + 10 + 84. Is y a composite number?
True
Let k(t) = -3*t - 4. Let n be k(-2). Suppose 3 = -n*o - 1. Let j(f) = 17*f**2 - f - 3. Is j(o) a composite number?
False
Suppose 1611 = 10*b - 14279. Is b composite?
True
Let r be (79 - 3)*(-130)/(-8). Suppose -3*p - 2*p + r = 0. Is p a prime number?
False
Suppose 19*x = -32*x + 5048949. Is x composite?
False
Suppose g - 820 = -3*g + 4*i, -g + 2*i = -207. Suppose -729 = -4*v + g. Is v a prime number?
True
Suppose -12 = -7*v + 4*v. Suppose -2*x = v*x + 36. Let c(h) = -67*h - 13. Is c(x) a composite number?
False
Let q(m) = 1220*m**3 + m**2 - m + 1. Let l be q(1). Let g = -70 + l. Is g composite?
False
Let l(x) = -14*x + 1. Suppose n + 2*i = 5, 3 = 2*n - 3*n + 2*i. Let z be 2/(n + 21/(-15)). Is l(z) a composite number?
False
Is (-2208600)/(-90) + (-2)/2 a composite number?
True
Is 6/27*9 + 4701 a prime number?
True
Let p(s) be the third derivative of -s**6/120 + 2*s**5/15 - s**4/4 - s**3 + s**2. Let b be p(7). Is b/(3 - 4)*-191 a composite number?
False
Suppose 2*r + 12*o - 11577 = 11*o, 17358 = 3*r + 3*o. Is r composite?
False
Suppose 7*x - 1710 = -121. Let p = x - -860. Is p a prime number?
True
Let u be ((-3)/(-3))/(1/7). Suppose 0 = -5*z + u*z - 994. Is z a composite number?
True
Let u = -9 + 11. Let j(q) = -7*q + 51*q**u - 7 - 51*q**2 + q**3. Is j(7) prime?
False
Suppose 4*l = 3*j + 36, -4*l - j = -3*j - 32. Let g be (-2)/l + (-65)/3. Let d = 36 + g. Is d a composite number?
True
Suppose -10777 = -5*o + 3*j, 0 = -o - o - 3*j + 4294. Is o a prime number?
True
Suppose -14109 = 5*w - 8*w. Is w prime?
True
Let m(o) = o**3 + 7*o**2 - 2*o - 3. Let v be m(-7). Let y(c) = -c**2 + 12*c - 5. Let i be y(v). Suppose -111 = i*a - 7*a. Is a a composite number?
True
Suppose -9*d + 8*d = -y - 28120, 5*y - 84384 = -3*d. Is d composite?
False
Suppose 12 = -4*r - 3*i + i, 3*r - 5*i + 9 = 0. Let q(a) = 45*a + 12. Let z(j) = -90*j - 29. Let t(m) = -5*q(m) - 2*z(m). Is t(r) a composite number?
True
Suppose g - 4*q - q = 1256, 5*q = -4*g + 5099. Is g prime?
False
Suppose p + 2*a = 5*p - 20, 3*p + 2*a - 15 = 0. Let o(x) = 62*x + 9. Is o(p) prime?
False
Let w(s) = s**3 + 7*s**2 - s - 7. Let l be w(-7). Suppose 0 = -i - l*i. Suppose p - 5*o - 94 = i, -3*o + o - 401 = -5*p. Is p a composite number?
False
Suppose 3*z - 3*d = 9, 0*d - 5*d = z - 9. Suppose -3*k + 348 = 2*i, 2*i - 185 = i + z*k. Is i prime?
False
Is (-3)/(-2)*216128/96 a prime number?
False
Let j(l) = 12*l**3 - 4*l**2 + l + 13*l**3 + 2*l**3 + 5. Is j(3) composite?
False
Suppose -5*k + 20 = 0, k - 5397 = -5*l + 3*k. Is l a prime number?
False
Suppose -2*x + 13 = -0*i - 3*i, -2*x = 4*i + 8. Suppose l - 1315 = f - 4804, -x*l = -4*f + 13960. Is f prime?
True
Suppose 2*w - 2 = g, -w - 6*g - 10 = -g. Suppose 0*k - k + 299 = w. Is k prime?
False
Let s = -14 - -13. Let h = s - -3. Let f = 55 - h. Is f composite?
False
Suppose 5*f = 2*f - 4365. Let u = f - -2146. Let c = u - 486. Is c composite?
True
Suppose 0 = -12*a - 4386 + 79350. Is a a prime number?
True
Let j = -45167 - -92713. Is j a composite number?
True
Let f(l) = 4*l. Let x(o) = -5*o - 1. Let h(y) = -6*f(y) - 5*x(y). Let v be h(-2). Suppose -8*i + v*i = -115. Is i prime?
True
Suppose 0 = -v - 4*s + 9, 4*v + 0*v + 4*s + 12 = 0. Let g be (-5)/(-20) - v/4. Suppose 0*c + 586 = g*c. Is c composite?
False
Let h be -2 - 27 - (-6)/(-2). Let p = h + 330. Is p/5 + (-3)/5 a prime number?
True
Suppose -5222 - 27984 = -2*r. Is r composite?
False
Let f = 57420 + -24533. Is f prime?
True
Suppose -6*x + 48 = 5478. Let q = x - -519. Let w = 547 + q. Is w prime?
False
Let b(v) = -120*v**2 - 5*v - 11. Let j = 17 - 13. Let k(u) = u**2 - 1. Let i(m) = j*k(m) - b(m). Is i(-2) a prime number?
False
Let z(p) = -7*p + 18. Let m(u) = -20*u + 54. Let y(v) = 6*m(v) - 17*z(v). Let c be y(10). Is c/28 - (-320)/7 a prime number?
False
Let y(s) be the second derivative of s**7/420 - s**6/360 - s**5/40 + s**4/24 + 5*s**3/6 + 12*s. Let g(z) be the second derivative of y(z). Is g(3) composite?
False
Suppose 0*v + 14 = 7*v. Suppose -v*p = 2*p - 36. Is (1 - 4)*(-807)/p composite?
False
Is ((-1523102)/98 - -6)/((-2)/14) prime?
True
Let j be 0 + 12/(-2 + 6). Let t = j - -12. Suppose 0 = 2*m - 3*m + t. Is m prime?
False
Let y(h) = 9757*h**2 + 1. Let k be y(1). Suppose -5*f + 2*i = -85 - k, 0 = -5*f + 4*i + 9841. Is f a prime number?
False
Let q(i) = i**3 - 4*i**2 + 5*i - 2. Let f be q(3). Suppose 5*v + 6 = -4*o, -3*v - 2*o - f = -2. Suppose 5*g = -v*z + 578, -g - g - 606 = -2*z. Is z composite?
True
Let h(s) = 5291*s - 1008. Is h(7) prime?
False
Let p be 0 + 3/(-3)*-6. Let y(x) = 13*x + 5. Let j be y(p). Suppose -2*h = s - j, 4*s - 336 = -3*h - h. Is s a composite number?
True
Suppose 5*o = -2*g + 694, 2*o - 1402 = -4*g - o. Suppose -3*a + 4*x = -269, 4*x = 2*a + 2*a - g. Is a prime?
True
Let q(n) = n**2 + 8*n + 17. Let y be q(-5). Is 