
True
Suppose -5*w + 44*y + 52136 = 45*y, -4*y + 41712 = 4*w. Is w a prime number?
True
Suppose -2*p - 5*o + 1338 = -o, 5*p - o = 3334. Let x = p - 444. Is x a prime number?
True
Let h = 1 + 2. Let n(l) = -l**2 + 7*l - 12. Let x be n(4). Suppose x = -g - h*g + 460. Is g a prime number?
False
Let p(v) = -v**3 + 11*v**2 - 17*v - 7. Let z be p(9). Suppose 0 = -2*a + z*b + 3*b + 13, -3*a + 8 = 4*b. Is (-1)/(-3*a/9852) composite?
False
Suppose 3 = -a, c + 0*a = -2*a + 3. Is -3 - 12*c/(36/(-272)) prime?
False
Is ((-778)/4*1)/(16/(-32)) composite?
False
Suppose -1 = -3*g - 2*a - 15, 0 = -3*g - a - 13. Suppose -2*h = -7*h + 50. Is 3 + g/(-4)*h prime?
True
Let t(r) = 7 + 17 + 8*r - 245*r**2 + 244*r**2. Let k be t(10). Suppose -k*c + s = -263, 5*s = -c + 79 + 13. Is c composite?
False
Suppose 0*d + 4*d = 2*a + 7036, 7036 = 4*d + 4*a. Is d composite?
False
Suppose -5*w = 10, 46*p - 30425 = 43*p - 5*w. Is p a composite number?
True
Suppose -1 = 6*m - 31. Suppose -l - 3*h + 28 = 0, l - m*h = 2*l - 24. Is l prime?
False
Suppose -5*p + 9439 = 2*x, -2*x = 3*p - 6221 - 3224. Is x prime?
False
Suppose 0*q = -5*q - 3*z + 12, q = 4*z - 16. Suppose 3*c - 44 + 2 = q. Suppose -4*p + c = -3*p. Is p a prime number?
False
Let l(g) = 3*g**3 - 4*g**2 + g - 10. Let r be l(-5). Let q be r/7*(-58)/4. Suppose -2*z - q = -7*z. Is z a prime number?
False
Suppose v + 14391 = 2*s - 0*v, 3*s + 4*v - 21559 = 0. Is s composite?
False
Suppose -13025 = -5*w - 5*p, 3*w + 2*p - 7807 = -3*p. Is w composite?
False
Let t be (-1)/((2/(-6))/1). Suppose -t*q + v + 12 = 0, 0*q + 5*q - 27 = 4*v. Suppose 114 = 4*y - 2*d, q*d = -2*y - d + 82. Is y a prime number?
True
Let b = -8144 + 18333. Is b prime?
False
Let m be (-4)/(-7) - 9/(-21). Is m + 139 - 12/(-4) composite?
True
Suppose -2 = -5*y - 22. Is -2*y/(40/1445) a composite number?
True
Let t = 8425 - 5844. Is t a prime number?
False
Suppose -613 = -q + 648. Is q prime?
False
Suppose -g + 24301 = 2*k + 3*k, -19460 = -4*k + 4*g. Is k composite?
False
Let x(s) be the second derivative of s**5/20 - 3*s**4/4 + s**3/6 - 6*s**2 + 5*s. Let b be x(9). Is 541/((-2 - 1)/b) prime?
True
Suppose -2*k + 3*h + 35578 = -h, -4*h = -4*k + 71148. Is k a prime number?
False
Let b = 16 + -21. Let u(n) = -4*n**3 - 5*n**2 + 2*n + 6. Is u(b) a prime number?
False
Let a = 5505 - 3712. Is a prime?
False
Suppose 18510 = 10*b - 10480. Is b prime?
False
Let d(l) = -l**3 - 11*l**2 + 4. Let z be d(-11). Suppose 4*t - 8 = -2*q, z*t = -0*t - 8. Is 96/(-8)*(-14)/q prime?
False
Let k = 8416 + -4815. Is k a prime number?
False
Suppose -24*g + 20*g - 8 = 0. Let b(c) = 119*c**2 + 7*c + 9. Is b(g) a prime number?
False
Let v(i) = -2577*i - 2. Let c be v(-1). Suppose -18*s - c = -23*s. Is s prime?
False
Suppose 6*r + 8273 = 66635. Is r a prime number?
False
Let b = 269 - 56. Let u = b + 280. Is u a prime number?
False
Let d = -5481 - -9092. Is d a prime number?
False
Let k(u) = -624*u + 5. Let x be k(6). Let z = -2184 - x. Is z a prime number?
False
Suppose 5*u - 7 = -f, -u + 0*f + 5*f = -17. Suppose 2*p - x - x = 786, -4*p - 5*x = -1527. Suppose 5*q + 582 = 3*g, -3*g - p = -5*g - u*q. Is g prime?
False
Let s(p) = -5*p**3 + 5*p**2 - 5*p - 10. Let v(o) = -4*o**3 + 5*o**2 - 4*o - 10. Let k(w) = 2*s(w) - 3*v(w). Let b be 3/(-6)*(-2 - 10). Is k(b) prime?
False
Let c = 21235 + -10916. Is c prime?
False
Suppose 0 = 25*p + 12*p - 57831. Is p a prime number?
False
Let k(x) be the third derivative of x**9/4032 - x**8/6720 + x**7/1680 - x**6/720 - x**5/10 + 6*x**2. Let u(s) be the third derivative of k(s). Is u(2) prime?
True
Let z(b) be the first derivative of 14*b**3/3 + b**2 - 5*b - 5. Is z(-6) composite?
False
Let m be (-2)/(-3 - (-2391)/795). Let b = 998 + m. Is b a prime number?
True
Suppose -j = 3*j + 5*c - 1536, -5*c = 0. Let w = -207 + j. Suppose 0*f + w = 3*f. Is f prime?
True
Suppose 0 = -4*s + 5*k + 41, 0 = 2*s + 4*k - 1 + 13. Suppose 6*z + 1668 = 8*z. Suppose 7*y - 4*y - 1241 = s*v, 0 = -2*y + 4*v + z. Is y a composite number?
True
Suppose 14370 = 4*u + f, 9912 = 3*u - f - 869. Is u composite?
False
Let y(k) = 46*k**2 - 13*k + 4. Is y(3) composite?
False
Suppose -2*y - 3*i = y - 7497, -2*y + i = -5010. Is y composite?
False
Is (2630/3 - 1)*(27 + -24) a composite number?
True
Is (3/((-3)/(-17)))/(32/9824) composite?
True
Let l = -6 + 122. Suppose 0*i = 2*i - 2*y - l, 0 = -i + 5*y + 42. Is i composite?
True
Let z(x) = x + 9. Let g be z(-5). Let a = 0 + g. Is (4/6)/(a/1590) composite?
True
Let a = -457 - -1160. Is a composite?
True
Let v = 62088 + -43291. Is v composite?
False
Suppose -4*s + a + 0 - 1 = 0, s + 1 = a. Suppose s = -6*r + 4597 - 559. Is r a prime number?
True
Let g(c) = 4*c**2 + 63*c + 128. Is g(-67) a composite number?
True
Let u be (-8)/48 + (-62)/(-12). Suppose -1299 = -u*x + 1566. Is x a prime number?
False
Let q be ((-7 - -3)/8)/((-2)/4684). Suppose t - 1171 = -4*k, 3*k = -t - 2*k + q. Is t a prime number?
True
Suppose 4*u = -0*u + 620. Suppose -i = -3*h + 4, -5*h - i + 18 = 3*i. Is 2 - u*(h - 3) prime?
True
Suppose -18*n + 37364 = -21334. Is n a composite number?
True
Suppose 5*b + 40 = 5*h, -2 = -2*h - b - 4*b. Suppose 2*t + 4*v = -h - 4, 0 = -5*t + v + 8. Let l(k) = 85*k**3 + k - 1. Is l(t) prime?
False
Let b(y) = -5*y + 1. Let v(s) = -9*s + 2. Let x(a) = -9*b(a) + 4*v(a). Let n be x(3). Let k = n - -609. Is k a prime number?
False
Let s be 7/((-21)/(-6)) - -2. Suppose 2*h = 3*c - 1153, 1544 = 3*c + c - s*h. Is c a composite number?
True
Suppose 3*w = -4*w + 7. Is 7865/15*2 - w/(-3) a composite number?
False
Let x = 6743 + 644. Is x composite?
True
Let j be (0 + 2)/((-3)/(-6)). Is j/(-6) + 2878/6*1 a prime number?
True
Is (-11)/((-44)/3176) - -3 composite?
False
Let h = -2072 + 11359. Is -2 - ((-2)/12 - h/6) a composite number?
True
Suppose -23421 = -34*r + 31*r. Is r composite?
True
Let x(u) = -3*u**3 - u**2 - u - 2. Let t be x(-3). Suppose t = 4*o - 5*o. Let b = o - -167. Is b a composite number?
True
Let c(p) = 3*p**3 - 12*p**2 + p + 3. Let v be (-2 - 5 - 3)/(-2). Is c(v) prime?
True
Let f(i) = -8*i**3 - 15*i**2 - 2*i - 7. Is f(-6) a composite number?
False
Let m = 19 + -24. Let l(q) = -27*q - 8. Is l(m) composite?
False
Suppose -5*t - 4*c = -869, 4*c - 692 = -2*t - 2*t. Let n = t + -110. Suppose -6*g + g = -4*z + n, 117 = 4*z + 5*g. Is z a prime number?
True
Suppose 5*y + 20583 = 4*b, 2614 = b + 3*y - 2536. Is b a composite number?
False
Suppose 2*w - 3*c = 2803, 6970 = 5*w + 3*c + 2*c. Is w prime?
False
Let l be (24 - 20)*(-18 - 1). Let m = l + 789. Let v = m + -420. Is v a composite number?
False
Suppose -2*c = -0*c + 4, -5*i - 5*c = -40. Suppose i*d - 75 = 5*d. Is ((-5)/d)/(2/(-474)) a prime number?
True
Let k(w) = 4*w - 10. Let d be k(3). Suppose m + 0*m - 3*u = 265, 2*m - d*u = 522. Is m a composite number?
True
Let f be ((-124)/(-12))/(1/3). Suppose -n + 19 = 3*l, 3*n + n - 26 = -2*l. Suppose -l*b - f + 141 = 0. Is b prime?
False
Suppose 0 = 38*s - 11*s - 32751. Is s prime?
True
Let p = -418 - -417. Suppose -2*q + 3 + 3 = 0. Is ((p - 0) + q)*197 a composite number?
True
Is (4 + 1*(-9243 + 4))*-1 composite?
True
Suppose 3*j + 3*a = -801, -j + 252 = -2*j + 4*a. Let p = 390 + j. Let o = p + 181. Is o a prime number?
True
Suppose 12012 = z - 5*d, 4*z - 35815 = 2*d + 12323. Is z composite?
False
Let x be (-19)/2*(-360 + -2). Let f = -2442 + x. Is f a prime number?
True
Suppose 9*z - 6048 = 6*z. Suppose 4*a - p = 2539, 0 = -3*a + 2*p + z - 113. Is a a prime number?
False
Suppose -3*y + 5*g + 19 = 0, y = -4*g - 7 - 15. Is 967 - 0/(-2 + y) a composite number?
False
Suppose 4*h - 18 = h. Suppose h*z - 1590 = 4*z. Suppose -5*x + 8 + 180 = q, 0 = -5*q + 4*x + z. Is q a prime number?
True
Let o(j) = -7*j**2 + 4. Let c be o(-3). Let x = c - -42. Is (-40)/(-2)*x/(-4) a composite number?
True
Suppose -5*h - 119 = 51. Let r = h + 85. Suppose -r = -4*w + 3*b, 0 = 3*w - 7*w + 2*b + 54. Is w composite?
True
Suppose 3*b + 6*k - k = 31127, 3*k = -5*b + 51857. Is b composite?
False
Suppose 5*h = -65177 + 191982. Is h a prime number?
False
Suppose -30*k + 102152 = -22*k. Is k composite?
True
Is (-3)/2 - (6 - (-25105)/(-10)) a composite number?
False
Let q be ((-10)/4 - -1)/((-21)/28). Suppose -3582 = -q*b + 296. Is b a prime number?
False
Suppose -9*d + 43 + 2 = 0. Su