 a prime number?
False
Suppose -75 = 3*r - 8*r. Is r composite?
True
Let b(n) = 7*n**2 - 2 + 5 + 3*n**3 - 3*n**3 - n**3 + 5*n. Is b(4) a prime number?
True
Let l be (-1 - -4) + (0 - -1). Suppose l*d - 56 = 20. Is d composite?
False
Let k = 31 + -24. Let d(o) = -o**3 + 9*o**2 - 4*o - 15. Is d(k) prime?
False
Let i = -640 + 1197. Is i a prime number?
True
Suppose -n + 1346 = -g, 4*n - 2*g + 3*g = 5369. Is n prime?
False
Let u(p) = -p - 3. Let a be u(-3). Suppose 3*g + 0*g - 6 = a. Suppose d + 4*q = 185, 150 = -g*d + q + 520. Is d composite?
True
Let a be (-1 - -10)/(-3) + 345. Suppose 5 = 5*r - 5*n, 0 = 4*r + 5*n - 18 + 5. Suppose 6*d - r*d + t = 648, 2*d - a = -5*t. Is d a prime number?
False
Let z(t) = -t**3 - 6*t**2 - 7*t - 7. Let g be z(-5). Suppose g*v - 4 - 245 = 0. Is v composite?
False
Let r = 17 - 16. Let s = r - -54. Is s a prime number?
False
Suppose 3*v - 3*t - 6 = 0, 3*t - 2 = 2*v - t. Suppose v*y - 5*o = 3975, 0 = -3*y + 3*o + o + 2383. Is y composite?
False
Suppose -3*r = -0*r - 15. Suppose -r*h = -0*h - 1150. Suppose -2*w = 3*w - h. Is w prime?
False
Let p be (-30)/(6/4 + 0). Is ((-285)/p)/((-3)/(-8)) a composite number?
True
Suppose -2*t - 24 = 4*y, 4*t + y + 6 = -7. Let v be (140/(-15))/(t/3). Let w = 23 - v. Is w composite?
True
Let y = 6 - 18. Let p be ((-89)/(-2) + 0)*-2. Let c = y - p. Is c prime?
False
Let q(u) = -4*u - 7. Let o be q(7). Let c = o + -2. Let n = c + 74. Is n a composite number?
False
Suppose 0 = 2*g - 4 - 6. Suppose -3*q - g*v = -157, q - 3*v + 4*v - 55 = 0. Is q composite?
False
Suppose 2*b = -2*b. Let w(j) = 22 - 3*j + 4*j - 2*j. Is w(b) a composite number?
True
Let i = 211 - 101. Suppose 3*f - 1 = i. Is f composite?
False
Suppose -2*i = -926 - 470. Let q = i - 444. Is q composite?
True
Let n(m) = -6*m - 7. Let d = -1 + -1. Let g be 7/d*(-5 - -7). Is n(g) a prime number?
False
Let g(m) = 3*m**2 + 12*m + 11. Is g(-10) composite?
False
Suppose 5*a = -4*g - 19 - 6, -5 = 2*g + a. Suppose -5*y + 299 + 336 = g. Is y composite?
False
Suppose 11 = -4*b - 2*u - 3317, -830 = b + u. Is b/(-24) - 1/(-4) a composite number?
True
Let r(w) = -w**3 + 21*w**2 - 12*w - 13. Is r(19) a composite number?
True
Let n = -456 + 2617. Is n a composite number?
False
Suppose -3*p = -p - 806. Is p composite?
True
Let r = 18636 + -12997. Is r prime?
True
Let y = 24 + -16. Suppose -2*l + 0*l + 8 = 2*o, 5*o - 2*l = -y. Suppose o*x + 2*x = 46. Is x prime?
True
Suppose -19 = -2*g + f - 85, g - f = -34. Let o = g - -63. Is o prime?
True
Suppose -a - 3*i + 197 = 0, -i - 933 = -5*a - 3*i. Is a a prime number?
False
Let l be 3/(-12) + (-265)/(-4). Suppose 12 = -4*z, 2*b - l - 33 = 5*z. Suppose 0 = -5*h + 3 + b. Is h a prime number?
False
Let v = 530 + -184. Suppose -4*c = 5*q - v, 2*c + 80 = -4*q + 250. Is c a composite number?
False
Suppose -t + 5*t = 84. Let m = 58 - t. Is m composite?
False
Suppose 2*y = -3*y + 1270. Is y a prime number?
False
Let h = -4 - -4. Suppose h = 2*t - 6*t + 24. Is t prime?
False
Let v = -18 - -21. Let h(p) = 41*p - 2. Is h(v) prime?
False
Suppose -3*d = -2*g + 6*g - 49, 4*d = -20. Let t = 107 - g. Is t a prime number?
False
Let g = -26 + 26. Suppose g = c - 8 - 149. Is c a composite number?
False
Suppose 0*t = t - 19. Is t a prime number?
True
Suppose -2*f - 837 = -305. Let s = f - -489. Is s composite?
False
Let l be (-3 - -9)*(-40)/(-3). Let j be l/(-6) + 6/(-9). Is 2/(-4) + (-525)/j a composite number?
False
Suppose -10*u + 2*u = -152. Let z = -1 - -1. Let j = z + u. Is j prime?
True
Let i(r) = -r**3 - 6*r**2 - r - 1. Let g be i(-6). Suppose -3*o + 1247 = 5*x, 416 = o + 4*x + g. Is o prime?
True
Is (2 - -5)/(3/6) prime?
False
Suppose 0 = v - 4*v - 15. Is (1 - 2)*v*47 a composite number?
True
Suppose -3*p + 1631 = p + 5*o, 1633 = 4*p + 3*o. Is p composite?
False
Let r = 312 + -121. Is r composite?
False
Suppose -9*m + 4*m + 4*p = -28, -p = -m + 5. Suppose -2*g = 2*l - 4, 2*l + l = 4*g - m. Suppose 5*b = 3*d - 83, -5*b - 109 = -g*d - 2*d. Is d prime?
False
Let j = -12 + 64. Suppose o - 3*o + j = 0. Is o a composite number?
True
Let g(o) = o**3 + 2*o - 1. Let h be g(1). Suppose 6*d - 220 = h*d. Is d prime?
False
Let m be 1/(-2) - 69/2. Let u be (-14)/m - 2/5. Is 51 - (2 + (u - 0)) composite?
True
Suppose 13*n + 1922 - 9345 = 0. Is n a prime number?
True
Let q(t) = -t**3 - 3*t**2 - t + 8. Let g be 31 - -6 - 0/1. Let j be 8/20 - g/5. Is q(j) a prime number?
True
Let a(b) = 6*b**2 + 2*b + 13. Is a(27) prime?
True
Let z(w) = 5*w**2 - 4*w + 3. Let a be z(-5). Let k = a - 35. Is k a composite number?
False
Let y be ((-8)/5)/(10/(-25)). Let j = 2 + y. Is j prime?
False
Let s(d) = -2*d - 3. Let t be s(-2). Is -1 + 17 + 0 - t prime?
False
Suppose -2*l + 198 + 28 = 0. Is l prime?
True
Suppose 0 = -2*p + 5*p - 246. Let g = p - -96. Is g prime?
False
Let z be (240/(-9))/((-2)/6). Suppose 5*n = 255 + z. Let c = 20 + n. Is c composite?
True
Suppose -4*c + i = -3*i - 484, 2*c = -5*i + 221. Suppose 6*l + 88 = -422. Let f = c - l. Is f a prime number?
False
Let p = 2 + -7. Is (-6 - p)/(2/(-242)) prime?
False
Let d(g) = g**3 + 9*g**2 + 6*g - 11. Let w be d(-8). Let b(n) = 5*n**3 - 2*n**2 + 4*n - 12. Is b(w) a prime number?
False
Suppose 4*q = -195 - 209. Let h = 178 + q. Is h prime?
False
Let d(a) = -a**3 + 15*a**2 + 11*a + 5. Is d(8) composite?
False
Is (1/(-2))/((-1)/262) a composite number?
False
Is 6/(-9)*(-5295)/10 composite?
False
Suppose -i = 4*i + 3940. Let m = -523 - i. Is m a composite number?
True
Let q be (10/4)/((-60)/(-48)). Let s(j) = j**3 - 3*j**2 - 4*j + 4. Let y be s(4). Suppose -q*w + 263 = 5*o, -58 = -5*o + y*o + 5*w. Is o a composite number?
False
Suppose -n + 188 - 54 = 0. Is n composite?
True
Is -5 + (-12004)/(-16) - 1/4 composite?
True
Suppose p - 5*c - 94 = 0, 3*p - 5*c = -p + 331. Is p prime?
True
Let a(o) = o**2 + 2*o - 9. Let j = -10 + 16. Is a(j) a prime number?
False
Let h(m) = 3*m. Let u(b) = b + 1. Let c be u(0). Let n be h(c). Suppose 0 = n*o - 5*x - 25 - 975, -5*o + 5*x + 1670 = 0. Is o prime?
False
Suppose -3*j + 3*x - 2*x = 20, 4*x + 4 = 0. Let c(l) = -6*l + 9. Is c(j) composite?
True
Let y be 1484*((-2)/1 - -3). Suppose 416 + y = 5*f. Suppose 85 + 141 = 3*u - p, 5*u - f = p. Is u a composite number?
True
Let g(r) = 20*r**2 - 16*r + 1. Is g(-8) composite?
False
Let d be 3 - (-1 - -1)/1. Suppose -2*l - 5*a + 20 = 0, 4*a - 2 = -d*l + 14. Suppose 51 = -l*u + u. Is u composite?
True
Suppose 3*p = 4134 + 837. Is p composite?
False
Let b be 3/(-6)*8/(-2). Suppose a + b = 6. Suppose 0 = z - a - 7. Is z prime?
True
Suppose 7*t = 2*t + q + 40, -3*t + 41 = -4*q. Let a = 10 - t. Is ((-7)/a + 2)*-171 a composite number?
True
Let r(m) = 16*m. Let s be r(2). Let b = s - 19. Is 1*(b - (-1 + -1)) composite?
True
Let k = 7 + -5. Let y = k + 1. Is y prime?
True
Suppose -v + g = -92 - 62, -487 = -3*v - 2*g. Is v prime?
False
Let b(k) = 197*k + 11. Is b(6) a composite number?
False
Let g = 8 + -5. Suppose 2*t - 3 = t, 2*u = -4*t + 494. Suppose -41 = 2*p - 5*k - 142, -4*p - g*k = -u. Is p composite?
True
Let a(n) = -5*n**3 + 14*n**2 + 15*n + 1. Let f(y) = -6*y**3 + 14*y**2 + 15*y + 1. Let c(t) = 5*a(t) - 4*f(t). Is c(14) composite?
False
Let a be (1/(-1))/((-1)/5). Suppose -3*p + p + 85 = a*n, -45 = -4*n + 3*p. Suppose 3*u + n = 0, 5*l - 3*u - 223 = 177. Is l a prime number?
False
Is (-98)/(-14) - 0/2 prime?
True
Let d(f) = 55*f**2 - 4*f + 4. Let j be d(2). Let z = 523 - j. Is z a composite number?
False
Let f(r) be the first derivative of 0*r - 1 + 13/2*r**2. Is f(1) a prime number?
True
Let o = 31 - 16. Let w = -4 + o. Suppose z - 2*y - w = 0, z + y - 19 = 4. Is z composite?
False
Suppose 2*n = -2, -b + 17 = -n + 1. Suppose -3*x + l + 69 = -2*l, -x - l = -b. Is x composite?
False
Let c(f) = -3*f**2 + f - 2. Let r be c(-2). Is ((-2286)/24)/(6/r) a composite number?
True
Suppose -164 = -2*g + 118. Is g a prime number?
False
Let r be (3 + -2 - -23) + -2. Suppose 79 = 3*l + r. Suppose l + 17 = 4*w. Is w a prime number?
False
Is 11/((-231)/(-57732)) - (-2)/(-14) a composite number?
False
Let q(c) = c**3 + 8*c**2 + 5*c + 3. Suppose -2*v + v = 0. Suppose v*y + 5 = -y. Is q(y) composite?
False
Suppose n + 32136 = -2*n. Is (-2)/(-9) + n/(-72) a prime number?
True
Suppose 0*r + 5*r = 670. Let z be (r - 1)*(-2)/(-2). Su