e
Let k = 0.09 - 0.14. Let c = k - -0.05. Is c equal to -3/4?
False
Let r(z) = -2*z**2 - 3*z + 2. Let a be r(1). Let w = -0.1 - 0.9. Is a greater than w?
False
Let a = -74/3 + 24. Let p = -0.03 + 0.03. Is a at least p?
False
Suppose -2*n + 5 = b - 5, 26 = 3*n - 4*b. Suppose -4*o = -n - 2. Suppose 0*w = w - 2. Is w > o?
False
Suppose 2*u = q, 5*q - 2*u + 5*u = 13. Which is smaller: 4/7 or q?
4/7
Suppose -f - 372 + 121 = 4*j, -j - 4*f - 74 = 0. Is j >= -60?
False
Let d(q) = -q - 9. Let p be d(-8). Let t be p*2/(-10) - 0. Which is smaller: 0 or t?
0
Suppose -40 = -5*p - 5*q, -8 = p - 2*p + 3*q. Let b(s) = s - 17. Let i be b(p). Let o be 1 - 0 - i/(-6). Which is smaller: 1/4 or o?
o
Suppose -r + 3 = 4*p, -4*r + 3 = 2*p + 5. Let w be (r/(-2)*2)/1. Which is smaller: -2 or w?
-2
Let p = 2.9 + 9.1. Let o = p - 9. Which is smaller: 0 or o?
0
Let w = 18 - 7. Suppose v = 3*b - 1, -4*b + w = 4*v - 17. Let a be (1/b)/(1/(-2)). Is a >= 3/7?
False
Let x be (3 - 3) + 8/12. Suppose 5*f + 1 = 6. Which is bigger: f or x?
f
Suppose 0 = -2*i - 0*c + 2*c + 58, -3*c = -i + 31. Is 57/2 greater than or equal to i?
True
Suppose -62*w = -65*w + 3. Do 2 and w have the same value?
False
Let t = -16 + 15. Do -2/19 and t have different values?
True
Let g(u) = -u**2 - 4*u + 1. Let h be g(-5). Let r = h + 6. Is 2 less than r?
False
Let l(p) = -p**3 - 6*p**2 - 2*p - 1. Let r be l(-5). Suppose -1 = -i + 3. Let z be i/(-14) + r/42. Which is smaller: z or -2?
-2
Suppose -4 = -2*v + 4. Suppose 5*w = -3*f, -3*f - v = -4*f - 3*w. Which is smaller: f or -3?
f
Let s = 116 + -131. Is s <= -21?
False
Let w be (-2)/((-4)/(-8)*-4) + 0. Which is bigger: -13 or w?
w
Let s be ((-4)/(-2) - 1) + -2. Suppose a + 3 = 4. Which is greater: s or a?
a
Let w = -2.61 + 2.5. Let x be -2 + (-15)/(-12) + 1. Which is bigger: w or x?
x
Let x = 0.24 + -1.54. Let d = x - -0.3. Is -3 < d?
True
Let q(p) = p**3 + p + 3. Let h be q(0). Let n be (2 - h/2)*0. Is 2/5 bigger than n?
True
Let t be 8/6 - 26/15. Is t less than 1?
True
Let u(s) = 5*s**2 - 8*s - 5. Let l(a) = -14*a**2 + 23*a + 15. Let w(g) = 4*l(g) + 11*u(g). Let n be w(5). Which is smaller: 2/7 or n?
n
Let h be 3 - (-3)/(-4 - -1). Suppose -3*z = h*z + 20, z + 16 = -3*f. Which is smaller: f or -5?
-5
Let d = 1 + -3. Let v(k) = -k - 2. Let q be v(d). Let w = 2 - 1. Is w < q?
False
Let z(p) = 19*p - 5. Let d be z(3). Let u be (d/(-1287))/(2/3). Which is greater: -1 or u?
u
Let o = 3/3464 - -6307/717048. Which is bigger: o or 0?
o
Let f be (92/(-32) + 1)/3. Which is smaller: -1 or f?
-1
Suppose -6*h + h - 15 = 0. Let x = 12 - h. Which is bigger: x or 14?
x
Let x = -54 + 53. Let z be ((-2)/10)/((-2)/(-446)). Let a = -45 - z. Which is smaller: x or a?
x
Let j = -9.12 - -0.12. Let k = j - -7. Which is smaller: -1 or k?
k
Let d = 4 + 1. Suppose -2*x + d - 1 = 0. Suppose 4*f - 3*f + x = 0. Is -2 at least f?
True
Suppose -b + 2*b = 6. Suppose 0 = h - 5 + b. Which is greater: -2/41 or h?
-2/41
Let x(s) = -2*s - 4. Let d be x(3). Let a = 10 + d. Let h be 1*(-2)/36*-2. Which is smaller: a or h?
a
Let f = 6 + -9. Let g = f - 0. Let c be g*(-1 - 0)/(-3). Which is bigger: c or -1/5?
-1/5
Let i = 2.04 + -2. Which is bigger: i or 4?
4
Suppose -3 = 5*d - 2*r - 2, 0 = 4*d - r - 1. Is d at least as big as 2/35?
True
Let u = -11.9 + 12. Which is smaller: -0.4 or u?
-0.4
Let i(w) = -w**3 + 6*w**2 - 4*w - 3. Let z(t) = -4*t + 6. Let a be z(4). Let h be a*1*(-2)/4. Let n be i(h). Are n and -0.1 equal?
False
Let z be ((-34)/119)/(1/7). Which is bigger: z or 25?
25
Suppose i - 2*x = -3*i + 10, -i = -5*x + 11. Let f(h) = -h**2 + 2*h. Let g be f(2). Suppose t - 1 = 2*w - i, -2*w - 5*t - 27 = g. Does w = 2/13?
False
Let j be ((-78)/8)/(12/(-32)). Suppose -4*q - 2*i = i - j, -6 = -2*q + 2*i. Suppose c = 4 - q. Which is smaller: c or -2/3?
c
Suppose 0 = -5*f - 38 - 62. Let k be ((-16)/10)/(8/f). Suppose k*m = 17 - 1. Is 4 equal to m?
True
Let s be (-519)/240 - (-3)/5. Let r = s - -1/16. Which is smaller: r or 1?
r
Let w(v) = v + 12. Let z be w(-14). Is -6/11 < z?
False
Let j = 20 + -19. Which is bigger: j or 7/6?
7/6
Let h be -3 - (66/7)/(-3). Let v(b) = -b**2 + 5*b + 2. Let d be v(5). Suppose -d*j = -j. Which is smaller: h or j?
j
Let q = 2 + 2. Suppose -6*x = -0*x + 12. Is x greater than or equal to q?
False
Let l = 0.07 + 0.93. Which is bigger: l or 0.17?
l
Let v be (1 - 5)*(2 + (-60)/24). Let j = 6.9 - 6. Is v > j?
True
Let y be (-36)/48*(-1)/3. Which is smaller: -3/2 or y?
-3/2
Suppose -1 = c - 3. Suppose 1 = 6*p - 2*p + k, c*p - 2*k - 8 = 0. Which is bigger: 0 or p?
p
Let w = -223 + 431/2. Let f = -154659/14 + 11040. Let v = w - f. Which is greater: v or -1?
v
Let j = 84 - -3. Suppose -j + 7 = -5*i. Is i at most as big as 17?
True
Let q = 7 + -5. Suppose -28*b + 7*b = 42. Which is bigger: b or q?
q
Let v be 6/(-5)*135/(-18). Which is smaller: v or -0.3?
-0.3
Let a be 1/(-2)*(-80)/60. Which is greater: a or -0.19?
a
Let l be 1/((-2)/24*-2). Suppose 0 = 2*o - 4*o - 2*n + 16, 3*n - 12 = 0. Let k = o + 1. Is k smaller than l?
True
Let a = 37 - 58. Which is greater: -19 or a?
-19
Let a = 52/17 + -957/85. Is a at least -7?
False
Suppose 0 = 2*w - 6*w + 40. Suppose 0 = w*v - 13*v + 18. Which is greater: 5 or v?
v
Suppose -u + 6*o - 3*o - 5 = 0, -2 = -u - 4*o. Let i(t) = 3*t**3 + t**2 + t + 1. Let j be i(-1). Let f be (-2)/((j - -1) + 2). Are f and u equal?
True
Suppose 2*f - 4*f - 2 = 0. Which is smaller: f or 1/4?
f
Let r(u) = u - u**2 - 2*u + 3 + 9. Let i be r(0). Suppose -4*l + 0 = i. Do -3 and l have the same value?
True
Let m = 379/5 + -76. Which is bigger: m or -2?
m
Suppose -5 = -2*c + 39. Let f = -113/5 + c. Is 0 at most as big as f?
False
Let q = -252 - -8318/33. Let v = 8/11 - q. Suppose 2*a - 16 = x - 2*a, -a = 4*x - 4. Is x >= v?
False
Let m = 7/3 - 8/3. Let q = 15 - 4. Suppose 4*k = 1 + q. Are m and k equal?
False
Let k = -2.97 - 0.03. Let o = 476 - 481. Is o at least as big as k?
False
Let u be ((-12)/15)/((-7)/5 + 0). Do 9 and u have different values?
True
Let l = -279 - -16465/59. Let c = l + 74/649. Is 1 >= c?
True
Let x = 12 + -18. Let c be 64/120*x/(-8). Which is bigger: c or -2/3?
c
Let z = -225 - -225.91. Are 1 and z equal?
False
Suppose -3*v - 2*i - 14 = -7*i, 4*i - 20 = -2*v. Suppose v*u - 5 = -5*t + 3*u, 4*u = 0. Let j = -4/59 - 82/531. Which is smaller: t or j?
j
Let c = -0.02 + -1.98. Suppose 4*d = 6*d - 10. Suppose -d*a - 1 + 11 = 0. Is c bigger than a?
False
Let b be 3/(-35) - 8/(-28). Let c = -1 + 4. Suppose -5*g - 7 = -w, -2*g = 3*g + 4*w - c. Is b less than g?
False
Let o be ((-1)/(-40))/((-2)/(-12)). Let k = -1/10 - o. Let h = 2 + -2. Is k < h?
True
Let q = 90 - 171/2. Let n = q - 4. Are 1 and n non-equal?
True
Let u = 0.02 + 8.98. Which is greater: u or 2/3?
u
Let l = -33 - -50. Let j = -16 + l. Which is bigger: j or 4/7?
j
Suppose 5*r - 18 + 23 = 0. Let v be 2/(-4)*2*1. Let y be 1*v*1/5. Is r at most as big as y?
True
Let h be (-7)/((-21)/(-9)) - 28. Which is smaller: h or 2/3?
h
Let t = -2972/11 - -270. Let v(a) = 3*a + 2*a + 2*a**3 - a**3 - 6*a**2 - 1. Let n be v(5). Which is smaller: n or t?
n
Suppose 4*f = 5*l - 10, 2 = -l - 2*f + 4. Suppose l*m + 2*m = 4. Let p = 44 - 46. Which is greater: m or p?
m
Let h(t) = t**2 + 9*t + 10. Let n be h(-8). Suppose -n*f + 3*d = 3, 2*f = -0*f + 4*d - 6. Suppose 0 = u + f*u - 8. Is 2 <= u?
True
Let g be 2*(0 - 1/2). Let w be (-974)/15 - 4/10. Let h = 64 + w. Is g less than h?
False
Suppose 8*j - 30 = 5*j. Let y be 4/j - 28/120. Is -1 greater than or equal to y?
False
Let k be 24/(-9) - 6/18. Let j be 4 + ((-43)/6 - k). Which is greater: j or 1?
1
Let o = -181.2 - -181. Which is smaller: -7.4 or o?
-7.4
Let k be 16/10 + (-22)/(-55). Suppose 5*z - 65 = -3*q, -k*z + 90 = 3*z - 2*q. Is -1 equal to z?
False
Let j(s) = -s + 4*s - 2*s - 5. Let l be j(6). Suppose -w - 2*a - l = -6*w, 0 = w - 3*a + 5. Which is bigger: w or 0?
w
Let x be (-1)/((1 + 0)/1). Which is bigger: x or 2/19?
2/19
Let d(n) = -n**3 - 5*n**2 - 3*n + 4. Let y be d(-4). Let b be ((-16)/420)/(2/(-6)). Let f = 2/7 + b. Is y smaller than f?
True
Suppose o + 8 = -3*y + 3*o, y - 16 = -4*o. Is -3 bigger than y?
False
Let t(l) = -3*l - 3. Let j(k) = 6*k + 6. Let r(y) = 3*j(y) + 7*t(y). Let g be r(-4). Are 8 and g nonequal?
True
Let x = 6821/78 + -175/2. Ar