 a composite number?
True
Suppose 2*v = 587 - 69. Is v composite?
True
Suppose 5*h - 371 = 4*h. Suppose 31 = -4*q + h. Is q a prime number?
False
Let z be ((-9)/21)/(2/(-14)). Suppose -z*q - 1475 = -8*q. Is q a prime number?
False
Suppose z = 5, 0*z - 3*z + 22 = a. Suppose -2*f + 351 = -3*b, 3*b = a*f - 2*f - 864. Let t = f - 92. Is t prime?
True
Let x(q) = q**3 + 3*q**2 - 4*q + 5. Let i be x(-4). Suppose i*h = -1470 + 5015. Is h a prime number?
True
Suppose -4*w + 19 - 63 = 0. Is 14 + w + 145*2 a composite number?
False
Suppose 0 = 5*c - p - 2358, -3*c + p = -2*p - 1422. Is c composite?
True
Suppose 2*u - 5*t = -t + 14, t = -2. Let y(s) = 2*s**2 + 0 + 0 + 4*s**u - s. Is y(2) a composite number?
True
Let i be (15/6)/((-1)/2). Let g(f) = -4*f + 0*f - 6 + 0*f. Is g(i) composite?
True
Let x(i) = i**2 + i**3 + 3*i - 2*i**3 + 3 + 5*i**2 + 0*i. Is x(6) composite?
True
Let a(m) = m**2 - 4*m + 22. Is a(-17) a prime number?
True
Let u(g) = -2*g - 6 - 1 - 2. Let i be u(-7). Suppose i*k - k = 92. Is k a prime number?
True
Let t be -2 - (0 - -7)/(-1). Suppose -t*w + 4*m = -199, -5*w - 5*m + 69 = -166. Is w prime?
True
Let s(f) = 2*f**2 + 7*f + 4. Let r be s(9). Let i = r + -72. Is i prime?
True
Let u(s) = 43*s**2 + 4*s - 3. Is u(-4) composite?
True
Suppose 3*k = -m - 14, -4*k - 19 = 1. Is ((-550)/(-4) + m)*2 a prime number?
True
Suppose 2*t - f + 49 = -34, -t - f = 37. Let w be 1 + -4 + (1 - 1). Let i = w - t. Is i a composite number?
False
Suppose 0 = 3*s + 4 - 13. Let r be (3/2)/(15/50). Is r/(((-5)/s)/(-5)) composite?
True
Let b(w) = -w**2 - 2*w. Let i(m) = 2*m**2 + 3*m - 1. Let f = -6 - -3. Let l(z) = f*i(z) - 7*b(z). Is l(5) a prime number?
True
Let n(q) = 18*q - 1. Let g(u) be the second derivative of 3*u**3 - u**2/2 - 2*u. Let k(l) = 5*g(l) - 4*n(l). Is k(5) a composite number?
False
Let p(r) = -5*r**3 - 2*r**2 - r. Let d be p(-1). Suppose -2*g = -52 - 78. Suppose -g = d*a - 7*a - i, 4*i + 55 = 3*a. Is a prime?
False
Let a(k) = 29*k + 1. Is a(2) prime?
True
Suppose 2*c + 2*z = 2, c + 0*z = -3*z - 1. Let h(f) = 9*f**2 - 3. Is h(c) a prime number?
False
Let r(o) be the second derivative of -o**5/20 + o**4/12 + o**3/6 - 241*o**2/2 + 3*o. Let c be r(0). Let j = -114 - c. Is j a composite number?
False
Let s(c) = c**3 + 5*c**2 + 3*c + 2. Let f be s(-2). Let a(v) = v - 11. Let w be a(f). Is ((-2)/w)/((-8)/(-444)) a prime number?
True
Let x(t) = 50*t**2 + 7*t + 4. Is x(-5) a prime number?
False
Suppose 0*s = 3*s. Suppose 4*f + 3*w - 36 = f, -f - 2*w + 15 = s. Suppose 2*a - 139 + f = 0. Is a a prime number?
False
Let j be (49/(-3))/((-1)/(-3)). Let g = 97 + j. Let v = g + -29. Is v prime?
True
Let r = -5 - 2. Let a(k) be the third derivative of -k**4/8 - 7*k**3/6 - k**2. Is a(r) a composite number?
True
Let i be ((-25)/(-15))/(2/54). Suppose 3*c - 63 = -5*k + 28, c - 2*k - i = 0. Is c prime?
True
Suppose -3*a = -19 - 71. Let g be ((-30)/(-9))/((-2)/(-3)). Suppose -355 = -g*v + a. Is v a composite number?
True
Suppose -r + 333 = 3*g + 17, 2*r - 647 = -3*g. Is r a composite number?
False
Is 8/4*(-2901)/(-6) a composite number?
False
Let c be (-24)/9 + (-3)/9. Let b be -1*6*c/(-6). Let m = b - -58. Is m prime?
False
Suppose -4*w + 2795 = 1035. Let h be w/(-28) - (-2)/(-7). Is 158/18 + h/(-72) a prime number?
False
Suppose -5*x = -0*x - 2485. Is x a prime number?
False
Suppose 4*j - 2*x - 132 = 0, -6*x = -2*j - x + 66. Let y = j + -20. Is y a prime number?
True
Let y be 2/11 + (-186)/(-66). Suppose 110 + 325 = y*f. Is f prime?
False
Is (-12)/16 - (-11815)/4 a prime number?
True
Let s be -14*15/12*-14. Suppose 460 = 5*l - s. Is l prime?
False
Let t = 2315 - 1174. Is t prime?
False
Let u(k) = -16*k**3 + 2*k + 1. Suppose 6 - 3 = -3*p. Is u(p) a composite number?
True
Is (-12 + 2)*(-59)/2 composite?
True
Let c(b) = 7*b - 12. Is c(11) prime?
False
Suppose 0 = 2*v - 5*j + 88 - 449, 4*j - 553 = -3*v. Suppose 571 = 4*h + v. Is h composite?
False
Let f(g) = 20*g**2 - g - 1. Let m(d) = -3*d**2 - 4*d - 3. Let a be m(-2). Let r = 9 + a. Is f(r) a composite number?
True
Is 2 + 0 + -3 + 35 prime?
False
Suppose v - 5*j = -3 + 15, j + 2 = 0. Let h(w) = -w**3 + 2*w**2 - 2*w + 1. Let q be h(v). Let s(c) = -5*c + 4. Is s(q) composite?
False
Suppose 86*m + 1401 = 89*m. Is m a prime number?
True
Suppose 0 = -5*p - 5. Let b be 19*5 + p - 2. Suppose d - b = -3*d. Is d a composite number?
False
Suppose -22096 = -7*v - 6815. Is v a prime number?
False
Let g(m) = 17*m**2 - 3*m - 4. Let a(j) = -16*j**2 + 3*j + 5. Let r(d) = 3*a(d) + 4*g(d). Is r(4) a composite number?
False
Let y be (-7)/(-3)*504/(-6). Let t = y - -305. Is t a composite number?
False
Suppose -3*d - 721 - 975 = -5*k, 2*k - 4*d - 670 = 0. Suppose 3*b = -4*q + 2*b + k, -4*q + 345 = 5*b. Is q prime?
False
Let h be (41 + 2)/(10/(-20)). Let g = h + 139. Is g a composite number?
False
Let a(f) = -9*f**2 + 8*f**2 + 211 + f**3 + 0*f - 2*f. Is a(0) composite?
False
Let p(k) = 6*k**3 + 3*k**2 - 7*k + 4. Let j be p(4). Suppose b - j = 133. Is b prime?
True
Let s = 500 - 226. Let d = s - 157. Let m = d + -48. Is m composite?
True
Suppose -4*z - 4*z = -15064. Is z a composite number?
True
Let a = -7 - -3. Let m be (a/(-6))/(6/45). Suppose m*n = 2*z + 89, n + z + 4 = 26. Is n composite?
False
Let g(j) = 954*j**2 + 1. Is g(-1) a prime number?
False
Let y be 247 - (0 - -1 - 2). Suppose 3*f - 4*m = y, -m + 85 = 4*f - 233. Let w = 129 - f. Is w a prime number?
False
Suppose 4*q - 116 = -0*q. Suppose -1079 = -5*v + 2*x, 4*v - 4*x + q = 885. Is v a composite number?
True
Suppose 8*r = 2*r + 3498. Is r prime?
False
Let l be (6/(-12))/((-3)/930). Let s = -90 + l. Is s prime?
False
Let l = 208 + 3. Is l a prime number?
True
Suppose 2*s + 7*p - 18 = 3*p, 3*p = 2*s - 25. Is (13/3)/(s/363) composite?
True
Let h(o) = o**2 - 7*o + 8. Let r be h(6). Suppose r*s - s - 16 = 0. Suppose -3*i = -5*a - s - 16, 2*a - 4 = 0. Is i prime?
False
Suppose 27 = -3*h - 5*y, -4*h + 5*y = -0*h + 1. Let l be h/(-2)*(-21)/(-2). Suppose 0 = -4*o - l + 169. Is o composite?
False
Let a be (474/(-5))/((-6)/15). Suppose -q = -3*o + a, -5*o - q = -95 - 300. Is o a composite number?
False
Let d(m) = -1022*m + 1. Is d(-3) a composite number?
False
Suppose d + 777 = 5*r + 2*d, -4*r + 618 = -d. Let k = 4 + 0. Suppose 5*c - k*p - r = 0, 0 = 2*c - 3*p - 39 - 23. Is c a prime number?
True
Is ((-6)/(-8))/(-3)*-236 prime?
True
Is (1/3)/(-5 - (-181972)/36393) prime?
True
Suppose -3*j - 2*j = 0. Suppose -x + 98 = -j*x. Let h = x - 41. Is h prime?
False
Let z be ((-7)/(-2))/((-5)/(-10)). Let u(v) = -v**3 + 8*v**2 - v - 5. Is u(z) a composite number?
False
Is (-12 - 232)*(138/8)/(-3) prime?
False
Suppose -5*y + 349 + 216 = 0. Is y prime?
True
Let g(u) = 2*u**2 + u - 8. Let l = -24 - -14. Let d be g(l). Suppose -d = -4*o + 6. Is o a composite number?
False
Let h(m) = -14*m - 7 - m - 8*m. Suppose 12 = 4*o - 6*o. Is h(o) composite?
False
Let d(u) = 4*u**2 - 3*u + 2. Let x be d(3). Let g = x - 4. Is g a composite number?
True
Let t = 355 + -246. Is t a prime number?
True
Suppose n + 4*l + 24 = 5*n, 0 = -3*n - 4*l + 53. Let b = n + 8. Is b a composite number?
False
Let y = -64 + 111. Suppose 0 = -2*l + 3 + y. Is l a prime number?
False
Suppose -i - 2 = 0, -2*f = -0*i - i - 2. Let v(u) = -u + 43. Is v(f) prime?
True
Suppose 26*x = 21*x + 2555. Is x a composite number?
True
Let o(m) = m**2 + 3*m - 4. Let k be o(-5). Let z = k - 4. Suppose 54 = z*r - 3*a, a + 3*a + 50 = 2*r. Is r prime?
False
Suppose 2*g + 2*t = 418 - 172, -647 = -5*g + 3*t. Is g prime?
True
Let k(v) be the third derivative of 0*v + 0*v**4 - 1/6*v**3 + 1/60*v**5 + 2*v**2 + 0 - 1/120*v**6. Is k(-3) prime?
False
Suppose -5*d + 2*w + 95 = 0, 2*d = -3*w + 56 + 1. Suppose -4*t + 9*t = 0. Suppose -d = -t*y - y. Is y a composite number?
True
Let g = 110 + 81. Is g prime?
True
Suppose 3*s + n - 2167 = -s, 2*s + 3*n - 1091 = 0. Is s a prime number?
True
Suppose 5*s = 9*s - 12. Suppose -1512 = -3*r + 3*l, -1511 = -s*r + 2*l + 2*l. Is r a composite number?
True
Let k(g) = -484*g + 49. Is k(-10) a prime number?
True
Suppose 2*a - 3*a = 3*t - 28, -a + 8 = t. Is t prime?
False
Let l = 0 - -2. Suppose 5*x + 2*a - 4*a - 165 = 0, l*x - 55 = 3*a. Is x prime?
False
Let m(c) = c**2 + c. Let z be m(1). Suppose 5*t = z*t + 15. Suppose -t*o + 13