ue
Let x = 84 + -254/3. Let s be 1/(-1)*(-6)/(-3). Which is bigger: s or x?
x
Suppose -3*j - 4*o + 0*o + 8 = 0, 31 = -4*j + 3*o. Let k be j*2*2/(-4). Let u be 6/k + 2/4. Is 2 <= u?
True
Suppose 0 = 30*q - 25*q - 5. Let s be 3/(-12)*(-2 - 1). Which is greater: s or q?
q
Suppose 5*z + 213 = 13. Which is smaller: 1 or z?
z
Let i = 8 - 13. Let c be (-25)/(-15)*(1 + 2). Suppose 0 = -f + c*t - 13, -t + 17 = -3*f - 2*f. Which is bigger: f or i?
f
Suppose 3*o - 4*o = -2*o. Let l be ((-6)/(-10))/(4/(-5)). Are o and l unequal?
True
Let c be 3/(-4) - 1615/(-2052). Are c and -2 equal?
False
Let p be (-1 - -3)/(4/10). Suppose 0 = -s + 5*g - 23, s + 5*g - p = 3*g. Let h be ((-12)/54)/(2/(-3)). Which is greater: s or h?
h
Let z = 159.24 + -158. Is z != 1?
True
Let w(c) = -c**3 + 11*c**2 + 2*c + 4. Let z be w(11). Let s = z + -53/2. Do s and 0.1 have the same value?
False
Let s = -72 - -70. Which is smaller: 6 or s?
s
Let j be (6 - 333/(-63)) + (-2)/7. Let s be -1 + (-28)/(-2) + -1. Is s greater than j?
True
Let w(m) = -m**2 - 8*m - 7. Let n be w(-6). Let p = -3 + n. Let x(a) = a**3 - 3*a**2 + 2*a. Let g be x(p). Does 3 = g?
False
Let j be (1/2)/((-1)/(-2)). Let v(f) = -f**2 + 2*f + 1. Let h be v(-1). Let l be h*(-7)/(-6) - -3. Is l bigger than j?
False
Let y = 20 - 143/7. Suppose -5*s - 25 = -5*z, 3*s - z + 3 + 2 = 0. Are s and y unequal?
True
Let t(y) = y**3 - 6*y**2 + 4*y + 5. Let q be t(5). Suppose -3*l + l + 3 = 5*u, 0 = -l + 5*u - 6. Which is smaller: l or q?
l
Let p(b) = -b + 3. Let f be p(7). Let o = 0 - f. Let g = o + -3. Which is smaller: g or 2?
g
Suppose -5*j + 0*j - 70 = 5*n, j - 51 = 4*n. Is n < 0.1?
True
Let b = 0.06 - 0.16. Let k = 0.5 + b. Which is greater: k or 1?
1
Let r = 5 + -2. Suppose r*a + 4 = 7*a. Let d = 2 + a. Which is smaller: -2/7 or d?
-2/7
Let o(d) = d + 2. Let y be o(-1). Which is bigger: y or -1/7?
y
Let l(j) = -j + 16. Let c be l(11). Suppose 0 = -5*t - 20, -c*r + 12 = -r + 4*t. Is 7 >= r?
True
Let a = -24 + 16. Are 7 and a equal?
False
Let s be (4 + (-3)/1)*1. Which is smaller: 5/3 or s?
s
Let y = 3 - 6. Let j(a) = -a**3 - 4*a**2 - a - 5. Let i be j(-4). Which is greater: y or i?
i
Let v = 0.3 - 2.3. Let z be 34/6 + -3 - 2. Is z less than v?
False
Let x = -1.4 - -0.4. Let o = x - -0.7. Let b = 311/35 - 43/5. Is o bigger than b?
False
Let d = 0.4 - 0.4. Let z = 0.1 + d. Let w = 12 - 14. Is z < w?
False
Suppose m - q + 4 = -5, -3*m + 4*q = 26. Let a be 104/(-50) - m/5. Is a less than 1?
True
Let w = 0 + 3. Let v be (1 - 0) + (-18)/2. Let u = -6 - v. Which is bigger: w or u?
w
Let n = 0 - -15. Let k be -2*-2*n/(-12). Do k and 2/3 have the same value?
False
Let c = 25/38 - 3/19. Which is greater: c or 2?
2
Let b = 1.16 - 6.26. Let r = 0 - b. Let n = r - 5. Which is smaller: n or -2/5?
-2/5
Suppose 5*j = 2*j + 12, -10 = s - 2*j. Is s not equal to -2?
False
Let d = 53 - 49. Which is smaller: 2 or d?
2
Suppose 4*s - 752 = -4*s. Is 95 less than or equal to s?
False
Let u(g) = -g - 2. Let x be u(8). Is -10 greater than or equal to x?
True
Let z = 4 - 3. Let h = -1/51 + -146/357. Which is greater: h or z?
z
Let v(c) = c**2 - 2*c - 4. Let x be v(4). Let w be x/(-6) + (-4)/3. Let m(n) = -n. Let k be m(w). Is 1 at least k?
False
Let f be (-63)/27*(-6)/8. Let x = f + -3/2. Let r(a) = -a**2 + 1. Let y be r(0). Which is smaller: x or y?
x
Let a(t) = t**3 + 4*t**2 + 4. Let j be a(-4). Let d = j + -2. Let o be (-152)/312 + d/6. Which is greater: 1 or o?
1
Let j be 3*((-5)/3 + 1). Let m be 6/j*(-2)/2. Suppose -2*t - k = -5*t + 8, 4*k = t - 21. Which is smaller: m or t?
t
Let p = 6 + -13. Let z = 11 - 13. Let y be (z/(-7))/(3/p). Is y equal to -1?
False
Let d(w) = 2*w**3 + 5*w**2 + 2*w - 1. Let h(c) = c - 11. Let z be h(8). Let l be d(z). Let s be ((-2)/l)/((-1)/2). Is s equal to 1?
False
Let s be (-2 - 1) + (-56)/(-21). Suppose -4 = 3*y + y. Which is greater: y or s?
s
Suppose 0 = q - 3*p - 0*p - 9, -18 = 2*q + 3*p. Which is greater: q or -2?
-2
Let h = 0 - -1. Let n = h + -1.2. Suppose -4*q = 4*b - q - 5, 8 = -2*b + 2*q. Is b bigger than n?
False
Let v(h) = -h**2 - 7*h + 1. Let m be v(-6). Let a(i) = -i**3 + 2*i + m*i**2 + 6 - 8*i - i. Let z be a(6). Is -1 at most as big as z?
True
Let z be (0 + -2)*7/(-2). Let l(t) = -t**2 + 6*t + 9. Let b be l(z). Is 2 at least b?
True
Let a be (-102)/85*(-5 - 0). Suppose -b + 3 = -2. Suppose h - a*h = -b. Is h at most as big as 1?
True
Suppose r = -t - 7, 0*t = 2*t - 4*r - 16. Is t at most as big as -4?
False
Let x(q) = 4*q**3 + 2*q**2 - 1. Let u be x(-1). Which is smaller: -2/21 or u?
u
Suppose -z + 4*m = -0*m + 6, 4*m = -2*z + 12. Suppose 2*b = 5*h + 6*b + 15, -z*h + 2*b = -12. Which is smaller: 2 or h?
h
Let f(a) = -4*a. Let q be f(3). Let n = 7 + q. Which is bigger: 0 or n?
0
Let m = -0.3 - -0.3. Let d be ((-747)/(-6))/(-1)*2. Let h = -2239/9 - d. Which is smaller: h or m?
m
Let w(b) = -b**2 + 3*b - 2. Let f be w(2). Let o = 0.51 + -0.01. Which is smaller: o or f?
f
Suppose 2*d + 6 = -2*q, -3*d = d - 3*q - 16. Which is smaller: d or -3/71?
-3/71
Let n = -270/11 - -1482/55. Which is greater: n or 2?
n
Let o(w) = w**3 + w. Let p be o(0). Let q = -28/65 + 2/65. Is p at least q?
True
Let a be 4/(2*(1 - 0)). Let p be (-1)/(-2)*(0 - -10). Let v = p + -5. Do a and v have the same value?
False
Let w be 4/(-3)*36/(-256). Which is bigger: w or 1?
1
Let z be -3*(-2)/6*-1. Let t = -3 - z. Which is smaller: -5 or t?
-5
Let x = -126/5 - -877/35. Let p = -2 + 2. Suppose -6*m + m + 5 = p. Is m >= x?
True
Suppose 0 = 2*h + 2, -o - 4 = -h + 3. Let a be 1 + 3*o/2. Is a greater than -10?
False
Let i = -115 - -795/7. Which is smaller: 0 or i?
i
Let s = 5 + -14. Suppose -k + 136 = 147. Is k bigger than s?
False
Let r = 3 - 1. Let l be ((-2)/12)/(r + -3). Suppose -4*k - 2 = 2. Which is smaller: l or k?
k
Let t = -1 - -8. Let h = 12 - t. Which is bigger: 3 or h?
h
Let r be ((-2)/6)/(3/9). Which is smaller: 4/11 or r?
r
Let u = -0.25 + 0.05. Which is greater: u or -1/2?
u
Let b = 0.051 - 0.051. Let j = 9/3130 + -2626151/28170. Let z = 93 + j. Which is greater: b or z?
b
Suppose 8*m + 52 = 196. Is m > 16?
True
Suppose 18 = q - 4*i, -4*q = q - 3*i - 22. Let y be 0/((-1)/(q/6)). Which is smaller: y or 4/7?
y
Suppose 15 = -3*f, -3*b + 2*f = 6*f + 5. Let n be b/(15/(-9)) - -1. Which is smaller: -1 or n?
n
Let n = 33 + -47. Let u = n - -13. Which is smaller: u or -2/3?
u
Let m = 3/20 + -2/5. Which is greater: m or 3/5?
3/5
Suppose g = 6*g. Let i(x) = g*x + 2 + x + 0*x. Let k be i(-2). Is k at most as big as 1?
True
Let y = -2.2 + 2.1. Let r = -0.5 + 0.3. Let l = y - r. Is -1 at most as big as l?
True
Let q be 18/(-28) - (-11)/(-22). Is -2 not equal to q?
True
Let i(a) = -a**2 - 2*a + 7. Let d be i(-5). Suppose -3*x = -3*z + 15, -2*x - 18 + 5 = -z. Do d and x have the same value?
True
Let p = -24 - -23. Which is greater: p or 4?
4
Let m be 1 - (2 - 2 - 3). Which is greater: -12 or m?
m
Let t be (2/(-10))/((-2)/(-5)). Let u = -3 + 2. Let m = -2 - u. Do m and t have different values?
True
Let f = 58 - 404/7. Is -4 >= f?
False
Suppose a = 5*f + 1, 5*f - 3*a = f - 3. Let u = -649 + 8430/13. Let q = 10/91 + u. Which is smaller: f or q?
q
Let i = -5.7 - -6. Let l = i + -0.4. Which is smaller: -0.2 or l?
-0.2
Let l = -0.06 - 1.04. Let w = -1.2 - l. Let v be 4/2*(-2)/(-38). Are v and w nonequal?
True
Let m be 1*(18/(-15))/(-2). Let l = -5 - -5. Suppose -4*q + l*z + 5*z - 12 = 0, -4*q + 12 = z. Are m and q equal?
False
Let o be (-1)/2 + (-10)/(-36). Let x = 2.5 + -2.5. Is x less than or equal to o?
False
Suppose 2 - 4 = 2*m. Let p be 9/27*(m + 4). Is -1 at least p?
False
Let z = 0.34 - -0.06. Let s = 0.02 - 1.02. Is z greater than s?
True
Let a = -1 + 3. Let w = -42.1 + 42. Which is smaller: w or a?
w
Let g = 188.054 + -188. Is 0 smaller than g?
True
Let s be 104/(-16) + (-1)/(-2). Is s != -2?
True
Let a = -415 + 3325/8. Is 0 at most a?
True
Let b = -3 - 1. Let h = 3.9 + b. Which is greater: -1 or h?
h
Suppose 3*f = -5*i + 25, 2*f - 4 + 0 = 3*i. Which is greater: i or 0.6?
i
Suppose n + 0 + 2 = 0. Suppose 0*f - 4*p - 4 = -4*f, p = 4*f - 16. Suppose q = 2*v, 6*q + 11 = -f*v + 3*q. Do v and n have the same value?
False
Suppose 5*p + 2*m + 9 = 0, 0*p + 5*m + 8 = 2*p. Suppose -9*b - 33 + 6 = 0. Which is greater: p or b?
p
Let v = 1.07 + -0.0