(-3). Is t*(-4)/12 + 2 a composite number?
False
Suppose -172 = -4*w + 304. Is w a composite number?
True
Suppose 7*t = 12*t - 1325. Is t a prime number?
False
Let s(u) = -26*u - 3 + 3*u + 6 - 64*u. Is s(-2) prime?
False
Is (110 - (-4)/2) + -3 composite?
False
Let t(v) = -v**3 - 10*v**2 + 25*v + 21. Is t(-13) prime?
False
Suppose 0 = -4*f - 0*f + 8. Suppose -z + 9 = f*z. Is 67/z - 2/(-3) prime?
True
Let y(j) = j**2 + 11*j. Let w be y(-11). Suppose -3*o + 159 = -w. Is o a prime number?
True
Let v(z) = -1187*z**3 + 2*z**2 + 3*z + 1. Is v(-1) composite?
False
Suppose 262 = k - 3*u - 386, -2*k + 4*u + 1290 = 0. Suppose m - 4*y - k = 0, 0 = 4*m + 3*y - 1118 - 1400. Is m prime?
True
Let f(u) = -40*u - 15. Let c be f(8). Let w = 670 + c. Is w a prime number?
False
Suppose 4*r - 26 - 6 = 0. Is 6/r - (-290)/8 composite?
False
Suppose -1292 = -3*f + 2*w - 93, 2*f = 5*w + 814. Is f a prime number?
True
Let l = 4 + -2. Suppose -3*y + 25 = n, 0*y + l*n + 20 = y. Is y prime?
False
Suppose -3*g + 8 = -g. Suppose 3*u - 3*q - 45 = 0, 2*u - 3*u = 3*q + 5. Is (-7)/(-3 + u/g) a composite number?
True
Is 3*1511/(-3)*-1 composite?
False
Suppose 0 - 8 = 4*t. Let r = t - -4. Suppose 3*m + r*m = 175. Is m a composite number?
True
Let f = -608 + 1821. Is f a prime number?
True
Is (1964/6)/((-12)/162*-9) a composite number?
False
Let n = 1 + 2. Is (-2)/n - 65/(-3) composite?
True
Suppose -5*t - 270 + 4220 = -3*h, 2*t + 4*h = 1554. Is t prime?
True
Suppose -5*n = q - 928 - 1961, -10 = 5*n. Is q prime?
False
Let l be (-3 - (-3 - -1)) + -4. Let j be ((-4)/l)/(6/1335). Is j/(1/(3/6)) composite?
False
Suppose 0 = 4*k + 3*m - 2*m + 49, k = -3*m - 15. Is (3 - k/(-3)) + 810 composite?
False
Let u(z) = z - 4. Let h be u(7). Let s = 13 - h. Is s a prime number?
False
Let v(q) = 6*q + 2*q + 0 + 2 - 1. Let l be (6/(-5))/((-1)/5). Is v(l) a prime number?
False
Let k = 647 - 156. Is k prime?
True
Let h be (2/(-3))/((-2)/291). Suppose 4*y - 5*y - h = 0. Is (-4 - y) + (-2)/1 composite?
True
Let l be (-6)/4*8/(-6). Suppose y - 5*f + l = 9, -6 = -2*f. Is y a composite number?
True
Suppose 2*j - 8 = 5*r, 29 = 5*j - 2*r + 9. Suppose 21 = -2*k + 6*k + 3*l, -j*k - 4*l + 20 = 0. Is -2*(-3)/k*11 a composite number?
False
Let l(b) = 553*b**2 + 4*b + 2. Is l(-3) composite?
False
Let k be 15/(-2) + (-3)/(-2). Suppose -2*g - g = -168. Let s = g - k. Is s a prime number?
False
Is -1 - -267 - (-3 - 0) a composite number?
False
Let v = 324 + 583. Is v a prime number?
True
Let u = 1294 + -9. Is u prime?
False
Suppose -4*r + 260 = -2*o, 0 = 5*r - 4*o + 3*o - 331. Is r prime?
True
Let v(r) = 15*r - 5. Let o be v(-5). Let u = o - -118. Is u a composite number?
True
Let l(a) = -a**3 - 6*a**2 - 5*a - 1. Let j be l(-5). Suppose 3*v + 2 = 11. Is (33/(-1*v))/j composite?
False
Suppose 3909 + 1997 = 2*f. Is f prime?
True
Let i = 347 + 72. Is i a prime number?
True
Let l = 1 + 1. Let j be -1*2 + l + 0. Is (-50)/(-1) - (1 - j) a prime number?
False
Suppose i - 2 = q, -1 = i + 3*q - 5*q. Suppose 2*b = i*b - 957. Is b a prime number?
False
Let p(d) = d**3 + 5*d**2 - 7*d + 4. Let x be p(-6). Suppose 7*o - 2*o - x = 0. Suppose -2*v - o*a = -20, 0*a = -5*a - 25. Is v prime?
False
Is (3/6 + -2)*148/(-3) composite?
True
Suppose -2*z = -3*j + 844, 0*z - 4*j = 5*z + 2110. Let s = -129 - z. Is s prime?
True
Let u = 61 - 30. Is u composite?
False
Let d(z) = -z**3 + 13*z**2 + 15*z + 26. Is d(13) prime?
False
Let u(s) = -s + 1. Let l be u(-5). Let m be 686/4 - (-3)/l. Suppose 5*g + 2*t - 787 = 0, -3*t = 3*g - 302 - m. Is g a prime number?
True
Let q = -3 + 3. Suppose 9 = -3*j, -x + 5*j + 9 + 11 = q. Suppose 3*l = x*r + l - 101, -2*l = -4. Is r prime?
False
Let o = -1 + 5. Suppose 3*y = 0, -t - 4*t - o*y + 10 = 0. Suppose -r = -t*r + 7. Is r prime?
True
Let h(c) = -6*c - 3. Let p be h(-4). Let f be (-82)/3*p/(-2). Is 2/6*(f + 4) a composite number?
False
Let d = -1 + 6. Suppose -395 = -5*w - 2*t, -5*w + 365 = -d*t + t. Is w composite?
True
Let v be (-4)/2 + 42/(-1). Let s = v + 97. Is s prime?
True
Suppose -4*f + 3*p + 685 = 0, 6*p + 168 = f + 2*p. Suppose -3*m = -f - 65. Is m prime?
True
Let h be (7/(-2))/((-2)/(-4)). Let v = 14 + -44. Let n = h - v. Is n prime?
True
Let f be (0/(-2))/((-6)/6). Suppose -g + f*g = 0. Suppose -3*b + 29 + 40 = g. Is b composite?
False
Let z(g) = 37*g - 8. Is z(7) composite?
False
Let o(u) = 17*u**2 - 2*u + 1. Let i be o(1). Suppose 2*r - 2*n + i = -5*n, -5*r = 4*n + 40. Is ((-190)/3)/(r/12) composite?
True
Let u be (-2)/((2/(-123))/1). Let j(a) = -a + 15. Let m be j(13). Suppose -2*d - 2 = -4*n - 64, 5*d - u = m*n. Is d prime?
True
Suppose 3*h + 1304 = -5*x + 7*h, 2*h = 2. Let p = x - -463. Is p prime?
False
Let m(a) = -a**3 + 10*a**2 - 8*a - 5. Let j be m(9). Suppose 0*t - j*t = 8. Is t/(-5) + (-68)/(-5) composite?
True
Suppose 4*y - 565 = -5*h + 2*h, 5*h - 5*y = 965. Is h composite?
False
Suppose 3*j - 4 = 11. Suppose -3*i + j = 17. Let d(g) = g**3 + 5*g**2 - 5*g - 1. Is d(i) composite?
True
Suppose -v = v - 24. Let q be 2/(3/v*2). Is (-2)/q*2 + 12 prime?
True
Let r = -2 - -4. Suppose -u = -5*m + 36 - 5, -5*u - 17 = -r*m. Is m prime?
False
Suppose 4*w + 3*i - 1 = -6, -5*w - 4*i - 6 = 0. Let x(r) be the first derivative of -r**4/4 + r**3/3 - r**2 - 3*r - 1. Is x(w) composite?
False
Let f = 7 - 5. Suppose -2*w - 4*u + 178 = -0*w, f*u + 336 = 4*w. Is w composite?
True
Let h(i) = -i**3 - 5*i**2 - 4*i + 2. Let y be h(-4). Suppose y*q + 3 = 87. Is (24/14)/(12/q) prime?
False
Suppose 0 = t, -1221 = -f - 2*t + 290. Is f a prime number?
True
Let r(s) = -2*s + 127. Is r(0) a composite number?
False
Let m = -1 - -2. Let x(k) be the second derivative of 34*k**3 - k**2/2 + 16*k. Is x(m) a prime number?
False
Suppose 0 = 2*t - 3*r - 251, 0 = 3*t - 0*t + 3*r - 399. Suppose -2*h + h = -t. Suppose -d + h = 3*i, -5*d + i + 79 = -523. Is d a composite number?
True
Suppose -6*s - 2207 = -4*l - s, 0 = 4*l - s - 2211. Is l a prime number?
False
Let u be (-8)/36 + 114/27. Let z(s) = -1 - u*s - 7*s + 3*s. Is z(-5) composite?
True
Let p = 4 - -1. Let s(v) = -v**3 - 3*v + 5*v**2 - 2*v**2 - 4 + 4*v**2. Is s(p) a prime number?
True
Let z be (-6)/(-4)*(-2)/(-3). Let i be (z - -2)*(-3 - -4). Suppose -i = 4*k - 27. Is k prime?
False
Suppose -g - 6*c = -2*c - 1, 0 = -4*g - 4*c - 8. Let j be (g/2)/(2/28). Is (-257)/(-7) + (-6)/j prime?
True
Let f be (-783)/(-12) - 3/(-4). Suppose f = -2*t + 5*t. Is t composite?
True
Let r(c) = -c**2 - 21*c - 31. Is r(-17) a composite number?
False
Let z = -8 + 14. Is z/15 - (-1406)/10 a composite number?
True
Let u = 1 + -1. Suppose u = 5*t - 33 - 72. Let z = t + -14. Is z a prime number?
True
Let o(c) = 50*c**2 + 3*c. Is o(-2) a composite number?
True
Let o(b) = -6*b - 21. Let p be o(-17). Let a = -43 + p. Is a prime?
False
Suppose -5*m + 6 = -9. Let o be (-6)/4*4/m. Is (-34)/(-12) + o/(-12) prime?
True
Let d = -35 + 25. Let k = -6 - d. Suppose 3*p - 5*h - 600 = -2*p, -5*p + k*h = -599. Is p prime?
False
Let d(l) = l**2 + 6*l + 7. Let u be d(-5). Suppose -11 = -3*h + 1. Suppose -a - u*s = -3, -3*s = -h*a - 4 + 60. Is a prime?
True
Let d(c) = c**3 + 3*c**2 - 5*c - 1. Is d(4) composite?
True
Is -1*-43*2/2 composite?
False
Suppose 4*m = m + 21. Let n(r) = r**3 - 4*r**2 - 11*r + 9. Is n(m) composite?
False
Let m(u) = 4*u - 1. Let x be m(1). Suppose s - 14 = -x*a, -a = -0*a - 2*s + 7. Suppose 3*j - 47 = -l, 0 = a*l - l - 3*j - 58. Is l composite?
True
Let s(n) be the first derivative of -4*n**2 + n - 5. Suppose 1 + 7 = -x. Is s(x) a prime number?
False
Let i(a) = -4*a**2 - 5*a**2 - 3*a**3 + 7*a - 4 + 4*a**3. Is i(9) prime?
True
Suppose 2*f = 6*f + 12. Let o(u) be the second derivative of -3*u**3/2 - 2*u**2 - 2*u. Is o(f) a prime number?
True
Let z(c) = 51*c + 11. Is z(10) prime?
True
Suppose -14*t + 8163 = -5*t. Is t composite?
False
Let a(v) = -v**3 + 10*v**2 - 4*v - 11. Let c(q) = q**2 + 5*q + 3. Let d be c(-6). Is a(d) a composite number?
True
Suppose m - 198 = -2*n, -559 + 78 = -5*n + m. Is n prime?
True
Suppose l + 8 = 2*l. Is (1*-38)/(l/(-4)) composite?
False
Let n(z) = 32*z**3 - z**2. Let m be n(1). Suppose m = d - 6. Is d a composite number?
False
Let w(l) be the first derivative of 7*l**2/2 - 2*l - 3. Let a be w(3). Suppose -u = 3*c - a, -5*u + u = 2*c - 76. Is u a composite number