-115.1. Which is smaller: f or x?
f
Suppose 4 = -2*d, 3*d = z - 7 + 1. Do z and 22/29 have the same value?
False
Let o be (-18)/(-3) + (-276)/45. Which is smaller: o or 0.1?
o
Let w = 247 + -270. Do -43/2 and w have the same value?
False
Let s be (-3 - 69/(-46))*(-2)/(-3). Does s = -3/2024?
False
Let m = 404/91 - 54/13. Suppose s - 7 = z, z - 6*z = 0. Which is smaller: m or s?
m
Let d = 68 - 36. Suppose 0*l - 17 = -4*x - l, 4*l - d = -4*x. Is 1/2 equal to x?
False
Let m = -471 + 469. Is m >= -0.0483?
False
Suppose 3*q - 5*b = 6*q - 71, -62 = -2*q + 4*b. Which is smaller: q or 34?
q
Suppose -4*d + 8*d = y + 25, y = 3*d - 19. Suppose -26 = -5*f - d. Let h be ((-8)/f)/(-6)*-4. Which is bigger: h or 0?
0
Let d = 39 - -4. Let w = -43 + d. Is -1 < w?
True
Suppose 2*x = 93 + 51. Suppose c - x = -7*c. Suppose -2*b - 13 + 29 = 0. Which is greater: c or b?
c
Let b(x) = x**3 - 6*x**2 + 5*x - 6. Let w be b(5). Let m = 0.09 - 13.09. Let l = -13.1 - m. Is l less than w?
False
Let t(y) = -y**2 + 7*y + 8. Let c be t(7). Suppose 4*r - 827 = -5*q, 4*r = 2*q + 870 - c. Let l = -1486/7 + r. Which is smaller: l or 0?
0
Let h = 12.94 + 0.06. Let c = -12.8 + h. Which is bigger: c or 2?
2
Suppose 433 = 4*w - 207. Let x be (-3)/(-2)*w/(-216). Let b = -7 + 5. Which is bigger: b or x?
x
Suppose 7 = 3*s - 2*s - n, -3*s - 3*n + 39 = 0. Suppose 0 = -4*y - y + w - 9, 0 = -y - 2*w - 4. Let r be 4/(-84) - y/6. Is s bigger than r?
True
Let p be (2/(-3))/((-30)/(-2655)). Let j be 4/(-16) - p/(-4). Which is greater: j or -27/2?
-27/2
Let d(q) = q**2 - 4*q + 1. Let h be d(5). Let g be (-68)/3 - (-4)/h. Is -21 less than or equal to g?
False
Suppose -2 = 3*t + 1. Let d(y) = 2*y + 16. Let q(b) = -1. Let i(z) = -d(z) - 12*q(z). Let j be i(-2). Are j and t unequal?
True
Let b be -1 + (2 - 10/(-2)). Suppose 3*p + b = 2*c, -5*p - 2*c + c + 3 = 0. Suppose p*a - 27 = 3*a. Is -9 <= a?
True
Let c be 76/34 + 4 + -2 + -4. Which is bigger: -0.3 or c?
c
Let h be 12/(-42) + 0/(1/1). Suppose 4*g - m = 3, 0 = m + 1 - 2. Is g less than h?
False
Let z = -136 - -165.8. Let s = 30 - z. Let d = 1.98 + -2. Which is bigger: s or d?
s
Suppose 2*w + 112 = 3*v, -2*w + 66 = 2*v + w. Let l = 542/15 - v. Let p = -64 + 190/3. Which is bigger: l or p?
l
Suppose 3*s + 4*o + 9 = -0*o, -5*o + 12 = -4*s. Let n be (-3)/2 - s/(-12)*-2. Which is smaller: -4/25 or n?
n
Let t = -161/326 + 1/2. Suppose 36*k = 35*k - 1. Which is smaller: k or t?
k
Let o = 22857/340 + -269/4. Is 0 greater than or equal to o?
True
Let x be (-69)/(-23) - (-185)/(-35). Is 0.9 at least as big as x?
True
Let t = -10975/4 + 2724. Which is smaller: -19 or t?
t
Let f be (((-648)/160)/(-27))/((-18)/10). Let c(u) = u**3 + 3*u**2 - 4*u + 2. Let z be c(-4). Suppose -z*a = -a. Is f bigger than a?
False
Let w be (6/(-4))/((-9)/18). Suppose -3*f - w = -12. Suppose 2*q - q = -f. Is -3 greater than or equal to q?
True
Let b(f) = -f**3 - 4*f**2 - 3. Let c be b(-3). Let o = -387 - c. Let h = o - -1513/4. Is 4 != h?
True
Suppose -16*f + 1112 = o - 14*f, 3*f - 4453 = -4*o. Do 1114 and o have different values?
False
Suppose 117*s + 120 = 119*s. Which is greater: s or 62?
62
Let i(u) be the first derivative of -u**4/2 - u**3/3 + 2*u**2 - 3*u - 4. Let r be i(2). Let p = r + 17. Which is smaller: p or 0?
0
Let y(m) = 4*m**2 + m - 6. Let k(i) = 5*i**2 + 2*i - 5. Let w(q) = -3*k(q) + 4*y(q). Let s be w(8). Let p be s/(-21) - 9/63. Which is smaller: p or 3/7?
p
Let z(b) be the second derivative of -b**4/12 + 4*b**3/3 + 2*b**2 + 9*b. Let o be z(6). Which is smaller: 17 or o?
o
Let t = 15 - 18. Let g = t - -11. Let y(u) = u**2 - 8*u + 3. Let q be y(g). Is q at most 7?
True
Suppose -398*h = -389*h - 54. Let i(k) = k**3 - 6*k**2 + 8*k - 5. Let a be i(5). Are h and a unequal?
True
Let x(l) = -l**3 + l + 3. Suppose 3*a + w + 2 = -2, 0 = -2*a - w - 4. Let z be x(a). Let r be 0/(((-12)/(-4))/z). Which is greater: -10/9 or r?
r
Let n be (140/(-16) + 8)*4/(-3). Which is greater: n or -15/22?
n
Suppose 0 = 4*c - 32 + 12. Let d = c + 16. Suppose -5*g - 22 = -3*q, 6*g - 2*g = -q - d. Which is smaller: q or 3?
q
Let f be (0 + -2)/((-385)/(-49)). Let i = f + -191/330. Let g(y) = -y**2 + 2. Let n be g(2). Which is smaller: n or i?
n
Let f = -2 + 2. Suppose f = -5*o - d - 3 + 4, -2*o - d + 1 = 0. Let u = -449 + 452. Which is smaller: o or u?
o
Suppose -8*l - 9 + 1 = 0. Let v be ((-6)/(-9)*3)/(-2). Let c be (v/(-13))/(3/(-6)). Do c and l have the same value?
False
Suppose f + 3*f + 2*g - 2 = 0, -f = 3*g - 3. Is f < -2/5709?
False
Let x(n) = 7*n - 30. Let u be x(6). Let p(l) = l**2 - l + 2. Let s be p(4). Suppose 12 + s = 2*i. Which is greater: i or u?
i
Let h = 26.9 + -28. Let y(j) = -4*j + 28. Let d be y(6). Suppose -g + 6 = -f, -4*g + d + 13 = 3*f. Which is smaller: f or h?
h
Let n = 65 - 67. Let q be ((-7)/n + -4)*-18. Is 0 at least as big as q?
False
Let a = -0.67 - 5.23. Let z = a - 0.1. Which is smaller: 1 or z?
z
Suppose -10*y + 54 = -8*y. Suppose 0 = -r + 5*j - 5, 0 = 5*r + 2*j - 2 + y. Which is greater: r or -7?
r
Let u(q) = -q**2 + 20*q + 58. Let f be u(24). Let r = 70 + f. Which is smaller: r or 31?
31
Let w be (-3249)/(-24)*(-108)/(-81). Which is greater: w or 182?
182
Let y = -53 + 88. Let i = y - 31. Which is bigger: i or 5?
5
Let m(r) = -r**3 - 8*r**2 - 6*r + 9. Let x be m(-7). Let c(k) = k**2 - 9*k + 14. Let t be c(6). Is x > t?
True
Let y = 5.451 + -0.531. Is y at most -0.1?
False
Let s(x) = 15*x**2 + 21*x - 5. Let r(k) = 7*k**2 + 10*k - 2. Let b(c) = -13*r(c) + 6*s(c). Let w be b(-2). Which is bigger: w or -2?
w
Suppose -5*a - 9 = -2*p, 3*a = -5*p - 1 + 8. Which is smaller: 1/192 or a?
a
Suppose -4*o - 3*k - 10 = -32, -2*k - 8 = -3*o. Suppose 5*t + 10 = o*c + c, 2*t = -4*c + 32. Is c not equal to 5?
True
Let z be (-2 - 0) + 0 + 9. Suppose i - 5*c = -13, 6*i - 20 = 2*i - 4*c. Suppose i*u + 4*u - 42 = 0. Is z less than or equal to u?
True
Let z = 0.43 + 4.37. Let c = 1.9 - z. Let b = 8.9 + c. Which is greater: 1 or b?
b
Let q = -15 + 37. Let b = q + -35. Which is smaller: -3 or b?
b
Let h(b) = -b**3 - 6*b**2 + 6*b - 6. Suppose 22 = 5*m - z, 4*z = -m - 0*m - 4. Suppose -35 = r + m*r. Let l be h(r). Is -3/7 at least as big as l?
False
Suppose -43*k = -34*k. Let h = -3 - 1. Which is greater: k or h?
k
Let n = 1677 - 1676.8. Which is smaller: n or -0.3?
-0.3
Let x = 18 + -18. Suppose x = 5*w - 0*z + z - 6, -5*z = -5*w + 30. Which is smaller: w or 0?
0
Let w = -27 - -4. Let o = 9 + w. Which is bigger: 1/4 or o?
1/4
Let a be -1 + 0 + (3 - 0). Suppose 2 = 2*i - 2*l, 2*l = -4*i - a*l - 12. Let y be ((-23)/(-14))/23*(-21 + -1). Are i and y unequal?
True
Let l = 3033/5 + -607. Is -116 not equal to l?
True
Suppose -g - 1 = x + 7, 4*x + g + 26 = 0. Let z be x/2 - 12/(-3). Let r = -429 + 8149/19. Is r less than z?
True
Let v be (3 - 6) + -2*(-67274)/(-42040). Let q = 1/2102 + v. Which is greater: -7 or q?
q
Let v = 5693/4 + -1423. Suppose l = -3*l. Which is greater: l or v?
v
Let k(z) be the first derivative of -z**3/3 + 3*z**2/2 + 6*z - 8. Let p be k(-3). Let d be p/24*(1 + -3). Which is smaller: -0.1 or d?
-0.1
Let q = -9098/11 - -824. Do -3 and q have the same value?
False
Let t = 665 - 666. Which is greater: -3/185 or t?
-3/185
Let n = -3 - -3. Suppose 0 = -4*p + 6*p. Suppose -3*m + 8*m - 5 = p. Is n at most as big as m?
True
Let g(m) = -m + 2. Let l(s) = 10 + 6 - 19 + 3*s. Let w(n) = 5*g(n) + 2*l(n). Let r be w(-3). Which is smaller: r or 1/2?
1/2
Let v = -524 - -622. Is 494/5 < v?
False
Let w be (20 + -21)*(-7)/(-7). Which is bigger: -42/109 or w?
-42/109
Let c(x) = -185*x + 1138. Let o be c(6). Suppose -2*p = 18 - 76. Are o and p non-equal?
True
Let f = 4/61 - -656/1159. Is 1 greater than or equal to f?
True
Let l(r) be the second derivative of r**3/6 - 2*r**2 - 12*r. Let z be l(6). Which is smaller: 3 or z?
z
Let x = -3 - -12. Suppose x*b = 5*b. Are b and -2/7 unequal?
True
Let g = -74 - -34. Let n be (-30)/g - 7/20. Is 0.22 != n?
True
Let h(c) = 10*c - 6. Let j be h(-15). Let w = j - -195. Is w at most as big as 0.2?
False
Let v be (-2)/6*3/(-16). Suppose t + 4*i + 19 = 0, 3*i + 12 = -16*t + 13*t. Is v >= t?
False
Suppose -8 = -3*b - 5, -5*s = b + 269. Is s > -376/7?
False
Let f = 1.53 + -1.53. Is -64 less than f?
True
Suppose -5*w = 3*d - 27, 0 = -0*d + 3*d - w - 9. S