. Is t(-58) a composite number?
True
Suppose 21*x + 18*x - 5415033 = 0. Is x prime?
False
Suppose -8*k - 21*f + 17*f + 9274580 = 0, -3*k + 5*f + 3477948 = 0. Is k a prime number?
False
Let y be (24 - 23)*(-13276)/(-2). Suppose 2*i - 6*i + y = -2*t, 2*i - 3329 = 3*t. Is i prime?
True
Is (-3)/(-2)*(10302365/15 + 3) a prime number?
True
Is (-1)/3*(-4)/4*(0 - -266307) a prime number?
False
Let n = 16084 - 9798. Let d = n - 3191. Is d prime?
False
Let r = -4 - -8. Let c(y) = -163*y**3 - 2*y**2 + 2. Let s(p) = 163*p**3 + 2*p**2 - 2. Let f(x) = r*c(x) + 5*s(x). Is f(1) prime?
True
Let k = -320 + 325. Suppose -2*o - 10907 = -5*z + 2*o, -k*z + 10909 = -3*o. Is z a composite number?
True
Suppose 3*j - 9 = -3. Let x be ((-31)/j + 1)/((-1)/274). Suppose 1784 = 3*k + 3*z - x, -4*z - 1899 = -k. Is k composite?
True
Suppose i - 4*y = -17, 0 = -4*i + y + 3 + 4. Let x(z) = 12*z**3 - 4*z**2 - 2*z. Let w be x(i). Suppose u = -5*t + w + 144, -4*u + 344 = 4*t. Is t prime?
False
Let q = 181014 + -52445. Is q a composite number?
True
Suppose -2*y - 2*y - 4*y + 2450632 = 0. Is y composite?
False
Let r(t) = t**2 - t - 1. Let p(s) = -29*s**2 - 18*s - 120. Let l(m) = -p(m) - r(m). Is l(-10) prime?
True
Let n(j) = -310*j**3 - 17*j**2 + 64*j + 148. Is n(-7) a composite number?
True
Suppose 5*d + 239 = -3*m, 0 = 3*d - 9 + 3. Let u = m + 56. Is (9/u)/(1/(-609) - 0) a composite number?
True
Let z be (-36)/(-9)*(-18)/(-8). Let n = z + -4. Suppose -n*q + 7659 + 946 = 0. Is q composite?
False
Suppose 13*s + 117310 - 441842 = 0. Suppose 6241 = f + 2*m, -11*f + 7*f = 4*m - s. Is f composite?
True
Let s(r) be the second derivative of 521*r**3/3 - 19*r**2 - 31*r. Let z be s(6). Suppose -7*t + 4041 + z = 0. Is t composite?
True
Is (-2)/(-12) + 4111*710/60 a composite number?
False
Let a(y) = -9*y + 1. Let v be (-4 - 0)/(-1 - 0). Suppose -15*w = -16*w - v. Is a(w) a composite number?
False
Let r = 34 - 34. Let q(o) = o**2 + 3*o + 4. Let k be q(r). Suppose -k*b + 8204 = -4*u, -2045 = -b + u + 3*u. Is b a prime number?
True
Suppose 0 = 8*d - 6543 - 7489. Is d + -3*(6 + -5) composite?
True
Let o = 184 - 128. Suppose o*q - 48*q = 29768. Suppose -5*d = -3*n - q, -3*d - n = -0*n - 2227. Is d prime?
True
Let y(u) = 12*u - 165. Let m be y(14). Suppose 0*o + 5*o - 11013 = 4*h, -3*o + m*h = -6609. Is o a composite number?
True
Let h = 8 + -10. Let c be 11/11 - (4/2)/h. Suppose 4*k - m - 611 = 3*k, 3061 = 5*k - c*m. Is k composite?
False
Let y(k) = -126 + 320 - 19*k + 7*k**2 - 159. Let b be (8/4)/((-1)/(-4)). Is y(b) composite?
False
Let g(l) be the third derivative of -23*l**6/4 - l**5/60 - l**4/6 - 5*l**3/6 + 31*l**2. Is g(-2) a composite number?
False
Suppose -12*u + 2793826 = -0*u + 2*u. Is u prime?
True
Let j(s) = 5*s**2 + 9*s - 47. Let k be 1/1*2/(-2) - 23. Let d be j(k). Suppose 0 = -7*r + 13271 - d. Is r prime?
False
Let x = 44482 - 26941. Suppose x = 4*i + 5*i. Is i composite?
False
Suppose 0 = 2*w - 69*l + 66*l - 80465, -5*w - 3*l + 201152 = 0. Is w a prime number?
True
Let g = 283512 + -102895. Is g composite?
False
Let m = -1109775 - -1684648. Is m a composite number?
True
Let d(b) = 1. Let y(a) = 32*a + 5. Let c(q) = -4*d(q) - y(q). Let t be ((-96)/64)/(6/28). Is c(t) a prime number?
False
Let r(o) = -o**2 - 3. Let m be r(0). Let b(k) = -72*k + 285. Let u be b(4). Is (-1)/u + (-1337)/m composite?
True
Let s(t) = 4*t - 37. Let j be s(10). Suppose -j*k + 458 = -211. Is k a prime number?
True
Let j(s) = -146*s + 78. Let z be j(-18). Let d = z - 1769. Is d a prime number?
True
Let c be (-8)/6*3*(-6)/12. Suppose -2*o - 4*h = c*o - 8, -4*o + 20 = -2*h. Suppose -2*x + 3280 = o*l, 6*l = 3*l - 3. Is x composite?
True
Suppose -59 = -13*q - 189. Let t(s) = -6*s**3 + 8*s**2 - 24*s - 9. Is t(q) a composite number?
True
Suppose -241 = 11*x - 32. Let s(j) = -j**2 - 35*j + 85. Is s(x) composite?
False
Let t(k) = 160*k + 64*k + 17 - 6. Let y = -28 + 31. Is t(y) a composite number?
False
Suppose 2*q - 2*b - 96 = -q, 3*q - 3*b = 96. Suppose 45*t - q*t = 24713. Is t a composite number?
False
Is ((-41976)/(-1056))/(6/5272) prime?
False
Suppose 27*o + 17759519 + 16053229 = 135*o. Is o a prime number?
True
Let b(f) = -f**3 + f**2 + 1839. Let x(t) = -t**2 + 2*t + 63. Let k be x(-7). Is b(k) composite?
True
Let c(g) = -81*g + 39. Let p(v) = -81*v + 40. Let m(q) = 5*c(q) - 4*p(q). Let h = 294 - 302. Is m(h) prime?
True
Suppose 4*l + 4*c - 64 = 0, 7 = -3*c - 2. Is ((-4)/(-3) + (-7035)/(-63))*l a composite number?
True
Let m = -59 - -54. Is (-3)/(-5) - 3352/m a composite number?
True
Let u(i) = -i**2 + 3*i + 105. Let f be u(13). Let q(x) = -192*x + 89. Is q(f) composite?
False
Suppose 3*y = 362 + 49. Suppose y*d - 8 = 141*d. Is ((-6065)/(-4))/(2/(-16)*d) prime?
False
Suppose 0 = -13*z + 41 + 37. Suppose -3*b + h = -z*b + 49582, -33040 = -2*b + 3*h. Is b a prime number?
False
Let a(y) = 244*y**2 + y + 88. Is a(-13) composite?
True
Is (-330)/(-990) - (446116/(-6) + 0) prime?
True
Let l = 2063 - 698. Let q = l - -292. Is q prime?
True
Suppose 2*y + 2*y = -5*w + 1182, 4*w = 2*y + 930. Suppose 228*t = w*t - 1914. Is t composite?
True
Suppose -8*o - 365 = -133. Let l = o - -34. Suppose -27 = -l*y + 698. Is y a composite number?
True
Let j = 1071 + 50. Let p(g) = g**2 - 16*g - 156. Let t be p(23). Suppose -t*h + 4026 = j. Is h a prime number?
False
Suppose -788*d + 22149261 = -761*d. Is d a prime number?
True
Suppose -c + 4*i = -195821, 5*c - 500*i = -497*i + 979054. Is c a prime number?
True
Suppose 2*t - 4*m = -2*t + 60, -5*m = -3*t + 49. Suppose 23 = 4*s - 3*h, 5*s - h - t = s. Suppose 4*l + s*x + 2*x = 5036, -2504 = -2*l + 5*x. Is l composite?
True
Let x = 36 - 29. Suppose 6*r = 5 + x. Suppose -r*n - 18 = -892. Is n prime?
False
Let u(m) = 15*m**3 - 24*m**2 + 10*m + 5. Is u(18) a composite number?
False
Let s(n) = -4*n - 26. Let z be s(-12). Let p be (1*-1)/(z/154). Is 166 - (p + 3 - -7) a prime number?
True
Let w be (-379 - -2)/((-3)/(-12)). Let f = w - -3165. Is f a composite number?
False
Let i be ((-7)/((-84)/8))/((-4)/(-18)). Suppose -i*p + 14120 = -11569. Is p a composite number?
False
Let u(d) = -5*d - 15. Let j be u(-8). Let i be j + -11 + 7 + (-6)/(-3). Let n = i - -431. Is n a composite number?
True
Let m = 539 - 531. Suppose -21669 = -m*h + 16979. Is h prime?
True
Let x = 6763 + -2523. Suppose -3*m = -21964 - 9815. Suppose -4*o = -5*n + m, -4*n + x = -2*n - 3*o. Is n a prime number?
False
Suppose -2*f + 30 = -3*x, -4*x = -0*x - 8. Let u(k) = f - 5*k**2 + 5*k + 8*k**3 + 13 - 42. Is u(5) a composite number?
True
Let z(a) = -a + 9. Let d be z(5). Suppose f = 5*t - d*f - 685, t - 4*f - 152 = 0. Let j = t + -83. Is j a composite number?
True
Suppose -154112684 = -270*a + 431101246. Is a prime?
False
Suppose -1 = -k - 5*d + 1, d + 22 = 3*k. Suppose -k*z + 5 = -6*z. Suppose -24 = z*v - 1199. Is v prime?
False
Suppose 5*j - 79 = 3*h, -4*h - 93 = -4*j - 1. Let i be ((-44)/h)/(-11) + (-220)/(-18). Is -1 - ((-25196)/i + 1/(-3)) prime?
True
Let x(o) = o**3 + 57*o**2 - 23*o - 935. Is x(-46) composite?
False
Let i(h) = 25*h**3 + 2*h**2 - 5*h + 29. Is i(6) a composite number?
False
Is -3*(14/35 + (-126101)/15) prime?
True
Suppose u = 138 - 135. Suppose -4*z + 0*z + 8821 = 5*n, u*n - 5*z = 5263. Is n prime?
False
Let g = 235910 + -125313. Is g a composite number?
False
Let s(u) = 41*u + 94. Let k = 16 - 9. Is s(k) a prime number?
False
Suppose -7 = 4*m + 1. Is 7161 + (-3 + 7)/m a composite number?
False
Let v = -123 + 127. Suppose 0 = 2*i + x - 113 - 676, -3*i + v*x = -1189. Is i a prime number?
False
Suppose 13*t = 1551508 + 2583571. Is t a composite number?
True
Let y = -11 - 23. Let z = y - -42. Suppose z*d - 158 = 7*d. Is d a prime number?
False
Let c = -13689 - -34552. Is c a composite number?
True
Let k(h) = -2413*h - 514. Is k(-12) a composite number?
True
Is ((-15)/18 + (-697)/(-123))*247794 a composite number?
True
Let r(t) = t**2 + t + 6. Suppose 0 = g + m + 4, -g + 2 = 2*m + m. Let k be r(g). Let y = -29 + k. Is y prime?
True
Let n be (1 - 1551/(-5)) + (-95)/475. Suppose -314*l + 26655 = -n*l. Is l composite?
True
Let f = -921360 - -1805777. Is f a composite number?
False
Is 4/(-12) + (-19)/(-30) + (-1552017318)/(-11940) prime?
False
Let u = 6422 - 3376. Suppose -7*t + u = 2*i - 2*t, -5*i + 7577 = 3*t