mber?
True
Suppose -12 = -2*u + 2*s, 2*u - s = 4*s + 6. Suppose 0 = 7*b - u*b + 2. Is (138*-1 + 1)/(b/(-10)) a prime number?
False
Let s(z) = -z**3 - 18*z**2 - 71*z + 16. Let g be s(-12). Suppose 10*d + 4*o = 11*d - 3403, -g*o + 3411 = d. Is d a prime number?
True
Let b(p) = 0*p - 5*p**2 + 4*p**2 - 3*p + 17 + 8*p**2. Is b(21) prime?
True
Let f = -1089 - -2866. Is f a prime number?
True
Let b = -2419 + 1184. Let a = b + 1870. Is a composite?
True
Let p(c) = 24*c**2 + 8 + c - 13*c + 1008*c**2. Let k be p(6). Suppose 4*l - k = -10852. Is l a composite number?
True
Is 8503 - -1 - ((-35)/(-3 - 2) - 4) composite?
False
Let j = 310161 + -183962. Is j composite?
False
Suppose -84*u + 2430717 = -219231. Is u a composite number?
False
Suppose 5*p + 97864 = 4*j, 0 = 5*j - 0*p - p - 122351. Is (3 + j/9)*(2 - 1) prime?
False
Let m(l) = -l**2 - l. Let s(g) be the first derivative of -g**4/4 + 19*g**3/3 - 9*g**2 + 27*g + 7. Let n(x) = -5*m(x) + s(x). Is n(19) composite?
True
Let k(z) = 5*z**2 - 9*z + 40. Suppose 4*b = -39 - 41. Let d be k(b). Suppose -d = -5*y + 5*p, 3*y - 953 - 375 = -p. Is y prime?
True
Let y(g) = 2*g**3 + 2*g - 1. Let j be y(1). Let v(u) = 112*u**2 + 6*u**j + 15*u**3 - 115*u**2 + 4 - u. Is v(3) a composite number?
False
Let q(f) = f**3 + 3*f**2 + 3*f - 8. Let m be q(8). Suppose -8*u = u - m. Suppose 0 = 2*c - 4*z - u, c = -0*z - z + 31. Is c a prime number?
False
Let x = 62092 + -16365. Is x prime?
False
Let u = -1345 + 2398. Let s = 1492 - u. Is s composite?
False
Let p be (-70)/6*(-180)/20. Let d = -20 - p. Let v = d + 176. Is v a composite number?
True
Suppose 0 = -2*n + d + 3, -n = n - 5*d + 9. Let r be (n/(-6))/((-1)/1576). Let s = 1479 - r. Is s prime?
True
Suppose -c + 194 = 2*i - 791, i - 3919 = -4*c. Suppose k + 3344 = 2*l, -4*l - 4*k = -7679 + c. Let o = l - 834. Is o prime?
True
Let a(o) = 16*o - 126. Let g be a(8). Suppose -g*z - 4934 = -4*b, 6*b = 4*b + 2*z + 2472. Is b prime?
True
Let w = 1070524 + -523821. Is w composite?
True
Suppose 0 = 23*i - 31 - 38. Let g(r) = 403*r**2 + 4*r - 17. Is g(i) a composite number?
True
Let b(t) = 3357*t + 84. Let o be b(3). Suppose 4*z = -5*i + 13541, -8*z + 11*z + 4*i = o. Is z a prime number?
True
Let f(m) = 1098*m**2 + 175*m - 1140. Is f(-47) a composite number?
True
Suppose -619*p + 402554361 = -208*p. Is p composite?
True
Let x(b) = b**2 + 4*b + 3. Let u be x(-3). Suppose u = -o - c + 5 - 7, -4*o + 4*c - 8 = 0. Is (-131)/o*(-7 + 9) prime?
True
Let v = -689 + 695. Is (-2)/v + (-21)/(-9) + 356 prime?
False
Is (45 + -46)*(-5)/(25/10008455) prime?
True
Suppose 0 = 4*v - i - 174, -i = -3*v + 2*v + 45. Suppose 3 = 5*b + v. Is b/84 + (-645025)/(-105) composite?
False
Let m(i) = i + 9*i + 29*i - 7 - 2*i - 3*i. Suppose -s + 25 = 4*s. Is m(s) a composite number?
False
Let x = -31 + 32. Let u be (-1959)/(-2 + (36/8 - x)). Let l = u + 2421. Is l prime?
False
Let o = 98762 + -23151. Is o a composite number?
False
Suppose y = -1, -4*z - 3*y + 2203 + 10442 = 0. Suppose 5*w + z - 18029 = -4*t, -2*w + 5948 = 2*t. Is w prime?
True
Let m(v) = v**2 + 41*v + 200. Let b be m(-5). Let g(x) be the first derivative of x**4/4 - 19*x**3/3 - 7*x**2/2 - 25*x + 2. Is g(b) prime?
False
Let b = 176 + 59. Let k(s) = 2*s - 14. Let g be k(7). Suppose v + o - 1124 = g, -2*o - 4725 + b = -4*v. Is v a composite number?
False
Let k be -2 + 5 + 2 + -3. Suppose 0 = -7*p + k*p + 35. Suppose -95 = -p*l + 2*l. Is l a composite number?
False
Suppose 0 = -5*s - 4*h + 33, h - 4*h = -6. Suppose -6*w + s*w = j - 3626, -5*j = -3*w - 18106. Is j prime?
True
Let a(m) = 72*m**2 - m - 4. Let b(k) = 73*k**2 - 2*k - 3. Let x(v) = -2*a(v) + 3*b(v). Is x(2) prime?
False
Suppose -2*d - 18 = d. Let h be 28/(-28)*(-29 - 1). Is d/(-4)*h + -2 composite?
False
Suppose 0 = -14*b + 11*b - 3*t + 33, -2*b - 8 = -4*t. Suppose 0 = -2*s - b, -9*d + 10592 = -7*d + 2*s. Is d prime?
False
Suppose 26*d - 28*d + 33102 = 0. Suppose d = 4*b - k, 4*k - 13413 = -2*b - 5115. Is b prime?
True
Suppose 6*s = 12*s - 30. Suppose s*j = -25, 5*x - 4097 = -2*j + 1198. Is x prime?
True
Let g(f) = -f**3 - 3*f + 13. Let w be g(2). Let t(r) = -4661*r**3 + 5*r**2 + 7*r + 4. Is t(w) a prime number?
True
Let x be (-4 - -2 - -58)*(5 + -4). Let s = x - 17. Is s + 105 - (-2)/(4/2) composite?
True
Let h be (-1)/(-3) + (-34)/(-6). Suppose 2*q + 109 = -3*a, 8*q - 7*q + 71 = 4*a. Let p = h - q. Is p prime?
False
Suppose -5 = 4*d - 13. Let c be (3/(-6))/(d/892). Let q = c - -510. Is q a composite number?
True
Suppose -25 = -5*z, -57*p = -58*p - 4*z + 219507. Is p a prime number?
False
Let y(v) = -3*v**3 - 8*v**2 - 6*v + 16. Let l be y(-4). Let k = -89 + l. Suppose 0*d + 5*i + 4291 = 4*d, -3*i + k = 0. Is d a prime number?
False
Let x(i) = 714*i**2 + 32*i - 59. Suppose 16 = 4*h - 2*o - 2*o, h - 2*o - 6 = 0. Is x(h) composite?
False
Suppose 4*i - 240718 = w, -229*i + 4*w - 60205 = -230*i. Is i prime?
False
Suppose -3*p - 3*j + 480168 = 99717, -4*j = -4*p + 507316. Is p a prime number?
True
Let m(y) = 54*y + 28. Let i(s) = 10*s**2 + 3*s + 3. Let d be i(-1). Let w be m(d). Let t = w - 311. Is t composite?
False
Let g = 17 + -3. Suppose 20*k = 18*k + g. Is (((-77)/(-4))/k)/((-2)/(-88)) composite?
True
Suppose -47 + 41 = 6*p. Is (-699)/p*(-178)/(-24)*4 a composite number?
True
Let z(m) = -226*m - 10. Let g be z(5). Let f = g + 12491. Is f prime?
True
Is -1135*(-68)/(-80)*-4 composite?
True
Is 18713/(1495/(-650) + 5/2) a composite number?
True
Let s(w) = -75 - 18*w + 14*w - 15*w - 30*w. Is s(-16) composite?
False
Let w = -5 + 8. Let p be 0/(1 - w)*(-3)/6. Let y(j) = -j**3 + j**2 + 2*j + 491. Is y(p) a composite number?
False
Let h(a) = -1827*a**3 + a**2 + a - 1. Let g be h(-1). Suppose 6973 = c + g. Is c a prime number?
True
Is (555650 - 5) + (-104)/39 + 2/3 prime?
False
Let m(l) = 2499*l**2 - 11*l - 11. Is m(-3) a prime number?
False
Suppose -14*y = y - 10440. Is 213/9*(-7 + (y - 2)) a composite number?
True
Suppose v + 2*i - 142 = 174, 2*i = -4*v + 1246. Suppose 3*b - v = 6971. Is b a prime number?
False
Suppose 56*z - 2590176 = -40*z. Is z a prime number?
True
Suppose 9*b - 4*q = 11*b - 5304, 2*b + 3*q - 5309 = 0. Let z = -1004 + b. Is z a prime number?
False
Let t(f) = 5*f + 200. Let q be t(-39). Let z(k) = 75*k**2 - 15*k + 1. Is z(q) composite?
False
Suppose 82*k - 53494687 = 57517940 - 1201999. Is k a prime number?
False
Suppose 209*x - 204*x - 1408058 = -4*a, -3*a - x + 1056027 = 0. Is a a prime number?
True
Let s be (-607 - 1)*(-3 + 12 + -5). Let r = s + -2951. Is (1/1)/(1 - (-5376)/r) prime?
True
Let f = -62802 - -104121. Suppose 5*g = -4*g - f. Let l = g + 7028. Is l a composite number?
False
Let o(c) = -c**2 + 6*c - 6. Let x be o(4). Suppose -5*f = -27 + x. Suppose 115 = 3*i - 4*d - 158, 0 = f*i + 4*d - 423. Is i a composite number?
True
Let n(h) = 2847*h - 2410. Is n(7) composite?
False
Let v(g) = -6*g**2 + 3*g + 2. Let c be v(7). Let n(w) = w**3 + 32*w**2 + 14*w - 14. Let q be n(-32). Let o = c - q. Is o composite?
False
Suppose -v + 5*i = -45888, 4*v - 4*i = 98961 + 84511. Is v prime?
True
Let o = -32121 + 17751. Is o/(-4) - (-20)/40 a prime number?
True
Is (-1 + 42240)*(-3)/(-9)*9/3 prime?
True
Suppose -29*q + 33*q - 6368 = 0. Suppose 4*c - 2*w = 1574, 4*w - q = 7*c - 11*c. Is c a composite number?
True
Let l(w) = w - 4. Let m be l(4). Suppose 13 = 5*f - 6*i, 2*f = -0*f + i + 8. Suppose 5*j + 2*y - 6269 = m, -3519 - 2744 = -f*j - 4*y. Is j composite?
True
Suppose 13*x = -7*x + 80. Suppose 0 = 5*o + 4*a - 5159, 0 = x*o - 5*a - 1480 - 2639. Is o a prime number?
True
Let l = -9789 + 9794. Let w = 5 - 3. Suppose -c = -l*i - 242, 0*c - 713 = -3*c + w*i. Is c a prime number?
False
Suppose i + 34279 = 8*i. Suppose -7417 - i = -2*q. Is q a prime number?
False
Suppose 6*z = i + 4*z - 570, -5*i = 5*z - 2910. Suppose i = 4*r - w, r - 4*w = -4*r + 717. Is r prime?
False
Let q = -4 - -5. Let r = q - -6. Suppose 5*l + 5*c - 270 = 0, 4*l + 5*c + 194 = r*l. Is l composite?
True
Suppose -5*u - 1309 = -4*u. Let t = 3730 - u. Is t a composite number?
False
Suppose -42*o - 3683053 - 9394385 = -108*o. Is o a prime number?
False
Let v = 12 - 7. Suppose 8*a = -329 + 265. Is 696/v + ((-8)/a)/(-5) prime?
True
Suppose 1 = 5*l + 2*z - 28, 4*l - 2*z = 16. Suppose 0*y - 5*n + 1554 = 4*y, l*y - 5*n = 1965