uppose -2 = k - 4. Suppose 5*l - 2*t - 128 = 0, k*l - q*t = 71 - 24. Is l a composite number?
True
Suppose 1506 = 3*v - v. Is v a composite number?
True
Let b(m) = -m**2 + 3*m - 4. Let d be b(3). Let c be (3 + -3)*(-2)/d. Suppose c = -2*s + s + 74. Is s composite?
True
Let k be (-559741)/(-39) + (-1)/3. Is k/60 + (-1)/5 a composite number?
False
Let w(a) = 5*a**3 - a**2 - 2*a + 10. Is w(6) composite?
True
Is -1*(-2)/(-1) - -415 a prime number?
False
Let j be (-789)/(-4) + (-3)/(-4). Suppose j = 5*c - 317. Is c a prime number?
True
Let t = 2 + 1. Suppose -r + 8 = t*y - 15, -3*r + 33 = 3*y. Is (-1)/3 - (-224)/y composite?
False
Suppose 14*q = 15*q - 215. Is q composite?
True
Let v(a) = 36*a**2 + 2*a - 3. Is v(2) a composite number?
True
Suppose 0*s + 3*s = 3*i + 12, 0 = s. Let q = i - -9. Suppose q*x + 167 = -l + 5*l, 5*l - 2*x = 196. Is l prime?
False
Suppose 3*q = 259 - 1357. Let f = -207 - q. Suppose 2*y - f = 263. Is y prime?
True
Suppose 4*z + 4*w - 20 + 8 = 0, -5*w = -4*z + 21. Suppose -z*i + 255 + 253 = 0. Is i a composite number?
False
Let w(j) = -j**3 + 8*j**2 - 9*j + 10. Let t be w(7). Let x(i) = 2*i**2 - 1 + 4*i - i + 2*i. Is x(t) composite?
False
Let k(t) = 23*t - 51. Is k(20) prime?
True
Let q(c) = c**3 + 9*c**2 + 7*c + 13. Let o be q(-6). Suppose 4*g - a + 2*a - 24 = 0, 4*g - 4*a - 4 = 0. Suppose 4*s = g*s - o. Is s a prime number?
True
Suppose 5*n + n = -3042. Let d = n + 718. Is d a prime number?
True
Suppose 0 = v - 6*v - 435. Suppose 0 = -3*b + 293 + 385. Let t = b + v. Is t a composite number?
False
Suppose 0 = v - 6*v + 110. Suppose -3*j = -4*j + v. Is 3/(-9)*-3 + j prime?
True
Let x(o) = 51*o**3 + o - 1. Is x(2) prime?
True
Let z = -3 - -3. Suppose 0 = 2*s - r - 45, 0 = -z*s - s + 5*r + 36. Is s prime?
False
Let n = 62 + -31. Is n prime?
True
Let j be (-52)/(28/13 + -2). Let d = -139 - j. Suppose -5*h - 14 = -d. Is h a prime number?
True
Let t = 6 - 2. Suppose -4*i + h - 24 = 36, t*h + 96 = -5*i. Is i/(-10)*(-30)/(-12) prime?
False
Let j(l) = -29*l + 9. Is j(-17) composite?
True
Suppose -3*v - 2*v - m - 523 = 0, -110 = v + 2*m. Let u = v + 161. Suppose -n + 2*n = u. Is n composite?
True
Let c be (-5541)/(-27) - (-2)/(-9). Let w = c - 136. Is w a composite number?
True
Let b be 1*2/4*-4. Let w be b/8 + (-180)/(-16). Suppose 0 = v - 26 - w. Is v a composite number?
False
Let q = 67 - -30. Is q a prime number?
True
Let k = 1040 - 535. Is k composite?
True
Let d(t) = 331*t - 1. Let b be d(-1). Let x = b - -523. Is x composite?
False
Let f(x) = x**2 + 4*x + 2. Suppose 3*i - 5 + 26 = 0. Is f(i) a prime number?
True
Let c(f) = 48*f**2 + 7*f + 4. Let b be c(-4). Suppose 0 = 3*s + 3*z + 552, -4*s - b = -0*s - 4*z. Let j = -130 - s. Is j prime?
False
Is 521/(-2*4/(-8)) composite?
False
Let t = 191 + 104. Suppose s + 4*s = t. Is s prime?
True
Is 2/(8/(-1172))*-1 prime?
True
Suppose -4*j = 4*p - 24, 8*p = 2*j + 3*p + 16. Let z be j/(-3) + (-4404)/(-18). Suppose -159 = -3*f - 3*w, -5*f + z = 2*w - 27. Is f a prime number?
False
Let h(y) = y**2 - 7*y + 8. Let d be h(8). Suppose 0 = -4*t + d. Is 10*3/(t - 1) prime?
False
Suppose -d + b = -2*b - 11, -2*d - b = -1. Suppose 0 = -0*y + 2*y + 8, 0 = d*l - 5*y - 266. Is l a composite number?
True
Is -53*((-4)/(-2) - 3) a prime number?
True
Is 530/4 - 6/(-12) prime?
False
Suppose 3*i - 2*b - 4 = -2, 2*i = -4*b + 12. Let q be i + 1 + (-6)/2. Suppose j + 9 - 46 = q. Is j a prime number?
True
Let a = 53 + 5. Is a composite?
True
Let c = -15 + 23. Let o(a) = a**2 + 3*a - 5. Is o(c) composite?
False
Suppose 0 = -5*b - 25, j + b = 5*b + 20. Let r = 3 - j. Suppose -217 = -a - r*h, -5*h - 804 = -4*a - h. Is a prime?
False
Let q be 1 + 2 + (-192)/(-3). Suppose 3*d - x - 68 = 0, -2*d + 4*x + x = -q. Is d a prime number?
False
Let n(f) = -2*f**2 + 2*f + 1. Let p be n(-1). Let s(v) = -2*v**3 + 4*v + v**2 + 8 + v**3 + 0*v**3 - 9. Is s(p) a composite number?
False
Suppose 3*i - 4 = 8. Let h = 6 - i. Suppose -4*k = -3*q - 320, 0 = h*k - 4*q - 119 - 51. Is k prime?
False
Let z(f) = -f**3 + 2*f + 3. Let r be z(-2). Let u(j) = 2*j**2 - 3*j + 8. Is u(r) a composite number?
True
Suppose -2 = -2*o + 2. Suppose 2 + 80 = o*r. Let c = r - -8. Is c prime?
False
Let j(p) = -7*p**3 + 3*p**2 + 4*p + 2. Let d(g) = -g**3 - 2*g**2 - 2. Let n be d(-2). Is j(n) a prime number?
False
Suppose -u + 2*b = -1, 0 = 2*u - 4*u + b - 7. Is (u - -4)/(2/(-182)) a prime number?
False
Let m be 80/(-6)*(-54)/24. Let v be ((-2088)/m)/(6/(-20)). Let z = v - 153. Is z prime?
True
Suppose -5*b = -3*b + 102. Let h = b + 90. Suppose 5*l - 41 = -3*u + l, -5*l = -u + h. Is u a prime number?
True
Let n = 2484 + -827. Is n prime?
True
Is (2/(-6) + 1)/((-12)/(-6246)) a composite number?
False
Let z(k) = -157*k. Is z(-2) prime?
False
Is (-400)/(-3) + 8/12 a prime number?
False
Suppose 4*u - 2069 = 63. Is u a composite number?
True
Let v(y) = -y**3 - 2*y**2 + 2*y - 2. Let g be v(-3). Let p be 6*(g + (-2)/6). Suppose -46 = -p*u + 58. Is u a composite number?
True
Let a(i) = i**2 + 2*i + 3. Let o be 84/(-15) + 2/(-5). Let k = o + 4. Is a(k) a prime number?
True
Let o be (-10 + 0)/(4 - 5). Is 4/o + (-28)/(-5) prime?
False
Suppose 3*q - 2035 - 700 = -w, 3*q + 4*w - 2741 = 0. Is q composite?
False
Suppose 4*j - 84 = 5*x - 247, -47 = -x - 4*j. Is x prime?
False
Suppose 2*b + 2459 = 5*g, 448 = 3*g - 5*b - 1035. Is g a prime number?
True
Suppose 5*b - 607 = -3*z, -312 = 4*z + 4*b - 1116. Is z prime?
True
Let m(d) = 92*d**2 + 7*d - 13. Let g(w) = -46*w**2 - 4*w + 7. Let h(c) = 11*g(c) + 6*m(c). Suppose 3*b + 13 = -i - 4*i, i = -2. Is h(b) composite?
False
Suppose 5*a = -a + 7890. Is a composite?
True
Suppose 4*b + 1680 = 4*j, 3*j = 4*j + 3*b - 408. Is j prime?
False
Let p = 20 + -13. Let w be (3 + -4)/(2/(-10)). Suppose 0 = -p*o + 2*o, -4*k + 332 = w*o. Is k prime?
True
Let c be (4/6)/((-10)/(-4215)). Let g = -140 + c. Is g a composite number?
True
Suppose -2*r + 4*f + 680 = -0*f, -3*f + 975 = 3*r. Let v be -3*(r/(-9) + 3). Suppose 0 = 3*x - 2*y + 20 - 133, 0 = 3*x + y - v. Is x a prime number?
False
Let k(u) = 11*u - 7. Let a be k(7). Suppose -4*v = 3*i - 21, -3*i + 23 = 3*v - 8*i. Suppose -x + v*x = a. Is x a prime number?
False
Let i(z) = 2*z - 3. Let c be i(3). Suppose -2*d + j - 3*j + 254 = 0, -c*j + 6 = 0. Let t = d - 72. Is t a composite number?
False
Suppose 0 = 18*w - 17*w - 1291. Is w a composite number?
False
Suppose 10*p = 5*p + 4*d + 281, d = 5*p - 269. Is p a prime number?
True
Let h be 0*(2 - 1 - 2). Suppose 2*x - 6*x + 8 = h. Let c(s) = 12*s - 1. Is c(x) a composite number?
False
Let m(s) = -7*s**3 + 4*s**2 + s + 1. Is m(-3) prime?
True
Let a(y) = y - 4. Suppose -v - v = -8. Let c be a(v). Let o = c - -46. Is o a prime number?
False
Suppose 3*w - 103 + 1222 = 3*z, -2*z + 746 = -5*w. Is z composite?
False
Let f(o) be the first derivative of o**4/12 + 5*o**3/6 + 3*o**2/2 - 2. Let t(c) be the second derivative of f(c). Is t(7) composite?
False
Let t(q) = q - 16. Let g be t(12). Is g + 3 + (1 - -619) a prime number?
True
Suppose -z - 4*a + 31 = a, 183 = 5*z - 3*a. Suppose 5*b = -2*w + 28, -5*w - 4*b + z = -0*b. Suppose 0 = w*v - 5*v + 25. Is v a composite number?
True
Let j(m) = -1 + 0*m - 6 - 2*m. Let q be j(-6). Is ((-57)/q)/(2/(-10)) a prime number?
False
Let d(l) = -4*l**3 + 3*l**2 - 3*l + 3. Let g be d(-3). Suppose 2*c = 145 + g. Let i = c + -77. Is i composite?
True
Let f be 1/(-3) - (-13)/3. Suppose -5*d + 26 = -f*d. Is d composite?
True
Let x be 6/9*-1*-993. Is (x*1/(-1))/(-2) prime?
True
Suppose 73 = 2*f - 3*w - 461, 1335 = 5*f - 2*w. Is f composite?
True
Let t(i) = 4*i**2 + 3 + 12*i**3 - 4*i**3 + 2*i**2 - 5*i**2 - 4*i. Let x be t(2). Let r = x + -44. Is r a prime number?
True
Let u(r) = r**3 - 5*r**2 + 5*r - 5. Let o be u(4). Let b(v) = -132*v**3 + 2*v + 1. Is b(o) a prime number?
True
Suppose 40 = 5*p + 5*i, -6*i = -4*p - 2*i. Let b = 125 - p. Is b composite?
True
Suppose -5*y + 467 = -503. Is y composite?
True
Let p be (-1)/(1*1/(-45)). Suppose -p = -l + 11. Suppose 134 = 2*w - l. Is w a composite number?
True
Suppose -2*p + 4*p = 6. Suppose p*f - 5*v = 27, f - 3*v = -2*f + 33. Suppose -2*u + b = -333, -4*u = b - 695 + f. Is u a composite number?
True
Suppose -4*u + 32 = -4*j, u + 0*j + 2*j = -1. Suppose r = 0, g = 2*g - u*r + 148. Is 