ast as big as k?
True
Let n = -12 + 7. Let v = 43/14 - 18/7. Which is smaller: v or n?
n
Let q be 2/(-8) + 1014/24. Is 42 >= q?
True
Suppose -2*r - 1 = -3*r. Suppose -2*j + r = -11. Let s be (-2)/4*j - -10. Which is smaller: -1 or s?
-1
Let f be 1 + (2 - -1 - 2). Suppose -j - 9 = 2*y, y = -4*y - 25. Suppose f + j = -q. Is -3 at most q?
True
Suppose 4*y = -y - 10. Let s be -3*(-2 - 1/(-3)). Suppose 14 = -2*c + 4*z, -c + 3*z = 5*z - s. Which is greater: c or y?
c
Suppose 3*a - 4 - 5 = 0. Suppose a*b - 681 + 258 = 0. Let s = b + -1271/9. Is s bigger than 0?
False
Let n = -5 + 44/9. Which is greater: n or 1?
1
Let r be (-5)/(500/(-8))*5. Which is greater: -5 or r?
r
Let c be (12/14)/(9/(-189)). Which is bigger: c or -19?
c
Let f(z) = -3*z - 9. Let r be f(-5). Let u be (-16)/r - (-10)/15. Is u less than -6/5?
True
Let n be 0/(-7)*4/16. Which is smaller: 2/15 or n?
n
Let c be (12/15)/((-6)/(-15)). Let f(a) = -2 + 3*a**3 - c*a**3 + 4*a - 4*a. Let g be f(0). Which is greater: -3 or g?
g
Let l = 47/15 + -14/5. Let i be (44/(-77) - (-38)/(-154)) + 1. Is i at least l?
False
Let o be (-10)/4*1*2. Let f be ((-1)/o)/((-4)/5). Does -2/9 = f?
False
Let n = -19.2 + 19. Which is bigger: n or -6?
n
Let l(o) be the second derivative of o**3/6 - 3*o**2/2 - o. Let b be l(3). Let k = -2 - -1. Which is bigger: b or k?
b
Let x = -10 + 4. Which is greater: x or -8?
x
Let s = -0.45 - 0.05. Let y = 2 - 3. Which is greater: s or y?
s
Suppose -4*u + 3*p = -p, 0 = 4*u + p + 20. Which is smaller: u or 0?
u
Let x = -59 - -99. Is x greater than 40?
False
Let s be (4/6)/(20/(-240)). Which is smaller: -6 or s?
s
Let z be (7/4)/((-9)/36). Which is greater: -2/5 or z?
-2/5
Let i be (3 - -3) + -2 + 24. Which is smaller: i or 27?
27
Let f = 238 + -1676/7. Which is greater: f or 2/5?
2/5
Let m = -0.2 + 1. Let n = m - -1.1. Let r = 2 - n. Which is smaller: r or 0?
0
Let h = -8 - -16. Let k = h - 4. Let r be 0/1*(-2)/k. Is r at most -2/5?
False
Suppose -3*i = -3*t + 4*t + 5, 0 = -2*t - 2*i + 6. Suppose -3*w + 0 = -5*u + 7, -5*u + 25 = 0. Is w at least t?
False
Let h = -2 + 4. Let q be (1 + h - 1)/6. Which is smaller: -0.02 or q?
-0.02
Suppose 2*s - 1 = -0*s + x, x = -s + 2. Let r be ((-10)/15)/((-1)/(-3)). Which is bigger: s or r?
s
Let l be ((-9)/(-57))/((-55)/20 + 2). Is l smaller than 1?
True
Suppose 35 = 4*t + 11. Do 5 and t have the same value?
False
Let d be (-1 - -2*1)/(11/(-11)). Which is bigger: -2/3 or d?
-2/3
Let c = 17 - 13. Suppose -4*t = 3*h - 41, 4*h - 50 = -c*t + t. Is h at least as big as 10?
True
Let i = 1 - 1. Let u = 1.49 - -0.01. Let k = u + -1.4. Which is smaller: i or k?
i
Let u(i) = i**2 + 1. Let j(x) = 5*x**2 - 12*x + 15. Let r(d) = -j(d) + 4*u(d). Let l be r(11). Is -1 greater than or equal to l?
False
Let r(a) = 3*a - 2. Let x be r(5). Suppose 2*l - 2 = 24. Is l greater than x?
False
Let s(d) = -d**3 - 4*d**2 - 3*d + 1. Let l be s(-3). Let q = -9/25 + 8/25. Does l = q?
False
Let o(a) = 3*a - 4. Let v be o(5). Which is smaller: v or 10?
10
Let d(r) = r + 4 + 0*r - 5 - 2*r. Let a be d(-1). Let v be (-1)/(-4) + 18/(-136). Which is smaller: a or v?
a
Let w(p) = -2*p + 3 + 4*p + p**2 - 3*p. Let z be w(0). Let g = 0 + z. Are -0.1 and g non-equal?
True
Let w = 4754/11381 + 2/599. Is w less than -0.1?
False
Let b = -7.9 + 7. Let c = 2.1 + b. Let g = -0.2 + c. Which is smaller: 0 or g?
0
Let b = -14855/4 - -3674. Let v = b - -40. Let r = 0.1 - 0.2. Is v bigger than r?
True
Let f(u) = u**3 - 5*u**2 - u + 2. Let o be f(5). Let v = 4 + o. Suppose -i - 3 = -4. Is i at least v?
True
Let o be 9/(-18) - 1250/252. Let c = -44/9 - o. Let k(w) = -w**3 - 8*w**2 - 8*w - 7. Let x be k(-7). Is x bigger than c?
False
Let s = 1 - 2. Let f = -87 + 86. Is s at least f?
True
Let v = -2/59 + -45/413. Is -1 bigger than v?
False
Let t = -7 - -9. Suppose 0 = t*a - 15 + 5. Is a > 5?
False
Let n = 3.4 + 0.6. Which is smaller: -0.3 or n?
-0.3
Suppose -7*m = 7*m - 14. Which is bigger: m or 3/8?
m
Let w be 5/4 - 12/(-16). Suppose 0 = w*t + 2*m + 8, -4*t = -5*t + m + 6. Let r be (1/(-2))/(t/(-2)). Is r <= -1/3?
False
Suppose -19*n + 15*n = -56. Is n equal to 14?
True
Suppose -9*k = -11*k - 6. Is k less than or equal to -3?
True
Let s be 3 - 1 - 11/(-22). Does 4 = s?
False
Let a be ((-2)/6)/((-4)/48). Suppose -5*k + w - 4 = 0, -3*k - w - a*w - 8 = 0. Is -3/8 < k?
False
Let g = 44 - 19. Which is smaller: g or 24?
24
Suppose m + 4 = 0, -2*n + 3*m = -0*m - 14. Let s be (-2 - (-5)/2)*-2. Which is smaller: n or s?
s
Let n = 7 - 7. Let t be 4/(-10) + (-2)/(-80). Which is greater: t or n?
n
Let q(f) = f**2 - f - 2. Let r be q(2). Let z be -1*(r - -2)*1. Let w(v) = -v**2 - 2. Let h be w(0). Is h >= z?
True
Let r(z) = -z**3. Let q be r(-1). Let s = -418 + 12104/29. Let l = s + 206/145. Which is smaller: l or q?
l
Suppose 6 = 3*o + 3*c, 1 = 5*o + 4*c - 6. Let b be 1/(-5) + 9/(-405). Which is bigger: b or o?
b
Let r be (1 + -27)*(0 + 3 - 2). Which is smaller: r or -28?
-28
Let x be (-1)/(-5) - 62/10. Is -5 greater than or equal to x?
True
Let u = 5 - 1. Let x = u + -4.1. Is x less than 1?
True
Let j = -67 + 67. Which is bigger: -5/29 or j?
j
Let s be (-1)/(-2) + 6/4. Suppose -g = s*y - 12, 2*g + 18 = 3*y + 7. Let v be (-3)/g + (-3)/(-3). Do v and 2 have different values?
True
Let s = -22 - -22. Let r = 4/11 + -6/11. Which is bigger: s or r?
s
Let p(h) = 2*h - 4. Let q be p(-3). Is q greater than -11?
True
Let f(s) = 10*s**3 - s**2. Let z be f(1). Is z at least as big as 10?
False
Let t = 1.02 + -0.02. Let d = -0.6 - -0.4. Let c = d - -0.3. Is t at most c?
False
Let u be ((-8)/(-6))/((-1)/(-3)). Which is bigger: 5 or u?
5
Let v = 0.29 + 0.41. Are v and -0.4 equal?
False
Let y be ((-2)/(-1))/(-4 - -2). Let h = 51 + -50.8. Which is bigger: y or h?
h
Let l = 1/112 - 179/1232. Does 0 = l?
False
Let g(a) = a**2 + 3*a + 2. Let t be g(-3). Which is bigger: 0.05 or t?
t
Let c = 130 - 108. Is c at most 22?
True
Let q = 947/55 + -87/5. Suppose w - 20 = 5*c, w = -4*c - 15 - 1. Which is smaller: q or w?
q
Suppose -4*a = n - 3*n + 12, 0 = -2*n + 4. Suppose -2*s + 17 = 3*p + 6, 2*p = 2*s - 6. Let o be (1/(0 - a))/p. Does o = 1?
False
Let a = 2 + -3. Let d = -647/5 + 129. Is d greater than a?
True
Let g be ((-12)/4 - -1)*(-1)/(-3). Let n(k) = -5*k**3 - 2*k - 2. Let u be n(-2). Let p be 40/u + 2/(-3). Is g smaller than p?
True
Let k(p) be the third derivative of -p**5/60 + 7*p**4/24 - 5*p**3/3 + 3*p**2. Let t be k(6). Which is smaller: t or -1/4?
t
Let l = 122 + -2443/20. Let q = l + -13/20. Do q and -1 have the same value?
False
Let o be 3/12*48/(-42). Let t(i) = -4*i + 1. Let l(p) = -p - 1. Let m(c) = -3*l(c) + t(c). Let u be m(3). Which is smaller: o or u?
o
Let h = 48 + -334/7. Let o = 4 + -2. Suppose 4*z = 2*z + o. Is z greater than h?
True
Suppose -2*k - 4*y = y + 16, 3*k = 2*y - 5. Let b be k/2 - (-1)/(-2). Which is bigger: b or -3/5?
-3/5
Let o be (12/30)/(117/15). Is o at least 0?
True
Let z = 36 + -34. Suppose -4*d + 20 = d. Is z bigger than d?
False
Suppose 0 = 12*u - 2*u - 80. Which is smaller: u or 9?
u
Suppose -3*b + 1 = 4*g - 2, -4*b - 12 = 0. Let t(h) = -5*h + 0 - h**2 + 0*h**2 - 1. Let n be t(-4). Are n and g nonequal?
False
Let v = 350 - 10849/31. Let p be 1 + -2 - 10/(-5). Which is smaller: p or v?
v
Let s = -24.1045 + 0.0045. Let a = s + 24. Which is smaller: a or 8?
a
Suppose 2*i + 3*i - 25 = 0. Let t = i - 1. Suppose 3*l + t*k = -20, -5*k - 18 - 7 = -3*l. Which is smaller: -5/6 or l?
-5/6
Let n(f) = 2 + 4 - 3*f + 2*f. Let q be n(5). Let k be 0 + -1 - (-44)/52. Is k >= q?
False
Let d(c) be the first derivative of c**4/4 - 11*c**3/3 + 5*c**2 + c - 4. Let i be d(10). Let z be (-1 - 1)/(-2) - 0. Is z smaller than i?
False
Let h = 4 + -3.6. Let w = -0.5 + h. Which is smaller: w or -1?
-1
Let w be -3 + 0 + (-23)/(-7). Which is smaller: w or -0.4?
-0.4
Let f = -1215/161168 - 2/1439. Is f less than or equal to 1?
True
Let u = 5 + -3. Suppose 3*s = 6, -7*s + 23 = 3*v - 3*s. Suppose -1 = t, -2*t = -v*h + 7 + 5. Are u and h nonequal?
False
Let k = -1 + -2. Let y = -0.4 + 0.44. Let l = y - 1.04. Which is bigger: k or l?
l
Let g = 4 + -2. Let h = 5 - g. Let j = 25 - 25.2. Is h at least j?
True
Suppose -4*u + 2*h = 106, 0 = -0*u + u - 3*h + 39. Which is smaller: -25 or u?
-25
Let d be 2/(2/3) - 4. Which is small