k = q + -0.01. Is -0.04 greater than k?
True
Let i = -1.67 + 2.64. Let a = -0.03 - i. Is a < 14?
True
Let d(j) = -4*j + 1. Let g be d(1). Suppose 275*v - 117 = 284*v. Are v and g equal?
False
Let u = 1.9 + -0.9. Let n = -0.76 + 0.6. Let t = -3.16 - n. Is u less than t?
False
Let y = -39 - -38.2. Let w = -17.9 - -17. Let f = w - y. Which is smaller: -0.8 or f?
-0.8
Let p = -4216639/2 + 6453493/3. Let s = p - 27891706/651. Let z = s + -1/434. Is z > -1?
True
Suppose 0 = 2*a - 0 + 16. Let k = -2 + 4. Suppose k = i, -5*p = -3*i + 2*i + 47. Which is bigger: a or p?
a
Let x = 6 + -7. Let q be -2 + (-2 - x) - (-90)/28. Which is greater: 0 or q?
q
Let b = -14 - -16. Let o(d) = -d**3 - 5*d**2 - 3*d - 7. Let q be o(-5). Suppose -q = -2*a - 0. Which is smaller: a or b?
b
Let u be (0 + 0 + 2)/(1 - 2). Let f be ((-1)/u*6 + -1)*-2. Is -29/6 at most f?
True
Let o = -0.67 + -28.33. Let q = -3/5 - -4/15. Which is smaller: q or o?
o
Let q = 2.1769 - 0.1769. Is q at most as big as 109?
True
Let a = 0.82 + -0.5. Let v = a + -0.32. Which is smaller: -0.08 or v?
-0.08
Let s = 0.69 - -40.31. Let x = s + -40. Let f = 2 + -3. Do f and x have the same value?
False
Let p = 22 - 13. Suppose -m - p + 4 = 0, 3*j + 7 = -2*m. Let s = 1453/4026 + 1/366. Is j at least as big as s?
True
Let n be 1/(-15) - -4*5/50. Is -2/225 > n?
False
Let l be -2 + (-20 - (2 + -3)). Let b = -6 - l. Let c = -28 + b. Which is bigger: 1 or c?
1
Let m = -1097 - -12071/11. Suppose -2*y = -3*y + 3*k - 15, 4*y - 20 = -4*k. Which is greater: m or y?
m
Let q(p) = 4*p. Let m be q(1). Suppose -4*d - 4*x = 8 - 0, m*x = -d - 14. Suppose 2*s = 7*s - 5. Which is greater: d or s?
d
Suppose -5*b + 95 = 3*i - 340, 0 = 3*i - 4*b - 435. Do i and 144 have different values?
True
Let k be 1 + (-1 - 0) + -1. Is k <= -4?
False
Suppose -5 + 50 = -15*r. Suppose 5*a - 39 = -2*j, -2*a + 30 = 2*a + j. Is a >= r?
True
Let h = -1148 + 1148.2. Which is smaller: h or -581?
-581
Let q = 37 + -36.89. Which is bigger: -1/8 or q?
q
Suppose 25 = 5*i, b - 13 = -2*i - 80. Let p = 77 + b. Is 2/41 at least p?
True
Let d(t) = t**3 - t**2 - t. Let b(l) = 3*l**3 - 2*l**2 + 1. Let o be b(1). Let a be d(o). Let z = 1 + a. Is 4 at least z?
True
Let f = 14 - -15. Suppose 5*c - 5*a + 10 = 0, 2 = 7*c - 11*c + a. Which is bigger: c or f?
f
Let j(h) = h**2 + h + 3. Let i(z) = -z + 14. Let f be i(11). Suppose -f*y - y = 0. Let o be j(y). Which is smaller: o or 2?
2
Let t = -5231247/14248 + 4773/13. Which is greater: t or 0?
0
Let b be (-5 + (-56)/(-12))/(-2 + -1). Which is bigger: b or -8?
b
Let c = 11.18 - 10.18. Is 55 at least c?
True
Let c = 590/19 + -31. Let o = 2 + -3. Are c and o equal?
False
Let d be (-241)/(-4) + (14/8 - 2). Is d < 2?
False
Let h = 19 - 6. Let o = h + -13. Let f = 0.4 - o. Are f and 2/5 equal?
True
Let o = 216 - 226. Let l be 1/2*(-1 + 1). Which is bigger: l or o?
l
Let k = -129528/531401 - 2/12961. Which is bigger: k or 0?
0
Let a be (-1)/((-10)/(-6) + -2). Suppose -a*r - 69 = 5*g, -g - 57 = 3*g + 3*r. Let m be (-1)/(-46)*g/(-3). Are m and -1 unequal?
True
Let i be (1 + 47)/(92/(-80) + 1). Let h = -22726/71 - i. Is -1 at most h?
True
Suppose 2*b = 5*c - 116, -3*b + c + c - 163 = 0. Let l = 53 + b. Is l smaller than 2?
True
Let z = 393 - 392.8. Which is greater: -0.47 or z?
z
Let h be -6 - 291/(-9 - -8). Is 283 equal to h?
False
Let f = -0.215 + 0.228. Is f smaller than 3?
True
Suppose 13 = 2*w + 17. Is w at least -40/21?
False
Let s = -227 + 2041/9. Suppose -5 = -n + 5. Let f be ((-6)/30)/(1/n*18). Which is smaller: s or f?
s
Let u = -7.09 - -7.69. Which is smaller: 11 or u?
u
Suppose -5*a - 2865 = -5*h, 13*a - 12*a = 4*h - 582. Which is smaller: a or -571?
-571
Let x(s) = s**3 - 8*s**2 - 105*s + 11. Let z be x(15). Suppose 4*d + 33 = 2*j - 9, -j - 2*d = -1. Is z <= j?
True
Let a = 2/16169 + -28182571/32338. Is a > -872?
True
Let q = -0.0215 - -2.3915. Let g = q + -2.4. Is g <= 1?
True
Let h = 101 + 53. Is h smaller than 154?
False
Let v = 4 - 5. Let i = -5 + 6. Which is smaller: v or i?
v
Let y = 2830 - 17423/6. Is -73 at least y?
True
Let n = 0.04 - -2.96. Let x = -2 + n. Let c be -14 + 2 + (-418)/(-38). Which is smaller: x or c?
c
Let x(h) = h**2 + 19*h + 5. Let n be x(-8). Is n greater than -1?
False
Suppose 0 = -5*k - 47*y + 42*y + 10, 4*k - 5*y + 10 = 0. Is -6/331 less than or equal to k?
True
Let b = -48 + 86. Let v(f) = f**2 + 4*f - 21. Let s be v(-10). Do b and s have the same value?
False
Let c = -64/5 + 536/45. Is -1.3 >= c?
False
Let t be 14/(-4)*(-138)/42. Let z = t - 34/3. Is z at most as big as -1?
False
Let r be ((-7)/35*5)/(-1). Which is smaller: r or -14/53?
-14/53
Let b = 48.42 + -48.32. Let t = -0.2 - -0.3. Let w = t + -0.1. Which is smaller: w or b?
w
Let h(u) = u**2 + 1 + 4 + 7*u + 4*u + 5. Let d be h(-13). Is d < 36?
False
Let v be 317/4 - (-2)/(-8). Let g = v - 20. Suppose -5*n + g = -4*u + 14, 4*n = -4*u. Is -5 <= u?
True
Suppose 15*o = -546 + 2316. Which is greater: o or 471/4?
o
Let i(p) = -3*p - 51. Let n be i(-15). Let f(v) = 2*v**2 + 6*v + 3. Let l be f(n). Which is greater: 41 or l?
41
Let v be 2/(-4)*(-10 - 8)/(-9). Is 7/17 at most v?
False
Suppose -u - 1 = 1. Let b be (-2)/60 - ((-4)/u)/(-6). Which is bigger: b or 0?
b
Let h = -165 - -162. Is -31 not equal to h?
True
Suppose 4*b = 188 + 56. Suppose -7*z - 12 = -b. Is z bigger than 5?
True
Suppose -54 = 87*j - 90*j. Let p be (-112)/j*-3*(2 + 1). Is 56 != p?
False
Let v = 41 - -40. Let y be (v/(-54))/(3/(-26) - 0). Is 11 > y?
False
Let j(m) = -m**2 - 8*m - 17. Let h be j(-4). Suppose -w = w + 8, 0 = -5*a + 3*w - 3. Let i be 11/13 - (-3)/a. Is h less than i?
True
Let d be -8*1/(-2) - 8327/2090. Which is greater: d or 0?
d
Suppose 0*b = -4*f + 2*b + 8, 2*f + 5*b = -20. Let l(w) be the third derivative of w**4/12 + w**3/6 - 2*w**2. Let v be l(f). Which is smaller: v or 2.1?
v
Let o = -1.51 + -0.19. Let y = o - -0.7. Suppose -3*w + 0 + 18 = -3*l, 2*l - 4*w = -22. Do l and y have different values?
False
Suppose -61 = 4*x - 4*a + 3, 0 = 3*x - a + 42. Suppose -4 = f + 13. Let v = 4 + f. Is v not equal to x?
False
Let l = 143.8 + -144. Which is smaller: 8/7 or l?
l
Let k(v) = -v + 1. Let z(y) = y + 9. Let c be z(-15). Let r be k(c). Suppose 0 = 2*n + r - 1. Which is smaller: -5 or n?
-5
Let d be ((0 - -1) + -1)/4. Suppose d = 3*b - 3*j + 2*j + 20, -4*b - 16 = -4*j. Is 0 greater than b?
True
Let m = -0.449 - -0.649. Which is bigger: 744 or m?
744
Let i = -0.77 + 17.57. Let d = i + -16. Let p = 0.4 + d. Is -0.1 not equal to p?
True
Let k = 1 + -1. Suppose -7 = g + 2. Let j = g - -17/2. Which is bigger: j or k?
k
Let f be (((-64)/40)/2)/(4/110). Which is bigger: -21 or f?
-21
Suppose -133 = -5*p - 18. Suppose -3*k = -5*w - 88, 5*k = k + w + 106. Let s = k - p. Which is greater: s or 4?
4
Let l(p) = 18*p + 127. Let z be l(-7). Are z and 2/431 nonequal?
True
Let s = -598 + 597. Let y = 16214 - 9841896/607. Is y at least s?
True
Suppose g + 5 = -4*f, 3*g + 1 = -3*f - 2*f. Let h = -83723/3316 - 3/1658. Let s = h + 323/12. Is s > g?
False
Let f = 2100.02 - 2100. Is f at least as big as -28/5?
True
Suppose 0*z - p + 281 = 5*z, -4*z - 2*p + 220 = 0. Let t = -55 + z. Is t at least 2?
True
Let l = 48.22 + -49. Let k = l + 0.7. Let w = 22.9 - 23. Is w equal to k?
False
Let x = -3606 - -3635.69. Let h = x - 30. Which is smaller: -1 or h?
-1
Suppose 4*b = 4, 4*b + 9 + 3 = 4*i. Which is smaller: 59 or i?
i
Suppose 5*k + a + 15 = 0, 2*k - 9 = -3*a - 28. Let r be k/(-3) + 968/(-858). Is 0 equal to r?
False
Let h(k) = -k**2 + 12*k - 20. Let g be h(10). Suppose f + 3*t + 23 = g, 4*f + 27 = -0*f + t. Do 1 and f have the same value?
False
Let g(w) = w - 13. Let m be g(11). Let f be (1 + -5 - -2)/(1*m). Is 3 less than f?
False
Let b be (-11)/(-264)*8*2. Are b and -2.053 non-equal?
True
Suppose 0 = -13*y + 20*y - 1281. Let p = -134 + y. Do 50 and p have different values?
True
Suppose 4*i = -5*m - 27 - 82, -m - 5*i - 5 = 0. Do -26 and m have different values?
True
Let y be (-15)/(-18) - (-6)/(-9). Let w = y + -2/21. Let k = -6 + 5. Which is smaller: w or k?
k
Let x be (-3126)/1044 - 9/(-3). Which is greater: 1 or x?
1
Let p(b) be the first derivative of 7*b**3 + b**2/2 - 6. Let r be p(-1). Let o be 5/2*(-14)/r. Which is smaller: -1 or o?
o
Suppose -5*p - 2*n = -5 - 16, 