is bigger: t or 2/13?
2/13
Let t = -20 + 11. Let h = t - -7. Is h < -8/3?
False
Let o be 3 - ((-4)/4 + 3). Which is smaller: 1/6 or o?
1/6
Let y = 26 + -16. Let o(j) = j**2 - 9*j - 10. Let q be o(y). Is q greater than or equal to -2/5?
True
Suppose 0 = -4*h + 1 + 3. Let d = h + 1. Suppose d*n + n - 3 = 0. Is n less than or equal to 1?
True
Let d be (0 - -2)*(1 + -3). Let p = 3.7 + 0.2. Let n = p - 4. Which is greater: d or n?
n
Suppose 3*h + 3*k = -9 - 21, 0 = h - 2*k + 13. Let c(d) = -d**2 - 6*d + 8. Let p be c(-6). Let w = p + h. Is w at least -2?
False
Let d be 162/(-52) - (3 + -5). Let l = d - -8/13. Are -2 and l nonequal?
True
Let q(z) = -z + 2. Let b be q(-3). Suppose -i = j + 8, -4*i - b*j - 24 = 7. Let l(k) = k**3 + 9*k**2 + k + 12. Let x be l(i). Which is greater: 1 or x?
x
Let u(r) = r**2 + 4*r - 3. Let w be u(-5). Let f be ((-6)/(-27))/(w/6). Let h be (4/8)/(1/2). Is f > h?
False
Let k(u) = u**3 - 2*u**2 - u - 2. Let v be k(3). Is v != 16/3?
True
Let s = 6.963 + 0.037. Are s and -1/2 non-equal?
True
Suppose 2 = -3*g - 13. Is g greater than -6?
True
Let q be ((-8)/(-10))/((-1)/5). Let a = -6 - q. Let l = 79/2 + -41. Which is smaller: a or l?
a
Let p(v) = -v**3 + 9*v**2 + v - 2. Let f be p(9). Suppose -5*k + f = 3*w - 14, -2*w - k = -7. Which is greater: w or -1?
w
Let s = 24.5 + -27. Let a = 0.2 - 0.7. Let j = a - s. Which is bigger: -1 or j?
j
Let l(i) = i**3 - 6*i**2 + 6*i - 3. Let h be l(5). Suppose -5*x - 3*g = 5 + 2, -h*x - 2*g = 2. Let t be (-16)/(-5) - (4 + x). Is t > 2?
False
Suppose -3 = -6*v + 3*v. Let t = -4 - 2. Let i = -4 - t. Is i < v?
False
Suppose v = -5*j - 8, 0 = v + j - 3 - 1. Is v <= 7?
True
Let u = -5629/4 - -1397. Is -9 bigger than u?
True
Suppose 4*j - 9 = 3. Let l be 4/j*(-6)/1. Is l at least -8?
True
Let d(b) = -b**3 - b**2 + b + 1. Let z be d(-1). Suppose z*y + 5*y = -5. Let u = -282/889 + 4/127. Which is smaller: u or y?
y
Let m be ((-2)/5)/(1/5). Is -1 not equal to m?
True
Suppose 5*b = -3*l + 14, 3*b + 40 = 4*l - b. Suppose -5*j = -l - 2. Suppose -3*n - j = -5. Does -1/4 = n?
False
Let v = 24 + -18. Is v at most 6?
True
Let l be (-5)/(-3 + -2)*1. Is 10/11 > l?
False
Let d = 2/341 - 21/1705. Which is greater: d or 0?
0
Let y be 12 + (-1 - -2)*-1. Let h be (2 + -2 - -1)*y. Suppose -5*u - 5*f + 5 = 0, -u + 6*u - h = -2*f. Is 3 at least u?
True
Suppose -3*j - 3 = 3. Let h = -191 + 51. Let u = 694/5 + h. Which is bigger: u or j?
u
Let i be 3/((-3)/2) + -1. Let d(j) = -j - 2. Let y be d(i). Which is greater: -0.1 or y?
y
Let g = 0.7 + -1.4. Let o = -0.1 - g. Let p = -0.8 + o. Which is greater: p or -6?
p
Suppose 4*f = 25 - 1. Let u be (-160)/9 + f/(-27). Let a be (6/u)/(2/(-4)). Which is greater: 1 or a?
1
Let r be (-94)/(1 - 2 - 3). Let o = r - 20. Which is smaller: o or 5?
o
Let t be (-286)/(-870) - (-2)/(-3). Let a = 4/29 + t. Let j = 0 + 0. Does a = j?
False
Let d(l) = -l**3 + 14*l**2 + 15*l - 1. Let z be d(15). Are z and -1/30 equal?
False
Let o = 24 - 4. Let w be (2/8)/((-15)/o). Which is smaller: w or -1?
-1
Let d be 219/9 - (-2)/(-6). Suppose -2*c - 3*c = 4*a - d, a - 3*c = -11. Is 0.2 <= a?
True
Let b = 5 - 5. Suppose 0*v - v + 2 = b. Suppose v*f = -4*t + 8, f + 4*f - 8 = -4*t. Is f <= 4/7?
True
Suppose 2*x - 3*x - 2*a - 7 = 0, 0 = -5*x + 5*a + 25. Are 8 and x non-equal?
True
Let i be 4 + (-17)/5 - 1. Which is bigger: i or -15?
i
Let m(r) = r. Let p be m(4). Suppose 8 - 4 = 2*y. Suppose -15 = -5*l + y*l. Which is smaller: p or l?
p
Let m = 13 - 8. Suppose 0 = -2*v + 11 + m. Is v less than 8?
False
Suppose -7*h + 2*h + 45 = 0. Let v be 3/(2/((-12)/h)). Let z be v/(-12)*2*-3. Which is greater: -3/4 or z?
-3/4
Let t = -7 + -6. Let g = t - -12. Let p = 3 - 2.8. Which is smaller: p or g?
g
Let v = 1 + -1. Let u = -5 + -20. Let i be 5/u - (-34)/70. Which is bigger: i or v?
i
Let l(b) = -b**3 - 11*b**2 + 25*b - 29. Let f be l(-13). Is f greater than -16?
False
Suppose 65 + 10 = -4*n - y, -5*n - 2*y - 96 = 0. Let k be (-1 - -6)*n/(-135). Which is bigger: k or -2/3?
k
Let p(l) = -2*l + 2. Let f be p(-1). Let x be 28/(-21)*(-3)/f. Is 3/4 less than or equal to x?
True
Let f be 782/12 + (-2)/6. Let n = 65 - f. Suppose -3*b - 6 = -4*b + 2*y, 0 = -3*y - 9. Which is smaller: n or b?
b
Let f(x) = -3*x**2 + 24*x + 1. Let w be f(8). Let v(t) = 4*t + 4. Let o(q) = -7*q - 8. Let g(h) = -3*o(h) - 5*v(h). Let k be g(-5). Is w at least as big as k?
True
Let y = -145 + 147. Is 10 > y?
True
Let z = -19 - -20. Which is bigger: z or -1?
z
Let l be 4/(-3) + (-2)/(-6). Let c = l - -2. Let k = 1009/5 - 201. Are c and k equal?
False
Let c = -1 + 2. Suppose 25 = 4*h - 2*k - 5, 0 = -3*h + 2*k + 25. Suppose 4*u = -u + h. Is u >= c?
True
Let d(u) = u + 2. Let r be d(-3). Let k = 6 + r. Which is smaller: 6 or k?
k
Let m = -6 + 11. Let q = m - 2. Is q >= 3?
True
Suppose 0 = -2*k - 9*k + 11. Which is smaller: -2/67 or k?
-2/67
Suppose -a - 40 = -3*z, -4*z - 50 = a + 11. Is a != -49?
False
Let k(s) = s**3 - 5*s**2 - 5*s - 5. Let a be k(6). Let t = 1 - a. Is -2/9 less than or equal to t?
True
Let l = 2509/3 - 848. Which is smaller: l or -12?
-12
Let x be (0 - (-6)/9)*-99*1. Which is smaller: x or -65?
x
Suppose -3*p - 16 = -a, a + 10 + 6 = -5*p. Suppose 7*h + 10 - 45 = 0. Which is smaller: a or h?
a
Let k = -3.92 - 0.08. Let q = k + 8.5. Let y = 5 - q. Is y not equal to -0.1?
True
Let x be 2 - ((-144)/(-28))/3. Is 2 < x?
False
Let m(j) = -j + 2. Let p be m(0). Suppose 0 = q - 3*f + 84, -330 = 7*q - p*q + 3*f. Let w be 3 - q/63*-3. Which is bigger: 0 or w?
0
Let a(l) = 4*l**2 + 10*l + 17. Let b be a(-13). Let v = b + -11821/21. Is v at most as big as -1?
False
Let n = 4/1557 - -545/393921. Let v = 9047832292/1771 - 5108883. Let k = n + v. Is k != 0.1?
True
Let g = 26 + -26.2. Is g < -8?
False
Let s = 5 - 17. Let u = 20 + s. Let r = 6 - u. Is r smaller than 0?
True
Let k = 329 + -8223/25. Which is smaller: k or 1?
k
Let x be (-4)/12 - 3/(-9). Is x bigger than 1/6?
False
Suppose 1 + 2 = 3*z - 2*n, -2*n + 2 = 2*z. Let f be 2/z + 1/(-1). Let b be (-4)/10*f/2. Which is bigger: -0.1 or b?
-0.1
Let v be ((2/24)/1)/(2/(-2)). Is -1 bigger than v?
False
Suppose 13*s = 11*s - 150. Which is bigger: s or -76?
s
Let h(i) = i**2 - 6*i + 3. Let k be h(2). Let p = 0 - k. Suppose -p*w - 7 = 13. Do 0 and w have different values?
True
Let r = 0.051 - -11.949. Is r smaller than -0.1?
False
Suppose -3*o + 9 = -w - 2*w, 0 = 5*w + 4*o - 21. Is w greater than -2/33?
True
Let u = 3 - 3.22. Let z = -1.52 - u. Let g = z + 0.3. Which is greater: g or -0.1?
-0.1
Let l = -30 + 15. Which is bigger: l or -14?
-14
Let f(o) = o**3 + 6*o**2 + 5*o - 2. Let m be f(-6). Which is greater: m or -33?
m
Suppose 3*a + 45 = 12. Let g = a + 11. Suppose g*t = -5*t + 5. Which is smaller: t or 2/9?
2/9
Let y = -0.2 + 0.6. Let d = y - 0.2. Let q be (1 - 6/4)*24/(-12). Which is greater: q or d?
q
Let n = 143 - 141.91. Let d = n - 1.1. Is -0.1 greater than d?
False
Let n(v) = v**2 + 19*v + 17. Let m be n(-17). Are -17 and m nonequal?
False
Let f = -1/7 + 1/56. Which is smaller: f or 1?
f
Let r = -102 + 511/5. Which is smaller: r or -1?
-1
Suppose 4*a = a + 24. Suppose 0 = -r - 3*r - a. Is r at most -3?
False
Suppose -7 = 2*m - x, 0 = 2*m - 9*x + 4*x + 27. Let l(c) = -c**3 + 8*c**2 - 6*c - 7. Let s be l(7). Let u be s + 0 - (-1)/(-3). Is u smaller than m?
False
Suppose 0 = 4*u + 2*t - 4, -5*t - 4 = -u + 19. Is 0.1 smaller than u?
True
Suppose 0*b + 45 = 3*b. Suppose 0 = 3*w + 2*w - b. Is w at most 2?
False
Suppose 4*o + 20 = 4, r - 4*o - 2 = 0. Which is smaller: -11 or r?
r
Let m = 710 - 2867/4. Which is smaller: -8 or m?
-8
Let g(z) = -4*z**2 - 3*z + 3. Let w be g(1). Is -3 smaller than w?
False
Let o be ((-6)/(-14))/(14/441). Let j = o - 55/4. Does j = 0.7?
False
Suppose 0 = r - 4*r - 36. Let h be (1 - (-57)/r)/3. Is -1 >= h?
True
Let s = 2.1 - 0.1. Let q = 2.1 - s. Which is greater: q or 0?
q
Let v = -1/18 - -11/36. Which is bigger: v or 1?
1
Let y be -1 + 1 + 4/(-74). Is 1 less than y?
False
Let y be 9/6*(-5)/(-90). Which is smaller: y or -2?
-2
Suppose 5 = 2*j - 5. Which is bigger: 2 or j?
j
Suppose -11 - 9 = -2*s. Let b(g) = -2*g + 4. Let a be b(3). Let j be a/3 - s/(-15). Are -3/10 and j equal?
False
Let q be 1*(1 + 80/(-84)). Are 1 and q unequal?
True
Suppose -5*b - 16 = -3*j + 7, 