 composite number?
True
Suppose 3*z + 3*w = 621, -1 - 9 = 5*w. Is z prime?
False
Let h(t) be the third derivative of -59*t**5/60 + 3*t**2. Let r be h(-3). Let p = -238 - r. Is p a composite number?
False
Let c be 0/((1 - 0)*1). Suppose k = -2*g, -3*k + 2*g - 3*g = -5. Suppose c = k*m - 3*m + 10. Is m prime?
False
Let m(q) = 840*q**3 - 2*q**2 + q. Is m(1) prime?
True
Let u be ((-58)/5)/((-2)/10). Suppose u = 4*q + 2. Is q composite?
True
Let q(x) = 5*x**3 - x**2 - 2*x + 17. Is q(7) a composite number?
False
Let k(h) = 8*h**2 + 3*h - 11. Is k(-6) a composite number?
True
Suppose -2*s - 21 = -3*b, -5*s - 3 - 7 = b. Suppose y = -3*m + 1, 2*m - 2*y = b*m + 4. Suppose r - 20 - 33 = m*o, r + 3*o = 53. Is r composite?
False
Is (-5)/10*(-3 - 419) a prime number?
True
Suppose -j = 4*j + 45. Let c(s) = s + 12. Let z be c(j). Suppose z*y - 3*g = -0*g + 54, 0 = 3*y - g - 46. Is y composite?
True
Let x be 3/6 + (-27)/(-6). Suppose 5 = x*y - 5. Suppose -5*f + 28 + 157 = y*o, 5*f + 3*o - 185 = 0. Is f a prime number?
True
Let g be (-212)/(-6) + 4/6. Suppose 0 = c - 5*c + 3*u - 68, -4*c - 3*u = 68. Let f = g + c. Is f a composite number?
False
Is ((-6*1)/3)/(2/(-191)) prime?
True
Suppose -940 + 6577 = 3*o. Is o prime?
True
Suppose -5075 = -2*w - 669. Is w a composite number?
False
Suppose 93 = 2*b - 841. Is b prime?
True
Suppose n - 126 = 3*s - 0*s, 3*n - 313 = -4*s. Is n a prime number?
False
Let p = -121 - -183. Suppose 0 = -2*x - 0*x + p. Is x a prime number?
True
Suppose -2*o - o = -6. Let k(h) = 3*h**3 - 4*h**2 + 3*h. Let l be k(o). Is l + -2 - 2*-1 a composite number?
True
Is (-6)/(-4)*(-44)/(-6) prime?
True
Let h(i) = 5*i**3 - 2*i**2 + 2*i - 1. Let v be h(1). Suppose -v*m + 216 = -2*r, -3*m + 237 = 3*r + 66. Is m a composite number?
True
Let g be ((-6)/8)/(1/4). Let u be (-45)/(-6)*(-12)/(-15). Is 2/g - (-658)/u prime?
True
Suppose -5*c - 4*f + 3767 = 0, 4*c - 2*f - 2989 = 3*f. Is c a prime number?
True
Let f be (5/(-10))/(2/(-12)). Suppose -f*g + 70 = -g. Is g a prime number?
False
Suppose 0 = o - 3*o + 164. Suppose -2*h = -2*q - h + 88, 2*q + 2*h - o = 0. Is q composite?
False
Suppose -2*i + 1361 = -i. Is i composite?
False
Suppose 1874 = 9*n - 1159. Is n prime?
True
Suppose -4 = -s - 2*w, 3*s - w = 6*s - 2. Suppose -5*h = -h + t - 128, s = -3*h - 3*t + 105. Let i = 0 + h. Is i composite?
False
Suppose 18*l - 13673 = 7*l. Is l composite?
True
Suppose x + 6 = 3*x. Let l = 20 + x. Is l prime?
True
Is (15/(-12))/(4/(-496)) a prime number?
False
Let f = 10 + 116. Suppose 0*l + f = 3*l. Suppose -2*g = -0*g - l. Is g a prime number?
False
Is -2*(4 + ((-3171)/2 - 0)) a prime number?
True
Let s(h) = h**3 + 4*h**2 - 7*h - 5. Let n be s(-5). Suppose -15 - 5 = -n*g. Suppose 9 = -q + g*q. Is q a composite number?
False
Let o(i) be the third derivative of i**7/420 + i**6/720 - i**5/20 + i**2. Let x(h) be the third derivative of o(h). Is x(3) a prime number?
True
Let i = -1329 - -1877. Let r = 789 - i. Suppose -3*b = k - r, 2*b = k + 2*k - 767. Is k a prime number?
False
Let x(v) = v - 1. Let m(c) = 3*c**2 + c + 2. Let q(h) = h**2 - h. Let p(t) = -m(t) + 4*q(t). Let d be p(6). Is x(d) a composite number?
False
Let u(y) = 13*y**2 - 8. Is u(-11) composite?
True
Let j(y) = 10*y - 5. Let a be (2 - (0 - -9))/1. Let r be -2 + -1 + (0 - a). Is j(r) prime?
False
Suppose -2*z - 4*v = -3670, 5*z - 3*z - 3670 = 5*v. Is z prime?
False
Let q be -10*(1 + (-7)/5). Suppose r - 27 = -2*t + q*r, -3*t - 2 = 4*r. Suppose 92 = -2*v + t*v. Is v composite?
False
Let k(r) = r. Let y be k(2). Suppose 5*f = 2*z + 352 + 2229, 1024 = 2*f + y*z. Is f prime?
False
Suppose -r = -64 - 69. Is r a composite number?
True
Let u(a) = -9*a + 4. Is u(-3) prime?
True
Suppose 5*s - 15 = -5. Suppose m - s*m - 3*x - 7 = 0, 0 = -5*m + x - 19. Is 243/7 + m/(-14) prime?
False
Is (42 + 1)/(-6 + 7) prime?
True
Is ((-2540)/50)/((-1)/5) composite?
True
Suppose 4 = -4*i + 2*j, 3*i + 19 + 10 = -5*j. Is (212/6)/((-2)/i) a composite number?
False
Suppose 5*t - 5 = -4*i, 0 = -5*i + t - 0*t - 1. Suppose 3*h - 249 = 3*q, i*h - 3*q + 415 = 5*h. Is h a prime number?
True
Suppose 0 = -0*i - 4*i + 32. Suppose i*s - 5*s = 159. Is s a composite number?
False
Let j be 2 - (4 + 33/(-3)). Is 4015/45 - 2/j prime?
True
Let g = 9 - 8. Is (57/(-6)*-14)/g composite?
True
Let w = 2792 - 1137. Is w prime?
False
Let b be -2 - ((-1)/1 + 1). Is 293*(b + 0)/(-2) a composite number?
False
Let t = -7 - -5. Suppose 24 = 4*k - 12. Let d = t + k. Is d a composite number?
False
Let c = 2 + 4. Suppose -c*o + 146 = -64. Is o a composite number?
True
Suppose 15 = 3*y + 2*y. Suppose -y*h = -2*g - 60, -8*g + 3*g + 2*h = 139. Is g/(-2) - 1/(-2) prime?
False
Let d = 105 - -286. Is d composite?
True
Let a(q) = q**2 - 5*q + 6. Let x be a(8). Let k be (-2)/(-5)*x/6. Suppose -127 = -k*w + 3*o, 3*w - 180 = -0*o + o. Is w composite?
False
Suppose 0 = -5*x + 15. Suppose 59 - 2 = x*a. Is a prime?
True
Let s(v) = -v**2 - 6*v. Let i be s(-5). Suppose -2*p + 152 = -3*x - 79, i*p = -5*x + 540. Is p composite?
True
Suppose -4*o = o - 1045. Suppose -3*q + 2*b = -347, 2*b - o = -4*q + 249. Is q a composite number?
True
Let i be (-2)/13 + 152520/195. Suppose -472 = -3*h - 0*h - c, -5*h + 3*c = -i. Is h a prime number?
True
Suppose 0 - 4 = -2*o. Let y be (-6)/8*-2*o. Suppose -y*l + 2*l = -57. Is l a prime number?
False
Let z be 3/(-3) + (1496 - 1). Suppose -q = q - z. Suppose 0 = 3*y + 5*v - 457, -5*y + q = 5*v - 4*v. Is y composite?
False
Suppose 4*m - 12 - 3 = -h, 0 = -3*h + m + 6. Suppose x - 1036 = -h*x. Is x a composite number?
True
Let j = -4 + 6. Suppose -j*f - 244 = -614. Is f prime?
False
Suppose 7*a - 2*a = -4*r + 707, r - 173 = -2*a. Is r a composite number?
True
Let i = -1128 + 2484. Suppose -2*b + i = 62. Is b prime?
True
Let c = -6 - 74. Let g = 159 + c. Is g prime?
True
Let r(y) = 156*y**2 + y - 24. Is r(5) prime?
True
Suppose 10 + 0 = 5*z. Suppose -51 = -z*s + 41. Is s prime?
False
Let g(h) = -9 + 2*h**3 - 4*h**2 - 2 - 5*h + 14*h. Is g(6) a composite number?
False
Let t be ((-1098)/(-15))/(2/5). Is (-5 + -2)*t/(-3) prime?
False
Suppose 12 = 4*t - 0*t. Suppose -t*i = -i - 174. Is i prime?
False
Let g(j) = j + 8. Let r be g(-4). Suppose -3*d + 0 + 197 = r*w, 202 = 4*w + 2*d. Is w prime?
True
Let a = 5 + -3. Suppose 3*j + a*j - 265 = 0. Is j prime?
True
Let g(h) = -13*h**3 - h**2 - h - 1. Let z be g(-1). Suppose m = t - z, t - 5*m - 32 = -0*t. Is t a composite number?
False
Let q(o) = 2*o**3 - 15*o**2 - o + 3. Is q(8) a composite number?
False
Let n = -3 - -5. Let z(r) = 21*r**3 + 2*r - 2. Let i be z(n). Suppose 7*l = 2*l, -2*q + i = l. Is q prime?
False
Suppose -1 = 2*m - 3*m. Suppose c = m + 2. Is 73/2 - c/(-6) composite?
False
Let c(d) = d**3 - d**2 + d + 25. Let i(m) = m + 5. Let l be i(-5). Is c(l) a composite number?
True
Let p(d) = d**2 - 3*d. Let x be p(4). Suppose j - 2*j = -h + x, -5*h - 5*j + 30 = 0. Suppose -16 = -4*i + 4*o, i + 16 = 2*i + h*o. Is i prime?
False
Suppose 0 = -2*p - 5*c + 254, -266 - 115 = -3*p + 2*c. Is p prime?
True
Let w(s) = -s**2 + 16*s + 3. Let o(b) = -b**2 + 15*b + 2. Let a(z) = 6*o(z) - 5*w(z). Let u be a(7). Suppose -2*f - f = -3*i - 9, 2*f + 2*i - u = 0. Is f prime?
False
Let y(r) = 20*r + 2. Is y(6) a composite number?
True
Let b(n) = -n**2 + n + 13. Is b(0) composite?
False
Let b be (-6)/8 - (-3)/4. Let f = b + 1. Is (2/6)/(f/39) a prime number?
True
Let v = 6064 - 3569. Is v prime?
False
Suppose 1 = -h + 3*p, 0*p = 5*h - 3*p - 7. Is ((-930)/(-4))/3*h a composite number?
True
Let x be -2 + -2 + 9 + 0. Suppose -y - 20 = -6*m + m, -5 = 4*m - x*y. Suppose -w + 42 = -4*p, -m*p = -4*w + 6*w - 97. Is w prime?
False
Suppose 9*o = 2*b + 6*o - 1774, -2*b - 3*o + 1798 = 0. Is b composite?
True
Is -2 + 67 + (5 - (0 + 3)) a prime number?
True
Suppose 0*r + r = 3. Suppose 0 = r*d - 22 - 35. Suppose 0 = -2*k + 3*k - d. Is k prime?
True
Suppose 3*z + z = -24. Is (-2)/6 - 158/z prime?
False
Let a(q) = 25*q - 11. Is a(4) a composite number?
False
Let o(s) = -s**2 - 8*s + 3. Let d be o(-8). Suppose d*f - 14 = f. Is f a prime number?
True
Suppose -3*h = -8*h + 1955. Is h prime?
False
Let j = 5 - 4. Let f be 19 + j - 4/(-4). Suppose 4*y - 5*b = -0*y + f, 5*b = -3*y + 7. Is y a composite number?
True
Let a(f) be the second derivative 