 a prime number?
True
Suppose -5*v + 12 = -4*g - 1, 2*v - 2*g = 4. Let l(a) be the third derivative of a**6/120 - a**5/60 - a**4/24 + 4*a**2. Is l(v) a prime number?
False
Let q(x) = 929*x**2 + 35*x + 223. Is q(-6) prime?
True
Let s = 250 - -106. Suppose 0 = -j + 3*j - s. Suppose 5*d - j = -4*y + 69, -3*d + 159 = -3*y. Is d a composite number?
True
Let v = 40519 - 19912. Is v a composite number?
True
Suppose -9 = 3*r, 2*z - 5*r - 23 = 3*z. Is 718/(-6)*z/(24/9) prime?
True
Let n(v) = v**3 - 3*v**2 + 6*v - 4. Let q be n(7). Suppose q = 3*z - 1023. Is z a prime number?
True
Suppose 0 = 3*l + 5*z - 7, -5*l - 5*z + 0 + 5 = 0. Is (3 - (l + 7)) + 3385/5 a prime number?
False
Suppose 22403 + 55395 = 14*w. Is w composite?
False
Suppose 0 = -t, 0*o - 14253 = -3*o + 2*t. Is o composite?
False
Let d(k) = -2*k**2 - 3*k. Let b be d(-2). Let q be -1 - ((3 - 0) + b). Is (-3 + -8)*14/q prime?
False
Let d be 13/(-4 + (4 - 1)). Let q(j) = j**2 + 7*j + 11. Is q(d) a prime number?
True
Let d(m) be the third derivative of 3*m**5/10 + m**4/12 + m**3/6 + m**2. Let b be d(-3). Suppose 2*a - 5 = o - 30, -5*o = -2*a - b. Is o a composite number?
True
Let c(z) = z - 22. Let a be c(22). Suppose a*p - 1131 = -3*p. Is p composite?
True
Let x(q) = -596*q - 59. Is x(-9) a prime number?
False
Let w be (-126)/7*(-2)/3. Suppose o = -h + 2*o + 378, -3*o - w = 0. Suppose 4*c - h = -c + r, 3*c = 4*r + 238. Is c a composite number?
True
Let z(q) be the third derivative of q**7/252 - q**6/720 - q**5/30 + q**4/8 + 5*q**2. Let f(h) be the second derivative of z(h). Is f(3) a prime number?
True
Let z(a) = a**2 + 23*a - 5. Let g be z(-6). Let j = g - -213. Is j prime?
False
Suppose 13*d - 5*d - 11176 = 0. Let i = -768 + d. Is i prime?
False
Suppose -2*j + j = 3*p - 5243, -2*p - 5223 = -j. Let i = j + -3074. Is i composite?
True
Suppose 0 = z - 3*n + 12, z + 2*n - n = -12. Is (19828/z)/((-1)/3) composite?
False
Suppose -24 = -2*q + 4*a, 4*q = -2*a + a + 30. Suppose 0 = -q*j + 4*j. Suppose j*h = -3*h - 5*d + 234, 3*d = -2*h + 157. Is h composite?
False
Suppose 0 = 4*i + 2*k - 1314, 8*k = -4*i + 13*k + 1349. Is i prime?
True
Let p = -7764 + 12311. Is p a prime number?
True
Let z be (-5 - 3)*3/6. Is ((-6)/z)/((-3)/(-428)) a composite number?
True
Suppose m - 8633 = 8*w - 13*w, 2*m - 17242 = 2*w. Is m prime?
True
Suppose 4*d = -11087 - 3133. Let b = -1898 - d. Is b composite?
False
Is 134*(54/12 - -5 - 0) composite?
True
Suppose -403 = -x + 481. Suppose -l + x = 3*l. Is l prime?
False
Let u = 87 + -87. Suppose u = 4*m + 8*i - 9*i - 4503, -i = 2*m - 2253. Is m a composite number?
True
Let m = 3322 - -3901. Is m prime?
False
Let q(b) = -b**2 - 17*b + 1. Let g be q(-17). Is (11 - -25) + 1/g composite?
False
Is (-4*838/24)/(2/(-6)) a prime number?
True
Is ((-3)/(-6))/(1/838) a composite number?
False
Let m(p) = -236*p**2 - 5*p - 5. Let s be m(-2). Let n = 1588 + s. Is n composite?
True
Suppose 0 = 5*j + 15, -4*g - 5*j + 260804 = 55175. Is g a prime number?
False
Is (-4)/10 - (-1057940)/100 composite?
True
Let h = 5401 + -3602. Is h prime?
False
Let c = 189 - -6. Let h be 1 + 0 - (-127)/(-1). Let d = c + h. Is d a prime number?
False
Let x be 24/10*(-1900)/(-57). Suppose -84*b = -x*b - 1180. Is b a prime number?
False
Suppose 2140 = l - 3*z, 4*l - 5*z = l + 6404. Suppose -u + l = 5*w, u - w - 2173 = 3*w. Is u prime?
True
Is (-33)/(-12) + 4/16 - -2456 composite?
False
Suppose -i + 1273 = 4*z, 4*i + 2*z = -2*z + 5128. Suppose -b - 334 = -2*r + 180, i = 5*r - 2*b. Is r a composite number?
False
Let s be 1994/18 + -1 - (-10)/45. Let l = 191 + s. Is l prime?
False
Suppose 14*r = 11*r - 2079. Let i = 240 - r. Is i composite?
True
Let y(h) be the second derivative of -h**5/20 - 5*h**3/6 + 5*h**2/2 - 15*h. Is y(-8) prime?
True
Let h(c) = c + 31. Let o be h(-15). Suppose 0 = o*g - 21*g + 1645. Is g a composite number?
True
Is ((-15414336)/98)/(-8) - (-1)/(-7) a composite number?
False
Let p(l) = 19*l**3 + 2*l**2 + 2. Let u be p(2). Let a be 9535/11 - 34/(-187). Suppose -5*w - u = -a. Is w a prime number?
False
Let h = 13603 + -9696. Is h a composite number?
False
Let u(w) = 20*w**2 + 22. Let t be u(9). Suppose -c - c = -t. Is c prime?
True
Is 5829267/87 - (-12)/(-2088)*12 a composite number?
False
Suppose -14 = 6*r + 4. Is 39344/20 + r/15 composite?
True
Suppose -4*x + 3 = 7. Is (0 - x)/((-4)/(-9748)) a composite number?
False
Suppose 7*n - 5*u - 4171 = 3*n, 2*n - u = 2081. Suppose 0 = -v - 0*v. Suppose 0*g - 231 = -j - 5*g, 5*j - 4*g - n = v. Is j prime?
True
Suppose 5*v = i - 1888, 0 = 3*i - 5*v - 3440 - 2254. Is i a prime number?
False
Let o = -137 + 143. Is (o/12)/(1/662) a composite number?
False
Let q be (-8)/(-2) + 2/1. Let s = q + -2. Suppose -155 = -s*o + 1. Is o a prime number?
False
Let d(f) = -8*f**2 - 7*f - 2. Let c be d(-9). Let b = -46 - c. Is b a prime number?
True
Let o(q) = -31*q + 3. Let f(s) = -s**3 + 10*s**2 - 10*s - 4. Let w be f(9). Let z = 9 + w. Is o(z) composite?
False
Let j = -15 + 62. Let m = 90 - j. Is m prime?
True
Suppose 2*x - 56 = -52. Suppose -x*u + 524 = 2*u. Is u a prime number?
True
Suppose 0 = 3*g - 2 - 1, 2286 = 4*d - 2*g. Suppose -s + t - 286 = 0, 3*s - 4*t = s - d. Let p = s + 480. Is p composite?
True
Suppose -3*u - 18 = -3*t, 4*t + 14 = -u + t. Let f = -2 + u. Is (15/f)/3*-178 composite?
False
Let d be 5*(0 - -4 - 2). Let f(g) = -d*g - 4 - 2*g - g - 2. Is f(-9) composite?
True
Is ((-27)/(-12) - 3) + (-1164301)/(-76) a composite number?
False
Suppose 0 = 5*g + 4280 - 19590. Suppose 2*t - 2*d = g, 4*t = d + d + 6132. Is t composite?
True
Let l be 72/(-21) + (-3)/(-7). Is 236/((-4)/(-2)) + l prime?
False
Suppose 5*b - 22191 = 3*s - 2141, 5*b + 5*s = 20010. Is b a prime number?
True
Let u(f) = -3*f - 14. Let i be u(-6). Suppose -4*k + i = 0, -k = 2*h - 1193 - 918. Is h composite?
True
Suppose 5*m - 45 = 55. Suppose 2274 = -14*i + m*i. Is i prime?
True
Let r = -971 + 1618. Is r composite?
False
Let m = -25 - -23. Is m + 82/(6/3) composite?
True
Let c = 6291 - -5780. Is c composite?
False
Let m = 1106 + -389. Is m prime?
False
Let m be (-69)/(-21) - (-2)/(-7). Suppose -m*i - 197 = -12737. Suppose i = 5*a + 785. Is a prime?
False
Is 407 + -400 - (-38243 + (-2 - -1)) prime?
False
Suppose 0 = -101*m + 98*m + 47103. Is m prime?
False
Let r = -3421 - -2370. Let b = 1580 + r. Is b a prime number?
False
Let f = 57 - 65. Is 2 - (-8)/(f/(-51)) composite?
False
Suppose -212*u - 33922 = -226*u. Is u a prime number?
True
Suppose -8816 = 5*h - 211. Let q = 2438 + h. Is q prime?
False
Suppose -4*m = 2*j - 2, -2*j - 3 = -j. Suppose m*t = 5*r - 14, 29 = 5*r - t + 4*t. Let p(v) = 8*v**3 - 3*v**2 - 4*v + 1. Is p(r) a composite number?
False
Let s(o) = 37*o - 59. Is s(6) prime?
True
Let r = -284 + -22. Let h = -1020 + 503. Let u = r - h. Is u composite?
False
Let m(b) = -2658*b**3 + b**2 + b + 3. Is m(-2) a composite number?
False
Let a = 882 - 628. Is a a composite number?
True
Suppose -4*v + b + 93917 = 0, 70440 = 11*v - 8*v - 3*b. Is v a prime number?
False
Let i(g) = -2*g - 10. Let v be i(0). Let q be (-12)/(-15)*v/(-4). Is q/(4/163)*10 a composite number?
True
Suppose -d = -3*y + 6*y - 62, -5*y - 3*d = -110. Suppose -y*z - 590 = -21*z. Is z a prime number?
False
Let p be 147/9 - (-2)/3. Let t = p - -1134. Is t a prime number?
True
Suppose -5*j - 5*d + 15 = 0, -8*j = -6*j + 5*d - 15. Suppose m = -j*m + 5*h + 1092, -2*h + 2172 = 2*m. Is m a composite number?
False
Is (4 + (-72)/16)/((-8)/1659184) a composite number?
False
Suppose -s + 2*j = -1539, 4*s + j + 857 = 7031. Is s a prime number?
True
Suppose 3*c - 2*s = -s + 1370, 3*s - 1386 = -3*c. Suppose 5*u = -63 + c. Is u a composite number?
False
Suppose -4*n + 17723 = -1501. Let a = n - 3263. Suppose a = -x + 2*x. Is x composite?
False
Let r = -38621 + 77214. Is r composite?
False
Let j be (136 + -1)/((-27)/18). Let d = j + 158. Let r = -29 + d. Is r a composite number?
True
Let k(g) = g + 14. Let q be k(7). Suppose 18*x - q*x = -5283. Is x a prime number?
False
Suppose -27351 - 25155 = -9*m. Suppose 4*c + 4*w - 4464 = 1380, m = 4*c - w. Is c prime?
True
Suppose 24*h - 23*h + 3 = 0. Let f be 2/(1 - -1)*2. Is 585 + h*f/3 a prime number?
False
Let i = 9373 - 96. Is i a composite number?
False
Let u be 8/((-6)/(12/(-4))) - 2. Suppos