w = 445/4 + -111. Which is smaller: 24 or w?
w
Suppose 3*y + 0*f = -f + 6, -y + f + 2 = 0. Suppose -2*n + 48 = y*n. Suppose 3*b + 4*r = -n, -3*b - r - r - 6 = 0. Is 2/9 < b?
False
Let w = 0.09 - 0.18. Is w != -0.2?
True
Let v be 10/(-14) - (-2)/(-7). Let u = v + 2. Suppose u = -r - 0. Do r and -1/2 have the same value?
False
Let z(k) = -6*k**2 + 2*k + 1. Let g be z(-1). Let d = 4 + g. Let p be (4/d)/2*-6. Is 5 >= p?
True
Let m = 1 + -5. Let b(f) = f**3 + 4*f**2 + f + 5. Let x be b(m). Let u = 146/5 + -29. Is x less than u?
False
Suppose 365 = 11*a - 16*a. Is -73 bigger than a?
False
Let i = 117/2 - 59. Which is bigger: i or 9?
9
Suppose 259 = 3*q + 22. Let v = 551/7 - q. Let p = -11 - -9. Are p and v non-equal?
True
Let t = 0.32 - -2.62. Let b = t - -0.06. Let v = 2 - b. Are v and -6 nonequal?
True
Let f = -33 + 12. Which is smaller: 1 or f?
f
Let b = -33 - -52. Are -0.2 and b equal?
False
Let d = 15 - 16. Is d equal to -0.4?
False
Suppose -2*z - 6*z = 40. Which is greater: -21/4 or z?
z
Let b = -3 + 11. Suppose r - 5*h + 4 = -23, -r - 2*h = -b. Which is greater: r or 0?
0
Let u = 51 + -51. Which is bigger: -2/79 or u?
u
Let j(p) = p**3 + 8*p**2 + 7*p + 3. Let q be j(-7). Suppose q*a = 4*a + 3. Is -3 less than or equal to a?
True
Let x be 2/5 + (-54)/(-15). Let l be (9/(-6))/(x/(-24)). Is 9 <= l?
True
Let t(u) = -u**2 + 4*u + 6. Let j be t(5). Suppose -2*v + k - 6 = 5*k, 0 = -3*v - 4*k - 3. Let f = v + -3. Which is smaller: f or j?
f
Suppose o + 2*o = 3. Let l be 10/(-8) + (-4)/(-16). Let v be l/(-2)*(-8)/(-14). Is o greater than v?
True
Suppose 4 = v + v. Let x = -2 - v. Let b be (-8)/(-5) + x/2. Which is bigger: b or -1?
b
Let h be 5 - 3 - 1/((-3)/(-9)). Which is bigger: -3 or h?
h
Let z = 2 + -1. Let r = 31 - 17. Let s = -17 + r. Which is bigger: z or s?
z
Let g = -0.63 + 0.03. Let o = -1 - -0.6. Let v = g - o. Is 2 less than v?
False
Suppose 2*o - 8 = 5*a, 0 = a + 4*a - 20. Suppose -p = p + o. Is -8 bigger than p?
False
Let a = -88 + 85.5. Is -0.2 not equal to a?
True
Suppose -2*q + 13 = 3*l + 3, 2*l = -4*q + 4. Let h = -61 + 88. Let k be (-33)/h - (1 + -2). Is k greater than q?
True
Let x = -3 + 1. Let z = x - -1.9. Let d = -0.16 + 0.16. Which is smaller: d or z?
z
Suppose -d = -0*d - 4. Let o = -48 + 69. Suppose 5*x - 4 = o. Does x = d?
False
Let h = 5 - 0. Let t be 8/20 - 7/h. Let l = -124/15 - -26/3. Is l greater than t?
True
Suppose 0 = -4*g - g. Let z(h) = h**2 - 3. Let l be z(0). Let d(v) = -v**2 - 4*v + 1. Let k be d(l). Which is bigger: k or g?
k
Let a = -1.09 + 0.09. Let f = -3 - a. Which is greater: 3 or f?
3
Suppose -2*t - t = 9. Which is greater: -13/4 or t?
t
Let b = -1 - -2. Let r = -5 - -8. Let c = r - 3. Is c less than b?
True
Let y be 5 + (1 + -3 - 0). Let d = y + -7. Does -5/2 = d?
False
Let v be 0 - 2/(4/170). Let y = v + 1103/13. Is y >= 0?
False
Suppose b - 24 = -3*b. Suppose -52 = -4*s + 4*f, s = -4*f - 9 - 3. Is s greater than b?
True
Let q = 69 - 74.1. Let o = q - -5. Is 2/9 smaller than o?
False
Let t be 80/(-198) - (0 + 4/(-22)). Let k = -6 + 8. Which is smaller: t or k?
t
Suppose -7*u + 72 = -3*u. Suppose -3*v - 23 = -5*g, v + v = 4*g - u. Suppose -9*z = -5*z. Which is bigger: v or z?
z
Let d(m) = -m**3 - 7*m**2 - 6*m + 3. Let a be d(-6). Suppose -3*c - v + a = -3*v, 3*v + 7 = 2*c. Which is smaller: -1/2 or c?
c
Suppose 15 = 3*l - 0. Suppose -l*r + 14 = 4. Let n = -0.1 - -0.2. Do r and n have different values?
True
Suppose -4 = r - 3*r. Let k(n) = n**3 - 3*n**2 + 1. Let l be k(r). Is -2 at least as big as l?
True
Let u = 7 - 8. Let t = 95/6 + -16. Which is greater: t or u?
t
Let d be (-3 - (-58)/20)*8/(-2). Is d at least as big as -3?
True
Suppose -3*b + 6*b + 2*b = 0. Is 5/14 less than b?
False
Let y = -21 + 13. Let g = y - -7. Let h be (1 - (3 + g))*2. Does h = -2/3?
False
Let f = 169 + -318. Let i = 443/3 + f. Suppose 0*d + 2*d = -2. Which is bigger: i or d?
d
Let n be 43 - (-3)/(2 + 1). Is n > 43?
True
Let o(f) = 12*f - 5. Let n be o(-3). Let s = 122/3 + n. Let t be -1*1*(-1)/(-2). Which is greater: t or s?
s
Let y(k) = -k**3 + 3*k**2 + 4*k + 3. Let d be y(4). Let w be 1*d/(-15)*2. Let n = w - -9/10. Is 2 <= n?
False
Let u be (-4)/22 - (-224)/22. Suppose -2*h - 3*h + u = 0. Let j = 2 + h. Is 4 at least j?
True
Let j be 4/19*(-1)/2. Let q be -1 + 6 + (1 - 1). Suppose -12 = -4*g + 4*a, 3*a + 3 = 2*g - q*g. Which is smaller: g or j?
j
Suppose -7 = 3*r + 5. Let k be (-4)/(-6) + 19/3. Let a = -10 + k. Which is bigger: a or r?
a
Suppose 8 = 4*q - 0*g - 4*g, 2*q + 5*g = 11. Let n be 10/3 + (-8)/(-12). Let s = n - q. Is 1 > s?
False
Suppose -3*g + 29 = -8*y + 4*y, 3*g + 11 = -y. Is -8 greater than y?
False
Suppose -u + 3*u - 2 = 0. Suppose -4*i + 0*i = -3*a - 7, -5*a = -15. Suppose i*s = 4 + 4. Which is smaller: u or s?
u
Let n be (2 + -5)*10/(-6). Suppose 15 = -n*z - 5. Is z >= -5?
True
Let u = 1620210553/43772076 - 1/1287414. Let l = u - 37. Let j = l - 103/68. Which is smaller: -3 or j?
-3
Let k be (-1)/(2*145/(-40)). Is 0 >= k?
False
Suppose -13*a + 11*a + 8 = 0. Suppose a = -2*f + 2. Is f <= -1/4?
True
Let p(d) = d**2 - d - 1. Let g be p(2). Let k be (-7 - -1)/(1*-1). Let b be (7 - k)*1/(-4). Which is greater: g or b?
g
Let m = 2 + -2. Suppose 6*g - 2*g - 16 = m. Let q = -9 + 13. Is q at most g?
True
Let n(u) = u**2 - 6*u - 5. Let t be n(7). Let g be 0/1 - -2 - t. Let l be ((-4)/(-7) - 0)*1. Is l bigger than g?
True
Let x be (-154)/(-4)*(-2)/(-5). Let u = x - 1011/65. Suppose 4*m + 3 = m. Which is greater: m or u?
u
Let m(i) = -i**3 + i**2 - i - 24. Let w be m(0). Which is greater: -25 or w?
w
Let n be 1/3 + (-2)/6. Suppose -h + 6*v - 5*v + 6 = n, -3*h - 5*v = 14. Which is bigger: h or -1?
h
Suppose -5*c = -5*f - 15, f = 5*c - c - 6. Let r = 5 + f. Is r <= 1?
False
Let z = -2813/9 - -312. Is 0 equal to z?
False
Let z = -14 - -24. Which is bigger: z or -1?
z
Let c = 37 + -64. Let i = c - -17. Let l be (-2)/i*(-20)/24. Is -1 greater than l?
False
Let b be 1/((-4)/8) - 20. Is b at least -21?
False
Let n = 119.94 + -120. Which is smaller: n or -12?
-12
Let c(t) = -t**3 + 13*t**2 - 11*t - 11. Let o be c(12). Is o >= -1/3?
True
Suppose 0*w = 2*w - 8. Suppose -w*r - 3 = -11. Suppose r = 4*s - 2*s. Which is bigger: s or 0?
s
Let q(m) = -m**2 - 28*m - 50. Let b be q(-26). Let v = -2 - -3. Is b > v?
True
Let q be (2 + -1)/((-28)/(-12)). Is q < -1?
False
Let t = -2/161 + -312/805. Let b = 0.3 + -0.36. Which is bigger: t or b?
b
Let g = 3/4 - 11/20. Which is smaller: -0.2 or g?
-0.2
Let q(v) = 2*v**2 + 2*v - 3. Let g be q(-3). Suppose -169*a + 175*a = 54. Do a and g have different values?
False
Let h = -7.3 - -7. Let g be ((-21)/(-28))/(15/8). Which is smaller: h or g?
h
Let b be -10 - -2*1*1. Let q be (6/24)/(6/b). Is -1 at most as big as q?
True
Suppose -28 = 4*i - 11*i. Is 22 bigger than i?
True
Let o = -9.975 + -0.025. Is 2/5 less than o?
False
Let h = -8 + 0. Let b be ((-8)/(-5))/(7/(-35)). Let l = b - h. Is l < -3/4?
False
Suppose 5 = -0*l - l + v, 3*l - 2*v + 13 = 0. Suppose -4*x + 1 = 25. Let a be x/(0 + 2)*1. Is a less than or equal to l?
True
Let z = 5 + -2. Suppose 0 = 2*t + 4*h - 2, 5*h = -z*t + 5. Let b be t/10 - 1/2. Which is greater: 1/2 or b?
1/2
Suppose -4*l + 1 + 15 = 0. Let c(h) be the second derivative of h**5/20 - 2*h**4/3 + 2*h**2 + 3*h. Let n be c(8). Is l at least as big as n?
True
Suppose 6*a - 11*a = 10. Let p be 1 + -3 - (0 - 0). Let l be (p + 0)/(8/12). Do l and a have the same value?
False
Let b(n) = -n**3 + 3*n**2 + 3*n + 2. Let p be b(4). Let x be (-1 - p)/(2/4). Is x at most as big as 6/5?
False
Let h(u) = -2*u + 7. Let k be h(-2). Is 7 less than or equal to k?
True
Let f = -47 + 58. Is 37/3 at least as big as f?
True
Suppose 4*l - 5*l = 14. Let k be 4/l + 8/28. Which is smaller: 2/11 or k?
k
Let x = -11 + 4. Which is smaller: 0.1 or x?
x
Let p = -1.8 + 9.8. Let q = p - 7. Is 2/5 > q?
False
Suppose -5*t + 30 + 55 = 0. Let y = -17 + t. Which is smaller: y or 1/23?
y
Suppose -10 = 2*z - 2, -y = 4*z + 15. Is -27 <= y?
True
Let w(n) = n**2 + 5*n + 5. Let a be 68/(-18) + (-10)/45. Let d be w(a). Is -1 smaller than d?
True
Let u(x) = x**3 + 14*x**2 - 16*x - 13. Let j be u(-15). Suppose j*v - 3*v = 0. Is 0 less than v?
False
Let f(x) = -2*x. Let i be f(-1). Which is smaller: i or 4/7?
4/7
Let 