2*x - 30. Let t be z(-4). Let v = 258 - t. Which is greater: 6/47 or v?
6/47
Let t(k) = -1186*k + 368. Let m be t(-5). Is m greater than or equal to 0.2?
True
Let x = -1662465399/37 + 44927278. Let a = x - -4219. Is a greater than or equal to 0?
False
Let t(c) = -23*c - 90. Let k be t(-4). Let j = k + -2. Let g be 1/36 + (-10)/(-45). Which is smaller: g or j?
j
Let i(z) = 8*z**3 - 10*z**2 + 17*z - 10. Suppose -10*a - 78 = -128. Let y be i(a). Is 1 greater than y?
False
Let x be -2*2/4*(-36 - 647). Which is smaller: x or 3413/5?
3413/5
Let c be -1 + 15/(-27) - 0. Suppose -16*k - 4980 = -21*k. Suppose 993*h = k*h + 9. Which is smaller: h or c?
h
Let l = 2222488/29 - 76647. Is l > -10?
True
Let o(l) = -l**2 + 7*l - 8. Let q be o(8). Let m(h) be the second derivative of 7*h**4/12 - 9*h**3/2 + 5*h**2/2 + 55*h + 2. Let a be m(3). Are q and a nonequal?
True
Let p(i) = i**2 - 7*i + 9. Suppose 5*j - 21 + 10 = -2*z, z - 11 = 3*j. Let c be p(z). Suppose c*y - 6 = -193. Which is smaller: 0.1 or y?
y
Let k be 64/30 + (-2)/15. Let t = -7 - -7. Suppose k*g - 46 = -5*i, t = -3*g + 2*i - 1 + 32. Are g and 13 equal?
True
Let l(n) = 113*n - 451. Let c be l(8). Do 452 and c have the same value?
False
Let w = 478 + -422.6. Let l = -18 - 34. Let k = w + l. Which is smaller: -1 or k?
-1
Let b(j) = -j**2 + 1. Let w be b(0). Let n be (-42)/(-35)*(-30)/(-12). Let x be (-1 - n)*w/(-6). Do x and 14 have the same value?
False
Let p = 1165.4 - 1169. Let o = -0.83 - -4.53. Let s = o + p. Which is bigger: s or -13?
s
Suppose -43293*w + 294 = -43279*w. Let g be (-69)/2*(-2)/3. Which is bigger: g or w?
g
Let j(y) = y**2 + y - 7. Let h be j(3). Suppose 0 = h*z - 2*x - 7, -x - x = 5*z - 23. Let c be (-15)/26*((-56)/(-20) - z). Are 1 and c nonequal?
True
Suppose -3*n + 4 + 2 = 0. Suppose -5*s = -s - n*l - 86, 3*l = -5*s + 102. Let t = 3939 + -3937. Is t at most s?
True
Suppose 4*u = l + 100, 5*u + 0*l = 2*l + 125. Let i be (1791/(-135) + (-55)/(-15))*15/(-6). Is i bigger than u?
False
Let f = -6086 - -2580. Let k = f + 3469.99. Let s = -36 - k. Is s equal to 2/9?
False
Let v = 1188 - 1187. Is v less than -2/25?
False
Let c = 8331 + -7562. Which is bigger: c or 773?
773
Suppose 3*x = 0, 0 = -z + 6*z - 5*x - 95. Suppose -z = 6*p - 13. Is p > -1/8?
False
Let q be 98*(-1 + 1 - -1). Suppose -d + 4*x - 18 = x, 3*d + q = -2*x. Suppose 137 = -3*g + 4*p + 33, 4*g + 87 = -5*p. Is g at least d?
True
Suppose 0 = -29*z + 27*z - 3*g - 138, -3*z - 206 = 5*g. Let q be (-1)/1 - (-209)/(-3). Which is greater: z or q?
q
Suppose -438*z - 6 = -442*z - 5*h, -2*h = 2*z - 2. Is z at least 5/249?
False
Suppose 61*s - 57*s = -644. Let k = s - -159. Let t = -724/9 - -238/3. Which is greater: t or k?
t
Let t be (-8)/(-28) - 2/7. Suppose 15*b + 3036 + 864 = t. Which is greater: -262 or b?
b
Let q = 873431804026/275 + -3176119715. Let d = q + 4064. Which is smaller: 2 or d?
d
Let y be (-2)/9 - -291*(-3)/81. Let z(m) = -4*m - 38. Let d be z(y). Let q = -2 - d. Which is bigger: q or -11?
q
Let g = -14 - -15. Suppose -g = -3*t - 73. Let w be (-2)/(-20)*(-6)/t. Is -0.1 equal to w?
False
Suppose 4*i - n + 12 = 3*n, -n = i - 5. Let p = 0.19 + -0.1. Let v = p + -0.19. Which is smaller: v or i?
v
Suppose -58*y = 21*y - 200*y + 131164. Does -0.1 = y?
False
Let d = 8930 - 8421. Which is smaller: d or 516?
d
Let p be (-225)/288 + (-2)/8. Suppose 0 = -686*i - 330*i. Are i and p nonequal?
True
Let r(u) = -u**3 + 23*u**2 + 2*u - 529. Let t be r(22). Is -2/16925 smaller than t?
False
Let g(c) = 6*c + 9. Let p(q) = -1. Let u(m) = -g(m) - 2*p(m). Let y be u(-4). Let x = y + -28. Which is smaller: 1/2 or x?
x
Let m(d) = -2*d**3 + d**2 - 3*d - 3. Let g be (-20)/5*3/6. Let o be m(g). Let w = -1.036 + 0.036. Which is bigger: w or o?
o
Let z be -82 + 74 + (0 - -290). Is 565/2 at most z?
False
Let n be (0 - (-8)/(-10))*52/(3952/570). Let c = 14 + -17. Is n < c?
True
Suppose -49 = -6*q - q. Let y(x) = -x**3 + 7*x**2 - 6*x + 15. Let o be y(q). Which is greater: o or -24?
-24
Let v = -106807/7 - -15259. Let a = 6.7 - 6. Let u = 0.3 + a. Is u greater than or equal to v?
True
Let l be (0 - 1)/(1/23). Let f be 6/(-16) - (-6615)/(-280). Let v = f - l. Is v smaller than 1/37?
True
Let y = -0.0019 + 0.0123. Let h = y - -6.7896. Which is greater: -2 or h?
h
Suppose 0 = -3*r + 157 - 913. Are r and -252 non-equal?
False
Let m = 3355 - 3294. Which is smaller: 55 or m?
55
Let b be 1/(-2)*(2 + 0). Let j(h) = 1464*h + 18964. Let y be j(-13). Is y != b?
True
Suppose 18 = k + 34. Let n(w) = w - 6. Let a be n(-9). Is a less than or equal to k?
False
Let r = 62.77 + -64. Let c = -0.9 - r. Is c bigger than -1?
True
Let a = -3258.1 - -3421.1. Is a greater than or equal to 68?
True
Let q = -160.3 + 159.3. Which is smaller: q or 0.504?
q
Let j(i) = 2*i - 71. Let a(n) = 70. Let t(m) = 5*a(m) + 4*j(m). Let o be t(-8). Is 20/13 smaller than o?
True
Let n = -10 - -15. Suppose n*k = j + 4*j + 40, -3*k = 4*j - 31. Suppose -4*d + 5 = -k*d. Is d != 1/68?
True
Let k(p) = 2*p**3 - 113*p**2 - 288*p - 405. Let i be k(59). Suppose -6*r = -2*r - 32. Is i >= r?
True
Let a(c) = 2*c**3 - 12*c**2 - 12*c - 9. Let k be a(10). Is k at most as big as -1?
False
Let s = -3450 - -3451. Is -3.01 <= s?
True
Let r be 6*(-4)/(-96) - (4 + 20/(-944)). Is r smaller than -4?
False
Suppose 16 = c + c. Suppose -34*n - 833 - 838 = -1705. Which is greater: n or c?
c
Let o = 68.3 - 40.6. Let r = 27.7 - o. Which is bigger: -206 or r?
r
Let p = -251.5 - -70.8. Let q = p - -220. Let i = 39 - q. Which is bigger: -0.02 or i?
-0.02
Let l be (1 + -2)*((-1)/1 - 6). Let s = -0.023 - -0.056. Let z = s - -0.967. Which is smaller: l or z?
z
Let f(m) = -m**3 - 3*m**2 - m + 6. Let y be f(-4). Let w = 50 - -1. Suppose 7*r + y + w = 0. Is r greater than or equal to -9?
False
Suppose 412 - 1288 = 2*i - k, 0 = i + 4*k + 429. Is i at least as big as -873/2?
False
Suppose 12*n = 18*n - 168. Let g be 1 + (-132)/(-5) + 2/(-5). Is g equal to n?
False
Let j = -55 + 55. Suppose j = 6*x + 4*x - 20. Suppose 3*g = x*p, -2*g - 4*p = 1 - 17. Which is smaller: -0.3 or g?
-0.3
Let y = 1 + 0. Let w = -138.6623 - 2.3677. Let u = -141 - w. Is y less than u?
False
Let s(g) = -40*g**2 - 5*g - 65. Let k be s(6). Which is smaller: -1536 or k?
-1536
Let m be ((-91)/14 + 6)/(382/12). Let o = m + -179/764. Is o equal to 0.082?
False
Let z = -0.255 + 0.564. Let c = z - -0.081. Let v = -0.29 + c. Is v at least -42?
True
Let t = -4477.8 + 4472. Which is smaller: t or -10?
-10
Suppose -3*c = -5*m + 3, -5*c - 5 = 7*m - 2*m. Let y be -24 + c*(-5 - 2). Which is bigger: y or -13?
-13
Let z = 27.377 - -7114.623. Is z != 2?
True
Suppose -4*r + 687 = -t + 697, 2*r - 30 = -3*t. Which is smaller: -239 or t?
-239
Suppose h - 13 + 39 = 0. Let i = h - -27. Let w be (-2 + (-10)/(-2))/(i/(-3)). Which is bigger: w or -2/3?
-2/3
Let q = 23.964 + 0.036. Let p = q - 24.037. Let a = p - -0.027. Which is greater: -0.04 or a?
a
Let i = -347254/5 - -69770. Which is smaller: 318 or i?
318
Suppose 0 = 4*q - 5*z - 14 + 1, -z + 7 = 4*q. Suppose 4*m - 630 = 7*m. Let r be (56/m)/(4/(-50)). Is q >= r?
False
Let r = 54220/4879 + 52/287. Is 12 != r?
True
Suppose 0 = -16*f + 26*f - 2870. Suppose -5*a + 2*v - 510 = -0*v, 5*v - f = 3*a. Is a greater than -105?
True
Let h be (-2*6/15)/(10/(-775)). Let b be 2996/49 - 4/28. Which is greater: h or b?
h
Suppose -26*j = -17*j - 1467. Let u = j + -131. Is 32 > u?
False
Let n = 2755.055 + -2755. Is n > -0.12?
True
Let f = -9 + 5. Let u be ((-25)/f - 1)*-4. Let j(w) = 2*w**3 - 80*w**2 - 2*w + 60. Let o be j(40). Is u less than or equal to o?
True
Let r be (-3 - -23)/(4 + 44/(-10)). Let x be r/1700*(-4)/(-13). Is x smaller than -1?
False
Let x(y) = -2*y - 11. Let u be x(4). Let b be 1/(-2)*0/(-27). Let n be 76/(-8)*((-4)/(-2) - b). Is n bigger than u?
False
Let t = -85 + 69. Let r be -1 - (t/(-16) + (-100)/18). Are 2/3 and r nonequal?
True
Let d(q) = 4*q**3 + q - 2. Let g be d(1). Suppose -3*t + 5*s = 12, -g*t + 3*s + 6 = 4*s. Which is greater: t or 2?
2
Let r be 2 + 5 - 4 - 32. Suppose 54 = 3*x + 3*x. Suppose x*l = 6*l - 90. Which is bigger: l or r?
r
Let l be (-5 - (-2 - -1))*(-2931)/(-138). Which is greater: l or -86?
l
Let x(r) be the first derivative of -r**3/3 + 13*r**2/2 - r - 1. Suppose -220 = -33*s - 10*s + 339. Let 