r?
True
Let t(o) = -o**2 + 3*o. Let m be t(4). Let d be (-6 + (-20)/(-3))/(m/66). Let j(l) = l**3 + 22*l**2 + 16*l - 4. Is j(d) prime?
True
Let x(l) = 332*l**2 + 44*l - 1943. Is x(47) a prime number?
False
Suppose 0 = 5*q + 4*l - 210767 - 190259, 400990 = 5*q - 5*l. Is q/34 + 8/68 prime?
False
Suppose 4*b - 1528 = -2*v, 3*b - 5 + 11 = 0. Suppose 177128 = 776*o - v*o. Is o a composite number?
True
Let b(m) = -m**3 + m**2 + 13*m + 5. Let r be b(-3). Suppose -5*u = -r*p - 170 + 518, 0 = 3*p - 2*u - 544. Suppose -p = -6*f + 3062. Is f a composite number?
False
Let p(h) = -3229*h - 16. Let s be p(-11). Suppose -3*m + 9532 + s = 2*n, n = -3*m + 45037. Is m a composite number?
False
Let z(a) = a**2 + 4*a - 18. Let y be z(-7). Suppose -y*j + 4*f = j - 32616, 2*j + 3*f = 16308. Suppose 0 = 3*w - 22503 + j. Is w a composite number?
False
Suppose 10892*o - 87813 = 10883*o. Is o prime?
False
Let o(a) = 7*a**3 - 4*a**2 - 2*a. Let s be o(-3). Let l be s/13 - (-16)/(-104) - -1. Is -4*(1754/(-12))/(l/(-24)) prime?
True
Let c be (-36)/(-72) - 5/(-2). Let b(i) = 97*i**2 + 5*i - 10. Is b(c) composite?
True
Let x(z) = 1811 + 1803 - 3635 + 4265*z. Is x(2) composite?
True
Suppose -7301 = -u - 6*u. Suppose 666 = k - u. Is k a composite number?
False
Let s(p) = -p + 10. Let x be s(3). Suppose -11460 = -5*d + 4*n, d - x*n + 3*n = 2292. Suppose -2*j + d = 4*j. Is j a composite number?
True
Is ((-3071736)/972)/(2/(-9)) composite?
False
Let j = -131 + 146. Suppose c - 135376 = -j*c. Is c a prime number?
True
Let j = -500967 + 905216. Is j prime?
True
Let h(j) = -2*j**2 - 33*j + 7. Suppose 4*m - 4*w + 76 = 0, 3*m - 2*w - 16 = -68. Is h(m) a composite number?
True
Suppose 2*a = 4*z + 138, -2*a - 63 = 2*z - a. Let c(o) = 26*o - 9. Let s(n) = 417*n - 144. Let m(h) = z*c(h) + 2*s(h). Is m(-8) a composite number?
True
Let o(h) = h**3 - 6*h**2 - 13*h + 48. Let z be o(6). Let p(c) = -c**3 - 17*c**2 + 72*c + 26. Is p(z) composite?
True
Let q be 4*(-7)/56 + 55/2. Let m(h) = 128*h + 35. Is m(q) a composite number?
False
Let w = 341 - 333. Suppose n - 551 = -6*o + 3*o, -w = 4*o. Is n prime?
True
Let o = -171 + 180. Is 211905/315 + (o/7 - 1) a prime number?
True
Suppose 14*u = -9*u + 644. Let w(l) = 2*l**2 - 2*l - 41. Is w(u) prime?
True
Suppose -4*b + 246 + 62 = 4*a, -3*b - 2*a + 233 = 0. Let t = 78 - b. Is 16/(-32)*2174/t composite?
False
Suppose 636*d - 652*d = -10132496. Is d a prime number?
False
Let l(w) = 8*w**2 + 2*w + 5. Let a(j) = 0*j**3 + 4*j + 3 - 4*j**3 + 5*j**3 + 3*j**2 - 2*j**3. Let v be a(4). Is l(v) prime?
True
Let k = -12331 - -32828. Is k a composite number?
True
Let j(b) = -535*b**2 + 18. Let f be j(5). Let s = f + 25454. Is s composite?
False
Let s(t) be the second derivative of 11*t**4/12 + 10*t**3/3 - 6*t**2 + 160*t. Is s(9) a composite number?
True
Let g(o) = 6333*o**2 - 86*o - 167. Is g(-2) a composite number?
True
Let v = 6951 + 4066. Is v a composite number?
True
Let c(l) = -l**3 + 6*l**2 - 6*l + 15. Let n be c(5). Suppose 0 = n*d + 23675 - 66665. Suppose 6*t - 3219 - d = 0. Is t composite?
True
Let q(m) = 2*m**2 + 1. Let w be q(-1). Suppose b = 5*b - c - 2760, w*b = -4*c + 2070. Suppose -4*h + b = k + 47, -484 = -3*h + k. Is h a prime number?
False
Let i(k) = 3*k**3 - 2*k**2 + 5*k - 3. Let l be i(1). Let r be 3/((-12)/l - -5). Suppose 0 = r*v + 4*w - 921, -2*v + 367 + 247 = 3*w. Is v a composite number?
False
Let p(v) = v**3 + 6*v**2 + 4*v - 4. Let x be p(-4). Let d be (-8)/x*3/(-2). Is (-53652)/(-108) + 4*d/18 a composite number?
True
Let g(z) = 3*z**3 - 3*z**2 + 3*z + 834761. Is g(0) a composite number?
False
Is 3*4/(-32) + (112917090/48 - -6) a prime number?
False
Suppose -5*r - 164777 = -p, 373*p - 370*p - 494331 = -r. Is p composite?
True
Is (-202 - -215) + 3 + 3667 a prime number?
False
Let d(n) = -6*n**3 + 8*n**2 + 31*n + 4. Let j(r) = 5*r - 39. Let i be j(6). Is d(i) composite?
True
Suppose r = -5*r + 66. Suppose r*y + 804 = 17*y. Suppose -y = -7*u - 1. Is u a prime number?
True
Let g be 16 + 5246 + 2 + -3. Suppose 3*t = 5*i + 15727, 12*i = -t + 9*i + g. Is t a prime number?
False
Let t(a) = -a**3 - 25*a**2 + 105*a - 106. Is t(-45) a composite number?
True
Let g(d) = 68*d**2 + 1471 - 9*d + 66*d**2 - 132*d**2. Is g(0) a composite number?
False
Let d(m) = -m**2 + 13*m + 28. Let i be d(-2). Let j(r) = -1934*r**3 + 2*r**2 - 2*r - 3. Is j(i) composite?
True
Let l(a) = 260*a - 146. Let p(w) = 778*w - 439. Let n(f) = -8*l(f) + 3*p(f). Is n(12) composite?
True
Suppose 25*k - 214053 = -12*k + 16*k. Is k prime?
True
Let n(b) = 0*b**2 - 49 - 4*b**2 + 0*b**2 - 4*b**2 - 2*b**3 + 2*b. Is n(-8) a prime number?
False
Let h(f) = f**3 - 3*f**2 + 5*f - 6. Let s be h(2). Suppose -3*j + 41 = 4*t, 5*t - 4*j = -s*t + 59. Let o = t + 294. Is o composite?
True
Let j be (-2 - 7/(-2))*2. Let f(m) = 26*m - 188. Let z be f(12). Let c = j + z. Is c a composite number?
False
Suppose 3*v - 12 = v. Let w be 123/(4/v + (-282)/504). Suppose -10*g + 11082 = -w. Is g prime?
True
Is (16/4)/((-28)/(-141953))*1 composite?
True
Suppose -113*c - 78632 = -115*c + 3*k, 3*c - k - 117927 = 0. Is c a prime number?
False
Let n(y) = -y**3 - y**2 + 3*y - 4. Let g be n(-3). Let a be 1 + (-3 - -2) - 0/(-6). Suppose a = 3*p - i - 752, -2*p - g*i = 49 - 556. Is p a composite number?
False
Suppose 12220 = -j - 3*t, 2*t = -3*j - 30833 - 5834. Suppose 4*o - 3*n + 145 = 0, -3*n - 150 = 4*o - 23. Is (5 + 1)*j/o composite?
True
Suppose -2*c = -2244 + 9476. Let j = -968 - c. Is (-6)/(-4)*j/12 a composite number?
False
Let m(j) be the first derivative of -571*j**4/2 + j**2 + j + 1. Suppose 4*d - 2*d = 5*z + 1, 0 = -5*d - 10. Is m(z) composite?
True
Suppose -4*l = -0*l + 648. Let g = -103 - l. Suppose 5*i + g = 504. Is i prime?
True
Suppose 4*w - 4 = 0, -o + 23308 = 4*w - 19463. Is o prime?
True
Let j(n) = 345*n - 61. Suppose -6*g - 70 = -13*g. Is j(g) composite?
False
Let w(i) = 64*i**2 + 2*i - 3. Let a(h) be the third derivative of h**4/24 - h**3/6 + 7*h**2. Let t be a(3). Is w(t) a composite number?
False
Let f = -1203 - -2983. Suppose -l + f = -1497. Is l composite?
True
Suppose -x = -3*t - 176114, 4*x - 9*x + 880603 = -4*t. Is x prime?
True
Is (483/(-46) - -12)/(9/4838826) a prime number?
False
Suppose 0 = -4*y - 17 - 3, -2*t + 40 = -2*y. Suppose 13*c - t*c = -530. Is c a composite number?
True
Suppose 9*x = 18*x + 9*x - 1232514. Is x composite?
False
Let v(z) = 2428*z + 287. Is v(12) a prime number?
True
Let m(q) = -q**2 + 6*q - 19. Let p be m(3). Let f be (6/p)/((-1)/155). Suppose -4*c = 3*b - 1659, 3*c = 2*b - 1199 + f. Is b a composite number?
True
Let t = -112 - -114. Suppose 3*h = 4*l - 14410, -4*l - l + 18022 = h. Suppose -5*u + l = 2*f, 5*f - 8991 = -5*u + t*u. Is f a prime number?
False
Let x = 92330 + 17093. Is x prime?
True
Let a(w) = w**2 + 5*w - 10. Let p be a(-7). Let o be p/10*-11 - 26/(-65). Is (1 + (3 - (-14)/o))*638 prime?
False
Let j = 110402 - 77761. Is j prime?
False
Let s(l) = -3*l - 68. Let u be s(-26). Suppose 100899 = u*r - 58291. Is r prime?
True
Suppose -o + 5*j + 10 = 0, -46 = -4*o - 5*j - 31. Suppose -5*a = t - 350, -o*a + 10*a - 370 = -5*t. Is a composite?
True
Let o be 3/(3 - 1320/445). Suppose 72735 = -o*t + 104*t. Is t composite?
True
Suppose -5*z + 517389 = 4*t, 517349 = 4*t + 138*z - 141*z. Is t composite?
False
Suppose 53 = -20*p + 73. Is 15262 + -2 + 0 + -2 + p prime?
True
Let b = 11917 + -11907. Let r(w) = 19*w**2 - 9*w + 17. Let q(k) = 10*k**2 - 5*k + 9. Let s(h) = 5*q(h) - 2*r(h). Is s(b) composite?
True
Let g(z) = 1006*z**2 - 72*z - 1063. Is g(-15) a composite number?
False
Let l be (4 - (0 - 1)) + -3. Suppose -4*o = 20, l*a + o + 2 = 3. Suppose -5*q + a*s + 299 = -s, -3*q + 176 = s. Is q composite?
False
Suppose 4629 = -6*s + 67773. Suppose 2*a = 14*a - s. Is a prime?
True
Is (-1)/(6 - 2690897/448481) composite?
False
Let s = 8490 - -16399. Is s a composite number?
False
Suppose -5*m = 3*g - 10331444, -2*m + 20*g - 2066347 = -3*m. Is m a composite number?
False
Suppose 5*k - 116914 = -2*y + 584697, 350799 = y - 4*k. Is y composite?
False
Let l = 7268 - 4120. Let a = l + 2079. Is a a composite number?
False
Suppose -43*t = -17*t - 4082. Suppose -25 = 5*g - 10*g. Suppose 20 = g*v, -3*p + 6*v + t = v. Is p prime?
True
Let h = 38 - 30. Let x be (-11 + 8)/((-3)/h)