 be v(-5). Suppose -9 = -o*y - 5. Suppose -510 - 1064 = -y*a. Is a prime?
True
Let j = -7253 + 4269. Let q = j + 4957. Is q a prime number?
True
Let v = -67354 + 104085. Is v a composite number?
True
Let w(f) be the first derivative of f**4/4 - 10*f**3/3 + 5*f**2 - 12*f + 3. Let v be w(9). Is (111/v)/(2/(-14)) composite?
True
Let g(i) = 61*i**2 + i + 1. Let q be g(3). Suppose -3*a = -2345 - q. Suppose 448 = 2*c - a. Is c a prime number?
False
Suppose 400 - 2095 = -3*c. Suppose 0 = -0*s - 5*s + c. Suppose 0*m - m = -s. Is m prime?
True
Suppose 9*g + 0*g = 36. Suppose -352 = -g*t + 1428. Is t prime?
False
Let o(c) = 10*c**2 + 2*c. Let a be o(-4). Is 13 + a + (-5 - -1) a composite number?
True
Suppose 4*r = 3 - 19. Let q be 4/r*2 - -78. Suppose -v + q = g + g, 3*v - g - 221 = 0. Is v a prime number?
False
Suppose -t - 2*t + 15 = 0, 5*o + 3*t = 790. Let k = o - -164. Is k composite?
True
Is (-2)/(-42) - 1501876/(-42) composite?
False
Is (-28)/(-32)*4*35314 prime?
False
Let j(q) = q - 6. Suppose 11 + 3 = 2*d. Let f be j(d). Let i(u) = 8*u**2 + 1. Is i(f) a composite number?
True
Suppose 29474 + 10636 = 30*x. Is x a composite number?
True
Let h(i) = 1809*i**2 - 34*i - 10. Is h(7) a prime number?
False
Suppose -153489 = -2*l + 322793. Is l composite?
False
Let z = -27 - -19. Let a be ((-6)/z)/(12/48). Suppose 7*i - 2*i = a*q - 966, 3*i = -q + 308. Is q a composite number?
False
Is (-3)/6*-8162 - 8 a composite number?
False
Let m(g) be the second derivative of -g**5/10 + g**4/12 - g**3/6 + 6*g. Let x be m(-3). Suppose 129 = 5*r - x. Is r a prime number?
False
Let q be 12/(-16)*(-8)/6. Let x be q*-2 - (-26 + 21). Let b(v) = 15*v**3 - 5*v**2 + 4*v + 1. Is b(x) a prime number?
True
Let k(l) = -4*l**2 - 114*l - 10. Let h be k(-20). Suppose -3*q - 2244 = 5*o, 2*q + 1347 = -3*o - 0*q. Let b = h + o. Is b prime?
True
Let y(b) = b**2 + b + 89. Let m(x) = -3*x**2 - 3*x - 177. Let g(f) = 2*m(f) + 5*y(f). Suppose -q = a + 4*q + 25, -5*q = -2*a + 25. Is g(a) a composite number?
True
Let b(h) = -h**3 + 8*h**2 - h + 14. Let q be b(8). Let r be (-18)/(-24) - q/8. Suppose 0 = -3*k, -6*m + 2*m + 2*k + 1564 = r. Is m composite?
True
Suppose 3*v + 1 = 2*v. Let w be (10/(-1 + -1))/v. Suppose w*l + 4*s = 1867, 5*s + 1009 = 3*l - 89. Is l prime?
False
Let n(w) = 4*w + 15. Let k be n(-3). Suppose -332 = -4*r - 3*d, -5*r + 0*d = k*d - 415. Is r a composite number?
False
Let l(y) = y + 53. Let a = 15 + -18. Let q be (-2)/12 + a/(-18). Is l(q) prime?
True
Let a be 3 + (-4)/(4/3). Suppose -5*i + 3*n = a, -3*i + 4*n + 4 = 15. Suppose 0 = -i*s + 783 - 30. Is s prime?
True
Let x = 2542 + -1215. Is x a prime number?
True
Suppose 3*h - 5*t - 12330 = -4*t, h + 5*t - 4126 = 0. Is h a composite number?
False
Let y(o) = -3*o**2 - 4*o - 10. Let q(t) = 1. Let g(h) = 6*q(h) - y(h). Is g(-9) prime?
True
Let x(p) = 2*p**3 - 15*p**2 - 19*p. Let l be x(9). Is (-4 + 1 - 0) + (1474 - l) a prime number?
True
Let h be 4696/34 - 16/136. Let d be ((-397)/3)/((-3)/9). Let g = d - h. Is g a composite number?
True
Suppose 18*m = 3*h + 21*m - 21810, 21806 = 3*h - m. Is h a composite number?
True
Let n = 2267 + -1296. Is n prime?
True
Suppose -44*g + 20*g = -189816. Is g prime?
False
Let g(m) = 3*m - 20. Let y(z) = 2*z - 13. Let p(v) = 5*g(v) - 8*y(v). Let c be p(-8). Suppose -2*f - c = 2*f, -l + 398 = -3*f. Is l composite?
False
Suppose -744 - 1014 = -2*w. Suppose -3*x = 306 - w. Is x prime?
True
Suppose 16*r - 20*r = -20, 3*g - 2*r - 2009 = 0. Is g a composite number?
False
Let n(a) = 2*a**2 + 3*a**2 - 12*a - 2*a**2 - 5*a + 25. Is n(19) prime?
False
Suppose 4*i = 4*c - 23500 + 4516, -5*c + 3*i + 23736 = 0. Is c composite?
True
Let b(m) = -m**2 - 7*m + 2. Let f be b(-7). Is 1546/6 - f/3 composite?
False
Is (2 - -123847)/9 + -10 a prime number?
True
Let m be (3 + (-39)/9)*39. Let v = m - -201. Is v a prime number?
True
Let z be 719/(-7) + (-8)/28. Let f = z + 146. Suppose -113 = -4*t + f. Is t prime?
False
Let i(p) = p + 26. Let n be i(0). Let g = -20 + n. Suppose -g*a + 285 = -a. Is a composite?
True
Let x be 4/(-10) + 370/50. Suppose 9 = 4*c - x. Suppose -1007 + 295 = -c*f. Is f a prime number?
False
Let s = 15907 - 10134. Is s composite?
True
Let u(a) be the second derivative of -a**5/20 - 7*a**4/6 - 8*a**3/3 + 7*a**2 - 10*a. Suppose 59 = -4*b + 7. Is u(b) a prime number?
True
Let u be 36/(-8)*3*(-4)/18. Suppose 8143 = 5*v - u*x, -4*v - 1621 = -2*x - 8137. Is v a composite number?
True
Let k(y) = 21*y**3 + 4*y**2 - 3. Let p be k(3). Let w(l) = -7*l**3 + 5*l - 7. Let d be w(3). Let o = d + p. Is o a composite number?
False
Let l(r) = -4*r**3 + 2*r**2 - 4*r + 18. Let t be l(-6). Let a = 1441 - t. Is a a prime number?
True
Suppose -4*s = s - 15. Suppose -s*f = -6 - 9. Let z(t) = 24*t - 2. Is z(f) a prime number?
False
Suppose 0 = -7*f - 44 - 96. Is 5*(32/f)/4 + 1143 prime?
False
Let d(n) be the second derivative of -545*n**3/6 - 3*n**2/2 + 23*n. Is d(-2) prime?
True
Let s(v) = 187*v**2 - 4*v - 3. Let k be s(-2). Suppose 8*u - 215 = k. Is u a composite number?
True
Suppose -4*v = -3*o - 6911, -4*v + 6*v + 4*o = 3450. Is v a composite number?
True
Let u(r) = 6*r - 10. Let k(s) = -s. Let n(t) = k(t) + u(t). Let f be n(3). Suppose -o - 904 = -f*o. Is o a composite number?
True
Suppose a = -a. Suppose 4*n + u + 248 = a, -4*n + 5*u - 335 = n. Let o = n + 430. Is o composite?
False
Suppose -80798 = -4*g - 2*w, -7*g = -11*g + 2*w + 80810. Is g a prime number?
True
Let c(k) = -k**3 + 8*k**2 + k - 8. Let g be c(8). Suppose g = -5*q + 3*u + 6, 2*q + 7*u + 10 = 2*u. Suppose 3*v - 121 - 362 = q. Is v prime?
False
Suppose -2*l + 270 = 3*l. Let p = l + 15. Is p prime?
False
Let l(k) = -6 - 2 + 85*k + 40*k. Is l(9) a composite number?
False
Let d be (-7 + 11)/((-2)/(-4)). Suppose -16*r = -12*r - d. Is ((-4)/4 + 423)/r composite?
False
Suppose 2*w = -h + 5004, -4*h - 7*w = -9*w - 20026. Is h composite?
True
Let t be (-12)/66 - ((-501)/33 - -1). Let j(v) = 9*v**2 - 13*v + 1. Is j(t) a composite number?
False
Let v(i) be the second derivative of i**5/20 + i**4/2 + i**3/3 + 3*i**2/2 + 4*i. Let w be v(-3). Is ((-145)/20)/((-2)/w) prime?
False
Let f be 16/(-12)*6/(-4). Suppose -4*l + 2098 = -f*k, 5*l - 2642 = -3*k - k. Suppose -1060 = -4*x - n, 5*x - n = l + 799. Is x a prime number?
False
Let a = 542 + -321. Suppose -2*d = a - 10983. Is d prime?
True
Suppose 3*g - 2*a = 20 + 16, -3*a - 39 = -3*g. Let n be (978/5)/((-3)/g). Let l = -171 - n. Is l prime?
False
Let t(w) = -7569*w - 14. Is t(-3) a composite number?
True
Let p(d) = 55*d + 27. Let v be p(15). Suppose v + 105 = 11*k. Is k composite?
True
Is (-1)/(-5) - (4418/(-10) + 5) a composite number?
True
Let w be 276/15 + 4/(-10). Let o be w/(-3)*3/(-6). Suppose o*p = 4 + 53. Is p composite?
False
Suppose 6*o - o = -105. Let c be (14/o)/(1/(-6)). Suppose -c*y + 41 = -115. Is y a prime number?
False
Suppose -7628 = 26*g - 28*g. Is g prime?
False
Let c(f) be the third derivative of f**5/60 + 2*f**4/3 - 5*f**3/3 + 8*f**2. Let z be c(-17). Suppose 0 = z*b - 2588 + 271. Is b a prime number?
True
Suppose -82*g + 2713894 = 410268. Is g prime?
False
Suppose 72621 = 11*s - 5710. Is s a composite number?
False
Let l = 22161 + -4300. Is l prime?
False
Suppose 7051 = 3*i - 9254. Is i a prime number?
False
Suppose 2*b + 13 = 23. Suppose 0 = b*i + 2*i - 9863. Is i prime?
True
Suppose -5*z = -2*q + 31213, 4*q + q = -5*z + 78015. Suppose -2*m = -n - 1692 - 4543, 5*m - q = -3*n. Suppose 2*f + 8 = 0, -5*i = -0*f - f - m. Is i prime?
False
Suppose 3*c - 1395 = 1752. Is c prime?
True
Suppose 0 = -4*n - v - 1082, 3*n - 3*v = -2*v - 815. Is (-1)/(5 + 1356/n) composite?
False
Let x(a) = a**2 - 5*a + 10. Let g be x(-12). Let n = -87 + g. Is n a composite number?
False
Suppose -9*h + 24 + 3 = 0. Is h + 3361 + 4 + 1 a prime number?
False
Let j(u) = 35*u**2 + 59*u + 109. Is j(-23) a prime number?
False
Is 2/4*(12894 + -116) composite?
False
Suppose 0*w = -3*w + 6. Let s = -79 + 84. Suppose -v + 2*d + 59 = 0, -5*v + 166 = -w*v + s*d. Is v a composite number?
True
Let x(o) = o**3 + o**2 - 2*o + 7. Let h be x(0). Suppose 239 = h*m - 90. Is m a composite number?
False
Let d(x) = -4*x**3 + 6*x**2 + 6*x - 7. Suppose -3*a - 11 = 4. Is d(a) a composite number?
False
Suppose -3*u = 1175 - 4052. Let x = u -