(-147) - (-1174)/14. Let x = 68 - h. Suppose k + 6 + 10 = 0. Which is bigger: k or x?
x
Let a = -16.3072 + 34.3111. Let g = a - 0.0039. Is 13 smaller than g?
True
Let c(t) be the second derivative of 3*t**5/20 + 77*t**4/12 - 9*t**3/2 - 25*t**2/2 - 48*t. Let d be c(-26). Is -1.1 at most as big as d?
True
Let o be (25/(-15)*3 - -22)*(1 - 2). Is -104 greater than o?
False
Suppose 4*g = -20, -4*g - 20 = 21*u - 25*u. Let a = -15.84 - -16. Let w = a - 0.105. Which is smaller: w or u?
u
Let h(b) = 14*b - 54. Let u be h(3). Let m be -2 + -280*u/(-66). Is m > -53?
True
Let z = 74.09 - 73.59. Is -843 > z?
False
Let a(k) = -18*k - 62. Suppose -3*r + 3*c - 21 = 0, -2*r - c = 16 + 1. Let h be a(r). Which is greater: 84 or h?
84
Let c(v) = -v**3 + 8*v + 150. Let r be c(0). Let s be (150/r)/(-2*(-3)/(-2)). Which is smaller: 92 or s?
s
Suppose 0 = 308*w - 305*w - 1578. Suppose 2*f = j - 358, -w = 7*f - 4*f + 4*j. Is -179 <= f?
True
Let p be 5/(3246900/459476) + 4/(-6). Let j = -2/685 + p. Which is smaller: j or 1?
j
Let t = 217 - 215. Suppose t*c = -0*c - 5*b + 163, 5*b = 5. Does 79 = c?
True
Let p(k) = -k**3 - 5*k**2 + 12*k - 9. Let t be p(0). Let u = 5 + -10. Is t > u?
False
Let d(b) = -5*b**2 - 8*b - 6. Let i be d(-7). Suppose 5*z + 935 = -8*o, 2*o = -2*z - 3*o - 365. Is z > i?
False
Let x(j) = 13*j + 57. Let f be x(-4). Suppose 0 = -4*v + f*m - 5, 6 = 2*v + 4*m + 2. Which is smaller: v or 2?
v
Let u = 25.5 - 385.1. Let h = u + 361. Do h and 1 have the same value?
False
Let b be -1 + ((-629)/(-986))/((-7)/2). Are 0 and b unequal?
True
Let o(k) = -k**2 + 12*k + 4. Let m be o(4). Suppose 0 = -13*j - 5*j + m. Suppose 3*i - 28 = -2*b, 6*i - i + 44 = j*b. Which is smaller: 14 or b?
14
Suppose -8*w = -4*w + 36. Let m(d) = d**2 + 6*d - 13. Let h be m(w). Let l be (-5)/((-10)/38) - 2. Is l smaller than h?
False
Let f = -1.4395 + 1.4995. Is f <= 9/154?
False
Let t be -78 - 1/2*-6. Let m be 1/(-3) - t/198. Let w = 548 - 549. Is m > w?
True
Let m = 27 - 49. Let q be (-152)/3 + m/(-33). Let z be (-4*(-1)/(-5))/(4/q). Which is bigger: 8 or z?
z
Let i = -1.96 + 0.06. Let k = -0.1 + i. Let m = -0.108446 + 0.558446. Which is smaller: k or m?
k
Suppose 0 = 9*y - 16*y + 1575. Suppose 0 = -5*o + 4*o - 10. Let v be y/30*12/o. Which is smaller: v or -7?
v
Suppose -18*b = -20*b + 60. Let n = b + -26. Suppose 2*f + 6 = 0, -2*f - 5 - n = 3*u. Which is greater: -5 or u?
u
Let u be (-98)/10*(-1)/(-1). Suppose 0 = 16*g - 13*g - 15, -3*n - 53 = -4*g. Is n < u?
True
Let p be ((-4)/(-4))/(4/80). Let t be p/4 - (-1 - -3). Suppose 4*l + t*c = 3*l, -5*l = -4*c + 38. Which is greater: l or -0.1?
-0.1
Let j(y) = y**2 + 17*y - 223. Let u be j(-22). Which is smaller: u or -1019/9?
-1019/9
Let c = -30665 + 30583. Which is bigger: -141 or c?
c
Suppose y - 5*y = 2*x + 8, 0 = -2*x - 3*y - 12. Let s = x - -8. Let t be (-6)/(-4) + 6/s. Which is smaller: t or 2/5?
t
Let x(i) = 2*i + 35. Let q be x(-21). Let m(p) = 20*p + 142. Let f be m(q). Do -0.036 and f have different values?
True
Suppose w + w = -14. Let f = -251 + 251. Suppose f = 6*i - 2002 + 2050. Which is greater: i or w?
w
Suppose -221 = 5*y - 2*o, 3*y = 3*o - 0*o - 129. Let l be y*(12/45)/((-6)/15). Which is greater: l or -1?
l
Let o(r) be the second derivative of 3*r**5/20 - r**4/12 + r**3 + 5*r**2 - 63*r - 2. Let k be o(-2). Do -30 and k have different values?
False
Let r(c) = -168*c - 351. Let u be r(-5). Is u bigger than 492?
False
Let i(o) = -o**2 + 2*o + 2. Let r be i(3). Let z be (2/694)/(8/(-16)). Are z and r equal?
False
Let f(y) = 3*y + 130. Let o be f(-40). Do 59 and o have different values?
True
Let d be (-666)/(-27)*(-1)/((-4)/6). Let b = -19 + d. Let y be (-26)/60 - 6/(-1*b). Is y != 1?
True
Let v = 4869 + -3002. Which is greater: v or 1868?
1868
Let p = -11649/2 - -5824. Is p at most as big as -1433?
False
Let f(r) = 7*r**3 + 10*r**2 - 59*r - 22. Let i(c) = c**3 - 8*c - 4. Let g(l) = -f(l) + 6*i(l). Suppose -1 = m + 10. Let k be g(m). Is -1 less than k?
False
Let q(j) = -j**3 + 7*j**2 - 14*j + 7. Let i be q(4). Which is greater: i or -1/5419?
-1/5419
Let h = 642 + -524. Let u = 118.1 - h. Which is smaller: u or 146?
u
Let l be (20 - -60)/5 + -17. Which is greater: 1/4494 or l?
1/4494
Let c(p) = 2*p**3 + 64*p**2 + 93*p - 35. Let j be c(-28). Is j less than 7265/2?
False
Let s be 47 + -53 - (-8)/10*2. Are s and -3 nonequal?
True
Let u = 283 + -275. Suppose -5 + 1 = -h. Suppose -4*t = 2*j - 10, 0 = h*j + 2*t - 6*t - 44. Is u equal to j?
False
Suppose -5604 = -3*z + 5*s, -15*s + 13*s = 6. Is 1863 at most as big as z?
True
Suppose -4*p + 2 = -3*p. Let k be 9 - ((-7806)/(-1727) - -3). Let a = k - 4/157. Is p at least as big as a?
True
Let z be (-20)/(-12) - 2*1. Let s(o) = o**2 + 13*o - 2. Let c be s(-14). Suppose 55*k - 43*k - c = 0. Which is greater: k or z?
k
Let j = 2.01 - 1.61. Which is smaller: j or 0.1054?
0.1054
Let u(h) = h - 1. Let w(o) = -6*o - 16. Let b(c) = 22*u(c) + 2*w(c). Let g be b(-8). Is g greater than or equal to -133?
False
Let x(j) = 2*j**3 + 12*j**2 + 13*j + 14. Let t be (-1)/(102/(-15) - -7). Let h be x(t). Let a = 6175/8 + -773. Which is greater: h or a?
h
Let q = 183 + 83. Suppose -9*o = 31 + q. Which is bigger: -32 or o?
-32
Let j be 3 + -2 + 11/(-7). Let g = 2.4681 + -1.504. Let y = g + 0.0359. Which is smaller: y or j?
j
Let b be (-18)/42 - 1155/49. Let r = -15 + b. Is -42 at least r?
False
Let v be 140/5 - -1 - 4. Let q be -3*(296/(-12) + 0). Suppose -q = -l - 49. Is v > l?
False
Let m = 1069 + -1068.9165. Let n = m - 1.0835. Let a = 15.86 - 16. Which is bigger: a or n?
a
Suppose -18*g - 3010 = -454. Is -567/4 equal to g?
False
Let a be -1*(-4 - -3)*0. Suppose a = 5*r - 3*v - 55, 2*r + v = 6*v + 22. Suppose 0 = -16*x + r*x. Which is bigger: -1/38 or x?
x
Suppose -5*p + 268 = -2*l, 0 = -l + 40*p - 36*p - 131. Is -152 greater than or equal to l?
False
Let s = 153 + -110. Suppose -3*d - 12 = 0, 5*r - 5*d - 230 = -0*r. Which is smaller: s or r?
r
Let l = -1 - 0. Let i be (161/(-112) - -2)/((-78)/8). Let f = -7/260 - i. Which is greater: l or f?
f
Let y = 149 - 147. Suppose y*w + 6*w = 32. Is w at most -10?
False
Let w = -96 + 100. Suppose 0*h + 4*o = 4*h, w*o = -3*h. Is -2/159 at most h?
True
Suppose -2*n - 2*n = 12788. Let w be ((-2)/(-54))/(n/10833). Let f = 2/139 + w. Which is bigger: f or 0?
0
Let h = 371 - 318. Suppose -293 = -5*f - z + h, -8 = 2*z. Which is greater: 72 or f?
72
Let x be (60/75)/(1 + 8/(-10)). Let j be 22/x + (14/4)/7. Let b be j/(-9)*(1/(-2) - -2). Which is smaller: -2 or b?
-2
Let v be (12/180)/(-6 + 200/33). Is v greater than or equal to 4?
False
Let p(u) be the first derivative of -3*u**2 - 33*u + 3. Let b be p(-7). Let k be (-3 + 2/(6/b))/1. Which is smaller: 5/4 or k?
k
Suppose -3*z = -4*z. Let y = 0.1829 - 23.1829. Which is greater: y or z?
z
Let l = -3319 - -126111/38. Which is smaller: -1 or l?
-1
Let t = 132378 - 113315585/856. Which is smaller: 0 or t?
t
Suppose 6*r + 3*r + 4885 + 20 = 0. Which is smaller: r or -547?
-547
Let v be (7/21)/(-2*2/(-744)). Suppose -4*k - 478 - v = 0. Which is greater: -134 or k?
-134
Suppose i = 4*g - 16, -2*g = g + 4*i - 12. Suppose 3*r + 31 = d + 3*d, -11 = -g*d - r. Let b = -3 + d. Which is smaller: -2/21 or b?
-2/21
Suppose 4*z = -z + 4*y + 124, -4*y + 92 = 4*z. Suppose 3*n + 5*n = z. Which is smaller: n or 8/33?
8/33
Let g = -146 - -104. Let u(s) = -s**2 - 5*s + 7. Let w = -23 + 28. Let a be u(w). Is a at most g?
True
Let p = -193 - -201. Let s = p + -54/7. Is 76 less than or equal to s?
False
Let z be ((-25)/15)/(-5)*60564/98. Which is bigger: 166 or z?
z
Let z = 268 - -236. Let f = z - 500. Let a = 0.2 + -0.3. Which is smaller: f or a?
a
Let i(q) = q**3 - 37*q - 6. Let b be i(-6). Suppose -4*a = -3*m - 0*m - 58, 4*m + 4*a + 40 = b. Let l be (-1 - -3)*1*-8. Are l and m nonequal?
True
Let n = 3543 + -3906. Which is greater: n or -364?
n
Suppose 5*n - 25 = 2*s + 3*s, 4*s + 50 = -2*n. Let y = 14 + s. Let j be -1*(y/1 + -8). Are 4 and j equal?
True
Let n be (2 - 3)/((-141)/69 - -2). Suppose x - 59 = -n. Which is bigger: 37 or x?
37
Let l be (-143)/77 - (1/7)/1. Let j be l + 10/(60/9). Which is smaller: j or -17?
-17
Let d(k) = -30 - 7*k + k + 2*k. Let x be d(-8). Suppose 62 = 3*p - x*p - 3*c, 3*p - 2*c = 151. Which is greater: 48 or p?
