s ((-445)/f)/(2/(-6)) prime?
True
Suppose -t + 2*f - 5 = -3*f, 2 = f. Suppose 10 = -2*q, -4788 = -t*y + 5*q + 4847. Suppose 5*r - y - 133 = 0. Is r a prime number?
False
Let d be 0*(-1)/2 - (-12)/6. Suppose 5*a - 4*f - 1111 = 0, -894 = -4*a + d*f - 4*f. Is a composite?
False
Let a(x) = -x**2 + 8*x - 5. Let b be a(7). Suppose 2*k - 1324 = -b*k. Is k a prime number?
True
Suppose o + 4*y - 24189 = 0, -5*y = -7*y + 10. Is o a prime number?
True
Let l(j) = -j**2 - 6*j + 17. Let z be l(-8). Let a be 4/14 + 38/14. Is -5 + a + 264 + z composite?
False
Let z(l) = -5*l + 5*l - 3*l**2 + 3*l + 0*l. Let a be z(3). Is (-267)/a + 4/24 composite?
True
Let s be (48/(-28))/((-8)/28). Let n be -8*(483/s + 1). Let o = -465 - n. Is o prime?
False
Let r = -11232 - -16271. Is r a prime number?
True
Is -3 + 6 - (10 - 13338) composite?
False
Suppose -2*s + 0 + 4 = 0. Suppose s*t - 5*t = -879. Is t a prime number?
True
Suppose 234 = s + 3*s + 5*a, s - 65 = 2*a. Let q be 3/((-36)/(-8))*39. Let k = q + s. Is k a prime number?
False
Let a(j) = j + 23. Let f be (120/(-9))/2*-3. Suppose 0*i - 2*i = f. Is a(i) a prime number?
True
Let z(l) = 143*l + 28. Let q be z(16). Let a = 1229 + q. Is a a composite number?
True
Is (-6)/(42/(-1435)) - 6 composite?
False
Let m(s) = -s**3 + 8*s**2 - 13*s + 8. Let u be m(6). Suppose 0 = 2*x + x + 3*h - 375, -u*x + 3*h = -230. Is x prime?
False
Let l be (-1 - -12)*(-14 - -17). Suppose -31*u + l*u = 442. Is u a composite number?
True
Let y be 7062/11 - 3/(-1). Suppose -p + y = 100. Is p a composite number?
True
Let h be 48/28*(-36834)/(-12). Suppose 36*d - 30*d = h. Is d a composite number?
False
Let a = 47 - 107. Let q = 71 - a. Is q prime?
True
Suppose -161423 = -2*z + 5*n, 3*z + 44*n - 45*n = 242128. Is z a composite number?
True
Suppose 4*h = 2*d + 28, -5*h = -4*d + 2*d - 33. Suppose -7*t = -3*t - 5*u - 1316, -5*t = -h*u - 1645. Is t prime?
False
Let j = -4 - 39. Let k = -20 - j. Is k prime?
True
Let m(d) = -3*d**3 + d**2 + d + 6. Let b be m(4). Let p = 651 + b. Is p a prime number?
False
Let y = 75 + -25. Suppose 139 = 4*j + 43. Suppose t - j = y. Is t a composite number?
True
Let d = 307 - -150. Is d composite?
False
Is -10 + 9239 - (-5 - 1) a composite number?
True
Suppose 2*t = x - 13685 - 1904, -4*x + 4*t + 62340 = 0. Is x a composite number?
False
Let p(m) = -m**3 + 2*m**2 + 2*m + 1. Let r be p(2). Suppose -71 - 14 = -r*d. Let j(f) = 19*f - 24. Is j(d) composite?
True
Suppose -8*t - 1093 + 61 = 0. Let l = 328 + t. Is l prime?
True
Let x = -471 - -176. Let o = x - -450. Is o prime?
False
Suppose 1 + 11 = w. Let b = w + -14. Is (-1 - b)*(-4 + 59) a prime number?
False
Is (42/7 - -2329) + (-4 - -2) prime?
True
Suppose 5*i = -3*i + 2952. Is (12/(-9))/((-6)/i) a prime number?
False
Is 5348 - (8/40)/(4/20) prime?
True
Suppose 20*f = -11*f + 30194. Is f a composite number?
True
Let r = 1445 - -714. Is r a composite number?
True
Let n(c) = -2*c**2 - 2*c + 3. Let t(q) = 6*q**2 + 5*q - 8. Let v(o) = -17*n(o) - 6*t(o). Let x be v(3). Is 3/x*(-635 - -2) composite?
False
Suppose t - 7056 = -f, 2*t = 8*f - 13*f + 14097. Is t a composite number?
True
Suppose v = -3*t + 2*v + 557, -5*t - 2*v + 943 = 0. Is t a prime number?
False
Suppose -1 = 2*q - 5. Let v(a) = 544*a**2 + 2*a - 1. Is v(q) a prime number?
True
Suppose 7*c - 3*c = 3*g + 18874, -3*c + 4*g + 14159 = 0. Is c composite?
True
Let r = 63864 + -20065. Is r a composite number?
True
Let a = -362 + 640. Suppose -3*i = -5*i + a. Is i a composite number?
False
Let k(o) = 40*o + 1. Let g be k(7). Let i = 409 - g. Suppose 19 = -a + i. Is a a prime number?
True
Let q(z) = 3*z + 4. Suppose 2*x + 1 + 3 = 0. Let b be q(x). Let p(g) = 5*g**2 - 2*g - 2. Is p(b) composite?
True
Let x(v) = 10*v**3 - 3*v**2 - 2*v + 7. Let a be x(5). Suppose 0 = -5*l + 4*d + 7123, 4*l = d + 4522 + a. Let r = -662 + l. Is r a composite number?
False
Let h(v) = -2*v - 8. Suppose 11 = -4*r - 13. Let d be h(r). Is 2/(0 - d/(-326)) composite?
False
Let z(b) be the second derivative of -299*b**3/6 - 11*b**2/2 + 5*b - 1. Is z(-2) composite?
False
Suppose 0 = 3*s - 12, 0 = -7*q + 12*q + 4*s - 2411. Is q prime?
True
Is ((-19779)/76)/(15/(-1780)) a composite number?
True
Let q(j) = -26 - j - 4*j + 9 + 25*j**2 + 4*j**2. Is q(8) a composite number?
True
Let b(v) = -v**3 - 7*v - v**2 + 7*v**2 + 13*v + 3. Let t be b(7). Is 1/4 - 811/t a composite number?
True
Let m be (-2)/((-4)/8*4). Let d be (-287*1*-1)/m. Suppose -5*b = 5*x - 28 - d, 0 = -3*b + 5*x + 149. Is b a composite number?
True
Let y(m) = 18*m**3 + 2*m**2 + 17*m - 6. Let u(r) = -r**3 - 6*r**2 + 15*r - 1. Let h be u(-8). Is y(h) a composite number?
True
Is (2/(-6))/(11/(-33099)) a prime number?
False
Let y(k) = -8*k**3 + 4*k + 3. Let q be y(-3). Let m = q + 44. Is m composite?
False
Let o(n) be the third derivative of 71*n**4/24 - n**3/3 + 4*n**2. Let c = 13 + -12. Is o(c) prime?
False
Is 80244/84 - (-2)/(-28)*4 composite?
True
Let g(p) = 22*p**2 + 15*p - 164. Is g(17) a composite number?
False
Is 6527 - (3/(-8) - (-2142)/336) a prime number?
True
Let x(q) = 791*q**2 + 3*q - 1. Is x(-1) prime?
True
Let a be (-13458)/(-2) - (2 - 2). Suppose 9*f + 1014 - a = 0. Is f prime?
False
Suppose -17642 = 16*r - 72154. Is r prime?
True
Suppose 0 = 41*i - 1029628 + 317417. Is i a prime number?
False
Is 1224/4 + 1 + 0 prime?
True
Suppose 0 = -3*d - 5*z - 41, -3*d - 7 = -2*d + 5*z. Is -1*(1*-1)/(d/(-13379)) a prime number?
True
Let s = -1003 + 3722. Is s a prime number?
True
Suppose -1241 + 13 = -4*i. Let y = i - 108. Is y composite?
False
Let r be 1/2*(-3529 + -1). Let v be 4 - 3 - r - 1. Let j = v - 510. Is j composite?
True
Is (-1 + 2)*(16 + 3283) a prime number?
True
Let o(m) = -1465*m**3 + m**2 - m - 2. Is o(-1) composite?
True
Let l(z) = 1062*z - 487. Is l(45) prime?
True
Is (-1 - -4)/(-1 + (-13992)/(-13956)) composite?
False
Suppose 0 = 13*o - 4*o - 63. Suppose -6702 = -o*d + d. Is d a composite number?
False
Is 33 - (28/12 + (-6)/18) composite?
False
Let f be -13 - 7/((-14)/4). Let v = f + 15. Suppose 4*t - 2*y = -3*y + 1998, 2*y = v. Is t a composite number?
False
Suppose -3914 = -2*l - 644. Suppose -l - 142 = -k. Is k a composite number?
False
Let z = -32 - -25. Let d(n) = -n**3 - 7*n**2 + 3. Let l be d(z). Let i = l + 30. Is i composite?
True
Is (19770/(-15))/(0 + -1*2) composite?
False
Is (5/10)/((-2)/(-2212)) composite?
True
Suppose 3*k + u - 1 = -3*u, -1 = -4*k - 5*u. Let y be (k + 2)*0 - -14. Is (-3630)/(-4) + (-7)/y a prime number?
True
Suppose 5*j - 269 = 3*x, -65 - 23 = x - 2*j. Let h = 255 + x. Is h a composite number?
False
Is (499/2)/(17/34) a prime number?
True
Suppose 0 = 2*z - 3025 - 361. Is z a prime number?
True
Let f(z) = -z**3 + 5*z**2 - 2*z + 4. Let a be f(4). Let n be ((-16)/a)/((-8)/12). Suppose n*l = 175 + 79. Is l composite?
False
Let o(w) = -w**2 + 7*w + 2371. Let i = -57 - -57. Is o(i) a composite number?
False
Suppose 3*n + 2*n - 43115 = 0. Is n composite?
False
Suppose 5*o + 68 = 4*o. Let z = 77 - o. Suppose i = 5*h + 53 - 3, -5*h + z = 2*i. Is i prime?
False
Suppose 48 = 5*n + 3*a, -3*n + 31 = -0*n + 4*a. Let s = n - -2. Let h(z) = -z**2 + 26*z - 8. Is h(s) a composite number?
False
Let s(o) = -o + 4. Let l be s(13). Is (-2 - -9)/(l/(-63)) a composite number?
True
Let y(a) = 27*a**2 - 2*a - 17. Let h be y(9). Let j = h + -1231. Is j prime?
False
Suppose 0 = -64*z + 62*z + 16738. Is z prime?
True
Suppose 0 = -87*t + 20*t + 369371. Is t a prime number?
False
Suppose k - 1590 = -k. Let s = k - -518. Is s a composite number?
True
Let m(x) = -608*x - 6. Let f be m(-3). Suppose -f = -4*t - 646. Is t a prime number?
True
Let w(s) = 7246*s + 389. Is w(5) a prime number?
False
Is (3/(-9))/(28/(-436716)) prime?
False
Suppose -5*d + 0 = -2*k - 5, 3*k + 15 = 0. Let c be (0 + d - 5) + 3. Let p(g) = -33*g**3 + g - 1. Is p(c) a prime number?
True
Let f(p) = -518*p. Let k be f(-1). Suppose l - 98 = -3*w, -2*l = -7*l - w + k. Is 2168/l - 2/(-13) a prime number?
False
Is 6/(-15) - (-41562)/30 a prime number?
False
Let q(j) = -7*j + 14*j**2 + 6 - 3*j**2 - 17 + 7*j**3 + 4*j. Is q(10) a composite number?
False
Suppose 7*o = 3*o. Suppose -m + 4 = -5*j, m + j + o*j + 2 = 0. Let z(p) = -143*p + 2. Is z(m) prime?
False
Suppose 2*m - 5 = -b, b = 4*m - 0*b - 19. Suppose -m = -o