x a composite number?
False
Let v(b) = 29*b**3 - 4*b**2 - 14*b + 22. Let z be v(8). Suppose 4*l - z = -2*l. Is l a prime number?
True
Suppose -513*x + 405*x + 16946388 = 0. Is x a prime number?
False
Let x = -3 + 37. Suppose -1168 = x*l - 30*l. Let n = l - -441. Is n composite?
False
Suppose 0 = 16*z - 6*z - 4190470. Is z a composite number?
False
Let c be (-15422)/165*5*(-246)/(-4). Let w = -13014 - c. Is w composite?
False
Let f = -16 + 19. Is 3458 + f + 0 + -6 a prime number?
False
Suppose -6*o = -4*o - a - 45, -o - 3*a = -19. Suppose -21*t + o*t - 2283 = 0. Is t a prime number?
False
Suppose 0 = -5*h - 3*m + 54770 + 6237242, -m - 6 = 0. Is h prime?
False
Suppose 5*i - 197 = 253. Suppose 6*z = 11*z - i. Suppose 5*m - 101 = -3*u, -z - 14 = -2*m + 3*u. Is m composite?
False
Let j = 366 - -297. Let b = j + 9056. Is b a composite number?
False
Let z(i) = -i**3 - 10*i**2 - 5*i + 36. Let o be z(-9). Suppose -3*f - 3*b + 22527 = o, -2*b + 37539 = 2*f + 3*f. Is f a prime number?
True
Let y = 75061 - 41534. Is y prime?
False
Suppose 50061 + 28351 = -5*c + 4*v, 0 = 3*c + 5*v + 47025. Let s = c - -22963. Is s a composite number?
False
Let p(j) = 1657*j + 3. Let m(d) = 4971*d + 9. Let o(u) = -4*m(u) + 11*p(u). Let q be o(1). Let l = q - -3059. Is l composite?
False
Let r be 10*(-3)/9*42/4. Let c = r - -39. Is (-2099)/(-2) + 2 + (-10)/c prime?
True
Is 169059 - ((-75)/(-135) + 2/(-9))*6 prime?
False
Suppose 0 = -7*u + 7408 + 2315. Let a = u + 2546. Is a/15*(-3 + 6) composite?
False
Let w(j) = 4*j**3 + 3*j + 1. Let i(l) = 2*l + 2. Let r be i(0). Suppose 2*s + r*s = 16. Is w(s) a prime number?
True
Let t be (-15)/((3 - 25204/8402)*-3). Suppose 5*u + b = t, 12603 = 3*u - 12*b + 15*b. Is u a composite number?
False
Suppose 0 = -4*t - 7*t + 139106. Let y = t + -7349. Is y a composite number?
False
Let q(h) be the first derivative of 23*h**3/3 + 11*h**2/2 + 13*h - 24. Is q(-9) a prime number?
True
Let y(l) = 10*l**2 + 364*l - 3541. Is y(182) a composite number?
False
Is 2 - (-25311 + 1)/(-5)*98/(-4) prime?
True
Let x(l) be the first derivative of -51*l**2/2 + 67*l - 52. Is x(-9) composite?
True
Let q = -106 - 404. Let x(v) = 4*v**2 + 18*v - 41. Let f be x(10). Let y = f - q. Is y composite?
False
Let w = 13039 + -6437. Is w a prime number?
False
Suppose 4238*n - 422451 = 4247*n - 1849410. Is n prime?
True
Suppose 4*g - 3*k = 1191763, -229*k = 4*g - 231*k - 1191758. Is g a prime number?
False
Let t(y) = 212*y**2 - 132*y + 391. Is t(26) composite?
True
Let q be (-6)/12 - (1 + 1905/(-2)). Suppose -9*b + q = -6*b. Let f = -175 + b. Is f a prime number?
False
Let x = -418 + 422. Suppose p + x*h = 5*h + 5978, 0 = 3*h - 9. Is p composite?
False
Suppose -2*o = o. Suppose c + 2 = 0, 0 = 39*x - 36*x - 5*c - 30262. Suppose o = -7*i + 3*i + x. Is i composite?
False
Let g(z) = 18*z**2 - 173. Is g(-57) composite?
False
Is (-2)/(-24) - 164394805/(-2580) a prime number?
True
Let p(h) = 2. Let m(d) = 74*d**2 - 2*d + 1. Let b(g) = m(g) - 5*p(g). Is b(8) prime?
False
Let u(r) = 4026*r**2 + 64*r - 359. Is u(6) prime?
True
Let m = -693 + -2065. Let i be 4749 + -128 + 4 + 0. Let c = m + i. Is c composite?
False
Let n = -44 + -16. Suppose 29 - 214 = 5*z. Let u = z - n. Is u a prime number?
True
Let w = 55 + -50. Suppose -15*o = -w*o - 15630. Suppose 0 = -6*t + 279 + o. Is t a composite number?
False
Is 1777402/42 + 244/(-2562) prime?
False
Suppose 0 = s - 3*s + 100. Suppose s*a = 51*a - 1657. Is a prime?
True
Suppose -2*h = -3*z - 28807 + 2429, 5*z = 5*h - 43955. Let k = z - -17261. Is k prime?
False
Let q(c) = 170*c**2 + 10*c - 69. Is q(29) composite?
True
Suppose -3*o - 77 = -10*o. Suppose 2 - o = 9*v. Is 66910/60 - v/(-6) a composite number?
True
Let f(n) = n**3 + 33*n**2 - n - 17. Let s be f(-33). Suppose -3626 = -s*x + 2*x. Is x a composite number?
True
Suppose -3054538 = 27*c - 54*c - 19*c. Is c a prime number?
True
Let o(r) = 147*r**2 + 5*r - 14. Let h be o(6). Suppose -4*v + 21*u = 25*u - 4240, 5*v - h = 3*u. Is v a composite number?
False
Suppose 6*v = -15803 - 20971. Let x = -2296 - v. Is x a prime number?
True
Let c(v) = -1312*v - 519. Is c(-8) prime?
False
Suppose -2*y - 2*i = -5*y + 17, 5*i + 26 = 2*y. Suppose 0 = 2*p - 7 + y. Suppose -3*z + 686 = p*h - 1784, 2*z + 6137 = 5*h. Is h a composite number?
False
Suppose 2*v - 268 = -3*v + 3*y, -2*y = 2. Suppose -50*h - 27 = -v*h. Suppose -6*t = -h*t + 2577. Is t a composite number?
False
Suppose q = 163 - 556. Let i = -137 + 241. Let y = i - q. Is y a composite number?
True
Let s be (-56)/(-26) - 26/169. Is 20697*s/6 - 1 prime?
False
Let c = -30659 + 63130. Is c a prime number?
False
Let u(l) = 50778*l - 9301. Is u(13) prime?
True
Let g(x) = x**3 + 10*x**2 + 5*x - 5. Suppose d - 3*d + 40 = -4*u, -5*d + 3*u = -100. Let y be -7 + ((-8)/d)/((-1)/(-5)). Is g(y) a composite number?
False
Is ((-173)/519)/((-4)/5576892) a composite number?
False
Suppose -5*z + 84 = -2*z. Let m be (315/z)/((-4)/16). Is m/(-30)*(-1516)/(-6) a composite number?
False
Let q(t) = -1678*t**3 + t**2 + 3*t + 2. Let w be -2 + 8/(13 - 5). Is q(w) prime?
False
Suppose 0 = -8*w + 1191654 + 6118978. Is w a composite number?
True
Let n be (73 + -2)*(-7 - 0). Suppose -4*l - 3*s + 0*s + 15 = 0, 2*l = s + 15. Is (-2)/(((-1)/l)/(n/(-28))) prime?
False
Is 464/232 + (-1 - -186592) composite?
True
Suppose -100*x = -98*x - 72490. Suppose -5571 = -8*f + x. Is f composite?
False
Suppose -225*p + 148721 = -222*p - u, -2*p + 2*u = -99150. Is p a composite number?
True
Suppose -2*l + 247841 = g, 56*l = g + 62*l - 247829. Is g a composite number?
False
Let y be ((-2 - -47)/(-5))/(4/(-132)). Is y - 8*6/12 a prime number?
True
Let b = 84857 + 41430. Is b a composite number?
True
Suppose 3*v + 4*r = 4*v + 246, 4*r + 444 = -2*v. Suppose z - 537 = -5*s, -5*z + s + 3*s = -2743. Let j = z + v. Is j a prime number?
True
Suppose -3*v + 93 = -3*m, -5*m - 39 = 2*v - 3*v. Let t = v - -1535. Let z = t - 1065. Is z a prime number?
True
Suppose -4*y + 91 = -o, 4*o - 7 - 13 = 0. Let m(b) = 4506*b + 127. Is m(y) a composite number?
False
Let i(s) = 5*s**3 - 33*s**2 - 24*s - 21. Let b(w) = 4*w**3 - 34*w**2 - 26*w - 20. Let f(x) = -4*b(x) + 3*i(x). Is f(25) composite?
False
Let p = 78 + -53. Let u = -29 + p. Let x(v) = -2*v**3 - v**2 - 14*v - 10. Is x(u) a composite number?
True
Is (-176765995)/(-420) - 55/132 a prime number?
False
Suppose -778*j = -783*j - 100. Let z(s) = -s**3 - 10*s**2 - 37*s + 43. Is z(j) a prime number?
True
Suppose -15*a + 6*a = -4617. Let s = a - -1010. Is s a composite number?
False
Suppose -2*y + 7*y = 0, 35 = w + y. Suppose -w*j = -254064 + 83929. Is j composite?
False
Suppose -4*h - 2*p + 38 = 0, -3*p + 5*p = 10. Suppose 63 - 14 = h*q. Suppose -q*g + 6986 = 2275. Is g prime?
True
Suppose -m = -25*m + 144. Let w(j) be the first derivative of 3*j**4/4 - 2*j**3/3 - 3*j**2 - 7*j - 3. Is w(m) a prime number?
False
Suppose 10*q = 16*q + 60. Let t be (-4)/(-20) + (-8)/q. Is 2*((-1218)/(-4) + t) a prime number?
False
Suppose 167*z - 212*z + 17110755 = 0. Is z a prime number?
False
Suppose 2*t + 106843 = 2*c + 315725, 3*t - 4*c = 313318. Is t a prime number?
False
Let c(f) = -f - 1. Let i(g) = -337*g**2 + 5. Let y(u) = 3*c(u) - i(u). Let k be y(-2). Let r = k + -493. Is r a composite number?
False
Let p = 47544 + -32285. Is p a composite number?
False
Let y(q) = 641*q**2 - 25*q + 33. Is y(-13) prime?
False
Let x(a) = -3*a**2 - a**2 - 3 + 3*a**2 - 4*a + 5. Let t be x(-5). Is 1651/26*-2*(0 + t) composite?
True
Let n(l) = 2333*l**2 + 12*l + 54. Is n(-5) composite?
True
Let g = -5 - -8. Suppose -y + 13 = -g*t - 14, 5*t + 37 = y. Let x = y - -73. Is x a prime number?
False
Let v(k) = k + 10. Let s be v(-7). Suppose 5*q + 5*m - 2 = 3, 5*q = s*m - 3. Suppose q*l - 665 = -5*l. Is l a prime number?
False
Suppose -m = m + 6, -2*p = 4*m - 14. Let h(j) = -p*j - 1 - 104*j + 12*j. Is h(-4) a composite number?
False
Suppose 0 = -3*m - 4*g + 141133, 5*m - 212493 - 22737 = -5*g. Is m composite?
False
Let m(v) = -v**3 + 8*v**2 - 16. Suppose 5*g - 24 - 11 = 0. Let a be m(g). Suppose a*b - 24*b - 1017 = 0. Is b a composite number?
False
Let p = 252302 - 97303. Is p a composite number?
True
Is 1/14 - (-5831739)/42 composite?
True
Let c(z) be the third derivative of z**7/280 - z**6/45 + z**5/