). Let y = p + m. Is y composite?
True
Suppose -3*h + 8 = -h. Suppose 3*g - 275 = -h*t, 0*t - 3*t = -4*g - 175. Suppose -7*m + t = -2*m. Is m composite?
False
Let x(h) = 2814*h**2 - 32*h - 145. Is x(-4) composite?
False
Suppose 3*d + 9 = -l - 0*l, 23 = -5*d + l. Is (-746)/d + 1/2 prime?
False
Let h(g) = g**3 - 3*g**2 + 6*g - 1. Let v be h(4). Suppose 345 = 5*f + 5*q, -4*f - q = v - 309. Is f prime?
True
Let h(j) = -113*j - 16. Suppose 5*x - a + 22 = -29, -5*a - 5 = x. Is h(x) a prime number?
False
Let n be 4*(-1)/((-16)/12). Suppose 901 = 2*l - 4*w - 57, -n*w = 3*l - 1392. Is l a composite number?
True
Suppose -2*c + 0*r = -3*r + 6, 4*r - 31 = -5*c. Suppose -k + c = -v, 4*k - 2*v = 8*k - 6. Suppose 2*m = -2*y + 4*y + 138, 0 = k*m + 4*y - 138. Is m composite?
True
Suppose 0*y - 5*y - 4*l + 11 = 0, -y + l + 4 = 0. Suppose -5*u + 15 = 5*c, -2*c = u + y*c + 1. Suppose 0 = 2*i, u*p - 772 + 176 = i. Is p composite?
False
Is (-62)/682 - 287024/(-11) a composite number?
True
Let a = 5 + -2. Let i(d) = 3 + 0*d**3 + 8*d**3 - a*d + 0*d**2 - 2*d**2. Is i(2) a composite number?
False
Let c(a) = 197*a - 2. Let q be c(2). Suppose -3*j = 5*k - q, -2*j + 5*k = -362 + 59. Is j composite?
False
Let i be 0/((2 + 0)/2). Suppose 0 = 3*q + 2*h - 467, 3*h = -i*q - 2*q + 303. Suppose -4*y + 7*y = q. Is y a prime number?
True
Let i(g) = -4*g - 4. Let n be i(-2). Suppose -2785 = -w - n*w. Is 0 + (-2)/((-2)/w) a prime number?
True
Suppose -45754 = 2*z - 145532. Is z prime?
False
Let c(s) = -64*s**3 + 5*s**2 + 10*s + 3. Let a be c(-5). Suppose 8*h - a = h. Is h a composite number?
True
Let x be (2 - -3)/(3/(-6) - 0). Let q(s) be the second derivative of s**4/12 - 5*s**3/3 - s**2/2 - s. Is q(x) composite?
False
Is ((-3236)/(-4))/(14/658) a prime number?
False
Let s = 50 + -46. Suppose -828 = -4*a - 4*p, -5*p - 612 = -s*a + 180. Is a composite?
True
Let y(d) = -2*d**3 - 14*d**2 + 3*d + 13. Let z be y(-10). Let s = 972 - z. Is s prime?
True
Suppose -5*m + 577 = r, -r = -m + 4*m - 569. Is r composite?
False
Suppose 4*r - 3*r = 5*j - 26, -3*j + 30 = -3*r. Let l be 3 - ((0 - r) + -3). Suppose l = -5*c + 2*c + 246. Is c a composite number?
True
Let s = 4957 - 2012. Suppose -2*z + s = 3*z. Is z a prime number?
False
Let o be 29 + (1 - 4) - 2. Let b = 34 - o. Is b/(-45) - 11002/(-18) composite?
True
Suppose -53*v + 47754 = -35*v. Is v a composite number?
True
Let w(q) be the second derivative of q**4/12 + 7*q**3/6 - q**2 - 2*q. Suppose 3*i = i - 24. Is w(i) composite?
True
Let k(f) = 29*f**2 + f. Let r be k(1). Suppose -4*p + r = p. Suppose -789 = -p*c + 3*c. Is c a prime number?
True
Suppose 6*u = 5*u + 3. Let q(o) = -23*o**3 + 3*o**2 - 3*o + 1 + 3*o + u*o. Is q(-2) prime?
True
Let z be (-51)/(-12) - 3/12. Suppose 0 = -4*t + i + 1447, -z*i = t - 471 + 122. Suppose 3*d + 2*v = t, -v = -4*d - 0*v + 474. Is d prime?
False
Let z(u) = 93*u + 1. Let s(f) be the second derivative of -f**3/6 - f**2 + 2*f. Let m be s(-6). Is z(m) composite?
False
Suppose -6*u - 8 = 3*j - 4*u, -4*u = -8. Let y(z) = z**2 + 6*z + 6. Let h be y(j). Is -6 + 7 - 528/h a composite number?
True
Let k(n) = -n**3 + 3. Let p be k(0). Let q be -308 + (0/p - -2). Let f = q + 485. Is f prime?
True
Suppose -2*u - 43*l + 19950 = -44*l, -2*l = 3*u - 29939. Is u a composite number?
True
Suppose -2*m + 2878 = -724. Is m a prime number?
True
Let n = -16 + 23. Suppose -r = -n - 76. Let s = -6 + r. Is s prime?
False
Let c be (-28)/(-49) + 117/(-21). Let r(g) = 15*g**2 - 5*g + 9. Let p(d) = 16*d**2 - 5*d + 10. Let h(i) = -3*p(i) + 4*r(i). Is h(c) composite?
False
Let g be 12*(-12)/(-9) - 2. Suppose -2*j = 3*t + 9, 5*j = t - 0*j - g. Is 371 + 0 - (t - -1) a prime number?
False
Suppose 1458 = -o + 7*o. Suppose 0*k = -3*h - 3*k + o, 0 = -h + k + 73. Is h composite?
True
Let j(f) = 7*f. Let p be j(1). Suppose 6 = p*q - 1. Let t(h) = 110*h**3 + h**2 - 2*h + 2. Is t(q) a prime number?
False
Let u = 689 + 504. Is u composite?
False
Is -6 + (157170/3 - -1) prime?
False
Suppose 3*n - 135005 = 4*o, 3*n + 10*o = 6*o + 135037. Is n a prime number?
True
Let r = -12 - 6. Let i be r/(-10) + 5/25. Suppose y + 4*y = 2*o - 611, -o - i*y = -283. Is o prime?
True
Suppose -44*g = -49*g - 5. Is g/((5 - 4)/(-377)) prime?
False
Let k(x) = -x**3 + x**2 - 5*x - 10. Let h be k(-4). Suppose -2*o + h = -o + 2*d, 75 = o - 3*d. Suppose 8*t - 4*t = o. Is t a prime number?
False
Suppose -w - 3*m = -95, 5*w - 4*m = -3*m + 555. Suppose 44 = 11*g - w. Is g composite?
True
Let i = 11501 + -8164. Is i a composite number?
True
Let q(g) = 8508*g**2 - 37*g + 38. Is q(1) prime?
False
Let v(k) = -k**3 + 21*k**2 - 15*k - 12. Let h be v(20). Suppose 2*g + h = -t + 1133, -5*g - 2072 = -2*t. Is t a prime number?
False
Let l(r) = -r**3 - 2*r**2 + 2*r. Let u be l(-3). Suppose 3*q = u*i + 165, 9 + 136 = -3*i - q. Is (3 - i) + 2 - -4 composite?
False
Let w be 102/(-85)*(-5)/(-2). Let x be (-2 - -6) + 3 + w. Suppose -8*f = -x*f - 4220. Is f prime?
False
Suppose -l = -n - 4, -3*n = 3*l - 2*l - 4. Suppose 4*z - l*i - 350 = -3*i, -4*i - 356 = -4*z. Is z prime?
False
Let f(p) = -p**3 + 29*p**2 + 87*p + 104. Is f(31) a composite number?
True
Suppose 2818 = -23*z + 14157. Is z composite?
True
Let y be ((-8)/(-16))/((-2)/(-20)). Is 2100 + (10/y)/2 prime?
False
Let u(b) = -2*b**2 - b - 1. Let o(y) = y**2 + y - 4. Let n(g) = -o(g) - u(g). Suppose 30 = 5*d + 5*a, -4*d + 3*a + 38 = -0*a. Is n(d) a composite number?
True
Let x(s) = 325*s - 1. Let d be x(2). Let b = -33 - -38. Is b*-1*d/(-55) prime?
True
Is (19 + -21)*107546/4*-1 a composite number?
False
Let i(q) = 13 + 3*q - 7*q + 9*q + 14*q**2. Is i(-4) prime?
False
Suppose 0 = 52*s - 13*s - 667563. Is s a composite number?
False
Let c = 19 + -13. Suppose c*f = 5*f + 717. Suppose 5*z - z + 3*i = 578, -i + f = 5*z. Is z a composite number?
True
Suppose -5*w + 7 = -18, -2*p = -5*w - 16137. Is p a composite number?
False
Let z be ((-1)/3)/(4/84). Let r(c) = -8*c - 9. Let w be r(z). Let h = 134 - w. Is h prime?
False
Is 3*((2131400/15)/10 - -7) prime?
True
Suppose -4*u - 62 = 2*v, -5*v + 0*u = 2*u + 187. Let n = v - -99. Suppose -2*g + n = -2. Is g a composite number?
False
Let c(m) = -112482*m**3 - 6*m**2 - m + 4. Is c(-1) composite?
False
Is 43/86 + (-27746)/(-4) prime?
False
Let y = -922 - -1566. Suppose -2*f - 3*t + 317 = 0, -4*t = 3*f + f - y. Is f a composite number?
True
Let z = 2371 - 1120. Is ((-6)/(-3))/(18/z) prime?
True
Suppose l + 4*y - 2706 = y, 2*l - 5432 = -2*y. Is l a prime number?
False
Let x(n) = -7 - 7 - 5 + 15*n**2 + 9*n. Let z be -4*(21/(-4) + 81/27). Is x(z) a prime number?
True
Suppose -44*c = -46*c + 6982. Is c composite?
False
Is -4*(-12795)/(-40)*(-2)/3 a composite number?
False
Let f(a) = -13*a - 7 - a + 2*a. Is f(-20) prime?
True
Suppose -5*j + 70 = 3*g, -42 = -3*j - 2*g + 7*g. Let q be j/49 + (-116)/14. Is (492/q)/((-4)/8) a prime number?
False
Suppose -5*h + 578810 = 5*w + 3550, -5*w + 115032 = h. Is h a prime number?
True
Let s(o) = 5*o**2. Let t be s(-1). Suppose -d + 4*k = -825, -t*d = -0*d + k - 4083. Is d a prime number?
False
Suppose 105*y = 100*y + 41665. Is y prime?
False
Let g be (-14 - -13) + (1 - -2). Let f(v) = 5*v**2 + g*v**2 + 0 + 10*v + v**3 - 7*v - 3. Is f(-4) prime?
False
Let a(z) = 102*z**2 + 18*z + 91. Is a(10) a composite number?
True
Let k(m) = -m**2 + 10*m + 15. Let f = 10 - -1. Let q be k(f). Suppose q*g - 132 = 292. Is g composite?
True
Let g(r) be the second derivative of -r**4/12 - r**3 - r**2 + 5*r. Let u be g(-6). Is -36*3/u + -1 composite?
False
Let k = 74222 + -23323. Is k composite?
True
Let l(r) = -5*r**3 - 4*r**2 - 4*r - 2. Let w be l(-2). Let t = w + -27. Suppose t*g - 311 = 451. Is g prime?
False
Is (-18)/3 + 4398 + -1 a prime number?
True
Let y be (10 + -4)/((-3)/(-8)). Let h be ((-3)/4)/((-4)/y). Suppose 5*w - h*w - 442 = 0. Is w prime?
False
Is ((-28)/56)/(2/(-12076)) composite?
False
Let s(p) = 5798*p - 83. Is s(13) composite?
True
Let t = -27 + 1508. Is t a composite number?
False
Let j(x) = -101*x**3 + 3*x**2 + 8*x + 7. Is j(-4) prime?
False
Let l = 1085 + 188. Is l composite?
True
Let t = -224557 + 318410. Is t composite?
True
Suppose 0 = -5*q - 3*l + 6, -2*q + q + 10 = 5*l. Let y(i) = i**3 - 2*i**2 + 979. Is y(q) prime?
False
Suppose 0 = 3*i - 2*u - 10935 + 27898, 