prime?
False
Suppose -38*m = -43*m + 590. Is m composite?
True
Let v be -1 + (-1)/(1/15). Let n = -7 - v. Let k = n - -38. Is k a prime number?
True
Suppose 120 = 4*n - 52. Is n a composite number?
False
Let h(v) = -3*v**3 - 9*v**2 + 3*v - 4. Is h(-7) a composite number?
False
Suppose -2*h + 10 - 2 = 0. Let b be -158*(1 - (-15)/(-6)). Suppose -k + h*k - b = 0. Is k a composite number?
False
Let c be ((-10)/(-6))/(2/6). Let x(u) = u**2 - 9*u + 16. Let n be x(9). Let o = c + n. Is o prime?
False
Suppose 6*z = z + 570. Suppose -l - 3*l + 114 = 2*j, z = 2*j - 5*l. Is j prime?
False
Suppose 5 = h + 2. Suppose -3*r + 117 = 3*c - 0*r, -h*c + 5*r = -149. Is c a composite number?
False
Let w be (-61)/(-5) + (-2)/10. Let i = -99 - -144. Let t = i - w. Is t a prime number?
False
Let x be 0 - 3*(-28)/(-6). Suppose -4 = -4*j + 88. Let r = j + x. Is r prime?
False
Let w(u) = -u**2 - 5*u + 8. Let v be w(-6). Suppose -v*j = 2*o, -5*o + 0*j + 9 = 2*j. Suppose z - o*z = -158. Is z a composite number?
False
Let g(b) = -3*b**3 + 21*b**2 - 27*b + 30. Let i(h) = h**3 - 7*h**2 + 9*h - 10. Let n(w) = 2*g(w) + 7*i(w). Is n(7) composite?
False
Let u(n) = -188*n + 3. Is u(-1) prime?
True
Let j(y) = y**2 - 4*y - 5. Let b be j(5). Let d be -1 + 1 + b + 0. Let o = d + 19. Is o a prime number?
True
Let y be 2 + -1*(-2)/2. Is 783/y - 2*-1 prime?
True
Suppose 2*m + 2*m = 12. Suppose -2*u - u + 3*f = 6, 5*u = -m*f + 30. Is 34 - (1 + (1 - u)) a prime number?
False
Suppose -2*n = 2*j - 3*n, 4*j = -2*n + 16. Is 14*4 - (1 + j) composite?
False
Let p(a) = a**2 - 3*a + 3. Let f(g) = -g**3 - 2*g**2 + 6*g + 4. Let d be f(-4). Let i be ((-20)/d)/(2/(-6)). Is p(i) a composite number?
False
Let s(j) = j - 3. Let q be s(0). Let h(n) = 2*n**2 - 3*n**3 - n + 3 - 4*n**2 - 2*n**2. Is h(q) a composite number?
True
Let j(b) = 21*b - 1. Let o be j(1). Suppose 4*x - 13 = 3*n, -3*n + 2 = x - o. Is x a prime number?
True
Suppose 0 = -3*r + 4 + 5. Suppose 1 = -i, -4*i + i = -r*s + 1014. Is s a composite number?
False
Let m(c) = -c**2 + 3*c + 2. Let r be m(3). Suppose 0 = -0*g - r*g. Let b(u) = -u**3 - u**2 + 35. Is b(g) a composite number?
True
Let w be (-3)/1*2/(-3). Suppose 0 = -w*i + i + 5. Suppose -i*j = -21 - 9. Is j prime?
False
Let z(h) be the first derivative of h**2/2 + 10*h - 2. Let q be z(-8). Suppose 0 = -q*n + 11 + 11. Is n a composite number?
False
Let x(g) = 9*g - 2. Let y(r) = -8*r + 1. Let o(i) = 2*x(i) + 3*y(i). Let c be o(-1). Suppose -c*f + 6*f = 43. Is f a composite number?
False
Let m(c) = 9*c**2 + 1 - c**3 - 3*c + 0*c**3 - 1 - 5. Is m(6) a composite number?
True
Suppose -2700 = 5*g - 9*g. Suppose 5*r = 5*m + g, 0*m - 3*m = 12. Is r prime?
True
Let g(w) = 2*w**3 + 2*w**2 - w + 1. Suppose -v + 2 = -5*x, -v = 2*v + 4*x - 6. Is g(v) a composite number?
False
Is 1*(-4 + 3)*-106 a composite number?
True
Is -3 - (14352/(-12) + 2 + 2) a prime number?
False
Let r(t) = t**3 + 2*t**2 + 3*t + 2. Let u be r(-2). Let q = -5 - -9. Is q - (0 - 2 - u) prime?
True
Suppose -157*f = -160*f + 7599. Is f prime?
False
Suppose 4*y + 5597 = 5*t, 2*t = -t + 4*y + 3363. Is t prime?
True
Let g(f) = -f**2 + 15*f + 11. Is g(11) prime?
False
Suppose -7 = 4*u - 3*a, -3*u - 24 = a + 3*a. Let g(c) = -c**2 - 5*c - 6. Let t be g(u). Is ((-10)/20)/(t/340) a composite number?
True
Is -3*2/(-6) + 480 a composite number?
True
Let m = -6 - -10. Let g be (-583)/7 + m/14. Is -2 - (-2 + (g - 2)) composite?
True
Let f(p) = -9*p + 13. Let o(i) = 4*i - 7. Let r be (0 - 1)/((-1)/(-5)). Let t(v) = r*o(v) - 3*f(v). Is t(5) composite?
False
Suppose -15*x = -20*x + 9085. Is x a composite number?
True
Suppose 336 = -2*s + 38. Let q = 236 + s. Is q prime?
False
Suppose -134 = w - 0*w. Let v = w + 393. Is v a prime number?
False
Let j(w) = 0*w + 5*w + 4*w**3 + 2*w**3 - 4. Let l(v) = -6*v**3 - 6*v + 5. Let r(z) = -6*j(z) - 5*l(z). Is r(-2) a composite number?
False
Let x(n) be the second derivative of n**4/12 + n**2/2 + n. Is x(-6) a prime number?
True
Let i be (0 + 1*21)*1. Suppose i + 4 = 5*w. Suppose 315 = 4*d - 2*q + 45, -w*d + q = -342. Is d a composite number?
True
Let y(h) = -15*h + 8. Let i be -5 + 1 + -5 + 0. Is y(i) prime?
False
Suppose 10 = 4*u + 30, -5*u = -2*h + 29. Suppose -s = -h*s. Let i = 21 + s. Is i prime?
False
Is (6/24)/((-1)/(-1636)) composite?
False
Let p = -143 - -29. Let z = 183 + p. Suppose -2*n - n + z = 0. Is n a composite number?
False
Let o = -2 + 15. Let v = 66 - o. Is v composite?
False
Let x be (-4)/(1 - 0 - 2). Suppose -304 + 84 = -x*n. Is n a composite number?
True
Suppose 107 = 4*k - 97. Is k a composite number?
True
Is 113/2*(18 + -16) a prime number?
True
Let u = -1 + 3. Suppose -4*k = k + 5*x - 80, 5*x = -2*k + 47. Let y = k - u. Is y prime?
False
Let w = -238 + 373. Suppose 4*b - 49 = w. Is b composite?
True
Suppose 5*n = -2*j + 11469, 5*j - 4*n = 18345 + 10344. Is j prime?
True
Let g = 246 + -107. Is g a prime number?
True
Let o(f) = 19*f + 31. Is o(10) composite?
True
Suppose -38 = -2*k + 24. Suppose 11 = -5*y + k. Suppose -42 + y = -2*p. Is p a prime number?
True
Let h = 326 - 199. Is h a prime number?
True
Let l(h) = -95*h - 3. Let w be l(-1). Let a = w - 39. Is a a prime number?
True
Let o = 857 + -228. Is o composite?
True
Suppose -3067 = 15*v - 12562. Is v prime?
False
Is (2 + 0)*2589/6 a prime number?
True
Is (-3 + 152 + 0)/1 a composite number?
False
Suppose -y + 4126 = -3*h + 4*h, -5*h = -y - 20636. Is h prime?
True
Let n be (1 + 0)*0/1. Let h = n + -3. Is (-52)/(-6)*h/(-2) a prime number?
True
Let p(z) = z**2 + z + 145. Let w be p(0). Suppose -4*o + w = 3*f - 74, f - 2*o = 83. Is f a composite number?
True
Let g(o) = 81*o - 1. Let s be g(1). Suppose -n + 3*x + 122 = -s, 4*n - 856 = -4*x. Is n composite?
False
Let l = 493 - 116. Is l a prime number?
False
Let u(k) = -k + 4. Let a be u(0). Suppose -4*j + 11 + 29 = 4*x, a*x + j = 43. Is x a prime number?
True
Suppose -5*q + 616 + 4 = 0. Let r be 4/(-10) - (-51)/15. Suppose -q = -r*x - x. Is x a prime number?
True
Let s(f) = -4*f**3 + 1. Let w be (0 - -1)*(2 - 1). Let v be s(w). Is v/2 + (-705)/(-10) a composite number?
True
Suppose -2*h - 3*h + 15 = 0. Suppose -3 = -3*o + h. Is o + 45 - (0 + 1) a composite number?
True
Is (1076 - -12) + 2*(-3)/6 a composite number?
False
Let w(v) = 13*v - 45. Is w(6) composite?
True
Suppose a - 109 = 22. Suppose -4*y - 62 = -2*n, -n - y = -5*n + a. Is n a prime number?
False
Let m(y) = -2*y**2 - 3*y - 2. Let f be m(5). Let j = -19 + f. Let t = -33 - j. Is t prime?
True
Let a be (-2)/(-4) + 27/(-6). Is a/6 + 12341/21 composite?
False
Suppose 0 = 10*j - 4*j - 12918. Is j a prime number?
True
Suppose -4 - 4 = -2*x. Let o be x/(-2) - (-13)/(-1). Is 1120/3 - (-5)/o a composite number?
False
Suppose 2*w - 8 - 6 = 0. Let p(q) = -w*q**2 - 3 + 3*q + q**3 - 2 + 6. Is p(7) prime?
False
Let l = -26 - -167. Is l composite?
True
Suppose 3*u - 243 = 144. Let m be (-1 + u/(-15))*-5. Suppose 14 + m = 2*s. Is s a prime number?
True
Let x be 14/3 + (-3)/(-9). Suppose -x*t = -5*p + 940, 2*p = 4*t - 5*t + 385. Is p prime?
True
Suppose 2*v = -5*t + 559, -72 = 2*t + v - 296. Is t a prime number?
False
Suppose 6*s + 3*k - 11 = 2*s, -5*s + 9 = -k. Suppose 0*g + 4 = -s*g. Let l = g + 35. Is l composite?
True
Let l(i) = 10*i**3 - 3*i**2 - 5*i - 1. Is l(4) composite?
False
Let g(p) = p**2 + 3*p - 2. Let w be g(2). Let a(j) = j**2 - 3*j + 7. Let n(o) = o**2 - 2*o + 6. Let u(m) = -5*a(m) + 6*n(m). Is u(w) a composite number?
False
Suppose -258 = -s + 89. Is s prime?
True
Suppose 0 = 5*l + 3*u - 4*u - 1213, 4*l - 966 = 3*u. Is (-6)/(-3) + l/3 a prime number?
True
Suppose 0 = -4*j + 5*i + 19, -4*i + 11 = j + i. Let c(s) = -16*s + 2. Let n(d) = 15*d - 1. Let g(y) = 2*c(y) + 3*n(y). Is g(j) a prime number?
True
Let k = -11 + 8. Let c(r) = -51*r + 4. Is c(k) prime?
True
Let f = -82 + 119. Is f composite?
False
Suppose -491 = -j + 5*i, 3*i = 5*j + i - 2547. Is j a composite number?
True
Let g be ((3 + -117)/(-3))/(-1). Let q = 36 - g. Is q prime?
False
Is 1*-1283*(14 - 15) prime?
True
Let a(d) = -d**3 + 7*d**2 - 4*d + 7. Let r be ((-2)/4)/((-2)/24). Is a(r) composite?
False
Is 0 - 2/(-12) - 148281/(-126) composite?
True
Let w(u) = 61 + 0*u + 10 - u + 0*u. Is w(0) a composite number?
False
Suppose 5*a = 6*a - 47. Is a a prime number