ime?
False
Suppose 1 = -m + 2*m, -k + 8533 = -5*m. Let r = k - 5599. Is r composite?
False
Suppose -7 = 2*a + 1, -4*n + 920 = -5*a. Suppose -g + 30 = 2*g + 2*r, -3*r = g - 17. Let u = n - g. Is u composite?
True
Let y = 2631 - -2620. Is y composite?
True
Is ((-31776)/(-128))/(3/236) prime?
False
Is 20/(-4) - (-7)/((-14)/(-11972)) a composite number?
False
Let b be 3/6*4/(-1). Let y be 1628 - b/(-1)*-2. Let c = y + -743. Is c a prime number?
False
Let s(a) = -a + 4. Let m be s(8). Is 52*33*m/(-48) composite?
True
Let m(b) = -31*b**2 + b - 1. Let r be m(2). Let i = 508 + -198. Let t = r + i. Is t a composite number?
True
Let p = 825 + -291. Suppose -5*g + p = g. Is g a prime number?
True
Suppose 0 = -2*g + 2 + 14. Let s be ((-6)/8)/((-3)/g). Suppose 0 = -4*p + 2*q + 478, -5*p = -p + s*q - 474. Is p a composite number?
True
Suppose 148327 = 33*d - 10*d. Is d a prime number?
True
Is (-5)/((-15)/21699) + 0 composite?
True
Let l be -2*(-12 - 1) - 2. Suppose l*x + 28 = 26*x. Is x composite?
True
Is (0 - 2 - (-22922 + 26)) + 7 a prime number?
True
Let n = 46 - 41. Suppose 2*z - 43 = -m + 82, n*m = -3*z + 646. Is m a prime number?
True
Let d = 716 - -1887. Is d prime?
False
Is (-2167 + (-10 - -22))*(0 + -1) a prime number?
False
Let s(h) = -137*h - 7. Suppose 1 = 3*m + 13. Is s(m) composite?
False
Let b = -19121 - -28304. Let y = b - 5620. Is y a composite number?
True
Let w(a) = 3*a**2 + 4*a - 4. Suppose 7 + 1 = -3*n + 5*k, k + 16 = 5*n. Suppose -4*z - n*y = 28, z + 9 = -2*z + 3*y. Is w(z) prime?
False
Let c be 1618*(12/6 + (-3)/6). Let t = c + 2234. Is t a composite number?
True
Let w(g) = g**3 - 6*g**2 - 6*g + 13. Let r(s) = -s + 3. Let v be r(-7). Is w(v) a prime number?
True
Let p = -1861 + 2728. Let r = -364 + p. Is r prime?
True
Suppose -2248 = 3*c - 7705. Is c a composite number?
True
Is 1*(-3 + 1398) - -4 a composite number?
False
Let n be -3*(-1)/1 - -47. Let f be n - 8 - (2 + 1). Let a = 58 + f. Is a prime?
True
Suppose -4*q + 9811 + 4853 = -5*r, 0 = q - 3*r - 3659. Is q a composite number?
False
Let q(t) = -5*t**2 + 2*t**2 + 9 - 8 + 99*t**3 + 0. Is q(2) prime?
False
Let s(i) = -i**3 - 9*i**2 + i + 12. Let x be s(-9). Is (187/1)/(3/x) prime?
False
Suppose -14177 - 19668 = -5*y + b, -5*y - 4*b + 33845 = 0. Is y a prime number?
False
Let f = 26 + -9. Suppose 600 = -7*a + 13*a. Let q = a - f. Is q a prime number?
True
Let l(f) = -540*f - 266. Is l(-17) prime?
False
Suppose v - 180 = -2*v. Let w be (-2)/(-12) - 29650/v. Let i = -281 - w. Is i a composite number?
True
Is -1 + 8186 + (9 - 7) composite?
True
Suppose 1305*v - 1310*v = -176555. Is v composite?
False
Let g = 1153 - 974. Is g a composite number?
False
Let t(i) = 3*i - 26. Let j be t(10). Suppose -302 = -2*k - 3*o, j*k - 3*k - 133 = 3*o. Is k a composite number?
True
Let y(p) = -7 + 34*p + 9 - 1. Is y(12) prime?
True
Let i = -301 - -178. Let n = -3 - -7. Is (i/n)/(9/(-60)) a prime number?
False
Let x be 4/18 + 1030/(-18). Let f = x - -29. Is ((-14)/4)/(2/f) a composite number?
True
Let f be (-3)/(-2)*128/6. Suppose 4*r + f = 8*r. Is ((-6)/r)/((-1)/452) prime?
False
Let z(i) = -i**3 + 5*i**2 + 6*i + 2. Let x be z(6). Suppose 4*f + 7*p - 2512 = 2*p, -4*p + 1262 = x*f. Is f a prime number?
False
Let w be ((-545)/(-4 + 9))/(-1). Suppose -2*j + 729 = -w. Is j prime?
True
Let o(i) = 296*i + 859. Is o(7) a composite number?
True
Let d(h) = 23*h**2 + 34*h - 1. Is d(18) prime?
False
Let s(v) = -8*v + 6*v**2 + 5*v**2 + 7 - 10*v**2. Let l be s(7). Suppose -g + j + 438 = l, 4*j + j = 2*g - 879. Is g a composite number?
True
Suppose 3434 = 5*j - 2151. Is j prime?
True
Let j be (-1)/(4/(18 - -2)). Let k(a) = -a**3 - 4*a**2 + 5*a - 5. Let y be k(j). Is (1/2)/(y/(-350)) prime?
False
Suppose -5*l - 4*j + 1414 = 0, 0 = l - 0*j - j - 281. Suppose -o + 3*m + 133 = 0, 2*o = m - 3*m + l. Is o a prime number?
True
Suppose j = 5*h - 3*j, 0 = -3*h - 3*j. Suppose 0 = -4*z + l + 18, 3*z + 5*l - 23 - 2 = h. Suppose 3*d + 293 = g + z*d, 3*g - 871 = 2*d. Is g prime?
False
Let w(o) = 4*o**2 + 17*o - 5. Suppose 1 = -2*c - 23. Let u be w(c). Let a = u + -46. Is a composite?
True
Let i(w) = 3*w**3 - 25*w**2 - 8*w + 29. Is i(15) prime?
True
Suppose 35889 - 230335 = -19*w. Suppose 0 = 10*c - 4476 - w. Is c prime?
True
Suppose 4*n - 4 = -3*l, 0*l - 5*n - 14 = -l. Suppose -3*u = l*x - 7, -2*u - 7*x + 3*x = -6. Is ((-3)/(-2))/(u/26) prime?
False
Suppose l + 40 = -g, g = -3*l + 21 - 69. Let z be (-1)/2 - g/8. Suppose -4*r - 2*h = -3*r - 89, -4*h + 372 = z*r. Is r a composite number?
False
Let s = 49 - -7. Let t = s + -103. Let z = t + 68. Is z a prime number?
False
Let n(z) = -z**2 - 4*z + 3. Let j be n(5). Let c = 25 - j. Let g = 46 + c. Is g a composite number?
False
Suppose -4*n - 5159 = 17*c - 18*c, 3*c - n - 15444 = 0. Is c composite?
False
Let p(j) = j**2 - 6*j - 13. Let v be p(8). Suppose 955 = -v*x - 2*x. Is (-1)/(1 + 192/x) a composite number?
False
Let i(g) = -356*g + 98. Is i(-16) a composite number?
True
Let q = 9510 - -3071. Is q a composite number?
True
Let t(o) be the first derivative of 97*o**2/2 + 2*o + 9. Is t(3) prime?
True
Is ((-22075)/(-10) - -3)/(5/10) composite?
False
Let y(f) = 441*f**2 - 3*f - 23. Is y(-4) a prime number?
False
Suppose 16*h - 4*g + 92742 = 18*h, -5*g - 185549 = -4*h. Is h a prime number?
True
Let m(x) be the second derivative of x**5/20 - x**4/6 - 4*x**3/3 + x. Let w be m(4). Suppose -2*h - 170 + 552 = w. Is h prime?
True
Let a be ((-205)/20 - -4)*-16. Suppose 59 + a = 3*u. Is u a composite number?
False
Let z(q) = 7*q**3 + 3*q**2 + 3. Let p = -22 - -25. Is z(p) a prime number?
False
Let s be (15/(-6))/(-1)*(-8)/(-10). Suppose 840 = 4*d - s*c, -3*d - 283 + 906 = -5*c. Is d a composite number?
False
Suppose -3824 - 2197 = 9*n. Let m = n - -1882. Is m composite?
False
Suppose 14 = 4*t + 3*z, -t - 23 = -6*t - z. Let u(d) = 9*d**2 + 10*d - 18. Is u(t) a composite number?
False
Suppose 0 = 2*l - u - 30, 0*l = l - 5*u - 15. Let k(z) = 8 - 9*z**2 - 3*z**3 - 2*z + 6*z + 0*z**3 - l. Is k(-6) prime?
True
Let d(v) = v**3 + 2*v**2 + 2*v + 2. Let b be d(0). Is b - -2 - (-2 - 7) a composite number?
False
Let v = -244 - -309. Is v composite?
True
Suppose -3*m + 4*p = -14, -5*m - 3*p - 7 = -11. Is (-11660)/(-30) - m/(-6) a composite number?
False
Let i be -1 - -3 - (-1141 + -13). Suppose -4*d - 2*q + 4601 = -5*q, d = -5*q + i. Is d a composite number?
False
Let n(i) be the second derivative of -i**7/840 + i**6/360 + 203*i**4/24 + i**3 + 3*i. Let p(z) be the second derivative of n(z). Is p(0) a prime number?
False
Let z be 1/(((-1)/(-106))/(-1)). Suppose 7*x + 141 = 78. Let l = x - z. Is l a prime number?
True
Let c(d) = -3*d**3 + d**2 - 5*d - 3. Let q be c(3). Let p = 217 + q. Is p a composite number?
False
Suppose 41*c = 35*c - 22356. Let u = c + 6195. Is u a composite number?
True
Let m = -272 + 7911. Is m composite?
False
Let j be (-4)/24*8*-375. Let i = -295 + j. Is i composite?
True
Let a be (-18)/6 - (2 + -9). Suppose f - 15 = -a*f. Suppose -53 = -d - 4*c, 2*c = f*d - 2*c - 95. Is d prime?
True
Let a = -32 - -57. Suppose -93 = -4*j - 3*f, f + 77 + a = 5*j. Is j/14 - (-295)/2 composite?
False
Suppose -12134 - 1822 = -4*g. Is g a composite number?
True
Suppose -5*l = 3*o - 535, 0 = 4*l - l - o - 321. Let k = -121 - -97. Let g = l + k. Is g prime?
True
Let z = -18 - -22. Suppose 22 = -4*a + 3*m - 0*m, -z*m = -8. Is 1058 + (a/(-4) - 4) prime?
False
Suppose -2*y = -i - 5*y + 13011, 3*y - 26022 = -2*i. Is i a prime number?
False
Let u(q) = -3 - 5*q**3 + 0*q - 2*q - 2*q**2 - 2*q. Let a be u(-2). Suppose -a = 7*s - 8*s. Is s a prime number?
True
Let y = 2369 + -1393. Let c = y - 683. Is c a composite number?
False
Let c(r) = 23*r**2 + 14*r - 1. Let y(i) be the first derivative of -4*i**3 - 7*i**2/2 + i - 7. Let n(x) = -4*c(x) - 9*y(x). Is n(-4) prime?
True
Let j = 48 + -31. Let i = -13 + j. Suppose i*s = -s + 35. Is s a composite number?
False
Let b be (328/(-6))/((-4)/30). Suppose -13*w + 5533 = -2*w. Suppose f = a + 921, w + b = f + 3*a. Is f a prime number?
True
Suppose -2*d + 2*z = -2312, -4*d - 5*z + 4589 = -2*z. Is d composite?
False
Suppose i + 46 = -2*p, -2*i + 100 = -0*p - 4*p. Let w = 149 - p. Let f = -120 + w. Is f prime?
True
Suppose l - 5*b - 35 = -4*l, 2*l - 3*b - 16 = 0. Suppose l*d