12/5. Is d not equal to b?
True
Let j = 19.34 - 0.44. Let n = -19 + j. Which is bigger: n or 2/5?
2/5
Let g(b) = 21*b**3 + 2*b - 1. Let h be 10/6 + 6/(-9). Let i be g(h). Suppose j = -4*n - 9, -3*j = -n - 8 + i. Is 2/13 <= n?
False
Suppose 2 = -y, -5*i - 5*y - 1 = -26. Which is smaller: i or 6?
6
Let s be (-9)/(-4) - (-2)/(-8). Let k(f) = 5*f - 1. Let o be k(1). Which is smaller: s or o?
s
Let r = -193/1254 - -1/57. Which is smaller: r or 1?
r
Let l = -9 + 11. Is 0 < l?
True
Let i = -2 + -11. Let n = -48 - -34. Which is smaller: n or i?
n
Let v be ((-224)/(-35))/((-4)/10). Is v greater than or equal to -13?
False
Let x = -15 - -14. Is x greater than 2/35?
False
Let o = -40/3 + 298/21. Which is smaller: o or 1?
o
Let v be (-2 - 0) + (20/4 - 4). Which is greater: v or -11/9?
v
Suppose 3*j + 4*k + 32 = 0, j - k = k - 14. Let g be j/320*2/3. Which is smaller: 1 or g?
g
Let s = -3 - -2.7. Let g = 0.1 + s. Let h be (24/(-162) + 0)/((-4)/(-6)). Is h at most g?
True
Let s = -7057 - -63661/9. Let n = s + -1906/117. Which is smaller: n or 1?
n
Let w = -2 + 4. Suppose 0*m - 4 = 2*m. Let f be 2/m + 3/2. Which is greater: w or f?
w
Let f be 0 + 1 - (-4 + 5). Suppose -4*n - n + 20 = f. Suppose 1 = 2*g - 7. Is g >= n?
True
Let x(d) = -d**3 + 7*d**2 + 8*d + 1. Let c be x(8). Which is smaller: -11 or c?
-11
Suppose 3*q + 3*v - 12 = 0, 0*q - 4*q + 20 = 5*v. Suppose 4*a - 5*p = 498, q*a - p + 510 = 4*a. Let s = a - 891/7. Is -3 greater than s?
False
Let b(s) = 2*s**2 + 1. Let o be b(-1). Suppose 2*w + 2*w = -5*x - 14, 0 = -o*w + 5*x + 7. Is 0 bigger than w?
True
Let g = 0 - 3. Let n be 1*g/18 + 1. Is n at most as big as 0?
False
Suppose -4*z - 14 = 2*f, -4*z = -5*f + 33 + 2. Suppose -3*i = -2*k + 17, 5*k - 2*i = -0*i + 70. Suppose -n + k = 3*n. Is n greater than or equal to f?
True
Let u be 2/(-5)*(-23)/(-50). Let w = 1203 - 150377/125. Let t = w + u. Which is bigger: t or 0?
0
Let h = -4 + 7. Suppose -h = -n - 2*i + 7, 2*i = 8. Suppose 2*x + 4 = n. Which is greater: 0 or x?
0
Suppose 0*l - 2*l = -8. Suppose 3*p + 19 = 2*k, k - 3*k + l*p + 22 = 0. Suppose -2 = k*w + 8. Which is smaller: -6/7 or w?
w
Let a be (-9)/21 - (-31)/7. Is -2 smaller than a?
True
Let x = -9 + 14. Suppose x*q - 3 - 2 = 0. Is q <= -1/9?
False
Suppose 4*k + 9 = 3*z, z = 3*z + 4*k - 6. Suppose 0 = 5*s - s + 4*r + 40, -z*r + 34 = -5*s. Which is greater: s or -9?
s
Suppose 15 = -3*t, -7 = -2*v + t + 8. Let m = 2 - v. Which is bigger: -1 or m?
-1
Suppose 2*v = 4 - 18. Let b = 38/5 + v. Let c(w) = -2*w**3 - 1. Let i be c(-1). Is b less than or equal to i?
True
Let f be (-3)/(-9) + (-2)/4. Let m = -2/3 - f. Suppose -2*p = -6*p. Which is bigger: p or m?
p
Let w(p) = -p**3 - 2*p**2 + 3*p - 2. Let q be w(2). Let o be q + 2 + (3 - 3). Is o != -10?
False
Let d = 8/3 + -19/6. Suppose -j + 0*j = 1. Is d equal to j?
False
Let j = 3 - 1. Let w = j - 0. Suppose -2 = -2*a - 0*a. Which is bigger: a or w?
w
Let x be ((15/(-5))/(-117))/((-2)/(-18)). Is x <= -1?
False
Let l = -1 + 2. Let k = -8 + 11. Let d = -3 + k. Which is smaller: l or d?
d
Let f = 19 + -13. Is f at most as big as 2?
False
Let v(t) = t**2 - 6*t - 11. Let g be v(8). Let a = g + -5. Suppose a - 9 = -3*f. Is 3 > f?
False
Let n = 0.06 + -5.56. Let f = n - -0.5. Let g = -5 - f. Is g greater than -1?
True
Let j be 0/(4 + (2 - 4)). Suppose j = -4*r + 8, r = -5*y - 2*r + 11. Is y != 5/8?
True
Let u = 8474/25 + -339. Let y = 22/75 - u. Suppose 2*p - 2 = -h + 2, 5*p - 3*h + 1 = 0. Which is bigger: p or y?
p
Let l be -1*(2 - 0) - -7. Suppose 3*w + 2 - l = 0, 0 = 3*u - 4*w + 4. Is -3 greater than or equal to u?
False
Suppose -2*t + 5 = 3. Suppose n + 3*c + 3 - 8 = 0, -3*c + 13 = -n. Let y be (n + 5)/((-2)/4). Which is greater: t or y?
t
Let c be 18/(-21)*(-2)/(-6). Let r(m) be the second derivative of m**4/12 + m**3/2 + m**2/2 - 3*m. Let z be r(-2). Are c and z equal?
False
Suppose -27 = 4*o + 3*z + 2*z, 0 = -4*o + 4*z. Let d(r) = r**2 - 2*r**2 - r**3 - r**2 + 2 + 4*r. Let u be d(o). Which is greater: -1/6 or u?
-1/6
Let j be 1/(-4) + (-9)/8*-2. Which is greater: j or 1?
j
Let t be 2/(-8)*-18*2. Let q = t + -14. Let n be q/(-2)*(-4)/5. Is -4 less than or equal to n?
True
Suppose 4 = 4*x, -30 = 6*y - y + 5*x. Let m be (-24)/14 - (-2)/y. Is m less than or equal to 1?
True
Let q be (-75)/108 + (-3)/(-12). Is 0 at least q?
True
Suppose 5*f - 3*k = -15, k = -3*k + 20. Suppose f = 4*c - 2*c - 5*h + 15, 0 = c - 4*h + 9. Is c less than or equal to -5?
True
Let a = 11516/7 - 1648. Which is bigger: -2 or a?
-2
Let n = 4 - 0. Suppose -m - 6 = h - n*h, 3*h - 6 = -5*m. Let u = -677/7 + 97. Are m and u non-equal?
True
Suppose -49 = 13*t - 20*t. Let q be (-2)/4 + (-2)/4. Is q greater than or equal to t?
False
Let t(h) = 3*h**2 - 1. Let s be t(1). Let m be (2 - (-7148)/(-44))/(-69). Let c = m + 2/253. Is s smaller than c?
True
Suppose -4*h = -4*w + w - 129, 0 = 4*w - 2*h + 182. Which is smaller: w or -48?
-48
Let h(f) = -7*f. Let y be h(-9). Let m = -438/7 + y. Which is smaller: 0 or m?
0
Let o = 5 - 2. Let b = 79.1 - 76. Let m = b - o. Is m >= -1?
True
Let v be 8/(-12) - 4/(-6). Suppose -6*d + d + 5 = v. Suppose -f + d = -3*t + 2*t, 0 = -3*f. Which is smaller: 1/3 or t?
t
Let r(u) = -u**2 + u + 2. Let v be r(-2). Let q = v + 8. Suppose -8*f + 4 = -q*f. Is f at least 1?
True
Let y(v) = v**2 - v - 1. Let z be y(-1). Is z less than 2?
True
Let h be 2/7 - (-6)/(-28). Let s(g) = 6*g. Let x be s(0). Which is smaller: x or h?
x
Suppose 11 = b - 0*x + 3*x, -9 = -3*x. Let i = b + 1. Let d be 0 - -3*(-2)/i. Is d at least as big as -2?
True
Let g(d) = -d + 7. Let t be g(6). Suppose 2*r = t + 5. Let w = 3 - r. Is -2 at least w?
False
Let w be (-5)/3 + -1 - -2. Suppose k + 11 = 10. Which is greater: k or w?
w
Let n = -97 - -99. Let q = 4/59 - -161/236. Which is bigger: n or q?
n
Let k = 6 - 4. Let b = k + -4. Which is smaller: -3 or b?
-3
Let p = -0.093 - -29.093. Is p smaller than 1?
False
Let k be 2*(0 + 1 - 0). Suppose -12 = k*r + 3*b, -5*b - 6 = 3*r + 14. Suppose -h - 1 = -r*h. Which is smaller: 0 or h?
h
Let t = -84 - -91.8. Let v = t - 8. Which is smaller: 0 or v?
v
Suppose 0 = 6*m - 54 + 438. Is -64 smaller than m?
False
Suppose 2*m + 0 = -5*p - 21, -3*m + 4*p - 20 = 0. Let y = -7 - m. Which is smaller: 0 or y?
0
Let u(w) = 2*w + 5. Let z be u(4). Suppose 0 = 3*y + 5*t - z, 0*y + 5*t = 5*y - 35. Suppose 9 = 5*k - y. Which is smaller: k or 4?
k
Suppose 3*u + 12 = c - 3*c, -9 = 4*u + 5*c. Let m be 15/u*1/(-5). Which is bigger: 3/14 or m?
m
Let w = 0 - 26. Let i be 3/(-3)*12/w. Let t = 68/91 - i. Which is smaller: 4/7 or t?
t
Let l = 0.54 - 0.5. Let i = l - -1.96. Let d = 1 - i. Which is smaller: 0.3 or d?
d
Let l = 25 - 23. Is l at least as big as 3/8?
True
Let o(u) = -u + 0 + 1 + 1 - 1. Let a be o(3). Let j = -729/5 + 145. Is j bigger than a?
True
Let u = -179985 - -3062327/17. Let r = -152 + u. Which is greater: r or -1?
r
Let c = 587 + -588. Let j be (24 + -1)*49/(-9). Let w = j - -125. Which is greater: c or w?
w
Suppose -5*g - 5*j - 40 = 0, -2*g + 3*j = -9 + 50. Which is smaller: g or -12?
g
Let n = 32.9 - 17.83. Let o = n - 15. Which is bigger: o or -1/3?
o
Let d = -1972/7 + 281. Which is greater: d or -2?
d
Let d = 4/41 + -61/205. Let l(w) = -w**2 + 3*w - 1. Let g be l(1). Is d < g?
True
Let y(u) = -1 - 1 + u - 4. Let w be y(7). Is 2 > w?
True
Suppose 4*m - 4 = -3*l + 2*l, 16 = 2*m + 4*l. Which is greater: 1/58 or m?
1/58
Let f = 2.09 + -1.11. Let a = -1 + f. Is a >= 1?
False
Let j(c) = -c**3 + 11*c**2 + c - 13. Let z be j(11). Let r be ((-1 + 2)*-1)/1. Do z and r have the same value?
False
Let n = -2 - -3. Suppose 0 = 6*h - 5*h - n. Suppose -2 = r - h. Is -1 bigger than r?
False
Suppose -5*b = -0*t - 4*t - 8, 2 = -t + b. Let d = 8 - 11. Is d less than t?
True
Suppose -3 = -0*m - m. Suppose -4*n + 12 = -4*z, m*z + 3 + 3 = 0. Let t be 2/(-8) + 62/184. Which is smaller: n or t?
t
Let s be 0/(-1) - (-2)/8. Let u be 61/(-2) - (1 - 1). Let c = u - -30. Which is smaller: s or c?
c
Let t be 16/(-28)*14/4. Which is bigger: 1 or t?
1
Let a be 2/3 + 2/6. Let f = -163/63 + 22/9. Which is smaller: a or f?
f
Suppose -2*n - 2*n = 0. Let f be -3 + (n/(-1) - -3). Is -6/5 != f?
True
Suppose 30 = 5*d - 5*x, -d = -3*x + x - 11. Suppose o - d = -0*o. Is o less than 3/2?
True
Suppose 8