e x(-1). Suppose a - 3*a = n. Is a > m?
False
Let f = -1.96 - 0.04. Is 9 at least f?
True
Let j = -0.31 - -2.31. Is 1.2 at least as big as j?
False
Let d(b) = b**2. Let i(n) = 6*n**2 - 8*n + 9. Let g(v) = -5*d(v) + i(v). Let a be g(6). Let y be (a - -6)*2/6. Is 1/5 at most y?
True
Suppose -24 = 2*j - 4*p, 0 = -3*j - j - 2*p - 58. Let x be ((-2)/(-14))/(j/7). Is x <= 0?
True
Let d be -3 + (0 - (2 + -1)). Let u be (-4)/((-2 - -5) + -1). Which is greater: u or d?
u
Let f = -174 + 1223/7. Let m = 16/137 + 1333/3836. Let j = m - f. Is 0.3 greater than j?
True
Let x = -1.2 - -1.4. Let c = 0.4 + -0.2. Is c less than x?
False
Let l = 16 + 18. Is 0.1 != l?
True
Suppose 5*g = -0*g. Let k be 1 + -1 + g/3. Let x(j) = -j + 4. Let i be x(5). Which is greater: i or k?
k
Let d = -3 - -2. Let y = 245 + -3183/13. Is d greater than y?
False
Let k(l) = -6*l - 133. Let p be k(-22). Let a = 1 + -3. Is a at most as big as p?
True
Let b(j) = j - 4. Let f be b(3). Let x = -1 + f. Is x not equal to 1?
True
Let t = 11 + -15. Let n be t/3 - 1 - -2. Let p = 1.03 - 0.03. Is p at least n?
True
Suppose s - 4 = -s. Let c(x) = 9*x**2 - 2*x - 1. Let n be c(-1). Suppose n = -2*j + 7*j. Is j at least s?
True
Let a = -0.03 - -3.03. Let b = 3.2 - a. Which is bigger: 1 or b?
1
Let x = 25 + -11. Are x and -1/4 equal?
False
Suppose 4*h - 1 - 7 = 0. Suppose -4*l - h*w - 21 = 3, 4*l + 4*w = -32. Let t = -3 - l. Do t and 1 have the same value?
True
Let v = -28 - -24. Is -2 != v?
True
Let c = 0.8 - 0.77. Let r = 0.05 - -0.05. Is r >= c?
True
Let b(y) = -11*y - 6. Let x be b(-4). Let d = -26 + x. Suppose 3*a - d = -a. Which is smaller: -0.1 or a?
-0.1
Let c = 228 + -227. Let g be (2/(-3))/(1/12). Let t = g + 11. Is t != c?
True
Let g = 12 + -8. Suppose 5*d + g = 19. Is 4 equal to d?
False
Let z = 7 - 9. Which is greater: -1/10 or z?
-1/10
Let l = -280 + 513. Let j = l - 3031/13. Is j <= -1?
False
Let l be 12/8 + (-33)/2. Is -16 less than l?
True
Suppose 12 = -2*w - 36. Is w at most as big as -26?
False
Let q = 0 + -1. Let m be 0*(-2 - 15/(-6)). Which is smaller: m or q?
q
Suppose -10 = 4*s + s. Let x(u) be the third derivative of -u**6/120 + u**3/6 - u**2. Let c be x(0). Do c and s have the same value?
False
Let b be (6/4)/((-90)/24). Which is smaller: b or -6?
-6
Let n(c) = -2*c**3 - 4*c**2 - 2*c. Let x be n(-2). Suppose 4*j = -5*a - 7, -4*a + x = j + 3. Let q be -1 - (a/1 + 1). Which is smaller: q or -2?
q
Let i = 9.4 + -10. Let v = -3.4 + i. Let r = -0.4 + 0.5. Which is smaller: v or r?
v
Let b(h) be the second derivative of h**3/2 - 7*h**2 - h. Let v be b(10). Let g be 0/(-2) + (-12)/v. Which is smaller: 0 or g?
g
Suppose -46 = -3*b - 130. Let l = b - -39. Let a = l - 7. Is -1/4 <= a?
True
Suppose -7*x + 144 = -3*x. Is 37 greater than x?
True
Let p = 452 - 10398/23. Which is bigger: -1 or p?
p
Let a(t) = -3*t**2 + t. Let r be a(1). Let v be (-12)/18*(-3)/r. Is v <= -1/5?
True
Let d = -4 + 4. Suppose 2*n + d = 4. Suppose -1 = n*f - 3*f. Does f = -2?
False
Let v be -2 + 7/(28/(-16)). Which is bigger: v or -5?
-5
Let u = 60 - 58. Is 6 >= u?
True
Let f(s) = -s**3 - 7*s**2 - 2*s - 8. Let w be f(-7). Is -1/2 less than or equal to w?
True
Let l = -3 + 3.1. Let x = -4.07 + 0.07. Let g = -4.1 - x. Which is bigger: g or l?
l
Suppose 12 = -11*k + 8*k. Let p be -2 + 0 + (-2 - k). Which is bigger: 2 or p?
2
Suppose -1 = n + 2*a, 5*n + 5*a = -21 + 1. Is n > -8?
True
Suppose 6 = -3*u + 6*u. Suppose -u = 7*m - 5*m. Which is greater: -4 or m?
m
Let y = -31 - -24. Which is smaller: y or 4/9?
y
Suppose 8 + 32 = 5*b - 4*a, 3*b = 4*a + 16. Suppose -4*k + 12 = 0, b + 9 = -3*o + 5*k. Is -2 equal to o?
True
Let j = 0 - -4. Suppose -3*z + 8 = -5*q, -5*q + 5*z - 14 + j = 0. Suppose -5*i - 11 + 1 = 0. Is i < q?
True
Let t be (1 + 4/(-6))*1. Is t != -3?
True
Let t be (4/6)/((-2)/6). Let q be t*1 + 4 + -1. Let p = -1.9 + 2. Is p bigger than q?
False
Let k = 1/7 + 19/63. Is 0.3 smaller than k?
True
Let b = -74 - -104. Suppose 0 = -4*n - n + b. Is n >= 1/4?
True
Suppose l - 6*l = 10. Which is bigger: l or -7/5?
-7/5
Let p be 3/(8/12*12). Let k(g) = g**3 + g**2 + g + 5. Let t be k(0). Let w = t + -4. Which is bigger: w or p?
w
Let q(y) = -y**2 - 5*y + 6. Let i be q(-6). Let l = -29/3 - -31/3. Is l greater than or equal to i?
True
Suppose -u - 83 = 5*d, -1 + 8 = -d + 3*u. Let q = d + 83/5. Let s = -1 - -1. Which is greater: s or q?
q
Let c = -9 + 10.2. Let n = 1 - c. Which is smaller: n or 0.2?
n
Let k be 2 + -1*(-39)/(-18). Suppose 0 = -3*z - 2*l - 7, 2*l = -4*z + l - 6. Which is smaller: k or z?
z
Let j = 0 - 0. Suppose 13 = -7*a - 50. Which is bigger: a or j?
j
Let a = 131 - 125. Do 23/4 and a have different values?
True
Let z be ((-18)/8)/(9/(-51)). Let c = z - 25/2. Let p = -22/3 + 91/12. Do c and p have the same value?
True
Let z = 0 - -4. Let h be (-2)/6*(z - -5). Is -3 greater than h?
False
Let t be 4/(-6)*(-21)/2. Let l = t + -3. Which is smaller: 5 or l?
l
Let k be 0 + 493/5 - -2. Let i = k + -101. Which is smaller: i or 0?
i
Let k be ((-4)/(-8))/(1/(-12)). Let z be 2/4 - (-2)/k. Which is smaller: 0 or z?
0
Suppose -2*d = 4*f - 4, 4*d + 3*f = -0 - 2. Is d at least as big as -4?
True
Let i(h) = 2*h + 0 + 2*h - 5*h - 1. Let k be i(-2). Which is greater: 0 or k?
k
Let k = 37/68 + -5/17. Is k < 0.2?
False
Let h be 5 + -2 + 4/(-12). Which is greater: 3 or h?
3
Let n = 26 + -26. Which is smaller: 16/11 or n?
n
Suppose 3*z + b = -b, 3*b = -3*z. Is z > 1/16?
False
Let h = 7/3 + -208/93. Is h smaller than 0?
False
Let j be (-1)/(2*((-26)/4 + 3)). Are 0 and j equal?
False
Let u = -2/28457 + -72430/85371. Let w = 1/382 - -3427/4202. Let m = w - u. Is 1 equal to m?
False
Let r be -1*1*4/(-12). Which is bigger: -25 or r?
r
Suppose -b - 4*z + 4 = 0, -2 = -5*b + 3*b - 2*z. Suppose 0*v = -5*v + 5*x + 30, -4*v - x - 1 = b. Let n be 4/35 + (-4)/10. Is n <= v?
True
Suppose 0 = 5*r - 5 - 5. Let a be (6/(-9))/(r/(-6)). Let t be -4*(2 + (-5)/a). Does 3 = t?
False
Let y = -3 - -6. Suppose -3*f + 14 = c - 5, -y*f + 67 = 4*c. Suppose 0 = -0*g - 4*g - 2*t - c, -14 = 3*g + 2*t. Which is smaller: -3/5 or g?
g
Let a(f) = -2*f**3 - f**2 + 2*f + 1. Let p be a(2). Let y = p + 59/4. Which is smaller: 1 or y?
y
Suppose -5*z = -z. Which is greater: z or -6/25?
z
Let b be 62/(-8) + (-4)/16. Let y = -9 - b. Which is bigger: -5/3 or y?
y
Let b be (-8)/5*30/(-12). Let p = b - 4. Let m = 265/7 + -38. Which is bigger: p or m?
p
Suppose -3*j = n + 113, 6*j + 137 = 3*j + 5*n. Is -39 bigger than j?
False
Let v(b) = b. Let q(r) = -6*r - 8. Let i(x) = -q(x) - 5*v(x). Let j be i(-7). Let f be (3/(-12))/(j/(-4)). Which is greater: 2 or f?
2
Let z be -2*1/(-6) + 1. Is -17 at most z?
True
Let g = -114 + 919/8. Which is smaller: g or 0?
0
Let u = 1.2 - 3.2. Which is bigger: 0.4 or u?
0.4
Let p(q) = q**3 + 6*q**2 + 2*q + 3. Let y be p(-6). Let h = 11 + y. Which is greater: h or 0?
h
Let z = 23 - 23. Is z less than or equal to -1/3?
False
Let r be (-25)/125 + (-34)/(-270). Suppose -4*f - 3 - 1 = 0. Is f at most r?
True
Suppose p = 2*p + 5, 5*q = -5*p - 20. Which is smaller: 11/5 or q?
q
Suppose 0 = 8*w - 4*w + 8. Which is smaller: w or -13?
-13
Let h = 24.9 - 24. Let b = h - -2.1. Which is bigger: 0 or b?
b
Let p = 0.7 + -1.7. Which is bigger: p or 12?
12
Let g = 59/4 - 15. Let h(t) = -t**2 - 7*t - 4. Let m be h(-5). Let o be 4/m - 1/(-3). Is o < g?
False
Let j = 32 + -22. Let m be 14/(-16) - (-10)/(-80). Is j not equal to m?
True
Let v(o) = -4*o + 31. Let g be v(8). Which is smaller: g or 2/9?
g
Let l(r) = 3*r**2 - 9*r - 6. Let u(p) = 7*p**2 - 19*p - 13. Let w(v) = 5*l(v) - 2*u(v). Let t be w(7). Let h be 6/(4/(-8) + -1). Is t > h?
False
Let z = 5.6 - 5. Let k = z + -0.8. Is 0 greater than or equal to k?
True
Let c(t) = t**3 - 6*t**2 + 3*t + 7. Let q be c(5). Let v be (-2)/10 - 38/10. Is q greater than v?
True
Let a(y) = y**2 - 19*y - 18. Let p be a(20). Is p greater than 12/13?
True
Let c = -0.276 + -6.684. Let m = 0.04 - c. Let r = m - 7. Which is smaller: r or 0.4?
r
Suppose 7*h - 2*h = 2*m + 15, 2*m + 12 = 4*h. Suppose 0*j = -3*j + y + 6, 4*y = m. Suppose 0 = -i + 2*p - 2, -p = j*p - 6. Which is greater: i or -0.1?
i
Let w be 2/((18/(-4))/(-9)). Which is bigger: w or 17/6?
w
Let s = -1.55 + -0.29. Let k = s + -0.46. Let u = k - -0.3. Is 1 <= u?
False