). Is -3 bigger than j?
False
Let q(m) = -m**3 + 13*m**2 - 11*m - 12. Let f be q(12). Is f at least -1/33?
True
Suppose -5*g = -4*g + 4. Do g and -4 have different values?
False
Let h(r) = -5*r + 15. Let s be h(5). Let d be (4/10)/((-8)/s). Which is smaller: d or -11?
-11
Let s = 4 - 1. Suppose -2*l = l - s. Is l smaller than 2?
True
Let o(u) = u**2 + 10*u + 3. Let m be o(-7). Which is bigger: m or -17?
-17
Let q(p) = p**2 + 6*p - 4. Let z be q(-6). Let t be z/10 + 7/5. Which is bigger: t or 0?
t
Let p = -320/3 + 106. Which is bigger: -0.08 or p?
-0.08
Suppose 2*l = 6*j - 8*j + 8, 3*j + 20 = 5*l. Is j <= 1/58?
True
Suppose -2*l + 6*l + 3*f - 11 = 0, 4*l + 2*f = 10. Let k be (-1)/(-2 + (-2)/(-6)). Which is smaller: k or l?
k
Let f = -6.03 - -6. Let d = 0.97 - f. Let c be (18/(-32))/((-6)/8). Which is greater: c or d?
d
Let s = -31 + 31.07. Let g = -2 + 3. Which is smaller: s or g?
s
Suppose 3*k + 14 = z + 1, 9 = -3*k. Suppose -5*y - z*d = -3*y, -d + 5 = 0. Let p be -2 + 2 + 4/y. Is p at most as big as 1?
True
Suppose -5*k = -31 + 221. Is -38 <= k?
True
Let j be 3 + 9/(-3) + 0. Suppose g = 2*f - 3, 2*g - 3 = 7. Suppose -3*q = -d - 8, -5*d + 3*q - f = -0. Are j and d equal?
False
Let k = -30 - -36. Are -3 and k unequal?
True
Suppose 0*z + 3*m + 7 = z, 3*z - 5*m = 13. Suppose -3*u + 2*r - 9 = -z, 20 = -u + 5*r. Is u >= 0?
True
Suppose -4*f + 5*f = 5*z + 27, -2*z - 22 = -2*f. Which is bigger: f or 25/3?
25/3
Suppose 0 = -2*b + 3*b + 2*t, -b - 4*t = 0. Which is bigger: -4/17 or b?
b
Let s = -2 - 6. Which is smaller: 2 or s?
s
Suppose -3*w = 2*w + 10. Which is smaller: w or -1/2?
w
Suppose -g + 96 = -4*z - 4*g, -5*z - 2*g - 113 = 0. Let l be (-6)/z + (-136)/(-14). Suppose 5*h - 28 = -3*n, h - 3*h = -l. Which is smaller: n or 2/5?
2/5
Let t(r) = 6*r**2 - 13*r - 6. Let k(h) = 5*h**2 - 12*h - 5. Let g(y) = 5*k(y) - 4*t(y). Let z be g(8). Which is smaller: z or 1?
z
Let s = 0.1 - 0.9. Let i = s - 0.2. Let b(v) = v**2 + 3*v - 2. Let o be b(-3). Which is smaller: o or i?
o
Suppose u - 24 = -3*u. Let z be (-3)/(u/(-10)) - 1. Let y = 5 - z. Which is smaller: y or 2?
y
Let k be 2 - (-2 + 2 + 2). Let n(v) = -v. Let o be n(-1). Let m be -2*o*(-1)/(-2). Which is bigger: m or k?
k
Suppose 2*j + 3 + 1 = 0. Are j and -2 non-equal?
False
Let h(f) = 8*f**2 + 2*f + 1. Let g be h(-2). Which is greater: -0.1 or g?
g
Suppose q + 1 - 11 = 0. Let j = 8 - q. Let x be (-9)/(-4) - j/(-8). Which is smaller: x or -2?
-2
Let a = -20/111 - -359/555. Let g = -2/15 + a. Let i(z) = z - 2. Let b be i(3). Which is smaller: b or g?
g
Let u = 44 - 100. Is u less than -55?
True
Let i = 0.02 + 0.03. Let p = i + 0.95. Let l be ((-1)/(-9))/((-3)/(-6)). Is p equal to l?
False
Let d be 62/(-4) + (-7)/(-14). Let w be (-14)/(-20) - (-9)/d. Suppose h + n + 2*n + 1 = 0, 4*n = -2*h - 2. Is w less than or equal to h?
False
Let v be -2 + 2 - -1 - -3. Suppose -v*o + d = -2*d - 27, o = 3*d + 18. Suppose -8 = -o*j - 5*s, 3*j + 0*s - s = 2. Which is smaller: j or -2/13?
-2/13
Let m = 1 - 1. Let d = 47 - 93/2. Which is greater: m or d?
d
Let c = -548/1967 - 2/281. Let z(j) = j + 4. Let t be z(-3). Is t at least as big as c?
True
Let z be (2/(-48))/((-23)/(-9) - 3). Which is greater: 1 or z?
1
Let k be 1/(-2) + (-15)/(-30). Is k <= -2/15?
False
Let v be (-2)/(2/(8/(-14))). Is 0.4 bigger than v?
False
Let q be (10/(-5))/((-2)/(-6)). Which is smaller: q or -5?
q
Let x = -13.9 - -14. Do 1/4 and x have the same value?
False
Suppose -12 = -2*j - 5*w, -6 = -j + 5*w - 0*w. Let m = -4 + j. Suppose -5*p - m*i = 7, -i - i = -5*p - 23. Which is bigger: p or -1/2?
-1/2
Let s = -46/7 + 216/35. Which is bigger: -3/5 or s?
s
Suppose 16*c + 30 = 21*c. Is 2 <= c?
True
Let g(m) = m**3 + 6*m**2 + m + 8. Let l be g(-6). Let a = 4 - 2. Is l greater than a?
False
Let z be 1 + (-5)/20 - 350/(-24). Which is smaller: 16 or z?
z
Suppose -3*x - 1 = 2. Let p be -100*2/(-98) - 2. Are x and p unequal?
True
Let a be (1/6)/(7/4 + -1). Is -1 <= a?
True
Let g = 1.4 - 1. Let j = 0.4 - g. Let p = j + -1. Do p and -1 have the same value?
True
Suppose 2 = -61*b + 60*b. Let y be ((-6)/44)/(1/4). Is b equal to y?
False
Let u be (0 - 2)*(-21)/6. Let o = u - 2. Are o and 5 nonequal?
False
Let u = -2 + 3. Let z be -3 + u + 2 + -1. Let j = -2/27 - 4/27. Is j greater than z?
True
Let r be 2/12 + (-2)/(-6). Let u = -48 - -193/4. Which is bigger: r or u?
r
Let v be (2 + 0)*(-18)/(-12). Suppose 4*l - 16 = 0, -2*g + v*g - 9 = -2*l. Let h(s) = -s**2 + 5*s - 4. Let u be h(4). Which is smaller: u or g?
u
Let r be 240/(-56) + (-4)/(-1). Is r smaller than -13/6?
False
Suppose -3 - 5 = w. Let l = 5 + w. Which is smaller: l or -2?
l
Suppose -7*w + 250 + 37 = 0. Which is greater: 0.1 or w?
w
Suppose 0 = -2*v - 2*v. Suppose -2*n + 5*n = v. Which is greater: 3/13 or n?
3/13
Let t = 17 + -16. Let r = 8 - t. Which is greater: r or -1?
r
Let j be (-4)/(-6)*(-15)/(-10). Which is bigger: 2/5 or j?
j
Let t = 5 + -6. Is t greater than 1/3?
False
Suppose -3*a + 1 = 4. Let n be ((-12)/18)/(a/(-2)). Which is smaller: n or -2?
-2
Let s = -1.015 - -0.015. Are -0.31 and s equal?
False
Let k = -4.7 + -7.3. Which is greater: k or -3?
-3
Let h = 29 + -28. Are h and 1 equal?
True
Let a = -5.1 + -3.9. Is a at least as big as 1?
False
Suppose -2*o - 2*o + 92 = 4*i, 102 = 4*i + 2*o. Is i less than or equal to 27?
False
Let g = -4 + 2.7. Let f = -1.23 - g. Which is smaller: -2/5 or f?
-2/5
Let w be ((-2)/(-13))/(2/4). Is w smaller than 0?
False
Let i = 6 + -2. Let h be 2 + i/(12/9). Suppose 4*k = -5*r + h*k, -2*k = r. Is -4/5 at most r?
True
Let i = -4 + 2. Let m = 0 + i. Is m at most as big as 0.2?
True
Let x be -1 + -2 + (5 - 1). Let m = x + 0. Which is greater: m or -1?
m
Let g be (-5)/((-15)/(-6)) - 1. Let v be (1*(0 + 0))/(-1). Suppose v*i + 2 = -i. Is g less than i?
True
Let g = -6243 - -817837/131. Let t = 514/8253 - g. Is t greater than 0?
True
Let w(u) = -u**2 + 5*u + 3. Let d be w(5). Is 5/3 less than d?
True
Suppose 4*s - 3*b = 2*b - 15, -3*b + 9 = -4*s. Is 0 greater than or equal to s?
True
Let p = -0.3 + -15.7. Let i = p - -11. Let a = -2 - i. Which is greater: a or -2/7?
a
Suppose 3*j = 2*n + 10, -3*j + 9 = 3*n - 6*n. Do n and 36 have the same value?
False
Let s = -52 + 264/5. Which is smaller: 1 or s?
s
Suppose -w + 0*w - 3 = -3*f, -4*f + w + 5 = 0. Is 2 not equal to f?
False
Suppose -3*q + 82 + 2 = 0. Suppose 17 = -g - 2*y + 1, -4*g = -y + q. Is -9 at most as big as g?
True
Let r = -14371/1230 + -2/123. Let u = -23/2 - r. Let a = -5 + 4. Is a greater than or equal to u?
False
Let z be ((-3)/(-2))/((-21)/12). Which is smaller: -2 or z?
-2
Let d = -8 - -11. Suppose -g = -u + d*g - 1, 0 = 3*u + 2*g + 3. Which is smaller: 0 or u?
u
Let p(s) = s + 9. Let f be p(0). Let x = -5 + f. Suppose -5 = -x*d - 1. Is 1 greater than d?
False
Let f be (165/6)/(-5) + 3. Is f bigger than -3?
True
Let j = 3 + -1. Which is greater: 0 or j?
j
Let o = -11 - -10. Is o at least as big as -1?
True
Let f = 27 - 19. Suppose x = 5*x - f. Which is greater: 1 or x?
x
Suppose 2 = -2*n + 4. Let t = -1 - -6. Suppose -n + 6 = -t*s. Is s less than or equal to -2/5?
True
Let z be (-2226)/1245 - (-4 - -2). Let f = z + -1/83. Let t = 4 - 3. Which is smaller: f or t?
f
Let l be 75/4 - 9/12. Let x be 2/(-4)*l/(-15). Which is smaller: x or 0?
0
Let v = -121 - -132.9. Let b = -12 + v. Is 4 <= b?
False
Suppose 0 = 3*x - 10 - 56. Which is smaller: x or 23?
x
Let w = 16.3 + -1.5. Let u = w - 16. Let s = 1 + u. Which is greater: s or 3?
3
Suppose 2*a = -2*a + 12. Suppose a*t = -0*t. Which is smaller: -3/7 or t?
-3/7
Let q be (-4)/18 + (-2)/(-9). Let h = 2 + q. Let f = 26/5 + -22/5. Which is smaller: f or h?
f
Let n be (-24)/(3 + -11) + 36/(-7). Which is smaller: -1 or n?
n
Suppose 5*c - 4*d = 5, -4*c + 7*d = 3*d - 8. Is -3 less than c?
False
Suppose 0 = 3*w - 4*v + 23, 0*w - w - 7 = -v. Let u = 3 + w. Let m = 3 + u. Is 1/2 at most m?
True
Suppose 0 = 5*p - 33 + 83. Is p equal to 1?
False
Suppose 0 = -3*u + 5 + 1. Suppose 0*p + 2*p + 14 = u*j, 0 = -3*p - 2*j - 6. Is p < -4?
False
Suppose 0 = g - 4*g + 15. Suppose g*b - 1 = 9. Is 2 at least b?
True
Let n(r) = 2*r**2 + 3*r + 6. Let o be n(-3). Which is greater: 12 or o?
o
Let t = 0.02 + -0.01. Let o = -3.01 + t. Which is greater: o or 2/11?
2/11
Let o = -9 - -14.