e ((-2)/2)/(g/4). Which is bigger: 1 or t?
1
Let j = 6/13 + 15/52. Suppose -m - 5*u - 33 = 0, -3*m - u + 258 = 259. Which is smaller: m or j?
j
Let c = 26/37 + -1289/1887. Which is bigger: -1 or c?
c
Let v = 397.76 + 12.24. Which is bigger: v or 1/5?
v
Let r = 447 + -378. Are r and 59 non-equal?
True
Let y = 664 - 574. Which is smaller: 89 or y?
89
Let o = -172 - -161. Is -30 > o?
False
Let y(x) = -x**3 - 35*x**2 + 79*x + 225. Let a be y(-37). Is a > 31?
True
Let r = 44.11 - 45. Let c = 0.11 - r. Let j = 0.05 + -1.05. Is c > j?
True
Let y = 219 + -178. Is 41 equal to y?
True
Let z be (-9 + 574/70)*2*3/(-12). Let x(n) be the second derivative of -n**5/10 + n**3/6 - n. Let i be x(-1). Is i != z?
True
Let a = -0.4 - -0.3. Let b = -149 - -121. Let v = b + 21. Which is greater: v or a?
a
Let b be 5/(-2)*88/1034. Are b and 0 nonequal?
True
Suppose 2*f = 2*i + 344, i = 2*i + 3*f + 156. Let s be (-20)/i - (-1)/7*-2. Is 1 at most s?
False
Suppose 494 = 8*k + 470. Suppose -4*l - 4*n = -0*l - 36, -3*l + 3 = -3*n. Which is bigger: l or k?
l
Let q be 4/((-132)/16 - -8). Is q at most as big as -261/16?
False
Let b = 31 + -36.8. Let r = b + 7.8. Is r greater than or equal to -4?
True
Let d(j) = 4*j - 16 + 2 - 5*j. Let o be d(-7). Let x(t) = -5*t + 54. Let c be x(12). Which is smaller: c or o?
o
Let v be (-1 + 36)*8/10. Suppose -b + v = 5*q, -6*q + q + 34 = -2*b. Suppose 5*f = -4*r + 17 + 23, 2*f - 8 = 0. Which is bigger: q or r?
q
Let a = -3.6 - 12.4. Let g = 7 + a. Let q = g - -8.7. Which is smaller: q or 0.2?
q
Suppose 5*d = -0*d + 50. Suppose -5*f = -b + 5, -109*f + 106*f + 4*b = 20. Is d at least as big as f?
True
Let i be -1 + 4 - 30*(-21)/14. Let x be ((-112)/i)/((-13)/(-3)). Is -1 <= x?
True
Suppose -7*u + 91 - 21 = 0. Suppose x - u = -8. Is x at most 2?
True
Let n be (-22)/(-3) - (-24)/36. Let x be 3/((-36)/n)*-3. Suppose -z + 2 = 0, -k - 2*z + 22 = x*z. Does k = 14?
True
Let j be 88 - (-1 - (2/2 - 0)). Let c be (92/50 - 2)/(252/j). Is -2 less than or equal to c?
True
Suppose -7*y - 1550 = -1543. Are y and 17/39 non-equal?
True
Let p = 134 + -134. Is p at least as big as -2/707?
True
Let q = 79 - 73. Suppose v + 7 = q*v + 3*u, -3*u = -12. Which is greater: v or 2.9?
2.9
Let n(w) = w**3 - 12*w**2 - 4*w + 2. Let z be n(12). Suppose -2144 - 1321 = 77*c. Is z smaller than c?
True
Let c be 4 - 69/(-3)*1. Suppose -31*v + 16 = -c*v. Suppose 19 + 37 = v*t. Which is bigger: t or 29/2?
29/2
Suppose -v + z - 8 = 0, -3*v - 2*z = 41 + 3. Let q be -4 + (v - -1)*2. Which is greater: q or -24?
-24
Let h(l) be the second derivative of -l**5/20 + 7*l**4/12 - 3*l**3/2 + 7*l**2/2 - l. Let v be h(5). Let r = -10 + v. Is r >= 4?
False
Let i = 267.6 + -267. Is 3/19 <= i?
True
Let m = 0.6808 + 0.0192. Is -1/3 at least m?
False
Let i(h) = -3*h - 14. Let m be i(-6). Suppose -m*l = -23 - 45. Are 17 and l unequal?
False
Suppose 2*u + 164 = 5*i, -6*i + 2*i - u = -139. Let b = i + -14. Which is bigger: b or 21?
21
Let n = 0.8 + -0.8. Let d = -1.49 - 0.01. Which is bigger: d or n?
n
Suppose 5*h + 427 + 1113 = 0. Is -308 < h?
False
Let a be (-369)/(-363) + 2/(-2). Is a < -1?
False
Suppose -27 - 393 = a. Are -421 and a nonequal?
True
Let f(j) = -5*j**3 + 2*j**2 - 1. Let l be f(1). Let y(v) = -v**2 + 5*v - 3. Let r be y(4). Which is greater: r or l?
r
Let a be (28/(-10))/(-18 - 1056/(-60)). Let p be (32 + -1)/(2 + -1). Suppose -j + 3 = -d, 0 = -5*j + d - 4*d + p. Which is bigger: j or a?
a
Suppose -3*h = 3*h + 246. Let p = 57 + h. Suppose 0 = -5*x - k + 77, 89 = -2*x + 7*x - 3*k. Are p and x nonequal?
False
Let y = 0.01621 + 0.98379. Let v = 52516887/308 - 170509. Let i = v + -7/44. Do y and i have different values?
True
Let k = 3 + -2. Let f be -2 + 1 - (192/(-33) + 5). Which is smaller: k or f?
f
Let w = 2697/10 + -1703/10. Let s = -99 + w. Let j be 3/(-3)*(1 + -1). Which is smaller: s or j?
j
Let w = 97 - 63. Let v = w + -34. Let y = 8 + -6. Which is bigger: y or v?
y
Let r(k) = k**3 - 31*k**2 + 95*k - 10. Let i be r(28). Is 297 at least as big as i?
False
Let k be 329*(-7)/((-21)/(-3)). Which is smaller: k or -2/3?
k
Suppose -2*a + a = -5. Suppose 0 = -12*q + 16*q - 20. Suppose -h = a*s - q*h + 22, 3*s - 6 = -4*h. Is s bigger than -3?
True
Let l = -1.9 + -0.1. Let n = l + -10. Let r = n + 12.1. Is r equal to 2/7?
False
Let p = -3120 + 321368/103. Let k = p + -421/1442. Which is smaller: k or 2?
k
Let l = -235 + 180. Is -56 <= l?
True
Let a = 98 + -75. Let y = a - 48. Is y bigger than -24?
False
Let d = -49 - -47.85. Let a = -9.1 - -8. Let b = d - a. Is b > 2/3?
False
Let k = -0.011 - -0.451. Let m = -0.56 - k. Which is bigger: 38 or m?
38
Suppose m - 359 = 4*m + 5*t, -2*t = -m - 105. Does 3 = m?
False
Let b = 883 - 882.407. Is b at most as big as 2/7?
False
Let g(h) = -h**3 - 2*h**2 + h + 2. Let c be (3/(9/3))/1. Suppose -5 = -3*a + c. Let m be g(a). Is m at least -11?
False
Let z(g) = -g. Let c be z(-8). Let o(v) = v**2 - 8*v + 3. Let m be o(c). Let k be 2/12*2*m. Is k != 2/7?
True
Let h = 41851/5 + -8401. Which is smaller: h or -30?
h
Let f(q) = -5*q**3 + 2*q**2 + 2*q - 2. Let g be f(2). Let b be 0 + g - (-7 - -9). Let u = b + 32. Is -2/11 smaller than u?
True
Suppose -4*a = 5*g + 124, 2*a - 7 = -5*g - 79. Which is greater: a or -38?
a
Let d(a) = -62*a + 668. Let s be d(12). Is -76 at most as big as s?
True
Suppose 8*y + 713 = -151. Let c = y + 108. Is c bigger than 4/33?
False
Suppose -5*w - 5*i = 15, -3*w + 4*i = -i - 15. Is -14/17 != w?
True
Let d be -9*(12/(-9))/4. Suppose d*y = 8 + 1. Suppose -3*k = 2*k - y*c + 68, -3*k - 4*c - 35 = 0. Which is smaller: k or -14?
-14
Let l = -450 - -449. Which is greater: -49 or l?
l
Let n = 10 - 21. Let f = n + 28. Let u = 45.4 + -46.4. Which is greater: u or f?
f
Let c(d) be the third derivative of -d**5/15 - 5*d**4/24 - d**3/3 + 6*d**2. Let i be c(-2). Is i <= -10?
False
Suppose 0 = -g - 1 + 11. Suppose -r = 4*r - g, t = 3*r - 6. Let y be (-1)/4*4/(-14). Is t >= y?
False
Let l = -0.1553 - -0.2014. Which is smaller: 2 or l?
l
Let k = -55.18 + 1.18. Let b = k - -51. Do b and 3/10 have different values?
True
Let k(x) = x**2 - 11*x + 5. Let h be k(11). Let c(q) = -7 + 5 - 2*q + h. Let p be c(3). Is p at most 0.1?
True
Suppose -22*g + 21*g = 199. Which is greater: -198 or g?
-198
Let v be ((-1)/(-3))/(1/2649). Let d = v - 15006/17. Is -1 > d?
False
Let v be (-75)/(-120)*(0 - (-8)/20). Which is greater: v or -50?
v
Let h = 0.051 - -22.949. Let w = 23.2 - h. Which is smaller: 0.46 or w?
w
Let h = 2065/884 - 135/34. Let t = h - -18/13. Are -1 and t unequal?
True
Let v = 1457636/35 - 211258/5. Let b = v + 606. Do 1 and b have the same value?
False
Let d be 2 - (-7 + 5 + -1). Suppose -4*t + 5 = -d*q, 0*t + 1 = -q - 4*t. Which is smaller: -4 or q?
-4
Let o = -6 - -21. Let x be (-1)/(2/4) - -17. Let v = x - o. Which is smaller: v or 7/6?
v
Let n = 2915/3 - 962. Suppose 0 = -3*x + 5*c + 45, 0*x + 3*c - 21 = -3*x. Which is smaller: x or n?
n
Let y = -2.848 + 3.6. Which is smaller: 1 or y?
y
Suppose 2*x + 3*s - 5*s = 12, 2*s + 14 = 3*x. Suppose 7*h = 17 + 4. Let u = h - x. Is -3/11 less than u?
True
Let o(h) = -h**2 + 21*h - 59. Let b be o(13). Is b greater than or equal to 42?
True
Let w = 935 - 934. Is w less than -1/1307?
False
Let z(h) = -h + 18. Let s(f) = -2*f + 35. Let t(n) = -2*s(n) + 5*z(n). Let l be t(16). Let p be (l - 31/4) + 4. Which is greater: -2 or p?
p
Let m(s) = 5*s + 1. Let a(u) = 2*u - 10. Let z be a(6). Let q be 6/z - (-4 + 8). Let x be m(q). Which is smaller: -5 or x?
-5
Let h = 315 + -331. Is h greater than -25?
True
Let y = 2 + 4. Let z = y + -3.4. Let b = 3.6 - z. Which is greater: -2 or b?
b
Suppose 11*l = 21*l - 230. Which is bigger: l or 16?
l
Let u be -1*(-445)/15*3. Let g = -44 + u. Which is smaller: 47 or g?
g
Suppose 0 = -19*z - 8*z - 378. Which is smaller: z or -43/3?
-43/3
Let a(w) = -w**3 - 12*w**2 - 8*w + 6. Let g be a(-11). Let y = g - -12. Let v be (-5 + -1)*y/135. Which is smaller: v or 3/11?
3/11
Let p = -0.1 + 0.05. Let q = p + 0.29. Let z = 0.14 - q. Which is smaller: z or -2?
-2
Let c = -10.14 - -0.14. Let j = 0.068 + 11.432. Let w = j + c. Are -1/2 and w non-equal?
True
Let q = -0.134 - -0.262. Is -1/4 at most q?
True
Let c = 788 - 813. Is c < 2/5?
True
Suppose -y = 2*y - 66. Let a = y + -23. Let o be (