reater: q or -2?
q
Let u be ((-5)/2)/5 + 2. Suppose -4*a + 0*f - 3*f + 34 = 0, -5 = -a + f. Let o(x) = -x**3 + 7*x**2 + x - 4. Let t be o(a). Which is smaller: u or t?
u
Let w = 12 - 13. Let n be (9 - 13) + 6 + w. Does 1/11 = n?
False
Let l(t) = t + 14. Let p be l(-11). Suppose -r - 2 = r. Let x be p + (-24)/5 - r. Which is smaller: 0 or x?
x
Let j(q) be the first derivative of 7*q**3/3 + 2*q**2 + 2*q - 1. Let s(a) = -a**2. Let c(g) = -j(g) - 6*s(g). Let m be c(-4). Is -3 greater than or equal to m?
False
Let f = -1 - -1. Let y = f + -4. Let z(n) = n**3 + 7*n**2 + 8*n + 7. Let l be z(-6). Is y less than l?
False
Let g be (-4)/(-10) + 44/(-35). Is -0.1 at least as big as g?
True
Suppose 5*q - 3*r + 1 + 19 = 0, 4*q = -r + 1. Which is greater: -3/4 or q?
-3/4
Let f be (232/12)/(1 + (-15)/9). Are 0 and f unequal?
True
Let w be ((-24)/(-15))/4*5. Let p = w + -1. Let g = -44/3 - -15. Is p smaller than g?
False
Let i = -15 + 17. Which is bigger: -1/11 or i?
i
Let t = -1/178 - -181/534. Let p = -5 + 3. Which is smaller: p or t?
p
Let j = -1041/110 - -111/10. Which is smaller: j or 3?
j
Let u = -12 + -8. Let v = 16.6 + u. Let f = 3 + v. Which is greater: 2/3 or f?
2/3
Let i = 738/13 + -762/13. Is -2 >= i?
False
Suppose -2*i - 2*p + 8 = -3*i, 2*p - 10 = 0. Let c be ((-1)/((-1)/6))/i. Suppose 0 = 2*u - 3*x + 9, 2*u + 2*u - c*x + 3 = 0. Which is bigger: u or 2?
u
Suppose 9 - 19 = -j. Which is greater: 7 or j?
j
Let g(u) = 2*u**2 + 13*u - 7. Let r be g(-7). Let o be ((-2)/36)/(2/(-40)). Is o at most as big as r?
False
Let u = -4/27 - 2/27. Let d = 2 + -4. Is u smaller than d?
False
Let h be 6/(-8) - (-455)/52. Suppose h*r - 7*r + 3 = 0. Are 0.04 and r nonequal?
True
Let i = 1.9 + 0.1. Let u = -88 - -266/3. Is u smaller than i?
True
Let z = 2 - 1.8. Let h = z - 0.3. Let s = -22 - -21. Which is smaller: h or s?
s
Let d(v) = -2*v - 1. Let g be d(-1). Is g less than 17?
True
Suppose 18 = -5*u + g + 2*g, 3*u + 5*g = -4. Let o(f) = 5*f - 4. Let l be o(0). Is u at most l?
False
Let z be 819/(-86) - (-4 + 0). Let t = 1/43 + z. Which is smaller: -5 or t?
t
Let x(l) = l**2 - 4*l - 4. Let k be x(5). Let v be (1 + k - 2)/(-2). Let i(h) = -2*h**2 + 4*h - 2. Let b be i(2). Is b != v?
True
Let n = 3 + -3. Let a = -2 - n. Which is smaller: -3 or a?
-3
Suppose 0*p = 4*p. Suppose s - 1 = -2*w - 0*s, -2 = -3*w - 2*s. Does w = p?
True
Let n = -42.8 - -49. Let w = n + -2.2. Is 0 > w?
False
Let s = 15 - 15. Suppose s = x - 5 - 3. Suppose -i + 32 = 3*i. Is i < x?
False
Let f be (-1)/(-2) - 60033801/3570. Let s = 16816 + f. Let m = s + -2/85. Which is smaller: m or 1?
m
Suppose 15*a = 16*a. Suppose -5*g + 2 - 1 = -o, a = g - 1. Which is greater: 3 or o?
o
Let r = 5 + -4. Which is smaller: r or 0?
0
Suppose -5*s + 10 = -0*s. Let u be 2/(-56) + s/(-8). Suppose -l + 0 + 1 = 0. Is l less than u?
False
Let h = 2 - -1. Suppose -4*l - 2 - 14 = 2*c, 2*l = h*c - 8. Suppose 4*f + 22 = 2*d - 0*d, c = d - 5. Which is smaller: -4 or f?
-4
Let w(i) = i**2 + 13*i + 13. Let h be w(-12). Let y be (-4 + 2)/(2/(-5)). Suppose -y*b = -0*b. Which is smaller: b or h?
b
Suppose -z + 6 + 5 = 0. Let o = 296/13 + -1330/39. Let v = o + z. Which is smaller: v or 0?
v
Let t(x) = x**2 + 3*x - 1. Let b be t(-4). Let k = 4 - -7. Suppose -3*z = n + k, 5*z = 4*n - 0*z - 41. Is b < n?
True
Let o(c) = -c**2 + 4*c - 1. Let m be o(3). Suppose -4*j - 3*s - 3 = -4, -m*j - 3*s = 1. Let w be 1/10 + 1/(-5). Which is smaller: j or w?
w
Let w be (-10)/4*(-16)/(-10). Are -4 and w nonequal?
False
Let y = -8 + 6. Let v be (-2)/12*(-9)/y. Which is smaller: -2 or v?
-2
Let f = -3.8 - 0.2. Let t be (1 + 3)*87/(-4). Let i = 263/3 + t. Which is smaller: f or i?
f
Let n = 3 - 5. Which is smaller: -0.8 or n?
n
Let h = 2 + -2. Suppose h = -6*v + v + 45. Let k be (v/(-39))/((-3)/(-2)). Which is smaller: 1 or k?
k
Let g be 10/4*(-4)/(-5). Suppose -y + g = -3*w, 5*w = 4*y + y - 10. Which is bigger: w or 2/11?
2/11
Suppose -3*i = -5*z - 5 - 22, 9 = i + 4*z. Let s be 16/(-6)*i/(-6). Suppose s*k + 0*k + 4 = 0. Which is bigger: k or 0.1?
0.1
Suppose u - x = 2*u, 5 = -u - 2*x. Let k(m) = 7*m - 113. Let w be k(17). Which is smaller: w or u?
u
Let u be 4/(-22) - (-12)/429. Is u less than 0?
True
Let b be 3/(-6) + 45/6. Let v = b - 9. Is -2 less than or equal to v?
True
Let a(w) = w**3 - 6*w**2 - 6*w + 3. Let d be a(7). Suppose 2*c - 7 - 3 = -5*b, 2*c - d = -b. Suppose u - 2*o = o - 3, 5 = -5*u + c*o. Is 0 at most u?
True
Suppose 0 = -x - 0*x - 5, -2*u - x = 1. Let c be (u/(-6))/((-7)/30). Do c and 2 have the same value?
False
Let g be -2 + 1 - (-448)/(-3). Let l = -152 - g. Which is bigger: l or -1?
-1
Let l be (2196/40)/9 + (-6)/10. Which is bigger: 6 or l?
6
Let r(s) = s**2 - 4*s - 6. Let a be r(6). Let o = a - 0. Do o and 6 have different values?
False
Suppose l = -4*l. Suppose p - 5*j + 17 = 5*p, -3*j + 15 = l. Is -6 less than p?
True
Suppose -12 = -j - 3. Let c = 533/3 + -169. Let b = c - j. Which is smaller: b or 0.1?
b
Suppose -5*i = -0*i + 15. Let j be 60/(-68) - (-4 - i). Let y = -2 + 2. Which is smaller: y or j?
y
Let d be (-2)/(-2) - 0*3/9. Do d and -2/21 have different values?
True
Let k = -29/16 + 19/16. Let s = -31/24 - k. Which is bigger: 1/5 or s?
1/5
Let s(y) = -y**3 - y**2. Let u be s(-1). Let d = -149/433 - -923679/61919. Let i = 162/11 - d. Do u and i have different values?
True
Suppose 0 = 5*h + 13 - 3. Let c be (4/2)/(3/94). Let m = 62 - c. Which is smaller: h or m?
h
Suppose h + 13 = 3*h - 3*c, 0 = -5*h - 3*c - 20. Let u be 4*h - (-4 + 3). Let o be (2/u)/((-16)/6). Which is smaller: o or 2/9?
2/9
Suppose -4*t = 12, 0*t + 37 = -4*s + t. Is -9 > s?
True
Suppose 0 = 5*p - 4*p - 1. Is p at least -2/5?
True
Let k = -8 - -8.15. Let i = 14 - 14.05. Let y = k + i. Which is smaller: -2 or y?
-2
Suppose -6*h - 5 = -h. Which is greater: h or 3?
3
Let q = -4.92 + -0.08. Let h = -4.8 - q. Let f = h - -0.8. Is -2/7 equal to f?
False
Let o be 4/(-10) - 24/(-110). Let u(s) = s**3 - 5*s**2 + s - 1. Let f be u(5). Suppose 2 = -2*c + f*c. Which is bigger: c or o?
c
Let d = -7 - -25. Suppose o = -2*o - d. Let n be (-1)/o*(-9)/(-12). Which is bigger: n or 1?
1
Let d(k) = k**3 + 12*k**2 - 19*k - 77. Let h be d(-13). Let v be 1/(-2)*2/(-3). Which is smaller: h or v?
v
Suppose 0*v = 3*v - 12. Suppose -v + 2 = 2*o. Which is smaller: o or -4/7?
o
Let k = 44 + -41. Is k bigger than 3?
False
Suppose -5*a - 33 = 4*p, -a - 19 - 10 = 4*p. Is p greater than -7?
False
Let q = -0.61 + 0.7. Which is smaller: -1 or q?
-1
Let f be 2 + 2 + ((-127)/43 - 1). Which is smaller: 1 or f?
f
Let h = 12471/29 - 430. Are h and 1 unequal?
True
Let d be 5 + (-37 - (-1 + 0)). Is -30 less than d?
False
Let f be (24/(-21))/(10/(-35)). Let c be -2*f/8 + 0. Is c at least as big as -2?
True
Suppose -27*o = -24*o + 21. Is o bigger than -10?
True
Let n be -4 + ((-312)/66)/(-2). Is n at least as big as -2?
True
Let b = -5 + 8. Suppose -2*u = -b*u. Which is smaller: u or 3/8?
u
Suppose -2*l - 6 = -10. Let j be l - (-32)/84*-6. Which is smaller: j or 6?
j
Let g be -1*6/1*1. Let u be (-12)/14 - (-7 - g). Suppose -2*f + 0*f = 0. Which is bigger: f or u?
u
Let t(f) = 2*f**3 - 4*f**2 + 2*f. Let m be t(2). Suppose 5*a - 12 + 0 = m*s, -a = -5*s - 15. Is 0 less than a?
False
Let d be (29 - -1)*((-5)/2)/5. Which is bigger: -2/7 or d?
-2/7
Let t = 1117/420 - -1/140. Does t = 4?
False
Let m(t) = -2*t - 25. Let c be m(-8). Suppose -14 = f - 5. Is f smaller than c?
False
Let n be 6/2*(-2)/(-6). Let k(o) = o**3 - o**2 + o - 1. Let d be k(n). Which is bigger: d or 2/13?
2/13
Let k be (-3)/(-9) + 10/(-12). Suppose 0 = 2*n - 4. Suppose 2*j = -4, n = 6*y - 2*y - j. Is y < k?
False
Let f be (-18)/(-27)*(-6)/16. Is f > 1?
False
Let n(z) = -z + 4. Let x be n(6). Let r(m) = -9*m - 1. Let j be r(x). Let t = -84/5 + j. Is 1 smaller than t?
False
Let v be (-110)/60 + (-6)/(-4). Is 1 < v?
False
Let o(m) = m**2 + 4*m - 2. Let r be o(-4). Let j be 6/r*1/33. Which is greater: -1 or j?
j
Let s be 2/4 + 2/(-4). Let q = -569/5 - -11824/105. Let j = q + 6/7. Which is greater: s or j?
s
Let w(n) = 2*n + 18. Let y(q) = -q**3 - 5*q**2 - 9. Let i be y(-5). Let r be w(i). Let o = 248/5 - 49. Is r >= o?
False
Let i be 5 - (-1 + 3)/1. Let p be -2 + (-3)/i*-3. Is -2/3 at most as big as p?
True
Let v = -5 + 4. Let u b