. Is b(y) composite?
True
Suppose 5*q = t + 37, -3*q = 2*t - 0*q + 87. Let d be t/(3/21*-1). Suppose -d = -5*f - 19. Is f composite?
True
Suppose -w + 5*w - 21 = 3*b, 18 = 3*w - 3*b. Suppose 0 = 2*h + w*x - 1 - 0, 5*h - 9 = -x. Is (h + -1 - 0)*37 composite?
False
Suppose 2*s + 3*d = 47, 6*d - 2*d = -3*s + 73. Suppose z - s = -9. Is z a composite number?
True
Let u(b) = -308*b**3 + 2*b + 1. Suppose -2*h = -0*h + 2. Let n be u(h). Suppose 0 = -5*z + 108 + n. Is z a prime number?
True
Let x be (0/1)/1 - -1. Is -3 + x - (-189 - 4) composite?
False
Let z(d) = -11*d**2 - 4*d - 6. Let i be z(10). Is (i/(-12))/((-2)/(-4)) prime?
True
Let m(v) = -v**3 - 4*v**2 + 1. Let z be m(-4). Is (-4 + 3)/(z/(-67)) a prime number?
True
Is ((-34376)/(-20))/(6/15) composite?
False
Let c(m) = -10*m - 6. Let a be c(-5). Let s = a - -35. Is s a prime number?
True
Let s(f) = -16*f + 3. Is s(-7) composite?
True
Let z(q) = -2*q**2 + 6 + q**2 - 2. Let d be z(-4). Is (-315)/(-4) - 3/d composite?
False
Let c(v) = -2*v**2 - 4*v - 2. Let o be c(-2). Is 118*(o + (-5)/(-2)) composite?
False
Suppose 0*b - 665 = -i + 3*b, i = b + 673. Is i composite?
False
Let f be -4 - -1*(-4)/(-2). Let o = f - -2. Suppose o = 2*x - 7*x + 3*q + 307, 0 = -3*x - q + 173. Is x a prime number?
True
Let x(q) be the third derivative of 0 + 0*q - 4*q**2 + 1/20*q**5 + 1/24*q**4 - 1/6*q**3. Is x(-3) a prime number?
True
Let a = 717 - -194. Is a composite?
False
Let s be ((-1)/(-3))/(4/108). Is s/(-15) + 1876/10 a composite number?
True
Let o = 6 - 3. Is 56 - (o/(-3) - -4) prime?
True
Let g be (-4 + 1)*(-14)/21. Suppose g*i - 192 = 190. Is i prime?
True
Let u(b) = b**3 - 5*b**2 - 5*b - 3. Let k be u(6). Suppose -3 + 0 = -k*w. Suppose -88 - w = -h. Is h prime?
True
Suppose q + 3*q - 2*x = 3278, 5*q + 3*x - 4114 = 0. Is q composite?
False
Let u = -305 + 156. Let t = u + 618. Is t a prime number?
False
Suppose -n + 236 = 3*n. Let p = 38 + n. Is p prime?
True
Let u be 20/3 - 4/6. Is u/2 - (-528)/3 composite?
False
Let g be (8/(-16))/((-2)/1028). Let a = -15 - g. Let y = -115 - a. Is y a prime number?
True
Let s = -3 + 4. Suppose -s - 3 = -d. Suppose -3*l = -5*t - 170, l - 5*t - 280 = -d*l. Is l prime?
False
Suppose 2*y + 3*y - 1620 = 0. Suppose -5*s - 5*v + 455 = 0, -7*s + 4*v + y = -3*s. Is s composite?
True
Let y(q) = 32*q**3 - 2*q**2 - 2*q + 2. Let p = 0 - -2. Let f be y(p). Suppose 5*a = 419 + f. Is a composite?
True
Suppose -4*a = -7*w + 4*w + 29, 13 = -4*w - 5*a. Let q = w + 0. Suppose 3*y - 7 = -4*b + 8, -q*y = -b. Is b a composite number?
False
Let a be (-3)/(-15) - 269/(-5). Let h = a - -61. Is h a prime number?
False
Suppose -5*p = -p + 5*t - 16, -2*t + 16 = 4*p. Suppose -5*w - 5*z = -130, 92 - 16 = p*w - 3*z. Is w a prime number?
False
Let x(r) = 13*r**2 - 1. Let a be x(-1). Suppose -a - 3 = -3*f. Suppose -125 = -f*b - 0*b. Is b composite?
True
Let y(j) = -j**2 + 5*j - 4. Let t(o) = -o**2 + 5*o - 3. Let m(i) = 3*t(i) - 2*y(i). Let r be m(4). Suppose -r*z + 287 = 38. Is z composite?
False
Let q(d) = 6*d - d - d**3 - d. Let z be q(-3). Is 4/(-6) - (-1255)/z a composite number?
False
Suppose -3*w - 8 = 103. Let j = w + 88. Is j a prime number?
False
Is (-5 - -3) + (1662 - 3) a composite number?
False
Let k(u) = 2*u + 8. Suppose 0 = -3*o - 2*m + 21, 14 = 2*o - m - 4*m. Is k(o) a prime number?
False
Suppose 7*t + 1980 = 8329. Is t composite?
False
Suppose 3*z + 0*y + 14 = 4*y, -4*y = 5*z - 30. Is ((-53)/z)/((-3)/6) prime?
True
Let q = -5 + -1. Let n(m) = m**3 + 9*m**2 + 5*m + 5. Is n(q) a prime number?
True
Let l(c) = -6*c + 2. Let a(f) = -7*f + 3. Let v(s) = -5*a(s) + 6*l(s). Let j be v(-6). Is 194 + -2 - j - 2 composite?
True
Let z = -5 - -3. Is (-58)/4*z - -2 prime?
True
Is 2/(-8) - (-4668)/48 a composite number?
False
Suppose -3*b - 114 = -b. Let m = b + 268. Is m composite?
False
Suppose -h + 1 + 1 = 0. Let a = 133 + -50. Is a/h*8/4 composite?
False
Let k be (-3)/(-6)*(1 + -7). Is (k - -2) + 1 + 129 prime?
False
Let n(b) = 20*b - 3. Let g(a) = 2*a**2. Let t be g(1). Is n(t) prime?
True
Suppose -2*y - 3*z = 148, 3*z - 192 = 5*y - 2*y. Suppose -16*p = -18*p + 290. Let j = p + y. Is j a prime number?
False
Let i = -8 - -11. Suppose r = i*r. Suppose -v + 4*t = -21, r = -0*v + 2*v + 3*t - 20. Is v a prime number?
True
Let l be -2*(-1591 - (3 + 0)). Suppose -4*z + l = 1320. Is z a composite number?
False
Let l = -8 - -7. Let i = l + 11. Is i a composite number?
True
Let w be 1/(-3)*(-1 + -11). Let t(d) = 42*d + 7 - w - 2. Is t(3) composite?
False
Let b(j) = 655*j. Let q be b(1). Suppose -2*u + 7*u - q = 0. Is u prime?
True
Let d(c) = -14*c + 1. Let a = -2 - -5. Let l be d(a). Let o = 38 - l. Is o a prime number?
True
Let d = 511 - 326. Is d a prime number?
False
Let n be 15/1*(-66)/15. Is (3 - 4)/(2/n) composite?
True
Let l be 18/(-15)*(3 - -2). Let d be -2*(297/l + 2). Let u = d - 46. Is u composite?
True
Suppose -g + 5*t = -0*t + 10, 0 = 3*t - 6. Suppose 0 = -3*q - g*q. Suppose 5*u - 5*i - 340 = q, -u = -6*u + i + 336. Is u a composite number?
False
Is 2/4*(-4 - -434) a composite number?
True
Let d(x) = -x**2 - x + 5. Let s be d(0). Suppose -g + p = -6, s*p - p - 75 = -5*g. Is g a prime number?
True
Let b = -179 + 268. Is b prime?
True
Let g = -6 + 2. Let q(o) = 2*o**2 + 3*o - 5. Is q(g) a prime number?
False
Let u be 0 - -1*(-4 - -4). Suppose -5*q + 2187 - 722 = u. Is q prime?
True
Suppose -4*j + 94 = -30. Is j composite?
False
Is 61 - (3 - 5 - -5) composite?
True
Suppose 2*y - y = 265. Is y prime?
False
Suppose -73 = -2*s + 119. Suppose 57 = 3*t - 3*r, t + 3*t - s = -r. Is t a composite number?
False
Let o(k) = -74*k + 9. Is o(-2) a prime number?
True
Let q be -3*3/3 + 0. Let v(n) = -14*n - 2. Let c be v(q). Let g = c + -5. Is g a prime number?
False
Is (-66)/(-4)*(-11720)/(-60) composite?
True
Suppose 9*m - 10987 = 7364. Is m composite?
False
Let p = -146 + 295. Is p a composite number?
False
Let z = -9 + 11. Suppose z*w = 5*w - 99. Is w composite?
True
Suppose -4*o = o - 10. Is (-23)/(o/(-2)) + 0 a composite number?
False
Let a = -56 + 951. Is a composite?
True
Suppose 0 = 4*g - 4 - 4. Suppose -g = -u + 2. Suppose 0*b = b - z - 21, 5*b = u*z + 103. Is b composite?
False
Let f(b) = -b**3 + 5*b**2 + 8*b. Let l be f(6). Suppose -3*r - 13 - 8 = -3*u, 23 = -u - 5*r. Suppose 0 = -2*o + l + u. Is o a composite number?
False
Let f = 482 - 163. Is f prime?
False
Suppose 2*a = -3*a + 5. Is ((-46)/a)/(6/(-9)) composite?
True
Let m(n) = -n**3 + n**2 - n - 2. Let u be m(3). Let t = u - -87. Suppose -4*s - 3*y = -t, -4*s + 2*y + 41 = -3. Is s composite?
False
Let q(b) = -4*b + 6. Let d be q(-7). Suppose c + d = 122. Let p = c + -53. Is p prime?
False
Let i be 4/18 + 14/18. Suppose 8*o - 96 = 11*o. Is i/(-1) - o/1 a prime number?
True
Let t = 1180 - 29. Is t prime?
True
Let z = 717 - 269. Suppose u - z = -106. Suppose -l = 4*w - 648, 3*w = w + 4*l + u. Is w prime?
True
Let s(l) = -4*l + 191. Is s(0) composite?
False
Let r(x) = 23*x**2 - 9*x - 5. Is r(7) composite?
True
Suppose -2*r - 5*z + 30 = 0, -3 + 9 = -2*r + 4*z. Suppose 0 = -5*k - 4*c + 239, -r*k - 5*c = -183 - 52. Is k a prime number?
False
Let w(l) = l**2 - 3*l + 3. Let c be w(2). Suppose -q - 12 = -c. Let i(h) = 2*h**2 + 3*h + 2. Is i(q) prime?
True
Let v(z) be the second derivative of z**7/126 + z**6/720 + z**4/4 + z. Let d(g) be the third derivative of v(g). Is d(1) composite?
True
Suppose 12*d - 16*d = -1028. Is d a composite number?
False
Suppose 2*w = o - 5 + 15, -5*w + 4*o + 22 = 0. Suppose -w*m + m + 30 = 0. Is 3/2*56/m prime?
False
Suppose o - 1 = -4. Let r = o + 70. Is r a composite number?
False
Suppose 73 = 4*k - 243. Is k prime?
True
Is 3*3*6190/30 - 4 composite?
True
Let n = -13 + 15. Suppose 0 = -n*o - o + 777. Is o composite?
True
Let r(q) = 31*q - 2. Let d be r(4). Let h = d - -9. Is h prime?
True
Let m be (-12)/9*(-27)/(-6). Let y be (-2998)/(-4) - (-3)/m. Let l = 1120 - y. Is l a composite number?
True
Let y(t) = 2*t**2 + 0*t**2 - 5*t**3 - 4*t + 0*t**2 + 4. Let v be y(3). Let n = -70 - v. Is n composite?
True
Let c be -2*1/(-2) - -1. Suppose 4*k = 12, v + c*v = k + 6. Suppose g + 54 = v*s, -4*g + 44 = 2*s - 2*g. Is s prime?
True
Suppose -3*f - 20 = -7*f. Suppose m = 10 + f. Is m prime?
False
Suppose -2*o = 4*w - 2102, -4*o + 3*w = -3