435. Suppose m = -m + p. Is m composite?
True
Suppose 2780 = d - 2799. Is d a prime number?
False
Let u = -2 - 1. Is u/(-6*(-4)/(-5464)) prime?
True
Let c(x) = 369*x**3 + 4*x - 5. Let b be c(2). Suppose -1955 = -5*d + b. Suppose -5*a - o + d + 77 = 0, 4*a - 860 = -4*o. Is a a composite number?
False
Let u = 784 + 610. Suppose 0 = -z - 299 + u. Suppose 2*r - q - 417 = -6*q, 5*r + 2*q = z. Is r composite?
True
Let j = 7759 + 3040. Is j a prime number?
True
Suppose 13 = 2*p - 5*f - 18, 14 = p - 2*f. Is 11190/p - 1/(-4) prime?
True
Let d(r) = -10*r**3 - 4*r**2 - 8*r - 13. Is d(-7) a composite number?
True
Let i(j) = j**2 + 3*j + 23. Let v = -42 - -31. Is i(v) prime?
False
Let w(y) = 309*y + 6. Let j be w(-3). Is 1/3*(0 - j) composite?
False
Let h be (-72)/(-16)*(1 - -1). Let t = -10 + h. Is 7 - (-3 + (2 - t)) prime?
True
Suppose 2*k - 5*u = 5*k - 18, 0 = 4*k - 4*u + 8. Let o(f) = 4 - 1 + k - 126*f - 1. Is o(-3) a prime number?
False
Suppose -961*i - 836281 = -978*i. Is i a composite number?
False
Suppose -72*g + 11963 = -65*g. Is g composite?
False
Let i(l) = -263*l**3 - l**2 - 2*l + 2. Let n be i(2). Let z(x) = -x**3 + 7*x**2 - 13*x + 2. Let v be z(3). Is (v/2)/(5/n) a prime number?
True
Let m(g) = -106*g + 21. Is m(-13) prime?
True
Let m(u) = 7105*u**2 - 18*u + 3. Is m(2) composite?
False
Let b = -3 + 2. Let g(x) be the first derivative of -4*x**2 + x + 7. Is g(b) composite?
True
Suppose 4*h - 615 = -3*m, -2*h - 4*m = -0*h - 300. Is (h/(-60))/(2/(-10)) a prime number?
True
Is (-2 - -6) + -123*(-81 - 2) prime?
False
Suppose -60*v + 16*v = -1209604. Is v a prime number?
False
Is (-1 + -1)*8048686/(-212) composite?
False
Let j = 8220 - 5299. Is j a prime number?
False
Let q = 89 - -52. Let n = q - 67. Suppose i - 37 = -r, 2*r + i - n = 3*i. Is r a prime number?
True
Let m be 34/4 + 1/2. Suppose 2*x - 2*v = 6*x + 92, -3*v + m = -x. Is 14/x + 502/6 composite?
False
Let d(p) = 8*p - 14. Let c be d(5). Is c/(-39) - 665/(-3) a composite number?
True
Is (15/9)/(15/153837) a prime number?
True
Let o(k) = -10*k - 6 - 5*k**2 + 8*k**2 + 1. Let z be o(8). Let w = z + -33. Is w composite?
True
Let n be (2 - 0)*(2 + -4). Let v(q) = -q**2 + 10*q - 6. Let o be v(7). Is ((-1180)/o)/(n/6) prime?
False
Let m(c) = -18*c**3 + c**2 + c + 1. Let v be (-2)/(3 + -2 + 1). Let r be m(v). Is r - (-5 - (-5 - -2)) a prime number?
False
Let p = -19 + 20. Let u be p*3*(-325)/(-15). Suppose -5*n = -1150 + u. Is n composite?
True
Let i(r) = -3*r + 30. Let k be i(9). Suppose k*c + z = 5*c - 80, 5*c - 2*z = 199. Is c prime?
False
Is (-5)/(-50)*15 - 8679/(-2) composite?
True
Let y = 77 - 74. Let l = y + 34. Is l composite?
False
Suppose 19 = 2*p - 9. Suppose -9*y + p*y = 0. Suppose 0 = 4*w - y*w - 3644. Is w a prime number?
True
Let s = -31 + 37. Let q(b) = 3*b**3 + b**2 + b + 7. Is q(s) prime?
False
Let u be (-3)/((2/16)/(2/3)). Let d = 4 + -10. Is d/(-8) + (-5252)/u prime?
False
Suppose -2*z - 8 = -4*z. Suppose -4*s - s + 181 = -z*n, 2*s = -4*n - 146. Let r = 0 - n. Is r composite?
True
Let y(j) = j - 5. Suppose -5*n + 44 = -2*z, 29 = 3*n - z + 3. Let c be y(n). Suppose 3*k = c*g - 183, 128 = g + g - 5*k. Is g a prime number?
True
Let y(u) = 13*u**3 - u**2 - u + 1. Let o be y(1). Suppose 8*q + o = 4*q. Let i(v) = 16*v**2 - v - 4. Is i(q) a prime number?
False
Suppose 4*r = -8*r + 260844. Is r composite?
False
Suppose -3*g - 5*k = -6542, 3*g - 5982 = k + 554. Is g prime?
True
Let m = 9 + -22. Let h = m - -15. Suppose h*g + 2*n = 228 + 50, 5*n = 4*g - 592. Is g a prime number?
False
Is (3391 + -5)*1/2 prime?
True
Suppose 16 = 5*t - t. Suppose -g + t*m + 1 = -0*g, -g + 4 = -m. Suppose -g*p + 230 = -515. Is p a prime number?
True
Let j(o) = 25*o**3 - o**2 - 12*o + 5. Is j(4) a prime number?
False
Is 1/(-5)*(-10244 + -21) prime?
True
Let k(u) = -u**2 + 5*u - 4. Let a be k(3). Suppose 3*m = o + 10, m + a*o - 3*o = 0. Suppose x - 299 = -m*c + 3*c, 2*c - 295 = 3*x. Is c a prime number?
True
Let y = -55085 + 93934. Is y a prime number?
False
Let d(h) = 383*h**2 + h + 41. Is d(-5) a prime number?
False
Let f = -8028 + 34111. Is f a prime number?
True
Let h(o) = 140*o + 215*o - 30*o - 1. Is h(3) a composite number?
True
Suppose -3*c + 1713 = 4*d - 5*d, -c = 3*d - 571. Let k = -278 + c. Is k composite?
False
Let p(d) = 0 + 1 - d**2 - 3 + 12. Let h be p(0). Is (623/14)/(1/h) a prime number?
False
Let k = -19172 - -30349. Is k a composite number?
False
Let d(g) be the first derivative of g**4/4 + 17*g**3/3 + g**2/2 - 11*g - 8. Is d(-12) a composite number?
True
Let o = 2071 - 329. Let r be 2 + o + -1 + 2. Let i = -1066 + r. Is i a prime number?
False
Let v(m) = 37 - 15 + 29*m**2 + 3*m - 21. Is v(-3) composite?
True
Suppose 28 = 13*v - 9*v. Suppose -v*y = -14*y + 1337. Is y a prime number?
True
Let i = 26 - 24. Let h(n) = -16 - 2*n**i - 5*n + 4*n**2 + 12. Is h(-5) prime?
True
Suppose 3*b - 149 = 2*w, 3*b + 205 = -4*w - 66. Let f be 1 + 1 + 37/(-1). Let i = f - w. Is i a composite number?
True
Suppose -2*u + 5*b - 24 = 0, -3*u - 11 = b + 8. Let y(q) = -23*q - 12. Is y(u) a prime number?
True
Let z(s) = s**2 + 9*s + 20. Let o be z(-6). Suppose -3*j - t = -1472, -15*t - 987 = -o*j - 10*t. Is j a composite number?
False
Suppose -o - 3*h - 2 = -0, -5*o - 2*h = -3. Is (0 + o)/((-2955)/(-590) + -5) prime?
False
Suppose -2*z - 15785 = -3*z - 3*f, -47343 = -3*z - 3*f. Is z a composite number?
True
Let h(q) = -424*q**3 - 2*q**2 - 2*q - 1. Let t = 13 + -14. Let n be h(t). Let y = n - -112. Is y composite?
True
Let g be ((-20)/(-25))/(4/10). Suppose 1074 = 2*d + g*s, 4*d - s + 849 = 3017. Is d composite?
False
Suppose -5*w + 11870 = 3*n, 3*w - 7108 = -4*n + 5*n. Is w a prime number?
True
Let x(b) = 2*b + 22. Let h be x(-9). Suppose -3*o = -2*u + 8, -6*o - 4*u = -h*o - 16. Is 2 + (-1 - o) + 20 composite?
True
Suppose -47*p = -78*p + 311271. Is p a composite number?
True
Let y(f) = f**3 - 4*f**2 - 5*f + 3. Let k be y(5). Let r be (-2)/k - (-51)/9. Suppose -r*i = -0*i - 2785. Is i a prime number?
True
Let w be -1 + 3 + -1 + -1. Suppose 0 = 2*f - 5*f + 9. Suppose -f*h + 107 + 88 = w. Is h prime?
False
Let r(b) = 91*b - 9. Let n be r(2). Suppose -u - 4*a = -233, -u - a + 63 = -n. Is u a prime number?
False
Let k(b) = -11*b**3 - 37*b**2 + 38*b + 23. Is k(-18) prime?
True
Let y(i) = -37*i - 25. Let z be y(-8). Let p = z - 128. Is p composite?
True
Suppose -2*u + 1151 = 401. Let j = u + -126. Is j prime?
False
Let j = 2 - 2. Suppose -q = -j + 2. Let l(c) = -39*c**3 - 6*c**2 - 4*c - 3. Is l(q) a composite number?
False
Suppose 5*w + 4*b = 3*w - 8, 5*w = -b - 29. Let h(v) = -6*v - 2. Is h(w) a prime number?
False
Let l = -3 - -10. Suppose l*m = 2*m - 595. Let r = m + 412. Is r a composite number?
False
Let o(d) be the second derivative of 3*d**5/10 + 5*d**4/6 - d**3/2 + 2*d**2 - 6*d. Let v be o(8). Suppose 1477 - v = -5*l. Is l prime?
True
Suppose -l = -3459 - 7180. Is l prime?
True
Let w = 280 + -22. Is (1 + w)/(6 - 5) a prime number?
False
Suppose 2*g + 16748 = 6*g - 3*x, 0 = 2*g - 4*x - 8374. Is g a composite number?
True
Let p(i) = -i**2 - 6*i + 13. Let v be p(-8). Is (887/v)/((-2)/6) a composite number?
False
Is (-1)/(-4)*(-344384)/(-16) a composite number?
False
Suppose 0 = -5*s - 2 - 8. Let v(b) = 2*b**2 + 2*b + 1. Let w be v(s). Suppose 2*r - 4*r + 166 = 5*q, r - 168 = -w*q. Is q prime?
False
Suppose 5*g + d = 19313, -3*g + 11593 = 8*d - 10*d. Is g a composite number?
False
Let b(l) = -l**2 + 2*l - 4. Let h be b(3). Let y(m) be the first derivative of 2*m**3/3 + m**2 - 7*m + 18. Is y(h) prime?
False
Let i(p) = 200*p**2 - 3. Let u be i(-4). Suppose -4*n - 4*k + 2*k = -3182, -4*n - 5*k = -u. Suppose -3*j + s = -n, 271 = j - 3*s + s. Is j prime?
True
Suppose 7*y = 11*y - 80. Let r be y/(-25)*(-10)/4. Is 67/r + (-4)/(-8) prime?
False
Suppose -o - 2*f = -6*o + 82, -4*o = 2*f - 62. Suppose o = 4*s, s - 1237 = -3*g + 3*s. Suppose 2*k - 3*k = -g. Is k prime?
False
Is (-4 - (-14)/4)/(2/(-44788)) prime?
True
Suppose 8*p - 9736 = 10736. Is p a prime number?
False
Let i(h) = -h**3 + 8*h**2 + 2*h - 13. Let z be i(8). Suppose f - r = 4*f - 234, f = -z*r + 86. Is f a composite number?
True
Let w(k) = 2*k**3 - 11*k**2 - 5*k + 2. Let i be w(6). Suppose i*s = 3*s + 6065. Is s prime?
True
Suppose -13*j + 9702 + 3155 = 0. Is