3*h = 2*h + 2. Is (0 + p)/(-1)*-53 a prime number?
True
Let p(f) = -f**2 - 9*f - 3. Let d be p(-7). Suppose 5 = 4*r - d. Suppose 7*n - r*n = 267. Is n prime?
True
Suppose -u + h + 1 + 1 = 0, -4*u + h = 7. Is (-2 - u)/(2/586) prime?
True
Is 33*10 - (-3 - -2) a composite number?
False
Let w be 1/(((-6)/(-86))/3). Suppose -o - o + 40 = 4*u, 4*o = -5*u + 86. Let y = w - o. Is y a composite number?
False
Let f = -59 - -35. Let d be (f/10)/((-2)/15). Suppose -3*c = -0*c - d. Is c composite?
True
Let n(r) = -r**3 + 9*r**2 + 12*r - 10. Let i(b) = b**3 + 6*b**2 - 3*b - 8. Let o be i(-6). Is n(o) a prime number?
False
Let n = -112 - -405. Is n composite?
False
Let w(l) be the second derivative of l**6/72 - l**5/60 + l**4/6 - l**3/6 + 2*l. Let i(t) be the second derivative of w(t). Is i(-3) composite?
True
Let z(j) = j + 2. Let d be z(-4). Let l be (0 - d - 3)/(-1). Is (l/3)/((-1)/(-213)) prime?
True
Let y = 140 + -51. Is y composite?
False
Suppose 4*o = 3*o. Let r(q) = -q**3 - 6*q**2 + 2. Let h be r(-6). Suppose o = h*v + 2*v - 196. Is v a composite number?
True
Let w(x) be the second derivative of -x**5/20 + 7*x**4/12 + 2*x**2 - x. Let d be w(7). Suppose -d*i - q + 76 = 0, 4*i + 22 - 98 = 4*q. Is i composite?
False
Let t be 2/(2 - (3 - -1)). Is 36 + 1/(t/1) composite?
True
Suppose -2*w + 117 = v, 2*w - 5*v + 46 - 169 = 0. Is w a prime number?
True
Suppose -2*b - 15 = b. Is 1/b - 1302/(-35) a prime number?
True
Let p(b) = 5*b**2 + 5*b - 4. Let s(x) = 21*x**2 + 21*x - 17. Let a(o) = 26*p(o) - 6*s(o). Let n be a(-5). Suppose 0 = -2*j + n + 20. Is j a prime number?
False
Suppose 2*p + 4 = 0, -3*d - 2*d + 25 = 5*p. Let h(r) = 31*r + 6. Is h(d) composite?
False
Suppose -a + 3*x - 10 - 2 = 0, 3*a + 5*x - 34 = 0. Suppose b = a*v - 395, -2*v + 274 = -0*b + 2*b. Is v prime?
False
Suppose -4*w + 6*w - 5*i - 2361 = 0, -3*w + 3589 = 2*i. Is w a prime number?
True
Suppose -2 + 6 = 4*d, -f + 423 = 3*d. Suppose 4*c + 4*i - f = 0, 0 = -c - 4*c + 3*i + 509. Is c a prime number?
True
Let m(i) = -3*i - 4*i + i**2 + 2*i - 3. Is m(-5) a composite number?
False
Suppose -20*s - 395 = -25*s. Is s composite?
False
Let x(d) be the first derivative of 7*d**4/4 - d**3/3 + d**2 - 3*d - 1. Is x(2) prime?
True
Let l(c) = -7*c - 14. Let g be l(-6). Suppose 0 = -a + g + 183. Is a a composite number?
False
Let g = -500 + 1207. Is g a prime number?
False
Suppose -4*a = -f + a + 2567, f + 3*a = 2543. Suppose 2*c + c - 5*h = f, h = c - 848. Suppose -2*q + 6*q - c = 0. Is q a prime number?
True
Suppose -5 = -5*t + 4*r + 20, 3*r - 10 = -2*t. Suppose -t*i = -3*i. Suppose i = p - 34 - 61. Is p a composite number?
True
Let s(a) = -a**3 + 4*a**2 - 5*a + 7. Is s(-6) a composite number?
False
Suppose -36 = 3*n - 0. Let x = n + 17. Is -1 - x/(10/(-112)) composite?
True
Suppose -w - 102 = 135. Let b be w - (0/2)/3. Is b/(-6) + (-6)/4 prime?
False
Suppose -2*z + 7554 = 4*z. Is z composite?
False
Suppose 9*u = u + 264. Is u a composite number?
True
Let b(c) = c**3 - 9*c**2 + 10*c - 11. Let v be b(8). Suppose 11 = v*i - 39. Is i a prime number?
False
Let l be (-2)/(0 + 1 - 2). Let g = l - -1. Is g a prime number?
True
Suppose -g + 526 = -598. Suppose 88 - g = -4*b. Is b a composite number?
True
Let x = -3 + 4. Let z = x - -13. Is (-583)/(-7) + (-4)/z prime?
True
Let w(q) = -2*q**2 - q + 1. Let k = 0 - -1. Let u be w(k). Is (38/(-8))/(u/8) a composite number?
False
Let k be 85/(-10)*(-1 - -13). Is (k/(-8))/((-6)/(-16)) composite?
True
Suppose 0 = -s - s + 1358. Is s a prime number?
False
Is (350 - -19) + (3 - 1) prime?
False
Suppose 0 = -n - 0 + 1. Let m be n*(32 - (1 - 2)). Suppose -4*g + m = -3*g. Is g prime?
False
Suppose 3*o + 5*c = 23, -4*o - 5*c + 39 = -0*o. Suppose 0 = -5*b - 3*q + o + 18, 5*q - 22 = -4*b. Is ((-79)/4)/((-2)/b) prime?
True
Suppose 0*v + 4*b - 16 = 4*v, -2*v + 8 = 2*b. Is (-131)/((-2)/(2 + v)) composite?
False
Suppose 2*l + l = 4*m + 2, 5*l = 2*m - 6. Let x be l/6 + (-87)/9. Is ((-6)/(-10))/((-2)/x) prime?
True
Suppose -k = -2*d - 8, -d + 7 = -0*d + 5*k. Let v(q) = q**2 + 8*q + 9. Let s be v(-6). Is 155 + (d - s)/3 a composite number?
True
Is (1068 - 5/(-5)) + 0 a composite number?
False
Suppose -5*d = -3*c + 44, -48 = -4*c + 2*d + 2*d. Suppose c = f - 50. Is f a prime number?
False
Let s(o) = -o**3 - 10*o**2 - 10*o - 7. Is s(-10) a prime number?
False
Suppose 1 = -k - 6. Let f(i) = -i**3 - 6*i**2 + 7*i + 4. Let u be f(k). Suppose -13 = -u*c + 27. Is c composite?
True
Suppose 2*h - 3*h = 0. Suppose h*p = -3*p + 42. Is p composite?
True
Suppose -6*u = -4*u - 614. Is u prime?
True
Suppose -4*z = -4*l + 10936, -l - 2*l + 8202 = -z. Suppose 4*n = 4*q - 2736, 0*n - 2*n = -4*q + l. Is q a composite number?
False
Let p(x) = x**3 - 5*x**2 + 5*x - 3. Suppose 7*i - 4*i - 15 = 0. Is p(i) a prime number?
False
Let f = -596 - -1054. Let h = f - 267. Is h composite?
False
Suppose -4*b - 20 = -3*p, -2*b - 20 = -p + 2*b. Suppose -a + 3 = -p, -3*a = -2*v + 61. Is v composite?
True
Let b(n) = -3548*n**3 - 3*n - 4. Is b(-1) a composite number?
False
Let t(s) = 16*s**2 - 2*s + 9. Is t(-5) prime?
True
Suppose 2*i + 9 = -0*r - 3*r, 0 = -4*i + 5*r + 37. Suppose 4*k = i*k + 21. Suppose -a + k + 4 = 4*p, -29 = -2*p + 5*a. Is p a prime number?
True
Suppose -2*i - 2*i + 3*b = -2852, -2*i + 1426 = -4*b. Is i prime?
False
Suppose -v = -c - 4*c - 2430, 0 = v - 3*c - 2432. Is v a composite number?
True
Let c(x) = x**3 + 9*x**2 + 2*x - 2. Is c(-7) prime?
False
Let m(o) = o**2 - o - 4. Let x be m(0). Let p(a) = a**2 + 9*a - 1. Let t be p(x). Is (t/9)/((-1)/3) a composite number?
False
Suppose u + 2*i + 2 = 0, i + 13 = 2*u - u. Let s = u + -1. Is s composite?
False
Suppose -5*a - 3 = 7. Is (0 - a)*(-89)/(-2) a composite number?
False
Let h(k) = -k**3 + k**2 + 2*k - 1. Let j be h(-6). Suppose 259 + j = 3*l. Is l composite?
True
Suppose -1 = 4*n - 3*n. Let k be (-1)/n + -4 + 3. Suppose k = 4*x - 65 - 23. Is x a composite number?
True
Suppose -5*q + 8 = -q. Let m = q - -1. Suppose -m*y - 14 = -4*y. Is y prime?
False
Let x(j) = 7*j - 9. Suppose 0 = 3*y + 2*w - 8, 0 = y - w - 4*w - 31. Is x(y) prime?
False
Suppose -251 = -3*i + 2038. Is i prime?
False
Let m be (1 - 3/2)*-8. Suppose -m*x + 4 = -4. Suppose -x*g - 356 = -6*g. Is g composite?
False
Suppose 2*g + 2*o = 40, -82 + 14 = -3*g + o. Let u = g - -20. Suppose 98 = 4*r - u. Is r a prime number?
False
Suppose -4*i + 19 = v, 0 = 2*v - 2*i + 2. Suppose v*a - 595 = -0*q - 2*q, 3*q + 3*a = 888. Is q a composite number?
False
Let n(m) = m**2 - m + 7. Is n(4) a prime number?
True
Let z(a) = -5*a**2 - 2*a + 2. Let u(t) = 36*t**2 + 15*t - 15. Let f(g) = -2*u(g) - 15*z(g). Suppose -x = -3*x + 2. Is f(x) a prime number?
True
Is (1/(-4))/(3/(-444)) a prime number?
True
Suppose -5*h = -7*h. Suppose -4*k = 3*q - 96, -2*q + 4*k + 15 + 29 = h. Let g = 61 - q. Is g prime?
False
Let z(o) = o**2 - 7*o + 3. Let a be z(7). Suppose a = -f + 1. Is 21 + (-1 - 1 - f) composite?
True
Let t(j) = -j**2 + j + 62. Is t(0) a prime number?
False
Let z(h) = 44*h**2 + h - 4. Is z(3) composite?
True
Let v(l) = 2*l + 16. Let i be v(-11). Is (i/3)/(4/(-166)) prime?
True
Suppose 5*y + 33 = 698. Is y/14*1*2 prime?
True
Let w(d) = 10*d**2 + 13*d + 42. Is w(13) composite?
False
Suppose 0 = -2*k + 3*i + 289, -k - 2*i = -3*k + 292. Is k a composite number?
False
Let g = 4 + -9. Let x(a) = a**2 - 7*a - 3. Is x(g) a prime number?
False
Suppose -762 = -2*i - i. Is (-1 + 5 - 1) + i composite?
False
Let b(x) = -x**3 - 11*x**2 + 11*x - 9. Let o be b(-12). Is 3 + 114*2/o a composite number?
False
Is -1*636/(-3) - 1 a composite number?
False
Let j(l) = -l + 8. Let a be j(6). Suppose -2*z - a*z = 424. Let h = -51 - z. Is h a prime number?
False
Let k(d) = d**3 + 16*d**2 + 12*d + 7. Let n = -3 - 7. Is k(n) prime?
True
Let r be 2/6 + (-3)/9. Suppose 3*k + 3*x = 36, r = 5*x - 0*x - 25. Let g = k - -15. Is g composite?
True
Suppose 0 = -6*g + 7*g + 51. Let c = g + 352. Is c composite?
True
Let o(r) = 71*r**3 + 4*r**2 - 5*r - 1. Let c(p) = -70*p**3 - 3*p**2 + 4*p + 1. Let g(y) = 4*c(y) + 3*o(y). Is g(-1) prime?
True
Let a = 118 - -253. Is a a composite number?
True
Is (-8)/2 + (43 - 4) a composite number?
True
Let x(f) = -f**2 - f + 641. Is x(0) composite?
False
Let w be ((-2 - -3) + 2)/1. Suppose 2*r - 410 = -2*z, -