64*x + 247398, 0 = 4*x + 28. Is s a composite number?
False
Suppose 7*n + 4*n = 7*n, -2*n + 277055 = 5*a. Is a prime?
True
Let d = -487 + 491. Suppose -3892 = -2*m + 2*g, 4*m + 2*g - 7790 = d*g. Is m a composite number?
False
Suppose 4*j - 342 - 742 = 0. Suppose 0 = -2*l + j + 71. Suppose -4*y + l = -y - 3*t, -273 = -5*y + 2*t. Is y prime?
True
Let s(z) = 152*z**2 - 6*z - 9. Let d be s(6). Let g = 7818 - d. Is g composite?
True
Suppose 0 = -q + 56 - 46. Let n = 11 - q. Is ((-4)/16*-44)/(n/13) a prime number?
False
Suppose 4*u - 9517 = 539. Let t = 5623 - u. Is t a prime number?
True
Suppose -551762 = -2*o - 7*b + 3*b, -5*b = 30. Is o prime?
False
Let b(d) = d**3 + 48*d**2 - 26*d + 25. Let t be b(-25). Suppose -1948 - t = -6*s. Is s composite?
False
Suppose 0 = 3*b - 5*b - 8. Let u(y) = y + 7. Let z be u(b). Suppose 3*n + 0*m + z*m - 234 = 0, 0 = 5*m - 5. Is n composite?
True
Let b = -154 - -423. Let u = b - 248. Is u prime?
False
Let w(y) = 34*y**2 - 5*y + 12. Let x = 30 - 5. Suppose 2*d + x = 3*n, 3*n = -2*d + 4 + 1. Is w(d) prime?
True
Suppose -6*q = 22*q - 28. Is (-8782)/4*(23 + -25)*q composite?
False
Let a = -477 - -191. Suppose 5*c = 2*d - 1183, 0 = -0*c + c + 3. Let k = d + a. Is k a composite number?
True
Let t(s) = 28341*s**3 - s**2 - s + 4. Is t(1) a prime number?
False
Suppose 5*k + 4*s = -0*s - 9, 0 = k - 4*s - 3. Let h be -7*(-2 - (k + -814)). Is 4/(-6)*h/14 a composite number?
False
Let d = -579697 - -818240. Is d a prime number?
False
Let x(i) = 191*i**2 + 2*i. Let r(y) = y**2 + y + 1. Let f(h) = 3*r(h) - x(h). Let t be f(2). Let v = 1313 + t. Is v composite?
True
Suppose 6*g + 17 + 55 = 0. Is (-2284)/g - 6/(-9) prime?
True
Let a(g) be the third derivative of -g**7/840 - g**6/90 - g**5/12 - g**4/4 + 17*g**3/6 - 10*g**2. Let p(b) be the first derivative of a(b). Is p(-7) composite?
False
Suppose 3*b = 4*g + 53881, 8*g - 4*b - 40442 = 11*g. Let i = -2123 - g. Is i a composite number?
False
Is ((-166)/83)/(2/(-336571)) prime?
True
Let t(z) = -z**3 - 20*z**2 + 20*z - 18. Let j be t(-21). Suppose -9 = j*g + 3*h, 2 = -g - 2*h - 6. Suppose g*m = -7*m + 12573. Is m a prime number?
False
Is 12/27 + 115216684/612 a prime number?
False
Suppose -5*q = -5*a + 6*a, -4*a = -3*q. Let x(w) = -4*w + 2729. Is x(a) a prime number?
True
Let v(g) = -28*g + 5. Let p(i) = -28*i + 5. Suppose 30*r + 12 = 28*r. Let x(k) = r*v(k) + 5*p(k). Is x(25) composite?
True
Let s(c) = -46*c + 42. Let t be s(1). Let o(g) = 86*g**2 + 43*g + 163. Is o(t) a prime number?
True
Suppose -2*i - 1171 - 4113 = 0. Let n = i - -3960. Is n a prime number?
False
Suppose -9*t + 50*t + 2*t - 76679191 = 0. Is t composite?
False
Let o(j) be the first derivative of 14*j**3/3 - j**2/2 - 23*j - 72. Is o(10) composite?
False
Is 156909 + (-1)/((-12)/(-32)*(-6)/9) a prime number?
True
Let l(f) = -5*f**2 - 5*f - 1. Suppose -12*n = -42 + 102. Let j be l(n). Let a = j - -628. Is a a composite number?
True
Let u(f) = -5*f + 10. Let m be u(-5). Suppose 3*g + m = 41. Is 0 + 4476/(2 + g) a composite number?
True
Suppose 33*c - 31*c - 88 = 0. Suppose c*o - 47*o - 3 = 0. Is (-1 - o) + (8 - -879) a composite number?
False
Suppose 2*x - 66 = -4*o, -3*o + 60 = -4*x + 2*x. Suppose -o*w - 31618 = -187444. Is w prime?
False
Let b(x) = 3120*x - 185. Let q(k) = -3121*k + 179. Let v(m) = 3*b(m) + 4*q(m). Is v(-3) a composite number?
False
Suppose 0 = m - 4, -m + 20 = 5*v - 19. Suppose 33 + 2 = v*n. Suppose 5*h + n*g + 153 = 2713, 4*h + 3*g - 2050 = 0. Is h a composite number?
True
Suppose 0 = -3*h - 5*g + 212036, -h + 8*g - 13*g = -70662. Is h a prime number?
True
Let s(n) = -n**3 - 7*n**2 - 5*n + 3. Let b be s(-6). Let a be (-9 + b + 3)*(-8)/24. Suppose 929 = a*m - 2*m. Is m composite?
False
Let y = 101242 - 53797. Suppose 0 = -2*v - 13*v + y. Is v prime?
True
Let t(g) be the first derivative of 317*g**3/3 - 3*g**2/2 + 6*g - 23. Let i be t(2). Let f = -723 + i. Is f prime?
False
Let a(c) = -2*c**3 - 13*c**2 + 8*c - 1. Let s be a(-7). Let i be 67*(-60)/s*6. Is 24 + -20 + i/1 composite?
False
Suppose 125*z - 208*z + 48204823 = 0. Is z prime?
False
Is (-2 - 17728669/(-21)) + 8 - 22/(-33) prime?
False
Is (6/(-10) + 1)*41435160/624 a prime number?
True
Let i be ((-2)/(-6))/((-5)/75) - 3. Let g(a) = -737*a + 55. Is g(i) prime?
False
Is (((-28)/(-140))/(1/(-5)))/((-3)/4219491) a prime number?
True
Suppose -62*n = -57*n - 205. Suppose 36 + n = 11*o. Let a(w) = 231*w - 62. Is a(o) a composite number?
True
Let a be (-6 + -3)*-1*1. Suppose 10 - 2 = 4*w. Suppose -800 = -5*t - 5*c, a*t - 794 = 4*t - w*c. Is t a prime number?
False
Suppose r + 12 = 2*q - 0*q, -2*q - r + 20 = 0. Let g be (1 + 0 - -1 - q)/(-2). Suppose -g*o = -n + 239, 2*n + 0*n - 528 = -4*o. Is n composite?
True
Suppose 4*x - 774652 = -4*a, 1022*a + 580985 = 3*x + 1023*a. Is x a prime number?
False
Suppose 0 = -10*g + 9*g - 5*m + 337999, 4*g + m - 1351882 = 0. Is g a composite number?
False
Suppose -12*a + 27*a - 375 = 0. Suppose a*l - 14626 = -1601. Is l prime?
True
Let o = -15272 - -24249. Is o a composite number?
True
Let g be 2 - (115842/(-15) + 3/(-15)). Suppose -2*n + g = -b, -10*n + 6*n = 2*b - 15470. Is n prime?
False
Suppose -2*m = 4*p - 205726, -11*p + 411464 = 4*m - 6*p. Is m a prime number?
True
Let g = 3314659 - -50536. Is g a prime number?
False
Let y(k) = 950*k**2 + 59*k - 477. Is y(10) composite?
True
Suppose -j + 6 = 2*j. Suppose j*g + 36 = 5*g. Suppose 3356 = -8*h + g*h. Is h prime?
True
Let y(c) = -31*c - 4. Let m be y(8). Let g(n) = n**2 - 11*n - 117. Let d be g(18). Is -1772*(m/16)/d a prime number?
False
Let w be (-1)/5 + (-14)/5. Let b be -2 - (2 + 0 + -5). Is (-32410)/(-21) + b/w composite?
False
Let k(q) = -519*q**3 + q**2 - 55*q - 175. Is k(-4) composite?
True
Let p be (-3 - -3 - 0)/2. Let h be (12*6/(-9))/(p + -2). Suppose h*g = -3*w + 11548, -3*w - 14435 = -5*g - 8*w. Is g a prime number?
True
Suppose 5*y = 2*p - 117, 3*p - 4*y + 5*y = 133. Let a be (1/7)/(33/924). Suppose 3*n = -2*d + 30, -5*d - 6 = a*n - p. Is n a composite number?
True
Let o(g) = -26 + g + 31 + 3*g. Let u = -49 - -61. Is o(u) a composite number?
False
Let p(i) = i**3 + 3*i**2 + 4*i + 3. Let d be p(-2). Suppose z + 3*z + 3*b = -6, 5*b + 10 = -5*z. Is 1774*(z + d/(-2)) prime?
True
Suppose -215152 = -22*y + 49530. Is y composite?
True
Let o = 1251346 - 682997. Is o prime?
True
Suppose 0 = -3*f - w - 8, 16 = -f - 0*w - 3*w. Let r be (1 - 7)*(16 + (-423)/27). Is r/(-2)*0 + (-1541)/f composite?
True
Suppose -8 = 2*j, 5*y - 272777 = -5*j + 555408. Is y prime?
False
Let k be (-18)/(-4) - (25/(-10) + 3). Suppose 5 - 31 = -3*r - 5*f, 0 = -k*f - 8. Is (1 - -1*r)/(1/47) composite?
True
Let y(k) = k**2 + 7*k + 2. Let o be y(-7). Suppose m - o*t = 10 - 0, 0 = 3*m + 2*t + 10. Suppose m = -6*l + 1386 + 24. Is l a prime number?
False
Suppose -9*i - 20512 = -i. Let x = 1214 - i. Is x composite?
True
Let s(m) = -2776*m - 503. Is s(-16) prime?
True
Let m(h) = 633*h + 11 + 18 - 984*h - 714*h. Is m(-4) composite?
False
Let m(v) = 10*v**2 + 12*v - 1. Let b be (-65)/13 + 20/1. Is m(b) a prime number?
False
Let o = 217 - 216. Let k(g) = -g**2 + 8*g - 5. Let t be k(5). Is (-1162)/t*(-5)/o prime?
False
Let p = -123 - -129. Suppose -p*q + 7642 + 3200 = 0. Is q a composite number?
True
Suppose a = -5*x + 9065, 2*x = -a - 57 + 3680. Is x prime?
False
Let h(c) = c**3 + 6*c**2 - 2*c + 2. Let d be h(-6). Suppose 2*a - 10720 = -5*w + 9621, 0 = -2*a - 3*w + 20339. Suppose d*j = 6*j + a. Is j composite?
True
Suppose 0 = -2*h + 4*a - 688 + 88, h + 4*a = -312. Let l = h + 699. Is l composite?
True
Let a(j) = -8*j - 171. Let o be a(-22). Suppose 2*f + 224105 = 5*v, 12*f - 7*f = o*v - 224120. Is v prime?
True
Let q(c) = 53773*c - 280. Is q(3) composite?
False
Suppose -54*x + 45*x + 134847 = 0. Is x composite?
False
Let y(x) = -x**3 - x**2 + 4*x + 1. Let w be y(-3). Let v(b) = 7*b + 12. Let a(g) = 36*g + 60. Let j(r) = -2*a(r) + 11*v(r). Is j(w) composite?
False
Let a = -287357 + 1279086. Is a composite?
True
Suppose 4*j - 3*f = 646793, -4*f + 168181 + 155221 = 2*j. Is j a prime number?
False
Let q be 6*1/45 - (-92)/(-15). Let u(w) = -704*w - 235. Is u(q) composite?
False
Suppose 0 = -v + 5, 96*l + 609581 = 100*l + 5*v. Is l a prime number?
True
Let z(v) = 5*v + 20. Let b be z(-8). Is (-1)/((