ime number?
True
Suppose 0 = a + 4*h - 35917, 130826 = 4*a - 4*h - 12922. Is a prime?
True
Let l = 6452 + -3341. Suppose 0 = 5*b - l - 6094. Is b a composite number?
True
Let v(a) = -878*a**3 - 3*a**2 - 11*a - 1. Is v(-2) prime?
False
Let r = -105 - -91. Is -3*((-6)/r + (-15292)/42) prime?
True
Let h be 2*(-1)/((-4)/(-116)). Let o = 315 + h. Is o prime?
True
Suppose 0 = -51*u + 47*u + 32. Suppose 0 = s + 5, 0*l + 2*s + u = -l. Is (-17 - -19)*115/l a prime number?
False
Let b(f) = 14*f**2 + 4*f - 1. Let y be b(3). Suppose -y - 97 = -2*v. Let w = v + -38. Is w a prime number?
True
Suppose -4*w - w + 5*k = -17615, 0 = 4*w - 3*k - 14092. Suppose -5*j + 5913 = -2*o, 3*j + 4*o = -o + w. Is j composite?
False
Suppose 23*i - 11601 = 10456. Is i prime?
False
Let j = 6 + 2. Let d = -1 + j. Let v(n) = n**2 - 2*n. Is v(d) composite?
True
Is (-9)/6 - (-1298231)/22 composite?
False
Let w(v) = 5*v**3 + 5*v**2 - 11*v - 12. Is w(5) a prime number?
True
Let s(n) = 14*n**2 + 16*n - 21. Suppose 0 = 2*q + 47 - 57. Is s(q) prime?
True
Let y(i) = 5 - 6 - 7*i**3 + 115*i**3 - i**2 + 145*i**3 - i. Is y(2) a prime number?
True
Let r(h) = h**3 - 9*h**2 + 13*h - 12. Let d be r(9). Is 3 + (30/(-18))/((-1)/d) prime?
False
Suppose 0 = -2*t + 5*t - 15. Suppose -t*q - 906 = -4301. Is q a prime number?
False
Let u(t) = -t**3 + 18*t**2 - 2. Let d be u(18). Let m be d + 2 + (-6138)/(-6). Let b = -652 + m. Is b a prime number?
False
Suppose -4*x + 3*v = -3 - 13, 5*x + 3*v = 20. Let s be (-7682)/(-8) + (-1)/x. Suppose 2*i = 2*l - s, -4*i = 8 - 4. Is l prime?
True
Is (-4)/(-2)*(10 - (-70890)/20) composite?
False
Suppose 4*i = -3*k + 4*k - 6437, 19311 = 3*k + 5*i. Is k composite?
True
Is (-25)/275 + 178806/11 a composite number?
True
Let g(m) = -7*m + 40. Let z(a) = -3*a + 20. Let l(c) = -6*g(c) + 11*z(c). Is l(13) a prime number?
True
Suppose 4*l + 20 = 0, -20*d = -24*d - 4*l + 20960. Is d prime?
False
Suppose 0 = -4*y - 5 - 11. Let r be (6 + -4)/(y/(-10)). Suppose -r*s - s = -2358. Is s composite?
True
Let z = 6 - 4. Let t(s) = 4 + 41*s**2 - 12*s**z + 8*s**2. Is t(3) a prime number?
True
Suppose -s = -4*y - 11, -y = 3*s - 4 - 3. Suppose 0 = -4*w + 4*b + 1400, w - 1415 = -s*w + b. Is w prime?
False
Suppose -2*f = 3*x - 8121, -f + 1201 = 5*x - 12327. Is x prime?
False
Suppose -8 = 4*o, -4*n + 7*n - 60025 = -4*o. Is n a prime number?
True
Let w be (-2)/4 - 11320/(-16). Suppose 3*h - 7252 - w = -5*v, 0 = -h - v + 2653. Is h prime?
False
Suppose 27795 = 5*t - 5*n - 955, -t + 5738 = 3*n. Is t a composite number?
True
Suppose 0 = -9*h - 23483 + 122726. Is h prime?
True
Suppose -2*y = 14 + 16. Is 3/5 - 1 - 2241/y composite?
False
Suppose 11*w - 8*w = i - 3565, 3*w - 3577 = -i. Is i a prime number?
True
Suppose 5*b - a - 21421 = 22805, -3*b - a = -26542. Is b composite?
True
Suppose 5*l = 7*l, 2*v - l = 2674. Is v composite?
True
Let g = 33553 + -19730. Is g composite?
True
Is 9/63 + 304560/21 prime?
True
Suppose 1213*h - 1205*h = 18968. Is h a prime number?
True
Suppose 0*q + 20945 = 5*q. Suppose 7*o = q + 1502. Is o prime?
False
Let r = 1 - 0. Is ((-121)/3)/(r/(-3)) prime?
False
Suppose -5437 - 904 = -i. Is i prime?
False
Suppose -3*r + 5*r - 1211 = -i, -i + 1211 = 4*r. Is i a composite number?
True
Let r(w) = 3*w**3 - 4*w**2 + 7*w + 5. Let t be (22/55)/((-1)/(-5)). Let a be (-11 + 25)*1/t. Is r(a) composite?
False
Let s be 111/(-6)*-2 - -1. Let x = -34 + s. Suppose 0 = -2*t - 2*c + 916, x*t + c = 1004 + 825. Is t a composite number?
False
Let b be (-3*(0 + -1) - 1) + 0. Is -437*(-3 - b) - (15 + -13) composite?
True
Suppose 53*j - 73*j + 1559380 = 0. Is j composite?
False
Let j be 119*1 + 1*-1. Let a be (-62)/(-8) + -7 + (-121)/(-4). Let g = j - a. Is g a composite number?
True
Is (-30)/(-24) - 15359/(-4) a composite number?
True
Suppose -30*i + 26*i = -12. Suppose 3*z - 469 = -u, 4*u + i*z - 456 - 1402 = 0. Is u a prime number?
True
Let m(i) = -69*i + 28. Let u be -10 + (0 - -2) + -1. Is m(u) composite?
True
Let c be (-10 - -5)/((-279)/(-282) + -1). Let y = 921 - c. Is y prime?
False
Let m(k) = k**3 + 5*k**2 + 4*k - 16. Let z be m(11). Suppose 0*j - 4*j + z = 0. Is j a composite number?
False
Let d = 15904 + -6177. Is d composite?
True
Let o = 35455 + -20474. Is o composite?
True
Suppose 67*k = 2024228 + 3410745. Is k prime?
True
Suppose -3*g = 4*b - 3612 - 91, -b - 5*g = -930. Let j = b - 224. Is j composite?
False
Let f(g) = -2*g. Let o be f(7). Let w(x) = -x**3 - 14*x**2 - 5*x - 10. Let a be w(o). Suppose 4*q + 0*t = -3*t + 223, q - a = -5*t. Is q a prime number?
False
Suppose 2*p - 3*p = y, 3*p + 12 = 3*y. Suppose 4*f - 3*j - 1514 = -0*f, f = y*j + 381. Is f composite?
True
Suppose -2*d = -3*q - q - 44, 0 = -4*d - 8. Let v(y) = -55*y + 21. Is v(q) composite?
True
Let u(x) = 11*x**2 - 2*x + 1. Let m(y) = -y**2 + y + 3. Let r be m(0). Let o be u(r). Let a = o - 63. Is a a prime number?
True
Let o(t) = -4*t + 3*t + t - t - 8. Let b be o(-12). Suppose 8*n - b*n = 340. Is n a composite number?
True
Suppose 5*z + 11 = -2*a, -3*a - z + 1 = -2. Suppose -a*n - 12 = -2314. Is n a composite number?
False
Suppose -4*a - 4 = -5*a. Suppose a = -3*n - 5. Is (n/5)/((-1)/10) composite?
True
Suppose c = -3*x + 1893, -631 = 3*x - 4*x - 3*c. Is x a composite number?
False
Suppose 3*g + 4*d + 15 = 6786, 0 = 5*g + 4*d - 11277. Suppose 3*s - g = 3*i - 228, 2 = -i. Is s prime?
True
Let y = 451 - 309. Suppose -3388 = -6*w - y. Is w a prime number?
True
Let l(x) = -x**3 + 27*x**2 + 4*x - 13. Is l(25) a prime number?
False
Suppose -3*u = 4*q + 5326, -3*u + 2*q + 846 = 6148. Let a = u + 2743. Suppose -h + 2*k = -a, 4*k - 3242 = -4*h + 650. Is h prime?
False
Let n = 35084 + -13463. Is n a prime number?
False
Let r(x) = x**2 + 1. Let k be r(0). Let m(s) = 78*s**2 - 1. Let y be m(k). Suppose 0 = 4*v - z + 90 - 474, -v + y = -5*z. Is v composite?
False
Is (-864579)/148*12/(-9) composite?
False
Suppose p + 2*w - 20212 = 0, 0 = 4*p - 0*p + 5*w - 80863. Is p a composite number?
True
Is (-76)/12 - -8 - 3756/(-9) a composite number?
False
Suppose 5*m + 5220 = 4*c + c, -3116 = 3*m + c. Let g = m - -1459. Is g a composite number?
False
Let o be 105/18 + (-2)/(-12). Let v = o + -28. Let g = v + 45. Is g composite?
False
Let l = -1128 - -567. Let b = -292 - l. Is b prime?
True
Let b(o) = -4*o**3 + 2*o**2 - o - 2. Let s be b(-1). Suppose 0 = -0*m + s*m + 535. Let k = 50 - m. Is k composite?
False
Let h = -2 - -5. Suppose 0*v + 5*v = h*b + 59, v = 5*b + 3. Suppose o - v = -0. Is o a prime number?
True
Suppose -4*m + 69422 = 5*p, -4*m + 69416 = -0*m + 2*p. Suppose 22*a = 15*a + m. Is a a composite number?
True
Let o be 292/10*(20 + 30). Let b = -483 + o. Is b composite?
False
Let j = 17 + -12. Suppose 0*y = 2*y + 2*t - 10, j*y - 31 = -3*t. Is 6/y + (-1899)/(-12) a prime number?
False
Suppose 0 = 4*i + 2*a - 9582, -2*i = -i - a - 2388. Is i a prime number?
True
Suppose 465 = v - 3*q, 0 = -0*v - 2*v - 4*q + 960. Let l = v - -9031. Is l prime?
False
Let i = 64841 + -45454. Is i composite?
False
Suppose c - b + 3*b - 34 = 0, 3*c + 5*b - 105 = 0. Let h = 93 - c. Is h a composite number?
False
Suppose 3*x - 296 = 2*h, -2*x + 5*h + 495 = 3*x. Let y be x/(-1 - -2) + -2. Suppose 3*q + 3 = y. Is q composite?
False
Let s be 102848/48 - (-2)/6. Suppose -w - 2*w - 3*g + 2139 = 0, 3*w + 2*g = s. Is w a prime number?
False
Is ((-14167)/2 + -2)*66/(-33) prime?
False
Is 3080 - (5 + (4 - 8)) a composite number?
False
Suppose 2*z + 2*o = 5*o + 3931, -7902 = -4*z - 2*o. Is z prime?
True
Suppose 0 = 3*l + 3, -7*t + 8849 = -3*t + 3*l. Suppose 7*a - t = 1616. Is a a composite number?
False
Let c = -18769 + 28990. Is c prime?
False
Let g(a) = -8*a**3 - 2*a**2 + 3*a. Let z be g(2). Suppose -8*m + 318 = -6*m. Let d = z + m. Is d a prime number?
False
Is (4*3/6)/(6/18735) composite?
True
Let g be -2 - -5 - (-5)/(-5). Suppose -4*l + g*l + 1690 = 0. Suppose 60 = -5*d + l. Is d a composite number?
False
Let b(t) = -169*t**3 + 2*t**2 - 7*t - 7. Is b(-3) a prime number?
False
Suppose 4*c + 216 = -2*c. Let j = 17 - c. Is j prime?
True
Let f = -5 - -7. Suppose 3*o = -f*o. Let x(i) = -i**3 - i**2 - i + 95. Is x(o) a prime number?
False
Let q be (-32)/(-10)*-55*402/(-12). Suppose k + 4*n + q = 5*k, 4382 = 3*k + 5*n. Is k composite?
True
Let i be 192/42 + 6/