t o = 5421 - -7870. Is o prime?
True
Let i(v) = 4*v - 39. Let d be i(9). Is (-2 + d)*(-443 + 0/4) composite?
True
Let f = 1304 + 237. Is f a composite number?
True
Suppose y - 10 = 49. Suppose 0*f - y = -f. Is f a prime number?
True
Suppose -4*f - 22 = -2*h + 12, -15 = -5*h. Let o be -4 + -1 + (f - -8). Is ((-59)/(-2))/((-2)/o) composite?
False
Let d be (-3 - -5) + -2 + (-1217)/(-1). Let r = 2314 - d. Is r composite?
False
Let j = 301 + 148. Is j a composite number?
False
Let a(v) = 2*v**2 - 31*v + 53. Is a(20) a composite number?
False
Suppose -4*w + 4*j = 2257 - 23953, -5*j + 21741 = 4*w. Is w a composite number?
True
Let q be -1 + 1 + 3 + 1. Let m be 3/q + (-17941)/44. Let h = 6 - m. Is h composite?
True
Let v(l) = 5*l**2 + 3*l + 4. Suppose -2*i - 5*u = 1, 2*i = 3*i + 5*u + 3. Suppose 3 = 3*o + i*j - 0*j, o + 3*j = -6. Is v(o) composite?
True
Suppose 0 = -8*p - 98 + 82. Let t = -620 + -101. Is 7/7*(p - t) a composite number?
False
Suppose -4*o - 5*y = -47, -o + 46 = o - 2*y. Suppose 2*v + 63 = 3*v + 2*d, 216 = 4*v - d. Let l = v - o. Is l a prime number?
True
Let j be (-24)/2*4/6. Is -3 + (-19510)/(3 + j) a composite number?
True
Suppose 2*u + 0*o = o + 893, -5*u + 2237 = -4*o. Let c = -268 + u. Suppose 0 = -0*b - 3*b + c. Is b prime?
True
Let n = 398 - -321. Is n composite?
False
Let r = 4 + -8. Let y = r + 46. Let l = y + -5. Is l a prime number?
True
Let k(h) = 241*h - 118. Is k(5) a prime number?
True
Is ((-2)/(-6))/((-8 + 2)/(-51138)) prime?
False
Is (5 - 24/9)*6891 a prime number?
False
Let j(k) = -k**3 + 9*k**2 - 9*k + 10. Let t be j(8). Suppose -p + t*x = 364 - 1223, -5*p + 4316 = -3*x. Is p a composite number?
True
Is ((-46)/276)/(2/(-35124)) a prime number?
True
Let r(s) = 53*s + 245. Is r(36) a prime number?
True
Let r(f) = -f - 1. Let v be r(-6). Let a = v + -3. Suppose a*m - 37 = 9. Is m a composite number?
False
Is ((-29263)/3 - 2)*(-20 - -17) a prime number?
True
Let l = -12489 + 21616. Is l composite?
False
Suppose -h - 10224 = -3*l, 21*l - 3*h = 18*l + 10218. Is l a composite number?
True
Let p be 9*(-2)/24*-4. Suppose 2*u + 517 = p*u. Suppose 3*y - 5*x + 3*x = u, 3*y = -5*x + 482. Is y a prime number?
False
Let r be 13 - 1 - (-11 - -11). Let u = 12 - r. Suppose -5*l + 1217 + 2708 = u. Is l a composite number?
True
Suppose -4*h + 1487 = 5*w - 459, -5*w + 978 = 2*h. Is (5 + 1 - 3) + h a prime number?
True
Suppose 0 = -5*g - 3*g + 6056. Is g prime?
True
Let o = 41 + -37. Let t(f) = 25*f**2 + f + 5. Is t(o) a prime number?
True
Let b = 84804 - 33547. Is b prime?
True
Let h = 5 - 3. Let b be -4 - 1/(h/(-8)). Suppose 5*y - 649 - 4926 = b. Is y a prime number?
False
Suppose 0*y = -2*y - 14. Let h(m) = 4*m**2 + 5*m - 11. Let g be h(y). Suppose 0 = -2*c + u + 284 + g, -5*c + 2*u + 1087 = 0. Is c a composite number?
True
Let w(o) = 36*o - 20. Let p be w(-16). Let h = p + 1099. Is h a prime number?
True
Let m be (-3)/(-12) + (-3199)/(-4). Suppose -2*x = -7*x + m. Let n = 249 - x. Is n prime?
True
Let n = -643 + 1316. Is n composite?
False
Is (-18)/9*1739/(-2) prime?
False
Suppose 0 = -c - 2, c - 6982 = 3*w - 6*w. Suppose 4*x + 5*t = -0*x + w, -5*x + 5*t = -2955. Is x composite?
False
Let c(o) = 2*o - 11. Let z be c(-6). Let i = 54 + z. Is i a prime number?
True
Let n be (1/3)/(15/45). Let q be (-12)/(-24)*(1 - n). Is (-12)/(-24)*(358 + q) a composite number?
False
Let j(g) = 32*g**2 + g + 2. Let f = 31 - 57. Let i = 29 + f. Is j(i) composite?
False
Let t(b) = -23*b + 2. Let n(u) = 3 - 23*u - 8 + 3 + 4. Let p(d) = -4*n(d) + 3*t(d). Is p(3) composite?
False
Let h(z) = z**3 - 10*z**2 - 25*z + 15. Let r be h(12). Suppose -2089 = -r*j + 1994. Is j prime?
True
Let i(v) = 6*v**2 - 10*v - 33. Is i(-3) composite?
True
Suppose -76208 + 3248 = -5*y + q, -72965 = -5*y + 2*q. Is y a composite number?
False
Let l be 2468 + (-3 - 5/5). Is l/35 - 6/(-10) a composite number?
False
Let v = 9637 - 5588. Is v a composite number?
False
Let b(i) = i**2 - 15*i - 13. Let r be b(16). Suppose -r*z - 4*v + 217 = 0, 272 = 4*z - 0*v + v. Is z prime?
True
Suppose 297 = -4*k - a, -2*k = 4*a + 156 - 18. Let g = k - -549. Suppose g = -0*n + 3*n. Is n composite?
True
Suppose 175*q - 171*q = 14684. Is q prime?
True
Suppose 0 = -n + 2, 9205 = 3*m + 62*n - 60*n. Is m composite?
False
Is (-1438612)/(-56) - (-1)/(-2) prime?
False
Suppose 3628 = 2*p + 2*p + 4*g, 5*g - 891 = -p. Is p a composite number?
False
Let g(v) = 4312*v + 349. Is g(6) composite?
True
Suppose -45744 = -5*p - h, 4*p - 8*p - h + 36595 = 0. Is p composite?
True
Let m be 108 - (-2 + 3/1). Let l = m - 278. Is (-4222)/(-38) + 18/l a prime number?
False
Let m(h) = -h**2 + 5*h + 10. Let s be m(6). Let y(k) = -k - 5. Let f be y(-13). Is (f/s)/2 - -253 composite?
True
Let g = -478 + 3539. Is g composite?
False
Suppose 0 = -3*u - 4*v + 147, -5*u + 111 + 157 = -v. Suppose 4*b - 4*d = 868, -3*d + u = -2*b + 483. Is b a prime number?
False
Suppose 0 = 3*g + 3*r - 18927 - 14655, 5*g - 55976 = -3*r. Is g composite?
False
Let j = -8423 - -13176. Let d = 7362 - j. Is d a prime number?
True
Let u = 18797 - 10224. Is u a composite number?
False
Suppose -16*w + 12*w = -10948. Let d = w + -1480. Is d prime?
False
Suppose 0 = -2*j, -j - 126 = -2*q + 3*j. Suppose 57*k = q*k - 2454. Is k a composite number?
False
Let m(d) = d**2 + d - 17. Let z be m(0). Let q = z - -28. Suppose -w + 5*t + q = 0, -5*w = -5*t - 0*t - 135. Is w prime?
True
Let m be (-4)/12 + (-39)/(-9). Suppose 2*o - 21 = 5*w, 0 = -0*w - m*w - 12. Suppose -5*b = c - 104, -o*c + 227 = -2*b - 0*b. Is c prime?
True
Let p = 2684 + 23769. Is p a prime number?
False
Let z(x) = 11*x**3 - 6*x**2 + 12*x - 19. Is z(12) prime?
True
Suppose 32*m - 29*m = 30. Let b = m + 18. Suppose -2*y + 119 = -3*q, 2*y - 4*q = 142 - b. Is y a prime number?
True
Let r(x) = -4*x + 3 + 5*x + 17*x. Is r(13) composite?
True
Let o be (-14)/(-7) - (2 + -3). Let d be o/(-4)*-2*-134. Is (2*d/6)/(-1) a composite number?
False
Let b = 588 + 1082. Suppose 3*u - 7631 = -b. Is u a composite number?
False
Let k(c) = -c**3 + 3*c**2 + 4*c + 7. Let m be k(5). Let o = m + 32. Suppose 0 = 2*u - 5*y - 79, 0 = 4*y - y - o. Is u composite?
False
Suppose -h = -4*g + 16, 4*h + 5 = 4*g + 1. Let u(v) = 107*v + 112*v - 215*v + v**3 - 1 - 3*v**2. Is u(h) prime?
True
Let m(s) be the third derivative of s**6/120 + 13*s**5/60 - 13*s**4/24 - 9*s**3/2 - 9*s**2. Let k be m(-11). Suppose -3*y + k = -y. Is y a composite number?
False
Suppose 0 = -2*s - 3 + 9. Suppose -2*h + 549 = 5*x, s*h + 9 = -0*h. Suppose 5*i = -3*v + x, -2*v - 111 = -5*v - i. Is v prime?
True
Suppose -9 - 41 = -5*u. Let f(d) = -d**3 + 15*d**2 - 6*d - 21. Is f(u) a prime number?
True
Let a(b) = -4 + 2*b + 6 + 2. Let d be a(-3). Is (1 - 2/d) + 300 a composite number?
True
Suppose 2*o = -0*o - 18. Let r(b) = -8*b + 4. Let i(l) = -14*l + 9. Let m(a) = -6*i(a) + 13*r(a). Is m(o) prime?
False
Suppose 3*i = 5*r - 12770, -i = 3*r + i - 7681. Suppose d = 5*m + r, -2*m - 10323 = -4*d - m. Is d a composite number?
True
Let f(z) = 12*z**3 - 1 + 12*z**3 - 3*z**2 - 3*z - 1. Let b be f(-2). Let n = b - -421. Is n a composite number?
True
Suppose -2*a = -4*c - 26, c = -2*a - c + 2. Suppose a*j = 261 + 6004. Is j a composite number?
True
Let i be 87/(-1 - (7 + -11)). Let g be ((-2)/(-3))/(4/6). Is (i/g)/(4/12) a composite number?
True
Let o = 6021 - 358. Is o a prime number?
False
Suppose -2*c + 4 = -c + 2*k, -5*k + 1 = -2*c. Suppose 3*x + 1276 = c*x. Is (-1 - -2)/((-4)/x) prime?
False
Let f(z) = 13 + z**2 - 10 + 19 + 15*z - 1. Is f(-16) a prime number?
True
Let m(k) = k**3 + 14*k**2 - 3*k - 34. Let g be m(-14). Suppose g*w - 7*w = 787. Is w composite?
False
Suppose -3*q = 9 - 12. Suppose -4*b + 15 = -q. Suppose b*f - 3235 = -f. Is f composite?
False
Let i(u) = -672*u + 383. Is i(-14) a composite number?
False
Suppose -41850 = -7*h - 11*h. Let v = h + -1264. Is v composite?
False
Suppose -10541 = -7*q + 638. Is q a composite number?
False
Suppose -12*z = -113669 - 6295. Is z a composite number?
True
Let c = -6239 - -12610. Is c a composite number?
True
Let q(j) = j**3 - 21*j**2 - 23*j + 19. Let c be q(22). Is (-22)/2*(-4 - c)*7 a prime number?
False
Suppose -10863 = -2*c + 6695. Is c a prime number?
True
Let l = 147 + -98. Is 8*l + 4/((-8)/6) composite?
False
Let h(