?
r
Let w be (-6)/15 - 14/(-35). Let u = 14225/11053 + -2/1579. Is u > w?
True
Suppose 4*s + 5 = -7. Let p = -2 - s. Let f = -4/27 - 2/27. Is p at most f?
False
Let h be -6 - 1*(-3 - -1). Let b(t) = -t**3 - 3*t**2 + 5*t + 6. Let d be b(-4). Suppose -d*a = -4*v + 2*v + 6, -5*v = -3*a - 11. Which is smaller: v or h?
h
Suppose 2*d - 8 = -4, 2*z - d - 2 = 0. Suppose z*f + 6 = -6*t + 4*t, -t - 15 = 4*f. Let l be ((-22)/(-55))/(1/(-5)). Is t bigger than l?
True
Suppose 0 = -2*p + r + 14, -6*r - 18 = -2*p - 4*r. Let w = p + -6. Is w at least as big as -2/33?
False
Suppose 0 = -5*d + 2*d + 6. Suppose 4*r + 14 = -d*t, 1 - 4 = r. Let b = -0.7 - -0.9. Is t >= b?
False
Let u = 29/50 - 2/25. Which is greater: u or 0.1?
u
Let j = -24 - -35. Let t be (-15)/j - (0 - 1). Is t > -1?
True
Let f(b) = b**2 + 29. Let a be f(0). Suppose -2*p + 14 = -4*o, 7 - a = 2*p + 5*o. Is 0.2 at most as big as p?
False
Let s = -1.1 - -0.1. Let a = 8 + -8.1. Is a greater than or equal to s?
True
Let q = -8 + -61. Is q at most as big as -68?
True
Suppose 0*t + 3*t = 3*p, -4*p - t = 0. Let g = -4 + p. Which is bigger: g or -5/2?
-5/2
Let v = -10 + 14. Let q be ((-8)/(-50))/(v/10). Which is greater: 0 or q?
q
Let y be (1/4)/(15/(-80)*2). Is y greater than 0.3?
False
Let m(k) = k**2 + 4. Let o be m(0). Suppose o*l - 2*l = 18. Let r be 3/l*3*1. Which is smaller: 2 or r?
r
Suppose -5*m = 4*z + 54 - 13, 4*z = 5*m - 31. Is -5 bigger than z?
True
Let h = 12 - 9. Suppose 0 = -3*j - f + h, -j + 4*j - 3 = -2*f. Which is bigger: j or 1/2?
j
Let t(b) = b**3 + 2*b**2 - 4*b - 6. Let h be t(-4). Let s = -24 - h. Is s at least as big as -5/4?
False
Let n be (38/21 + -2)/(28/6). Which is smaller: n or 1?
n
Let f = 67 - 67.1. Which is bigger: 2/11 or f?
2/11
Let d = 8 + 2. Let k be (1/d)/(7/14). Is k at most -1?
False
Suppose -c - 2 = c, -3*y - 2*c = -10. Let h be -1 - (y/58 - 1). Is h >= -2?
True
Suppose 4*x + 3*v + 48 = 2*v, 5*x - 3*v = -60. Is x less than -1?
True
Let y be 30/154 - 4/14. Let p = 130 - 129. Is p >= y?
True
Let y be (3 - 0)*(-158)/2. Let s = y - -2131/9. Suppose 6 = 2*p, 5 = -a + p + p. Which is smaller: s or a?
s
Let g = -3.9 + 3.52. Is g < 2/3?
True
Let w = -53/180 + -3/20. Do w and -1 have the same value?
False
Let f = 0.8 - 1. Let w = -2.2 + 2. Let x = w - f. Which is smaller: x or -2/15?
-2/15
Let v(j) = j**2. Let w be v(1). Let x = 3 + -7. Let s be x/5*(-1)/4. Is w greater than s?
True
Let n be 2/(-5)*(-5)/4. Let w be 2*-2*4/(-8). Suppose -m = m - w. Which is bigger: m or n?
m
Suppose 0 = 6*f - f - 4*c - 32, -2*c - 14 = -2*f. Let t(m) = -5*m + 0*m**3 + 2*m - m**3 - 3 + 6*m**2 + 4*m. Let j be t(6). Is j at least as big as f?
False
Suppose 5*j = 10*j. Let u = -9 + 6. Let a be (u/(-9))/(2/6). Which is smaller: j or a?
j
Suppose 6*f + 16 = 10*f. Suppose 0 = -f*b - 0*n - n - 64, 40 = -4*b + 5*n. Which is smaller: -14 or b?
b
Let u = 2.8 + 0.2. Let l = 0.07 + 2.93. Let y = u - l. Which is smaller: y or -1/6?
-1/6
Let v = -0.08 - -0.1. Let t = -498.1 + 498. Is t greater than v?
False
Let d = -72 - -72. Suppose -3*i + 2*i + p + 4 = 0, 3*i + 9 = -4*p. Are i and d nonequal?
True
Let g(m) = m - 1. Let d be g(-1). Let r be (d/6)/((-8)/(-24)). Which is greater: r or 0?
0
Suppose 0 = 5*d + 2*v + 17, -4*d + 0*v = 2*v + 14. Let r be ((-30)/25)/(2/(-5)). Let t be (0 + (-1)/r)/d. Which is smaller: -1 or t?
-1
Suppose w - 7 + 5 = 0. Suppose 4*q = w*n + 3*q + 3, -2*n + 3 = -3*q. Which is bigger: -1 or n?
-1
Let z = -0.07 - -4.07. Let b = 0 - z. Let k = b - -3.9. Which is bigger: -2/5 or k?
k
Let x = 4 + 0. Suppose x*s + 0*l - l + 1 = 0, -11 = -s + 4*l. Does s = 2/9?
False
Let r be (-6)/(-21)*7/8. Is r at least as big as 0.3?
False
Let d be 20*(2 + (-33)/12). Let k be (2/(-45))/(3/d). Which is greater: 0.3 or k?
0.3
Let d = -22 - -21.97. Is d >= -0.3?
True
Suppose 2*p + 0*p = d + 3, 0 = 4*p + d - 15. Suppose s + p*s = 0. Let q be (s/2)/(3 + -2). Which is smaller: q or -2/7?
-2/7
Let w be (-74)/(-40) + (-12)/6. Let t be (-1)/(-10)*2/(-12). Let z = w + t. Which is smaller: z or 0?
z
Suppose -5*j - 5*t + 5 = -0*t, 4*j - 5*t - 40 = 0. Is 5 less than j?
False
Let o be 30/10 + 10/(-2). Let u = 6 + -1. Which is smaller: o or u?
o
Let q be 274/66 - 50/(-275). Which is greater: 4 or q?
q
Let n = 2 + 0. Let o be (8/(-2))/(n/(-1)). Let b be (-4)/3 - (-1 - 1). Which is smaller: o or b?
b
Let k be (-212)/(-12) - 2/(-6). Let n be 6/3 + (-56)/k. Is -1 <= n?
False
Let w = 2 + 0. Suppose -5*v + g - 20 = -0*g, w*v + 11 = g. Which is greater: v or -2?
-2
Let p = -8 - -8. Which is bigger: 4/7 or p?
4/7
Suppose -3 = -3*o + 3*d - 0, -2 = -d. Suppose 0 = 4*i - k - 19, o*i - 10 = -2*i + 4*k. Are 7 and i unequal?
True
Suppose 4*s - 4 = q, -2*q - 3*q + 49 = 3*s. Suppose -4 = a, 0 = 4*z + 5*a - 13 + 1. Is q less than z?
False
Let w(q) = -2*q**2 - 1 + 4*q + 3*q**2 - 2 + 6. Let o be w(-2). Is 0 less than or equal to o?
False
Suppose 29 + 31 = -2*x. Which is bigger: x or -31?
x
Let o(n) = -2*n**3 + 3*n**2 - 3*n + 2. Let x be o(2). Let b be (8/30)/(x/(-12)). Which is smaller: 0 or b?
0
Let k(w) = -w + 13. Let a be k(13). Is a greater than 1/230?
False
Suppose 0 = -2*v - 3*v + 4*v. Which is smaller: 2 or v?
v
Suppose -4*r + 585 = r. Let w = -1055/9 + r. Let i = -1.2 + 1. Is i > w?
True
Let u = -12 - -8. Let v be 6/u + (-62)/(-36). Is 0 greater than v?
False
Suppose 0*j - 3*j + 6 = 0. Which is smaller: 1 or j?
1
Suppose -5*m + 12 = -3*f - 7, m - 3*f + 1 = 0. Suppose 0 = 4*w + z - 2*z - 25, 5 = -z. Is w > m?
False
Suppose -q + 32 = 32. Which is bigger: -4/3 or q?
q
Suppose y + 5*i = 6*y, -i + 10 = 4*y. Let q = -13 + 39. Let o = q - 23. Is o at least y?
True
Suppose u + 0 + 3 = 0. Suppose 2*h - 5 = -a - 2, -5*h = -2*a - 12. Let r be a/4 + 77/(-28). Is u greater than or equal to r?
True
Let d = 21 - 20. Is d greater than 0.1?
True
Let v(h) = -h**2 + 7*h - 2. Let n be v(6). Which is bigger: n or 5?
5
Let j = 9.95 + -10. Is j > -0.1?
True
Let n = 12 - 21. Let z = n + 9.2. Is z <= 1/2?
True
Let f = -140 - -141. Is -3/86 at least f?
False
Let x = -60/29 - -958/435. Let q = 1/5 + x. Let g(b) = -b**2 + 15*b + 1. Let s be g(15). Is q less than s?
True
Let f be (-44)/1 - (-5 - -7). Let d be f - 2 - (1 - 0). Let h = d + 391/8. Is -1 < h?
True
Let s be 10/(-90) - 1/(-9). Which is greater: s or -1/32?
s
Let x(d) = d**2 + 10*d - 13. Let p be x(-11). Which is smaller: 0 or p?
p
Let a be 539/44 - ((-2)/(-8) + 0). Do a and -2 have different values?
True
Suppose 0 = 5*i + 6*y - 4*y - 300, 3*y - 295 = -5*i. Is i smaller than 64?
True
Let a(s) = s + 13. Let z be a(-10). Let r = 3 - z. Which is greater: r or 3?
3
Let k = 1 + -3/4. Let z(g) = -3*g + 1. Let f be z(3). Let q be (-2)/f + (-5)/4. Which is smaller: k or q?
q
Let i = -15 + -11. Let a = 37 + i. Is 12 at least as big as a?
True
Let o be (-6)/4*32/(-84). Is 1 equal to o?
False
Let c be (-8)/12 - 3/9. Is 1/35 greater than or equal to c?
True
Suppose -3*h + 5*h + q = 13, -3*h - 2*q = -19. Is h at least 6?
True
Let k = -8 + 12. Which is bigger: k or 0.09?
k
Let b be (6/74)/((-30)/(-20)). Is b less than 1?
True
Let c = -37 - -32. Which is bigger: -6 or c?
c
Let a = -2 - 2. Let q be 2/a + 3/(-6). Is q <= -1?
True
Let v(r) = -r - 3. Suppose 0 = -2*n - 0*n - 10. Let c be v(n). Which is smaller: 1 or c?
1
Let i(x) = x + 1. Let n(m) = m - 2 + 2*m**2 - m**2 + 0*m. Let j(w) = -i(w) - n(w). Let t be j(1). Which is bigger: t or -2/3?
-2/3
Let q be 1/(0 + (-1)/(-5)). Suppose -r + 26 = -q*w, w = 2*r - 4*r - 3. Let m(u) = u - 2. Let n be m(2). Which is greater: r or n?
r
Let r be (0 + -3 + 1)/(-2) + 0. Which is greater: r or -2/81?
r
Let c(m) = -m - 6. Let u be c(-5). Let q be u/3*(-4)/2. Let s be (-3)/(-24)*2*1. Is s != q?
True
Suppose -q + 4 = 5*v, 0 = 5*v - 0*v + 3*q - 12. Suppose -5*x + 0*x - 30 = v. Is x greater than -7?
True
Let u be (2 - 0) + (1 - 3). Let y = 7/15 - -13/15. Is y at most u?
False
Let i = 0.7 + 0.3. Let l be (-94)/(-329)*-2*(-14)/20. Which is greater: i or l?
i
Let z = -22.1 - -22. Let o = -1.2 + 1. Let f = -0.8 + o. Which is bigger: z or f?
z
Suppose -2*j + 3*d = -8 + 19, -3*j - 3*d + 6 = 0. Is 4/15 at least as big as j?
True
Let l be 1 + -2 - (0 + -2). Let f = -522 - -1373/3. Let d = f + 65. Is d < l?
True
Let f = 18 + -14. Let n be (2/14)/(3/6). Is n at least as big as f?
False
L