to j?
False
Let y = 1 - 3. Let o = -23 + 23. Which is bigger: y or o?
o
Suppose y + 2*g = -2*y - 31, -y + g = 12. Do -11 and y have the same value?
True
Suppose -5*v = s + s - 9, 0 = v + 2*s - 5. Suppose 0 = -k - 1 - v. Is -2 at least k?
True
Let b(i) = -i**2 + 6*i + 15. Let v be b(7). Suppose -s + 0 + 7 = 0. Which is smaller: s or v?
s
Let k(x) = -x**3 + 3*x**2 + 6*x - 6. Let g be k(4). Suppose -5 + 3 = -2*w. Let r be 5/(-3) - (w - g). Which is smaller: r or -0.1?
r
Suppose -4*l = x + 2, l = 3*l + 2*x + 4. Which is greater: l or 1/32?
1/32
Let n(o) = 5*o - 19. Let j be n(12). Which is bigger: 42 or j?
42
Let i = -0.006 + -0.094. Is i bigger than 56?
False
Let m = 3 - 1. Suppose -5*x - 18 = -13. Is m at most x?
False
Let q be 24/(-26) + 0/(-7). Let i = -110/91 - q. Which is smaller: 0 or i?
i
Let u = -70 + 69.8. Which is smaller: u or 1.3?
u
Let b = -10 + 14. Let j(m) = m**3 - 4*m**2 + 3. Let v be j(4). Is v at least as big as b?
False
Let n be (2/(-4))/(-1)*4. Let x be n/12*4024/(-6). Let y = x - -112. Is 0 at least as big as y?
False
Let w = -0.03 - -0.03. Let o = -1 - w. Is o less than -0.1?
True
Let a be ((-16)/(-32))/(2/4). Is a smaller than -2/265?
False
Suppose -5*u - 4*w = 7, -4*w - 17 + 4 = -u. Let l be 1*1/u - -1. Let q = l + -5. Which is greater: -5 or q?
q
Suppose -4*l = -3*l - 1. Let w be ((-10)/(-8) - l)/1. Let j = -7 - -3. Which is greater: w or j?
w
Suppose 3*i - i = 0. Which is greater: 3 or i?
3
Let t be (-2 + 4)/2 + -8. Let u(x) = -x + 4. Let p(r) = 3*r - 8. Let l(n) = -2*p(n) - 5*u(n). Let a be l(t). Are a and 2/3 equal?
False
Let p = -1 - -3. Suppose -4*z + 3*j + 10 = 0, z + 1 + p = -2*j. Let c(f) = 3*f - 1. Let d be c(1). Which is smaller: d or z?
z
Let w(r) = r + 17. Let f be ((-252)/8)/(-9)*-2. Let m be w(f). Which is greater: 11 or m?
11
Suppose 0 = 2*g - 4*x - 4, 3*x + 0 + 3 = -2*g. Suppose g = -5*c + 20, -18 = -6*i + 4*i - 5*c. Which is bigger: i or -5/9?
-5/9
Let x be 0 + (2 + 4)/1. Let c(h) = 3*h**2 - 4*h - 1. Let z be c(-1). Are z and x nonequal?
False
Let j = -418/455 + 4/65. Is 0.6 at least as big as j?
True
Let j be 2 + ((-16)/(-9))/(-1). Let f be -5 + (5 - 1) - (-1)/1. Do j and f have the same value?
False
Let b be (15/20)/((-6)/4). Is 0 > b?
True
Suppose -5*x = 4*u - 143, -x + 17 + 20 = -2*u. Is x bigger than 30?
True
Let o be (16/6)/(8/12). Suppose 5*c - 10 = -o*t, -2*t - 2*t = 0. Let r be c*-2*(-15)/(-12). Is r > -4?
False
Let v(b) = b**3 + 4*b**2 + 5*b + 6. Let w be v(-3). Let m be 2/4 - (-3)/(-3). Which is greater: m or w?
w
Let m be (-6)/(-4) + (18 - 20). Is -0.5 <= m?
True
Let z be (0 + 1)*(12/6 - 1). Is z != 1/123?
True
Let d = -4603/49 - -94. Which is greater: d or 0?
d
Let z be 3*((-9)/(-1) - -1). Let i = 18 - z. Let y be 4/i + 10/(-6). Which is smaller: -3 or y?
-3
Let x be (25/3 + -1)*(-246)/(-1148). Which is bigger: x or 3?
3
Suppose 2*z - 11 = -b - 4*b, -4*b + 14 = -z. Let p be b*(-1 - 5/(-3)). Let r = 2/35 + 171/70. Does p = r?
False
Suppose 0 = 2*j - 5*j + 9. Suppose l - 6*l - o + 29 = 0, 3 = l + j*o. Which is greater: 5 or l?
l
Let z be 1/(-6) - 14/(-12). Let p be (z - 2)/((-7)/(-42)). Which is smaller: p or -7?
-7
Let z = 15 + -23. Let b = 8 + z. Which is smaller: 4 or b?
b
Let p be 2 + 27/(-3) - -2. Let l = -4 - p. Let c be 5/(-2) + l/2. Which is bigger: c or -4/5?
-4/5
Let z be 10/15 - (-8)/6. Which is smaller: -8 or z?
-8
Suppose 0 = -5*j - 3*x + 31, 3 - 16 = -j - 4*x. Let w be 0/((-2)/(-5)*j). Is w < -1/20?
False
Let j = 1.5 + -3.5. Let s = 1.8 + j. Is -1/3 smaller than s?
True
Let g = -3 - -3.2. Let w be (12/9 - 1)*0. Let p(r) = r**3 - r**2 - r + 2. Let u be p(w). Which is bigger: g or u?
u
Let t be ((-3)/6)/((-1)/44). Let q be (-6)/t*4/(-12). Which is bigger: q or -1?
q
Let x(b) = -4 - 3*b**2 - 1 + 4*b + 4*b**2. Let w be x(-4). Let j = w - -5. Which is smaller: j or 4/3?
j
Let x be 44/8 + 4*-1. Is 2 at most as big as x?
False
Suppose 0 = b + 2*q + 6, 3*q - 4*q = 4. Let z(l) = 3*l**3 - 2 - l - b*l**3 + 2*l**2 - l + 0. Let x be z(-3). Is -3 at least as big as x?
True
Let r = 2 + 2. Let m = 3 - 8. Let y = r + m. Which is smaller: y or -0.05?
y
Let c be ((-6)/4)/(-3*(-4)/(-8)). Is 0.009 less than or equal to c?
True
Let o(b) = 2*b + 4. Let i be o(-3). Let w = 2 + i. Suppose -17 = 2*n - 3*c, -2*n - 7 = -0*n - c. Which is bigger: w or n?
w
Let y(q) = 3*q - 1. Let g be y(1). Suppose -3*n + 2*n - 2 = 0. Do g and n have the same value?
False
Suppose 46 = 2*h + 3*m, -11*h - m + 89 = -6*h. Which is greater: -4 or h?
h
Let p be 1*(-3 - 28/(-10)). Let j = 4 + -4. Which is greater: p or j?
j
Let j = -2 + -2. Let a(q) be the third derivative of q**6/120 + q**5/12 + q**4/12 - 5*q**3/6 - 3*q**2. Let o be a(j). Does o = 3?
True
Let c be 8/(-160)*188 + 9. Let f = -1 - -6. Suppose -f*z - 5*h = -3*z - 20, 0 = -5*z + 5*h - 20. Which is smaller: c or z?
c
Let g be 502/(-72) - 10/(-45) - -3. Which is bigger: g or -5?
g
Let x = -46 - -70. Which is bigger: 22 or x?
x
Let c be 9 + (-2 - 0)/(-2). Suppose -3*t = -1 + c. Which is greater: -4 or t?
t
Suppose -24 = -4*o + 5*q, 2*q + 12 = o + 3*o. Is o at least 42/13?
False
Let h be (24/(-9))/(-2) - (-12)/(-36). Which is greater: -37 or h?
h
Let r = -30.9 - -31. Let w be (2 - 7)*(0 - 1). Suppose 0 = x + 3, -j - 4*x = 5 + w. Is j at least as big as r?
True
Suppose -2*h - 2*h + 8 = -2*l, 4*h - 16 = 4*l. Let r be 0*(h - (-4)/8). Is r greater than 0?
False
Let y(u) = 3*u + 1. Let f be y(1). Let t(z) = -z**3 + 4*z**2 - 2*z + 4. Let s be t(f). Which is bigger: -5 or s?
s
Let j(w) = w**3 + 16*w**2 + 16*w + 18. Let h be j(-15). Suppose 6 - h = -3*c. Is c >= -5/3?
True
Let i = 2.03 + -0.03. Let j = i + -1.9. Let p = -4/41 + -62/205. Is j < p?
False
Let p(y) = y**2 - y. Let i be p(0). Suppose -4*j + 25 = j. Let q be (-2)/(-5) - 2/j. Are i and q equal?
True
Suppose -3*d - 13 = -70. Suppose -4*j - 6 = a, 5*a - 4*j + 11 = -d. Are -5 and a non-equal?
True
Let i(u) = -2*u - 14. Let w be i(-10). Suppose w*x = 2*x. Let h = 1/129 - -382/645. Which is bigger: x or h?
h
Suppose 2*y + 2*y - 8 = 0. Let a be (y/(-3) - -1) + 0. Which is greater: a or -1?
a
Let v be 3/6 + 2/4. Let m be (14/(-4))/(v/2). Let a(g) = -g**2 - 3*g + 3. Let s be a(-5). Is s smaller than m?
False
Let n = -4/35 - -2/5. Suppose -3*f - h - 28 = h, 15 = -3*h. Is n <= f?
False
Let b be 10/25 + 21/10. Are b and 3 equal?
False
Let c = 1.8 - 1.7. Which is bigger: c or 0.05?
c
Let z be 1/4*-2*-24. Suppose 3*c = -0*c - 5*f - z, -3*f = 4*c + 16. Suppose -4 + 1 = t. Which is smaller: c or t?
c
Let p = 0 + 0.1. Suppose -3*j = -2*j - 1. Is p equal to j?
False
Suppose 0 = 6*c - 7 + 43. Is c < -2?
True
Let z = -42/253 - -8/23. Let m be (-2 + 1)*(3 + -3). Suppose m = -p + 1. Is p less than or equal to z?
False
Let y = -132.5 + 132. Is -2/3 equal to y?
False
Let i = -6 - -6. Let k = i + 2. Suppose 5*u - 3 = 12. Which is smaller: k or u?
k
Let q(j) = -j. Let k be q(-4). Let d be (-31)/(-29) - 4/k. Let c = -23/87 - d. Which is greater: 0 or c?
0
Suppose 3 = i + 2. Suppose -x = 4 + 13. Let g be -2 - (-1)/(-10)*x. Are i and g unequal?
True
Let s be -2 + 1 - (-9)/11. Let x = 33185/104434 - -2/4747. Let f = s - x. Which is greater: f or -1?
f
Let j = 211.1 - 202. Let c = 10 - j. Which is greater: c or -1?
c
Suppose 0 = -b + 3*b - 18. Suppose g - 3*o = b, g + 13 = -2*g - o. Which is smaller: -3/2 or g?
g
Let u be (-22)/(-4) - (-42)/28. Which is smaller: u or 6?
6
Let q = -3 - -4. Which is greater: q or -6/5?
q
Let n be (-2)/(-1 + 10/14). Suppose n*j - 2*j = 0. Suppose 2*t = -j*t + 4. Is 3 != t?
True
Let o be (-1)/(-3) - 205/(-15). Suppose 6*g = 4*g - o. Is g smaller than -8?
False
Let v(g) = g**3 + 6*g**2 - 5*g + 10. Let l be v(-7). Let o(h) = -h**2 + h + 4. Let j be o(l). Is j greater than or equal to 0?
False
Let d be -1 - (-6 - -3 - 2). Let w be d/8*(-12)/(-2). Which is smaller: w or 4?
w
Let k(j) = 0*j + j + 6 - 2. Suppose 0 = u - 4*u - 9. Let v be k(u). Is v smaller than -2/7?
False
Let k be (-1)/((-3)/9) - 2. Let a = 121.3 - 113. Let n = a + -8. Which is smaller: k or n?
n
Let q(k) = -4*k**3 + k**2 - 2. Let t be q(-2). Let j be (-5)/(-10) - t/(-4). Let w be (-2)/(-48) + 3/j. Which is bigger: w or 0?
w
Suppose 16 = 5*q + z, -q + 2*z = -0*q - 12. Suppose -3*t - 16 = -q*w + t, -t = 5*w - 2. Is 2 at most w?
False
Let k(t) = t**2 + 14*t