g, -2*d - 1148 = -4*g - 4*d. Is g composite?
True
Is 291 + (0/(-4))/(-1) prime?
False
Suppose -5495 = 5*t + 4*s - 13286, 2*s = -2*t + 3116. Is t composite?
False
Let p be (-13 - 1) + (0 - 2). Let f = p - -10. Let r(t) = 5*t**2 + 5*t + 5. Is r(f) a prime number?
False
Suppose y + 5*l = 9, 3*y = 8*y - 5*l - 15. Let a(v) = 35*v + 9. Let f(t) = 1. Let r(m) = a(m) - 6*f(m). Is r(y) a composite number?
True
Let v(n) be the first derivative of -n**2/2 - 3*n - 4. Let i be v(-3). Suppose 2*t + t - 147 = i. Is t a prime number?
False
Let k = 13 + 24. Is k a composite number?
False
Let n be ((-2)/3)/(4/(-6)). Let t(i) = 31*i**2 - 4*i + 5. Let a(y) = -y**2 + y - 1. Let q(k) = 6*a(k) + t(k). Is q(n) composite?
True
Let m = -421 + 604. Suppose 4*w - 3*w = -5*v + m, 3*w - 4*v - 473 = 0. Is w a composite number?
False
Suppose 4*l = 350 - 122. Suppose -5*b = -13 - l. Is b a composite number?
True
Suppose d = -3*d + 16. Suppose 5*z = b + 24, -d*z = -2*b + 3*b - 12. Is z/18 + 2235/27 a composite number?
False
Suppose 2*m + 6 = -2*o + 26, 0 = 5*m - 5*o. Suppose 52 - 182 = -m*p. Let n = p + -7. Is n composite?
False
Let x = 68 - 31. Is x composite?
False
Suppose 3*n - 17 = 2*h, 6*n = 5*n + 4*h + 19. Suppose v + 167 = 3*y + 2*v, -281 = -5*y - n*v. Is y a composite number?
True
Suppose -3*r + r = -u - 2793, 2*u = 10. Is r composite?
False
Is 3802/((-6)/(3/(-1))) a prime number?
True
Let v(x) = 121*x - 2. Let u be v(2). Suppose -5*h + u + 15 = 0. Is h a composite number?
True
Let l(k) = 2*k - 8. Let n be l(6). Let s be ((-6)/n)/(2/(-4)). Suppose -q = f, -4*f + 29 - 8 = -s*q. Is f composite?
False
Is -3 + (1*518 - -4) a prime number?
False
Let j be -2*-1*4/8. Is 116 + (j - 4/(-4)) a composite number?
True
Let a = -650 - -1899. Is a prime?
True
Let o(v) be the third derivative of -v**6/120 + v**5/20 + 5*v**4/24 - v**3/2 + 2*v**2. Let j be o(4). Let z = j + 8. Is z a composite number?
True
Let p = 3 + 3. Suppose 4*i - 142 - p = 0. Is i prime?
True
Is 53/4 - (-3)/4 a prime number?
False
Let h be (4/(-6))/(2/(-9)). Let a(k) = -8*k - 15. Let l(p) = -4*p - 8. Let w(j) = -6*a(j) + 11*l(j). Is w(h) a composite number?
True
Suppose 2*d = -3*o - 14, o + 28 = -4*d + 5*o. Let i = d + 60. Is i a composite number?
False
Is 1/(-3)*18*-1 a prime number?
False
Let r = -54 + -14. Suppose -2*v - 122 = t, 2*t = -3*t - 3*v - 624. Let f = r - t. Is f prime?
False
Suppose -k = 5*v + 20, -k + 3*k - 4*v = 16. Let g(z) = -z + 1055. Is g(k) a prime number?
False
Let c be (-6)/(-4)*(-7674)/(-9). Suppose 1598 = 5*j - w, -3*j - j + w + c = 0. Is j a prime number?
False
Let q = -195 + 509. Is q a prime number?
False
Let n be (-2)/((-7)/(-2) - 3). Let r(f) = 3*f + 2 - 3 + 0 + 5*f**2. Is r(n) a prime number?
True
Let g = -4 + 13. Is ((-354)/g)/((-8)/12) prime?
True
Is 2/12 - (3 + 11446/(-12)) prime?
False
Let y be ((-5)/(-10))/(1/(-2)). Let t(q) = -q - 264. Let n be t(0). Is -2 - y - n/2 a composite number?
False
Suppose 414 = 2*o - 458. Suppose -3*f + 7*f - o = 0. Is f composite?
False
Suppose 0 = -5*z - 6*z + 16643. Is z prime?
False
Let i = -107 + 1542. Suppose -7*z + 2*z = -i. Is z composite?
True
Suppose -4 = -3*z + 2. Suppose 5*n + 27 = z*n. Let f = n + 16. Is f a prime number?
True
Let p(l) = 212*l**3 + l**2 - 2*l + 1. Let b be p(1). Suppose -b - 310 = -5*m + 2*h, 5*m - 4*h = 524. Suppose -4*f + m = -108. Is f a composite number?
False
Let t(s) = -48*s + 35. Is t(-9) composite?
False
Suppose 0 = 2*z + 3*z - 215. Is z prime?
True
Let k(m) = 3*m**2 + 2*m + 1. Let g be k(-2). Let q be (-4)/(-3)*g/6. Suppose 0 = 3*w + q*w - 345. Is w a composite number?
True
Let d(v) be the first derivative of 3*v**2 - 8*v + 3. Let c(k) = 8*k**2 + 2*k + 1. Let h be c(-1). Is d(h) composite?
True
Is (-1)/3*(18 + -1245) composite?
False
Suppose -91 = -3*f + 2*f. Is f a prime number?
False
Suppose 0 = -5*f + 15, 4*c - 2*f - 235 = -3*f. Suppose -4*r + 12 = 0, -d = d - 4*r - c. Is d prime?
False
Let d = -4 - -3. Let s = d + 5. Is (-234)/3*(-2)/s a prime number?
False
Let v = 11 - 7. Suppose 5*z - v*z = 33. Suppose 0 = -4*k + z + 27. Is k a composite number?
True
Suppose -3*x - 5 = -83. Is x composite?
True
Suppose t + 4 = -3*t. Let p = 3 - t. Suppose 4*y + 6*l - 364 = p*l, 3*y + 2*l - 273 = 0. Is y a prime number?
False
Let n = -16 + 40. Suppose -2*t - 3*f = -37 - n, -t = -4*f - 47. Is t prime?
False
Suppose 2*i + 15 = -3*i. Let b = 0 - i. Is (3 - 0)/b*21 a composite number?
True
Let s(a) = 15*a**2 - 7. Is s(4) composite?
False
Suppose 3*t = 5*a - 469, -a - 3*t = -2*t - 97. Is a a prime number?
False
Let u = 482 - 305. Let c = u - 64. Suppose -2*l + c = 3. Is l prime?
False
Suppose -5*g = i - 0*i - 152, 3*i - 3*g - 546 = 0. Is i a composite number?
True
Let f = -24 + 27. Suppose -f*n + 814 = -n. Is n a prime number?
False
Suppose -4*p = 8, 4*c = -3*p + 1325 + 2365. Suppose j - c = -3*j. Suppose -j - 59 = -2*d. Is d composite?
True
Suppose j - 28 = 349. Is j prime?
False
Let j = -146 + 80. Suppose 0 = 11*b - 4*b - 2807. Let d = b + j. Is d a composite number?
True
Suppose -3*z + 6 = -0. Is -2*166/(-8)*z composite?
False
Let v(b) = -b + 0*b + 29*b**2 - 1 + 5 + 5*b. Is v(5) prime?
False
Suppose 11*l = -5*c + 16*l + 1695, 1346 = 4*c + l. Is c a composite number?
False
Let h = 0 - 5. Is h*(4 + 33/(-1)) a composite number?
True
Let k(r) = 6*r**2 - 2*r - 3. Let t be k(3). Suppose 1 = -4*n + 5. Is (t + 1)*n/2 composite?
False
Suppose 135*z - 1341 = 132*z. Is z a prime number?
False
Let f(s) = -s**2. Let n(c) = 2*c**2 + 6*c + 4. Let t(l) = 3*f(l) + n(l). Let p be t(6). Suppose 2*r + p*i - 27 = 27, i + 124 = 5*r. Is r a composite number?
True
Suppose 5*q - 3*k - 35 = 0, -4*k - 4 = -q + 20. Suppose -r - 35 + 7 = -3*a, -q*a - r = -42. Is a a prime number?
False
Let s(y) = -y**2 - y + 1. Let k(t) = 6*t**2 + 9*t - 7. Let u(m) = k(m) + 5*s(m). Let j be u(-4). Is (j/2)/(2/(-42)) composite?
True
Let r(d) = 6*d**3 - 3*d**2 + d - 5. Let b be r(4). Suppose -2*h + 0*h = 3*l - 201, -b = -5*l + 2*h. Is l composite?
False
Suppose 2 = -4*k + 2*s, -4*k + 3*s - 5 = -0*s. Suppose 3*x - 2 + k = -2*w, -4*x - 2 = w. Suppose w*y - 201 = -y. Is y composite?
False
Let m(p) = -5*p. Let f = -2 - -1. Let z be m(f). Suppose -4*n = -z*n + 55. Is n composite?
True
Suppose 5*h = 1541 + 49. Is (h/12)/((-2)/(-4)) a prime number?
True
Suppose -x = -6*x + 3885. Suppose 4*a = -3*b + 7, b - 2*a = -b + 14. Suppose -b*w + x = -38. Is w composite?
False
Let w = -380 - -540. Suppose -w = -4*f + 3*p + 119, 4*f = -5*p + 271. Is f a composite number?
True
Is (-12)/(-42)*7*(-46)/(-4) a composite number?
False
Let x = -345 + 638. Is x a prime number?
True
Suppose -1055 = -5*f - 0*f. Is f composite?
False
Is (-1 - 2)/((-6)/78) a prime number?
False
Is 4/10 + (-2532)/(-20) a prime number?
True
Let t(r) = 22*r**2 - r + 1. Let j be 2/3 - 22/6. Is t(j) prime?
False
Let q(s) = s**3 - 9*s**2 - s - 1. Is q(12) prime?
True
Let q(i) = -3*i - 1. Let m be q(-6). Suppose m = n - 0*n. Suppose -76 = -p - n. Is p a prime number?
True
Suppose 0 = 2*w - 2*a - a - 20, 2*w + 3*a = 32. Let o = 107 - -17. Suppose -4*z = 0, 3*i = -4*z + o - w. Is i a prime number?
True
Suppose 2*j - r = 4*r + 14, 0 = 2*r + 4. Suppose 0*k - j*k = -8. Suppose 0 = -0*f + k*f - 316. Is f prime?
True
Let q(k) = 5*k**2 - k - 2. Is q(-3) a prime number?
False
Suppose -3*b - 4*q + 499 = 0, -5*q - 348 = -b - b. Is b composite?
True
Suppose 4*n + 4*y - 358 = 346, y + 3 = 0. Is n a composite number?
False
Let h = -365 - -528. Is h composite?
False
Let z(g) = -g**2 + 4*g - 1. Let t be z(4). Suppose 0*k = 3*k + 42. Is t + -1 - -3 - k composite?
True
Let f(j) = 4*j**2 - 20*j - 19. Let g be f(15). Let s = -330 + g. Is s a composite number?
False
Let b = 24 - -125. Is b composite?
False
Let h(s) = s + 9. Let a be h(-5). Is 154*((-14)/a)/(-7) a prime number?
False
Suppose -2*t - 2*t = -4*v + 3744, 4*t = -4*v + 3784. Is v composite?
False
Let v be (-6)/9 - 42/(-9). Is (185/10)/(2/v) a composite number?
False
Is ((-2)/4)/((-4)/376) prime?
True
Let a = 89 - 148. Suppose -7*c + 3*c - 504 = 0. Let x = a - c. Is x a prime number?
True
Is 8/(-44) - 629/(-11) composite?
True
Let n = -279 - -793. Is n a prime number?
False
Suppose -4*p - 4*t = -t - 847, -5*t = -3*p + 628. Is p composite?
False
Let h = 1038 - 1480. Is (-6)/(-4)*-2 - h