 = t**3 - 3*t**2 - 5*t - 3. Let q be (5 - (3 + -1))*1. Suppose 5*g = q*z - 20, -4*z - 4*g + g + 17 = 0. Is x(z) a prime number?
False
Let s = 43 + 465. Is (s/(-6))/(10/(-15)) prime?
True
Let v(t) = -t**3 - 15*t**2 - 20*t - 1. Is v(-17) a prime number?
False
Let o(s) = s**3 + 5*s**2 - 7*s - 3. Suppose -2*c + 5*v + 6 = 0, -4*c - 2*v = 15 + 21. Let d be ((-6)/c)/(1/(-7)). Is o(d) composite?
False
Suppose 0 = -0*q - 2*q + 120. Suppose 5*b - q = 50. Is b prime?
False
Is (-1 - -1083)*(-5)/(-10) composite?
False
Let h be (-6 - 0)*(1 + -3). Suppose -3*m = m - h. Suppose 0 = -m*q - 2*q + 45. Is q composite?
True
Suppose a + 12 - 167 = 0. Is a a composite number?
True
Let k be 26 - (0 - 0 - -3). Let b = 78 - k. Is b a composite number?
True
Let k(r) = 2*r + 1. Let z be k(2). Suppose z = d - 62. Is d prime?
True
Suppose -i - 325 = -6*i - 5*x, i - 4*x = 55. Let l = -35 + 169. Suppose 3*w + f = l, -4*f - 132 - i = -5*w. Is w composite?
False
Let v be (3 - (2 - 0))*3. Suppose -2*u - v = -3*u. Suppose -u*i - 16 = -154. Is i a prime number?
False
Suppose 3487 = 5*a + 1292. Is a composite?
False
Is 211/(3/1 + -2) prime?
True
Suppose -w + 392 = k, -k + w + 103 = -295. Is k a prime number?
False
Let j(m) = 191*m - 4. Is j(1) prime?
False
Suppose 2*r - 722 = -4*t, 0*t - 1431 = -4*r + 5*t. Is r composite?
False
Let x = -1685 + 2856. Is x a prime number?
True
Let r(a) = a**2 + 7*a + 3. Let p = -15 + 8. Let q be r(p). Suppose -5*o = -q*x + 378, -5*x - 8*o + 590 = -3*o. Is x composite?
True
Is (60/(-9) + 5)*-1119 a composite number?
True
Let i = 58 - -21. Is i a prime number?
True
Suppose 0 = -2*w - 3*a + 3, 4*w + 9 = a - 2*a. Let x = w - -140. Let n = -18 + x. Is n composite?
True
Is 114/(-18)*(-52 + 1) prime?
False
Let y(a) = a**3 + 5*a**2 + 2*a - 3. Let u be y(-4). Suppose -2*l + 2*o + 67 + 25 = 0, -u*o + 184 = 4*l. Is l prime?
False
Let m be (3/(-6))/((-2)/8). Suppose -m*p + 5*p = 6. Suppose p*h + 335 = 7*h. Is h prime?
True
Let o(r) = r**2 - r - 1. Let p be o(3). Let k = p - 2. Suppose -3*l + 4*t + 85 = 0, 5*l + 3*t = k*l + 34. Is l a composite number?
False
Let t = -6 - -9. Let i(o) = o**2 + 2*o. Let n be i(1). Suppose n*h = -t*c + 33, -26 = -2*c - 4*h - 0. Is c a prime number?
False
Let h(k) = -131*k - 2. Is h(-5) a prime number?
True
Is -122*(-3)/(-12)*-10 a prime number?
False
Let m(y) = -y - 2. Let g be m(-5). Let h(t) = 3*t - g*t + 0*t - t + 4*t**2. Is h(1) composite?
False
Suppose -117 = 3*y - 5*p - 471, -p = 5*y - 590. Let j = y - 67. Is j a composite number?
True
Let h(i) = -179*i - 3. Let s be h(-2). Suppose -2*g = -3*n + g + 282, -4*n + s = 3*g. Is n prime?
False
Let n = -2141 - -3934. Is n composite?
True
Let x = 565 - -286. Is x a composite number?
True
Is 1/12*3*1348 a composite number?
False
Suppose 0 = 4*i - 0*i - 188. Suppose 2*r + 23 = d, -3*d - 5*r + i = -0*d. Is d composite?
False
Suppose -2*m - 14 = -5*p - 44, -1 = -p - m. Let c(b) = -7*b**2 - 5*b - 1. Let h(j) = -8*j**2 - 5*j - 2. Let q(w) = p*c(w) + 3*h(w). Is q(3) composite?
True
Let h(j) = -j**3 - j**2 + 2*j - 5. Suppose -4*w - 3*u - 4 = 0, -12 = -5*w + 4*u + 14. Suppose w*g + g = -12. Is h(g) a prime number?
False
Let m = 24 - 28. Is 1324/20*(1 - m) prime?
True
Is (1 + -3 - -5) + 142 composite?
True
Suppose -3*d + 6462 = -p, 5*d - 2*p - 9164 - 1607 = 0. Is d a prime number?
True
Suppose -5*g = -4*g - 5*j - 1192, 0 = -4*g + 2*j + 4750. Is (-24)/(-18) - g/(-3) a composite number?
False
Suppose -8*b + 10281 = -5*b. Is b a prime number?
False
Let f be (2 - (-4)/(-3))*-12. Let t = 7 - f. Let a = -6 + t. Is a prime?
False
Let z = 0 + 4. Suppose z*w - 6 - 6 = 0. Suppose 4*u - 2*m - 66 = 0, w*u - m = -2*m + 37. Is u prime?
False
Is (1 + 1)/(2*(-2)/(-3554)) composite?
False
Suppose 0*n - 4*n = 0. Suppose -3*p - 327 = -3*q, n = -3*q - q + 5*p + 434. Is q a composite number?
True
Let m = 7 - 7. Suppose 5*t + m*t = 265. Is t a prime number?
True
Let o be 1707 - (3 + -7 - 0). Let h = o - 650. Is h a composite number?
False
Let t(x) = x**2 + 5*x - 9. Let r be t(-7). Suppose r*p + 146 = 6*p. Is (p + -5)*2/6 a composite number?
False
Let s(x) be the third derivative of -x**7/2520 - 7*x**6/720 - x**5/40 - x**4/24 + x**2. Let w(h) be the second derivative of s(h). Is w(-5) a composite number?
False
Let y(x) = 56*x**3 - 2. Let l be y(2). Suppose -4*t - 2*k = -3*t - 223, -2*t - k = -l. Is t composite?
False
Suppose 0 = -3*u - 2*o - 4 + 20, -4*u - 12 = -4*o. Let c = u - -13. Is c prime?
False
Suppose 0 = -2*n - 2*a + 362, -n + 6*n - 889 = 3*a. Is n prime?
True
Let c be 2/(((-2)/(-4))/1). Suppose 3*v - 35 = -5*n, -c*n + 0*v = -3*v - 1. Suppose n*i = 5*j + 268, 4*i + 0*i + 2*j = 268. Is i a prime number?
True
Let i be (-12)/5 + 2/5. Let j(y) be the second derivative of -3*y**5/10 + y**4/6 + 2*y**3/3 + 3*y**2/2 + y. Is j(i) prime?
False
Let w(g) = 2*g**2 - 9*g - 1. Is w(12) prime?
True
Suppose 3*w - 90 - 111 = 0. Is w prime?
True
Let u(f) = -f**3 + 5*f**2 - 5*f + 5. Let b be u(4). Is -2*(b - (-42)/(-4)) a prime number?
True
Let y be ((-1)/3)/(3/(-36)). Let c(v) = y*v - 5*v + 0*v. Is c(-3) a composite number?
False
Let a = 61 + -106. Let k = 25 - a. Suppose 0 = 2*y - 0*y - k. Is y composite?
True
Let i(t) = 29*t**2 - t. Let d be i(-2). Let q be 10/(-4)*408/(-20). Let y = d - q. Is y a prime number?
True
Let d be 12/(-10)*(-130)/39. Let x be 2/(-6) + (-478)/(-3). Suppose d*y = 5*y - x. Is y a composite number?
True
Let u(h) = -12*h**3 + 2*h**2 + 3. Let j be u(-3). Suppose 4*c = c - j. Is 2/2*0 - c prime?
False
Suppose -4*i = 5*j - 122, -2*j + 0*j = 4*i - 44. Let q = -11 + 16. Is (j/(-4))/(q/(-10)) a prime number?
True
Let o = 8 + -6. Let v(l) = 23*l. Is v(o) a prime number?
False
Suppose -2*q + 42 = 2*j, -q + 1 = -0. Is 732/j - 4/(-10) a composite number?
False
Suppose -2543 = -9*c + 2614. Is c composite?
True
Suppose 4*r + 0*r = 0. Suppose 0*a - 4*a - 3*l + 61 = r, -l = 4*a - 63. Is ((-166)/(-8))/(4/a) a composite number?
False
Let z be 108*(-9)/6*1. Let y = -83 - z. Is y a prime number?
True
Let r be ((-6)/4)/(6*(-3)/24). Let h = -853 - -532. Is r/(-3) + h/(-9) prime?
False
Let k = 514 - 219. Is k a composite number?
True
Let j(z) = -25*z - 6. Let k be j(-10). Let g = k + 391. Suppose -7*w + 2*t + 635 = -2*w, 0 = 5*w + 3*t - g. Is w a prime number?
True
Let n(g) = -g**3 - 10*g**2 + 12*g + 13. Let r be n(-11). Suppose 2*d - 155 + 24 = 5*z, 0 = r*z + 10. Is d prime?
True
Suppose -4*z = 7 + 1. Let q be (10/6)/(z/(-6)). Suppose q*s = 3*s + 14. Is s composite?
False
Let s be -9 - (-3 + (-3 - -3)). Is (s - (0 + 1))*-1 composite?
False
Let z(d) = -9*d - 4. Is z(-7) composite?
False
Let k = -7 - -4. Is 190 - (k - (0 - 2)) composite?
False
Let u be 6/4*(-8)/(-6). Let m be 2 - (3 - 881) - u. Let y = 1273 - m. Is y composite?
True
Let n = -25 + 59. Is n composite?
True
Let w = 7 - 3. Suppose -3*s - 3*r = s - 4, w*r - 22 = 3*s. Is (-1260)/(-16) + s/(-8) composite?
False
Let a be (-4)/(-10) - (-6)/(-15). Let c be 134 + a + 0/(-3). Let j = 187 - c. Is j a composite number?
False
Let c be 0/2 - 12/(-4). Suppose c*v - 31 = 2*v. Is v prime?
True
Let a = 1256 - -401. Is a a prime number?
True
Let f(m) = 14*m - 31. Is f(7) a composite number?
False
Let v be (-39)/(-9) + 4/6. Let f be 68/v + (-4)/(-10). Let a = 20 - f. Is a composite?
True
Suppose 0 = 5*v + 8 - 58. Is 1013/5 - (-4)/v prime?
False
Suppose -2*w + 5*r + 2 = 11, 0 = -3*r + 9. Let d be -1*w/3 - -302. Suppose -d = -4*s - 3*o, -s + 296 = 3*s + 4*o. Is s prime?
True
Let g(y) = -y**2 - 8*y - 4. Let n be g(-7). Let q(s) = n - 4 + 3 + 4 + 5*s. Is q(5) composite?
False
Suppose 3 + 4 = r. Is 23/(1/r - 0) a prime number?
False
Suppose v + 4*v = 2*p + 12, -v = 2*p - 12. Is p composite?
True
Suppose -4*t - t + 35 = 0. Is t*(2/(-2))/(-1) a composite number?
False
Is (-88)/(-22) - (-175 - 0) a prime number?
True
Suppose 4*k + 1 = 4*y - k, -3*k - 4 = y. Let j(v) = -23*v. Is j(y) composite?
False
Let a = -158 - 21. Let z = 430 + a. Is z prime?
True
Let l be (-1 - -2) + 59 - 0. Let y be 1/(-1 - 12/(-9)). Suppose -c - y*c = -l. Is c a prime number?
False
Let b(t) = 3*t - 24*t - 13*t + 0*t. Let s be b(-5). Suppose -m - m = -s. Is m a composite number?
True
Let p(g) = 2*g - 4. Let r be p(3). Suppose 0*b = -2*b - r*w + 22, -2*w = 5*b - 52. Suppose 4*o - 4 = i + b, -2*i = 2*o - 2. Is