 + 2560/6 composite?
True
Suppose 0 = 2*x - 47 - 13. Suppose 3*u - 6*u = 3*d - 150, -u = 5*d - x. Is u a composite number?
True
Let h = -3563 + 9592. Is h a prime number?
True
Suppose -4*p = -53 - 827. Let h = p + 495. Suppose -4*w + 505 = -h. Is w a prime number?
False
Let t(s) = 2*s - 2. Let h be t(-4). Let x = 12 + h. Suppose -306 = -x*l + 2*i, -5*l - 4*i + 491 = -238. Is l prime?
True
Is (143544/18*15/20)/1 a prime number?
True
Let r(f) = -f**2 + 7*f - 6. Let g be r(4). Is 3/g*-4 + 225 prime?
True
Suppose 6 + 4 = 5*g. Let d(b) = b**3 - 24*b**2 + 11*b - 183. Let p be d(26). Suppose g*s - p = -3*s. Is s a prime number?
False
Let f(o) = -3*o**3 - 10*o**2 + 12*o + 6. Let x(t) be the first derivative of -t**4/2 - 10*t**3/3 + 6*t**2 + 7*t + 6. Let w(g) = -3*f(g) + 4*x(g). Is w(9) prime?
True
Suppose 190419 = 29*v + 64936. Is v prime?
True
Suppose -8 = n - 5*n. Suppose -7*o = -10*o + 3. Is 0 - o - n - -29 composite?
True
Let i = 6 - 2. Suppose -2*z + 4*z + 2*j = 326, 0 = -z + i*j + 153. Is z a prime number?
False
Let o(i) = i**3 - 5*i**2 - 5*i + 1. Suppose -2 - 4 = -d. Let v be o(d). Suppose 0 = -11*f + v*f + 376. Is f composite?
True
Suppose 5*j = -1 + 6. Let p be (j*78/(-3))/(-1). Let s = 267 + p. Is s prime?
True
Let v = 1 - -2. Let j(u) = 2*u**3 - 4*u**2 - 3. Let m be j(v). Suppose 0 = 5*i + m, -763 = -4*p - 2*i + 7*i. Is p prime?
False
Suppose 3*y + 60 = 6*y. Suppose -o + 246 = 5*p + 20, y = -4*p. Is o composite?
False
Let v be (-2)/5 + 35173/(-5). Let j be (v/(-20))/(2/(-8)). Is 4/8 + j/(-6) a prime number?
False
Let w(i) = -i**2 - i - 2. Let k be w(-4). Let d = -11 - k. Is 154/12 + d/18 prime?
True
Let o(s) = 2*s + 18. Let k be o(-4). Is 10/(-4)*2/k*-1042 prime?
True
Let o(x) = 15*x**3 + 3*x**2 + x - 1. Let g(p) = -3*p + 16. Let i be g(6). Let t be o(i). Is t/(-2) - (-3)/(-6) a composite number?
True
Suppose 6*n = 1425 - 531. Is n a composite number?
False
Suppose 0 = 4*b - 0 + 12. Let w(q) = -282*q**3 + 8*q**2 + 3*q + 4. Is w(b) prime?
True
Suppose t = 5*v + 10 + 47, t = 2. Let h(k) = 12 + 16*k + 39*k**2 + 45*k**2 - 81*k**2. Is h(v) a prime number?
True
Let f(j) = j**2 + 4*j + 6. Let w be f(-4). Suppose 1639 - 6673 = -w*l. Is l prime?
True
Let u(p) = p**3 - 2*p**2 - 2*p + 2. Let l be u(3). Suppose l*o - 5934 = -1159. Is o prime?
False
Is 19174/8*28/((-42)/(-6)) a prime number?
True
Suppose -22*u = -19*u - t - 24443, -5*t = 3*u - 24431. Is u composite?
False
Let c = 12 + -15. Let l(q) = q**3 + 3*q**2 + 2. Let i be l(c). Suppose -407 = -2*s + d - i*d, 3*s - 607 = 2*d. Is s composite?
True
Let f = 58304 + -39603. Is f a prime number?
True
Suppose 5*d = 5, 0 = -v - 3*v - d - 35. Let h = v - -15. Suppose 3*p - 12 - h = 0. Is p a composite number?
True
Suppose 5*s - 19*t - 170617 = -17*t, -5*t - 34128 = -s. Is s composite?
False
Let z(r) = 4*r**2 - 10*r + 5. Let g(w) = -3*w**2 + 9*w - 5. Let v(u) = 3*g(u) + 2*z(u). Let p be v(6). Is -2*p - (-1330)/10 prime?
True
Let a = 69 + 89. Is a composite?
True
Suppose -5*p + 4*j + 18787 = 0, -11*j = 5*p - 14*j - 18784. Is p a composite number?
True
Suppose -26*z = -31*z + 5. Is (-2*z)/((-16)/24680) composite?
True
Let s be -1*0/(-1 + -2). Suppose 3*n + 0*p = -5*p + 82, s = 4*n + p - 81. Is n a composite number?
False
Let c(s) = -211*s**3 - 3*s**2 + 4. Is c(-3) a prime number?
False
Let z be (-15)/20 + (-478)/(-8). Let i = z - 83. Let x = i + 46. Is x composite?
True
Is (-18)/(-3) - 3 - -50066 a composite number?
False
Suppose 3*f - 39990 = 3*n, 3*f - 39969 = -10*n + 6*n. Is f composite?
False
Suppose -2*a + 12082 = -32152. Is a prime?
False
Suppose 9120 = -6*q - 4200. Is 38/209 + q/(-11) a composite number?
True
Let d(x) = -12*x**2 + x + 7*x - 12*x + 10 - x**3. Is d(-15) prime?
False
Suppose 94*m - 534 = -c + 91*m, -3*c = -2*m - 1613. Is c prime?
False
Suppose 0 = 237*i - 246*i + 254493. Is i a composite number?
False
Let p(s) = -2472 - 10*s + 2459 - 18*s + 8*s - s**2. Is p(-8) prime?
True
Suppose -14*n + 36 = -5*n. Suppose 3*d - 8051 = -n*m + 1242, 5*d = -25. Is m a prime number?
False
Suppose 0 = 5*d - 4*z - 201 - 900, -z + 647 = 3*d. Let q = -6 + d. Is q prime?
True
Suppose -2*q + q = 3, 0 = 4*l + q + 3. Suppose 7*t - 3*t - 716 = l. Suppose 34 = -k + t. Is k a composite number?
True
Let s(l) = 429*l - 6. Let c be s(4). Let k = c - 1001. Is k a composite number?
False
Let h(k) be the third derivative of 5*k**4/12 + 5*k**3/2 - k**2. Suppose -p + 0*p = 2*a - 20, -4*p + 55 = 3*a. Is h(p) a composite number?
True
Let g(x) = -3 - 7 - 212*x - 3 - 2. Is g(-14) prime?
True
Let b = 6 - 3. Let d = b - 3. Suppose d = -4*x + x + 57. Is x composite?
False
Let f = 0 - -5. Suppose 3*b + 12 = -2*w, 20 = -3*w - 2*w - f*b. Suppose 5*q + 0*q - 1655 = w. Is q a composite number?
False
Let a(p) = 70*p + 1 + 37*p + 105*p. Let w be (-12)/(-30) + (-3)/(-5). Is a(w) composite?
True
Let v be 1486 - 5/((-10)/(-8)). Suppose 0 = -3*y - 3*y + v. Is y a composite number?
True
Suppose -3207 = 4*k - 28115. Is k prime?
False
Is 3*(-6038)/6*(-2)/2 a composite number?
False
Let c = -13 + 17. Suppose 5*z + 4*s - 2689 = 0, -2 = -c*s - 18. Is z composite?
False
Suppose 0 = m - 3*m + 66266. Is m composite?
True
Suppose -5*t - 3*p = 88 + 81, 4*t = 3*p - 119. Let d = 85 + t. Is d a prime number?
True
Let f be 2 - 0 - 6/(-18)*-12. Let r(i) be the second derivative of -18*i**5/5 - i**4/6 + i**3/2 + 3*i**2/2 - i. Is r(f) a composite number?
True
Suppose 25*y - 20*y - x = 66004, x + 39602 = 3*y. Is y composite?
True
Let r = 16322 - 771. Is r a prime number?
True
Let m = -423 + -22. Suppose 0 = -h + 951 + 537. Let x = h + m. Is x a prime number?
False
Suppose 3*a - 712 = 4*l + 624, -3*l + 1308 = 3*a. Suppose 0 = u + 2*y - 155, 3*u + 0*y + y = a. Is u a composite number?
True
Let q(r) = r + 9. Let k be q(-6). Suppose -a + 5*d + 146 = 0, d - 707 = -5*a + k*d. Is a a composite number?
True
Suppose -6*b - 2*a - 166 = -2*b, -89 = 2*b + 3*a. Is (8770/b)/((-2)/8) a prime number?
True
Suppose 0 = -8*y - 21 - 3. Is (42/28)/(y/(-974)) prime?
True
Let m = 12929 + -7629. Suppose -265 + m = 5*i. Is i a prime number?
False
Suppose -4*d + 3*b = 26, 0 = -2*d - 0*d - 3*b - 4. Let h(w) = -4*w**3 - 7*w**2 + 6. Is h(d) composite?
False
Suppose -4*t = -5*w + 5282, -3*t = 2*w + 2*w + 3946. Let d = t - -4977. Is d a prime number?
True
Suppose 2*k - 7 = p + 3*k, 4*p - 5*k + 37 = 0. Is 786/p*-2*2 a composite number?
True
Suppose -3*y = 3*j - 15, -13 - 7 = -4*y + 5*j. Suppose -106 = -g - 5*w + 2, y = 5*w. Is g a composite number?
False
Let u(l) = 10*l. Let n be u(1). Let v(z) = 32*z - 157. Let s be v(5). Let h = s + n. Is h prime?
True
Let z(q) = 3169*q**2 + 17*q - 109. Is z(4) a composite number?
True
Let w = -12 + -8. Is 1220 + 4/2*w/40 a prime number?
False
Let k(n) = -449*n + 11. Let j be k(-3). Suppose -13*m - j = -6207. Is m a composite number?
False
Let q be (-23124)/(-5) + 16/(-20). Suppose 1222 = 3*o + 4*p - 2233, p = -4*o + q. Is o a prime number?
False
Suppose -x - 2*i + 2261 = -0*i, -4522 = -2*x - i. Suppose x = 2*s + 931. Suppose 0 = -4*p - p + s. Is p a prime number?
False
Let o(c) = 2*c**2 - 55*c + 42. Let g be o(27). Suppose -2*a - a = -5*f + 52, -40 = 5*a + f. Let x = g + a. Is x prime?
False
Let z = -22 - -23. Let x be 0 + (-1 - 3) + z. Let o(y) = -9*y**3 + y**2 - 2*y + 1. Is o(x) a composite number?
True
Suppose 13 = 5*n + t, 5*n + 2 = 3*n + 2*t. Suppose n*j - 128 = 226. Is (-1 + 3)*j/6 a prime number?
True
Let y be -19*3/(-6)*2. Suppose -y = -2*w - 11. Suppose -5*t + 1681 = w*z, 3*t + t = -2*z + 1346. Is t a composite number?
False
Let g(d) = -3 + 8 - 2*d - 17. Let c be g(-5). Is (-2 + 39)/(c/(-6)) prime?
False
Let s = 2396 + -1402. Let r = 2562 - s. Suppose 5*v = r - 93. Is v a composite number?
True
Suppose 0 = -3*l - m + 621 - 47, -2*l + 406 = -4*m. Suppose -2*q + l = -213. Suppose -2*z - q = -3*z. Is z a composite number?
True
Let g(s) = 2*s - 7. Let a be g(-8). Let n(z) = z**3 - z - 46. Let j be n(0). Let m = a - j. Is m a prime number?
True
Let b be (-1 - -3) + (58 - 1). Suppose 3*i + b = 2552. Is i composite?
True
Suppose 166*r - 176*r + 1235990 = 0. Is r composite?
True
Is -8*44/(-96)*7941 a prime number?
False
Suppose -7*i - 40 = -2*i. Let v(c) = 2*c**2 - 12*c + 11. Is v(i) a prime number?
False
Suppose -2*k = -10, 2*k = 3*g + 2*g + 70. Is (