l prime?
False
Suppose 0 = -i + 2*t - 0*t + 11, 3*t + 27 = 2*i. Is i prime?
False
Let i be 2/((-3 - -5)/1). Is (6 + -5)/(i/203) a composite number?
True
Suppose 0 = 2*h + 5*x - 5, -2*h - 4*x + 3*x = 7. Let f(j) = -36*j + 11. Is f(h) prime?
True
Suppose -4*m - 1321 = -3*q, -q + 5*m + 444 = -0*q. Is q a prime number?
True
Suppose 4*w - 2253 = w. Is w prime?
True
Suppose 3*i - 6 - 2 = -s, 4*i - 19 = -3*s. Suppose -4*j = -s*u - 1, -2*j - 9 = 4*u - 29. Suppose w = -2*f + 15 + 15, -j*w = 4*f - 64. Is f composite?
True
Suppose q = -q - 3*p + 25, 5*p = 25. Suppose 235 = -4*h + q*h. Suppose 2*f + 5 - h = 0. Is f composite?
True
Suppose -3*z - 5*a + 6683 = 0, 4430 = z + z - 3*a. Is z composite?
False
Let u(q) = -29*q - 35. Is u(-14) a composite number?
True
Let z(l) = 36*l - 1. Let u be z(-2). Let k = u + 126. Is k a prime number?
True
Suppose -12487 = -3*b + 6140. Is b prime?
False
Let g be (-2 - -8) + -3 + -157. Let p = g - -3. Let z = p + 296. Is z a composite number?
True
Let h be ((-94)/4 + 2)*2. Suppose -5*i + 477 = -n + 95, -5*i - 2*n + 376 = 0. Let v = i + h. Is v a prime number?
False
Suppose 5*g - 1559 = -214. Is g a composite number?
False
Let t = 162 - 35. Is t composite?
False
Let q(r) = -4*r + 8. Let x be q(-6). Let s be 4 - 3*3/9. Let n = s + x. Is n composite?
True
Let y(j) = 83*j**2 - 3*j + 13. Is y(3) prime?
True
Let s be (-14)/(-4)*4/7. Suppose -4*b = -s*b - 74. Is b a prime number?
True
Let f be (-1 - 209)/(-3 + 2). Suppose -6*k - f = -5*z - 2*k, -2*z - 4*k + 56 = 0. Is z composite?
True
Let t(j) be the second derivative of 3*j**5/20 + j**4/4 - j**3 - 13*j**2/2 + 3*j. Is t(6) a composite number?
True
Let m(j) = -j**2 - 10*j - 1. Is m(-4) composite?
False
Is (1*34)/(6/57) a prime number?
False
Suppose 0 = -4*b - 4*g + 20, g + 15 = 5*b - 2*b. Suppose 0 = -b*o + 65. Is o a composite number?
False
Let h = 11 + 26. Is h composite?
False
Let u = 207 + -65. Is u a prime number?
False
Let b = -46 - -144. Let l = 181 - b. Is l composite?
False
Let g(d) = -607*d - 3. Is g(-2) prime?
False
Let n(h) = -h**2 - 6*h - 5. Let z be n(-5). Let c = -1 - z. Is c*(0 + 0) - -149 composite?
False
Let i = -522 + 1309. Is i composite?
False
Let c = -269 + 400. Is c a composite number?
False
Let c(r) = 4*r**2 + 19*r + 1. Is c(-5) prime?
False
Suppose 3*c = -h + 70, -4*c = -0*h + 4*h - 312. Is h a composite number?
True
Suppose -5*l + 875 = q - 0*q, -3405 = -4*q - l. Suppose -3*k + q = 2*k + 5*x, 0 = 3*k - x - 506. Is k a composite number?
True
Suppose 0*h - 2*q - 22 = -4*h, 3*q + 9 = 0. Let f = h - 5. Is (-2 - -3) + (-21)/f prime?
False
Suppose -o - 4 = 3*o. Let q = o + 0. Is (-47)/(0 + 1/q) a prime number?
True
Suppose 3*z + 0*z = 0. Suppose -84 = d - 5*d. Suppose 2*w - w - d = z. Is w prime?
False
Is 547/3 + (-4)/(-6) + 0 a prime number?
False
Suppose 5*k - 101 = -3*h, -5*h - 4*k + 38 + 139 = 0. Is h a composite number?
False
Is (1/(-4))/(-2 - (-38115)/19060) a prime number?
True
Let x(r) = -1227*r - 17. Is x(-2) prime?
True
Let q be (2 - 2)*1 + 2. Suppose q*v = 3*v - 2, 5*o + v = 12. Is (39/3)/(o/2) prime?
True
Suppose 0*m + 2*m = -4*y + 14, -4*y + 9 = -3*m. Suppose -3*u = -y - 3. Suppose 0 = 5*s - u*s - 45. Is s prime?
False
Let l = 1798 - 1167. Is l a prime number?
True
Let q(u) be the second derivative of -16*u**3/3 - 17*u**2/2 - 5*u. Is q(-8) composite?
False
Suppose 0 = 2*b + 4*w - 2814, 4*b - 4*w - 4243 = 1397. Is b a prime number?
True
Is (14/(-4) - -1)/((-43)/42226) composite?
True
Let s = 11 + 91. Let y = s - -205. Is y a composite number?
False
Let z(s) = 1435*s + 3. Is z(1) a prime number?
False
Let l(y) = y**3 + 9*y**2 + 10*y + 3. Let o be l(-7). Let f = 74 - o. Is f a composite number?
False
Suppose 4*q = -6 - 10, 2*v + 5*q + 16 = 0. Suppose z - 3*z = v*m - 4, 2*z - 6 = -m. Suppose -z = -d, 0 = -4*c - 3*d + 174 + 98. Is c prime?
False
Suppose 3489 - 1217 = 4*w. Let z be (1/(-2))/((-2)/w). Is z/4 + 1/(-2) composite?
True
Let u(h) = h**2 - 4*h - 4. Let k be u(5). Let z = 17 + -28. Is (1 + -4)/(k/z) prime?
False
Suppose -6*x + x = 0. Suppose 3*n + 2 - 17 = x. Suppose 7 = n*d - 28. Is d composite?
False
Let y = 169 - 40. Is y a prime number?
False
Let o = 3 - -11. Is (-3)/(-7) + 12412/o a prime number?
True
Let d(v) = -34*v + 7. Let q be (-7 - 8)*(-1)/(-3). Is d(q) composite?
True
Let c(s) = 3*s**2 - 3*s + 7. Let i be c(-5). Let p be 5 + (6 + -4 - 4). Suppose 8*d - 3*d - i = n, p*d = 2*n + 61. Is d a prime number?
True
Let j(w) be the second derivative of w**5/20 - w**4/3 + w**2/2 - w. Is j(8) a composite number?
False
Suppose 0 = -4*l + 4*j + 12276, 0 = -2*l - 0*j + 3*j + 6134. Is l a composite number?
True
Let u(i) = 4*i**2 + 2*i - 5. Let k = -12 - -20. Is u(k) a composite number?
True
Let z(j) = 2*j + 10. Let u be z(-8). Let x = u - -13. Is x composite?
False
Let s(x) = 13*x**3 + 12*x**2 - 14*x + 7. Is s(6) a prime number?
True
Suppose -3*z + 134 = 4*g, -5*z + 48 = -4*z - 2*g. Suppose c - z = 139. Is c prime?
False
Let g = -54 + -11. Is g/(-3) - 2/3 a composite number?
True
Let g(i) = 2*i**3 - i**2 + 4*i - 1. Is g(6) a prime number?
True
Let v = -7 - -7. Let f be (0 + 0)/(v + 2). Suppose f = y - 3*y + 154. Is y a composite number?
True
Suppose -f + 2707 = 3*h, h + 2*f = -331 + 1240. Suppose 4*w = 3*c + 124 + h, 258 = w + c. Is w a prime number?
True
Let h be (-20)/(-6)*(-36)/(-30). Let y = 8 - h. Suppose 325 = c + y*c. Is c prime?
False
Let s(i) = i**3 - 4*i**2 - 5*i + 2. Let j be s(5). Let u(h) = -1 + 2 + 4*h**3 + 2*h**3 + 2*h - 4*h**2. Is u(j) composite?
False
Let l = 17 - 12. Suppose -l*o = -n - n + 427, 4*n = -3*o + 841. Is n composite?
False
Suppose 0 = 3*u - 0*u - 27. Suppose 4*l - 3*l - u = d, 4*l - 3*d - 32 = 0. Suppose b = l*b - 524. Is b a composite number?
False
Is ((-1)/(-2) - 10/(-20))*55 composite?
True
Let f(n) be the third derivative of n**8/2520 - n**6/720 + n**5/30 + 2*n**2. Let h(w) be the third derivative of f(w). Is h(2) prime?
True
Suppose 2*l = 3*l. Let i be (-6)/(-21) + (-1188)/(-7). Suppose -3*m = l, 5*y + 0*m = 3*m + i. Is y composite?
True
Let o(d) = 3*d + 4. Let g be o(-6). Is 80/14 - 4/g prime?
False
Let d be (-6)/(-21) - (-608)/28. Let b = d - -1. Suppose -3*s + 4 = -b. Is s a composite number?
True
Suppose -7*q = -4*q - 2667. Is q a composite number?
True
Suppose -35 = 5*d + 3*t, 4*d - 11 + 2 = 5*t. Let i(y) = -8*y - 5 + 2 + 8. Is i(d) composite?
False
Let y(m) = -m**3 + 6*m**2 - m - 4. Let z be y(6). Let g = 15 + z. Suppose -g*h + 150 + 35 = 0. Is h prime?
True
Suppose -4*s + 2 + 2 = 0. Let i be s*34 - (-4 - -3). Let u = i + -20. Is u a prime number?
False
Let g be (1/2)/(3/72). Is 88/2*21/g a prime number?
False
Is 3/2 - 15820/(-8) a prime number?
True
Suppose -9649 = -2*h - h - 2*d, -h + 3*d + 3220 = 0. Is h a prime number?
True
Let t(f) = -742*f**2. Let r be t(-1). Let a be r/(-3) - (-10)/15. Let k = -169 + a. Is k a prime number?
True
Let c = 5 - 17. Is 5277/18 + 2/c prime?
True
Let g = 12 - -44. Suppose 4*w + r = g, -w - 4 + 33 = 4*r. Is w prime?
True
Suppose 0 = -5*t - 2*c + 13 + 7, -t - c + 4 = 0. Let l(i) = 13*i + 1. Let z(v) = -26*v - 2. Let h(m) = 5*l(m) + 2*z(m). Is h(t) a composite number?
False
Let n = 784 - 274. Suppose -k + n = 3*k + p, 6 = -3*p. Let x = 199 - k. Is x a composite number?
False
Let g be (-6)/(-21) + 1244/7. Suppose -4*j - 46 = -g. Is j composite?
True
Let m be (26/4)/(3/(-6)). Let l = -19 - m. Is (l + 0)/(-3)*1 prime?
True
Suppose 0 = 4*h + 154 - 3186. Is h prime?
False
Suppose -4*r = 3*o - 22 - 4, -4*r + o = -18. Suppose 2*n + 14 = 2*k, 6*k - 3*k + r*n = 5. Suppose z + k*g - 52 = 0, -2*g = 4*z + 3*g - 163. Is z a prime number?
True
Suppose g + 4*g = q - 191, -955 = -5*q + g. Is q prime?
True
Let z be -1 - -1 - (-1096)/(-4). Let g = -111 - z. Is g a prime number?
True
Is -62*(-3)/24*52 prime?
False
Let p be 10 - (0 + 2) - -1. Let a be (-3)/p - (-32)/6. Let f(z) = 4*z + 6. Is f(a) a prime number?
False
Let r = 0 - 58. Let x = r + 109. Is x prime?
False
Let r(j) = 2*j**2 + 11*j + 16. Suppose -2*y - 26 = -0*y. Is r(y) a composite number?
False
Suppose -2*j = -0*j - 2234. Is j a composite number?
False
Suppose -2*d + 310 = -516. Is d composite?
True
Let c be (10/3)/((-10)/(-15)). Let u = c - -136. Suppose 4*p = 7*p - u. Is p composite?
False
Let f(y) be the first derivative of y**2