 Let t be l(d). Is -8/9 at least as big as t?
True
Let l(y) be the second derivative of -y**3/6 - 4*y. Let t be l(-3). Which is smaller: t or -0.1?
-0.1
Suppose 0 = 3*r + 3*s + 3 - 21, 3*s + 48 = 3*r. Suppose g = n - 3, -r = 5*g - 5*n + n. Is g smaller than -2/171?
False
Let y = 1174 + -1176. Which is smaller: y or -309?
-309
Let g(x) = x**2 + 11*x + 23. Let q be g(-8). Let t = 4/63 + 2/9. Is t < q?
False
Suppose -22*f - 4995 = 3211. Does -373 = f?
True
Suppose j - 3*r = -4, 5*j - j + 31 = -3*r. Let z be (-2)/(-4) + (-141)/294. Let q = z + -53/196. Which is smaller: j or q?
j
Suppose 2*r + r = 3. Let o be r/(-13*(-5)/15). Is o less than 1?
True
Let k be (-2)/13 + (-4640)/(-416). Let d = 34 - 23. Are d and k equal?
True
Let k = 41321/29 + -1425. Suppose 5*g - 8 = 7*g - 4*c, -g - 10 = -5*c. Let r be (4 + -5 - 0)*(g - 0). Which is smaller: k or r?
k
Let v(h) = -h**3 + 3*h**2 + 12*h - 34. Let q be v(5). Is q at least as big as -26?
True
Let x be 4/3*2388/8 + -1. Suppose 2*j - 5*h - 150 = 0, -5*j - 39 + x = -4*h. Which is greater: j or 69?
j
Let a be (6 - 5)*-6*6/(-81). Are a and -2/5 equal?
False
Let k = 122.627 + -1.627. Is k smaller than 1?
False
Let h(g) = -g**2 + 5*g - 4. Let n be h(4). Suppose 3*d - 125 = -110. Suppose 6 = w + d*o + 1, -4*o = 4*w - 4. Is w less than n?
False
Let p be 5/(-10)*0/(-2). Is -21 at most as big as p?
True
Let u = 1.427 + -2.027. Let v(x) = -x**3 + x**2 + 4*x - 3. Let o be v(3). Which is smaller: o or u?
o
Let a(r) = -r**3 - 63*r**2 - 196*r + 63. Let y be a(-60). Do 1024 and y have the same value?
False
Let a(k) = -k**3 + k**2 - k + 1. Let g(p) = 7*p**3 + 6*p**2 - 6*p + 11. Let y(v) = 6*a(v) + g(v). Let s be y(-13). Let m be 4/(16/11)*s. Is m less than 9?
False
Suppose 3*a = -29*a + 128. Let v = 36/13 - 7/26. Is a bigger than v?
True
Let r = 6 - -4. Let w = r - 9.84. Let g = w - 0.46. Is g greater than or equal to 1?
False
Suppose -2*y = -y + 6. Let s = y + 30. Is 23 < s?
True
Let t be (2/(-36))/(20/(-147948)). Let o = -411 + t. Let a = o - -1/5. Which is smaller: a or 0.2?
a
Let s = -52 - -46. Do s and 0 have different values?
True
Let y = 4 - -14. Let p = y + -28. Is p greater than 2/7?
False
Let v = -3035 + 5909/2. Which is smaller: -80 or v?
v
Suppose -14*y - 80 = -16*y. Let m = -6 - y. Which is bigger: -45 or m?
-45
Let a(o) = -18*o**2 + 5*o - 2. Let f be a(-4). Is f greater than or equal to -313?
True
Let j = 490 + -615. Is -124 at most as big as j?
False
Suppose -2*b = z - 1, -b + 3*z + 3 = 6*z. Which is smaller: -22/29 or b?
-22/29
Let v be ((-15)/(-25))/(3/(-15)*1). Let i be (-1 - 0)/(((-24)/(-8))/v). Which is bigger: i or 8/11?
i
Let a(d) = -14*d - 9. Let v be a(-1). Suppose -5*t + 5 = -2*i + 17, -v*t + 54 = 4*i. Let p = 0 - 0. Which is greater: i or p?
i
Let c(w) = -w - 1. Let i(k) = -k**2 + 10*k - 19. Let d be i(8). Let o be c(d). Let q be 0 + 1 - (-1 + 1). Which is smaller: q or o?
q
Let n = -1592/11 + 36635/264. Does n = -5?
False
Let v(y) = -5*y**3 + y**2 + 2*y**3 + 4*y**3 - 4*y**2 - 7. Suppose 2*t = -5*i - 2, -2 = -3*t - 5*i - 0. Let w be v(t). Is 8 less than w?
True
Let r = -32 + 30. Let f = 5.7 + 4.3. Is r at most as big as f?
True
Let g be (-270)/(-225) - (-1)/(-5). Which is smaller: -2/69 or g?
-2/69
Suppose 5*k = 3*b + 79, -4*k + 14 = -b - 45. Let d = -42 + 14. Let n be (d/(-10))/((-5)/(-25)). Is n equal to k?
True
Suppose -4*j + 9 - 1 = 0. Suppose -j*g + 33 = 9. Are g and 14 nonequal?
True
Suppose 3*z - 4*o - 34 = 0, -5*o - 58 = -5*z + 7. Are 19 and z equal?
False
Let x be 2/5 + (-1)/(45/(-1542)). Let u = x + -35. Which is smaller: u or -3?
-3
Let z = -36 + 58. Let n(q) = 2*q**3 + 24*q**2 - 4*q - 38. Let b be n(-12). Let o = z - b. Are o and 13 nonequal?
True
Let k(h) = -7*h - 220. Let i be k(-14). Is i >= -121?
False
Let i(v) = -9*v - 4. Suppose 3*d = -2*b + 9, 2*d + 4*b - 4 = 2. Let r be i(d). Which is greater: r or 0.2?
0.2
Suppose 6 = -4*m + 7*m. Suppose -l = -s + 1, -l - 7 = m*s - 3. Are 2/5 and s nonequal?
True
Let o(y) be the second derivative of y**3/3 - 3*y**2/2 + 3*y. Let m be o(6). Suppose -5*a - 24 = -m. Is a less than or equal to -2?
True
Suppose -4*b + 9 - 1 = -4*h, -4*h - 5*b = -19. Let v(x) = 5*x**3 + x**2. Let z be v(h). Which is bigger: z or 5?
z
Suppose 4*m - 2*m - 40 = 0. Suppose 2*d - m - 18 = 0. Let j = d - 11. Is 8 < j?
False
Let n be ((-5052818)/2)/(-210 + 8). Let i = n - 12507. Let b = -269/5454 + i. Is b at least 2/7?
False
Let z be (6/8)/(15/5). Let a = 0 - z. Let w = -2.2 + -0.8. Which is smaller: a or w?
w
Let b(k) = k**3 - 5*k**2 + k - 2. Let d be b(5). Let y = 146 + -161. Let l be ((-54)/y)/(8/20). Are d and l non-equal?
True
Let w = 21 - 21. Let n(o) = -o**2 + 4*o + 2. Let y be n(4). Suppose -2*g + 0 = y. Are g and w equal?
False
Let x(w) = -2*w**2 + 39*w - 33. Let g be x(17). Do 52 and g have different values?
False
Let w be -74 + -2*(-1 + 0). Let q be (21/w)/(4/(-16)). Do q and 2 have the same value?
False
Let m(o) be the second derivative of -o**4/3 - 28*o. Let h be m(-1). Which is smaller: h or -5?
-5
Let n be 5*(-6)/(-45)*-6. Let c(o) = -o**2 + o + 1. Let u be c(0). Let v be u/(-1) - n/3. Which is bigger: -13 or v?
v
Let s = 8 + -11. Suppose -4*k + 7 + 5 = 0. Let u be (3 + -2)*(-6)/k. Is s bigger than u?
False
Let j = -19553 - -137385/7. Which is greater: 72 or j?
j
Let h = -26.882 - 0.118. Let r = h + 26.89. Is r != -1?
True
Let b(f) = 2*f**2 + 26*f + 72. Let v be b(-9). Is v < 2/969?
True
Let u = -92 + 63. Let p = u - -38. Does 1 = p?
False
Let o be (-5)/((-3 - -1)/(-2)). Suppose b = -b - 10, 36 = 4*r - 4*b. Suppose 4*t + 22 = 3*a, -a - a - 12 = r*t. Which is greater: o or t?
t
Suppose 264 = -5*d + 4*c - 0*c, 5*c = 3*d + 161. Let v = -44 - d. Is 8 greater than v?
False
Let a(x) = 2*x**2 + 29*x - 48. Let p be a(-16). Suppose 2 = -s - 1. Let l be (-2 - s)*(p - 0). Which is greater: 3/7 or l?
3/7
Let m(h) = 2*h**2 + 5*h - 12. Let n be m(3). Is 20 smaller than n?
True
Let d be 1 - -6 - 8*1. Let a be 4/(-2) + 0/(-2). Are a and d unequal?
True
Let p(r) = r**2 + 7*r + 6. Let k be p(-5). Let i(x) = -x**3 - 6*x**2 - 11*x - 11. Let v be i(k). Which is greater: 18/11 or v?
18/11
Let h(v) = -4*v**2 + 782*v - 1554. Let f be h(2). Suppose 5*u - 4 = -29. Do f and u have the same value?
False
Let y = 2.16 - 2.16. Is y <= 50?
True
Let b = -128 - -4735/37. Which is smaller: b or 2/7?
b
Suppose 3*a - 3*c - 51 + 2679 = 0, -2*c - 888 = a. Is -879 smaller than a?
False
Let i = -175 - -161. Let j = -15 - -18. Which is bigger: i or j?
j
Let s = 0.02 - -0.38. Let u = 65 - 63. Is s at least u?
False
Let b = 8.5 - 9.01. Let v = -0.41 - b. Is v > 0.4?
False
Suppose -37*c = -21*c - 16. Which is smaller: c or 618?
c
Let p = 7066 + -29237/4. Let s = p - -246. Suppose -3*j + 0*j + 24 = 5*g, 3*j + 4*g - 21 = 0. Is s < j?
True
Let g(z) = 4*z**3 + 23*z**2 - 17*z + 25. Let y(x) = 3*x**3 + 22*x**2 - 18*x + 24. Let q(w) = 2*g(w) - 3*y(w). Let o be q(-21). Which is bigger: -2/63 or o?
-2/63
Let c be 0*((-28)/(-8) + (-2 - 1)). Which is bigger: c or -4/123?
c
Let n(d) = -13*d - 19. Let a be n(-2). Suppose -13 = -4*m + a. Which is bigger: 7 or m?
7
Let n(o) = o**2 - 6*o + 5. Let q be n(6). Suppose q*s - 1 + 11 = 0. Let k = -8/9 - 13/9. Is s at least as big as k?
True
Suppose 3*h + 5*c - 1 = -0*h, 2*h + 36 = 4*c. Let b be (-58)/(-90) - h/(-40). Is b greater than or equal to -1?
True
Let g = -1048 + 413. Which is bigger: g or -636?
g
Let r(w) = -w**3 + 4*w**2 - 2. Let n be r(4). Let v(j) = -j**3 - j**2 - 2*j - 4. Let l be v(n). Let m = l - -3. Is m greater than or equal to 6?
True
Suppose 0 = l - 21 + 1. Let f be (8/(-12))/(l/(-42)). Which is greater: f or 2?
2
Suppose -5*y - x = -58, 0 = 2*y - 3*x + x - 28. Which is greater: y or 28?
28
Suppose -3*m - 5 = -2*r, -r = -6*r + 2*m + 7. Let u be r*(-3 - 7 - 0). Let l = u - -9. Is l < -1?
False
Let q(k) = 3*k - 13. Let r be q(6). Suppose -3*d + 2*h - 3*h = 20, -d = r*h + 2. Let a be 1 + (-3 - d) - 0. Is a equal to -1?
False
Let b = 0.526 - 0.466. Which is greater: 64 or b?
64
Let w(n) = n**3 + n**2 + n - 1. Let z(k) = -3*k + 5*k**2 + 5*k**3 - 5 - 9*k**2 - 4*k**3. Let u(g) = -2*w(g) + z(g). Let v be u(-5). Which is bigger: v or 2?
2
Suppose -2*a - 14 = -2*t - 4*a, -4*t - 5*a + 30 = 0. Which is bigger: 6 or t?
6
Suppose -2 = -13*t - 2. Suppose t*c - 10