se
Let v be 90/(-69) - (-3 - -2). Let t = -2873/69 - v. Let d = 41 + t. Which is greater: d or 1/5?
1/5
Let d be (-1)/2 - 2/(-4). Let z be (-2)/(-4) - 23/(-2). Let f be (z/9)/((-10)/6). Is d <= f?
False
Suppose -4*s + 4 + 3 = c, 4*c + 3*s - 2 = 0. Do -1 and c have the same value?
True
Let j be 150/154 - (-3 - -2)*-1. Are j and -1 equal?
False
Let q be (-2)/(-3)*423/(-12)*2. Which is smaller: -50 or q?
-50
Let l = -125 + 125. Is l less than 2/19?
True
Let t be -1*((-3)/3 + -2). Suppose 0 = 2*q + 2*p + 6, 2*p + t*p = 5*q + 15. Which is smaller: -5 or q?
-5
Let i = 7 + -4. Let c = -43.1 - -43. Are i and c unequal?
True
Let j be 1 - (1 + 8/100). Is -1 bigger than j?
False
Let a = -0.2 + 0.3. Let x(i) = i**3 - 42*i**2 + 39*i + 98. Let t be x(41). Which is greater: t or a?
t
Let h be (-6)/4 - 9/(-6). Which is greater: h or 3/91?
3/91
Let x(y) = -y**2 + 5*y + 5. Let c be x(6). Suppose -f - 5 = -2. Is f smaller than c?
True
Let y(m) = m**2 - 3*m + 2. Let t be y(2). Let i be (-2)/(-2) - (-36)/(-33). Is t <= i?
False
Let w = 12 - 17. Let a be ((-2)/w)/((-4)/(-40)). Suppose a*o = -3*l - 18, -5*o = -3*o + 6. Which is smaller: l or -1/2?
l
Let t be 133/42 - (-6)/(-4). Is t > 3?
False
Let r(n) = n**3 - 4*n**2 - 2*n + 4. Let k be r(4). Let s = k - -8. Is 4 >= s?
True
Let l(z) = -z**3 + 2*z + 1. Let u be l(-1). Suppose 5*x + 29 = -3*v, v - x = 1 - u. Which is bigger: -2 or v?
-2
Suppose -8*o + 52 = -12*o. Is o >= 1?
False
Let r be 1*1*(2 + -3). Let u be 22/10 + 0 + -2. Are r and u nonequal?
True
Let k = -0.042 - 0.058. Which is smaller: k or 0.04?
k
Let s = -8 + 8. Suppose -3*g + s*g = 4*c - 26, 4*c = -2*g + 24. Suppose o + g = -3. Is o >= -6?
True
Suppose -s - 2*l + 20 - 2 = 0, -72 = -4*s - 4*l. Let z be (-2)/s - (-2)/6. Is z equal to 1/2?
False
Let x = 4.3 + -3.3. Which is smaller: x or -10?
-10
Let k = 1 - 1. Let u(y) = -y**2 + 6. Let v be u(k). Is v at most 5?
False
Let v(m) = m**3 + 2*m**2 + 2*m + 3. Let b be v(-2). Which is smaller: b or -6/13?
b
Let p = -2/23 + 60/161. Is p at least as big as -1?
True
Let h(d) = -2*d**2 + d. Let w be h(1). Suppose 3*m + m = 324. Let q = 1135/14 - m. Do q and w have different values?
True
Let z be 1 + 4 + 20/(-4). Let m be 22/56 - 1/4. Which is smaller: z or m?
z
Suppose 0 = -d + 1 - 2. Let b be d*(-2)/(-4)*0. Which is smaller: 1/4 or b?
b
Suppose -4*g + 1 = -3. Do -1 and g have different values?
True
Suppose -5*t = 78 + 72. Which is bigger: t or -31?
t
Suppose 2*g = -4*h - 66, 3*g - 5*h - 13 = -79. Is -1 greater than or equal to g?
True
Suppose -5*m + 2*w + 10 = -3*w, w = 3*m. Let d = -97104 + 18449897/190. Let t = 8/19 - d. Which is smaller: t or m?
m
Let d = 8 + -8. Which is greater: d or 5/9?
5/9
Let d = 165831/854 + -1356/7. Let p = 2/61 + d. Let k(z) = 2*z + 7. Let q be k(-3). Which is greater: p or q?
q
Let j = -34 - -18. Which is greater: j or -15?
-15
Suppose -4*f - 5 + 1 = 0. Let p be 4/f - (0 - 2). Is -2 smaller than p?
False
Let j = 0.8 - 0.74. Let k = -1.06 + j. Is 5 less than k?
False
Let v = 0.2 + 0.8. Suppose 2*w - 2 = 2. Suppose q = -4*y - 0*q - 2, 3*y = -q - w. Which is bigger: y or v?
v
Suppose -2*g + 5*q + 15 = 0, 5*g - 3*q - 9 = g. Is -3/7 less than or equal to g?
True
Let a be (6/(-4))/((-5)/10). Let i be (8/14)/(-1 + 16/14). Which is greater: a or i?
i
Let o = 4 + -6. Let u be ((-17)/o)/((-2)/(-4)). Let s = -33/2 + u. Which is greater: -1 or s?
s
Let d = -1.1 + 1. Let s = -14 - -18. Is s greater than d?
True
Let n be ((-3)/(-2))/(4/(-16)). Let f be (-1)/(-3)*9/n. Let p = -2.8 - -3. Which is greater: p or f?
p
Let s = 60 + -58. Is s greater than -3?
True
Let o = 8 + -8. Let z = -1/10470 + 320383/10470. Let i = z + -31. Which is smaller: o or i?
i
Let y = -74 - -41. Which is smaller: -34 or y?
-34
Let a = 2411/8 - 301. Suppose 4 = -5*z + 9. Is a not equal to z?
True
Suppose 4 + 0 = 2*h. Suppose 0 = -h*i - p - 5, -4*i - 2*p = -5*p - 15. Which is greater: -1/5 or i?
i
Let u = -3 - -8. Suppose -11 = -5*b + 14. Is b bigger than u?
False
Suppose 16 = -4*v - 6*x + 2*x, 0 = -4*v + x - 1. Let u(j) = -12*j**3 + 2*j**2 + 2*j + 1. Let h be u(v). Which is smaller: 12 or h?
12
Let b = 92 - 25. Are b and 68 unequal?
True
Suppose 5*s + 7 - 26 = 2*i, -s + 17 = 4*i. Which is smaller: i or 2?
2
Let u = 4 - 4.3. Let x = u + 0.34. Which is smaller: -1/3 or x?
-1/3
Let k be 15/10*(-4)/(-28). Are -1 and k equal?
False
Let p be ((-104)/65)/((-1)/(-5)) - 0. Which is smaller: p or -0.1?
p
Suppose 0*m - 3*m + 5*g + 3 = 0, 3*m - 2*g - 3 = 0. Suppose 0 = w - 2*s + m, 4*s - s + 23 = 5*w. Let d = 6 - w. Which is smaller: d or 1/6?
d
Suppose 0 = 3*q + 2*v - 9 - 7, -5*q - v = -22. Is 2 not equal to q?
True
Let g = -2 - -25. Which is greater: g or -2?
g
Let w(r) = -4*r**2 - r - 1. Let d be w(-1). Let q = 0 + d. Let a be 4 - 25/20 - 3. Is a != q?
True
Suppose 32 = -4*k - 2*r, -k - 2*k - 19 = -r. Let j = -5 - k. Let h = 7 - 4. Is h at least j?
True
Let g = 126.8315 + 0.0685. Let q = g + -133. Let f = q - -6. Which is bigger: f or -3/7?
f
Suppose -3*r = 2*r - 25. Let b = 20 - 16. Which is bigger: b or r?
r
Let b = 1.48 - 1.58. Is b at least as big as 9?
False
Suppose -3*n - n = 12. Let x = -6 - -9. Suppose -5*o = -4*d - x*o - 2, 5 = -d - o. Which is bigger: d or n?
d
Let x = 6.99 + -7. Let l = -1.99 + x. Are l and -0.2 nonequal?
True
Let j = 0.17 + -7.17. Let m = j - -6.9. Let w = 2.9 - m. Which is greater: 2 or w?
w
Let f(c) = c**3 - 14*c**2 + 12*c + 14. Let k(q) = q + 9. Let z be k(4). Let r be f(z). Which is greater: 0.17 or r?
r
Let u = -15205/37 - -411. Is u < 0?
False
Let t = 46 + -44. Which is smaller: -1/20 or t?
-1/20
Suppose -5*c - 2 = 3*d - 5, 5*d - 5 = -4*c. Suppose c = -l + 3 - 1. Suppose 0 = -5*v + l*k - 9, 0 = 5*v + 6*k - k - 5. Does v = 1?
False
Let b(g) = -3*g**3 + 8*g**2 + 8*g + 3. Let x(l) = -16*l**3 + 41*l**2 + 41*l + 14. Let y(r) = -11*b(r) + 2*x(r). Let p be y(7). Is p at least as big as 1?
True
Let d be 3/5*(-8)/6. Let n(v) = v - 3. Let w be n(6). Suppose -5*h + 4*s = s + 13, -w*s - 3 = 3*h. Do d and h have different values?
True
Let u = -6 - 4. Let c be u/(-65) + 24/13. Let h be c*1 + (10 - 6). Which is smaller: h or 5?
5
Suppose 13 = a + 4*t, 3*a - 5*t + 13 = a. Which is smaller: a or -1/15?
-1/15
Let v = 0.17 - 0.05. Let l = v - 0.02. Is -0.2 >= l?
False
Let x(i) = i**2 - 9*i - 3. Let g be x(9). Do 11 and g have the same value?
False
Let d be 0 - (3 - (7 + -2)). Suppose d = 4*m - 2*m. Is m at most 6/5?
True
Let m be ((-15)/(-1 + -4))/(1/1). Which is greater: m or 2?
m
Let q be (-6)/279*-183 + -4. Are q and 1 non-equal?
True
Let c(d) = d**2 + 8*d + 5. Let f(w) = w**2 + 4*w + 3. Let u be f(-3). Let p be -2*(u + -1) - 9. Let v be c(p). Which is greater: -3 or v?
v
Suppose 5*n + 0*c = 2*c + 41, -2*c = -4*n + 32. Let k be 2/(-4) - n/(-6). Is 1/6 > k?
False
Let x = 163/87 + 1/696. Which is smaller: x or 2?
x
Suppose 4*x = -12, -2*h + 5*x + 35 = -0*x. Suppose 4*c + 2*l = 2 + 24, -3*c = -3*l - 6. Suppose c*v = -0*v + h. Does v = 1?
False
Suppose 5*f + 65 = 5*u, 2*f + 0*u = 3*u - 22. Which is greater: f or -20?
f
Let j(h) = h**3 - 8*h**2 - h + 9. Let o be j(8). Let s(q) = -q**2 - q. Let v be s(1). Let c be ((-1)/2)/((-8)/v). Which is smaller: o or c?
c
Let p = 30 + -18. Let i be -3 + (4/p - -2). Is 0.1 >= i?
True
Let c be 0 - (2 + -3) - -83. Suppose -c = 5*l + 51. Let f be (-2)/(-2) + l/33. Which is smaller: -0.1 or f?
-0.1
Let f(a) = 4*a**2 - 3*a**2 + 7 + a + 0*a**2. Let l be f(0). Is -1 >= l?
False
Let b(l) = -l**3 + 11*l**2 - l + 7. Let w be b(11). Suppose -4*o + 1 = 13. Is o greater than w?
True
Let g be ((-10)/(-4))/((-2)/(-4)). Suppose -5*l + 0*l - g = 0. Let h be (1 - 2)/(3 - 2). Is l less than h?
False
Let l be 16/(-6)*(-1)/12. Let h = 0.9 + 0.1. Is l at least h?
False
Suppose -4*p + 27 = 99. Let g(y) = -y**2 + 14*y - 12. Let l be g(10). Let h be (-2)/(l/p) + -1. Which is smaller: h or 0?
0
Let i = -2.4 - -2. Is i less than or equal to -1/3?
True
Let k be ((-4)/(-4))/(1/(-1)). Suppose 2 = u - 3*u. Let c = 0 + u. Is k > c?
False
Let b = -1062.9 + 1063. Let w = 1 + 3. Which is smaller: w or b?
b
Suppose -5 = 4*l + 2*k - 1, -k = -4*l + 8. Let m be 4/10 + (-51)/(-60). Which is greater: l or m?
m
Let v = 70 + -71. Is v at least as big as -2/21?
False
Suppose 0 = -5*h - 5*g, h = -4*g + 2*g - 3. Which is bigger: