er: -2/177 or d?
d
Suppose 2*z = -z + 3. Suppose -z = 3*o - 13. Is o >= 4?
True
Let x(z) = z**2 + 3*z - 3. Let a be x(-3). Let b(k) = -2*k**3 - k**2 + k + 1. Let g be b(2). Let o be (-2)/(-5) + g/5. Is a bigger than o?
False
Let l(k) = k**2 + 5*k - 14. Let j be l(-8). Is j greater than 10?
False
Let r(d) = 5*d + d**2 + 9 - 3*d + 7*d + d. Let l be r(-9). Is l at least as big as -1/2?
True
Suppose -8*c + 20 = -10*c. Let x = c + 9. Let v be (-12)/18 - 1/3. Is v > x?
False
Let x(r) = r**2 - 5*r - 8. Let u be x(7). Let z be ((-2)/50)/(u/(-15)). Is -1 at most as big as z?
True
Let p be ((12/(-8))/((-3)/4))/(-21). Which is smaller: 1 or p?
p
Let w = 3.98 + -4. Let z = -1.98 + w. Which is greater: z or 1?
1
Let v = 0 + 0.1. Let p = 4 - 3.8. Let x = v - p. Which is bigger: 2/7 or x?
2/7
Let u = -9 - -12. Suppose -2*t + 5 = -u*h, -h - 4*t + 6*t = 7. Which is greater: h or 0.01?
h
Let i(x) = -x**2 + 5*x - 2. Let g be i(4). Suppose 3*k = 1 + g. Which is smaller: 0 or k?
0
Let k = -0.03 - 0.07. Let h = 0.1 - k. Which is greater: h or 2?
2
Let r(g) = 2*g - 8. Let s be r(6). Let t(x) = x**2 - 7*x - 4. Let w = 33 + -25. Let l be t(w). Is s greater than or equal to l?
True
Suppose 2*k - 61 = 5*o + 809, -4*o - 696 = 3*k. Let b = o + 64729/372. Let l = -737/2604 - b. Which is bigger: 3 or l?
3
Let j(p) = p**2 - 3*p - 7. Let l be j(5). Let c = -16 + 17. Suppose -12 = 3*d + 3*r, 2*d + r + 2 + c = 0. Are d and l equal?
False
Let i be (-3)/(27/(-15))*3. Let b = i - 2. Let x(w) = w**3 - 3*w**2 + 2. Let s be x(3). Which is bigger: b or s?
b
Let b = -36 - -37. Which is smaller: b or 19/5?
b
Let f(l) = 0 + 2 + 2*l - 3 - l. Let o(g) = g**3 - 15*g**2 - g + 18. Let s be o(15). Let y be f(s). Which is bigger: y or -0.3?
y
Let j be ((-3)/(-2))/((-3)/6). Let u be (-2)/j - 16/6. Let c be ((-1)/2)/((-1)/u). Which is smaller: c or 2/13?
c
Suppose 0 = -2*f - 5*q + 2, 0 = 3*f + 3*q - 6*q - 3. Let v = -12 - -8. Let o = v - -3. Does o = f?
False
Let i be (-10)/20 + (-6)/8 + -1. Is -2 at least as big as i?
True
Let j be ((-18)/(-48))/(3/2). Let k = 2 + -2. Which is smaller: j or k?
k
Suppose -18*s + 1 = -17*s. Which is bigger: -1/15 or s?
s
Let a(d) = d**2 + 12*d + 4. Let n(k) = -k - 1. Let s(h) = a(h) + 4*n(h). Let u be s(-8). Let q = 1 - u. Which is greater: 0.1 or q?
q
Suppose -4*r + 4 = -4. Do r and 0 have the same value?
False
Let c(n) = 3*n**2 + 6*n - 5. Let b be c(-5). Is b at most as big as 41?
True
Let x(i) = i - 12. Let z be x(8). Is -4 greater than or equal to z?
True
Let z(d) = -d**3 - 6*d**2 + 8*d - 5. Let l be z(-7). Let c = l + 13. Is c at least 1?
True
Suppose 2*t - 1 = 1. Are 0.07 and t equal?
False
Let r be 0 + 0 - (-1)/2. Let s(b) = -5*b - 16 + 11*b + b**2 + 0*b**2. Let l be s(-8). Which is bigger: r or l?
r
Suppose -19 = 16*m + 13. Suppose -10 = -w + 6*w. Is m equal to w?
True
Let v be 1/7*(-3 - -1). Let z = 43/90 - 5/18. Which is smaller: v or z?
v
Let o(h) = h**2 + h - 2. Suppose -t + i + 4 = 3, -5*i + 22 = 4*t. Let x be o(t). Let j be (x/15)/(8/(-6)). Is j at least -0.1?
False
Let r(f) = 2*f + 3. Suppose 2*c + 4 = -2. Let h be r(c). Let k = h - -4. Is 0 not equal to k?
True
Let t(r) be the first derivative of -21*r**2/2 + 4*r - 2. Let c be t(3). Let k = 297/5 + c. Which is greater: k or 0?
k
Suppose -5*s + 295 = -10. Is s at most 60?
False
Let s(z) = 13*z + 39. Let v be s(-3). Suppose y - 15 = 6*y - 5*d, 0 = -3*y - 5*d + 15. Suppose y = -g - 0*g + 1. Which is greater: v or g?
g
Let r(h) = -2 - 2 - h**3 + 3 - 6*h**2 - 3*h + 4. Let y be r(-5). Let t be y/(-6) - 6/9. Is 0 >= t?
False
Let h = 87 + -433/5. Let n = 2.2 + 7.8. Let y = n - 11. Is y > h?
False
Let q = 3.5 + -3.6. Let l = 3 + -3.1. Is q greater than or equal to l?
True
Let a = 3 - 3. Suppose -4*f - 4*y = 20, 2*f + 2*y + y + 15 = a. Let j = f + -1. Is j less than or equal to -1?
True
Let h = 53 + -53. Which is smaller: h or 0.22?
h
Suppose 7*j - 6*j = 0. Suppose 2*t - 5*t - 3 = j. Which is smaller: t or -2/9?
t
Let l be (-1)/(1 - -2) + (-105)/(-693). Which is smaller: l or -0.08?
l
Let p(w) = -w + 3. Let g be p(3). Are g and 3/55 non-equal?
True
Let q = 40.59 + -41. Let y = -0.01 - q. Let n = y - -1.6. Which is smaller: -0.2 or n?
-0.2
Suppose -23*b = -16*b. Let n = 1 - 0. Which is greater: n or b?
n
Suppose 5*v - 8 = 2. Suppose v*j = j. Let c = -8/3 + 7/3. Is j smaller than c?
False
Let c be 680/1547 - 4/26. Which is bigger: c or 0?
c
Let y = 36 - 29. Let o be 3 + y/((-21)/8). Let h = 2 + -1. Are h and o equal?
False
Let m = 0.34 - 1.64. Let g = 1.1 + m. Let h = -8 - -4. Is h less than or equal to g?
True
Suppose -h + 30 = 5*l + 2*h, 0 = -3*l + 5*h - 16. Which is smaller: l or 2?
2
Let n = -0.21 + 0.11. Which is bigger: 14 or n?
14
Let v = 93/2 + -46. Let h = 11 - 34/3. Is v smaller than h?
False
Let k be (-2)/(-5) - (-6)/(-15). Suppose k = -3*a - 1 + 7. Let o be 8/a*(-3)/3. Which is greater: -3 or o?
-3
Let x be (1/(-2))/((-4)/24). Suppose 2*o + o - 45 = 0. Suppose -2*b + 7*b - o = 0. Do x and b have the same value?
True
Let x = -5.3 - 0.7. Let r = -2 + x. Is r equal to 0.1?
False
Suppose 4*o = 5*o. Is -5 at most o?
True
Let j be 2 - 2/6*0. Let m = j - 1. Suppose -2*v = -4*v. Is v > m?
False
Let f be (-23)/105 + 8/28. Which is smaller: f or 0?
0
Let z = 6 - 4. Suppose 3*s - 4*s + 1 = 0. Do s and z have different values?
True
Let l = -20 - -24. Let x = -8 - -9. Is x < l?
True
Let y = 5 - 1. Let d = y + 4. Let b be (-3)/3 - d/(-10). Which is greater: 1 or b?
1
Let n(m) = 3 + 2 + m**2 - 2 + 3*m. Let f be n(-2). Let l = -25 - -74/3. Which is smaller: l or f?
l
Let h(k) = k**3 + 4. Let x be h(0). Suppose 2*u - 91 = 5*z, -3*u + z - 85 = -5*u. Let g = u + -40. Do g and x have the same value?
False
Suppose 3*h + 54 = -3*y, -5*y = 10 + 15. Which is greater: h or -14?
h
Let m = 130 - 139. Are m and -2 equal?
False
Let v = 4 + -3. Suppose -3*w + 14 = -1. Which is smaller: w or v?
v
Let r = -15 - -10. Is -5 < r?
False
Suppose -2*j - 4*b - 52 = 16, -106 = 3*j + 2*b. Let w be (-10)/36 + (-6)/j. Which is smaller: 0 or w?
w
Let y = 57.2 + -57. Suppose 2*q = o + 6, 3*o - 9 = 7*o - 3*q. Which is greater: y or o?
y
Let w(t) = t**3 + 3*t**2 + t + 4. Let u be w(-3). Let q = -1.5 + 1. Which is greater: u or q?
u
Let w(s) = -s**3 + 8*s**2 + 8*s + 13. Let o be w(9). Is 5 != o?
True
Let a be 60/24 - (-1)/(-2). Is a smaller than -9?
False
Suppose 0 = -9*m + 16*m. Suppose 3 + 0 = -3*y. Is m > y?
True
Suppose -2*u = 5*n - 0*u + 14, -5*u = -n + 8. Is 3 at least n?
True
Let j = -71/2 - -35. Is j at most -1/2?
True
Let g = -156 - -156.4. Let q = 6 + -4. Is q != g?
True
Let c = -2 - -3. Let y be 6/((-106)/8 - 24/32). Is y at most c?
True
Let n = 5/27 - -61/108. Let h = -1/4 + n. Is -7 less than h?
True
Let l = 1 + -1.04. Let x = l - -4.04. Let g = 6 - x. Is 2/5 < g?
True
Let c be (-984)/(-36) + 4/6. Is 28 less than or equal to c?
True
Let w = 180.9 - 169. Let c = w + -11. Let z = c + 0.1. Do z and 2 have different values?
True
Let h(c) = c. Let x be h(-1). Let n = 2 - x. Let f = 7.6 - 7.4. Are n and f equal?
False
Suppose a + 5*g - 2 = -a, -5*a + 2*g = -5. Let n = 281/9 + -31. Which is greater: a or n?
a
Let c(t) = -3*t - 1. Let s be c(10). Which is bigger: s or -32?
s
Let b(d) = -d**3 - d**2 - d + 36. Let p be b(0). Which is smaller: 37 or p?
p
Let m = 0 + 0.1. Let s be ((-40)/(-35))/((-10)/(-105)). Is s bigger than m?
True
Let f = -659699 + 15178710/23. Let j = -245 + f. Is j bigger than -1?
True
Let u = -8.1 - -8. Let k = u + 1.1. Is -2 greater than or equal to k?
False
Let v = -110 + 112. Is v bigger than -0.1?
True
Let p be (2618/(-49))/(-11) + 2/14. Suppose -18 = -4*l + 6. Is l greater than or equal to p?
True
Let f(l) = -l**2 - 17*l + 20. Let o be f(-18). Is -2 greater than o?
False
Let m = -143692/81 - -1774. Is 0 at least as big as m?
False
Let j = -2377/3 + 793. Let p = -6 - -4. Let v = 2.2 + p. Which is smaller: j or v?
v
Let p = 183 + -2010/11. Let v = -46 + 137/3. Which is smaller: v or p?
v
Suppose n + 8 + 30 = 0. Let a = -22 - n. Let i be (a/60)/(12/10). Which is smaller: 1 or i?
i
Let m(c) = -c**3 + 6*c**2 + 7*c + 1. Let o be m(7). Let n = -597/5 + 119. Which is greater: n or o?
o
Suppose 0 = -2*c - 5*s + 10, 3*c - 34 = -0*c + 2*s. Let t = -10 + c. Which is smaller: -1 or t?
-1
Suppose 2*m - 4*m = 30. Let k be (6/