 -30*g + 1214. Is g prime?
True
Suppose q - 11*q = 22700. Is (-5)/20*2*q a composite number?
True
Let d = 50 - 46. Suppose q + 762 = d*q. Is q a composite number?
True
Let j = 9 - 5. Suppose j*h - h - 9 = 0. Suppose h*i + z = 109, -5*z - 12 = -2. Is i prime?
True
Let u(g) = 392*g - 17. Suppose -35*s + 36*s - 3 = 0. Is u(s) a composite number?
True
Let f(v) = -117*v - 716. Is f(-47) prime?
True
Is (-2)/(7/((-91658)/4)) prime?
True
Let t(y) = -3*y - 7. Let j be t(-8). Let m = -17 + j. Is -191*(4 - (m + 5)) composite?
False
Suppose -4*y = 11100 + 5676. Let q = y - -7787. Is q composite?
False
Suppose 2*g = 7*g - 25. Suppose 0 = -g*i - i + 2502. Let r = i - 200. Is r a prime number?
False
Let q = 21 + -24. Let x be -13*(-2)/1 - q. Let i = x - -2. Is i a prime number?
True
Is (-60)/(-270) - (-26287)/9 a prime number?
False
Suppose 7 + 8 = 5*z. Suppose 485 = z*t - 442. Is t a composite number?
True
Let p(q) = -518*q + 3. Suppose 4*j - 1 = 5*j. Is p(j) a prime number?
True
Suppose -314972 = -9*c - 107189. Is c prime?
True
Let x be 1 + (-3 + 2)/(-1). Suppose -x*r - 2*r + 5*s + 10 = 0, 2*s = -r - 4. Suppose -2*t - 15 + 121 = r. Is t prime?
True
Suppose 11*k = -10*k - 126. Let b = -28 - -40. Is 9/k*(-904)/b prime?
True
Let n = -251 + 447. Is 3 + -4 + (n - 4) a prime number?
True
Let o = 1217 + -316. Suppose 6*d - 1325 = o. Is d prime?
False
Is ((-1416)/4 - -7)/(4/(-20)) composite?
True
Let w = -60 - -91. Suppose 34*r - 423 = w*r. Is r a prime number?
False
Let h(x) = 4044*x**2 + 29*x - 51. Is h(2) a composite number?
False
Let f(d) = d**3 + 21*d**2 - d - 23. Let y be f(-21). Is ((-42)/(-12))/(y/(-508)) a composite number?
True
Let p(g) = -610*g**3 - g**2. Let q be p(-1). Suppose 2386 + q = 5*y. Let u = y + -421. Is u a composite number?
True
Suppose -u + 3*y + 2 = -4, -5*u = 4*y - 11. Suppose 0 = -4*x + u*n + 27, -4*x - n + 22 = n. Is ((-4)/x)/(40/(-108060)) a composite number?
False
Suppose -w = 1 + 2. Let o be (10/(-4))/(w/6). Suppose -30 - o = -5*y. Is y composite?
False
Suppose 2*b - 5*d = -193, 0 = 3*d - 7*d + 4. Let a(c) = 89*c - 2. Let n be a(-2). Let h = b - n. Is h composite?
True
Let f(h) = 6*h + 4. Let p be f(1). Suppose -5864 = p*l - 14*l. Is l a prime number?
False
Let a = 28 - 33. Let t(x) = -36*x + 22. Is t(a) a composite number?
True
Suppose 0 = 3*g + 2*g + 2*b - 14309, g - 4*b = 2853. Is g a prime number?
True
Let l = 57994 + -20465. Is l prime?
True
Let h be (30/25)/(2/(-20)). Let r be 8/(44/h + 3). Is 2/(-4) + (-2226)/r a composite number?
True
Let a(c) = 200*c - 4. Let k be a(-3). Let n = k + 1023. Is n a prime number?
True
Let o(r) = -245*r - 71. Is o(-6) composite?
False
Let m(g) = 121*g**3 + 2*g**2 - g - 1. Let y be m(3). Suppose y - 1082 = 3*b. Is b a prime number?
True
Let k = 21 + -21. Suppose x = -k*x + 766. Suppose 41 = -5*w + x. Is w prime?
False
Let o = 29 + -25. Suppose 5*v + t = o*t + 4718, -4717 = -5*v + 2*t. Is v composite?
True
Suppose -q = 4*w - 3*q - 35994, -q - 3 = 0. Is w prime?
False
Suppose -5*n + 16180 = -925. Is n a prime number?
False
Suppose 2004 = 6*n - 0*n. Let z = n - 87. Is z composite?
True
Suppose 0 = 4*r + p - 6*p - 1, 0 = -2*r - 2*p - 22. Let j be (-2 - 4)/(r/4). Suppose -657 = j*d - 5*d + 4*a, -3*d + 2056 = 5*a. Is d prime?
True
Let g(h) = h**2 - 11*h + 7. Let v be g(9). Let n = v + 11. Suppose n = 2*j - 8 + 2, -3*o + 3*j + 1914 = 0. Is o composite?
False
Let c = -3562 - -5799. Is c prime?
True
Let a(s) = 3*s**2 + 43. Let u be a(0). Suppose -u = l - 2*l. Is l a composite number?
False
Let w be 26/5 - 7/35. Suppose -y - d = y + 122, -287 = w*y - 2*d. Let g = 84 + y. Is g a composite number?
True
Suppose -489 = -26*y + 23*y + d, -326 = -2*y - 4*d. Is y a prime number?
True
Let c be (16/(-5))/(8/(-20)). Is (1618/c)/((-1)/(-4)) prime?
True
Suppose -1172 = 6*u - 4556. Suppose 7*y - u - 535 = 0. Is y prime?
True
Let l(b) = -14*b + 25. Let t be l(-9). Let k = -54 + t. Is k a composite number?
False
Suppose 0 = 8*w - 13129 - 22143. Is w composite?
False
Let a(u) = -9*u**3 - 2*u**2 - 19*u - 1. Is a(-12) a composite number?
True
Let p(b) = -244*b - 3. Let d be p(-1). Let t = 460 - d. Is t composite?
True
Let n(f) = 463*f**2 + 24*f - 70. Is n(3) a prime number?
False
Let n(f) = f**2 - 7*f - 10. Suppose 3*q = 2 - 14. Is n(q) prime?
False
Suppose -2*l = 4*d + 2*l - 12, -3*l = 4*d - 9. Suppose d = -3*p + 319 + 392. Is p prime?
False
Suppose -6*p + 14*p = 4168. Let q = -360 + p. Is q a composite number?
True
Is (-4)/8*-1 - (-28285)/2 prime?
True
Let i = 27779 - 10548. Is i composite?
False
Let m(b) = -b**2 - 12*b - 12. Let r be m(-11). Let k(i) = 3*i + 4. Let f(o) = o. Let t(a) = r*k(a) + 4*f(a). Is t(18) a prime number?
False
Let d be (-1 + 0)*(1 + -1221). Let f(r) = 13*r - 23. Let w be f(2). Suppose -q - 4*q = w*n - d, -5*n + 5*q + 2100 = 0. Is n a composite number?
True
Let c(x) = 42*x - 14. Let r(a) = 14*a - 5. Let y(s) = -4*c(s) + 11*r(s). Let k be (-3)/((10/(-6))/(-5)). Is y(k) a composite number?
False
Suppose -671342 = 41*f - 55*f. Is f a composite number?
True
Let b(w) = -2*w**3 - 5*w**2 + 8*w - 1. Let h be (-1)/4 + (-368)/64. Is b(h) prime?
False
Suppose 3*t + 132 = 4*d, -179 = 5*t - d + 41. Is (t/4)/((-2)/82*1) prime?
False
Let p(x) = 15*x**3 - 6*x**2 + 6*x + 2. Is p(5) prime?
False
Let f = -145 - -149. Suppose -1197 = -5*i - f*i. Is i a composite number?
True
Is 2500/28 + (-10)/35 composite?
False
Suppose 113323 = 3*w - 5*b, -b + 151120 = 4*w - 2*b. Is w composite?
False
Let a be (-1 - -1)/(2/2). Suppose -4*j = -d - 8, 4*j - 56 = -3*d - a*j. Suppose -c - d = -134. Is c a composite number?
True
Is -76771*(2/(-5))/(94/235) a composite number?
False
Suppose -10*x + 11242 + 15368 = 0. Is x prime?
False
Suppose -8*q + 2875 = -3*q. Let p = q + -175. Let c = 234 + p. Is c composite?
True
Suppose 0 = 4*w - 2*g - 7 + 1, 2*w = -4*g + 18. Let i be (w - 1)/(10/455). Suppose -2*a - 23 = -i. Is a prime?
False
Suppose a = -14*a + 60. Suppose 3*m = a*v + 3135, -m + v = 5*v - 1061. Is m a composite number?
False
Let m be (48/(-30))/((-12)/5 - -2). Is (-4 + 7 - m) + 1 + 2609 a prime number?
True
Suppose 11*z - 10156 = 16431. Suppose -7*m - 646 + z = 0. Is m a composite number?
True
Let m = 2445 - 1342. Is m a prime number?
True
Let g = 80594 + -36421. Is g prime?
False
Let m = 115146 + -72505. Is m a composite number?
False
Let w(l) = 22176*l**2 + 31*l + 32. Is w(-1) a composite number?
True
Let h(o) = -11*o + 7. Let y = 12 - 18. Let z be h(y). Suppose -r + z = -2*k - 58, -2*r + 254 = -2*k. Is r a composite number?
True
Suppose -3*v + 23931 = -3*d, -30*v + 28*v + 4*d = -15950. Is v a prime number?
False
Suppose -4*z + 234 = -z. Suppose 2*f = 5*f - 3. Suppose -j - f = -z. Is j prime?
False
Suppose -d + 3047 = -5*l, 2*d - l = -3*l + 6070. Suppose -d = -9*r + 374. Is r a composite number?
False
Let r be (-24)/(-2)*(-8)/(-32). Suppose 5*j = 6*j - r. Suppose j*n = 5*k + 370, -n = -k - 176 + 56. Is n composite?
True
Suppose -5*b = 4*w - 8*b - 2642, -4 = -2*b. Let k = 1295 - w. Is k composite?
True
Suppose -5*n - 4*p + 22 - 94 = 0, -4*n - 2*p = 54. Let a(g) = 5*g - 1. Let z(o) = -5*o + 2. Let x(q) = -4*a(q) - 3*z(q). Is x(n) prime?
False
Suppose 11 = -8*p + 3. Is p/(5708/1903 + -2 + -1) a composite number?
True
Suppose 2*d - 9*a + 8*a = 35140, 87851 = 5*d - 3*a. Is d composite?
False
Let g(j) = -21*j - 5. Let i be 3/((-18)/(-20))*3. Suppose 6*m = m - i. Is g(m) a prime number?
True
Suppose -3*v + 30174 = g, g + g = -3*v + 60351. Suppose 12*n - 1995 = g. Is n a prime number?
False
Let w(s) = -s**2 + 10*s. Let t be w(5). Suppose 20*l - t*l = -100. Suppose -k - n + 531 = 0, l = -2*n - 3*n. Is k composite?
True
Suppose -3883 - 598 = -z. Is z a prime number?
True
Suppose -2*f - 5*i + 15 = 0, -16 = 3*f - 3*i + 14. Let k(x) = 56*x**2 - 18*x + 9. Is k(f) a composite number?
False
Let q(j) = -2*j**2 + 33*j - 3. Suppose f + 4 = 0, 3*i - 6*i + 64 = -4*f. Is q(i) prime?
True
Is (14/(-7))/(2*2/(-47308)) composite?
True
Let w be 2104/10 + (-10)/25. Let b = w + -143. Let q = b - -22. Is q a composite number?
False
Let r(n) = 1. Let t(d) = -310*d - 8. Let p(z) = 5*r(z) + t(z). Is p(-1) composite?
False
Suppose u - 3665 = -4*u. Let m(v) = -76*v - 6. Let w be m(-1). Suppose -u + w = -3*q. Is q prime?
False
Let y be -1*4*18/(-24). Let j(t) =