z?
3
Let z = -6/13 + 5/39. Suppose 3*a + 5 = -t + 2, -4*a - 4 = 0. Which is greater: z or t?
t
Let j = 0.037 - -0.023. Which is smaller: 2 or j?
j
Let b = 139/5 - 28. Which is bigger: 1 or b?
1
Let c = -63/2 + 32. Let j = 4/95 + 257/665. Are c and j nonequal?
True
Let p be (-11 + 15)/((-4)/6). Let r be 14/21*p/104. Which is greater: -1 or r?
r
Suppose -3*r = o - 4*r - 24, 5*o + r - 132 = 0. Suppose 5*z + 1 - o = 0. Which is smaller: 6 or z?
z
Let c be (-2 - 18/(-10))/1. Is -4 at least c?
False
Let j = -1/6 + -13/102. Let y = -61/323 - j. Is y at most 1?
True
Let m = 23 - 27. Which is smaller: -6 or m?
-6
Let y = -104 + 105. Is y < -1?
False
Let r be 2*1 - 875/546. Let z = r - 3/13. Is -0.1 greater than z?
False
Let f be 16/6 + (-2)/3. Let n = 49553/3 - 16379. Let d = n - 137. Which is greater: f or d?
f
Let p be 158/(-42) + 2*21/98. Which is smaller: p or 2/9?
p
Let f = 10 + -5. Which is greater: f or 1/6?
f
Let t be (-11)/(-2)*84/(-10). Let v = -46 - t. Let h = -4 - -1. Are v and h unequal?
True
Let n be -6 + (-3)/((-15)/25). Let f(k) = -42*k. Let l be f(-5). Let m = -1888/9 + l. Which is smaller: m or n?
n
Suppose -o + 3*o = -360. Let h = o + 559/3. Which is greater: 7 or h?
7
Let u = -6 - -8. Suppose -u = 10*q - 8*q. Do q and -2/55 have the same value?
False
Let f(w) = -w**2 + 5. Let g be f(3). Which is smaller: g or 0.1?
g
Let j = 164/99 - 656/33. Let c = -18 - j. Let y = 0 - -1. Are c and y nonequal?
True
Let r = -13 + 13. Which is smaller: 1 or r?
r
Let r be (-9)/4*(-16)/6. Let x(o) = -o**2 - 12*o + 3. Let s be x(-6). Let y be 2*(-4 + s/6). Which is bigger: r or y?
r
Let j = -0.3 - -3.3. Let m = 0.3 + -0.3. Let a = m - -0.1. Which is bigger: a or j?
j
Let a = 11 - 6. Suppose -3*y - 4*p - 2 - a = 0, -4*y + 4*p + 28 = 0. Is y at most as big as 1?
False
Suppose 0 = -4*n - 3*m - 4 + 5, -3*m + 7 = n. Let u = -5 - -2. Is u != n?
True
Let p be (-17)/(-8)*-2 - -1. Which is bigger: p or -4?
p
Let j = -41/2 - -21. Let k(y) = -4*y**2 - 65 + y**3 - 2*y**2 + 66. Let m be k(6). Is m greater than or equal to j?
True
Let t = 8 - 74/9. Which is bigger: 0.1 or t?
0.1
Let r = -0.1 + -0.6. Is r > 3?
False
Let f = 0.09 - 1.29. Let x = f - 6.8. Which is smaller: x or -2/3?
x
Let k = -1.357 + 1.4. Which is smaller: 2/7 or k?
k
Suppose l - 2*r + 3 = 0, -l - 4*r + 3 = -24. Which is smaller: 6 or l?
6
Suppose 4*i + j - 4 = 0, 2*j = i - j - 14. Suppose 2*b = -b + 2*q, -q - 7 = i*b. Let w be b*((-5)/2 + 2). Which is smaller: w or 2?
w
Let u = 51 - 51. Is -7 != u?
True
Let x = 76 - 95. Do x and -19 have different values?
False
Let b = 0.42 - 2.42. Which is bigger: b or -38/5?
b
Let m(c) = -c**3 + 5*c**2 - 2*c - 5. Let d be m(4). Let z = -9 + 11. Is z equal to d?
False
Let r = 0.59 - 10.59. Is r >= -0.1?
False
Let m be 2/(-3) + (-14)/(-3). Suppose -m*w = -2*w + 8. Let v be w/3*(-3)/22. Which is bigger: v or -1?
v
Let r be 8/(-6)*12/(-8). Let z be r/7 + 39/84. Which is bigger: z or 1?
1
Let u = 0.8 + 0.2. Let s = 8 - 25. Let a = -14 - s. Which is bigger: u or a?
a
Suppose -13 = -3*g + 2. Suppose 4*i = 5*c - 18, -4*i + 2*i + 36 = g*c. Suppose -3*a + 1 = -c*a + 2*m, -3 = 5*a - 2*m. Is 2/17 less than or equal to a?
False
Let i = 0 - 0.4. Let n(o) = o**2 - 8*o - 8. Let p(s) = -s**2 + 7*s + 7. Let j(z) = -3*n(z) - 4*p(z). Let w be j(5). Which is smaller: w or i?
i
Let u = 106685/24 + -4442. Let v = -15/8 + u. Are 1 and v unequal?
True
Let g(t) be the third derivative of t**4/24 - t**3/3 - t**2. Let o be g(4). Suppose 2*s - 10 = -3*s. Is s at most as big as o?
True
Suppose 4*b = 3*a + 1, 0 = -b + a + 4*a - 4. Which is smaller: b or 3/31?
3/31
Let b be (-2 - 0)*1 + 1. Which is greater: -2/183 or b?
-2/183
Suppose -3*y = 2*j - 1 + 2, -4*j - 3 = 5*y. Let p = 4 - y. Suppose t = -4*x + 3*t - 12, -p*t = -x - 13. Which is greater: x or -0.1?
-0.1
Let m be (-5190)/(-75) - (-2)/(-10). Are 2 and m equal?
False
Let l(s) be the first derivative of 2*s**3/3 + s**2/2 - 4. Let p be l(-2). Are p and 6 equal?
True
Let w = -214/351 + 4/27. Let x = -20/3 - -146/21. Which is smaller: x or w?
w
Let l = -2321/18 - -129. Which is smaller: 1 or l?
l
Let o(a) = a. Suppose -3*s + 1 - 7 = -4*p, -3*p + 2 = -s. Let g be o(p). Let b = 1 + -3/5. Is g >= b?
False
Suppose 5*g = g + 24. Is 5 at most g?
True
Suppose 0*f = 4*f - 12. Suppose 18 = f*x + j, 2*x - 3*j + 24 = 6*x. Which is greater: x or 0.1?
x
Let i = -6.3 + 6. Let b = i + 0.4. Is 0 less than or equal to b?
True
Let t = 1/198 - -293/792. Let c(r) = -r - 1. Let y be c(1). Let v be y*(-1)/2 + 0. Which is smaller: t or v?
t
Let z = 4/137 + -221/2877. Let w = z + 47/105. Which is smaller: -2/9 or w?
-2/9
Suppose -5*d - 5*g + 15 = 0, 3*d - 4*d - 7 = -4*g. Let i(b) = -12*b**2 + b - 1. Let c be i(d). Let f be 20/c*4/(-50). Does -1 = f?
False
Let m be (-42)/(-136) + 3/(-12). Is m > -1?
True
Let k = 11 + -11.4. Let p = -0.4 - k. Is p less than 1/4?
True
Suppose n = 3*n - 36. Let p = n + -14. Is p equal to 4?
True
Let q(r) = -4*r - 47. Let w be q(-11). Is 7 less than w?
False
Let x = -0.09 - -0.13. Which is smaller: x or 0.1?
x
Let a be (54/(-45))/((-1)/5). Suppose 5*g = 4*r - 28, 8 - 43 = -5*r - 5*g. Is a less than r?
True
Let c = -256 + 254.01. Let g = 0.01 - c. Let f = 0.9 + 0.1. Which is bigger: f or g?
g
Suppose 0 = -n - 4 + 5. Let d(x) = -6*x**2 - 3*x - 2. Let y(w) = 3*w**2 + w + 1. Let b(u) = -3*d(u) - 7*y(u). Let h be b(n). Is -1 less than h?
False
Let v(r) = -4*r + 1. Let y be v(3). Let a(p) = p**3 + 12*p**2 + 10*p - 6. Let l be a(y). Suppose l*s + 1 + 4 = 0. Are s and -1 non-equal?
False
Let m = 3 + -2. Let c = -52.9 + 56. Let h = -3 + c. Which is bigger: m or h?
m
Let l(b) = -b**3 - 3*b**2 + 5*b + 4. Let u be l(-4). Are u and 7/5 unequal?
True
Let q(m) = -m**3 + 19*m**2 - m + 20. Let i be q(19). Let f = 766/15 + -51. Which is smaller: f or i?
f
Let o be (-3 - -4)/(-4 - -3). Let a = 1742 + -8664/5. Let g = 43/5 - a. Which is bigger: o or g?
g
Let h = -263 + 1303/5. Is 0.1 less than or equal to h?
False
Suppose 5*p - 3*j - 5 = 0, 4*j = 4*p + 1 - 5. Let y be p + 10*1/(-8). Is 1 < y?
False
Let y be ((-4)/(-21))/((-12)/18). Let h = 153883 - 46934183/305. Let m = 2/61 - h. Which is smaller: y or m?
m
Let r = 13 - 7. Let v = 2 + -7. Let p = v + r. Are -3/4 and p nonequal?
True
Let p be (-12)/5 - (-2)/5. Let v(w) = w**2 - 4*w - 3. Let a be v(4). Let k = a - p. Which is smaller: -4/5 or k?
k
Let b = -1 + 5. Suppose 4*h = 2*l - 14, -3*h - 15 = -2*l - b. Let g = -2/115 + -212/1035. Is g greater than or equal to l?
False
Suppose 0 = 3*r - 11 - 4. Let a = 55 + -35. Suppose -4*u + a = 3*y - 6*y, u - r = 4*y. Is 1 <= y?
False
Let t be 16/8 + (-9)/4. Suppose -5*v + 2*v = 0. Which is smaller: t or v?
t
Let i = 5.2 + -1.2. Let l = i + -5. Which is smaller: -1/8 or l?
l
Let w be (-1)/4 - (-7)/(-4). Let m be (0 + -1)/(2/4). Is m smaller than w?
False
Let a = -0.2 + 0.3. Let k = 1.6 + -2. Let m = 0.3 + k. Is a less than or equal to m?
False
Let o = -7.3 - -7. Let n = -1.7 + o. Let m be (6/14)/(-3)*2. Which is smaller: m or n?
n
Let d be 232/56 + 3/(-1). Which is smaller: d or 0?
0
Suppose 0 = 4*k - 3 - 1. Let q = 9.2 - 9. Which is smaller: k or q?
q
Let y be (1142/(-24))/(2/6). Let z(f) = 2*f**3 - 5*f**2 + 3*f + 2. Let n be z(5). Let v = n + y. Which is greater: -1/4 or v?
-1/4
Let g = 30.8 + -35. Let j = 0.9 + 3.1. Let q = g + j. Are 1/2 and q nonequal?
True
Let a = -7 - -13. Let r = -0.029 - -0.229. Is r greater than a?
False
Let m(l) = l**3 + 13*l**2 - 14*l - 1. Let k be m(-14). Let j be 2 - 9*(-6)/(-26). Which is smaller: k or j?
k
Let r = -659 - -30975/47. Which is smaller: r or 0?
0
Let z be 0/(-4) + 4 + -5. Is -1 greater than or equal to z?
True
Suppose -y - o - 5 = 4*o, 0 = o + 1. Suppose a = -k + 1, -k + y*a - 1 = -a. Which is bigger: -3/8 or k?
k
Let b be 1*(-5 + 3 + -5). Is b less than or equal to -5?
True
Suppose -u + 3 = 0, -5*u + 4 + 5 = g. Which is smaller: g or -4?
g
Let z(n) = -35*n + 9. Let c be z(2). Is c not equal to -61?
False
Suppose -w - 38 = 2*m, -5*w + 50 = -5*m + 3*m. Which is bigger: m or 0.1?
0.1
Suppose -3*q = 5*v - 46, 9*v - 5*v = -2*q + 36. Suppose 0*d - d - v = 0. Are -9 and d non-equal?
True
Suppose -5*a + 15 = -5*v, 4*a - 10 - 2 = -4*v. Let g be (7 - a)/((-2)/(-1)). Let k = -1 + g. Is k greater than or equal to 1?
True
Let c = -