et p be -2*(3 - (-1712)/(-4)). Suppose -4*v - 3*j = -p, -2*v + j + 209 = -v. Is v prime?
True
Let p(u) = -48*u**3 - 6*u - 7. Let q(y) = 144*y**3 + 17*y + 20. Let s(t) = -17*p(t) - 6*q(t). Is s(-1) a prime number?
True
Suppose 6 = 2*d - 0. Suppose u = -d*u. Suppose u*p = -p + 49. Is p a prime number?
False
Let z = 4 - 7. Let h = z - -3. Suppose 3*k - k = p - 159, p - 3*k - 157 = h. Is p a prime number?
True
Let k = 38 - 120. Let p = k + 260. Is p a prime number?
False
Let t = 9 - -6. Suppose x + 0*x - t = 0. Is x composite?
True
Suppose 0 = -2*y + 212 + 546. Is y composite?
False
Let n be 5 - (0 + 8 + -4). Is (-57)/(-2 - n) + 3 prime?
False
Let d = 6179 - 3162. Is d composite?
True
Let x = 3881 - 2730. Is x a composite number?
False
Suppose -23 - 19 = -2*p. Is p composite?
True
Let c = -86 + 145. Is c prime?
True
Let y be ((-15)/6)/((-1)/178). Is 3/6*(1 + y) prime?
True
Suppose -4*w = -28 + 12. Let r(l) = 2*l**2 - l - 1. Let k be r(-1). Suppose w*i - 27 = -3*t, -3*i + 0*i + k*t = 1. Is i a composite number?
False
Suppose 356 = 2*v - 0*v. Is v a composite number?
True
Let r(c) = 20*c + 7. Let w be ((-12)/14)/((-4)/28). Is r(w) prime?
True
Let s(a) = 19*a**2 + 1. Suppose 2*c - 4 = 4*c. Is s(c) a prime number?
False
Let m = 576 - 109. Is m a composite number?
False
Let q be 3/(-4) + 1035/36. Is (-8)/q - 4722/(-14) a prime number?
True
Suppose -3*o + 3 = -2*j, 0 = j - 0*o - 3*o + 6. Suppose j*t + 45 = 150. Is t a composite number?
True
Suppose -6*b + 5846 = -5056. Is b a prime number?
False
Suppose 7*y = 2*y + 1245. Is y a composite number?
True
Suppose -2*b - b - 1476 = 3*y, -1482 = 3*y + b. Let a = -320 - y. Suppose a = 5*l - 0*l. Is l a prime number?
False
Let k(i) be the first derivative of -5*i**2/2 + 9*i - 6. Is k(-10) a prime number?
True
Suppose 0 = -3*p + 563 + 106. Is p a composite number?
False
Let w(d) be the second derivative of d**5/20 + 3*d**4/4 + 2*d**3/3 + 5*d**2/2 + d. Let u be w(-8). Is u/(0 - (-1)/1) a prime number?
True
Let d(k) = 2*k + 157. Is d(0) a composite number?
False
Let k = -8 - -5. Let m be 28/3*k/(-2). Suppose m = -4*y + 5*y. Is y composite?
True
Suppose -3*w + 8*w - 464 = -4*r, -4*w - 4*r + 368 = 0. Suppose 0*p + 2*z + 47 = p, -3*z - w = -2*p. Is p a composite number?
True
Let y = 2 + 4. Let f(p) = -395*p**3 + p + 1. Let o be f(-1). Suppose -o = g - y*g. Is g a composite number?
False
Suppose 0 = 4*u - 639 - 845. Is u a composite number?
True
Is (-12)/(-4)*1 - -74 composite?
True
Let c = 1441 - 792. Suppose -c = -2*r - 63. Is r composite?
False
Suppose 4*a + x + 3*x = -12, 0 = a - x + 3. Let f be a*((-30)/9 - 0). Suppose f = 2*h - c - 9, 5*h - 10 = -5*c. Is h composite?
False
Let v be (-16)/(-7) + (-4)/14. Is (249/(v - -1))/1 a prime number?
True
Suppose 0 = v - 5*g - 34, -g = 4*v - 0*v - 220. Suppose -v = -4*b + 94. Is b prime?
True
Suppose -4*p = -24 - 16. Let n be (p/6)/((-2)/(-30)). Suppose n - 4 = 3*o. Is o prime?
True
Let g = 382 + -123. Is g a composite number?
True
Suppose -2*j = -1086 - 2160. Is j composite?
True
Suppose -2*w + 2*y - 2 = 6*y, 3*y = -4*w + 6. Is (-22)/(-3) - w/9 a composite number?
False
Suppose -y + c + 81 = 0, -3*c = y - 0*y - 97. Is y + -4 + 4/(-2) a composite number?
False
Let u = 0 + 0. Let v be (-2 - -2)/(u + 2). Suppose 2*k = -v*k + 46. Is k a prime number?
True
Let x = 244 + -66. Is x a prime number?
False
Let a(u) = -u**3 - 12*u**2 - 2*u - 7. Let s be a(-12). Suppose -125 = -5*k - 0*l - 5*l, k - l = s. Is k a composite number?
True
Let n = 1410 - 983. Is n prime?
False
Let p(x) be the third derivative of 23*x**5/60 + x**4/24 + x**3/6 - 2*x**2. Let k be 0 + (-2 - -3)*-1. Is p(k) prime?
True
Let c(h) = h**3 + 5*h**2 - 5. Let z(q) = -q**2 - 5*q + 10. Let m be z(-7). Is c(m) a prime number?
True
Suppose 0 = -0*g + g + 307. Let h = 662 + g. Is h a composite number?
True
Let u = -3053 + 5256. Is u a prime number?
True
Let z(b) = 3*b**2 - 6*b + 41. Is z(-20) composite?
False
Suppose -15 = -3*j, 4*n - 2*j + j = 815. Suppose -3*w + 174 = 2*d, -56 = -3*d + 2*w + n. Is d a composite number?
True
Let v be 1 + -2 + 2 - -1. Suppose -12 = v*a - 5*a. Is -5*a/(-2) + 0 a composite number?
True
Let z(h) = 3*h + 1. Let w be z(1). Suppose -j - 15 = 4*u, 0 = 3*u + 5*j - w*j + 12. Let p(n) = 6*n**2 + 1. Is p(u) a prime number?
False
Let y = -1069 + 661. Let v = y - -662. Is v composite?
True
Suppose -3*c + 6 = -6, -2*m - 3*c = -416. Is m composite?
True
Let q(h) = 7*h**2 - 1. Let t(u) = u**3 - u**2 - 1. Let i = 4 - 4. Let l be t(i). Is q(l) composite?
True
Let r be -12*(1 - 6/4). Suppose -2*f - 624 = -r*f. Suppose -2*d + f = -154. Is d prime?
False
Suppose -w + 9 = 2*m, 5*m - m - 12 = 4*w. Let b be -1 + 6/(-3)*w. Is (-1 - 3/b) + 19 a composite number?
False
Suppose -5*a + 5*r + 721 = -549, 2*a = -3*r + 518. Let j = -159 + a. Is j composite?
False
Let d = -297 - -676. Is d prime?
True
Let k = 343 - 186. Is k a composite number?
False
Let o(m) = 27*m + 23. Is o(10) composite?
False
Let i(c) be the third derivative of c**5/12 - c**4/6 + 7*c**3/6 - 3*c**2. Is i(6) a composite number?
False
Suppose 3*w - 127 - 44 = 0. Let g = w - -26. Is g a prime number?
True
Suppose 3*u = 2*u + 3. Suppose 2*p - u*p - 4 = 0. Is p/(-6) - 115/(-3) a composite number?
True
Suppose 3*x - 1399 = 2*d, -3*x + 3*d + 944 + 451 = 0. Is x prime?
False
Let l be 16/7 - (-14)/(-49). Suppose 0 = l*k - 0*m + 4*m - 74, 3*k + 2*m - 111 = 0. Is k composite?
False
Let p be 669 - (0 + 1 + 0). Suppose -p = -4*u + 824. Is u composite?
False
Suppose 5*o - 2*u - 20 = -3*u, 3*o = 3*u - 6. Suppose o*p + 2*p = 15. Suppose 0*t = p*t - 237. Is t prime?
True
Suppose 3*j - 15 + 6 = 0. Suppose 0 = j*z - 2*z + 12. Is z/(-4) - -1*56 composite?
False
Let h = 1010 + -195. Is h composite?
True
Let a be ((-1)/2)/((-1)/(-2)). Let o = a - 2. Is 19 - 0*o/9 prime?
True
Let y(s) = 3*s**2 + 4*s + 3. Let m be y(-2). Let u = 128 - 78. Let l = u + m. Is l a composite number?
True
Suppose 0 = 9*o - 4885 - 794. Is o prime?
True
Let b(s) = 3*s**2 - 3*s + 4. Is b(3) prime?
False
Let f(l) = 15*l + 3. Let m(h) = -h + 8. Let z be m(6). Let d be (7 + z)*2/3. Is f(d) a composite number?
True
Suppose 3*k = 0, 3*u + 4*k - 1520 = 9460. Is (6/(-9))/((-8)/u) a prime number?
False
Suppose -2*d + 4*m = -0*m - 8, 0 = m - 5. Is d a composite number?
True
Suppose -4 = -f + 2*p, 0 = 4*p - 1 + 5. Suppose -f*x = 2*u - u, -30 = -4*u + 2*x. Is (1*-2)/(u/(-21)) a prime number?
True
Let h = 6 + -4. Suppose 1426 = 3*m - 5*k - 1444, -h*m = 2*k - 1908. Is m prime?
False
Suppose 5*l = 4*o + 2033, -l + 394 = -2*o - 3*o. Is l a composite number?
False
Suppose -2*k = -k - 23. Is k a prime number?
True
Suppose 0 = -4*b + 4. Let f be (-3)/(-6)*(1 - -9). Let d = f - b. Is d composite?
True
Is 9494/26 + (-14)/91 a prime number?
False
Suppose k + 20 = 3*k. Let w = k + -7. Let f = w + 79. Is f composite?
True
Let q(u) = -u**3 - 4*u**2 + 2*u + 6. Let b be q(5). Let m = 372 + b. Is m a composite number?
False
Let f = -2382 + 5433. Is 2/(-3)*f/(-18) prime?
True
Suppose -36*y + 40*y = 1484. Is y composite?
True
Is 17564/6 - -2*2/(-12) a composite number?
False
Let q be 9/(-1*(-1 - -2)). Let u be 354/4*(-12)/q. Let p = -81 + u. Is p prime?
True
Let k be ((-189)/(-6))/((-3)/6). Let r = -135 - -224. Let f = k + r. Is f a composite number?
True
Suppose b + 12 = c, 2 = c + 3*b - 26. Let z = c + 51. Is z a prime number?
True
Suppose -112*r - 5835 = -115*r. Is r composite?
True
Let b = -1335 - -2312. Is b composite?
False
Suppose 0 = -2*g - 2. Is 1236/16 - g/(-4) a prime number?
False
Let l = 3 - 2. Suppose -l = 3*k + 20. Let x(j) = -2*j + 8. Is x(k) prime?
False
Let v(q) = 149*q**2 - 12*q - 1. Is v(4) composite?
True
Let c be 8/(-2 - 12/(-3)). Suppose -5*i = -4*i, -c*f = -3*i - 260. Is f composite?
True
Let r be (-24)/11 + 6/33. Is ((-16)/r)/2 - 0 a composite number?
True
Let a = -403 + 576. Let p = 346 + a. Is p composite?
True
Suppose -3*a - a + 56 = -2*i, a = -i - 28. Let y = i + 54. Is y composite?
True
Let u be 4/4 + (0 - 14). Let x = 23 + u. Is x composite?
True
Let x(m) = -m**3 + m**2 + 13*m - 5. Is x(-8) composite?
False
Suppose 0 = -2*u - 3*p + 323, -2*p = 2*u - u - 160. Is u prime?
False
Suppose 20 = 5*i - 5, -2*n = -4*i - 498. Is n prime?
False
Suppose 3*i - 36 = 3*j, -3*i - i - 4*j + 88 = 0. Suppose 0 = 