ast as big as r?
True
Let j be (2/4)/((-10)/4). Let s(n) = 4*n**2 + 7*n + 4. Let x(k) = -k**2 - k - 1. Let m(q) = s(q) + 5*x(q). Let w be m(2). Do w and j have the same value?
False
Let k(m) = m**2 - 8*m + 3. Let l be k(6). Let r = -9 - l. Is -0.2 not equal to r?
True
Suppose -1 = -3*q + 2*m, 0 = -q - 4*m + 6 - 1. Let c be q + (-3)/(-21)*-5. Is -1 < c?
True
Let b be 1152/(-528) + 1 + 1*-1. Is b bigger than -1?
False
Let h = 1 - 2. Suppose -p - 3*j = -4*j - 1, 5*p + 2*j - 19 = 0. Is h greater than p?
False
Let a = 12 + -7. Which is greater: 1/4 or a?
a
Let x = -60576 + 301566/5. Let w = x + 262. Is -1 greater than or equal to w?
False
Let q = -3 + 8. Let h be 2 - (3 + 0 - 1). Suppose -l - 13 = -4*s, 0 = -h*s - 4*s - 2*l + 22. Which is smaller: q or s?
s
Let v be 1/(-3) - (-40)/84. Let t(o) = 7*o. Let r be t(-1). Let q be 2 - (-2 + (-26)/r). Which is bigger: v or q?
q
Let x be -15*(2/(-3))/(10/9). Which is greater: 8 or x?
x
Let r be ((-27)/(-36))/((-9)/8). Which is greater: r or 0?
0
Suppose -4*o - 18 = -2*i, 0*o - 13 = -i + 3*o. Let v(m) be the second derivative of m**4/12 + m**3 + m. Let f be v(-6). Do f and i have the same value?
False
Suppose 6 = y - 2*m, 2*y + 3*m = -3*y + 17. Suppose -2*r = 3*i - 8, 4*r = i - 2 - 10. Is i greater than y?
False
Let g = 38 + -911/24. Let f(n) = -n**2 + 10*n - 20. Let y be f(3). Is y != g?
True
Let j = -10 + 13. Let t(z) = z - 1. Let g be t(6). Let o be 1/(g/(-3) + 2). Is o at least j?
True
Let y be 18/(-8) - (-18)/(-24). Let s = y - 2. Let j(w) = w**2 - 4*w. Let t be j(3). Which is smaller: s or t?
s
Let g = -0.06 - 0.14. Let c = -0.2 - -0.3. Which is greater: g or c?
c
Let k(g) = g**2 + 10*g + 13. Let a be k(-9). Suppose -a*o = -7*o. Which is smaller: -1 or o?
-1
Let f be 14*(-2 - (-14)/4). Suppose 4*q = -f + 1. Is q smaller than -5?
False
Let r = 78 + -76. Which is bigger: r or 1?
r
Suppose 3*y + 6 = 3*c, 5*c - 3*y - 4 = -0. Which is bigger: -3/5 or c?
-3/5
Let k = 0.2 + -0.3. Let j = -0.14 + 0.29. Let b = j + 1.85. Which is bigger: k or b?
b
Let n = -12 - -11. Let h = 3 + n. Which is smaller: h or -4?
-4
Let d be (6/2)/6*24. Suppose g = 4*v + 3, 4*g + 6*v - v - d = 0. Let s = g + -5. Is s < -2?
False
Let t = 0.41 + 0.59. Which is bigger: -29 or t?
t
Let n = 71 + -76. Which is bigger: n or -28/5?
n
Let c be 2/(-12) - (-8 + 8). Is c greater than or equal to 0?
False
Let z = 1.4 - 1.38. Which is smaller: -0.1 or z?
-0.1
Let s = -2/11 + 25/77. Suppose 3*h + 3*c = -2*h - 8, 5*h - 5*c = 0. Does s = h?
False
Let p(h) = -h + 12. Let d = 13 + -9. Let u(f) = 3*f - 35. Let s(t) = d*u(t) + 11*p(t). Let q be s(5). Do q and -3 have the same value?
True
Let r(x) = x**2 - 16*x - 18. Let i be r(17). Let y = 27 + -215/8. Is y at most i?
False
Let w(u) = -u**2 - 11*u - 10. Let g be w(-10). Let c be 2 - -6*(-2)/3. Let q be (c/(-12))/((-2)/8). Which is greater: q or g?
g
Let f be (95/(-13))/5 + 1. Do f and 1 have the same value?
False
Let u = -24 - -21. Does -9 = u?
False
Suppose 2*n + 20 = -2*n. Let w(j) = 0*j + 0*j**3 - j**3 - 6*j**2 - 5*j. Let i be w(n). Is -1 not equal to i?
True
Suppose 3*d - c - 3 = 5, 0 = 4*d - 5*c - 29. Let t be (d + 15/9)*-3. Let l(g) = -g**3 - 7*g**2 + 8*g + 1. Let r be l(t). Which is smaller: r or 0?
0
Let d = -3.05 - -3. Let z = 0.35 + d. Do 0.3 and z have the same value?
True
Let k = -361/213 + 2/71. Is k <= -1?
True
Let q be 26/117 - (-7)/9. Let d = 2 + 8. Suppose m - 2 + 4 = -3*f, -m = -5*f + d. Is q at most as big as f?
True
Let a be (39/9)/((-1)/(-5)). Let s = 60 + -38. Let p = a - s. Which is smaller: p or 1?
p
Let k = -6 + 7. Is -4/9 not equal to k?
True
Suppose -7*m - m = 0. Is -1/8 >= m?
False
Let q = -21 - -32. Let i = q - 56/5. Is 1 less than i?
False
Let j be (4 - 1)/(-3)*5. Let q = j + 5. Is q >= -1/5?
True
Let v be -1*4/(-12) + (-40)/(-6). Suppose -a - 3*a + 32 = 0. Which is smaller: a or v?
v
Let r(a) = -a + 1. Let m be r(1). Let z be ((-13)/(-3))/(2/(-12)). Let l be z/143*(-1 + 2). Is l at least as big as m?
False
Let s = 0 + 0.4. Let i = s - -0.1. Let v = 0.4 + -0.3. Which is bigger: i or v?
i
Let g = 4 + -7. Let a be 0/(9/g + 0). Let s(u) = -u + 1. Let k be s(1). Is a at least as big as k?
True
Let i = -68.96 - -69. Is 4 at least i?
True
Suppose 1 = 7*w - 6. Which is greater: 0 or w?
w
Let z = -3.96 + 4. Let y = -8.04 + z. Which is greater: -2/7 or y?
-2/7
Let c be (-18)/63 - (-6)/7. Let b = -2/21 - c. Which is greater: -1 or b?
b
Let q = 17 - 15. Which is greater: 20/7 or q?
20/7
Let j = 1 - -2. Let f(a) = -a**2 + 7*a - 5. Let z be f(5). Let n = 7 - z. Is n less than or equal to j?
True
Let j = 203/30 + -37/6. Which is greater: j or -2/13?
j
Suppose -3*a - 2*u + 46 = 2*u, -5*a = -5*u - 65. Let z be (-4)/(-12) - a/6. Which is bigger: -1 or z?
-1
Let s be (1 - (-2)/(-5)) + (-6)/(-15). Are -2/183 and s non-equal?
True
Let b = -11 + 10. Which is greater: -4/11 or b?
-4/11
Let z be 5/2 + 1/(-2). Let p = z + 0. Suppose 0*t = -3*t + 6. Is p smaller than t?
False
Let l be ((-1)/(-2))/1*-2. Is l less than 2/13?
True
Let s be 6/3 - 8 - -3. Let y = -2 - s. Suppose -k + i + 2 = -y, -5*k + i + 7 = 0. Which is smaller: 2 or k?
k
Let z be (2/8)/((-6)/(-104)). Is 0 at least z?
False
Let x be ((-9)/(-5))/((-6)/30). Is -7 smaller than x?
False
Let s = -5846092/55 + 106301. Let c = s - 43/5. Which is bigger: 0 or c?
0
Let a be (-7)/(-32 + 4) + 1/(-4). Is -0.15 at most as big as a?
True
Suppose 2 = h - 2*h. Let z be 1 + (h - (-1 + 0)). Suppose -5*c + 8 + 2 = z. Is 1 > c?
False
Let t(f) = 3*f**2 + 6*f + 3. Let d be t(-2). Suppose 4*x - 5 = -1. Let o = d - x. Is o != 1?
True
Let f be (0 + -1 - -2)/(-1). Let v = 236 - 3066/13. Which is smaller: v or f?
f
Suppose -2*f - z - 75 = 3*f, -z - 47 = 3*f. Let s be -1 + -77 + -1 + -1. Let h be s/(-84) - (-4)/f. Which is greater: h or 1?
1
Let w = 229 - 228.7. Which is bigger: -3/5 or w?
w
Suppose 3*y = 4*p + 13 - 106, 4*y + p + 105 = 0. Let m be (-6)/y + (-20)/9. Which is smaller: m or -7?
-7
Let b = 4.04 - 4. Let n = 2.04 - b. Is n at least as big as 1?
True
Let i be 2 - (-28)/(-6) - (-8)/(-24). Do 1 and i have the same value?
False
Suppose 5*j - 28 = -4*m, -3*j + 0*j = -12. Let p be 23/3 + m/6. Let r be 18/p + 1/(-4). Is 2 at most r?
True
Let g(l) = -l. Let p be g(-3). Suppose 3*r + p*y + 33 = 0, 4*y = 3*r - 8*r - 56. Does r = -13?
False
Let w = 10 + -34. Which is smaller: -23 or w?
w
Suppose -2*w - 10 = -7*w. Let s be -2 - (w/(-2))/(-1). Suppose -3*z - 2*z = 15. Is z equal to s?
True
Let n(k) = -k**3 + 7*k**2 + 2*k - 5. Let a be n(3). Is 38 not equal to a?
True
Let l be (-2)/3 + (-2)/6. Let k be 2258/(-30) - 4/(-6). Let n = -75 - k. Which is smaller: n or l?
l
Suppose 12 = b + b. Let m = 3 - 6. Let x be -1*(m - (-6)/2). Is b bigger than x?
True
Suppose 0 = 4*y - 5*y + 8. Which is bigger: 4 or y?
y
Let i = -1/431 - 6457/3448. Which is smaller: 1/4 or i?
i
Let g = 0.9 - 1. Let s = 0.04 - 0.14. Let h = s - g. Is h < -0.1?
False
Let k = 20 + -12. Let g = k - 6. Let o be ((-4)/(-10))/(2/(-10)). Which is smaller: o or g?
o
Let p = -0.026 - -0.126. Are p and 0.1 nonequal?
False
Let x(u) = u**2 - 1. Let d(r) = -7*r**2 + 6*r + 10. Let t(v) = -d(v) - 6*x(v). Let b be t(7). Suppose 0 = s - c + b - 2, s - 2*c = 0. Is s equal to -2?
True
Let j = -0.11 + 0.25. Let z = j + -0.54. Let b = 0.3 + -0.2. Is b < z?
False
Let f = 35/9 + -263/63. Let c(a) = -a + 3. Let d be c(-16). Let i = -18 + d. Which is bigger: f or i?
i
Let a = 4400/9 - 490. Which is bigger: -1 or a?
-1
Suppose 0*i + 2*o = 2*i - 44, 5*o = 0. Is 21 at least as big as i?
False
Let o(n) = -4*n**2 - 6*n + 1. Let c be o(4). Let t = 429/5 + c. Is t <= -2?
False
Let l(c) = -3*c - 10. Let p(x) = -2*x - 7. Let r(m) = 5*l(m) - 8*p(m). Let t be r(-5). Which is greater: -1/4 or t?
t
Suppose -8*b + 3*b = -30. Suppose 3*k = -l - 3 + 17, -5*k = -5*l - 30. Suppose -k*o + b = -2*o. Is o != 3?
True
Let o(a) = a**2 - 7*a - 8. Let z be o(-6). Which is smaller: -1 or z?
-1
Let n = 47 + -47. Which is smaller: n or -0.1?
-0.1
Let r be (-2)/3*-3*(-3)/10. Which is smaller: r or 2?
r
Suppose 0*p = 6*p + 30. Is p < -5?
False
Let p(g) = g**3 + 12*g**2 - 13*g - 1. Let l be p(-13). Which is smaller: l or 1?
l
Let t be (-20)/10 + (-1)/((-7)/24). Does t = 2?
False
Let h = 0.2 - 0.1. Let g = -0.3 - h. Let k = 6 + -6. Which is greater: