e
Let x = -42 - -1424. Is x composite?
True
Suppose -4*b + 2*n + 0*n = -7290, -5*b - 4*n = -9119. Is b prime?
True
Suppose 4*o + 4*g = g + 537, 0 = -o - 2*g + 133. Suppose -49 = -2*x + 3*v + o, 0 = -4*x + 2*v + 376. Is x prime?
False
Suppose 0 = 4*t + 5*j - 25, -2*t = t - 4*j - 11. Let s = t + 2. Is s prime?
True
Suppose 3*u - 22 = 71. Is u prime?
True
Suppose -56*u + 334 = -54*u. Is u composite?
False
Let a = 764 + -508. Suppose -c - 3*f + a = -4*f, -4*f - 773 = -3*c. Is c composite?
False
Let a = 8 - 5. Suppose 7*z - 123 = 3*z + 5*k, k + 106 = a*z. Is z prime?
True
Let i = 9 + -7. Suppose -f + 2*f + 7 = 4*s, -s = -i*f - 28. Is 529/4 - f/20 a composite number?
True
Let i(b) be the second derivative of -272*b**3/3 + b**2/2 - b. Let c be i(-1). Suppose -h = 4*h - c. Is h prime?
True
Suppose f - 2 = -0. Suppose -u - i = 3*i - 9, f*u - 8 = -3*i. Is (2/4)/(u/38) composite?
False
Suppose 0 = -g + 1 + 888. Is g composite?
True
Suppose 249 = 4*x + 13. Is x composite?
False
Let h(m) = m**3 + 13*m**2 + 1. Let s be h(-9). Suppose -3*w = -5*g - s, -65 = g - 4*w + 9*w. Let b = -34 - g. Is b prime?
True
Suppose -j - 12 = -5*j. Suppose -2*w + 5*m = -5*w + 54, -124 = -5*w + j*m. Is w prime?
True
Let r(m) = -m**2 + 23*m - 15. Is r(10) composite?
True
Let d = 343 - 228. Is d prime?
False
Let k(c) = 26*c + 9. Let d(t) = t**2 + 17*t + 23. Let b be d(-16). Is k(b) a prime number?
True
Let k(b) = -8 + 4*b**2 + 3*b**3 - 2*b**3 + 5*b + 3*b**2 - 2*b. Let q be k(-6). Suppose q*i = 5*i + 75. Is i a prime number?
False
Let t = 22 - 32. Let b be (-5)/t*(-1 - -17). Is (-637)/(-5) + b/(-20) a prime number?
True
Let l be (-152)/6 + 7/21. Suppose j + 43 = -4*z, 3*z + 2*z + 75 = 3*j. Let d = z - l. Is d composite?
False
Let h(m) = m + 9*m + 11*m + 2. Suppose 0*y + 3 = y. Is h(y) a prime number?
False
Suppose -5*k - 507 - 808 = -5*n, 4*k + 785 = 3*n. Is n a prime number?
False
Suppose -3*k = 4*a - 14 - 5, -2*a = 4*k - 12. Suppose a*s - 652 = -96. Let t = 206 - s. Is t prime?
True
Let c(x) = 18*x - 1. Let q = -6 - -10. Suppose b = 5*r - 2*b - q, -4*r - 5*b = -18. Is c(r) a prime number?
False
Let j(p) = -6*p**2 + 3*p - 10. Let i be j(8). Is -2*(0 + i/4) composite?
True
Suppose 0 = w - 3*w + 18. Let d(i) = -i**3 - 5*i**2 - 3*i + 1. Let v be d(-5). Let f = v - w. Is f a composite number?
False
Is (830/(-2 + 7))/((-4)/(-10)) a composite number?
True
Suppose 8*o - 3478 = -102. Is o prime?
False
Suppose 5 = 4*i - 19. Suppose n - i + 2 = 0. Suppose -242 = -2*x + n*z, -2*z - 257 = -2*x - 3*z. Is x prime?
True
Let l = -8093 - -4573. Is 1/(-3) - l/12 a prime number?
True
Let v(j) = -8*j**2 - 6*j - 13. Let n be v(-7). Let a = 146 - n. Is a a composite number?
False
Suppose 5*a + 3*z = 1341, 0 = -a + 5*a + z - 1070. Is a a composite number?
True
Let u be ((-2)/3)/(4/(-78)). Suppose -67 = 4*m + u. Let p = m + 30. Is p a composite number?
True
Let q = 515 + -198. Is q prime?
True
Suppose 9*a - 13*a = -124. Is a a prime number?
True
Suppose -3*w - 4*l + 644 + 5 = 0, -2*w + 428 = -2*l. Suppose w = 3*p + 2*p - 5*m, 5*m - 114 = -2*p. Is p prime?
True
Let u = -491 - -882. Is u composite?
True
Suppose 112 = -5*q + 557. Is q a composite number?
False
Let t = 253 - 102. Let a = 102 + t. Is a a composite number?
True
Let i(v) = -41*v**2 + 2*v + 1. Let b be i(-1). Let n be -5*19*b/15. Is (n + 0)*(-4)/(-8) composite?
True
Let m = -127 + 190. Suppose 0 = -0*t + 3*t - m. Suppose t = -0*d + d. Is d composite?
True
Let v = -4130 - -6417. Is v a prime number?
True
Let o = -26 + 49. Is o a prime number?
True
Suppose 5*w - 29 = -4. Suppose 2*d - 4*d = -2*a - 4, 5*a + 2*d - 25 = 0. Suppose z - w*k = 47, 5 = 2*k - a. Is z a prime number?
True
Suppose -7 - 5 = -3*j. Suppose -210 = -j*t + 214. Is t a composite number?
True
Is 331 - (1 - 3/3) prime?
True
Let o(l) = -8*l - 1. Let v be o(-2). Suppose -3*f + v = -0*f. Suppose -f*z - 142 + 407 = 0. Is z composite?
False
Suppose 0 = 3*q - 10 - 11. Is q prime?
True
Let i(r) = r**2 + 8*r + 15. Let u be i(-12). Suppose -2*z + 37 = 3*v, -5*v - 67 = -5*z + u. Is z composite?
False
Suppose m - 80 = -r, 3*r + 302 = 4*m + 3. Let y = -46 + m. Is y a composite number?
False
Suppose 6*v = 2*v + 1268. Is v a prime number?
True
Let i(x) = x**2. Let h be i(2). Suppose h*g + g = 0. Let v(s) = s**2 + s + 55. Is v(g) prime?
False
Is (-1)/((5/(-10))/((-3634)/(-4))) a prime number?
False
Let h(m) = 8*m**2 + 7*m - 32. Is h(7) prime?
True
Let y(t) = t**2 - 4*t + 10. Let a be y(-9). Suppose -2*g + a = -g. Is g a prime number?
True
Let d = 11 - 8. Suppose 5*j - 435 = m + 3*m, 5*j = -d*m + 400. Is j composite?
False
Let p(u) = -20*u + 5. Let c = -26 - -17. Is p(c) composite?
True
Suppose -29*t - 2635 = -34*t. Is t a composite number?
True
Let o(x) be the first derivative of -x**4/4 + 2*x**3 + x**2/2 + 7*x - 3. Is o(6) a composite number?
False
Suppose 4 + 6 = 2*d. Let f(k) = -k**3 + 5*k**2 - k + 3. Let i be f(d). Is ((-111)/(-6))/((-1)/i) prime?
True
Let a(y) be the second derivative of y**5/20 + 3*y**4/4 - 3*y**3/2 - 9*y**2/2 - 4*y. Let c be (16/(-6))/(2/6). Is a(c) a prime number?
True
Suppose -5*w - 9 = -c + 7, -c = -2*w - 22. Let p = c - 16. Is p a prime number?
False
Let b be (2 - -1)*4/3. Suppose -2*p = -p + b*j - 67, -3*p + 4*j + 153 = 0. Is p a prime number?
False
Let w(k) = 61*k + 6. Let c be w(-9). Is c/(-6) + 6/(-4) a prime number?
True
Let l(d) = d**3 + 10*d**2 - 2*d - 21. Is l(-8) prime?
False
Suppose 5*l + 2*l - 9779 = 0. Is l a prime number?
False
Let o be -3 + 9*(-2 - 3). Let q = o + 79. Is q a composite number?
False
Suppose 3*v = 2*v - s + 3068, 4*s = 4*v - 12264. Is v a composite number?
False
Is (-1)/(4/552*-2) prime?
False
Let v(w) = w**2 + 6*w. Is v(11) composite?
True
Suppose 0 = 2*y - 5*y + 4029. Is y composite?
True
Let o(w) = 7*w**2 - 4*w - 6. Is o(5) composite?
False
Let s be 10/(-15) + (-211)/3. Let q = 39 - s. Suppose -4*x + 17 = p - 0*p, 5*x + q = 5*p. Is p composite?
True
Is (-10 + 3)/((-5)/55) prime?
False
Let w(y) = 42*y**3 - y**2 - 1. Is w(2) a prime number?
True
Let b(s) = -2*s**3 + s**2 - s - 4. Let n be b(-3). Suppose 147 + n = 5*h - 3*g, -4*h + 2*g = -168. Is h prime?
True
Let b(a) = -3*a + 3*a + 2*a - 1 + 0*a**2 - a**2. Let f be b(1). Suppose f = 3*x - 38 - 25. Is x a composite number?
True
Suppose 6*w - 295 = w. Is w a prime number?
True
Let f(q) = 2*q**3 - 8*q**2 + 7*q - 2. Is f(5) prime?
True
Suppose 4*m = 2*q + 16 - 6, 0 = -m - 4*q + 25. Suppose 2*v + 8 = 0, m*v - 121 = -5*h - 41. Suppose 145 + h = 3*u. Is u a prime number?
False
Let h(x) = 2*x**2 + x - 13. Is h(6) prime?
False
Suppose 2*g = g. Suppose g*d + 4*d - 12 = 0. Suppose 0 = -2*s - 1 - 5, 0 = -k + d*s + 94. Is k prime?
False
Let y = 8042 - 3841. Is y a composite number?
False
Is 9942/12*(1 - -1) composite?
False
Let y be 192/(-14) - 2/7. Suppose 0 = s - 2*s + 10. Is (1*y)/((-4)/s) composite?
True
Let p(i) = -3*i**2 - 3*i + 5. Let q(n) = -n**2 - n. Let l(r) = -p(r) + 2*q(r). Is l(-5) a composite number?
True
Let w = 10 + -8. Is 2 + -1 - (-342 + w) prime?
False
Suppose 5*l = 7*j - 2*j - 235, -2*j - 206 = 4*l. Let x = l - -6. Let q = -23 - x. Is q prime?
False
Suppose 2*f + 10 = 0, 2*c = -2*c + 3*f + 7227. Is c prime?
False
Let v be ((-4)/6)/((-2)/12). Suppose -3*q = z - 0*q - 21, -z + 3*q + 21 = 0. Suppose -v*c - 5 = -2*x + z, 0 = -x - 4*c + 13. Is x a composite number?
False
Let x(v) = -2*v - 8. Let r be x(-6). Suppose 0 = -y - 0*y - r, 3*u = 5*y + 455. Is u a composite number?
True
Let n = 4 - -2. Let i be (n - 1)*128/10. Suppose 4*t - 280 = -4*v, -3*v - i = -4*v + t. Is v prime?
True
Suppose -2476 = 3*q - 7*q. Is q composite?
False
Suppose -3*q = -2*q - 4, -56 = -4*h - 3*q. Let o be 2/(-4) + h/(-2). Is 1/3 - 184/o prime?
True
Suppose 2*s - 3*s = -544. Suppose 4*a - s = 452. Is a a prime number?
False
Suppose -3 = -2*r - 5*q, -4*q + 3 + 2 = -r. Let p(b) be the third derivative of 233*b**5/60 - b**2. Is p(r) prime?
True
Is (1 - -2 - 3) + 12747/3 a composite number?
True
Let w(l) = 8*l**3 - 7*l**2 + 6*l - 2. Is w(4) composite?
True
Suppose m + 3*m = 64. Suppose -8*o + m = -4*o. Suppose 268 = o*h - 0*h. Is h a prime number?
True
Suppose -13*u - 2597 = -20*u. Is u prime?
False
Let s(p) = -16*p + 3. Let i(y) = -255*y + 48. Let g(u) = 2*i(u) - 33*s(u). Is g(2) composite?
True
Let t(f) = -4*f