se
Let s(r) = r**3 - 6*r**2 - 3*r + 5. Let h be s(6). Which is bigger: -14 or h?
h
Let u = -31.71 + 32. Let h = u - 0.16. Which is smaller: 0 or h?
0
Let u = -33 - -25. Is 1 < u?
False
Let k be 4/8*(-1 + -3). Is -2 equal to k?
True
Suppose 0*f - o = -2*f - 9, 2*f = -4*o + 16. Which is greater: f or -3?
f
Suppose -2*o = 2*r - 6, r - 1 = 3*o + 2. Let t(x) = -x**2 + 9*x - 2. Let w be t(8). Let l be w*((-43)/(-14) - 3). Is l smaller than o?
False
Let r = -3 + 1. Let s be (0 - -1) + -1 + -3. Is r >= s?
True
Suppose 24*f - 27*f = -39. Which is greater: f or 27/2?
27/2
Let f = 39/17 - 997/442. Does f = 0?
False
Suppose -4*g - 169 = 5*q, q + 3*q = g - 152. Let v = 54 + q. Suppose -5*y = 27 - 2, -s - v = 4*y. Do s and 3 have the same value?
True
Let w = -9.98 - 0.02. Let r = 13 + w. Is 0.2 at least r?
False
Suppose 3*s + 2*u + 28 = 0, -4*s - 3*u + 11 = 48. Which is smaller: -8 or s?
s
Let a be 4*3/24*-2. Let p(y) = y**3 + 5*y**2 - 2*y - 2. Let n be p(-5). Let i be n/(-6) + 6/(-9). Are i and a unequal?
True
Let g = -8.8 + 9. Let c = g - -0.4. Let f = 0.5 - c. Is f less than -2?
False
Let b be (-2)/(1 + -2 + -1). Let m be (-2 - -4) + -3 + 1. Suppose p + m - b = 0. Is p smaller than 2?
True
Let a be ((-2)/2)/1 + (9 - 6). Let f be 31/14 + 2/(-4). Is a at least as big as f?
True
Let a = -0.81 + 0.31. Do 0.1 and a have the same value?
False
Let f be (1 - (-2)/(-3))/1. Let b(w) = -2*w + 1. Let h be b(-2). Let p = h - 6. Which is greater: f or p?
f
Suppose 4*y + 0 = -4. Suppose -5*j = 334 + 96. Let v = j - -948/11. Is y less than v?
True
Suppose -5*f = 5*d - 25, 4*d - 2*d = 2*f - 10. Let m = f - 5. Is -4/7 at least m?
False
Suppose -15 = 2*a + 3. Let k be 1/(-2) - (a + 8). Which is smaller: k or 4?
k
Let g = -15 - -16. Which is smaller: g or -2/9?
-2/9
Let g(a) = -a**2 + 19*a - 22. Let q be g(18). Suppose 0*d - 5*d + 20 = 0. Suppose d*u = -0*u - 24. Which is greater: q or u?
q
Let u(t) = -t**2 + 5*t - 1. Suppose 4*w = 7*h - 2*h - 5, 0 = h - 5. Let p be u(w). Let k = 0 - p. Is 2 < k?
False
Let l = 83.3 - 84. Which is smaller: l or 8?
l
Let u(g) = -g - 4. Let c be u(-4). Suppose -2*k = -c + 8. Is 1 bigger than k?
True
Let k = 102/8814215 + -6757238121498/149841655. Let n = -45095 - k. Let q = 18/17 - n. Is 2/11 less than q?
True
Suppose 5*c - 49 = -4. Suppose c*t - 4*t = 0. Let r = 9/17 + -11/85. Which is smaller: r or t?
t
Let x = 1 + -1. Let v be (-6)/15*(-1)/2. Is v equal to x?
False
Let o = 0 - 0. Suppose o - 3 = 3*z. Are 0 and z non-equal?
True
Let j = 0.8 - 1. Let u = 31.3 - 30. Let n = u + -1.4. Is j smaller than n?
True
Let i be ((-8)/(-28))/(4/7). Is 1 greater than or equal to i?
True
Let d = 1/14 + 5/28. Let n = 199/35 + -27/5. Are n and d unequal?
True
Let n be -1 + -4*(-3)/36. Is n greater than 0?
False
Let x be ((-1)/(-2))/((-2)/48). Is -10 not equal to x?
True
Let h = 3 + -5. Let o = 2 - 4. Do h and o have different values?
False
Let p be 16/(-28)*(-1)/34. Let d = p + 111/476. Which is bigger: d or 1/2?
1/2
Let p = -6493 - -77959/12. Let z = 13/4 - p. Which is smaller: z or 0.1?
z
Let j = -0.13 - -2.13. Is 0.15 bigger than j?
False
Let v(j) = j**2 - 5*j + 1. Let x be v(5). Let g = 5 + 2. Let o = -6 + g. Is o not equal to x?
False
Suppose 4*w - 16 = 0, -q + 3*q + 144 = -4*w. Which is bigger: q or -0.1?
-0.1
Let h be -3 + (-1*26)/2. Let r be ((-3)/(-9))/(h/(-12)). Which is bigger: r or -1?
r
Let g(z) = z**3 - z**2 - 1. Let v be g(1). Suppose -4 = -4*r + 4*a - 16, 5*r = -5*a + 5. Are r and v non-equal?
False
Let y(a) = -a**3 + 6*a**2 - 6*a + 6. Let l be y(5). Is l < 1/10?
False
Let h = -1 + -1. Let k = h + -6. Let f be 2/8 - 46/k. Which is smaller: f or 5?
5
Let b = 0 - 1. Which is greater: -2/169 or b?
-2/169
Suppose 3*c - 4*d = -3, -3*c + 2*d = -0*d - 3. Suppose r - 62 = c*r. Let b = r - -61/2. Which is greater: 0 or b?
0
Let t = -53 + 52. Is t < -2/21?
True
Let f be 4/5*(-175)/(-14). Is 10 > f?
False
Suppose 0 = -5*c - 2*r - 343 - 50, 400 = -5*c + 5*r. Let u = 5 - c. Let x be (-16)/(-56) - 10/u. Which is bigger: x or -0.1?
x
Let p be 3/((-6)/(-4)) + 0. Suppose p*k = -d + 7, -9 - 10 = -d - 5*k. Let y = 0 - 2. Which is greater: d or y?
d
Let l(r) = r - 4. Let a be l(2). Let m(u) = u**3 + 2*u**2 + u + 2. Let v be m(a). Suppose -5*n - 3*x + 15 = v, -5*x - 3 = -2*n - 28. Is -0.1 >= n?
False
Let z(x) = -x**2 - 4*x + 5. Let h be z(-6). Let k = h - -7. Which is bigger: k or -1?
k
Let n(j) = j**2 - 2*j - 10. Let a be n(6). Suppose a = -0*x + 2*x. Is 7 <= x?
True
Let p = -93713/6 - -15984. Let w = p - 364. Which is greater: 0 or w?
w
Let c be ((-2 + 2)/3)/2. Is c != 1/8?
True
Suppose n - 5*f = 5*n - 15, -4*n - 6 = -2*f. Let j be -1 - (26/30)/(-1). Which is smaller: n or j?
j
Let t be (-132)/30 - (-4 - 0). Is t bigger than 1.2?
False
Suppose 3*d = 3*t - 18, 0*t + 4*t + 5*d + 21 = 0. Which is bigger: t or 5/8?
t
Let p = -5 + 23/5. Let q = 2.03 - 0.03. Let v = -2.2 + q. Is p != v?
True
Let k = -16 + 16. Suppose -f + 0*v - 4*v - 18 = 0, 0 = -2*f - 3*v - 16. Are f and k nonequal?
True
Suppose -2*b + 4*c + 8 = 0, -2*c + 2 = 8. Let h be (-14)/30 + b/(-3). Let u = -7 - -7. Is h at least u?
True
Suppose 0*w = 2*w. Let b be 6/12*(-4)/(-2). Let q be 1*(w/b + 0). Which is smaller: q or -1?
-1
Let k = -0.04 + 1.04. Is -3/14 at least as big as k?
False
Let v be -1*12*(-6)/(-4). Are -18 and v non-equal?
False
Suppose -3*u + 27 = -5*h - 0*h, h = u - 7. Suppose -8 = 3*a - 4*i, 5*a - i + 22 = 3. Is a greater than or equal to h?
False
Suppose j = v + 29, -2*j + 26 = 4*v - 5*v. Which is bigger: -33 or v?
v
Let k(l) = l**2 - 9*l + 5. Let c be k(9). Let y = -4 + c. Let u be (-1)/(-3) + (-8)/(-3). Is y > u?
False
Suppose 17 = 3*w - 4*p, 7*w - 2*w - 4*p = 23. Let i be 6 - ((-4 - -2) + 1). Let u be (1/i - w) + 3. Is u less than 0?
False
Let q = -0.2 + 0.3. Let p = -0.1 + q. Is 2/5 less than or equal to p?
False
Let p(u) = u**2 - 5*u. Let k be p(6). Are k and 4 non-equal?
True
Let b(c) = 2*c**2 - 18*c + 36. Let z be b(6). Which is smaller: -2/51 or z?
-2/51
Let m = 556 - 557. Let o be ((-2)/12)/(2/8). Let z = o - 0. Are m and z nonequal?
True
Let p = -0.31 - -0.01. Let a = -4 + 5. Which is greater: a or p?
a
Suppose -523*j - 7 = -530*j. Let n = -70715 - -33731038/477. Let p = n + -4/53. Is j smaller than p?
False
Let j(q) = -11*q**3 - q + 1. Let k be j(1). Let z = 15 + k. Suppose 3*h = -2*b + 14, -b - 4 = -3*h + 7. Which is bigger: z or b?
z
Let i = 5.7964 + 0.0636. Let v = i + 0.14. Which is bigger: v or 1?
v
Let j = -1.5 + 1.5. Which is bigger: -1 or j?
j
Suppose 12*d + 12 = 10*d. Is d greater than 4?
False
Let d = -139 - -1531/11. Let b(s) = -s. Let n be b(6). Let w be 3*(-4)/n + -1. Is w at most as big as d?
False
Let n(d) = d**2 - 8*d - 3. Let h be n(9). Let x be 3 - (h/3 + 0). Which is greater: -6/13 or x?
x
Suppose -3*x + 4*m = 0, 4*x + x + 5*m = 35. Let i be x/10 - (-13)/5. Which is bigger: 1 or i?
i
Suppose -27 + 8 = m. Which is greater: -20 or m?
m
Let m = 0 + -1. Let y(x) = -x - 10. Let i be y(-8). Let d be ((-1)/9)/(i/6). Is d equal to m?
False
Suppose -15*v - 121 = -26*v. Suppose 3*i - 32 = -2*m, -2*i + 4*m = 5*m - 21. Which is bigger: i or v?
v
Suppose 16 = h - 19. Is h greater than 1?
True
Let l = 42.8 - 39. Let c = 0.8 - l. Which is smaller: 0 or c?
c
Let m = 8 + -15/2. Let q = 94/3 + -31. Does q = m?
False
Let j(m) = 2*m**2 - 2*m + 2. Let g be j(2). Let x = -14 - -20. Let v = x - g. Which is smaller: v or -3/5?
-3/5
Let x(p) = 2*p**2 + 2*p + 2. Let j be x(-5). Let f = j - 29. Suppose 5*n + 2 = -f. Is -2 <= n?
False
Suppose -3*s + 5*s + 10 = 0. Let f = -1 - s. Suppose f*c = -0*c. Which is bigger: -2/7 or c?
c
Suppose -57*g - 8 = -53*g. Let i be ((-629)/(-3))/(14/(-12)). Let d = -180 - i. Which is smaller: d or g?
g
Suppose 4*f = -0*p - 3*p + 221, 3*f - 156 = p. Are 54 and f nonequal?
True
Let l be (4 + -3)*-1 - -1. Are 3 and l non-equal?
True
Suppose 5*b - 3*b = 26. Let c be (52/(-16))/((-2)/8). Is c bigger than b?
False
Let f = -3 - -7. Let x(r) = -r**2 + 6*r**2 - r - f*r**2. Let d be x(0). Is d at least as big as 1?
False
Let h = 3 - 1. Suppose -t = -3*o + 4*t - 16, -h*t + 10 = 0. Is o greater than 4?
False
Suppose 0 = 2*b - 4*b + 16. Suppose 4*u - y = 36, -24 = -u - 2*y + 6*y. Is u > b?
False
Let x = 259/270 - 8/135. Which is greater: 2 or x?
2
Suppose -5*a + 