pose -4*y - 46 - 2 = 0. Is t(y) a prime number?
False
Suppose -12*f = -8*f - 20. Suppose 14*c - 25497 = f*c. Is c a composite number?
False
Let l = 301 + 2253. Let o(j) = 301*j - 3. Let m be o(-6). Let v = l + m. Is v composite?
True
Suppose -i + 4*a - 5*a = -73076, i + 2*a - 73073 = 0. Is i prime?
True
Let y(d) = -6*d + 8*d**2 + 5*d**3 - 17 - 7*d - 2 - 4*d**3. Let x be y(-8). Suppose -x = -2*w + 89. Is w prime?
False
Suppose -42*t = -484263 + 300972 - 843147. Is t prime?
True
Suppose -87 = -n - 2*n + 4*o, -5*o + 116 = 4*n. Let s = 35 - n. Suppose 3174 = 5*v + 3*y, -s*y = -y - 15. Is v a prime number?
False
Suppose -3*t = 37 - 52. Suppose -35 = -t*j - k, -j + 9*k = 4*k - 33. Is ((-635)/4)/(((-22)/j)/11) a prime number?
False
Suppose 29*f - 138873 = 66128. Is f composite?
False
Suppose -11*u = -20*u + 99. Suppose -u*k - 11611 = -38418. Is k composite?
False
Let t = 655 + 5012. Is t prime?
False
Suppose 3*x - 8 = -11. Is (x/8*-7286)/((-5)/(-20)) prime?
True
Suppose 149*t - 284342 = 132*t. Is t a composite number?
True
Let i = -106 + 108. Suppose i*r + 20*r - 14806 = 0. Is r prime?
True
Let w = 5773 - 10337. Let n be (2/4)/((-2)/w). Suppose -5*o = -0*o - 5*v - 1905, 3*o - 2*v = n. Is o prime?
True
Let b(f) = 18*f**2 + 17*f - 13. Let t = -135 - -122. Let p be b(t). Let z = -1447 + p. Is z prime?
True
Let x(l) = 17*l**2 - 71*l + 2953. Is x(-50) a prime number?
True
Suppose 4*a - 23 = -247. Let i = -53 - a. Suppose -4 = 2*j - i*j, -4*h + 1236 = 4*j. Is h prime?
False
Suppose -16 = 2*v - 3*w - 17, 4*v = w + 27. Is (-11)/22 + 54028/v prime?
False
Let i be (6/4)/((-1)/(-552)). Let k(t) = -t**3 + 12*t**2 - 27*t + 74. Let m be k(10). Suppose -m*d + i = -7768. Is d composite?
True
Suppose 11 = -13*u + 37. Suppose 0 = -2*f + 4*f - 3390. Suppose f = 5*m - 5*j, 1360 = 6*m - u*m - 5*j. Is m a prime number?
False
Suppose -g + 8 + 24 = 0. Let h = 66 + -64. Suppose -g = h*b - 286. Is b a composite number?
False
Suppose 0 = p - 8*p + 77. Suppose 2642 = p*f + 453. Is f composite?
False
Let q = -7198 + 10786. Let p = -847 + q. Is p composite?
False
Suppose 0*y = -3*y + 2*j - 11827, -5*j = 3*y + 11792. Let g = -796 + 794. Is (7 - y)*g/(-4) prime?
True
Suppose 577266 = 2*t - p, -2*t + 49*p + 577266 = 47*p. Is t composite?
True
Suppose -6 = -2*p, -29*p + 26*p + 565 = c. Let k = 843 - c. Is k a prime number?
False
Is (3/(-6) + 13/(-26))/(3/(-27897)) a composite number?
True
Let k(b) = 494*b**2 + 3*b - 7. Let f be k(3). Suppose f = -20*l + 24828. Is l a prime number?
True
Suppose -5*b + 28*b - 4194674 = -1132155. Is b prime?
True
Suppose -1567740 = -2*r - w, 5*r - w + 2351609 = 8*r. Is r a composite number?
False
Suppose -j - 2*r = -2*j + 3, -2*r - 2 = -2*j. Let g be 122856/(-120) - ((-12)/(-10) + j). Let m = -615 - g. Is m prime?
True
Let g(n) = 36*n**2 - n + 29. Let z(w) = 54*w**2 - 3*w + 43. Let l(r) = 8*g(r) - 5*z(r). Is l(5) composite?
True
Let c(h) = 29*h**3 - 9*h**2 + 88*h - 1823. Is c(19) a composite number?
False
Suppose -4*q = 95389 - 1199673. Is q a composite number?
True
Let v = -16365 - -74260. Is v composite?
True
Is 8/((-128)/(-3770296)) - 3/6 a prime number?
False
Let j be (-16)/(-5) + (-6)/30. Let q be (2*2/(-4))/(j/(-18)). Suppose -2*c + q = 0, c - 5*c - 832 = -4*l. Is l a prime number?
True
Let w(r) = -53*r + 150. Let m be w(20). Let f = 1611 + m. Is f prime?
True
Let t be ((-55)/(-10) + -3)*1142. Suppose 5 = -5*i, 0*m + 5*m - 5*i - t = 0. Let q = m - 359. Is q a composite number?
False
Let i be 10/5 + (-3)/6*4. Let n(f) = -10 - 17*f**2 + 0*f**3 + 23*f + i*f**3 + f**3 - 8. Is n(19) prime?
False
Let q(p) = -p**3 + 13*p**2 - 11*p - 8. Let t be q(12). Suppose -t*j = -0*j - 1772. Is j a composite number?
False
Let b be (5/10)/(4/(-32)). Let v(r) = -211*r**3 + 2*r**2 + 5*r + 7. Is v(b) composite?
False
Let z(v) = -25 - 129*v - 159*v - 210*v - 137*v. Let o(x) = -318*x - 13. Let c(b) = 5*o(b) - 2*z(b). Is c(-5) composite?
True
Suppose -162*r + 155*r + 1246 = 0. Let a = r + -93. Is a a prime number?
False
Suppose 330*k + 165 = 335*k. Suppose 0 = 5*g + k*g - 189886. Is g composite?
True
Let n(y) = -y**2 + 30*y - 6. Let m be n(15). Let d = -733 + m. Let i = d - -1951. Is i composite?
True
Let v = -5 - -341. Suppose -9*g + 8*g = -v. Let f = 787 - g. Is f composite?
True
Let f = 446620 + -253419. Is f composite?
False
Suppose -4*u + 5*m + 109843 = 0, -3*u + 2879*m = 2884*m - 82356. Is u a composite number?
False
Let i(a) = -16512*a + 7213. Is i(-44) composite?
False
Let y be 359 + (-3 - (-2 - 0)). Suppose 6*u + 787 + 743 = 0. Let b = y + u. Is b a prime number?
True
Let z(o) = 96*o**2 + 34*o + 303. Is z(16) a prime number?
True
Suppose -119 - 66 = -37*g. Suppose 3*w - 9898 = g*h, h = -5*w + 2*h + 16460. Is w prime?
False
Let r(t) = -115*t - 141. Let m be r(-18). Let j = m + 44. Is j prime?
True
Let n(x) = -9*x**3 + 9*x**2 - 5*x - 9. Let y be n(8). Let u = y + 7470. Is u a composite number?
False
Let a = 30401 + 15306. Is a a prime number?
True
Suppose -47124 = -6*j - 16*j. Suppose 4*m - j = 2*b, m - 6*b - 531 = -10*b. Is m prime?
False
Is (1 - -5026) + (-5 - (6 - 11)) prime?
False
Suppose 25*f - 33*f = 80. Is f*(1921/(-10) + -1) a composite number?
False
Let o = -85 - 2647. Let r = o + 4582. Suppose -6*t + 3*t - r = -2*l, t + 1842 = 2*l. Is l prime?
True
Let z be (6 + 4 - 12) + (-1 - 2). Is (-1)/(4*z/19540) a prime number?
True
Let y(h) = 9*h**2 - 3*h - 1. Let f be y(-1). Let q be (f/2)/(5/(-10)). Let m(v) = -v**3 - 9*v**2 - 8*v - 11. Is m(q) prime?
False
Let l(x) be the second derivative of 51*x**5/5 - x**4/12 - 3*x**3/2 + 9*x**2/2 - 33*x + 4. Is l(1) a composite number?
True
Let a(f) = -34*f - 25. Suppose 36 = 18*o - 14*o. Suppose 12*t = o*t - 45. Is a(t) prime?
False
Is (-63402)/4*580/(-30) a prime number?
False
Let d(f) = 4*f**2 - 3*f + 4. Let w be d(1). Suppose 0 = w*p + n - 6299, p - 1251 = -0*n + 2*n. Is p a prime number?
True
Is (1 - 46/4)/((-1110)/740) - -1703454 a composite number?
False
Let h = 522088 - 186495. Is h prime?
False
Let k be (16*6/4)/(-1). Let m = k - -1. Is (-17 - m)*(0 + (-58)/(-4)) prime?
False
Suppose 37*j - 31445131 - 63290246 - 88592408 = 0. Is j a prime number?
False
Suppose 0 = 4*a - 3*u - 1309353, 157*a + u - 327326 = 156*a. Is a a composite number?
True
Let p(q) = -5 - 14 - q**2 - 12 - 23*q. Let i(a) = -2*a**2 - 46*a - 138. Let x be i(-20). Is p(x) composite?
False
Let o(c) = c**3 - 57*c**2 + 145*c + 376. Is o(77) prime?
True
Let m(v) = 81*v + 8. Let q = 1 - -5. Suppose -f - 26 = -2*u - q*f, 0 = -3*f + 12. Is m(u) composite?
False
Let t(c) = 4*c**3 - 2*c**2 - 4*c + 3. Let u = -38 - 22. Let d = u - -64. Is t(d) prime?
True
Let i be (-402)/(-14) - (-4)/14. Suppose -602 = -14*b - 154. Suppose b*m = i*m + 282. Is m prime?
False
Suppose 0 = -234*d + 232*d + 56. Is 126014/d - (-3)/2 prime?
False
Suppose -v + 2*m + 163061 = 0, -15*v + 3*m = -11*v - 652244. Is v prime?
True
Let a(z) = z**2 - 35*z + z**3 + 10 + 6*z**2 - 17*z**2 + 7. Is a(14) prime?
True
Let v(j) = 69*j**2 + 7*j - 84. Let f be v(6). Suppose 242*l - 248*l = -f. Is l a composite number?
True
Suppose 0 = 5*y - 3*v - 15, -y + 7*v = 2*v - 3. Suppose d + y*d = 928. Suppose -3*z = 79 - d. Is z composite?
True
Let j(t) = -2*t**2 + 7*t - 4. Let l be -4 + 1 - (-3)/(6/14). Let w be j(l). Is (11242/w)/(-1) - (-5)/(-20) composite?
True
Suppose -1184 - 4822 = -22*l. Suppose -l*k + 268*k + 4265 = 0. Is k composite?
False
Let n be (-180)/(-42) - 2*4/28. Suppose 2*i = -3*k + 4871, -k + n*i + 1618 = -i. Is k a prime number?
False
Suppose 212*i + 2*r + 561467 = 213*i, 3*i + 4*r - 1684371 = 0. Is i a composite number?
False
Suppose -4*q - 24519 = -d, 183*d - 181*d - 49029 = -q. Is d a composite number?
True
Is -33*(-52)/286 + (-1 - 4428/(-2)) composite?
True
Is ((-8)/(-80)*-6802555 + 2)*(-2 + 0) a composite number?
False
Let k(o) = -3534*o**3 - 12*o**2 - 39*o + 64. Is k(-5) a composite number?
True
Suppose -t + 0*v + 6 = -v, t + 2*v = 3. Suppose 4795 = t*p + 1780. Suppose -c + 10*c - p = 0. Is c composite?
False
Let j(m) = -2*m**2 + 17*m + 7. Let f(b) = -b**2 + 8*b + 4. Let o(z) = 11*f(z) - 6*j(z). Let g be o(14). Suppose -4*y = -g*y - 3898. Is y a prime number?
True
Let j(g) = 2*g**3 - 57*g**2 + 29*g - 32. Let n be j(28). Is (-1212)/(-36) + n/6 a prime number?
False
Let b(j) = 5785*j**3