Is h composite?
True
Suppose -6*o + 9*o = -372. Let b = o + 505. Is b prime?
False
Let s(t) = 259*t**2 + 2. Let o(u) = u**3 + 13*u**2 + 11*u - 9. Let k be o(-12). Is s(k) a prime number?
True
Let o(k) = 15 + k + 8 + 14. Is o(21) a composite number?
True
Suppose 2*o - 5*u = -2*o + 30892, 7723 = o + 5*u. Is o prime?
True
Suppose 9081 = 9*v + 3024. Is v prime?
True
Let h be ((-3)/(-2))/((-3)/(-8)). Suppose 0 = g - 2*n - 269, -n = h*g - 699 - 332. Is g prime?
False
Let j be 6/(-8)*2*4. Is (j + 2)/12*-777 a prime number?
False
Suppose 123 = 7*d + 39. Suppose 0 = d*l - 11070 - 870. Is l a prime number?
False
Suppose -10*y = 8*y - 28746. Is y prime?
True
Is (-74)/259 + 266466/14 + -2 a prime number?
True
Suppose 0 = 2*q - 0*q - 5482. Is q composite?
False
Let x = -518 + 984. Suppose -4*c + x = -378. Is c a prime number?
True
Let y be 2/(-4)*2 + 1588. Let o = y - 946. Is o a composite number?
False
Suppose -4*t + 1 = y, 2*y = y + 5*t + 10. Let x(s) = 4*s + 15. Is x(y) composite?
True
Is (-12)/(-60) - 4188/(-10) a prime number?
True
Suppose x - 21 = -2*x. Suppose -4*i = z - 226, 2*z = 4*i + x*z - 218. Let q = i - 36. Is q a composite number?
True
Let w(v) = -6*v - 1. Let r be w(-1). Let i(g) = -7*g + g**3 - 5 + 5 - 3 + 5 - r*g**2. Is i(9) a composite number?
False
Suppose -6 = 5*j - 1. Is (-291 - 16)*1*j prime?
True
Let k be (-3 - 20/(-15))/(1/(-3114)). Suppose -5 = v, -5*v = 3*a - 2*v - k. Is a a composite number?
True
Suppose -5*h - 22*h + 473013 = 0. Is h a prime number?
True
Let i = 43 - 41. Suppose c - 5*c + i*q = -220, c + 5*q = 55. Is c composite?
True
Let k be 2/(-4) + (-14)/(-4). Is k*(-916)/(-12)*5 prime?
False
Let v be (-19)/(1/(-2 + 13)). Let p be (-6 + 5)/((-1)/v). Let i = p + 304. Is i composite?
True
Suppose 9 = -16*q + 19*q. Suppose -q*t - 218 = -2165. Is t a composite number?
True
Suppose -16 = -3*w - w, 0 = -4*d - w + 30456. Is d a prime number?
False
Suppose 19*t - 3668 - 32318 = 0. Is t a prime number?
False
Let q be ((-14)/(-4) - 3)*2. Let u be ((-72)/15)/((-2)/5). Is (1191/u)/(q/4) prime?
True
Suppose -4*h = 8, -3*l - 5*h + 5952 = 2131. Is l a prime number?
True
Suppose 7*t + 85391 = 11*t - s, -3*s = -5*t + 106744. Is t a composite number?
False
Suppose p - 8*u = -4*u + 11, -u = -5*p + 17. Suppose -p*g - 1776 = -2*f + 2*g, 0 = 5*f + 4*g - 4374. Is f composite?
True
Suppose -2*m + 5 = -3. Suppose 14 + 18 = m*b. Is b/6*(-1524)/(-8) composite?
True
Suppose -3*h - 2*p + 13878 = p, 0 = -2*p + 2. Let r = h - 3148. Is r a composite number?
True
Suppose 4*x = -2*b + 6, 3*b - 9 = 4*x + x. Let l be (-287)/b*(16 - -5). Is (l/(-14))/(2/4) a prime number?
False
Suppose -2*u + 7*u - 12 = -r, -r - 8 = -5*u. Suppose 4*p = -u*a + 3 + 25, a - 8 = -p. Is p a prime number?
False
Suppose g - 5*n + 6*n - 3687 = 0, -2*g - 5*n + 7362 = 0. Is g a prime number?
True
Let m be 18/(-27)*33/(-2). Let k = 12 - m. Is 1 - (-13 + (k - -2)) a prime number?
True
Let z(m) = -108*m + 11. Let d(r) = -r**2 - 5*r + 2. Let w be d(1). Is z(w) a prime number?
True
Let x(u) = -28*u**3 - 6*u**2 - u - 1. Let d be x(-4). Let v = -548 + d. Is v composite?
False
Suppose -32*m + 10508 = -36*m. Let k = -972 - m. Is k a composite number?
True
Let x be 2/6 - (-48852)/(-27). Let h = -258 - x. Suppose 11*k - 8*k = h. Is k composite?
True
Let a = 58 + -55. Suppose 0 = 5*d - a*l - 7911 - 977, 4*d + l = 7107. Is d a composite number?
False
Let d(j) = j**2 - 7*j + 13. Let n be (-3 + (-18)/(-3))*6. Suppose u - n = -u. Is d(u) composite?
False
Let x(i) = -2*i - 5. Let m(y) = y**3 - 6*y**2 + 8. Let n be m(6). Let k be x(n). Let d = k - -242. Is d a composite number?
True
Let q(c) = 1 - 2*c**2 + c - 3*c + 17*c**3 + 2. Suppose 0 = -8*a + 28 - 12. Is q(a) a composite number?
False
Let s be (4 - (-36)/(-16)) + 1/4. Is ((-523)/s)/((-3)/6) prime?
True
Let y(k) = -3*k**2 - 6*k - 2. Let w(l) = -3*l**2 - 6*l - 2. Let u(d) = 4*w(d) - 5*y(d). Let v = -7 + 2. Is u(v) prime?
True
Suppose -7*o + 2*o + 14 = -b, 0 = -b - 2*o. Is 18456/(-18)*3/b a composite number?
False
Suppose 3*t + 3*c = 5*t - 737, 3*c - 707 = -2*t. Suppose 4*o - 131 = t. Let a = o + -61. Is a a prime number?
False
Suppose 0 = -5*o + 20 + 5. Suppose 3*m = 3*h + 3, o*h - 39 = -5*m + 16. Suppose -g + 4 = -m. Is g prime?
False
Suppose -8*v + 2*v = -3270. Let y = v - -42. Is y a prime number?
True
Let y be 1290/2 + -8 + 7 + 2. Suppose 0 = -5*c + 2681 - y. Is c a prime number?
False
Suppose 5*m = 4*q + 7575, -m - 5*q + 646 + 840 = 0. Is m prime?
True
Let u(i) = 8*i + 2. Suppose 2*g - 7 = -3, f - 4*g + 3 = 0. Let l be (-1 + f)/(4 + -3). Is u(l) prime?
False
Suppose -51734 = -14*w - 5940. Is w a prime number?
True
Let o be (2/(-8)*-6)/(6/916). Let u = 406 - o. Is u composite?
True
Suppose 2114 = -6*c + 104. Let p = -222 - c. Is p a composite number?
False
Suppose -6*b + b = 2*d + 16, 3*d - 10 = b. Let m be (1416 - -3)/(3/d). Is (-12)/8 + m/4 a composite number?
True
Suppose 4*x - 15161 = 12755. Is x a composite number?
True
Suppose -28 + 68 = 5*h. Suppose 0 = -3*o - h + 17. Suppose 358 = o*k - 680. Is k prime?
False
Let u be (0/(-7 + 5))/(-2). Suppose u*k + 3*k + 4901 = 5*h, 2*k = -4. Is h prime?
False
Let f(g) = 20*g + 41. Is f(6) composite?
True
Is 1567/(((-24)/20 - -1)*-5) composite?
False
Let f(g) = -g**3 + g**2 - g - 5. Let s be 524/22 + 4/22. Suppose -6*t = s - 0. Is f(t) a prime number?
True
Let x(u) = u + 1. Let w(h) = -11. Let r(l) = w(l) + 5*x(l). Let i be r(6). Suppose t - 173 + i = 0. Is t a prime number?
True
Let q be (3573/(-2))/(3/54). Is ((-4)/6)/(18/q) composite?
True
Suppose -5*b = 3*d - 0*d - 3960, -4*b - d = -3161. Suppose -3*g - g + b = 3*v, -1052 = -4*v - g. Is v a prime number?
True
Let m be (9268/(-5))/(28/(-70)). Suppose 3*c + 23142 = 5*h, 6*c = -h + c + m. Is h composite?
True
Suppose 11*j = 10*j + 4. Suppose -235 = -j*p + 273. Is p prime?
True
Suppose -2*a = -4*z + 50960, -19*z + 16*z + 38213 = 2*a. Is z prime?
True
Let z(a) = a**2 - 16*a + 15. Let h be z(13). Is (-2722)/8*(-32)/h*-3 prime?
True
Let f(q) = 44*q**2 + 11. Let l = -25 - -30. Is f(l) composite?
True
Suppose w - 5*m + 9 = -6, 4*w = -2*m + 28. Suppose -11*f + 1602 = -w*f. Is f a prime number?
False
Suppose 7*z - 12*z + 15 = 0. Suppose z*a - 1 = -7. Is a/9 - (-17194)/18 composite?
True
Suppose -2*x + 52345 + 29124 = p, 0 = 5*x + 3*p - 203672. Is x a composite number?
True
Let k(t) be the third derivative of 5/12*t**4 + 0 + 5*t**2 + 0*t - 7/6*t**3. Is k(3) a prime number?
True
Suppose 0 = -5*r + 4*r + 18943. Suppose -5*k - 2953 + r = 0. Is (-3)/(-4) + k/24 a composite number?
True
Suppose -8*t + 1 + 23 = 0. Is (4 - 18/t) + 165 a prime number?
True
Let z be ((-2)/(-7))/(4/28). Let p be -4*(z - 1) + 1. Is 103*(-1 + 5 + p) composite?
False
Let p(z) = 12*z**3 + 10*z**2 + 14*z + 1. Is p(6) a composite number?
False
Suppose -2*n - 28 = -7*g + 4*g, -3*n + 12 = 0. Suppose 1683 = -3*t + g*t. Is t composite?
True
Let n(m) = -1592*m - 131. Is n(-5) a prime number?
True
Suppose 6*h = 5369 - 635. Is h composite?
True
Let h(q) = -2*q**2 + 3*q - 23. Let y be h(8). Let m = y + 268. Is m composite?
True
Suppose 3*n - 685 = -0*w + 5*w, -n = w - 223. Let m = -96 + n. Is (m/6 - -3)*2 prime?
False
Suppose 2006 = -2*f + 4*f. Suppose 96 = k - f. Is k prime?
False
Let g(x) = 117*x**2 + 2*x + 3. Let n(s) = s**3 - 10*s**2 + 9*s - 2. Let r be n(9). Is g(r) composite?
False
Is ((-3223)/(-55))/((-2)/(-10)) a composite number?
False
Let w(j) = -j**2 - 6*j + 10. Let b be w(-7). Is (b/(-3))/(1/(-751)) a composite number?
False
Suppose 3*h - 81 = -4*d - 21, 0 = -d + 2*h + 4. Is ((-3175)/(-20))/5*d a prime number?
False
Suppose 39411 = 33*d - 6855. Is d a prime number?
False
Suppose -9*t + 558 = 4*g - 12*t, -2*t - 419 = -3*g. Is g prime?
False
Suppose 0 = -5*w + 4*r - 4, 2*r + 12 = -3*w - 8. Let k be w/20 + (-84)/(-20). Suppose k*x + 348 = 1512. Is x prime?
False
Let l be (6/(-9))/(10/(-225)). Suppose -g = 4*g - l. Suppose g*d + 4*i - 60 = 39, -15 = 5*i. Is d composite?
False
Let k be (-6498)/(-4)*3*(-32)/(-18). Suppose -4*z - 2*a + k = 0, -8654 = -4*z - 2*a + 5*a. Is z composite?
True
Is (0 - 1754)*(-48)/96 a prime number?
True
Let o be 8/(-40) + 58/(-10). Let m(s) = 13*s**2 + s - 23. Is m(o) a composite number?
False
Suppose 4*i = -4*z - 44 - 24, 0 = 5*z - 5. Let k be 4/i + (-100)/(-45).