 Let i be 15/(-20) - 70/g. Is i bigger than 9?
False
Let o = 51 + -53.05. Let m = 2 + o. Let j = -33.2 + 34.2. Which is greater: j or m?
j
Let w = 0.041 + -0.021. Is w greater than or equal to -6?
True
Let t = 4.64 - 1.29. Let i = -0.15 - t. Let d = i + 3. Which is greater: d or -0.1?
-0.1
Let a(s) = 4*s - 1. Let l be a(2). Suppose l*m - 6 = 4*m. Suppose 3*w = 5*r + 15 + 3, -3*w = 2*r + 3. Which is greater: w or m?
m
Let p = -13 - -7. Is p less than -5?
True
Let x = 14/45 + -103/90. Is 1 >= x?
True
Let x = -3.7 - -4. Let b be -2 - (-2 + -4) - 2. Suppose -r = -2*o - 9, b*r + 6 = 3*o - 5*o. Do r and x have different values?
True
Let i be 6/24 - (-38)/(-56). Which is bigger: 0 or i?
0
Suppose -4*q - 5*f = 28, 0 = -2*q + 2*f + 4. Let y(x) = -x**3 + 3*x + 2. Let d be y(q). Suppose 10 = 2*h + 4. Are d and h non-equal?
True
Let v = 0.1 + -0.1. Which is smaller: v or -3?
-3
Let i = 6 - 8. Let g be (i/5)/((-1)/5). Is g <= 2?
True
Let c = 2447/16 + -153. Is -1 at most as big as c?
True
Suppose 5*b + 3*v = 72, 0*b - 4*b + 40 = -2*v. Suppose b = 4*d + 4*n + n, -5*d - 3*n = -2. Is d at most as big as -14/9?
True
Let b be -2 + ((-1278167)/(-590240) - 0). Let f = -1/11424 - b. Let h = f - -1/31. Which is smaller: 0 or h?
h
Let m(o) = -o**3 + 6*o**2 - 5*o - 1. Let v be m(5). Let w be v/(0 + 1/1). Is w less than 0.3?
True
Let v be (-34)/(-10) - (-2)/(-5). Let i(q) = 2*q - 3. Let t be i(v). Suppose -3*k = -t*a + a - 3, 19 = -4*k - 5*a. Which is smaller: k or -3?
-3
Suppose -2*j - 18 = 3*f, -5*f - 25 = -j + 4*j. Is j greater than -15?
False
Let p(m) = -m**2 - 13. Let o be p(0). Let f be -2 + (1 - o/11). Suppose 0 = -2*r - 2*z - 8, -4*r + 0*z = -z + 1. Which is smaller: f or r?
r
Suppose 4*f + 0 = 2*c - 4, -f - 3 = -c. Suppose -h + f = 5. Let s(l) = -l**2 - 4*l. Let x be s(h). Which is smaller: x or 3/8?
x
Suppose 113 = 4*n - 3*m, 4 + 11 = -5*m. Let y = -1841 + 5446/3. Let g = y + n. Which is bigger: g or 0?
g
Suppose 0 = -6*b + 2 + 16. Suppose n = -b*n - 24. Which is smaller: -0.1 or n?
n
Suppose 34 = -v - 3*c, c = -v - 0*v - 36. Is v at least -34?
False
Let n = -14 - -23. Is 8 bigger than n?
False
Let s = -1.7 + 1.9. Is s greater than 2?
False
Let d = -52/667 - -1/23. Which is smaller: d or 1?
d
Let j be (-6)/(-5) + (-2)/10. Do j and 2/51 have different values?
True
Let h = -0.06 + 2.06. Let z = -1.07 - -0.07. Which is greater: h or z?
h
Suppose -w + 0 = -9. Suppose -4*d = -w*d. Let f(r) = -r**2 - 13*r + 1. Let y be f(-13). Is d smaller than y?
True
Suppose -5 = 5*n - 145. Let z be n/(-20) - (-4)/10. Which is smaller: z or -4/5?
z
Let h = -0.8 - -1. Which is smaller: -1.3 or h?
-1.3
Let w be (1 - (-218)/(-42)) + 4. Which is smaller: w or 1?
w
Let z be ((-6)/4)/(6/8). Suppose 44*t = 41*t - 12. Let r be t*1 - z - 0. Which is smaller: r or -1?
r
Let q(z) be the first derivative of -z**5/120 + z**4/12 - z**3/3 + 1. Let o(j) be the third derivative of q(j). Let y be o(4). Which is greater: y or -1?
-1
Let j = -796 + 1545/2. Let y = 24 + j. Which is greater: y or -7?
y
Let x(j) = -j - 1. Let c be x(2). Which is bigger: -7/4 or c?
-7/4
Let h = 28 - 25. Is h smaller than -2?
False
Let q = 0.33 + -0.33. Is 4 greater than q?
True
Let r = -0.97 - 42.03. Does r = 0.1?
False
Suppose -g - 4*q + 12 = 0, -g + q - 3 = -6*g. Which is smaller: g or -1/3?
-1/3
Let v be 122*(-3)/93 + 5 + -1. Which is greater: 0 or v?
v
Let a(c) = -2*c + 1. Let v be a(-1). Let l(k) = k + 1. Let j be l(1). Let z = j - v. Which is smaller: z or 0.1?
z
Let n(s) be the first derivative of -s**2 - 14*s + 3. Let m be n(-7). Is m at least 1/2?
False
Let l(y) = 2*y + 24. Let d be l(-18). Is d at most as big as -10?
True
Suppose -1 = -5*i + 9. Suppose 3*g = -5*j - 17, -3*g + 1 = j + i. Is g < -2/5?
False
Let m = -94015/23 + 4087. Let v = 13578 + -936932/69. Let o = m + v. Which is bigger: -1 or o?
-1
Let d = 7 - 5. Let x be ((5/d)/(-5))/(-1). Which is smaller: x or 0?
0
Suppose 4*z + 70 = -4*b + b, 5*b = -3*z - 113. Let a be -4 + 4 + 2 + b. Are -21 and a unequal?
True
Let z be (4 - 3) + 1 + 44 + -1. Does z = 43?
False
Suppose 25 = -b - 4*b. Let h(d) = d**3 - 2*d**2 - 3*d - 3. Let z be h(4). Suppose -2 = -3*x - z. Do b and x have different values?
False
Suppose 4*f = a - 11, 4*f - 2 = 5*a + 3*f. Is a greater than or equal to 1/33?
False
Let p be (-58)/24 - (-2)/3. Which is bigger: 0 or p?
0
Let x = 8 + -4. Suppose 0 = 4*s - 2*a + 5*a - 27, -x*a - 57 = -5*s. Suppose 0*y - s = 3*y. Is -2 at least as big as y?
True
Suppose -3*q - 2*r + 40 = -q, -q + 4 = -3*r. Let z = q - 16. Which is bigger: z or 0.4?
0.4
Let k(f) = 7*f - f + f**2 + f - 56 + 55. Let l be k(-7). Is l less than or equal to 0?
True
Let l = 14 + -8. Let k be 25/l + 3/(-18). Let d be 7/k*(-6)/(-35). Which is bigger: d or 1?
1
Let j be (1 - -4)*(88/(-5))/4. Which is smaller: -24 or j?
-24
Let w = -0.25 - -0.24. Is w at most -1/4?
False
Let h = -63/2 + 32. Which is greater: 1 or h?
1
Let x be (10/(-14))/(6/(-21)). Which is smaller: 4 or x?
x
Suppose -10*l + 60 = 2*l. Is l >= 4?
True
Let t be 2 + (-2 - (-4)/(-2)). Suppose q - 11 = -2*f + 3, 2*f - 5*q = 2. Let h = f + t. Which is smaller: h or 5?
h
Let q = -18 + 36. Is 19 at most as big as q?
False
Let k = -0.021 - 26.979. Let h = k - -26.98. Is h < -2/7?
False
Suppose 3*p + 4*n = 5*n + 14, -2*p + 2*n = -12. Let b = -3 + 17. Suppose 0*r = 3*q + p*r + b, -4*q - r - 10 = 0. Which is smaller: 0 or q?
q
Let u = 5/42 + -2/7. Let r = 40 + -40. Is r > u?
True
Let u = 1 - 6.5. Let g = u - -0.5. Which is smaller: g or 0.1?
g
Let p(u) = -u**3 + 5*u**2 - 4*u - 4. Let i be p(4). Which is bigger: i or -1?
-1
Let w be (-7)/(-199)*(-22)/(-77). Which is smaller: -1/3 or w?
-1/3
Let i be (-4)/14 - 69/(-21). Let m be -4 + i - 44/(-2). Suppose -2*w - 3*w + y = 10, 5*y = -4*w + m. Does -2/9 = w?
False
Let x = -1 - -1. Do 2/45 and x have different values?
True
Let s(z) = -z**2 + 4*z + 1. Let n = 11 + -7. Let x be s(n). Is 0 greater than x?
False
Let m be (1 - 3/2)/((-8)/16). Which is greater: m or 1/6?
m
Let f = -80 - -475/6. Are f and -1 equal?
False
Let j be 10/((0 - 2) + 4). Suppose -57 + 2 = 5*b - j*g, -2*b - 5*g = -13. Let a = -3 - b. Are 2 and a unequal?
True
Suppose 3*y + 2*y = 0. Let v be (-4 + y)/2 + 0. Let g be (v/12)/(1/4). Which is greater: g or -0.1?
-0.1
Let f = 134 - 940/7. Let b = 0.01 + 0.39. Is b less than or equal to f?
False
Let q = 0.08 - 0.1. Let s = q - -0.12. Is s smaller than 5?
True
Let o = 0.4 - 0.37. Let k = o - 0.03. Let m = k + -0.1. Is -3/2 bigger than m?
False
Let m(j) = j**3 - 9*j**2 - j + 9. Let a be m(9). Let h(u) = -u**2 + 2*u - 1. Let q be h(1). Is a smaller than q?
False
Let s = -7 + 9. Which is smaller: s or 1?
1
Let n = -2.88 + 2.88. Let a = -1/188 + -557/1316. Which is greater: a or n?
n
Let c = 8 - 3. Let z be 54/15 + 2/c. Let j = z - 3. Which is smaller: 0 or j?
0
Let c(l) = 7*l**2 + l + 1. Let h be c(-1). Suppose 3*u = 3*k + h*u + 6, 3*k + 3 = -3*u. Let x be -3*-2*(-1)/k. Is x >= -4?
True
Let v = -6 - -4. Let g = v - -3. Let a = g + -0.7. Is 0.1 at most as big as a?
True
Let s = -4/901 + -4393/25228. Let j = s + 149/364. Are -1 and j nonequal?
True
Let c be (2/(-2))/((-2)/(-10)). Let f = 12 - 16. Which is greater: c or f?
f
Suppose -m = 4*j - 34, 0 = -3*m + 2*j - 11 + 57. Which is greater: 19 or m?
19
Let t = -84 - -84. Which is bigger: 2/187 or t?
2/187
Suppose 0 = 5*d - s - 3 + 1, -4*d + s + 1 = 0. Let a be (1 + -8)*4/(-14). Is a at least as big as d?
True
Let w = 21 + -26. Which is greater: -2 or w?
-2
Suppose g - 22 = 4*o, -6*g = -2*g - 8. Is 0 at most o?
False
Let x be (-2 - -4)*10/(-4). Let s = -9 - x. Let z be (-20)/(-8)*6/(-5). Which is greater: z or s?
z
Let d = 2 + -4. Let t = -1 - d. Let i be -1*1*(-3 + 2). Is i at least as big as t?
True
Let p = -13/6 + 5/3. Is 5 greater than or equal to p?
True
Let d be (-1)/(3/(-6)) - 6/33. Is d less than 1?
False
Suppose -7 = 5*p + 33. Let z be (18/40)/(12/p). Which is bigger: -1 or z?
z
Suppose -4*f - 7 = 1, 0 = -4*b + f + 30. Let s(d) = d**2 + 8*d + 5. Let j be s(-8). Is b less than or equal to j?
False
Let o = -14 - -14. Let m(p) = -p**3 + 3*p**2 + 5*p + 3. Let l be m(4). Suppose l - 2 = 5*i. Which is smaller: o or i?
o
Let h(d) = d + 4. Let w be h(3). Are 7 and w unequal?
False
Let v(a) = a**3 - 10*a**2 + 9*a + 2. Let n be v