ose 0 = 5*a - f*a - 765. Suppose 6*w - 3*w = a. Is w prime?
False
Let i = -172 + 490. Suppose u + u - i = 0. Is u a composite number?
True
Let j be (-31)/(-7) + 52/91. Suppose 0 = -y - 4*z + 323, 0 = -j*y - 0*z + z + 1615. Is y a prime number?
False
Let y(t) = -t + 127. Let u be y(0). Let i = u - 72. Is i a prime number?
False
Suppose 0 = -3*t + g + 4089, t + 0*g - 1363 = -3*g. Is t composite?
True
Let k(v) = 2*v**2 + 7*v + 4. Is k(-7) a composite number?
False
Let r(q) be the first derivative of -q**3/3 + q**2/2 + 49*q + 3. Is r(0) a prime number?
False
Let i(w) be the second derivative of -w**5/20 + 2*w**4/3 + 2*w**2 + w. Let k be i(8). Suppose -k*j = -2*j - 98. Is j prime?
False
Let u(j) = -j**3 + 7*j**2 - 6*j - 10. Let r be u(6). Let i = 0 - -4. Is i/r + (-1041)/(-15) a composite number?
True
Let y(l) be the second derivative of 5*l**4/6 + l**3/6 + l**2/2 - l. Let z be y(-1). Let x = z - -5. Is x a prime number?
False
Let y = -137 - -193. Suppose -3*j + 42 = -4*b, -4*j = 4*b + b - y. Let d = j + -8. Is d a composite number?
True
Suppose -3*t - 2*s + 33 = -7*s, 0 = 2*t - 4*s - 22. Suppose m = 44 + t. Is m composite?
True
Let m(s) be the second derivative of s**3/6 - s**2 + 2*s. Let z be m(0). Is 1 + 12 - (-4)/z composite?
False
Let d = -16 - -19. Suppose 2*m + d*p = -2*m + 220, -4*m - 5*p = -220. Is m composite?
True
Let v = -253 + 417. Let l = v + -109. Is l composite?
True
Let z be ((-12)/15)/((-4)/30). Suppose z*t = 2*t + 2*q + 228, -t = 5*q - 57. Is t a prime number?
False
Is 15 - -1182 - -1*4 composite?
False
Let m be (-2 - 0) + (-32)/1. Is (m/2)/(1/(-2)) prime?
False
Let c = -6829 + 14684. Is c composite?
True
Suppose 0 = 18*z - 19*z + 38. Let t = z + 21. Is t prime?
True
Let n = -25 - 76. Let w = -256 - n. Is (w/15)/((-2)/6) prime?
True
Suppose 2*u = 2*m - 590, -3*u + 5 = -4*u. Let c = -171 + m. Is c composite?
True
Let y(j) = -3*j**2 + 13*j. Let s be y(4). Suppose -322 = -s*x + 5*k, -47 = -x - 4*k + 44. Is x a composite number?
False
Let j(y) = -97*y - 29. Is j(-6) prime?
False
Let l(c) = -c**3 + 15*c**2 + c - 9. Is l(8) composite?
True
Let a(c) = 74*c + 1. Let u(w) = -3*w**3 + 2*w + 1. Let m be u(-1). Let d be 0 + (m - 0)*1. Is a(d) a prime number?
True
Let v(g) = 15*g**2 - 2*g - 4. Is v(-5) a prime number?
False
Suppose -3339 = -10*y + 6031. Is y composite?
False
Let h be 246/12 - (-2)/(-4). Suppose 2*y = -2*y + h. Suppose y*o - 3*l = 118, 121 - 27 = 3*o + 4*l. Is o a composite number?
True
Let a be (-844)/4*(0 + -1). Suppose -2*s = -l + 67, 2*s - a = -5*l + 76. Is l composite?
False
Let m(a) = 2*a + 223. Is m(0) prime?
True
Is -14*3/6*(-4 + -223) composite?
True
Suppose 0*y - 15 = -5*y. Suppose 5*v = 5*l, -y*v - 4*l = -l - 30. Suppose -v*i = 20, 0*a - 2*i = -a + 39. Is a a composite number?
False
Let b = 10 - 5. Suppose 0 = -2*p + v - 25 + 77, 0 = b*v. Is p composite?
True
Let x(z) = -18*z - 11. Let s be x(-5). Let c = 282 - s. Is c composite?
True
Let c(i) = -6*i**2 - 2*i + 8. Let x be c(5). Let b = x - -319. Is b a composite number?
False
Suppose -2*o + 5*h + 712 = 3785, -4*o - 3*h = 6081. Is (1/3)/((-4)/o) a composite number?
False
Let h(x) = 4*x + 2. Let z be h(-2). Let v(a) = -65*a + 2. Let c be v(z). Suppose -c + 52 = -4*b. Is b a composite number?
True
Let z = 13 - -5. Suppose 4*o + 4 = 3*p, 4*p - 2*o - z = -3*o. Suppose 5*i - p*u = 103, -u = 5*i - 158 + 40. Is i prime?
True
Let j = -4 - -6. Let i(q) = 50*q - 1. Let v be i(j). Suppose 2*d - 3*a - 59 = 20, -2*d = a - v. Is d composite?
False
Let l(h) be the third derivative of h**4/24 + h**3 + 2*h**2. Let y be l(-4). Suppose -11 = y*i - 39. Is i prime?
False
Let g be 132/((2 - 3)*1). Let t = -85 - -38. Let l = t - g. Is l a composite number?
True
Let n = 253 - 137. Suppose o - n = 69. Suppose -o = -4*g - g. Is g composite?
False
Let j = 125 - 71. Suppose 3*s - 3 = 2*q + 14, 3*q + 21 = 3*s. Suppose -3*w + 4*d = -j, d - 36 = -s*w - d. Is w a prime number?
False
Let t(h) be the second derivative of h**3/3 - 9*h**2/2 - 2*h. Let s be t(7). Suppose -s*p = -5*o + 270, p - 126 = -5*o + 138. Is o a prime number?
True
Is 2219/28 + 1/(-4) a composite number?
False
Suppose -i + 4*i = 267. Is i composite?
False
Let q(p) = 26*p + 15. Let k(x) = 9*x + 5. Let y(l) = 8*k(l) - 3*q(l). Let h(c) = -c**2 + 15*c - 9. Let u be h(15). Is y(u) a prime number?
False
Suppose 3*k = -2*k. Let o(g) = -g**2 + g + 149. Is o(k) a composite number?
False
Let u be 15 - (1 + 0)*-2. Suppose -u - 19 = -2*k. Suppose 0 = 2*n - k - 76. Is n a prime number?
True
Let p(y) = 30*y - 9. Is p(5) a composite number?
True
Let t be (4/6)/((-2)/(-18)). Let d(m) = m**2 - 5*m - 1. Let x be d(7). Let v = x - t. Is v a prime number?
True
Let z(r) = 10*r + 2. Is z(6) a prime number?
False
Let z = 994 + -401. Is z a composite number?
False
Suppose -6*h = -h - 540. Suppose 4*t + h = 8*t. Let b = 76 - t. Is b a composite number?
True
Let v(r) = 6*r - 3*r**3 + 0*r**2 - 3*r**2 + 3 + 3. Let y be v(-7). Is (-10)/(-25) + y/10 a prime number?
False
Let c(o) = 5*o - 9. Let l be c(7). Suppose 2*h - 118 = -l. Is h prime?
False
Let j(g) = -364*g - 9. Is j(-2) a composite number?
False
Suppose 0*t - 18 = 3*t. Let f be (-22)/(-4) - (-3)/t. Let g = 62 + f. Is g prime?
True
Let y = -284 - -469. Is y prime?
False
Suppose 0 = -3*i + 4*i. Suppose -l = -i*l - 2. Is l*(-1)/(2/(-15)) a prime number?
False
Is (87/6)/((-2)/(-20)) a prime number?
False
Let b(a) = 6*a - 3. Let w(n) = 1. Let c(g) = -b(g) - 2*w(g). Suppose 0 = -j + 3*r + 8, 4*r + 34 = -5*j - 2. Is c(j) a composite number?
True
Suppose 0*s - 3 = -s. Is (-1 - -2)/(s/75) a composite number?
True
Suppose 5*o + 3*y - 29 = 0, -13 = -o - 2*y + 5*y. Suppose -25 = 3*d - a, -a - 16 = 3*d + o. Is 2*-19*4/d prime?
True
Suppose 4*x - 29 = 731. Let r = 12 + -7. Suppose r*y - 5*s - x = 0, -3*s - 7 = 2. Is y composite?
True
Is (-3508)/(-3)*108/48 a prime number?
False
Let k(t) = -11*t**2 - 7*t - 68. Let f(s) = -5*s**2 - 3*s - 34. Let z(g) = -9*f(g) + 4*k(g). Is z(0) composite?
True
Let l = 602 + 87. Is l a prime number?
False
Let k(p) = -p**2 - 45*p - 41. Is k(-27) a prime number?
False
Suppose -4*s = -4*h + 316, 0 = -0*h - 4*h - 2*s + 322. Suppose 0*k + 5*k = -h. Is (-826)/(-10) - k/40 composite?
False
Let y(g) = -g**2 - 2*g - 2. Let z be y(-4). Is (-39)/6*1*z prime?
False
Let q(b) = -b + 8. Suppose -4*c = -3*z - 8, 4*c + 0*c - 8 = -z. Let g be q(z). Is 269/4 - 2/g a composite number?
False
Let g(p) = p + 26. Let y be g(0). Suppose -3*r - 3*k = -75, -3*k - y - 46 = -4*r. Is r a composite number?
True
Let k(u) = -3*u - 5. Let m(w) = 3*w + 4. Let x(y) = -3*k(y) - 2*m(y). Let o be x(-6). Let s(g) = -2*g + 9. Is s(o) prime?
True
Let d be 2/(-5) + (-2499)/(-35). Is ((1 - d)/(-2))/1 composite?
True
Let b be (-221)/(-4) - (-3)/4. Suppose 3*g - 3*s + 0*s + 42 = 0, 5*g + 2*s = -b. Let z = -2 - g. Is z a composite number?
True
Let s = 16 - -7. Suppose -y = -0*y - s. Suppose 4*x = y + 1. Is x prime?
False
Let s(j) = 3*j**2 - j + 1. Let m be s(1). Let a(k) = k**2 + 3*k - 3. Is a(m) prime?
False
Let i(g) = g + 7. Let h = -1 + 2. Let f = -1 + h. Is i(f) composite?
False
Let k = -1187 + 2714. Is k a prime number?
False
Let y = 1818 - 419. Is y a composite number?
False
Let b = 152 + 317. Is b composite?
True
Let v(l) = -l**2 - l + 1. Let k(a) = -102*a**2 + 6*a - 4. Let w(s) = -k(s) - 5*v(s). Let c be w(-1). Suppose -f + 6 + c = 0. Is f composite?
False
Let c be 4/(-14) + (-32)/(-14). Let j = c + 1. Suppose -j*f - k + 5*k + 18 = 0, 0 = -f + 5*k - 5. Is f prime?
False
Let v(l) = l + 8. Let g be v(-6). Let k be 8 + (-2 + -1)/(-1). Suppose -22 = -3*i + 4*p, -g*p + 13 = i - k. Is i a prime number?
False
Suppose -4*b = -0*b + 188. Let j = b - -107. Is 4/(-5)*j/(-8) a composite number?
True
Let g = 114 + -41. Let x = g + -39. Is x prime?
False
Let a(d) = d**2 + 7*d - 2. Let h be a(-8). Let p = -7 + h. Let o(x) = 86*x**2 + x. Is o(p) a prime number?
False
Let y be 12/(-8)*(-4)/3. Let h(l) = -l**2 + 0*l - 3*l + 1 + y*l**2. Is h(6) prime?
True
Suppose -2*i - 3*i = 0. Suppose -6 = -2*m, 650 = -i*k + 5*k + 5*m. Is k composite?
False
Suppose 5*t + z = -27, -25 = 3*t + z - 8. Let x(h) = 3*h**2 + 5*h - 1. Let d be x(t). Is (1 - d - -1)*-1 a prime number?
True
Let g(a) be the first derivative of a**4/4 - 4*a**3/3 + 9*a**2/2 + a + 