e 6*(66/(-4) + g). Let y = 178 + t. Is y a prime number?
True
Let s(j) = 25*j**2 - 2*j - 3. Let a be s(4). Let o = -184 + a. Is o composite?
True
Suppose -2*l - l + 12 = 0, 3*l = v - 40. Let w be (v - 5) + 0/2. Let g = 66 - w. Is g prime?
True
Suppose -5*b - 2*h + 645 = 3*h, -3*h + 649 = 5*b. Is b composite?
False
Suppose i - 298 + 121 = 0. Is i a prime number?
False
Suppose 5*u = -7*z + 2*z + 3035, 3*z = -2*u + 1210. Is u a composite number?
True
Suppose 5*j = 2*q + 1581, 0 = 5*j - 12*q + 9*q - 1579. Is j composite?
False
Suppose 5 = 4*m - 11. Suppose -t - m*t + 370 = 0. Is t prime?
False
Suppose 125 + 259 = 4*n. Let f = n - 37. Is f a prime number?
True
Let t be 2/(-7) - (-254)/7. Suppose -x = 3*d - t - 73, 5*x - 469 = 4*d. Is x composite?
False
Let j = 71 - -408. Is j a composite number?
False
Suppose 0 = -5*r - 5*s + 5, -s + 8 - 31 = -5*r. Suppose -j - j - r*x = 0, -2*x + 4 = 3*j. Suppose 0*p + 4*m = j*p - 86, -4*p + 2*m = -154. Is p prime?
True
Suppose -5*q - 10 = -7*q. Suppose 0 = 4*u + 8, -x + 6*x - 995 = -q*u. Is x prime?
False
Let m be 128/6*(-18)/(-8). Suppose -y + 3*b + 119 = 4*y, -2*y + m = -b. Suppose 3*t + y = 118. Is t prime?
True
Suppose 0*d - 219 = -3*d + 3*u, 0 = -d - 5*u + 55. Let m(y) = -2*y**3 - 2*y**2 + y - 2. Let c be m(-2). Suppose c*j + 73 = 3*l, -j - d = -2*l - l. Is l prime?
True
Suppose 4*t = 179 - 531. Let k = t + 375. Is k a prime number?
False
Let o be (-2)/(-3)*9/3. Suppose -o = -2*u + 6. Suppose 0 = -u*a + 20 + 20. Is a a composite number?
True
Let d be ((-6)/4)/(6/(-8)). Suppose 2*c = -d*c + 60. Suppose -y - 6 = -3*p - p, 0 = -5*p + c. Is y prime?
False
Is (-10)/45 - 28066/(-18) a composite number?
False
Let h(b) = 10*b + 18. Suppose -28 = -2*w - 0. Is h(w) composite?
True
Let u be (-4 - -7) + -1*1. Let b(t) = -13*t - 4 + u + 0*t + 2*t. Is b(-3) a prime number?
True
Let p be 5*3/9*3. Suppose 2*j + p*w = 143, 0 = -3*j + w + 314 - 74. Is j prime?
True
Let m = -362 + 4261. Is m prime?
False
Suppose -w + c + 3*c = -259, -5*w + 1265 = -5*c. Is w a composite number?
False
Suppose 6*t + 318 = 8*t. Is t composite?
True
Let j be (-4)/6 - 5982/(-9). Suppose -6 - j = -5*s. Is s a prime number?
False
Let a be 6/(-21) - 138/7. Is 1/(4/a)*-107 prime?
False
Let o(z) = z**3 - 21*z**2 + 16*z - 25. Is o(21) prime?
True
Let a be 3*(-248)/(-12)*-1. Suppose 3*z + 81 + 36 = 0. Let r = z - a. Is r composite?
False
Let g be 2/5 + (-115)/(-25). Let f be (5 - 0)*g/5. Suppose -36 = -f*p + 59. Is p a composite number?
False
Let i be (5/2)/((-2)/(-4)). Suppose i*u - 335 = -0*u. Is u a prime number?
True
Let v = 281 + 46. Is v a prime number?
False
Let a be 2/(-5) - (3 - (-1035)/(-25)). Let m be (-2)/(-5) + 97/(-5). Let x = m + a. Is x a composite number?
False
Suppose 0 = -s + 2*d + 12, -s = -2*s - d - 3. Suppose 5 = -3*b + s. Is b/(1 + 84/(-83)) composite?
False
Suppose 2*t = 5*v + 1341, 0 = -3*t + 5*v + 1105 + 909. Is t a prime number?
True
Let i(d) = -3*d**2 + 0 + 2*d + 1 + 5*d**2. Is i(7) a prime number?
True
Suppose 5*d + 5 = 2*c, 2*c + 2*d + 0*d = -2. Suppose 0 = -5*a + 3*r + 418 + 252, c = -3*a + 3*r + 402. Is a prime?
False
Let t = 180 + -71. Is t prime?
True
Let b be (-1 - -16) + 2 + 0. Is (b/(-3))/((-3)/63) a composite number?
True
Let y(x) = -157*x**3 + 2*x**2 - 1. Is y(-1) a prime number?
False
Let g be (-36)/(-21) + (-6)/(-21). Suppose -2*o + 4 = 0, g*x + 5*o - 62 = 238. Is x a prime number?
False
Suppose -3226 = -6*i - 1312. Is i a composite number?
True
Suppose 3*k - 4*f = 592, k + 0*f - f - 198 = 0. Let q = -143 + k. Is q a composite number?
True
Let z(f) = f**2 - 8*f - 6. Let l be z(9). Let v(h) = -h + 1. Let c be v(l). Is (-1 - -3 - 13)*c a prime number?
False
Let v(f) = -25*f - 1 + 90*f + 15*f. Is v(1) a prime number?
True
Let m(g) = 25 - g**2 - g + 4*g**2 + 0*g - 4*g**2. Is m(0) a composite number?
True
Suppose -3*p + 8 = -10. Suppose -g - p + 149 = 0. Is g a prime number?
False
Let s(p) = p**2 - p + 298. Is s(0) prime?
False
Suppose 0 = 2*a - 6, -4*v - a = -0*v - 207. Is v prime?
False
Let d be 4 - (-1 - 0) - -1. Let u(a) = -4*a**2 + a + 5. Let z be u(d). Is -2 - (0 + z*1) prime?
True
Let y(m) = -25*m**2 - 2*m - 7. Let h(o) = -1. Let c(b) = 3*h(b) - y(b). Is c(-3) composite?
False
Let q be (-18)/2*5/(-15). Let x(c) = 2*c + 4. Let i be x(5). Suppose 2*a + 2*u - i = 24, 3*a - q*u = 81. Is a composite?
False
Let h(k) = 18*k**2 + 1. Suppose -2*b - 3*z = b - 9, -5*b - 2*z = -9. Is h(b) a composite number?
False
Let d = -685 + -77. Is d/(-30) + (-2)/5 prime?
False
Let s(o) = o**3 + 18*o**2 - 20*o + 6. Is s(-10) a composite number?
True
Suppose -4*l - a - 6 = a, 5 = -4*l - a. Let d(q) = -449*q. Is d(l) prime?
True
Let j(m) = -2*m + 0*m**2 - 2*m**3 - m**2 - 4*m - 4*m**2. Is j(-5) composite?
True
Let t be ((-5)/3)/(1/(-3)). Let m(l) = 11*l**2 - 12*l + 20. Let i(v) = 4*v**2 - 4*v + 7. Let q(s) = 17*i(s) - 6*m(s). Is q(t) prime?
False
Let k(w) = -w**2 + w - 1. Let b(j) = 2*j**2 + 2. Let h(a) = -3*b(a) - 4*k(a). Let s be h(-2). Let m = 13 - s. Is m composite?
True
Let j(y) = 231*y + 14. Is j(3) a composite number?
True
Suppose -8*v + 16 = -4*v. Suppose 0 = -5*l + 2*p - 6*p + 195, -v*l + 187 = -3*p. Is l prime?
True
Suppose -3*j + 5*c + 314 = 0, -2*j - 4*c = j - 359. Is j prime?
True
Let q be 2/4*-2 - 2. Is ((-1)/q)/(5/3315) prime?
False
Let m(u) = 5*u**3 + 1. Let c = 2 - 1. Is m(c) composite?
True
Let r(o) = -o**2 + 6*o - 5. Suppose -3*f - 4 = -2*f, 0 = 3*b + 2*f - 7. Let m be r(b). Suppose -6*s + s - 20 = 0, c + 4*s - 3 = m. Is c composite?
False
Let l = 0 + -1. Is 3/l + 213 + 1 a composite number?
False
Let r(j) = -201*j - 16. Is r(-3) a composite number?
False
Let r = 15 - 10. Suppose 157 = 3*i - r*q - 49, 2*i - 138 = 4*q. Is i prime?
True
Suppose -143 = -2*z + 421. Let l = z - 137. Is l prime?
False
Let p = -3 - -2. Let f be (-3)/(0 - 3)*p. Let u(i) = -10*i. Is u(f) prime?
False
Let d = 23 - 2. Is d a prime number?
False
Let r(t) = -12*t - 14. Let m be r(7). Is (-6)/4*m/3 prime?
False
Is -4*((-1)/2)/(4/158) a composite number?
False
Suppose -2*x + 0*x + 474 = 0. Is x a composite number?
True
Let t be 155/2 + (-3)/6. Suppose -127 - t = -4*d. Is d prime?
False
Let q be 6/5*30/(-9). Let p = -1 - q. Suppose -5*w + p*w = -92. Is w a composite number?
True
Let u be (16/(-20))/(3/15). Let b = u + 6. Suppose 0 = 4*z + b - 10. Is z prime?
True
Suppose -3 = f, 8 = -w + 2*w + 3*f. Suppose 3*o + 5 - w = 0. Suppose -3*c + 8*c - 107 = -o*b, 4*b + 64 = 4*c. Is c composite?
False
Suppose y - 4*p = p + 1531, -5*p + 3002 = 2*y. Is y composite?
False
Suppose 0*a + 3*a = 0. Let j be -3*((0 - 1) + a). Suppose -2*n = 2*k - 4*n - 24, j*k - 44 = -n. Is k a prime number?
False
Let u(j) = 18*j**3 + 5*j**2 + 9*j - 11. Is u(6) a composite number?
False
Suppose 0*n = 3*n - 5*a + 2, -5*a + 10 = 5*n. Is 53*n - (-18)/9 composite?
True
Let p = 15 - 9. Let b = 16 - p. Is b a prime number?
False
Suppose -29 = -3*y + d, -2*y - 5*d + 43 - 1 = 0. Suppose -4*w - y + 147 = 0. Is w prime?
False
Let l(s) = -12*s + 13. Is l(-8) composite?
False
Let j(a) = 5*a**2 + a - 5. Is j(-3) prime?
True
Let h be (-2 + 2)/((-6)/6). Suppose -3*r - 3 = -h. Is (-2 - r)/((-11)/1067) composite?
False
Let q be -3 - (2/2 - 8). Let p = q - 0. Suppose p*m - 158 = -2*u, 4*u - 5*u - 4*m = -71. Is u a composite number?
True
Suppose -1295 = 48*t - 53*t. Is t a composite number?
True
Is (-388)/(-4)*(0 + 13) composite?
True
Let o(g) = g**3 - 16*g**2 - g + 12. Let p be o(16). Is p/(-4)*3 + 8 a prime number?
True
Let c(g) = 7*g**2 + 2*g + 9. Let o be c(-4). Let v = o - 54. Is v composite?
False
Let c = 17 - 35. Let p be (-13752)/(-81) - 4/c. Suppose -2*o + p = -72. Is o composite?
True
Let h be -3*1/6*2. Let i be (-18)/4 + h/2. Let m(g) = -16*g + 5. Is m(i) composite?
True
Let n = 33 - 19. Let c be n*(3 - 0)/6. Let g(i) = i**2 - 5*i - 5. Is g(c) prime?
False
Suppose -2*m = -m - 12. Suppose 0 = m*p - 16*p + 1892. Is p composite?
True
Suppose -72*b + 10174 = -70*b. Is b composite?
False
Let p(r) = -38*r**2 - 3*r - 1. Let u(n) = -38*n**2 - 3*n. Let x(o) = 5*p(o) - 6*u(o). Let l be x(4). Suppose -q + l = 4*t, 4*t + t - 2*q - 785 = 0. Is t prime?
False
Suppose 5*h + 574 = -3*f, -3*f - 101 = h + 21. Is (h/2)/((-1)/2) composite?
False
Let v(i) = -i**3 - 2*i**2 - i - 3. Let h be v(3). Let g = 8 - h. 