 15 + -10. Suppose q*i - 465 = 5*c, -5*i + 358 = -2*c - 110. Suppose 3*p - i = 5*v, p - 2*v + 6*v = 3. Is p a prime number?
True
Is 2435/2*(-8)/(-10) prime?
False
Let h = 333 + -174. Suppose 3*b - 6*b = -h. Is b prime?
True
Let p be 14*(-2 - 46/(-4)). Suppose -4*g = 9 - p. Is g a prime number?
True
Suppose 19*p = 21*p + 24. Is ((-63)/p)/(-3)*-412 a prime number?
False
Let q = 4 + -4. Suppose q = 5*s + 25, 0*i + 2*i + 2*s = 160. Is i composite?
True
Let m = 0 - 6. Let x = m + 647. Is x prime?
True
Let i = -74 + 223. Is i composite?
False
Let y(h) = 4*h. Let w be y(1). Suppose 4*s - 65 = 3*s. Suppose p = -w*p + 3*u + s, -4*p + 4*u = -52. Is p a prime number?
True
Suppose 4*u = -3*d + 91, -d - 3*u - 17 + 39 = 0. Let w = 63 - d. Is w a prime number?
False
Let i = 20 - 35. Let u = 29 + i. Is u a composite number?
True
Let h(u) = -60*u + 1. Let c(m) = 30*m - 1. Let x(v) = -13*c(v) - 6*h(v). Is x(-6) a prime number?
False
Let k be 0/(-1)*(-1 + 2). Suppose k = 5*o - 699 - 756. Is o prime?
False
Let i be 9/6*(1 + -3). Is (i/(-9))/((-1)/(-249)) a prime number?
True
Let n = -684 - -2165. Is n a prime number?
True
Suppose 0 = 3*z + z. Let d = 1 - -2. Suppose z = 2*h - 10, t + t + d*h - 45 = 0. Is t a prime number?
False
Is (-911)/((-1)/(4 - 1 - 2)) a prime number?
True
Suppose 0 = -4*t + 309 + 1655. Is t composite?
False
Let l be ((-6)/(-18))/(2/516). Suppose 4*x = -3*t + 179, -367 = -5*t + 2*x - l. Suppose 0 = -q - 4*m + t, 80 = -3*q + 3*m + 236. Is q prime?
True
Suppose -5*a = 3*d - 1961, 2*a - 2643 = -4*d + a. Is (-3)/18 - d/(-12) prime?
False
Let g(i) = -i**2 + i + 308. Suppose 3*b = -5*x - 12 - 13, 2*b + 2*x + 10 = 0. Let n be g(b). Is n/10 - (-3)/15 a prime number?
True
Let v(q) = 3*q**2 + 2*q - 6. Let z be v(6). Suppose 3*s - 267 - z = 0. Is s a prime number?
True
Suppose -3*t = -53 - 229. Suppose 5*d - y = -t, 5*y + 41 + 29 = -5*d. Let x = d + 39. Is x a composite number?
True
Let i = -77 + 786. Suppose -3*o + f + i = 0, 3*o - 3*f - 717 = -6*f. Is o a composite number?
True
Suppose 2*i - 72 = -2*g, 0*g + 20 = 5*g. Let m = -2 + 2. Suppose m = u - i - 3. Is u a composite number?
True
Suppose -2*l - 5535 = -3*m, 6*m - 5526 = 3*m + 5*l. Is m a prime number?
True
Let m(u) = 8*u + 46. Is m(15) prime?
False
Suppose 12*z + 1028 = 16*z. Is z a composite number?
False
Let q be -2 - (-5)/(10/(-32)). Let j be (q/(-12))/(2/68). Suppose 0 = -3*s + 2*t + 16 + j, 3*s = t + 68. Is s a composite number?
False
Suppose -9*f + 220 = f. Is f a prime number?
False
Is ((-274)/(-4))/((-3)/(-18)) composite?
True
Let a(j) = 2*j**3 - 11*j**2 - 7*j + 8. Let k be a(6). Suppose -543 = -k*b - 3*h, -3*b - 4*h + 804 = -3*h. Is b a composite number?
True
Let j(f) = -f**3 + 4*f**2 + 8*f + 7. Is j(-6) composite?
True
Let u(l) = 120*l**2 - 1. Let h = -4 - -3. Is u(h) prime?
False
Let p(m) = 4*m - 5. Let w be p(2). Suppose -w*y - 195 = -984. Is y a prime number?
True
Let t(q) = q - 8. Let a be t(5). Let k(l) = l**3 + 4*l**2 - 1. Let g(v) = -v**2. Let n(i) = -5*g(i) - k(i). Is n(a) a prime number?
True
Is -34*((-20)/8 - 3) composite?
True
Let b(i) = -i**3 - 5*i**2 - 5*i - 9. Let w be b(-6). Suppose 16*u + 110 = 11*u. Let k = u + w. Is k a prime number?
False
Is 12/8 + (-6526)/(-4) composite?
True
Is 295 - 2 - (11 + -11) composite?
False
Suppose -5*m + 0 + 15 = 0. Suppose m*x = 0, 5*v - 4*x = x + 10. Suppose 0 = -4*u - 2*l + 80, -92 = -4*u + v*l - l. Is u a prime number?
False
Suppose 5*n + 130 = 1245. Is n a composite number?
False
Suppose -2*l = 0, -2*h - 2*l - l + 44 = 0. Let y = h + 118. Suppose 35 - y = -3*o. Is o a composite number?
True
Let g be 2 + 0 - (2 + 0 + -1). Let q = -6 - -9. Is q*1*(2 - g) a prime number?
True
Let i = 314 - 129. Suppose 3*b + 2*b = i. Is b a prime number?
True
Let u(l) = 4*l + 2. Let t be u(-2). Let f be ((-24)/(-9))/(-4)*t. Suppose 9*w - f*w = 4*d + 40, 3*w + 2*d = 2. Is w composite?
True
Let z(b) be the third derivative of b**5/60 + 7*b**4/24 + 7*b**3/6 - b**2. Let w be z(-5). Let r(l) = -l**3 + 2*l. Is r(w) a prime number?
False
Let t be 72/(-16)*(-140)/(-3). Let l = 329 + t. Is l composite?
True
Suppose 10*g - 30173 = -3*g. Is g composite?
True
Let b(c) be the first derivative of -c - 3. Let m(v) = -7*v**2 + 3*v - 2. Let i(s) = b(s) - m(s). Is i(2) a composite number?
False
Suppose 2*v = -133 + 417. Let y(p) = -12*p + 3. Let s be y(-3). Suppose x - v = -s. Is x a prime number?
True
Let t(i) = 2*i**2 - 12*i + 5. Is t(8) prime?
True
Suppose 5*s = -53 + 268. Suppose -c + 2*u = -s, 0 = -3*c + c + 5*u + 81. Is c a prime number?
True
Suppose -10*x + 5*x = -275. Is x a prime number?
False
Suppose -2*r + 5*h + 20 = -3*r, -4*r + 4 = -h. Let x be (-22)/(-5) + (-2)/5. Suppose -x*p + 5 - 21 = r, 42 = 5*o + 2*p. Is o a composite number?
True
Let n = 343 - 36. Is n a prime number?
True
Suppose -l = -3*l + 170. Is l prime?
False
Suppose -5*z + 3*z = -388. Is z a prime number?
False
Suppose -3*q = -0 - 24. Let j be (q - 2)*12/8. Suppose -12 - j = -s. Is s prime?
False
Is (-12 - -7)*211*-1 composite?
True
Suppose 4*k = k + 3. Let t be 6*k*(-3)/(-9). Suppose m + 115 = t*m. Is m a prime number?
False
Suppose 2718 = 2*m - 0*b + 4*b, 2763 = 2*m - 5*b. Is m prime?
False
Let c(q) = 5*q**2 - 1. Let n = -8 - -7. Let a be n - 1 - (1 + -2). Is c(a) composite?
True
Suppose 4*l + 0*j - 16 = -4*j, 5*j - 25 = 0. Let c(s) = 2*s**3 - s**2 + 1. Let f be c(l). Is 4/(-2) - 74/f a composite number?
True
Suppose -5*i + 75 = 5*k, 0 = -2*k - i + 9 + 20. Is 2670/k - 6/(-21) prime?
True
Let r be -54 + -8 - -3*1. Let g = 108 + r. Is g prime?
False
Is -1 + (-128 + 0)*72/(-8) composite?
False
Let n(q) = -5*q**3 - 8*q**2 + 3*q + 15. Is n(-6) a prime number?
False
Suppose 2*o = 4*o + 18. Let f be 6/(-4)*24/o. Suppose f*j + 0*q = 3*q + 584, -3*q + 459 = 3*j. Is j prime?
True
Suppose -3*f - 15 = -5*b, -3*b - 5*f + 69 - 26 = 0. Let o = -48 - -104. Suppose o = b*j - 2*j. Is j a composite number?
True
Let h(n) = -2*n**2 - n - 6. Let q be h(-5). Let d be ((-1)/(-2) + 0)*-2. Is (q + -2*1)*d composite?
False
Let x(l) = -l - 8. Suppose 4*j + 3*f = -57 + 9, 3*f = -12. Let h be x(j). Is (h/(-2))/(2/(-380)) prime?
False
Let x = -234 - -380. Is x composite?
True
Is (-5 + -248)/(0 - 1) prime?
False
Let t be (-12)/6 - -1*5. Let c be t/(-12) - (-14)/(-8). Is c/10 - 312/(-10) a composite number?
False
Let x = -1 + 13. Suppose -4*o + x = -o. Suppose -t + o*c + 0*c = -87, c = t - 81. Is t a prime number?
True
Let t(b) = -b**3 + 28*b**2 - 32*b + 34. Is t(26) composite?
True
Let s(y) = -4 + 2*y - y + 0*y. Let j be s(4). Suppose 2*n - 194 = -j*n. Is n a prime number?
True
Suppose -791 = -5*w + 4044. Is w composite?
False
Suppose -30 = -8*r + 3*r + 5*y, -r - 2*y + 3 = 0. Suppose -5*q - g + 3*g + 6 = 0, -5*q - 9 = 3*g. Suppose q*s - r*s + 130 = 0. Is s composite?
True
Let i(v) = 143*v**2 - 6. Let q be i(-4). Suppose q - 8527 = -5*h. Is h prime?
True
Let y = 3 - 5. Let s(p) = -35*p + 1. Is s(y) a composite number?
False
Let b(w) = -3*w**3 - 25*w**2 + 26*w - 29. Let r(o) = -o**3 - 8*o**2 + 9*o - 10. Let h(d) = -3*b(d) + 8*r(d). Is h(-6) composite?
False
Let j(t) = t**2 + 3*t + 1. Let h be j(-1). Is (h/(-3))/((-2)/(-60)) composite?
True
Suppose 3*u - 5*u + 4 = 0. Is 4 - (0 - (u - -745)) a composite number?
False
Suppose -5*w + 339 = -1286. Suppose 3*y - w = -2*y. Is y composite?
True
Suppose 0*y + 236 = 2*y. Is y a prime number?
False
Let c = -35 + 462. Suppose c = 4*j - 81. Is j composite?
False
Let i(l) = 2*l**3 + l**2 - 1. Let q be i(1). Suppose -1171 = -5*p + q*t - t, -4*p = 2*t - 948. Is p prime?
False
Suppose -2*b - 11 = 51. Let t(l) = -90*l**2 - l - 1. Let j be t(-1). Let m = b - j. Is m a prime number?
True
Let v = -1818 - -3739. Is v a composite number?
True
Suppose 13 = 4*w + 1. Is (-1924)/(-12) - (-2)/w a composite number?
True
Suppose 0 = 7*o - 2490 - 184. Is o composite?
True
Let z(p) be the first derivative of -p**3/3 - 13*p**2/2 + 13*p - 7. Is z(-13) prime?
True
Let r = -6 + 2. Is 126 - 1 - (-8)/r a prime number?
False
Is (207 - (-2 + 2)) + 4 composite?
False
Suppose 0 = -140*u + 147*u - 58009. Is u prime?
True
Let u be 20/6 - (-2)/3. Let g(p) = 7*p + 15. Let w be g(9). Suppose u*y + 2 = w. Is y composite?
False
Let q(o) = 5*o**2 + 4*o - 11. Let u be q(-6). Suppose 2*y - 2 = 2. Suppose a + u = y*a. Is a 