(t) = -13*t + 20. Is x(h) prime?
True
Let y(h) = 12532*h - 9675. Is y(37) a prime number?
True
Suppose -6*i + 115126 = 5*i. Suppose -12*w - 2270 = -i. Is w prime?
True
Is (-69490)/(-2) + (28 - 34) composite?
False
Let d = -852896 + 2385867. Is d a prime number?
False
Let c be (-6 + 7)*-6 + 471. Suppose -11*a + 6938 = -c. Is a composite?
False
Let k(h) = 28*h**3 + 10*h**2 - 25*h + 1. Let s be k(7). Is ((-6)/4)/(3/(-6)) + s composite?
False
Suppose 0 = -4*j - 10277 - 19175. Let h = -590 - j. Is h a prime number?
False
Suppose 256 + 1334 = 5*k. Suppose 4*r = 8*r - 8. Suppose 964 + k = r*c. Is c composite?
False
Is (-21194073)/(-405) - (-6)/(-135) a composite number?
True
Suppose -268643 = -3*f - 2*d - 7876, 0 = 4*f - 2*d - 347694. Is f a composite number?
False
Suppose -5*m - 753558 = -21*m - 23*m. Is m composite?
True
Suppose 0 = 21*i + 9*i + 4260. Let m = 771 + i. Is m prime?
False
Let g be 4/(((-20)/(-12))/(-5)). Suppose 12*u + w - 9 = 10*u, -2*u + 18 = 4*w. Is (-8074)/g - u/(-18) composite?
False
Let j(a) = 6*a**3 - 3*a**2 + a - 129. Is j(25) a prime number?
True
Let a(q) = q**2 - 4*q + 6. Let r be a(2). Let u be 3 + ((-3)/r)/((-2)/(-4)). Suppose -44*h + 40*h + 1212 = u. Is h a composite number?
True
Let j(d) = 153*d - 71. Suppose -k + 5*t - 15 = 0, -15 = -k + 10*t - 11*t. Is j(k) a prime number?
True
Let v(c) = -4*c - 122. Let n be v(-32). Is (-140492)/(-22) - (n/2 - 2) composite?
True
Let g(m) = m**2 - 14. Let z be g(0). Let b be -271*((-36)/28 - 4/z). Let k = 534 - b. Is k prime?
True
Let d = -1015063 - -1766852. Is d a prime number?
False
Suppose 245*u = 51563122 + 3274248. Is u prime?
False
Suppose -3*h - 4*z = -11144, -9*h + 2*z = -12*h + 11152. Let s = h - -979. Is s composite?
True
Let d = 15551 - -126300. Is d a composite number?
False
Let m(c) = -7*c**3 - 3*c**2 - 3*c - 1. Let s be m(-1). Let r be 119/2*(8 - s). Suppose 4*o - r = -31. Is o prime?
False
Let q(l) = -77*l**2 - 50*l + 11. Let o be q(-6). Let m = 3780 + o. Is m composite?
False
Let d(j) = -13 - 358*j**3 + 4 + 0 + 367*j**3 + 6*j - j**2. Is d(10) a prime number?
True
Is (28961*(-5)/(-25))/((-5)/(-275)) prime?
False
Suppose -13*l + 14*l + 75 = 0. Let a be (6 - -100)/((-6)/l). Let b = 360 + a. Is b prime?
False
Let x be (-3)/9 + ((-2032)/6)/(-2). Let k = -90 + x. Is k composite?
False
Let m = 34873 - 15342. Is m a prime number?
True
Is (-7 - -11 - 1)*(-2)/(18/(-562011)) a prime number?
True
Is ((23/69)/(2/(-12)))/((-4)/448094) prime?
True
Let z(l) = -2*l**3 + 12*l**2 + 13*l - 22. Let u be z(6). Is 17439*5/(120/u) a composite number?
True
Suppose 5433 = 5*g - 2*g. Suppose 5*t - g - 379 = 0. Let p = t - -229. Is p composite?
True
Suppose -220*r - 70 = -234*r. Suppose 91897 = 5*s - 4*k - 127648, -2*k - 219555 = -r*s. Is s prime?
True
Let g(j) = 714*j - 27. Let f be g(22). Suppose -136*m = -133*m - f. Is m a prime number?
True
Suppose -15*g + 257 - 32 = 0. Is 1539 + 28/12 + g/9 prime?
True
Let h be 247/(-468)*-522604 - 2/(-9). Suppose -80*t = -109*t + h. Is t composite?
False
Let f be 0 + (-108)/(-26) - 156/1014. Suppose 4*u - 3*u + 3 = 0, -f*d + 4*u = -8824. Is d a prime number?
True
Let o(b) be the second derivative of -b**6/12 - 29*b**5/120 + 7*b**4/12 - 36*b. Let v(d) be the third derivative of o(d). Is v(-7) a composite number?
True
Let b = -30 - -63. Suppose 32*a = b*a - 521. Is a a prime number?
True
Let s(q) = -q**3 - 12*q**2 - 10*q + 18. Let b be s(-16). Suppose 10766 = 20*r - 25894. Let l = r - b. Is l composite?
False
Let m be -1*(-5)/(-2)*-2. Suppose -956 = -4*y + m*z, -z = -7*y + 11*y - 956. Is y a prime number?
True
Suppose -25*u - 216 = -52*u. Let v(l) = 8*l**3 - 14*l**2 - 2*l + 19. Is v(u) a prime number?
True
Let v = -5966 + 39529. Is v a composite number?
False
Let k be (-1 + 1/5)*(-10)/4. Suppose 6 = -k*c + 3*x, -5*x = -c - 5 - 5. Suppose c = 2*m - 254 - 744. Is m a prime number?
True
Is ((-4)/22)/(36/(-33)) + 13418383/66 prime?
True
Suppose 3*a = -x + 865, -4*x - x = 5*a - 4345. Suppose -v - 1277 = -4*i + x, i - 537 = 2*v. Is i a prime number?
False
Suppose -n - 5*x = -1110, 4*x + 42 - 34 = 0. Let r = n - -277. Is r prime?
False
Let j(k) = 26*k - 133. Let s be j(6). Is (-23)/(s/2)*(-42886)/4 composite?
True
Suppose -1712300 = -19*r + 871263. Is r a composite number?
False
Suppose 185*p + 10862968 = 193*p. Is p a composite number?
False
Let s = -46 + 44. Let t be s/(8/(-52)) + 2. Suppose t*h - 8805 = 12*h. Is h composite?
True
Let g = -54 + 101. Suppose 39*n + 44072 = g*n. Is n a composite number?
True
Let l(f) = 8*f**2 - 7 + 10 - 37 + 104*f - 107*f. Is l(-16) prime?
False
Let t(g) = g**3 + 23*g**2 - 22*g - 43. Suppose 97 = -7*z + 20. Is t(z) a prime number?
False
Suppose 7 = -g, -3*u = 2*g + 442922 - 4245729. Is u a composite number?
True
Let l(p) be the second derivative of 101*p**4/6 + 5*p**3/3 - 3*p**2/2 - 137*p. Is l(-2) prime?
False
Suppose 176023898 = 86*q + 14905392. Is q composite?
False
Let m(h) = 3*h**3. Let y = 66 + -67. Let f be m(y). Is (-6 - -10 - (-13)/f)*-1059 a prime number?
True
Suppose 0*l = -93*l + 6995181. Is l composite?
False
Let t = 89394 + -47621. Is t prime?
False
Let t be (-1)/(-6) + (-74)/36*5079. Let a = t - -14767. Is a composite?
False
Let u(w) = 1336*w - 76. Let c(x) = -267*x + 15. Let y(b) = -11*c(b) - 2*u(b). Is y(2) prime?
False
Let d(i) = 182*i**2 + 65*i - 370. Is d(-31) composite?
False
Let l(g) = -105 - 10*g + 358*g + 253*g. Is l(22) prime?
False
Let g(d) = 8*d**3 - 6*d**2 - 6*d + 1. Let k(w) = -17*w**3 + 12*w**2 + 13*w - 1. Let r(q) = -5*g(q) - 2*k(q). Let s be r(-5). Let y = -336 + s. Is y composite?
False
Let p = -66463 - -127464. Is p a prime number?
True
Let s(a) = -a**3 + 37*a**2 - 115*a - 3. Let y be s(33). Suppose 0 = f + 5*p - y, 2*f - 5*f + p = -1594. Is f composite?
True
Suppose 655964 = 135*t - 4942621. Is t composite?
True
Suppose 3*d - 5*o - 99 + 70 = 0, o + 13 = 3*d. Let z(p) = p**2 - 1. Let u be z(-1). Suppose 0 = -5*i + d*m + 6889, u*m = -5*m + 10. Is i prime?
False
Let v(z) = -6 - 409*z**3 - 77*z**3 - 2 + 4 - 7 + 8*z. Is v(-3) a composite number?
True
Let z(b) = -b**2 - 5*b + 1370. Let d be z(0). Suppose -g + 3*g = 2*p - d, -3*g + 677 = p. Is p a prime number?
True
Suppose 2*y + 174 - 170 = 0. Is (8/12)/(y - (-4300)/2145) a prime number?
False
Suppose 0 = 531*o - 528*o - 137229. Is o a prime number?
False
Suppose 56 = -0*q + 7*q. Suppose 35 = -k + q*k. Suppose -9*y + k*y + 1060 = 0. Is y a prime number?
False
Is (2245101/(-474))/((-3)/42) a prime number?
False
Is (-300096)/384*(-4)/2 prime?
False
Let p be (-102)/2 + (-3 - -6). Let z = p - -79. Suppose -z*j = -27*j - 748. Is j composite?
True
Let w(d) = -128*d + 191. Suppose 3*c + 0*t + 82 = 5*t, -3*c = 5*t + 92. Is w(c) prime?
False
Let f(m) = 3*m**2 - 29*m - 64. Let w(l) = l**2 - 15*l - 33. Let o(v) = 6*f(v) - 11*w(v). Suppose -4*u - 5 = -2*x - 29, -2*x - 18 = -u. Is o(x) prime?
True
Suppose 0 = 399*g - 389*g - 94690. Is g a prime number?
False
Let x(n) = 4394*n**2 + 46*n - 463. Is x(15) prime?
True
Let z = 172853 + -88929. Let j = z - 54147. Is j composite?
True
Let i(g) = 134*g**3 - 30*g**2 - 56*g - 35. Is i(11) a prime number?
False
Suppose 9*a + 8 = 8*a. Let q be (-3 - a)*(-21)/(-35). Suppose -2*c = -y + 2*y - 8221, q*c - 2*y = 12335. Is c a prime number?
True
Suppose 3*g + 276 = 3*z, 4*g - g - 382 = -4*z. Suppose 3*i = -4*x + z, -3*x - 29 = -i + 11. Suppose 764 = i*r - 30*r. Is r a prime number?
True
Let t = -26 - -19. Is (t - -10)*(-62673)/(-9) prime?
False
Let q(p) = -8*p**2 - 10*p - 15. Let f be q(-10). Let d = f - -1666. Suppose 3*g + d = 6*g. Is g composite?
False
Let n = 380 + -374. Is 4/(-1) - (-1955 - (-12)/n) composite?
False
Is ((-347064)/(-20)*25/10)/3 a prime number?
True
Let v(s) = 63*s**2 + 19*s + 3. Let q = 87 - 79. Is v(q) a prime number?
False
Suppose 0 = 2*j + 3*s - 2*s - 8, 3*j - 17 = -4*s. Suppose -j*g - 5*k + 583 - 2178 = 0, 0 = -g - k - 531. Is 18/27 + g/(-6) composite?
False
Let q be 6/(-4)*39620/(-30). Suppose 5814 = t + q. Is t composite?
False
Suppose 18*w - 23*w + 35 = 0. Suppose -25 = w*m - 2*m. Let j(c) = 35*c**2 - 2*c + 2. Is j(m) prime?
True
Let a(n) = 1910*n - 13. Let s(f) = 3820*f - 28. Let q(c) = -11*a(c) + 6*s(c). Is q(9) a composite number?
True
Let w(i) = -829*i + 29. Suppose 16*u = 13*u - 48. Let f be w(u)