 Is z prime?
False
Suppose -4*g - 10 = -66. Let u = g + -9. Suppose w = 6*w + 4*x - 31, 20 = u*x. Is w a prime number?
True
Suppose -3*k + 4750 = -4799. Is k composite?
True
Let g be 3/(-7) - (-1632)/(-112). Let z(v) = 5*v**2 - 5*v - 13. Is z(g) prime?
True
Suppose -20 = 5*s - 60. Let o(p) = 374*p + 121. Let v(l) = -25*l - 8. Let t(h) = 3*o(h) + 44*v(h). Is t(s) composite?
True
Suppose -p - 15150 = -2*d + 4*p, 0 = -5*d + 2*p + 37896. Suppose 2*i + d = 7*i. Let z = i - 953. Is z prime?
True
Suppose -4*b + 26 = -p + 6, 4 = 4*b + 3*p. Suppose -b*c + 1104 = -2708. Is c a prime number?
True
Suppose 6*s = 3*s + 4*b + 37211, -s = 4*b - 12425. Is s a composite number?
False
Suppose -u + 36047 = 2*w, 3*u = -2*u + w + 180279. Is u composite?
True
Let r be 4 + (484 - (-3 + (-4)/4)). Suppose 0 = -5*q - 6*b + 3*b + 2458, -b = q - r. Is q composite?
False
Suppose -5756 = 19*m - 23*m. Suppose m = 4*l - w, 5*w = -17 + 2. Is l composite?
False
Suppose -5*k + 6 = -4. Suppose c = 3*y - k*c - 600, 3*y - 5*c = 596. Is y composite?
True
Suppose 0*n = -2*n + 4. Suppose -n*t - 14 = -t - 2*f, 0 = -4*t + 3*f - 31. Let a(w) = 3*w**2 + 2*w - 3. Is a(t) a composite number?
False
Is (-104032)/24*(-3)/4 a prime number?
True
Suppose -3*m - 3*m = -25182. Let g = 674 - m. Let j = -1520 - g. Is j a prime number?
True
Let l(b) = -22*b + 3. Suppose -2*u = -2*a + 8, 0 = 2*a - a + 5. Let g be l(u). Let q = g - 116. Is q a prime number?
False
Suppose 0 = -r - 2, -2711 = 8*d - 11*d - 5*r. Is d prime?
True
Suppose -7*q - 5 = -8*q. Let n be (-8)/q*(-15)/6. Suppose n*f + 39 = -2*u + 449, -214 = -u + f. Is u a composite number?
False
Is ((-13165740)/66)/(-6) + (-4)/(-22) composite?
False
Suppose 21333 = n + 3*q - 7*q, 0 = -2*n - 4*q + 42714. Is n a prime number?
False
Let k(h) be the first derivative of 9*h**2/2 + 16*h - 12. Is k(13) prime?
False
Let z(b) = 14*b**2 + 5*b + 8. Let t be z(6). Let w = t + 3401. Is w prime?
True
Suppose 2*u = u - 3, r + u = -432. Let t = 878 + r. Is t prime?
True
Let k be (-3)/8 + (55899/24)/3. Suppose 2*q = -6*q + k. Is q a prime number?
True
Let p(k) = 74*k - 4. Suppose 4*n = 3*r + 3*n - 5, 0 = -3*r + 2*n + 4. Let i be p(r). Let l = i - -119. Is l prime?
True
Let y be 2*(6 - 4) - -1. Is (2/(-1) - -193)*y composite?
True
Is -4052*(3/(-18))/(1/3) prime?
False
Suppose -4*x + 35 = -5*n, x - n - 20 = 4*n. Suppose 0 = -2*s, x*o - s - 12590 = s. Is o a prime number?
False
Let d be 496/1 - (-7 - -5). Let c = d - 113. Suppose 14*o + c = 19*o. Is o composite?
True
Let z(d) = 12*d**2 - 5*d - 4. Suppose -3*j + 18 = 3*j. Is z(j) composite?
False
Let u be -2 + 1 + (-7 - -10). Suppose -2*d = -4*d + u. Is (d/(-2))/(1/(-154)) composite?
True
Let v(j) = 458*j - 155. Is v(17) prime?
False
Is 1293/9*-1*(35 + -122) a composite number?
True
Let u = 279 - 195. Let g be (-2)/(-5) - 801/15. Let n = g + u. Is n composite?
False
Suppose 0 = -2*a + 5*a + 57. Let i = -10 - a. Is 768/i + 1/(-3) a composite number?
True
Let q(a) = -a**3 + 9*a**2 - 9*a + 16. Let d be q(8). Suppose -41365 = -d*i + 48067. Is i a prime number?
False
Let p be -3 + (-1)/(2 + -3). Let b be 1 - 1 - 6/p. Suppose -3*o - 424 = 3*x - 1867, -b*o + 1435 = 5*x. Is o a prime number?
False
Let s = -1890 - -8223. Is s prime?
False
Let n(z) = 338*z**2 - 21*z - 34. Is n(-9) a prime number?
False
Suppose 16*d - 13*d = 51. Let h(p) = 11*p**2 + 24*p - 40. Is h(d) a composite number?
False
Is -5 - 1 - (-8631 - 38) a prime number?
True
Suppose -7*t - 2*t = -6309. Is t prime?
True
Suppose -3*f + 285 + 330 = 0. Suppose -2566 = -3*i - f. Is i composite?
False
Let g(v) = 2*v**3 + 29*v**2 - 10*v - 5. Is g(14) a prime number?
True
Suppose -4*z = -4*m + 48552, -5*z - 907 - 11211 = -m. Is m a composite number?
False
Let m be 2*(-2 - (-4 - -4)). Is 690 - (5 + m - -4) composite?
True
Let a = -20 + 22. Suppose -s = -4*o + a*o - 15, 15 = s - 3*o. Is 5/s + (-184)/(-6) prime?
True
Let o(z) = -3*z + 68. Let k be o(0). Let n = k - -6437. Is n prime?
False
Suppose 0 = 16*w - 21*w + 3085. Let q = w + -438. Is q a prime number?
True
Let p = 42 - 30. Is p/60 + 709/5 a composite number?
True
Let t be (-7)/14*(-2 - -2). Let o be (t - -254) + 34/17. Suppose -4582 = -6*u - o. Is u a prime number?
False
Suppose 5*p - 3 = -q + 11, -4*q + 3*p = 59. Let f = -8 - q. Suppose -f*h + h + 94 = 0. Is h a prime number?
True
Let g be (36/(-30))/((-6)/15). Is ((-94)/6 + g)/((-2)/3) a prime number?
True
Let q(l) = l**2 + 5*l - 1. Let i(j) = j + 12. Let b be i(-6). Is q(b) a composite number?
True
Let s be (-1 + -49)*(-2)/5. Suppose -27*q + 2303 = -s*q. Is q prime?
False
Suppose -26*i + 1688 + 4110 = 0. Is i composite?
False
Let q(v) = -6*v + 45. Let b be q(9). Is ((-6406)/(-6))/((-30)/b + -3) prime?
True
Let x(y) = -377*y - 6. Let m(d) = d + 6. Let u be m(-7). Is x(u) a composite number?
True
Suppose 4 = -4*t, -4*d + 2*t - 7042 = -8*d. Suppose n = 3*x - d, -x - n = -462 - 125. Is x a prime number?
True
Let m = -27 - -30. Suppose 257 = z + k, -m*z - 2*z - 4*k = -1287. Is z a prime number?
False
Let i be ((-6)/(18/(-15)))/(-1). Is ((-30)/i + -5)/((-1)/(-793)) a prime number?
False
Let r be 126/26 - 14/(-91). Suppose 5*i = -8*x + 3*x + 40, 3*x - 30 = -r*i. Suppose -610 = -i*z + z. Is z composite?
True
Let p = -10376 + 14873. Is p a composite number?
True
Suppose -9*s + 2*x = -8*s - 9801, 20 = 4*x. Is s prime?
True
Let j(t) = 5*t**2 + 32*t + 15. Let u be j(-6). Let x be 2/6 + (-1091)/(-3). Suppose -4*s = -2*v - x, 194 = 4*s - u*v - 174. Is s a prime number?
True
Let r(q) be the second derivative of -q**4/12 - q**3/3 + 1213*q**2/2 - 13*q. Is r(0) a prime number?
True
Let y(j) = 4*j**3 - 2*j**2 - j - 2. Let l be y(2). Let n = l + -14. Let g = 28 - n. Is g a composite number?
True
Suppose 2*o - 68 = -2*o. Let q(y) = y**2 - 5*y - 18. Let d be q(o). Is 7/(-21)*d/(-2) prime?
True
Suppose 0 = -6*p + 10*p - 7672. Is -2*1 - (23 - p) prime?
False
Suppose 10*t + 3*t = 79339. Is t composite?
True
Suppose 2*s = 4*u + 50922, -4*s + 139*u + 101799 = 140*u. Is s composite?
True
Let k(q) = q**2 - 5*q - 11. Let h be k(7). Is 5/3 - (-1666)/h a prime number?
True
Is (3607/2)/((-7)/(-14)) prime?
True
Let k(f) be the second derivative of 2*f**4 + f**2/2 + 13*f. Is k(-1) a composite number?
True
Let x(z) = 162*z**2 - z + 2. Suppose a + 3 = 2*r, 3*r + 0*a - 1 = -2*a. Is x(r) a composite number?
False
Let i(v) be the third derivative of v**5/10 + v**4/4 + 11*v**3/6 + 9*v**2. Is i(-6) prime?
True
Suppose 346990 = 9*y + 12289. Is y a composite number?
False
Suppose n - 6 = -s, -12 = -5*n + 5*s - 2. Is (4/8)/(n/368) prime?
False
Let a = 5925 + 3080. Is a a prime number?
False
Let f be ((-3364)/6)/(38/57). Let l = f - -1286. Is l a prime number?
False
Let v(s) be the second derivative of -s**4/12 - 19*s**3/6 - 9*s**2/2 + 6*s. Let j(m) = -m**2 - 20*m - 8. Let y(a) = 4*j(a) - 3*v(a). Is y(-12) prime?
True
Let w = -21 - -27. Suppose 0 = -s - w*s + 2765. Is s a composite number?
True
Let n(j) = -j**2 + 7*j. Let o be n(7). Suppose -2*t = -3*f - 56 - 30, o = 5*t + 3*f - 173. Is t a composite number?
False
Suppose -w = 3*a + 4428, 5*w - 2*w = 2*a + 2941. Is a/30*-3*2 a prime number?
False
Let q(z) = 38*z**3 - 13*z**2 - 19*z - 7. Is q(10) a prime number?
False
Let a be ((-5)/(-1))/(-1) - -2. Is (-1483)/a - 2 - 18/(-27) composite?
True
Suppose -4*i + 20678 = -37*a + 32*a, 0 = -i + 4*a + 5175. Is i a prime number?
True
Let x = 3 - 12. Let k = x - -11. Suppose -143 = -w + 4*r, -3*r - 165 = -k*w + 101. Is w prime?
True
Suppose -4*u - 7513 = -p, 11*p - 13*p = -3*u - 15001. Is p a composite number?
True
Let v = 14 - 12. Suppose -z - v*z = -3*r + 24, -5*r = -z - 24. Let h(b) = -118*b - 5. Is h(z) composite?
False
Let k(i) = -i**3 + 16*i**2 - 11*i + 9. Let v be k(6). Suppose 0 = 2*t - 4*t + 384. Let z = v - t. Is z a prime number?
False
Is ((-402836)/(-70))/((-12)/(-30)) a composite number?
False
Suppose 26*g = 18*g. Suppose g = -60*f + 65*f - 9865. Is f a composite number?
False
Let l(p) = 224*p**2 + 49*p - 41. Is l(-6) a prime number?
False
Suppose 41*y - 910 = -2*w + 37*y, -3*y - 1798 = -4*w. Is w a composite number?
True
Let w = 24594 + -15803. Is w a composite number?
True
Suppose 4*q = -5*z - 0*q - 949, 5*q = 3*z + 599. Let h = -60 - z. Is h composite?
True
Suppose 5*y - 5*u = -15, -2*y + 10 = -7*y + 4