alse
Suppose -48126 = -3*u - 9735. Is u composite?
True
Is 60/14 - 4/14 - -1527 a prime number?
True
Suppose -8*r = -18947 + 475. Is r a prime number?
True
Let a = -54581 - -113518. Is a composite?
False
Is (-6 + 7)*1153 + 4/(-2) prime?
True
Suppose -8673 - 18226 = -5*w - 3*y, 5*w + 4*y - 26897 = 0. Is w composite?
False
Is (-15)/(-5) + 4309 + (-2 - -7) a composite number?
True
Let o(m) = 14*m**2 + 8*m + 14. Let f be o(15). Suppose a = -a + 5*y + 2183, -3*a + f = 2*y. Is a prime?
False
Is 11823/15 + 42/(-35) a composite number?
False
Let n(i) = -i**2 - 27*i + 15. Let b be n(-11). Suppose -2*a + 0*k + b = 5*k, 2*a - 4*k - 182 = 0. Is a prime?
False
Let y(t) = 5027*t**2 - 2*t - 1. Let w be y(-1). Suppose -4*x + 3176 = -w. Is x a prime number?
False
Suppose 2*h - 5902 = -4*m, m = -2*m - 4*h + 4419. Is m composite?
True
Let o be (9/27)/(1/222). Let c = -5 + o. Is c composite?
True
Suppose 3*n = f - 2885, 2*n + 14355 = 5*f + n. Suppose g - z - 568 = 0, 5*g - z - f = -2*z. Is g prime?
False
Let k(a) = -a**3 + 7*a**2 + 2. Let b be k(7). Suppose f - 3*p - 1359 = 737, -b*f + 4213 = p. Let x = f - 1242. Is x a composite number?
False
Let i be (-1 - 0) + (-6 + 7 - -2). Is (-1 - i)/(5/(-265)) composite?
True
Suppose -p = 5*o + 18, -3*p - 6 = 3*o - 4*p. Let u(n) = n**3 + n**2 - 2. Let r(l) = l**3 + l**2. Let b(w) = -3*r(w) + u(w). Is b(o) composite?
True
Suppose -13781 = -f + m, 0 = 4*f + 3*m + 21309 - 76405. Is f prime?
False
Suppose -1960 = 8*z - 56. Let q = 429 + z. Is q composite?
False
Let c(n) = 81*n - 24. Let i(f) = 4 - 14 - 6 + 54*f. Let t(o) = 5*c(o) - 7*i(o). Is t(15) a composite number?
False
Suppose -9*o + 12 = -33. Suppose -5969 = -3*c + 2*x, -2*x = o*c - 9897 - 30. Is c a prime number?
True
Let l(h) = 9*h**2 - 9*h + 11. Let i(x) = -3*x - 13. Let n be i(-6). Is l(n) a prime number?
True
Suppose -4*n = 2*h - 1710, 6*h = h + 2*n + 4299. Suppose 0 = -k + h - 174. Is k prime?
False
Let u = 25 - 28. Is (-4250)/u + 1 + (-45)/(-135) composite?
True
Let j(o) be the third derivative of -o**6/30 + 5*o**4/24 + o**3/3 + 4*o**2. Let w be j(-3). Suppose -3*c + 5*z = -484, -2*c + 235 = 4*z - w. Is c composite?
False
Suppose h - 3*v = 2*h - 37, -3*h = -3*v - 171. Suppose 0*m = -4*m + h. Is m composite?
False
Let y = -11618 + 19611. Is y composite?
False
Let b(z) = 301*z + 58. Is b(19) composite?
True
Let b = -77 + 127. Is 8528/10 + 10/b composite?
False
Let s(u) = u + 7. Let n be s(0). Let i = n - 7. Suppose 3*v - z - 488 = -i*z, 0 = -v - 2*z + 151. Is v a prime number?
False
Let r = -73 - -56. Let q(f) = f**2 + 4*f - 34. Is q(r) a composite number?
True
Suppose -3*s + 12 = -0*s. Suppose -38 = -s*v + 106. Suppose v = 3*q - 66. Is q a prime number?
False
Let z be (21 - 15) + 3*1/(-1). Suppose m - 6280 = -4*m - 5*o, 5*o - 3762 = -z*m. Is m a prime number?
True
Suppose 3*t = -3 - 6. Let g(x) = -31*x**2 - 3*x + 1. Let n(k) = 30*k**2 + 4*k - 1. Let d(f) = -4*g(f) - 3*n(f). Is d(t) composite?
True
Suppose v - 3 + 1 = 0. Suppose -2*s - 4*o = -4, v*s = 3*o + 7 + 11. Suppose 0 = -s*j - 92 + 314. Is j prime?
True
Is (4 - (-3240 + -3))/1 composite?
True
Let x = 7130 - 2824. Is x composite?
True
Suppose -8*x = 4*x - 132852. Is x prime?
True
Let s(a) = -a**2 - a - 1. Let m(v) = v**3 + 17*v**2 + 9*v - 4. Let z(f) = m(f) + 6*s(f). Let o be z(-9). Let l = o - 88. Is l a prime number?
True
Let o = 20 - 17. Suppose -o*p = 7*p - 1270. Is p a composite number?
False
Suppose u - 2*a = -7*a + 13, -5*u - a = -17. Suppose 2*y = r - 1393, -u*y + 5*y + 5590 = 4*r. Is r a composite number?
False
Suppose 2*n - 9198 = 3*y, 6*y = -3*n + 7*y + 13811. Suppose 12*g - 9*g = n. Is g prime?
False
Let c(x) = 9*x**2 - x + 21. Let b = -79 - -74. Is c(b) composite?
False
Let a be (12/(-6))/(2/4). Let m(t) = -345*t + 7. Let q be m(a). Suppose -q = -7*d + 90. Is d composite?
False
Is (168315/(-9))/(-1) - 34/51 prime?
True
Is (-71369)/(-1) + 22 + (6 - 26) prime?
False
Let p(h) = h**2 - 3*h - 7. Let c be p(5). Let v be 90 - c*(-3)/(-9). Suppose 3*s + v = 4*s. Is s composite?
False
Suppose 3*s - 647 - 1639 = 2*a, 3*a + 3*s + 3429 = 0. Let t = a - -2110. Is t composite?
False
Suppose 2*t - 5*z = -3*t + 140, -z = 3*t - 64. Suppose t = -2*b - 25. Let v = b - -82. Is v a composite number?
True
Let b(w) = 5*w**2 + 11*w - 17. Let k = -44 + 53. Is b(k) prime?
True
Let o(h) = 415*h**2 + 10*h - 23. Is o(2) prime?
True
Suppose -436*k + 167414 = -410*k. Is k prime?
False
Let f be (-2)/(-1)*77/14. Let m = -11 + f. Suppose m = 2*w + 15 - 493. Is w a composite number?
False
Suppose h - 2*f = 7 + 6, -3*h = -3*f - 24. Is h/((-1872)/628 + 3) a composite number?
False
Is (31 - 32)*(-26781 + 2) a composite number?
True
Suppose -13 = 4*i - 37. Suppose -3*m = 3*c - 771, i*m - m + 3*c = 1289. Is m a prime number?
False
Let g(m) = m**3 + m**2 - m - 1. Let i be g(-1). Suppose 5*n = 3*r + 3913 + 15046, -4*r + 8 = i. Is n a prime number?
True
Let r(y) = -12*y**3 - 4*y**2 - 2*y - 3. Let k be r(-3). Suppose -8*n + 325 + k = 0. Is n a prime number?
False
Let w(x) = x**3 - 3*x**2 + 8*x + 5. Is w(10) prime?
False
Let q(j) = -30*j**3 + 7*j - 2*j - 3 - 9*j + j**2. Let d be q(-2). Suppose 2*p + d = 5*p. Is p prime?
True
Let d = 65084 + -42583. Is d a composite number?
False
Let i = -32 + 31. Is (-9)/(-18)*(-244)/i a prime number?
False
Let u = -433 - -786. Suppose -u = -p - 0*p. Is p prime?
True
Suppose -15 = -2*p - p. Suppose -p*j - 2302 = -7*j. Is j composite?
False
Suppose -1099709 = -15*z - 14*z. Is z a composite number?
True
Suppose -4*c - c = -25. Suppose -c*n - 3584 = -9*n. Suppose -442 - n = -6*a. Is a prime?
True
Let m be 524/(-20) + (-2)/(-10). Let k be ((-13)/m)/(1/6). Suppose -p + 211 = -3*o, p - 844 = -3*p - k*o. Is p a composite number?
False
Suppose s + 3*f = 6*f + 8499, -25497 = -3*s - 5*f. Is s a prime number?
False
Is ((-9638)/237)/(2/(-159)) a prime number?
False
Let k(v) = v**2 - 9*v - 10. Let d be k(10). Is 774 + 0/(-3) + (4 - d) prime?
False
Suppose 3*z = -5*y + 109579, 5*z + 2*y = 3*y + 182613. Is z composite?
False
Let b(r) = 11*r**3 - 4*r**2 + r + 11. Is b(6) composite?
True
Let u = -48 - -57. Let i = 8 - 4. Suppose i*x - u = 203. Is x a prime number?
True
Let a = -6215 + 8976. Is a prime?
False
Suppose -3*j - 3*l - l = 30, 2*j + 19 = -3*l. Let x(b) = b**2 - 4*b + 5. Is x(j) composite?
False
Let i(l) = 3*l**2 - 17*l - 115. Is i(-19) composite?
False
Let x(y) be the second derivative of -146*y**3/3 - 7*y**2/2 + 17*y. Is x(-3) a prime number?
False
Let f(j) = j**3 - 4*j**2 - 8*j - 8. Let g be f(8). Suppose -5*h + h = g. Let k = -24 - h. Is k composite?
True
Suppose 20*h + 42357 = 134437. Suppose 1200 + h = 4*r. Is r a composite number?
False
Suppose -5*r + 5 + 40 = -5*g, 2*g = 3*r - 15. Let c(z) = -z**3 + 4*z**2 - 2*z + 3*z - 5 - 13*z**2 + 3*z. Is c(g) prime?
True
Suppose q - 6432 = 4*q - 5*a, 3*a - 2144 = q. Let x = -1335 - q. Is x a composite number?
False
Let o be (-4)/(-22) - 8/44. Let s = 218 + 1727. Suppose o = 5*j + 25, 3*c - j - s = 61. Is c a composite number?
True
Let w = 11040 + -20433. Let v = -5122 - w. Is v a prime number?
True
Is (3 + (-610344)/90)/((-1)/5) composite?
False
Suppose 57*h - 58*h = -4327. Is h a composite number?
False
Let w(b) = -9044*b + 87. Is w(-5) a composite number?
False
Is 11/(510/254 + -2) prime?
False
Let i(c) be the second derivative of -245*c**3/3 - c**2/2 - 2*c. Suppose 15*l = 2*l - 13. Is i(l) prime?
False
Is ((16 + 85852)*2/8)/1 composite?
False
Let d(j) = -45*j - 8. Suppose -7*l - 25 - 10 = 0. Is d(l) a composite number?
True
Let j = 71 + -211. Let b = j + -172. Let v = b + 809. Is v a composite number?
True
Let a(d) = 76*d**2 + 5. Let l(c) = -229*c**2 - 14. Let r(o) = -11*a(o) - 4*l(o). Let f be r(1). Let y = f + -50. Is y a prime number?
True
Is 6/(-33) - 6*329001/(-66) prime?
False
Let f(b) = 4631*b - 69. Is f(4) prime?
False
Suppose -3*u = u - 4*v - 147664, 5*u = -3*v + 184556. Is u a prime number?
True
Suppose -4*v = 2*a + 6, 4*v = 3*a - 32 + 1. Suppose 19 = 3*b + a*f - 15, 4*f - 20 = 0. Suppose -b*p + 425 = 4*z, 2*p + z = -3*z + 282. Is p composite?
True
Let f = 706 - 287. Is f a composite number?
False
Let x(n) be the first derivative of -n**2/2 - 4*n + 1. Let r be x(-6). Suppose -r*j + 762 = 2*f, j + 1357 = 4*f - 147. Is f prime?
False
Suppose 0 = -640*a + 