 2*i - 13240 = 0. Is b a prime number?
False
Let c(a) = -a - 3. Let w be c(-8). Suppose w*b - 12538 = 7272. Suppose 8*h - b = h. Is h prime?
False
Let g(u) = 2*u**2 + 1637*u - 467. Is g(104) prime?
True
Suppose 169138 + 314675 = 3*s. Suppose -39*h = -s - 5298. Is h prime?
True
Let w(h) = 3*h - 39. Let s be w(14). Let y be (s + -4 + -1)*(-2)/2. Suppose -3*i + 7839 = 5*c, -1133 = -y*c - 5*i + 1995. Is c a prime number?
False
Let s be (-2 - 0/(-6)) + (-1063)/(-1). Suppose 5*o + s + 2334 = 0. Let u = 1026 + o. Is u composite?
False
Suppose 5*i + 116 = 291. Let k = i - 37. Is (-2)/(((-12)/(-3261))/k) a prime number?
True
Suppose 3*u - 5*x - 78388 = 0, 47*x - 104506 = -4*u + 48*x. Is u composite?
True
Let q be (0 - -271)*(1 + -2 + 2). Let l = -73 - -217. Let o = q - l. Is o composite?
False
Let u = 2 - 1. Suppose -2*i + 1 = u. Suppose -6*t + 3085 - 1081 = i. Is t a composite number?
True
Let y(d) be the third derivative of -d**6/120 + d**5/60 + d**4/8 + 6245*d**3/6 + 43*d**2. Is y(0) a composite number?
True
Let s be (-3 + (-69)/(-9))*3. Let h be ((-2)/(-3)*-3)/(s/(-28)). Is h/(-6)*4977/(-6) a prime number?
False
Let q = 64103 - 44464. Is q composite?
True
Suppose -15*x + 242211 = 3*p - 13*x, -242211 = -3*p + x. Is p prime?
True
Let i be (9/(-12))/(18/(-48)). Suppose -v + 5*a + 31 = i*v, 11 = v - 2*a. Is (-1)/v*-1 + (-31776)/(-28) a prime number?
False
Suppose 0 = 94*p - 89*p + 5. Is p - (-3461 - 7/(-1)) a composite number?
True
Let q = 12078 - 6505. Suppose -2*x = -3*v - 5549, x - q = -x - 5*v. Is x prime?
False
Suppose 6824 + 1208 = -4*h. Let y = -1139 - h. Is y composite?
True
Suppose 4*p - 407984 = -29*o + 33*o, -4*o = 4*p - 408008. Is p a prime number?
True
Let z be 10/20*-8*3. Is 48/z - (2 + -10105) a composite number?
False
Let o be ((-171)/(-6))/((-3)/(-8)*2). Let a = 697 - o. Is a a prime number?
True
Let z be (-4180)/130 + (-12)/(-78). Is (-69544)/10*80/z prime?
False
Let c be (-30)/105 + (-880)/7. Suppose -2*t - 376 - 183 = -3*l, 0 = 3*l - 3*t - 561. Let u = c + l. Is u prime?
True
Let f = -205 - 1356. Suppose -8660 = 16*v + 27276. Let q = f - v. Is q a composite number?
True
Let b(i) = i**2 - 5*i. Let u be b(3). Is 4714*4/(-48)*u a composite number?
False
Let r(m) = -80*m + 23. Let i be r(-4). Let t be 0 + -1 - (-6 + -1659). Suppose -4*h - i = -v, -2*v - 3*h = -7*v + t. Is v composite?
False
Let b(x) be the first derivative of x**3 + 21*x**2/2 - 17*x + 20. Let g be b(-15). Suppose 2*w - g = 39. Is w a prime number?
True
Let k(n) = -n**2 - 17*n + 21. Let r = -78 - -60. Let o be k(r). Suppose 0 = 2*u + 4*q - 1890, 0 = o*u + 3*q - 656 - 2188. Is u prime?
False
Suppose 40*y - 94*y + 40*y + 3093622 = 0. Is y a composite number?
False
Let d(y) = -1664*y - 317. Is d(-29) a composite number?
False
Let v be 43542/21 - 20/(-35). Suppose -4*k + 3*w + v = w, 515 = k - 4*w. Suppose 3*d - 413 = 6*z - 2*z, -z = 4*d - k. Is d a prime number?
True
Let l be -6 + (2691/234)/((-1)/(-1454)). Let v be -3*((-14)/6 - 1). Suppose -5*x + v*x = l. Is x composite?
False
Let l = 1422989 - 426424. Is l a prime number?
False
Suppose 2*l - 5*x + 2489 = 0, -5*l + 2*x - 2421 = 3812. Let h = 7866 - 3774. Let v = h + l. Is v prime?
False
Let i(q) = q**2 + 3*q - 16. Let u be i(-6). Suppose 2*j + 20 = -u*j, -5*l + 19170 = -j. Is l prime?
True
Is (3/15)/((-16)/(-776080)) prime?
False
Suppose 13 + 23 = -6*l. Let s be (28/(l + 13))/(4/2). Suppose -4*r - s*o + 864 = -1514, -3 = -o. Is r a composite number?
False
Suppose 18*o = 12*o + 78. Suppose 19 - o = 2*f, l - 5*f = 1954. Is l a prime number?
False
Suppose -120 = -10*i + 8*i. Let h = -47 + i. Is 956/5 + h/(-65) composite?
False
Let i be (6 - 104/120) + (-2)/15. Suppose -2*j + i*w = -33351, 3*w - 20127 - 29889 = -3*j. Is j composite?
False
Suppose -8*u - 15 = -11*u. Suppose 3*o - 538 = u*p, -2*p + 380 = 2*o - 0*o. Let a = 273 - o. Is a prime?
False
Let b = 11760 + 10811. Is b prime?
True
Let v(a) = -3*a + 26. Suppose -2*u + 10 = m, 0*u = -5*m + u + 39. Let f be v(m). Suppose -f*p - p = -75. Is p prime?
False
Let u be ((-9)/(-4))/(-4 - 260/(-64)). Suppose -5*g = -g - u. Suppose -g*w = -8*w - 35. Is w a composite number?
True
Let q(j) = -8 + 1908*j**2 + 2 + 2 + 3 + 2*j. Let x(k) = k**2 - 15*k + 45. Let o be x(4). Is q(o) a prime number?
False
Suppose 0 = 6*d - 5*d + 3*x - 45, 0 = 2*d - 2*x - 66. Is (-9)/(d/(-28)) - -900 a prime number?
True
Suppose 25*u = 39812 + 33363. Suppose u = i + 3*f + 465, -i + f + 2450 = 0. Is i a prime number?
False
Let j = -36 - -38. Suppose 0*t - 3*g = -t + 1473, -2916 = -j*t - 4*g. Suppose 4*u - t = -620. Is u a composite number?
False
Suppose -16 = -4*x, -3*x = h - 3*h - 4. Suppose h*b - 605 - 928 = -5*m, 2*m - 1912 = -5*b. Is b a prime number?
False
Suppose -25*k - 192 = -9*k. Is ((-4404)/2 + -1)/(6/k) composite?
True
Let n(u) = 4884*u**2 + u. Let m(i) = i**3 + 6*i**2 + 6*i + 6. Let o be m(-5). Is n(o) composite?
True
Suppose -338*h = 248*h - 108204314. Is h a prime number?
True
Let t = 173 + -153. Is 1 + (3/(-15) - (-116124)/t) a prime number?
True
Suppose -3*u = -5*f + 171 + 1369, 4*f - u = 1232. Let c = f + 4395. Is c composite?
False
Let t(c) = -3*c**2 - 109*c - 107. Is t(-33) a composite number?
False
Suppose -z = -6 - 0. Let k(f) = -f**3 + 6*f**2 + 3*f - 14. Let c be k(z). Suppose -5*j = 4*l - 6*l + 62, -c*l + 124 = -j. Is l a prime number?
True
Suppose 6*b - 1 = 11. Suppose 3*z - b*w + w = -3439, 2*z + 3*w = -2300. Let x = z - -2024. Is x composite?
False
Suppose 0*z = -5*b - 2*z + 278051, 5*b - 5*z = 278065. Suppose 29*a = 20*a + b. Is a prime?
False
Let r(p) = 14*p + 88. Let v be r(-6). Suppose -4*o + 3*g + 889 = 0, -v*o + 896 = -0*o + 4*g. Is o a composite number?
False
Let x(i) be the third derivative of -13*i**7/840 - 11*i**6/720 + 17*i**5/60 - 9*i**2. Let b(h) be the third derivative of x(h). Is b(-6) prime?
True
Let g(n) = 25*n**2 - 4*n + 2. Let j be g(3). Let v(d) = d**3 + 2*d**2 + 3*d + 2. Let l be v(-3). Let r = l + j. Is r prime?
True
Let f(m) = 3*m. Let v be f(-12). Is -4 - 62540/v - (-2)/(-9) prime?
True
Suppose 5*u = -l + 32, 5*u + 40*l - 44 = 43*l. Let s(v) be the first derivative of 83*v**2/2 - 24*v - 1. Is s(u) a prime number?
True
Suppose 3*z - 2*t + t - 50 = 0, 5*t = -2*z + 22. Suppose 0 = -15*p + z*p - 2153. Is p prime?
True
Let k(z) = -3*z + 21. Let l be 2/4 + (-60)/(-8). Let c be k(l). Let q(m) = 12*m**2 + 3*m - 2. Is q(c) composite?
False
Let v(f) = -2313*f - 131. Let m be v(-11). Suppose 0 = -4*r + 5*l + m, -6*r = -8*r - l + 12670. Is r prime?
False
Let a(b) = 74*b - 18. Let d be a(-9). Let t = d - -1139. Let f = t + 294. Is f composite?
True
Let u be ((-4)/(-10)*1)/(3/15). Suppose u*h = 3*l - 3*h + 23, -3*l - 4*h = 14. Is 691/(-2)*2/l*6 a prime number?
True
Suppose -y + 0*q + 5*q = 15, 2*q - 6 = 0. Let m(b) = -b**2 - 2*b + 6. Let p be m(y). Is (4 - 1)/(p/1402) a prime number?
True
Suppose 9*j - 241679 = h, -h - 134267 = -59*j + 54*j. Is j prime?
False
Let x(m) be the second derivative of 11*m**4/6 + 5*m**3/3 - 13*m**2/2 - m - 357. Suppose -5*p - 40 = 20. Is x(p) prime?
False
Let r = -3 - -15. Suppose r*k = 11*k + 2. Suppose 39 = i + 5*t - 423, -k*i + 869 = -t. Is i composite?
True
Suppose -2*a = 5*f - 92163, 11*f = 13*f - a - 36858. Is f prime?
False
Suppose -5*g + 36 + 4 = 0. Suppose -428 = g*p + 148. Let q = 125 + p. Is q composite?
False
Let j = 168 + -171. Is ((-1706)/j)/((-20)/(-30)) a prime number?
True
Suppose -12 = -12*s + 9*s, -m = -2*s + 4. Suppose 5*g = 5*i - m*i - 1229, -4*i = -5*g - 4886. Is i prime?
False
Suppose -315845 - 1587 = -3*l - 2*q, -q = -1. Suppose -17148 = 21*j - l. Is j a composite number?
True
Let f(m) = 4*m - 124. Let a be f(30). Is 8 + -8 - (-16)/a - -4967 composite?
True
Let m be (3 - (-7109)/1) + -4. Let b = m - 1137. Is b prime?
False
Suppose -3*w - 11529 - 18426 = 0. Let u = 17684 + w. Is u a prime number?
True
Let v = 140885 + -82966. Is v a composite number?
True
Suppose 2*r = 4*g - 234, -58 = -0*g - g + r. Suppose 57*n = g*n - 20714. Is n composite?
False
Is (12957228/20 + 26/(-65))/1 prime?
True
Suppose 0 = 2*y + 3*t + 19, -8*t = 2*y - 13*t - 21. Is 14 + (3 - -6573) + 1 + y a prime number?
False
Suppose 0 = i + c - 2, 10 = 80*i - 79*i - 3*c. Suppose -4*u = -q - 5992, 2978 = -u + 3*u + i*q. Is u composite?
True
Let o(t) = 54*t