prime?
False
Let b(k) = -k**3 - 26*k**2 - 6*k - 102. Is b(-49) composite?
True
Let u = 3761 - -2646. Is u prime?
False
Let q(m) = -m - 2. Let i be q(-3). Let c be (16 - 17) + 1/i. Suppose 2*r + o - 578 = 0, 2*r - 5*o + 0*o - 602 = c. Is r composite?
True
Is ((-12)/(-10))/((-2)/(-5)) - -22282 a prime number?
False
Let j = 12 + -9. Suppose 5*f + j = -2. Is (1 - 92)*f/1 a prime number?
False
Let s = 1961 + -347. Let g be -2 + 1 + s/6. Suppose 2*f + g = 4*b, 4*f = -5 + 21. Is b prime?
False
Suppose -2*p - 5*s = -0*s - 19224, -p - 5*s + 9607 = 0. Is p a composite number?
True
Let r(x) = 1357*x**2 - 6*x + 7. Let g(f) = 1356*f**2 - 8*f + 9. Let c(v) = -3*g(v) + 4*r(v). Let m be (1/3)/((-1)/(-3)). Is c(m) a composite number?
False
Suppose 0 = z - 2*n - 2709, -2*z + 3*n - 10891 = -6*z. Is z prime?
True
Let d be -4 - ((4 - 2) + -1 + -1). Is (1 + d - -363) + (-2 - -1) composite?
False
Let n(d) = d**2 + 4*d + 3. Let l be n(-3). Let m be 2148/8*(-30)/(-9). Suppose 10*x - 5*x - m = l. Is x a prime number?
True
Let d(a) = -a**2 - 14*a + 15. Let g be d(-15). Suppose 15 = 3*b + 2*r + r, g = 5*b - 2*r - 4. Is ((-257)/b)/(7/(-14)) a composite number?
False
Let l(r) be the third derivative of r**4/24 + r**3/3 + 3*r**2. Let f be l(2). Suppose -88 = -f*c + 300. Is c prime?
True
Let l(j) = 5*j**3 + 8*j**2 + 6*j. Let m be l(8). Suppose -4 = 4*g - 0, 5*c - m = 5*g. Is c a prime number?
False
Suppose -5*l = 4*m - 124479, -m = 3*l - 39858 + 8740. Is m a composite number?
False
Suppose -66*t = -65*t + 6. Let d(x) = -3*x**3 + 5*x**2 - 6*x - 11. Is d(t) composite?
False
Is (-210884)/(-10) - (330/(-50))/11 prime?
True
Let v(t) = t**3 + 7*t**2 - t - 7. Let s = 4 - 11. Let n be v(s). Let c(b) = b**3 - b**2 + 727. Is c(n) composite?
False
Let p = 25 + -34. Let o(r) = -4*r**3 - 5*r**2 - 14*r - 20. Is o(p) composite?
False
Let t(h) = -6*h**2 - 2*h - 21. Let c be t(5). Let w = c - -498. Is w a composite number?
False
Is 2*(1 - (-24108)/8) prime?
True
Let l(q) = -86*q**3 + q**2 - 6*q - 6. Is l(-1) a prime number?
False
Suppose 3*s = -6 - 3, 5*i - 2609 = -2*s. Suppose -j + 5*b = -2*j + 187, 3*j = 4*b + i. Is j a composite number?
True
Suppose 239149 = 4*l + 3*o - 6155, 5*l + 2*o - 306623 = 0. Is l a prime number?
False
Let y(x) = x**2 + 5*x - 5. Let l be y(4). Suppose l*k = 34*k - 6459. Is k composite?
False
Is 3/2 + 9116/8 + 8 prime?
False
Let r = -30 - -46. Let k = r + -18. Is (-14)/3*69/k a composite number?
True
Suppose 4*o = -3*i + 2*o + 48911, -2*i + 32622 = 5*o. Is i a prime number?
True
Suppose 0 = 3*z + 1 - 10. Suppose -9*g + 11*g - 8 = 0. Suppose -b = -z*k + 136, 0*b + g*b = k - 38. Is k a prime number?
False
Let x(f) = 170*f**2 + 18*f + 133. Is x(-10) composite?
True
Is 22 + 26134 - (-2 + 9) a composite number?
True
Suppose -x + 3*b = -14509, 5*x + 61*b - 63*b - 72519 = 0. Is x a prime number?
True
Let g be (-174)/(-6)*(-1 - -2). Suppose -4*u - u + 3*i + g = 0, -3 = -3*u - 3*i. Suppose u*o - q = q + 2596, -3*q = 0. Is o composite?
True
Let y = -13 + 17. Let a be y/18 - (-10934)/126. Let m = a + 268. Is m composite?
True
Let j be 360/14 + 16/56. Let h = j + -22. Suppose -3*w = h*i - 3613, -i - w = 2*i - 2716. Is i prime?
True
Let u = -323 - -118. Let y = u + 416. Is y a prime number?
True
Let l = 16 + -16. Suppose -n + 2*n - 6 = -2*p, 3*p - 5*n + 4 = l. Suppose 62 = -2*r + 5*r + p*b, -3*r + 5*b = -76. Is r a composite number?
True
Let z(p) = 16*p**2 - 30*p + 108. Is z(25) a prime number?
False
Suppose 4674 + 1960 = i + 3*v, -5*v - 33190 = -5*i. Is i a prime number?
True
Let t(q) = -q**2 - 2*q - 2. Let i be t(-2). Let u be (i + -1 + -28)*-5. Suppose -u = -2*m + m. Is m a composite number?
True
Let x = -11 - -15. Suppose -x*o + 131 = -4*t + t, 0 = -3*o + t + 97. Suppose -o = -3*d + 7. Is d a composite number?
False
Let i(o) be the second derivative of 13*o**6/120 - o**5/15 - 7*o**4/24 - 11*o**3/6 + 4*o. Let s(t) be the second derivative of i(t). Is s(-4) prime?
False
Let d = -21 - -2. Let n = 17 + d. Is n/(2 + 4)*-447 a prime number?
True
Let z = -18 + 21. Suppose -z*o + 888 = 3*j, 5*o - j = 4*o + 290. Is o composite?
False
Let v(t) = -695*t**2 + 1. Let u be v(-1). Is -2*(12/(-16) + 1)*u prime?
True
Let y = -3082 + 5537. Is y a prime number?
False
Suppose 0 = -23*k + 27*k - 60068. Is k prime?
True
Suppose 4*x = 4*t - 67 + 3, -3*x = -4*t + 60. Suppose 0 = -t*f + 8*f + 2084. Is f a prime number?
True
Let n(h) = 14970*h**3 + 8*h**2 - 9*h. Is n(1) composite?
False
Is (-4)/(-34) - (-423243)/51 a composite number?
True
Let i(b) = 13*b**2 + 13*b + 18 - 3 + 0*b + b**3. Is i(-10) prime?
False
Suppose -179509 = 132*l - 143*l. Is l a composite number?
False
Let k(s) = s + 14. Let p be k(-12). Let b be 2/(-7) - p/(-7). Is 167/((b - -1)/1) composite?
False
Suppose -z - 2360 = -4283. Is z a prime number?
False
Suppose n - 3*w = -6*w - 280, -4*n + 2*w - 1064 = 0. Let m = 491 + n. Is m composite?
False
Is 5769/6*(2/(-6) - -1) a composite number?
False
Suppose -5*v = -6871 - 3734. Suppose 0 = -3*t - 894 - v. Is t/(-4) + (-2)/8 a prime number?
True
Suppose -h + 1748 - 108 = x, 6533 = 4*x - 5*h. Is x prime?
True
Suppose -16846 + 637 = -9*j. Is j a composite number?
False
Let n = -8 + 13. Let f = n - 2. Suppose f*z + 113 = 4*z. Is z prime?
True
Is 30/(-350)*-5 + (-35494)/(-7) prime?
False
Let a = -11 + 15. Suppose -a*x = -2*f - 0*f - 266, -3*f - 391 = -2*x. Let w = 50 - f. Is w prime?
True
Suppose w - 1273 = -5*o + 1033, 3*w + 3*o = 6918. Is w a prime number?
False
Is ((-951)/(-9))/((-14)/(-1722)) prime?
False
Suppose s = -h + 4878, 2*h + 24399 = 7*h + 2*s. Is h a prime number?
False
Let c(j) be the second derivative of 13*j**4/12 + 2*j**3/3 - j**2 - 11*j. Is c(-11) prime?
False
Suppose -2*m = 36*m - 1016462. Is m prime?
False
Suppose 7437 = -0*j + j + 2*r, -4*r - 14866 = -2*j. Is j a prime number?
False
Let s = 43809 - 532. Is s composite?
True
Suppose -4*s = 2*l + 482, s + 138 = -4*l + 7. Is (-2)/2*s - 0 a prime number?
False
Let k(p) = 2*p**3 - 3*p**2 - p - 3. Let h be k(7). Suppose -h = -5*t + 996. Is t a prime number?
False
Let g be (-12)/3 + 3 + 2344. Suppose g = 3*q - 516. Is q a prime number?
True
Suppose -d - 1 = -6. Suppose -24 + 9 = -d*g. Suppose -q + 0*q - g*z + 52 = 0, -q + 3*z + 22 = 0. Is q a prime number?
True
Suppose -6*d = -11*d + 20. Suppose 14 = -x - 5*u - 3, 16 = -d*u. Is 3*x/3 - -554 composite?
False
Let j(w) = -42*w + 5059. Is j(0) prime?
True
Suppose 0 = t + 4*t - 5*g - 33935, 0 = -4*t + g + 27160. Is t prime?
True
Let j(w) = w**3 - 2*w - 1. Let k be j(-1). Suppose 2*v + 4 = k, v - 34 - 84 = -5*z. Suppose -5*u + 540 = -5*q, 5*q - z = 1. Is u composite?
False
Suppose -3*k = -0*k + 2*n - 1400, 0 = 5*n - 5. Is (-5)/(((-2)/1)/k) composite?
True
Let u = 83 - 57. Let g = 4 + u. Let i = g + 28. Is i a prime number?
False
Suppose 0 = -3*k - 60 + 1029. Let c = k + -210. Is c composite?
False
Suppose -2*r = 2*r. Is (-4 + r + -643)*-1 a prime number?
True
Let c = 5155 + -3602. Suppose -4*f + 1043 = -c. Let x = -164 + f. Is x a prime number?
False
Suppose -5*r - v - 32 = 0, 0 = -3*r + 2*v - 12 - 15. Let w(m) = -m**3 + 9*m + 1. Let g be w(r). Is g/8 + 3/(-24) a prime number?
False
Let h = 68955 + -43606. Is h composite?
False
Let y(p) = -7*p + 7. Let o be y(1). Suppose o = -g + 4*g - 6537. Is g a composite number?
False
Let w(p) be the second derivative of 3*p**5/20 - 5*p**4/12 - 3*p**2/2 - 10*p. Is w(5) composite?
True
Let i = 27 - 25. Suppose 0 = -i*t - 150 + 404. Is t composite?
False
Suppose -5*h + 4 = -2*r - 2*h, 3*r + 5*h + 44 = 0. Is (411 + r)/(0 - -1) composite?
True
Is -2 + 9/1 + 14257 + -1 a composite number?
True
Let n(j) = 3*j - 43. Let i be n(11). Is (-257)/(((-5)/i)/(1/(-2))) a prime number?
True
Let f(n) = n**3 + 2*n**2 - n. Let l be f(-2). Let t = l + 10. Let c(g) = -g**3 + 14*g**2 - 14*g + 7. Is c(t) composite?
False
Suppose 5013 = 9*h + 45. Suppose 7*o + 575 = -h. Is o*(0 - 1 - 0) a composite number?
True
Let s(w) = -w**2 - 2*w + 9. Let n be s(-5). Let l = -3 - n. Suppose l*t - 7*t = -3148. Is t a composite number?
False
Let a = -2352 - -5623. Is a composite?
False
Let y(g) = -g**2 - 2*g + 4640. Let c be y(0). Is (2/4)/(16/c) a composite number?
True
Let d(f) = -f**3 + 14*f**2 - 13*f + 8. Suppose -4*m = 2*k - 38, 2*k + 3*m - 35 = -0*m. Let s be d(k). Let b(r) 