f
Let a = 4/61 + 322/671. Is -0.08 at most a?
True
Let y(i) = 30*i. Let t(x) = -x. Let a(f) = 54*t(f) + 2*y(f). Let l be a(-2). Suppose -20*u = -46*u - 312. Is u < l?
False
Let m = 263 - 267. Let t be ((-1)/(-1))/((-1)/4). Is t less than m?
False
Let h be 2 - -78 - 378/54. Is 367/5 < h?
False
Let k be 2/(-4) + (-39)/(-6). Suppose 4*d - k*d = 0. Let l = -901/11 - -82. Which is greater: l or d?
l
Let u(c) = -537*c**3 - 3*c**2 - 12*c - 9. Let m be u(-1). Is 537 not equal to m?
False
Let y(s) be the second derivative of -s**4/12 + s**3 - 6*s**2 - 17*s. Let z be y(4). Is -3 bigger than z?
True
Let w = -2266/9 - -252. Let f be (-6 - -4)*4 + (-6)/(-2). Let m = f + 5. Which is greater: m or w?
w
Let g be (-17)/85 + 12/10. Suppose 4*q - g = -69. Does -18 = q?
False
Let z = 24 - 23. Let d = -4 + z. Let p = -19/30 - -2/15. Is d less than or equal to p?
True
Let j = 342 + -341.974. Which is bigger: j or 1?
1
Let p = -26 - -31. Suppose -4*l - p*b = 15, 9 = l + b - 4*b. Which is bigger: -11 or l?
l
Let b = 16 - 16.11. Let x = b + 0.06. Which is bigger: 0 or x?
0
Suppose -i + 2*m - 4 = 0, -3*i - 4*m + 10 = 2. Let s be 16/(-4) + (i + 1)*3. Let a(o) = -o**3 + 2*o + 1. Let h be a(-1). Which is greater: s or h?
h
Let p be 0 + -1 + 3 - 2/(-4). Is 2 > p?
False
Let u(z) = -2*z**2 - 10*z - 2. Let q = 6 - 10. Let l be u(q). Let r be l*2*(-4)/24. Is r bigger than -2?
False
Suppose 0 = -4*h - 4*l - 7 + 3, 2*h + 5*l - 13 = 0. Is h > -88/13?
True
Let c = 1289.8 + -1290. Which is smaller: c or 83/3?
c
Let l(u) = -4*u - 13. Suppose d - 7 = 2*c, 4*c + 32 = -4*d - 0*c. Let v be l(d). Which is greater: -1/87 or v?
-1/87
Let n = -96174984 + 28371509729/295. Let c = n + 1874/5. Do -1/4 and c have the same value?
False
Let i = -93004288/3407 + 27298. Is i greater than or equal to 0?
False
Let p = 29 - 25. Suppose -2*x = -2*n - 2, -8*x = -5*n - p*x - 9. Let u(k) = -k + 1. Let c be u(1). Is n bigger than c?
False
Let h = 82 + -82.184. Let q = h - -0.084. Which is smaller: -12/7 or q?
-12/7
Suppose -m + 2*g + 19 = 4*m, -3 = m + 3*g. Suppose 2 = 5*d - m. Is 2/81 < d?
True
Let x(a) = -13*a**3 + a**2 + 2*a + 1. Let y be x(2). Let d = y + 105. Which is smaller: d or 11?
d
Let y = -6 - -18. Suppose 21 - 1 = -5*o. Let h be ((-2)/o)/((-6)/y). Which is greater: 0 or h?
0
Let z be (1 + -68)*1 - (29 - 29). Which is smaller: -68 or z?
-68
Let c = -275 + 292.7. Which is bigger: c or 1?
c
Let o = 187 + -68. Is 119 < o?
False
Let m = 5.6 - 21.6. Is 13 greater than or equal to m?
True
Suppose -4*b + w + 442 = -0*b, -2*b + 2*w + 224 = 0. Suppose 0 = -5*c - 5*j - b, 0*j = c - 2*j + 10. Let q be c*(24/9 + -2). Is -11 greater than q?
True
Suppose -68 = -3*f + 2*x - 4*x, 122 = 5*f - x. Suppose -7*j + 111 = -57. Is j > f?
False
Let g(y) = -2 + 0 - 3 + y - 4. Suppose 2*w + 10 = -i - 3*w, 0 = 4*i + 3*w - 28. Let b be g(i). Which is smaller: 2 or b?
b
Let d(j) = j**3 - 7*j**2 + 3*j + 3. Suppose -5*n + 4*p + p = -25, 5*n + 3*p - 25 = 0. Let b be d(n). Is -32 less than b?
False
Suppose 0*i - 5*i = g - 45, -3*g = -i - 215. Suppose -4*m - 3238 + 3652 = 2*m. Which is bigger: g or m?
g
Let p = 914 - 895. Is p equal to 10/7?
False
Let t(y) = -3*y**2 + 22*y + 5. Let s be t(17). Let r be ((-2)/(-4))/((-4)/s). Is 60 at least as big as r?
False
Suppose -57*d + 33*d + 27504 = 0. Which is bigger: 1147 or d?
1147
Suppose 18*s - 19*s + 2*r + 5 = 0, -4*r = -4*s. Which is smaller: -29 or s?
-29
Let i be (-14)/105 - (-296)/(-30). Which is smaller: -9 or i?
i
Let l be (-4)/(-1032)*(-18)/(-24). Let v be 12/8*237/(-3956). Let r = l + v. Which is bigger: -1 or r?
r
Suppose -5*a + 9 = -i, 5*i = 8*i + a - 53. Suppose 4*o + 60 = -5*x, x + 2*o = -0*o - 6. Let r = i + x. Is r at most 2/3?
True
Let n = -957.9 - -958. Let v = -0.7 + 1. Which is smaller: v or n?
n
Let x be (315/(-12))/((-4)/(-272)). Which is bigger: x or -1784?
-1784
Suppose -144 = 2*l + 2*u + 148, -9 = -3*u. Is l greater than -149?
False
Let s be 1/12*7/(553/8). Which is bigger: s or 1?
1
Let r = 2 + 14. Suppose -s = -f - 6*s - r, -3*f - 3*s = 0. Do f and 0 have the same value?
False
Let w = 9 - 7. Let x be w*(4 + 17 - -3). Is 49 < x?
False
Let v = -79 - -98. Which is smaller: 13 or v?
13
Let t be ((-12)/10)/(6/(-15)). Let o be (-1 + t)*7*-3. Let x be (6/7)/((-9)/o). Which is smaller: 5 or x?
x
Suppose 5*y = y - 4*w - 36, -5*w = -5*y - 5. Which is smaller: -10 or y?
-10
Let a be (-2)/(-1) + 2/(2 + -3). Is -7/32 greater than or equal to a?
False
Let k = -0.36 + 0.97. Let b = k - 0.01. Let a = -6.6 + b. Which is smaller: a or -0.1?
a
Let d be 3*84/(-2440)*(-48)/27. Let z = d - -1/61. Is z > 0.08?
True
Suppose 0 = -v + 4*p - 9, -69 = -4*v - 2*p - 3*p. Does v = 15?
False
Let x be 252/(-62) + 2 - -2. Suppose -80 = -29*h + 27*h. Let y = -40 + h. Is x >= y?
False
Suppose 0 = 2*u + 7 - 9. Let j be ((-60)/(-9))/u + 0. Is 7 greater than j?
True
Let z = -1.54 - -1.64. Which is bigger: z or 23/4?
23/4
Let n = 32 - 14. Suppose c + 16 = n. Are c and 6/11 nonequal?
True
Suppose 2*p + 2*p = 96. Suppose 6*k = 2*k + p. Let j be (4 - k) + (-2 - -5). Is 1 != j?
False
Let b = 4 + -1. Let l(i) = 2*i**2 - 46*i - 46. Let r be l(24). Suppose b*p = -r*p. Is 0 at most as big as p?
True
Let y = -101014/5 - -20372. Is 169 at most as big as y?
True
Let m = -18 - -37. Suppose -m + 3 = 2*l. Which is greater: l or -28/3?
l
Let g = -846 - -102367/121. Which is bigger: -1 or g?
g
Let z = -151/51 + 14323/204. Let w = 69 - z. Let s(c) = c**3 + 8*c**2 + 2. Let b be s(-8). Which is bigger: b or w?
b
Let l = -18.8 + 3.8. Let h = -176.05 + 177. Let o = h - -0.05. Is l < o?
True
Let j be (1 + -1)/(4 + -3). Suppose -3*z + j*z = 3. Let b be 4/(-3) + 6/18. Do b and z have the same value?
True
Let w(q) = q**3 - 4*q**2 - 6*q + 4. Let y(p) = 2*p + 37. Let v be y(-16). Let n be w(v). Is 4/39 at most n?
False
Let u be 6/(-21) + 1 + (-1695)/168. Which is bigger: -9 or u?
-9
Let m be (1 - 1)/((-2)/2). Suppose 3*j + 4*x + 0*x - 34 = 0, -14 = -3*j + x. Let v be -4 - (-25)/j - (-7)/(-33). Which is greater: m or v?
m
Let l = 8 - 7. Let z be 0 - l*(-3 - -1). Suppose -2*p = z*p. Is p at most as big as -1/2?
False
Suppose -4*u = 3*d - 22, 4*u = 7*d - 3*d - 20. Let q be (-4)/((d/3)/1). Let l = 0 - q. Is 3/5 greater than l?
False
Let y = 23 - 107. Which is smaller: y or -77?
y
Let u = 122 + -127. Let t(a) = a**3 + 7*a**2 + 12*a + 6. Let p be t(u). Is p equal to -24/5?
False
Let v = -0.0098 - -11.0098. Is -36 < v?
True
Let z = 23 - 21. Let c be 0 - z/(-4) - 105/186. Is c equal to 1?
False
Let k = 0.62 + 7.08. Let g = -7.63 + k. Is 2 < g?
False
Let y(c) = -c**3 - 5*c**2 - 4*c + 1. Let b be y(-4). Let u be 1/1 - (b - 4). Suppose -5*i + 3*x = 15, -u*i - 12 = 3*x - 8*x. Is -3 > i?
False
Let m be ((-9968)/237)/(-7) - 6. Is 0 less than m?
True
Let s = -5229837 - -172609967/33. Suppose 2*z + z + 774 = c, -5*z - 1546 = -2*c. Let l = c - s. Are l and -1 equal?
False
Suppose 126*n = 132*n + 582. Let s = 112 + n. Let z be 17 + (0 - (0 + 1)). Is z at most as big as s?
False
Let a = 1597 + -1699.68. Let n = -103 - a. Which is smaller: 1 or n?
n
Let b be (23 - -1) + 3 + 1. Let a be 6/5*245/b. Is 11 greater than a?
True
Let p = -4 - -4.02. Let l = 2.02 - p. Let a be (-124)/42 - (-4 - -1)*1. Which is smaller: a or l?
a
Let l be (-782)/(-786) + 1/(-1). Let k = 53813762 - 401827361602/7467. Let x = l + k. Is -0.2 < x?
True
Suppose l - 2*a - 48 = 0, 4*l + 3*a = 222 - 63. Is l >= 41?
True
Suppose -77 = 8*n + 195. Let a = 25 + n. Let p(x) = -x**2 + 3*x + 2. Let k be p(5). Which is smaller: a or k?
a
Let c be (-1 - -1) + -2 - 3. Suppose -3*o - 3*p = p - 25, -3*o + p = -35. Let v = o + -17. Which is smaller: v or c?
v
Let k be ((-3)/2)/((-4)/(-22)). Suppose 229 - 346 = 13*y. Which is smaller: k or y?
y
Let t be 6/10*8/6. Suppose -34 = 5*b - 4*u, 2*b - 2*u = -b - 20. Let d = b - -7. Which is greater: d or t?
d
Let c(j) = -4*j**2 - 106*j - 51. Let b be c(-26). Let h be 0 + 0 + 0/(-1). Which is greater: h or b?
b
Let f = 1866.1 - 1866. Which is greater: 98 or f?
98
Let c(a) = 2*a**3 - 24*a**2 - 27*a - 17. Let m be c(13). Is -28 smaller than m?
False
Let q = -1 - 2. Let i be q*(-3 - -1 - -1). Let c = -10 + 14. Is c less than or equal to i?
False
Let d = 42 + -16. Let s = 87 + -61. Are d and s nonequal?
False
Let j = 2 + -4. Let i(v) = -v**3 + 8*v**2