 prime number?
True
Suppose 5*s - 280 = -5*b + 2*b, 5*s = -b + 90. Let z = b - 40. Is z composite?
True
Is (-8)/(-56) + (-1692)/(-14) a prime number?
False
Let p(j) = j**3 - j**2 - 4*j + 2. Let r be p(3). Suppose -4*t + 4 = -r. Is t composite?
False
Let c = -140 - -258. Is c a composite number?
True
Let s be 6/(2 + 0 + 0). Suppose k + 9 = 5*p, -5*p + s*k + 4 = -3. Is (2/(-3))/(p/(-129)) a composite number?
False
Let n(i) = 91*i + i**2 + 2 - 91*i. Is n(-7) prime?
False
Suppose -2*y + 12 = -t, -8 = -2*t - 5*y + 4. Is (164/(-8))/(1/t) a composite number?
True
Is (-1)/(3 - (-3248)/(-1082)) a composite number?
False
Suppose 4*w - 4*i = 352, -w - 351 = -5*w + 3*i. Is w prime?
False
Let s = -3510 + 5321. Is s composite?
False
Let p be (0 - -90) + (-1 - 1). Suppose -228 - p = -4*u. Is u a composite number?
False
Is 82748/60 + 4 + (-4)/30 prime?
False
Let x(i) = 32*i**2 + 7*i + 7. Is x(-4) composite?
False
Let l(g) be the third derivative of 49*g**4/6 - 7*g**3/6 - 6*g**2. Is l(3) composite?
True
Let a(s) = -9*s**3 - 2*s**2 - s. Let r be a(-1). Is 8/(-32) + 442/r a prime number?
False
Let f(w) = -w - 4. Let i be f(-6). Suppose -i*z - 20 = -4*q, -q + 17 = 5*z + 1. Is q composite?
True
Let b(k) be the second derivative of -26*k**3/3 + k**2/2 + 3*k. Is b(-1) composite?
False
Let f = 596 - 337. Is f composite?
True
Suppose -3*f - 5*x + x - 2 = 0, f - 10 = 4*x. Suppose 3*b - 7*r + f*r = 136, -3*b = -4*r - 131. Is b a prime number?
True
Let d(a) = a**2 + 7*a + 6. Let l be d(-6). Suppose -4*i + 64 + 780 = l. Is i a prime number?
True
Suppose -5*p - 2*n + 7768 = 61, 1551 = p - 2*n. Is p composite?
False
Let o(x) = x - 10. Let h be o(8). Let t(w) = -28*w - 3. Is t(h) prime?
True
Let x be (3 - (-2 + -200))*1. Suppose -5*c = 4*r - 537, -r + x = -c + 73. Is r a composite number?
True
Let l = 119 + -8. Is l composite?
True
Suppose 482 = 2*y + 12. Is y a composite number?
True
Let s = -21 + 47. Suppose 2*x = 5*k + 81, 4*k - s = -x - 5. Is x prime?
False
Suppose 2*a - a - 8 = -c, 4*c - 2*a - 14 = 0. Suppose -s + 1037 = s + 3*v, -5*s + 2530 = -c*v. Is s a composite number?
True
Suppose n = 4*w + 5*n - 28, -2*w - 2 = -2*n. Suppose -844 = -d - w*d. Is d composite?
False
Suppose -3 = -w + 5. Let n be 6/(-4) - 4/w. Is (534/9)/(n/(-3)) a composite number?
False
Let g(t) = 2*t**2 + t - 1. Let o be g(4). Let w = o - 13. Is w a prime number?
False
Suppose t - 2 = -19. Let d(q) = -q**3 - 16*q**2 + 6*q + 18. Is d(t) a prime number?
False
Let n = 8 - 8. Suppose n = -m + 81 + 76. Is m a prime number?
True
Suppose 0 = -i - 2*i + 27. Suppose -6*d + i*d - 471 = 0. Is d composite?
False
Let h = -138 - -215. Is h composite?
True
Let l(u) = 6*u**2 + 3*u + 5. Is l(-4) a composite number?
False
Suppose -2*l + f = -f - 2, l + 5*f - 1 = 0. Is 54 - (-2 + l)*-1 a composite number?
False
Is 2206/34 - (-12)/102 a composite number?
True
Let x be (54/(-8))/((-4)/32). Suppose -n + 3*n = -x. Is ((-14)/3)/(6/n) a composite number?
True
Let u be (187 + 0)*(-1 + 0). Let r = -76 - u. Is r composite?
True
Suppose -6*q = -316 - 374. Is q composite?
True
Let q(w) = w**2 - w + 5. Let g(l) = -l - 7. Let r be g(-7). Let h be q(r). Suppose 31 = h*n - 64. Is n prime?
True
Suppose -5*d - 25 = -b - 4*b, 4*b + d - 10 = 0. Suppose -4*y + 123 = 3*u, -205 = -5*u + y + b*y. Let l = u - 19. Is l prime?
False
Let m be -28*(-2 + 3/2). Suppose -2 = 4*q + m, 2*u - q = 302. Is u a prime number?
True
Suppose 3*l - 2147 - 1752 = -2*o, -2*l = -5*o - 2593. Is l a composite number?
True
Suppose u = -5*p - 2*u + 38, -4*u - 31 = -5*p. Let l be 2/(-4)*4 + p. Suppose -21 = -b + 3*g, 0*b = -l*b + 5*g + 105. Is b composite?
True
Let w be (2 - (2 - -3))/(-1). Suppose w = a - 4. Is a prime?
True
Let v(k) = -k**2 - 10*k - 12. Let c be v(-8). Suppose 5*j = -25, 4*r + r - 410 = -c*j. Is r a prime number?
False
Let i = 44 - 23. Is i prime?
False
Let p = 28 - 17. Is p prime?
True
Suppose 549 = 14*r - 2265. Is r a prime number?
False
Let w(v) = -v**3 - 6*v**2 - 6*v + 4. Let b be w(-10). Is 12/(-36) + b/6 prime?
False
Suppose 2*c - 689 = 3*r, 4*c + 4*r = -548 + 1876. Is c composite?
False
Suppose -1 = -4*a - 5, 5*a + 3212 = 3*s. Is s a composite number?
False
Suppose 16*y = 24*y - 440. Is y a prime number?
False
Let y = -10 - -7. Let x(r) = -r**3 - 3*r**2 + 4. Is x(y) a composite number?
True
Let t = 2 + 32. Let s = 16 + t. Suppose 2*w - 4*w + s = 0. Is w a prime number?
False
Let u(b) = 79*b + 7. Is u(10) prime?
True
Suppose 10 = 2*j, -4*j = -5*u + 100 + 10. Is u composite?
True
Is ((-4 + 5)/2)/(1/8) a composite number?
True
Let b = 0 + -27. Is 18*3/(b/(-3)) prime?
False
Let q = -4 - -4. Suppose y = m - 34, q = -2*m + 7*y - 2*y + 59. Is m composite?
False
Let z(c) = -16*c + 1. Let i be z(1). Let s = 22 + i. Suppose u - 2*u + s = 0. Is u a composite number?
False
Is (3170/(-15) + 1)/(2/(-6)) composite?
False
Let o = 15 + -11. Suppose 1646 = 4*j + 3*s, -3*j = o*s - 1356 + 125. Is j a prime number?
False
Is (518 - -3) + -1 + -3 a prime number?
False
Suppose -2*q = q - 6. Let r(d) = d**3 - 2*d**2 - d + 2. Let m be r(q). Is (-37)/(m - 1) - -2 a prime number?
False
Let o(z) = z**3 + 5*z**2 + 5. Suppose -w - w = 10. Let k be o(w). Suppose 0 = -k*q - 3*y + 61, -43 = -2*q - 0*y + 5*y. Is q a composite number?
True
Let r = 264 + -142. Is r a prime number?
False
Let a = -412 + 2343. Is a prime?
True
Suppose 3*w + 2*w = 1505. Is w prime?
False
Is (-1)/(-2) + (19635/2)/7 composite?
True
Let f(i) be the first derivative of -i**4/4 + i**3 - i**2/2 + 4. Let d be f(2). Suppose -c - 2*r + 109 = 4*c, 0 = 2*c - d*r - 52. Is c a prime number?
True
Let l be -1 - 6/(-2 + -1). Let o be l - (9/3 - 6). Suppose 9*s = o*s + 445. Is s prime?
True
Let f = -1169 - -2320. Is f composite?
False
Let y(c) = -4*c**2 - c - 2. Let h be y(-3). Let p = h + 66. Is p a prime number?
True
Let b(s) = s**2 + 5*s - 4. Let h be b(-5). Let g(l) = -25*l - 9. Is g(h) a prime number?
False
Let y = -287 - -706. Is y composite?
False
Let p = 28 + -21. Suppose -573 = 4*f - p*f. Is f composite?
False
Let f(v) = v**3 - 4*v**2 - 8*v + 11. Is f(12) a prime number?
False
Is ((-20)/60)/((-572)/(-573) + -1) composite?
False
Suppose -q + 0 = -1. Suppose y + q = -1. Is (-37)/y - 4/(-8) a prime number?
True
Let l = -51 - -75. Is (0 + -669)*(-8)/l a prime number?
True
Is ((-555)/(-20))/(6/16) a prime number?
False
Suppose 4*i - 455 = -3*i. Is i composite?
True
Suppose -n + j + 5 = 0, -5*n - j = 3*j + 20. Suppose 5*q + 0*q - 295 = n. Is q a composite number?
False
Let b = 7 - 5. Suppose 0 = b*a + 5*n + 4, -2*n = -a - 6*n - 5. Suppose 3*r + 9 - a = 0, -2*r = -5*t + 69. Is t composite?
False
Suppose -558 = -5*g + 187. Is g composite?
False
Suppose 0 = -2*v - 4*o - 10, 2*v - 3*o - 1 = 10. Suppose z = 4 + v. Suppose 2*x - 34 = -2*w, 3*w - z*x = 4*w - 9. Is w a composite number?
False
Let d(p) be the second derivative of p**5/20 + 5*p**4/12 + p**2/2 - p. Is d(4) a prime number?
False
Let d(i) = -183*i + 1. Let b be d(1). Let k = -103 - b. Is k prime?
True
Suppose -2*k - 38 = 3*k + 2*x, 4*k + 2*x = -30. Let p = k + 55. Is p a composite number?
False
Suppose -8*s + s + 1106 = 0. Is s composite?
True
Let h(t) = 2*t. Let f be h(-7). Let d = f - -33. Is d composite?
False
Suppose 2316 = 4*h + 4*a, 2*h - 2*a - 1166 = -0*a. Is h a composite number?
True
Let y(l) = -l. Let o be y(-9). Suppose 2*m - q + 2 = 10, -m + o = -3*q. Is m prime?
True
Let p(z) = 4*z - 22. Let g(b) = -2*b + 11. Let i(l) = 5*g(l) + 2*p(l). Is i(-12) a prime number?
False
Let l(n) = -n**3 + 9*n**2 + 13*n - 8. Is l(10) a prime number?
False
Suppose -2*a - 4 = -a. Let f be -2*(-6)/(-4) + 1. Is (-147)/a + f/(-8) composite?
False
Let j = -68 - -101. Suppose 0 = 2*f + h - 23, -4*f + 6 = -5*h - j. Is f a composite number?
False
Let u be 1/((1*-3)/(-525)). Suppose r + 4*f - 42 = 3*f, -5*r = -2*f - u. Is r composite?
False
Suppose -4*x - x + 545 = 0. Is x a composite number?
False
Suppose 7*j = -681 + 2942. Is j composite?
True
Let w be (-180)/24*(-4)/6. Suppose w*x - 1537 = -2*k, -2*k = -5*x + 3*k + 1530. Is x a composite number?
False
Let a be ((-8)/(-10))/(2/(-5)). Is (a + (-7)/(-3))*333 prime?
False
Let y(i) = -i + 10. Let h be y(7). Suppose h*k + 99 = -0*v + 3*v, -4*k + 53 = v. Is v a prime number?
True
Let y = 84 + -20. Let w = 3 + y. Is w a com