j**4 - 5/2*j**2 + 0 - 24*j. Is q(6) a composite number?
True
Suppose -4*y + 2 = -2*y. Let i be (y - 4)*7/21 - -12. Suppose -2*x + i*x = 1899. Is x prime?
True
Let u be 36/3*(-2)/(-8)*23. Suppose -4*r - 3*q - 46 = 27, 2*r - 5*q + u = 0. Is 2787/5 + r/55 prime?
True
Let u(y) = -50 + 61 + 2497*y**2 + 1549*y**2 - 20*y - 52. Is u(-2) prime?
True
Suppose 122 = -8*a + 90. Is ((-1365)/(-26))/((-2)/(-100)) - a a composite number?
True
Let f = 22065 - 3794. Is 4 + f + -25 + 19 composite?
False
Let f = 64938 - 23051. Is f a prime number?
True
Let x = -45431 + 108204. Is x composite?
False
Suppose -20*t - 9431970 = -26*t. Is t a composite number?
True
Suppose y + 11 = 3*t, -2*t = t + 5*y + 1. Suppose 4*h - k = -2*k + 3963, t*h + 4*k = 2969. Is h a composite number?
False
Let m = 109272 + -61369. Is m a prime number?
True
Let i be 46/14 - (130/14 - 9). Suppose 0 = -5*d + i*m + 83342, -16097 = -d - 3*m + 575. Is d a composite number?
True
Let z = -163 + 167. Suppose z*v - 122 - 2226 = 0. Is v a composite number?
False
Suppose -38*l = -14*l - 198384. Let j = 12044 - l. Is j prime?
False
Let s = 36703 + -14916. Is s a prime number?
True
Let l be 89 + -1 + (2 - 2). Let h(x) = l*x + 29 + 3 + 11 + 146*x. Is h(5) composite?
False
Let m be (-645)/(-12) - ((-28)/(-16) + -2). Suppose 53*q - m*q = -391. Is q prime?
False
Is ((-57)/19 - 10) + 12714 prime?
False
Let u(x) = 5743*x**2 - 4*x - 18. Is u(-1) prime?
False
Let v(y) = 30*y**2 - 110*y - 12091. Is v(-127) composite?
True
Let z be (-1 + -3796 - 5) + -2 + -1. Let k = z + 9164. Is k prime?
False
Suppose 25*t - 91489 = 22411. Suppose -13*q + t = -3686. Is q prime?
False
Suppose 2*c - 9*h + 12*h = 10, -15 = -3*c - 3*h. Suppose 22448 = c*l - 3*z - 11384, 0 = l + 2*z - 6769. Is l a composite number?
True
Let q(j) = 4*j + 40. Let z be (-15)/25 - (-47)/(-10)*2. Let y be q(z). Suppose y = 3*b + 5*d - 489, -5*d - 11 = -4*b + 641. Is b a prime number?
True
Let n = 347948 + -185449. Is n composite?
False
Let a(v) = 6*v**2 + 6*v + 12. Let k be a(12). Suppose p - 2*w - 1859 = -0*p, 5*w = 5*p - 9270. Let f = p - k. Is f prime?
False
Let a = 35317 - -118836. Is a a composite number?
False
Let x(m) = -3*m - 55 + 25 + m - 24534*m**2 + 28. Let p be x(-1). Is (0 - 3/7) + p/(-63) prime?
True
Let m = 14 + -6. Suppose -4*z + 4*i - m*i + 60 = 0, -4*z + 4*i = -28. Let t(g) = 204*g - 7. Is t(z) a composite number?
False
Suppose 0 = 2*a + 46 - 32. Let f(k) = 29*k**2 + 26*k - 49. Let b(q) = 19*q**2 + 17*q - 33. Let v(u) = -7*b(u) + 5*f(u). Is v(a) a composite number?
True
Let x = 1745 - 984. Let q = 2882 + x. Is q prime?
True
Is (-2853)/12*2/(-3)*302 prime?
False
Let v(z) = 32*z**2 - 4*z + 3. Let y(g) = -g**3 + g**2 + 3. Let w be y(0). Suppose w = 12*u - 9*u. Is v(u) composite?
False
Suppose 340176 - 6302952 - 7301866 = -127*j. Is j a composite number?
True
Suppose -30*q + 264 = -36. Suppose 6*r - 39344 = -q*r. Is r a prime number?
True
Let t(r) = -r**3 + 113*r**2 - 97*r + 4349. Is t(96) a composite number?
True
Suppose 20 = -5*k - 3*q + 4*q, 2*q = -3*k - 25. Let n(z) = -z - 8. Let g be n(k). Is (677 - 13) + g/(3/2) prime?
False
Suppose -686825 = -109*x + 47*x + 37*x. Is x a composite number?
True
Let t(x) = 38956*x - 553. Is t(21) prime?
False
Let w be 135/3 - 0/5. Let u = -31 + 71. Suppose w*b - u*b = 1775. Is b a composite number?
True
Suppose 0 = -2*b - 697 + 845. Is (3303/18)/(-1 + 75/b) prime?
False
Let q(b) = 5*b**2 + 4*b + 2. Let f be q(6). Let p(n) = 36*n**3 + 8*n - 10. Let u be p(4). Suppose 8*z + f = u. Is z a composite number?
True
Let z(d) = 2*d**2 + 6*d - 15. Suppose u - 2*u = -2*q - 24, -36 = 2*q - 4*u. Let m be z(q). Let b = 178 - m. Is b composite?
False
Let t(r) = -4*r + 9*r**2 - 95*r**3 - 97*r**3 - 3 - 18*r**2 + 4. Is t(-2) a prime number?
False
Suppose -3*r = 4*m + 20435, 2*m - 6814 = r + m. Let v = -4597 - r. Suppose -3*w - w + v = 4*l, -15 = 5*w. Is l composite?
False
Let b = 7 - 72. Let a = b + 60. Let w(d) = -5*d**3 - d**2 - 12*d - 13. Is w(a) composite?
False
Let b be ((-4 + 13)*-2)/((-6)/(-4)). Is (-2)/8 + ((-570741)/b)/19 prime?
True
Let v(m) = 13853*m**2 + 2*m - 2. Let k be v(1). Suppose -25*x + 18*x + k = 0. Is x composite?
False
Let j = -276 + 274. Let x(d) = -1541*d**3 + 3*d**2 + 9*d + 1. Is x(j) a prime number?
True
Let w(s) = 103*s - 122. Suppose -2 = -2*m + 12. Is w(m) prime?
True
Let a = -112 + 62. Let y = -47 - a. Suppose -s = 1, y*z - 1569 = z - s. Is z a prime number?
False
Suppose -4*u + 66 = -2*u - 5*f, 4*f - 33 = -u. Is (-192948)/(-44) + (-6)/u prime?
False
Suppose -6 = -3*o, -606855 = -3*h - 2*o + 9844. Is h a composite number?
True
Let c(l) = 5*l**2 + 12*l + 11. Let d be c(-1). Suppose -5*o + 0*o = -4*i - 7573, d*o + 2*i - 6074 = 0. Is o composite?
True
Let i = -24558 + 53787. Suppose 16*k = 26227 + i. Is k composite?
True
Let a be 1392/3*(-5 - -7). Let i = a - 675. Is i composite?
True
Suppose -h + 3655 = 4*h. Suppose h = -8*o - 381. Is o*2*3/(-6) composite?
False
Let y = -122 - -119. Let j(x) = -110*x + 13 - 4 + 9 - 1. Is j(y) prime?
True
Suppose 3*o = -q - 4, 2 = 11*o - 10*o - 3*q. Is (-879712)/(-144) + o/9 prime?
False
Let s be 0/((-11)/((-77)/(-21))). Suppose -5*x + s*c + 5203 = 4*c, -2084 = -2*x - 3*c. Is x a prime number?
True
Suppose -d + 2*c + 15 = -0*c, 3*c + 25 = 2*d. Suppose -u - 1125 = -2*s - 0*u, -s = d*u - 568. Is s a composite number?
False
Let s(z) = 11*z**2 + 12*z + 55. Suppose -83 = -d - 87. Let i(q) = -10*q**2 - 12*q - 54. Let v(w) = d*i(w) - 3*s(w). Is v(-16) a composite number?
True
Suppose 1215*o = 1209*o + 347790. Is o a prime number?
False
Suppose 13*x = 2972 - 788. Suppose -q + 95 = -x. Is q composite?
False
Suppose -4*a - 1018 = 718. Let k = 901 + a. Suppose -j - 2*j = -5*d - 452, -2*d - k = -3*j. Is j a composite number?
True
Suppose -y + 5180 + 5992 = 4*c, -33561 = -3*y + 3*c. Suppose -y + 1468 = -7*v. Is 2*v/8*3 a composite number?
True
Let a(x) = 505*x**2 - 5*x + 1. Let r = -217 + 223. Is a(r) prime?
False
Suppose -2*m - 2*h + 29742 = 0, h - 414 - 59064 = -4*m. Let z = -9882 + m. Is z a composite number?
False
Let j(k) = 65*k**2 - 33*k - 185. Let t be j(-21). Suppose -3261 - t = -2*m. Is m a composite number?
False
Suppose 63*o + 1147 + 2822 = 0. Is 74167/10 - o/210 composite?
False
Suppose 2*p + 2*d = 1205422 + 564666, -7*p = 2*d - 6195293. Is p prime?
True
Suppose 0 = 2*u + 5*u - 14. Suppose p - 3*n = 2, -4*n = -u*p + 6*p - 8. Is 9/(-18) - (-3523)/p prime?
False
Suppose -3*q + 5960 = 4*s, 3*s + 3865 = 2*q - 131. Suppose p - q = -2*p. Let y = p - -49. Is y prime?
False
Let h be -2*(-4718)/(-35)*345/12. Let a = h - -11708. Is a a prime number?
False
Is 42850 + ((-110)/66)/((-5)/27) a composite number?
False
Suppose 767046 - 4716126 = -24*f. Is f prime?
False
Suppose 0 = 3*r - l - 3, 2*r = l - 27 + 30. Suppose -q + 2*x + 3149 = r, -4*x - 308 + 3475 = q. Is q prime?
False
Suppose y = 2*w - 1218093, 25*w - 30*w + y = -3045222. Is w prime?
True
Let m = 101 - 24. Suppose 0 = -m*d + 72*d + 16495. Is d a composite number?
False
Let p(o) = -3 + 3 + 13*o**2 + 40*o**2. Let w be 12/8*2/3. Is p(w) a composite number?
False
Let d(v) = -v**2 + 17*v + 3. Let y be d(17). Suppose -718 = -y*q + 263. Suppose 2*j - a + 649 = 6*j, 0 = 2*j + a - q. Is j a composite number?
True
Let m = -6787 + 1906. Is 166/1577 + m/(-19) a composite number?
False
Suppose 2*g = -2*g + 32. Let l be (g + -4)/8*12. Let u(r) = 3*r**3 - 2*r**2 - 4*r + 11. Is u(l) a composite number?
False
Let u(r) = r - 8. Let a be u(8). Suppose a*w = -6*w. Suppose 8*s - 2574 + 1046 = w. Is s prime?
True
Let b(y) = -y - 1. Let n(v) = 2*v**2 - 5. Let m be (1*(-5)/5)/(-1). Let o(x) = m*n(x) - 5*b(x). Is o(-11) prime?
False
Let w = 1040087 + -569689. Is w composite?
True
Suppose -5*g - 60 + 15 = 0. Let m be 3/(-2)*(-483 + -1). Is (3/g)/((-2)/m) prime?
False
Let m = 69245 + 37370. Is m prime?
False
Let c be (-10 + 0)/(-1*2). Let y be (-190)/57*(-9)/c. Suppose -5*x - y*b + 4790 = -9*b, 2880 = 3*x - 3*b. Is x a prime number?
False
Let d = 221063 - -23510. Is d prime?
False
Let t = -47 - -48. Let s be ((-10505)/(-11))/(t/11). Suppose 3*w = 8*w - s. Is w a composite number?
True
Is (14/10)/((-35)/(-1006075)) a composite number?
True
Let w = -39720 + 118619. Is w composite?
True
Is (-6)/8 + (-602286550)/(-488) - 6 prime?
True
Suppos