*r - 1937, -2*u - 3*r = -r - 1310. Suppose 2*l - 673 = u. Suppose 2*h + l = 4*h. Is h a prime number?
True
Let g(z) = 57*z**2 - z - 19. Is g(-5) a prime number?
False
Let v(z) = -z**3 - z**2 - z + 5. Let c be v(0). Suppose -4*x + 2*o + 1053 = -1111, 0 = -c*x + 5*o + 2705. Is x a composite number?
False
Suppose -2*f = f + 4*k - 1, -4 = -2*f - k. Suppose -u - 3 = 0, 3*a - 642 = 4*u - f*u. Is a a composite number?
True
Let v(c) = -102*c + 139. Is v(-12) a composite number?
True
Let b(k) be the first derivative of 3*k + 3 - 71/2*k**2. Is b(-10) a composite number?
True
Let f(x) = -25*x**2 - 9*x + 1. Let s be f(8). Is (2/3)/((-2)/s) composite?
False
Is (5/(160/4168))/(2/8) composite?
False
Suppose 688581 = -71*h + 98*h. Is h composite?
True
Let p(b) = -3*b + 3. Let f be p(4). Is -1*(-1436)/1 + f + 12 composite?
False
Suppose -3*a = -4*a, 0 = 3*f - 3*a - 3771. Let t = f + -876. Is t a composite number?
True
Let u = 67 - -124. Suppose -2*a - u = -p - 2*p, -2*a + 69 = p. Is p composite?
True
Let b = 1097 - -24. Is b prime?
False
Suppose 66*y - 59*y = 1015. Is y a composite number?
True
Let t = -18510 - 7236. Is 0 - (t/24 - 3/12) prime?
False
Let q(c) = -272*c + 5. Is q(-7) prime?
False
Let b(i) = -3096*i + 19. Is b(-6) a composite number?
True
Suppose 6*v + 2654360 = 46*v. Is v prime?
True
Let v = 197 + -141. Suppose -4*i + 0*i = -v. Let c = 51 - i. Is c a prime number?
True
Let n be -1*((-6)/3 - 63). Suppose 6*z = z - 2*j + 435, -z + 4*j + n = 0. Let y = -8 + z. Is y a prime number?
False
Let i(q) = -2*q**2 - 7*q - 7. Let y be i(-4). Let u = 23 + y. Suppose 6*d = 2*d + u, 4*g - 2*d - 706 = 0. Is g a prime number?
False
Let x(g) be the first derivative of 11*g**2/2 + 65*g - 16. Is x(22) a prime number?
True
Suppose -2*n - 6 = g + n, 32 = -3*g - 2*n. Suppose -2*i - 2 = 0, -2*j - 3*i = 40 - 707. Let c = j + g. Is c composite?
True
Suppose -5*x + 12 = 3*z - 6*z, 4*x - 2*z = 10. Is 781 - -1 - (6/2)/x a prime number?
False
Let r be -4*(0 + -1 - 3). Suppose r*w - 14*w - 712 = 0. Suppose -m - w = -5*m. Is m a composite number?
False
Suppose -5*r = -0*r - 464560. Is ((-6)/(-10))/3 - r/(-40) a prime number?
False
Suppose 0 = -3*r - 12, -3*r - 201 - 525 = -2*p. Suppose p = 3*l - 0*w + 3*w, 0 = -3*w. Is l a prime number?
False
Suppose -w = -5*g + 10, -3*g - g = -3*w - 8. Suppose g*i - 4*a - 4638 = 0, i + a - 2*a - 2321 = 0. Is i composite?
True
Let b(o) = -2*o. Let s be b(-1). Let a = 2 + s. Suppose -u - a*p + 119 = 0, 0*u = 2*u - p - 265. Is u a prime number?
True
Let o = 36 - 0. Let d be 1*(-3 - 23)*1. Let s = d + o. Is s composite?
True
Let z be 3*2 - (2 + -4). Is z/(-4) - (-683)/1 a composite number?
True
Let s(l) = 9*l**2 - 27*l - 39. Is s(10) a composite number?
True
Suppose 2*r = -3*o + 13 - 0, 4*o - 4*r - 4 = 0. Suppose 0 = -3*z + 3, -o*k + 4*z + 1400 = 3*z. Is k a prime number?
True
Let d = 8 - 4. Suppose 5*f - 18 = -3*r + 2*r, 0 = 2*r - d*f + 20. Is -4 + (1 - -332) - r a prime number?
True
Let w(j) = -j**3 + 9*j**2 + 3*j - 3. Let t(k) = k**3 + 7*k**2 + 9*k + 3. Let o be t(-5). Is w(o) prime?
False
Let w(n) = -22*n - 4. Let t be w(2). Let i = t - -104. Suppose -p = i - 669. Is p composite?
False
Suppose 0 = 3*v + 3*f - 46515, 29084 = 4*v - 5*f - 32972. Is v composite?
True
Suppose -5*p = 3*s - 4, 3*p + 7*s + 4 = 2*s. Suppose p*w = 7*w + f - 2268, 0 = -2*w + f + 910. Is w a composite number?
True
Let c(y) = -y**2 - 7*y - 5. Let i be c(-5). Suppose 5283 = i*m + 4*m. Is m prime?
True
Let b(q) = 252*q**2 + 4*q + 7. Suppose 8*g + 25 = 9. Is b(g) a composite number?
True
Let j = 1975 - 886. Suppose -5*b = -j + 259. Is b prime?
False
Suppose 14*t - 61752 = -10*t. Is t a prime number?
False
Let t = 174 - 41. Let q = t - 93. Suppose -u - 3*f + q + 135 = 0, 16 = 4*f. Is u a prime number?
True
Let l(m) be the third derivative of -17*m**4/24 - m**3/2 + 2*m**2. Is l(-4) a prime number?
False
Let t = -366 - -1157. Is t prime?
False
Let y(s) = 792*s + 717. Is y(10) a prime number?
False
Let x(m) = -2*m + 0*m + m**2 - 2 + 6 - 3*m**3 - 3. Suppose -3 = 2*c + 3. Is x(c) a composite number?
False
Let a(k) = -1759*k + 45. Is a(-2) composite?
True
Let i = -29547 - -43098. Is i prime?
False
Let m(b) = -60*b + 3. Let g be m(5). Let h be (-15)/(-25) + g/(-5). Suppose 2*r - 139 = -d, 5*r + h - 631 = -4*d. Is d prime?
True
Let d(s) = -31*s**3 - 2*s**2 - 4*s - 2. Let q be d(-2). Suppose 0 = -4*l - n - 333, -3*l = 3*n - n + q. Let m = -33 - l. Is m composite?
True
Let s = 222 - -105. Suppose s = 3*v - 3*z, -4*v - 2*z + 318 = -142. Let r = -54 + v. Is r a prime number?
True
Let x(o) = -o - 6. Let t be x(12). Let b = t - -22. Suppose q + 9*n - b*n = 187, 3*q = -n + 603. Is q a prime number?
False
Let y be 4/(-1) - 2313/9. Is -3 - (y - (-2 + 1)) prime?
True
Let r(y) = 5*y**2 - 5*y + 9. Let q be (20/30)/(2/9). Suppose 0*g + 12 = q*g, 25 = b + 5*g. Is r(b) prime?
True
Suppose -7*s + 4 = -9*s. Is s*5/(-40)*3748 composite?
False
Suppose 44*y - 24171 = -5*m + 40*y, 2*m = 4*y + 9674. Is m a composite number?
True
Let c be -2 - 0 - (-1 + -1256). Let w be (2/5)/((-13)/(-130)). Suppose v - c = -w*v. Is v a composite number?
False
Is 5509 - (3/(-9))/((-6)/36) a composite number?
False
Let k be ((-896)/(-20))/((-3)/(510/(-4))). Suppose -3*v - 3*r + k = v, 5*v = r + 2399. Is v a prime number?
True
Let y be 18/15*(-75)/(-9). Let z be (-6)/y - 391/(-85). Suppose z*c = 12 + 328. Is c a prime number?
False
Suppose 4*o + o = -660. Let a = -65 - o. Is a prime?
True
Let a be -6*(-8)/(-60)*5 - 0. Is (1475 + -1)/(a - -6) a composite number?
True
Suppose -5*g + 2 = -2*a - 0*a, g - 5*a = -18. Suppose d = -g*b + 3, 0 = -4*d - b + 22 - 3. Suppose d*f = 491 + 1104. Is f prime?
False
Let u(q) = 4*q**3 + q**2 - 2*q + 5. Suppose -3*x = 4 - 16. Let a be u(x). Let z = a + -112. Is z a prime number?
True
Suppose -141535 - 194176 = -19*h. Is h composite?
False
Let u = 40 - 38. Let s be 1380 - u*12/(-8). Let p = -769 + s. Is p composite?
True
Let h = -174 + 477. Let j = h + -101. Is j prime?
False
Suppose 0 = -5*g + 5, -12*s = -9*s + g - 7930. Is s composite?
True
Let g be -1*(6 - 3)/3. Let v be (-4 - -3) + g - -5. Suppose -v*p + 35 = 2*x, -4*x + p + 24 = -11. Is x composite?
True
Let s(v) = 2*v**2 + 4*v + 3. Let k = 5 - 3. Suppose k*q + 0*q = -5*x - 18, 4*x = -q - 15. Is s(x) prime?
True
Suppose 0 = -5*m - 2*w + 53571, 3*m + 2*w - 43455 = -11310. Suppose 0 = 116*j - 119*j + m. Is j a prime number?
True
Suppose 2*i + 24 = 8*i. Let a(u) = 141*u + 13. Is a(i) a prime number?
True
Let p be 3*-8914*2/12. Let u = -2834 - p. Suppose 2*m - u = -m. Is m a composite number?
False
Is 2301 - 12/6 - -3 a composite number?
True
Suppose -4*m - m + 25 = 0. Suppose m*h = 193 - 38. Is h prime?
True
Let q(l) = -863*l - 23. Suppose -28 = 3*g - p, 12 = 5*g - 4*p + 68. Is q(g) a prime number?
False
Is (-6)/2 + 2 - (37 - 61411) prime?
False
Suppose 13*l - 164 = 9*l. Suppose l*a = 46*a - 7010. Is a a composite number?
True
Let r(t) = -15*t**2 - 2*t + 3. Let n be r(3). Is (-2)/(4/n) - 2 prime?
True
Let t be 3 + (-5)/(15/(-477)). Let q = 279 - t. Suppose 3*s = g - 7, -3*s = -5*g - 22 + q. Is g a prime number?
False
Suppose -23*l - 8334306 = -77*l. Is l a prime number?
True
Let r(y) = -y**2 - 3*y + 6. Let u be r(3). Is 10750/60 - (-2)/u a composite number?
False
Let r be -4*(-1)/((-20)/39295). Is (-6)/(-21) - r/7 composite?
False
Suppose -9 = -r + 5*q, 2*q + 9 + 5 = 3*r. Is (-2107)/(-3) - r/3 a composite number?
False
Suppose 7*t + 15 = 2*t, 4*l = 4*t - 120. Let y = l + 84. Is y composite?
True
Let b(o) = -28*o**3 - 16*o**2 - 10*o - 13. Is b(-6) prime?
True
Suppose 5*d + 3*p = 168614, 5*d - 168620 = 10*p - 15*p. Is d a prime number?
True
Suppose 4*w - 1 = 7. Suppose w*g = -184 + 1182. Is g a prime number?
True
Suppose -14*t = -10*t + 48. Let o(v) = 29*v**2 - v + 13. Is o(t) a composite number?
False
Let n(z) = -z - 7. Let a be n(-7). Suppose 4*q - 47 = -p, a = 5*p - 0*q + 3*q - 252. Is p a composite number?
True
Suppose -4*n = 2*g - 124378, 0 = g + 5*n - 53237 - 8967. Is g prime?
False
Suppose 8*b - 84 = 4*b. Let i = b - 24. Is 7/(-3)*153/i a composite number?
True
Let m = 2031 + -1288. Is m a prime number?
True
Suppose -3*b + 5*o = -8054, o - 2*o - 8038 = -3*b. Suppose 2*k - b + 840 = 0. Is k a prime number?
True
Let t = 26231 + -18364. 