least t?
False
Let l = 25/9 + -23/9. Suppose v = 4*g - 23, v - 3 = -4*g + 14. Which is smaller: l or v?
v
Suppose 11 = 4*h + c - 2*c, -4*c = 5*h - 19. Is h <= -6?
False
Let g = 1.3 + -1.22. Which is bigger: -2/3 or g?
g
Suppose 5*h + 7 = -3*x, 2*x = -3*x + 4*h + 13. Let u = x - 3. Which is bigger: 0 or u?
0
Suppose 5*y = -2*o - o + 12, 0 = -y - 2*o + 8. Suppose -x + 4 - 3 = y. Is x at least 2/7?
True
Suppose -3 = 2*h - 5. Let r be 1530/(-357)*2/(-6). Is h at least as big as r?
False
Let i be (-15 + 2)*(-8)/4 - -1. Which is bigger: 24 or i?
i
Let z = 0.16 + 5.84. Let a = 3 - z. Let n = 2.9 + a. Which is greater: n or 0.2?
0.2
Let n be 9/2 + (-3)/6. Let w be 5/n + 0 + -1. Is w equal to 2?
False
Let u be -1 + -2 - 143/(-52). Which is greater: u or 0?
0
Suppose 3*j = 3*g, -j + 5*j + 4 = 0. Let b be (g/10)/((-1)/(-2)). Which is bigger: -1 or b?
b
Let d be ((-2)/(-12))/1*172. Let g = 29 - d. Are -1 and g equal?
False
Suppose -t = -119 - 34. Let z = t - 1375/9. Let o be 3*2/(-12)*2. Is z at least o?
True
Let x = -6.5 - -6.4. Are x and 0.08 unequal?
True
Let w(m) = 7*m**3 - 3*m**2 - 11*m - 1. Let n(b) = 3*b**3 - b**2 - 5*b - 1. Let j(z) = -5*n(z) + 2*w(z). Let s = 5 - 7. Let x be j(s). Are x and 2/5 equal?
False
Let a = 10 - 8. Do a and 1 have different values?
True
Suppose -p - 41 = 5*t - 3*p, -4*p + 12 = 0. Which is smaller: -2/3 or t?
t
Let i(g) = 27*g**2 - 2. Let j be i(-1). Does 25 = j?
True
Let y = -5 + 8. Suppose 3*w = -3*a - 2*w + 7, 5*a + 4*w = 16. Is a smaller than y?
False
Suppose -3*z = -5*p - 25, 5*z = -14*p + 18*p + 20. Which is greater: 1 or z?
1
Let a = 40/7 - 6. Suppose 4*k = -k - 35. Let d be ((-2)/k)/(60/35). Is a at least as big as d?
False
Let h be 1*-62 - (1 + -4)/1. Is 0 not equal to h?
True
Let w = 25 - -29. Let c be w/(-12)*(-12)/(-15). Is c != -3?
True
Let t be 1/(-6) - 1/2. Suppose -9*w = -8*w - 8. Let q be ((-2)/(-8))/(2/w). Which is smaller: t or q?
t
Let x(w) = w**3 + 8*w**2 + w + 11. Let q be x(-8). Is q bigger than 3?
False
Let v = 48 + -45. Is v greater than or equal to 0.9?
True
Let i = -2.7 - -1.7. Let t = -3.6 - -4. Let r = t - 2.4. Which is bigger: r or i?
i
Suppose -4*k + 10*c - 28 = 9*c, -k - 4*c = -10. Let b = 0.7 + 0.3. Is b >= k?
True
Let m = 3 - 8. Let y = m + 3. Let b be 0 - y - (2 + -1). Is 1 less than b?
False
Let t(b) = 5*b - 34. Let g be t(4). Which is greater: g or 3?
3
Suppose 0*x - 4 = -x, 0 = -4*d - 5*x + 24. Suppose 5 + 0 = 5*b. Let m be d/b + 26/(-8). Does -3 = m?
False
Let c = 1 - 4/3. Let n(y) = -y**2 + 7*y + 1. Let j be n(6). Let u = 7 - j. Is c > u?
False
Let i(u) = -u + 16. Let a be i(14). Let b be a + (66/(-3))/2. Is -8 < b?
False
Let k(h) = -h**3 + 6*h**2 + 2. Let o be k(6). Which is bigger: 13/5 or o?
13/5
Let n = -18 - -16. Which is bigger: -11 or n?
n
Let r = 0.8 - -6.2. Which is smaller: -1/3 or r?
-1/3
Let a = -0.042 - -0.082. Which is greater: a or -4/5?
a
Let n = -6 - -11. Suppose n*z + 2 + 16 = -3*r, -3*r - 6 = z. Which is greater: r or -2?
r
Let a = -97 + 98. Let v be (-132)/(-9) - (-1)/3. Let t = v - 22. Which is bigger: a or t?
a
Suppose 0*u + 6 = 3*u. Suppose i = -4*i - b - u, 3*i = -3*b + 6. Suppose -3*a + 3 - 6 = 0. Is a less than or equal to i?
True
Let r be (22/(-8) - -3) + 222/8. Which is smaller: 27 or r?
27
Let z = 5 - 7. Let w = -41 - -41. Which is bigger: z or w?
w
Let y be (-1 - -3)*-1*-2. Suppose -7 - 1 = -y*v. Is 5/7 greater than v?
False
Suppose -2*h - h - 9 = 0. Let d be 6/(-4)*8/(-6). Suppose -3*y + d*y = 3. Are y and h nonequal?
False
Let n = 0.4 + -0.3. Let j = n - 0.3. Let f = j + 0.1. Is f at most as big as -1?
False
Let c = -0.4 + -0.4. Let i = -2.2 + 3. Let q = c + i. Which is greater: q or -1?
q
Suppose 0 = -5*a + r + 6, -3*a - 17 = -5*r - 3. Suppose -2 = -a*q + b - 3, 0 = -5*q - 3*b - 8. Is q > 1?
False
Suppose 0 = -14*h + 2*h + 24. Which is greater: h or 16/19?
h
Let j(k) = -k**3 + 7*k**2 - 4*k - 13. Let o be j(6). Which is bigger: -3/7 or o?
-3/7
Let v(o) = 18*o**2 + 4*o + 2. Let r be v(-2). Is r greater than or equal to 67?
False
Let i be (-8 - -6)*3/(-114). Which is smaller: 1 or i?
i
Let l(a) = -a**3 + a**2 + 4*a - 4. Let w be l(2). Is w <= 1/23?
True
Suppose -2*l + 25 = 3*l. Let y = -12 - -16. Is l not equal to y?
True
Let x(p) = -2*p + 10. Let z be x(5). Which is greater: -1/8 or z?
z
Let a = -73 + 59. Is a > 3?
False
Let o(k) = 2*k**2 - 5*k + 8. Let g be o(6). Let y be (8/g)/(18/(-15)). Which is greater: y or -1?
y
Let y be (-2645)/(-85) + (-4)/34. Is 31 at most y?
True
Let c = -6 + 5. Let f(u) = u - 1. Let k(w) = w**2 + 4*w - 2. Let r(g) = -3*f(g) + k(g). Let s be r(c). Is s <= 1?
True
Suppose 3*t = -9 + 3. Let b = -6 - -4. Is b greater than t?
False
Let y(g) = g**3 - 5*g**2 - 5*g - 6. Let v be y(6). Suppose v = -0*w - w. Which is smaller: w or -1?
-1
Let x = -0.1 + 0.1. Suppose -3*c - 5 - 7 = 0. Which is smaller: c or x?
c
Let c = 105 - 100. Which is smaller: c or 6?
c
Let j = -0.2 - -0.2. Let a = -1.2 + 1.2. Does j = a?
True
Let l = -0.8 - -15.8. Let z = l - 10. Suppose 0 = 4*d - n + 1, -n - 25 = -6*n. Which is greater: z or d?
z
Let q be 84/39 - (-6)/(-39). Suppose q*j = -1 - 3. Which is smaller: -3 or j?
-3
Let r be (-11)/(-40) - 2/5. Which is greater: -1 or r?
r
Suppose -5*d - 25 = h, 0*h - 4*d - 20 = 5*h. Is h greater than -3?
True
Let j = -0.05 - -2.15. Let m = 18 - 20. Let y = j + m. Is -1 > y?
False
Let t = -3.4 - -0.4. Let z = t - -2.9. Let f = -2 - -2.2. Is z less than f?
True
Suppose -5*q + 10*q = 0. Suppose -3 = -2*h + h, q = 3*i + h - 9. Let l be (-80)/35 + 1*i. Which is smaller: -1 or l?
-1
Let t be -1 - 0/(-1) - 23. Which is greater: t or -23?
-23
Let p(i) = i**2 - i - 1. Let c be p(0). Let o = -61/456 + 1/114. Which is smaller: o or c?
c
Suppose 0 = 3*c - 6*c - 3. Which is smaller: 2/19 or c?
c
Let w = -0.54 + 4.64. Let q = -4 + w. Which is smaller: q or -6?
-6
Let w be 5/((-105)/(-6))*(17 + -2). Do w and 0 have different values?
True
Suppose 3*z + 0 + 54 = -3*y, -2*z = -4*y + 6. Let j = z - -31. Which is bigger: 17 or j?
j
Suppose -4*y = -0*y. Suppose -4*m + y = 4. Which is smaller: 0.1 or m?
m
Let f = -18 - -18. Suppose f = -3*c - a - 20, 4*a - 5 = 11. Is -1 less than c?
False
Let j be (3/(0 - -3))/(-1). Let o = -2339 + 105272/45. Let g = o - 2/45. Which is smaller: g or j?
j
Let w be (-8)/(-10) - (-4769)/95. Which is smaller: 0.1 or w?
0.1
Let g(m) = 6*m**2 - m**3 + 0*m - 4 - m - 3*m. Let w be g(5). Let h be (18/21)/((-4)/2). Which is bigger: h or w?
w
Let j = -5 - -7. Let l = 0 - 2.2. Let d = l + j. Is 1 bigger than d?
True
Let i(d) = 11*d**3 - 17*d**2 - 4*d + 10. Let u(j) = 5*j**3 - 8*j**2 - 2*j + 5. Let m(q) = -4*i(q) + 9*u(q). Let b = 1 - -3. Let f be m(b). Is -2 smaller than f?
False
Let n be (-3)/4 - (-31)/(-12). Is n > -4?
True
Let g(h) = h + 4. Let s be g(0). Suppose -s*j - 5 = j. Suppose -2*q + 5*q - 3 = 0. Is j less than or equal to q?
True
Let d be 10/5 - (2 - (-1)/(-7)). Are 0 and d equal?
False
Let x(j) = j**2 - 3*j. Let l be x(3). Let n = -196 - -1369/7. Which is smaller: n or l?
n
Let y be (-21)/56*(-1)/(-3). Let c be 3/(-4) + 11/4. Suppose -2*s - c = -0*s. Is y not equal to s?
True
Suppose -16 = l + 3*l. Which is greater: l or -1?
-1
Let o = -46/5 - -11. Suppose 20*y - 10*y = 0. Which is greater: y or o?
o
Suppose -q - 2*q + 2*n = -3, 4*q = -5*n + 4. Suppose 0 = -o - 2 + 4. Which is bigger: q or o?
o
Let x = -1/33 + 25/99. Is -3 at most as big as x?
True
Let t(q) = -40*q**2 + 7*q + 6. Let n be t(-4). Let l be -18*(n/(-32) + -3). Let r = l - -318. Is r > -1?
True
Let o(n) = -n + 4. Let d be o(6). Let v(a) = -a**3 + 4*a**2 - 4. Let h be v(3). Let x = h - 8. Is x not equal to d?
True
Let j = 1861151/40 - 46532. Let a = 21/8 + j. Is a bigger than -2?
True
Let z = 54.6 - 64. Let n = z - -9. Is -1 bigger than n?
False
Let k(u) = -u + 4. Let j = -1 + 4. Let m be k(j). Let r = 1 + 1. Is r >= m?
True
Suppose k = -2*s + 506, -5*k + 0 = -10. Let u = 2266/9 - s. Let p = 1 + -1. Is p bigger than u?
True
Let m = 3 - 4. Is m >= 2/23?
False
Suppose -3*y + 4 = -2. Suppose -3*v + 4*v = 3. Which is smaller: v or y?
y
Suppose 1 = h + 4. Which is greater: h or -1?
-1
Let i be 172/285*(-2)/(-6). Let y = i - -2/95. Which is smaller: -2 or y?
-2
Let a = -27505 - -361164/13. Let r = a - 277. Is r greater than or equal to 0?
False
Le