t f = k - x. Is f a prime number?
False
Suppose 14*b - 28423 + 2901 = 0. Is b a prime number?
True
Let o = -2742 - -4179. Is o a composite number?
True
Let j = -4181 - -37100. Is j a composite number?
True
Let x(o) = o**3 + 7*o**2 + 9*o - 4. Let b be x(-5). Suppose -5*m = -2*z - 21, -21 = -5*z + 2*z - 3*m. Is 38/z*b/1 prime?
True
Is 429902/110 + 6/(-5) a composite number?
False
Suppose 185*i - 152*i - 3967095 = 0. Is i a composite number?
True
Let f be 36/2*(-24)/(-48). Suppose 5705 = f*p - 352. Is p composite?
False
Let i(b) = 24*b**2 + 115*b - 132. Is i(-50) composite?
True
Let c = -14370 + 24183. Is c a composite number?
True
Let s be 12/(-15)*(-5)/2. Suppose -6*b = -s*b - j - 811, -5*j = 4*b - 817. Is b a prime number?
False
Let w(i) = 345*i + 11. Let g(b) = 6*b + 26. Let l be g(-4). Is w(l) a composite number?
False
Suppose 10033 = 2*g + 5*x, 0 = -4*g - 2*x + 5012 + 15046. Suppose 4082 = 8*u - g. Is u a prime number?
False
Suppose 3*q + 15367 + 26853 = 4*s, -s = -4*q - 10555. Is s prime?
False
Let n(r) = r**2 - 13*r - 18. Let v be n(14). Let p(q) = 9*q**2 + 3*q - 5. Let u be p(v). Suppose 0 = 4*z - 5*g - 90, 0*z - g = 5*z - u. Is z a composite number?
True
Let w(l) = 18*l**2 + 20. Let m be w(9). Suppose -x = -3*x + m. Is x composite?
False
Suppose 0 = -4*a + 3*a. Suppose a = 6*n - 10 - 2. Is (-1324)/(-6)*3/n a prime number?
True
Is 47761/(28/(-7) + 5) prime?
False
Let r(n) = n**3 - 5*n**2 + n - 8. Let f be r(4). Is (1895/f)/(-1)*4 a composite number?
False
Let n(y) = -y**3 - y**2 + 1. Let o(w) = 3*w**3 + 6*w**2 - 4*w + 8. Let b(u) = 2*n(u) + o(u). Is b(9) prime?
False
Let b(y) = -y**3 + 2*y**2 - 6*y. Let q(k) = -2*k**2 + 7*k - 1. Let a(l) = 3*b(l) + 2*q(l). Suppose -3*n - 2 = 7. Is a(n) a composite number?
False
Suppose 47*f = 93*f - 2903198. Is f a composite number?
False
Is -6 + 9 - -5047 - -1 a prime number?
True
Let k be ((-27)/6)/(-1)*-6. Let j be -1*(2 + -76) - 0. Let q = j + k. Is q a composite number?
False
Suppose 3*b - 22 = -2*n + 6*n, 3*n - 4*b + 20 = 0. Is n - (4 - 495) - 2 a prime number?
False
Suppose 2*a - 5*v - 30 = 0, -5*a + 2*v = -4*a - 13. Suppose -6*x + a*x + 311 = 0. Is x a composite number?
False
Let m(b) = 467*b - 2. Suppose 0*g + 20 = -4*g, -3*g - 3 = 4*r. Is m(r) prime?
True
Suppose -3*t - 2*r = -75299, -2*t - 75304 = -5*t - r. Is t prime?
False
Suppose -2*k + 27912 = -2*v, 2 = 4*v - 2. Is k composite?
True
Let d be 4 + 0/(3 - 0). Suppose -d*x - u + 3*u = 2, u - 5 = 0. Is -1*(-30 - 1)*x a prime number?
False
Is (-1345)/(-3) + -1*(-2)/3 prime?
True
Suppose 0 = -2*a + 6*a + 2*h - 16, -2*a + 4*h = 2. Suppose -a*w + 1281 = -5*g, 0 = -3*g + 5*w - w - 773. Is 4/(-22) + g/(-11) a prime number?
True
Let j(i) = -8483*i**3 - 2*i**2 - 6*i - 4. Is j(-1) composite?
True
Let j(k) = 52*k**2 - 39*k - 357. Is j(-16) prime?
False
Suppose 0 = -0*i + 3*i + 5*y - 11025, 3*i - 11013 = -y. Let j = i + -1909. Suppose w + m - 587 = 4*m, -3*w + j = -3*m. Is w prime?
True
Let l(r) = r - 5. Let d be l(5). Suppose 0 = -g - d*g + 535. Is g a composite number?
True
Suppose 1011 + 249 = -10*q. Let w = q - -272. Is w prime?
False
Suppose 2*k = -5*q + 66947, -40168 = -3*q + 8*k - 9*k. Is q composite?
True
Let a be (-5)/2 - (-32406)/44. Suppose -3*w + 61 = -a. Is w composite?
True
Is 6*6/(-24) + 16370/4 a composite number?
False
Let r(c) = -c**2 - 11*c + 29. Let l be r(-13). Suppose l*u - 306 = 921. Is u a prime number?
True
Is ((-2779)/(-4))/((-6)/(-24)) composite?
True
Let j = -268 - -475. Suppose -3*d + 5*d + 30 = 0. Is (j/15)/((-3)/d) a prime number?
False
Let o = 53 + -17. Let f be (-4)/(-18) - (-172)/o. Suppose 0 = -4*y + 4*c + 520, f*c = 3*y - 0*c - 388. Is y composite?
False
Let s be (48/1)/4 - 5. Suppose -6*y + 15 = -y. Let r = s - y. Is r a composite number?
True
Suppose 3*m - 13337 = p, 3*m = -p + 3*p + 13342. Suppose -v - 1148 = -j, 0 = -3*j + 4*v - 997 + m. Is j composite?
True
Is (-636)/(-53) + 8245 + 2 a prime number?
False
Let d(n) = 170*n**3 - 4*n**2 + 1. Let f be d(3). Suppose -5*x = -f - 1230. Is x composite?
True
Let l = -196 + 394. Suppose 2*d - 84 = l. Is d composite?
True
Let u = 4341 - 988. Is u a composite number?
True
Let m be 16/(-8)*(-21)/(-6). Let w(g) = -4*g**3 + 8*g**2 + 2*g + 9. Is w(m) prime?
True
Let x(z) = -z + 4. Let m be x(2). Let q = 6 - m. Suppose 0 = -0*t - q*t + 3068. Is t a composite number?
True
Let l = -24 - 703. Let i = 1386 + l. Is i composite?
False
Let x(w) = w**2 + 3*w + 3. Let q be (-6 - 3)*(-4)/6. Suppose 2 = -o - q. Is x(o) a composite number?
False
Suppose u - 2*t + 8 = -u, 0 = 3*u - 4*t + 7. Is (-7 + 0)*1041*3/u prime?
False
Suppose 16 = 3*u + u. Suppose 0 = -u*y + y + 108. Suppose y - 633 = -3*m. Is m composite?
False
Let t be ((-3)/((-21)/10))/((-2)/(-14)). Suppose 0 = t*z - 4*z - 9042. Is z prime?
False
Suppose 21 - 1 = s. Is (-5)/(-25) - (-10016)/s a composite number?
True
Suppose -3680 - 513 = -7*u. Let c = 98 + u. Is c a prime number?
False
Is (-543201)/(-15) - 0 - (-10)/(-25) a composite number?
True
Let i be 9/3 - (-5 + 8). Is 1/(-5) - (i + 19712/(-35)) a composite number?
False
Let j(m) = -m + 1. Let d(y) = 20*y**2 - 7*y. Let w(v) = d(v) - 4*j(v). Suppose -3*a + 10 = g, 0*g + 5*g + 25 = 0. Is w(a) a prime number?
False
Let w be (-6)/21 - (-340)/14. Is 722/4 - w/16 prime?
True
Suppose 6*i - 53 = 139. Suppose -97 - i = -v. Is v a composite number?
True
Let z(w) = 59*w**2 + 10*w - 12. Is z(7) a prime number?
False
Suppose 2*h - 4672 = h. Suppose -4*z + 0*z = -h. Suppose 0 = 4*a + 4*m - z, 733 + 147 = 3*a - m. Is a a prime number?
True
Let x(v) = 5*v**3 - v**2 - 7. Let b(w) = w**3 + w**2 - w. Let c(z) = -4*b(z) + x(z). Is c(7) prime?
False
Let f(a) be the second derivative of 58*a**3/3 + 7*a**2/2 + 2*a. Suppose 17*c - 20*c + 9 = 0. Is f(c) composite?
True
Let j = 34337 + -21244. Is j composite?
False
Let v(g) = -65*g**2 - 3*g - 3. Let r be v(-3). Let f = 1324 + r. Is f a prime number?
False
Suppose 5*u - 20 - 5 = 0. Let w(h) = -11*h - 10*h + u*h - 9. Is w(-8) composite?
True
Let l = -120985 - -236764. Is l prime?
False
Suppose -6790 = -3*b - 2*b. Let l(o) = 341*o + 1. Let v be l(-2). Let h = v + b. Is h a composite number?
False
Let o(w) = -27*w**2 - 7*w - 19*w**2 + 52*w**2 - 8. Let s be -5*(0 + (-1)/(-1)). Is o(s) a composite number?
True
Suppose -d = -35*d + 88774. Is d composite?
True
Suppose 0 = -11*d + 6*d + 5825. Is d composite?
True
Suppose 106*n - 96*n = 81470. Is n prime?
True
Let x be (-5)/(3/(30/(-25))). Suppose -3*z - 608 + 2731 = -4*c, -5*z + 3547 = x*c. Is z a prime number?
True
Suppose 0 = -2*g, -5*g - 5 = -3*s + 13. Suppose 3*o = s*o - 2*n - 3449, -5*o + 5*n + 5745 = 0. Is o a prime number?
True
Let m = -481 - -805. Let t = 713 - m. Is t a prime number?
True
Let j(c) = c**3 - 12*c**2 - 73*c - 127. Is j(42) composite?
False
Suppose 7*i + 4 = 11*i, a - 5*i = 5534. Is a prime?
False
Is 7 - (-1808)/(-7 - -9) prime?
True
Let m be ((-326)/(-3))/((-1)/(-6)). Suppose -39*p + 12 = -33*p. Suppose 2*l = -p*l + m. Is l a prime number?
True
Suppose 11*i = 261692 + 208305. Is i a prime number?
True
Let a(m) = m**2 + 160*m - 173. Is a(54) composite?
False
Suppose -4*o - 12 = 0, 5*r + 43*o - 23623 = 39*o. Is r a prime number?
False
Suppose 0 = 13*w - 11*w + 2296. Let y = -395 - w. Is y composite?
True
Let a(x) = -9*x**2 - 10*x + 9. Let r(c) = c**2 + c - 1. Let b(y) = -a(y) - 6*r(y). Is b(-12) a composite number?
True
Let y(m) = -59*m + 11. Let a be y(9). Is (-1)/1 - a - 58/(-29) a prime number?
True
Let u(a) = 260*a**3 + 2. Let v(t) = 261*t**3 - t + 2. Let o(f) = -2*u(f) + 3*v(f). Is o(1) composite?
True
Is 7 - (7 - -4) - -4077 prime?
True
Suppose -3*w = 4*g - 20, 0 = -2*w + 5*g - 15 + 36. Suppose -2094 = -w*l + 2*l. Let h = l + -228. Is h a prime number?
False
Let n(y) = 101*y**2 - 23*y - 71. Is n(-3) composite?
False
Suppose -2*a = a + 42. Let t = 18 + a. Is 669*t*4/48 a composite number?
False
Suppose 3*s - 4*w + 962 = 0, 0 = -5*s - 2*w - 0*w - 1586. Is (s/8 - 2)/((-14)/392) a composite number?
True
Let y = -11 + 2. Let n(q) = -3*q**2 - 7. Let c be n(-7). Let w = y - c. Is w composite?
True
Let l(f) = -5*f**2 + 1. Let r be l(1). Let o(v) = -3*v. Let x be o(r). Let c = 34 + x. Is c composite?
True
Let t = 39 - 18. Suppose -t*l + 9837 = -18*l. Suppose -i = -3*y - 2*y + l, 2*i = 5*y - 