 Let b = x + -0.15. Let f be -1 - -7*(-1)/(-5). Which is bigger: f or b?
b
Suppose -3*s = -m - 3*m + 1, -m = 5*s + 17. Let q = m + 2. Is 2 at least q?
True
Let w be (-8 + 7)*(-6)/(-2). Let g = -837/385 - 2/77. Do w and g have the same value?
False
Let c(t) be the first derivative of -t**4/4 + t**2/2 - t + 3. Let g be c(0). Let x = -2/3 + -4/21. Is g at least as big as x?
False
Let h = 7.1 - 7.14. Which is smaller: -0.01 or h?
h
Let o(c) be the third derivative of -c**5/60 - c**4/8 - 5*c**3/6 - c**2. Let k be o(-4). Is -8 smaller than k?
False
Let s(a) = -28*a**3 + a. Let z be s(-1). Which is smaller: z or 1?
1
Let x = -288 + 7489/26. Which is smaller: x or 0?
0
Let d(c) = -4*c**2 - c - 3. Let p(k) = -7*k**2 - k - 5. Let x(l) = -5*d(l) + 3*p(l). Let t be x(2). Is t at most 1?
True
Suppose q - 24 = -2*q. Suppose 0 = -2*t - 0*t + q, 0 = 4*j + t. Let h be (j - 21/(-3)) + -2. Which is smaller: 5 or h?
h
Suppose 0 = 18*h - 22*h - 108. Which is smaller: h or -1?
h
Suppose 0*o = -3*m - o + 8, m = 5*o - 24. Let h = -2 - -8. Which is smaller: m or h?
m
Let d = -2 + 5. Let t(f) = f**2 - 2*f - 1. Let l be t(d). Let i be l/(-8) + (-21)/60. Which is bigger: 0 or i?
0
Let w = -2.1 - -2. Let i be 92/10 - (-8)/(-40). Does i = w?
False
Let m = 24 - 25.1. Let x = m - -1. Which is smaller: -1 or x?
-1
Let n(v) = v + 5. Let s be n(-12). Is s != -7?
False
Let o = 2.07 + 0.03. Do o and 2/7 have the same value?
False
Suppose 0 = -3*j + 2*l - 348, 3*l - 580 = -j + 6*j. Let c = -1510/13 - j. Is c at most as big as 0?
True
Let o be ((-1)/(-2))/((-42)/36*-3). Are o and -0.2 unequal?
True
Let q be (0/((-16)/4))/(4 - 2). Which is smaller: q or -1/4?
-1/4
Let q(w) = -w. Let m be q(0). Suppose 0 = -m*d - d + 1. Which is smaller: 4 or d?
d
Let c = 80 - 79. Is 5/18 != c?
True
Let x(n) = -14*n. Let i be x(1). Which is bigger: -12 or i?
-12
Let s = 3 - 0. Suppose 0 = s*k - 0*k. Suppose 0 = -4*l + 4 - 0. Is l less than k?
False
Let p = -11849/10 + 1171. Let w = p - -29/2. Suppose -4*r + 2*n + 0*n = -8, 12 = 2*r - 5*n. Is w bigger than r?
False
Let o = -82/5 - -78/5. Let i be 20/(-15)*(-6)/(-4). Are i and o unequal?
True
Let a = -40 - -64. Are a and 24 unequal?
False
Suppose w = -0*w - 3*a - 17, 5*a + 32 = -2*w. Is w smaller than -11?
False
Let y = -42 + 87. Are y and 45 non-equal?
False
Suppose 0*a = 2*a - 18. Let f = 14 - a. Suppose b = 3, 4*b - 9 - 3 = -f*c. Is c greater than 3/7?
False
Let c = 563 - 357. Let w be 26/807*c/(-4). Let i = w + -2/269. Which is bigger: -2 or i?
i
Let q be ((-1)/3)/((-4)/24). Which is smaller: q or 7?
q
Let u be (-1)/2*1*14. Let l = 4 + u. Let j be (9 - 1 - -1)*87/(-522). Which is smaller: j or l?
l
Let g = 74 + -106. Is -32 less than or equal to g?
True
Let v be (2/(-5))/(1/5). Let n be (v + 2 - 0)/2. Is n less than -2?
False
Let v(j) = 8*j**2 - 6*j + 14. Let l be v(2). Which is smaller: l or 35?
l
Let i = -23.6 + 29. Let u = i + 2.6. Which is smaller: u or -1/2?
-1/2
Let d(o) = -o**3 - 9*o**2 - o - 11. Let z be d(-9). Let q be z/(8/141) - -1. Let r = q + 34. Which is smaller: r or 0?
r
Let p = 31 + -32. Is p >= -4/39?
False
Let f = 16 - 15. Which is greater: f or 2/65?
f
Suppose -60 = 4*t + 2*n, 3*t - 2*n + 28 = -31. Which is greater: t or -16?
-16
Let a(g) = g**3 - 4*g**2 + 5*g - 6. Let n be a(4). Let l = n + -20. Which is greater: l or -7?
l
Let w be 8 - 9 - (-22)/18. Which is greater: w or 1.5?
1.5
Suppose -4 = 4*j, 2*j = o + 1 + 1. Let i(q) = q - 21. Let h be i(16). Let m = h - o. Is -2/3 less than or equal to m?
False
Let y = -64/13 + 628/117. Which is smaller: y or 1?
y
Let w = -53 + 77. Let o be 18/w - 14/(-88). Which is bigger: o or 2?
2
Suppose -2*v + 7*l - 4*l - 17 = 0, -4*v + 3*l - 25 = 0. Let z(y) = -3*y**2 - 4*y - 2. Let s be z(-2). Let k be (0 - 0) + 4/s. Is v greater than k?
False
Let m be -6662*((-226)/4)/(-1). Let d = -6396200/17 - m. Let q = d - 156. Do -1 and q have different values?
True
Let t = 22.07 - 22. Which is smaller: t or 1/2?
t
Suppose 4*c - 5*m - 16 = 5*c, 5*m = -2*c - 12. Let o be 1*c/((-4)/(-3)). Do 2 and o have the same value?
False
Let o = 196 - 978/5. Is o not equal to -2/9?
True
Suppose 3*d - 5*a - 1 = -6, 2*d = 4*a - 6. Let i = d - 2. Is 1 at least i?
False
Let w(z) = z**2 - 3*z - 7. Let i be w(5). Let a = 0 - 0. Suppose a = 4*j - 16. Which is smaller: i or j?
i
Let j(r) = r + 7. Let m(x) = x**2 + 9*x + 5. Let t be m(-7). Let n be j(t). Let g be (-1)/3 + n/(-2). Which is greater: g or 2?
2
Let i(t) = t**3 + 3*t**2 + 2*t + 1. Let n be i(-2). Let m be ((n*10)/(-1))/(-2). Suppose 5*v - 4*l = -3, m*v - 5 = 4*v - 2*l. Is 1/2 >= v?
False
Suppose 0 = -4*t - 11 + 3. Is t greater than or equal to -1?
False
Let t be 2 + -8 + 3 + 9. Let z(v) = v - 6. Let n be z(t). Is -2/7 smaller than n?
True
Let r(y) = -y**3 + 2*y**2 - 3*y + 2. Let x be r(2). Let t = 0 - x. Is 3 greater than t?
False
Suppose 0 = -3*l - 15, -2*l + 20 = -3*x - 6*l. Let h(p) = 5*p**2 - 2*p + 1. Let b be h(1). Suppose 0 = 4*o - 0*o - 4*j + 4, b*o + 3 = 3*j. Is o bigger than x?
False
Suppose -22 = -9*l - 58. Is 16 not equal to l?
True
Suppose -3*d - 9 = -x + 3, -4*d + 3 = 5*x. Let a be (-22)/(-7) - (1 + 2 + -3). Is x not equal to a?
True
Let i = -78158/17 + 4599. Let n = i + -124/119. Let a be -1 + (0/5)/2 + 1. Which is smaller: a or n?
a
Let g(h) = -h - 3. Let c be g(-5). Suppose 3*j - 2*x = c*j - 10, 5*x = 5*j + 40. Which is smaller: -7 or j?
-7
Let p be 3 + 1 + (-87)/24. Let z = 2 - 3. Is p bigger than z?
True
Let k be 2*((-3)/2 + 0). Let b(y) = 2*y - 3. Let r be b(2). Let x = r - 3. Is k < x?
True
Let n(l) = l + 1. Let k be n(9). Which is bigger: k or 9?
k
Suppose -l = -1, -3*h - l - 33 - 11 = 0. Let k be (3/(-9))/(1/h). Which is smaller: 6 or k?
k
Let t = -26 + 24. Let d be 10*3/66 - 1. Is d greater than or equal to t?
True
Let o = -31/12 + 11/4. Which is bigger: o or -2?
o
Let g = 98 - 96. Which is smaller: g or -0.2?
-0.2
Let d be -5 + 2 + -4 + 0. Which is bigger: -6 or d?
-6
Let z = -115 + 116.01. Let g = 3 - 2.99. Let y = g - z. Is -3 > y?
False
Let t be (-100)/(-168)*3 + -2. Is t equal to 1/3?
False
Let w be (-154)/(-65)*9 + 2. Let d = -142/13 + w. Let p = d + -12. Are 0 and p non-equal?
True
Let z = -1.427 - -0.027. Is -2/5 at most as big as z?
False
Let w = 2 - 5. Let i = 7 + w. Let x = -39 - -38. Is x != i?
True
Let z = -43 + 43.2. Which is greater: z or -1/2?
z
Suppose f + 6*f = 0. Which is smaller: -8/19 or f?
-8/19
Let i = 3/4 - 49/60. Let u(j) = -2*j - 1. Let t be u(0). Which is smaller: t or i?
t
Suppose 4*c + 2*d = -92 - 1448, 5*c = 3*d - 1947. Let y = -183 + c. Let w = 17668/31 + y. Is w at least 1?
False
Suppose -3 = 5*m - 8*m. Let c be 0 + (3/m - 3). Is 3/5 greater than c?
True
Suppose 0 = -2*r - u + 2, -3*r - 7 = -u - 0*u. Let y(i) = -i**3 + 3*i**2 - i. Let n be y(3). Let v be r/n + (-6)/(-9). Which is smaller: v or 2?
v
Let q be 45/276 - 3/12. Which is smaller: -1 or q?
-1
Suppose -4*o - 48 = r + 5, 5*o + 85 = -5*r. Let z be (2/(-6))/(10/o). Suppose 3*y + 15 = -5*p, -2*p - 7 + 2 = y. Are z and p nonequal?
True
Let c(x) = -x**3 - 7*x**2. Let i be c(-7). Suppose -2*f - 2*f = i. Is 1/35 != f?
True
Let k = 13.6 - -1.4. Is -0.1 < k?
True
Let d be (2 - 1)/(1/(-6)). Let c be 2/d - 52/(-12). Let x be (-6)/(-70) - c/(-20). Which is bigger: x or 0?
x
Let j = -95 - -381/4. Which is smaller: 7 or j?
j
Let y = 1/15 - 28/195. Which is bigger: 1 or y?
1
Let w be (3/(-30))/(15/(-25)). Is -1/3 bigger than w?
False
Suppose 0 = 4*k - 7*k. Suppose 0 = -l - k*l - 3. Is -3 <= l?
True
Suppose b + 6 = 4*b. Suppose b + 2 = 4*j. Let i = 1 + -11/8. Which is smaller: j or i?
i
Let u = 0.3 + -0.28. Let w = -0.03 - u. Let i = 0.05 - w. Is i at most -1?
False
Let t(z) = -z**3 + 2*z**2 - 3*z + 2. Let d be t(2). Let h = -6 + d. Let g = h + 6. Which is greater: -2/3 or g?
-2/3
Suppose 5*l = 2*s + 243, 0 = 5*l - s - 335 + 91. Is 49 at least l?
True
Let u be 0 + 1*294/40. Let k = 38/5 - u. Suppose 2*i - 2*z = 0, 4*i + 0*i - 3*z + 1 = 0. Is k > i?
True
Let i = 0 - -5. Suppose 4*c - 18 = m, i*m - 2*c + 54 = -0*c. Which is smaller: -12 or m?
-12
Suppose 2*j - 9 = -3*t - j, -5*t + 3*j = -23. Suppose 3*x = t*v + 1, 2 = -2*x - v - 1. Which is smaller: 1 or x?
x
Let m be (0 - (-20)/6)*-3. Let z = m - -8. Is -0.1 greater than or equal to z?
True
Suppose -3*b - 11 = 2*s + 2