 z or f?
f
Let j be ((-3)/27)/((-39562)/(-12)). Let c = 5657380/415401 + j. Let m = c - 40/3. Is m equal to 2/3?
False
Suppose -2*u + 3 = -15. Let k = u + -4. Let x be (-8)/10 - (-2)/k. Is x equal to 1?
False
Let k = -257/30 + 55/6. Let h be (-1)/(-5) + 222/15. Let o be 1 + -1 + 15/h. Which is bigger: o or k?
o
Suppose -4*k - l - 20 = -0*l, 5*l = -2*k + 8. Is -6 at most as big as k?
True
Let l be ((-3)/6)/((-1)/(-6)). Is -5 less than l?
True
Let l = -5718.95 - -5536. Let j = 179 + l. Let v = 0.05 - j. Which is smaller: 0.1 or v?
0.1
Let y = -1.79 + 1.7. Which is bigger: y or -1?
y
Let u = 1 + -1. Let x = 4 - -1. Let l be (-8)/x - -2*1. Which is smaller: l or u?
u
Let s(n) = -n + 4. Let b be s(5). Is -1 at most as big as b?
True
Let h be 8620/25852 + (-1)/3. Let j = h - -4149236/96945. Let i = 4912/115 - j. Which is bigger: 0 or i?
0
Let g = -4 - -5. Let r be ((-44)/2 - g) + -2. Let s be ((-2)/r)/(3/(-15)). Which is bigger: 0 or s?
0
Let c = 10 + -3. Suppose 5*m + w = -43, -35 = c*m - 2*m + 5*w. Let n be (-2)/((-12)/m)*2. Is n greater than or equal to -3?
True
Suppose -5*o + h = 20, 2*h + 28 = -5*o - 7. Is o >= -5?
True
Suppose 0*c = -2*c. Let r = 0 + c. Let t be 10/14 - 2/(-7). Which is smaller: t or r?
r
Let m(y) = y**3 - 11*y**2 + 9*y + 11. Let o be m(10). Which is smaller: o or 0.9?
0.9
Let c(j) = -2*j - 3. Suppose 0*t - t + 5*m = -13, -5*t + 3*m - 1 = 0. Let o be c(t). Let k be (-2)/4*(o + -1). Is -2 < k?
True
Suppose 6*k + 33 = 9. Let g = 68 + -141/2. Do g and k have different values?
True
Suppose 7 + 5 = 4*k. Are k and 5/2 non-equal?
True
Suppose -3*p = -12 + 3. Suppose 0 = -3*s + 2*g, 4*s + 3*g + 0*g = 17. Which is smaller: s or p?
s
Let y = 16 + -12.4. Let g = y - 1.6. Which is bigger: g or -0.5?
g
Suppose -2*z = -5 - 5. Suppose 5*k - 3*o = -18 - 47, -o - z = k. Which is greater: -9 or k?
-9
Let o(w) = 2*w**3 + 37*w**2 + 21*w + 2. Let v be o(-18). Which is bigger: -51 or v?
-51
Let m be -1 + 2 + (-10)/(-9 + 4). Which is smaller: m or 2?
2
Let r be ((-10)/6)/(1/(-3)). Suppose -11 = z - 5*m, r*m = 3*z + 2*z - 25. Let x be (-4)/6*z/5. Which is greater: -1 or x?
-1
Let b be ((-6)/(-9) - (1 - 1)) + 0. Which is smaller: -18/13 or b?
-18/13
Let j(c) = 2*c**3 - c. Let m be j(-1). Is m bigger than 2/167?
False
Let d = -22343/33 - -677. Which is greater: 1 or d?
1
Let r = -292024/23295 + 4/1553. Let t = r + 66/5. Which is smaller: t or -2/7?
-2/7
Let g = 0.53 - 20.53. Which is greater: g or 0?
0
Let t = -4 + 6. Suppose a = t*a. Suppose 0 = -g + 3*m + 13, a = 4*g - 5*m - 15 - 2. Is g at least -3?
True
Let s = -5.4 + 3.4. Is s < -1?
True
Suppose -2*r - 26 = -90. Which is bigger: 31 or r?
r
Suppose -5*y = -3*h - 1, 0 = y + 4*y - 5*h - 5. Let u(s) = s + 1. Let a be u(y). Let f = 0.2 + -0.1. Are a and f unequal?
True
Let p be (-27)/63 - (-1)/7. Is 1 less than or equal to p?
False
Let k be 2*-8*(-2)/4. Let a be 0*2*2/k. Let f = 91/4 + -23. Is f bigger than a?
False
Let a = -99 + 94. Which is smaller: a or -3?
a
Suppose 0 = 2*s + s. Suppose 8 + 2 = 5*a. Suppose -a*u + s*n + 1 = n, -28 = 4*u - 4*n. Is 0.2 < u?
False
Let k = 1 - 1.1. Let n = -21 + 21.1. Let z = n - k. Which is greater: 0.1 or z?
z
Suppose 5 = 3*i - 10, i = 4*x + 141. Which is smaller: x or 3?
x
Let f = -1.4 - -1.7. Is 1 at most as big as f?
False
Let c be ((-39)/(-9))/((-3)/(-9)). Let x = 9 - c. Let k be 5/(-2) - (-1)/(-2). Which is bigger: k or x?
k
Suppose 3*f = -y - 1, -9 = -3*f - 2*f + y. Which is smaller: f or 5/9?
5/9
Let x be 25/35 + 2/7. Suppose 0 = -j - x. Let w be 1*10/6 - j. Which is smaller: w or 4?
w
Let h = -4.02 - -0.02. Let v = h - -10. Let p = v + -2. Which is bigger: 1/2 or p?
p
Let k = 5 - 5.2. Let y = -0.2 - k. Let v = -2 + y. Which is greater: 2/3 or v?
2/3
Let d = -1696/15 + 113. Which is bigger: d or 0?
0
Suppose -w - 7 + 11 = 0. Suppose 0 = w*u - 5*u. Let l = -212/7 - -30. Is u equal to l?
False
Suppose 0 = 5*d - 3*k + 5, 0 = -d - 3*d + 2*k - 4. Is d > -2/17?
False
Let b be (-4)/(-8) - (-3)/2. Suppose 2*n + 42 = -b*a, -3*a - 1 = -3*n - 46. Let i be ((-6)/n)/(1/3). Is i at most -2/13?
False
Suppose -4*q = -26 + 6. Suppose 4*p = q*y + 5, -y - 1 = 4*p - 7*p. Which is smaller: p or 1/7?
p
Let t be (-6)/(-4)*(-2)/(-18). Let f = -0.26 - -0.36. Is f less than t?
True
Let f(w) = w**2 - w - 1. Let n be f(3). Suppose -3*j - n = -8. Do 6/13 and j have different values?
True
Let v(r) = -11*r + 1. Let u be v(-1). Let h = u - 7. Let i = h + -5. Which is greater: -1 or i?
i
Let t(c) = c**2 - c + 5. Let b be t(3). Is b equal to 10?
False
Suppose -12 = 2*r + 3*x - 5, 12 = -4*x. Let u = 1 - 2. Let z = u - 0. Are z and r non-equal?
True
Let o be 8/9*(-10)/(-120). Let d = -7 + 6. Which is smaller: o or d?
d
Let p = 3 + -4. Is p <= 2/21?
True
Suppose 0 = 2*p + 4*g - 2770 - 994, -3*p = 5*g - 5645. Let q be 2/8 - 550/p. Are q and 1 equal?
False
Let t = 0.1 - -0.4. Let k = -0.8 + t. Let s = -0.3 - k. Which is smaller: -4/7 or s?
-4/7
Suppose y - 5*p = -3*y + 11, 4*y + 4*p = -16. Which is smaller: y or -15/8?
-15/8
Let l(c) = c**3 + 6*c**2 + c + 8. Let q be l(-6). Suppose 2*b = -2*b + 4. Is q at most b?
False
Let k = 4 + -6. Do -6 and k have the same value?
False
Let k(d) = d**2 - 5*d - 2. Let p be k(5). Let u be (-32)/(-144) + 70/(-72). Which is greater: u or p?
u
Suppose -2*g - 7*v + 3*v - 24 = 0, 3*v + 15 = -g. Let t = -4 - g. Let l = 9 - 6. Which is smaller: t or l?
t
Suppose 4 - 8 = 4*g. Which is smaller: g or -7?
-7
Suppose -v + 12 = 3*v. Suppose -j - 4 + 3 = -v*u, 4*j = 3*u + 14. Which is smaller: 2/11 or u?
2/11
Suppose -8*y + 470 = -186. Which is smaller: 81 or y?
81
Let y be ((-18)/(-15))/(2*(-1)/(-90)). Is y at most 55?
True
Let z = -8 + 16. Let m be 2/z + (-3688)/(-96). Let f = 38 - m. Which is smaller: f or 1?
f
Let a = 149/8 + -18. Which is smaller: 2 or a?
a
Let l = 0 + 4. Suppose -l = b - 0*b + y, 20 = -5*b + 5*y. Let p be 2/(-1)*2/b. Which is smaller: 2 or p?
p
Suppose -2*c + 5 = 45. Let a = -12 - c. Suppose a = 6*k - 2*k. Which is greater: k or 1?
k
Let t be 34/6 - 2/3. Suppose -1 + t = -2*q. Let w be (1 + (-1 - -2))*-1. Are q and w unequal?
False
Suppose -4 = -4*i - u, 3*i + u - 2*u + 4 = 0. Let m = -5.02 - -0.02. Let s = m + 3. Are s and i equal?
False
Let c(u) = -u**2 + 6*u + 3. Let i = 0 - -5. Let q be c(i). Let h = -5 + q. Which is bigger: 2 or h?
h
Let r = -0.047 - 6.953. Is 4 > r?
True
Let b = 20 - 20. Are -0.06 and b unequal?
True
Let n(j) = -j - 2. Let t be n(-6). Let r be t*(3 + (-13)/4). Is r != -5/3?
True
Suppose -4*h - 3*q - 28 = 0, 0 = -0*h + 3*h - 4*q + 21. Let t be 1/(-6) - h/(-14). Is 0 bigger than t?
True
Let t(g) = -4*g**2 + 10*g - 3. Let w(y) = 5*y**2 - 11*y + 3. Let x(n) = -6*t(n) - 5*w(n). Let f be x(-5). Suppose 0 = 4*k - k - 6. Is k equal to f?
False
Suppose 172013 = -5*z + 4*j + 787, -j - 1 = 0. Let p = z + 1506733/44. Let i = p - -20/11. Does i = -1?
False
Let a(d) = 4*d + 27. Let s(y) = y + 7. Let b(c) = -2*a(c) + 9*s(c). Let i be b(-7). Suppose -i*k - j = -1, -j - 3 = 3*k + 2*j. Are 2 and k nonequal?
False
Suppose 5*d + 4*g = 8*g + 23, 0 = -2*g + 6. Let z = d + -8. Which is bigger: z or 2/9?
2/9
Suppose 14 = -5*b + 3*b. Which is bigger: -5 or b?
-5
Let l be (1/(-2))/(-2 + 15/9). Let f = -5/6 + 1/2. Is f bigger than l?
False
Let w = -5 - -6. Let v be 6/(-4)*w*2. Which is bigger: v or -3/2?
-3/2
Let n(c) = c**3 - 6*c**2 - 7*c + 2. Let z be 6/21 - (-96)/7. Suppose -3*w - 35 = -5*j, 2*j - 3*w - z = -0*w. Let o be n(j). Is 3 greater than or equal to o?
True
Suppose 7*c + 5*c - 24 = 0. Which is smaller: c or 16?
c
Let m = 136/183 - 118297/1830. Let l = m + 64. Which is smaller: 1 or l?
l
Let z = -424/497 + -2/497. Let s be (-2)/(-7) + 20/(-70). Is s at least as big as z?
True
Let p be ((-21)/(-25) - 1)/((-266)/(-95)). Is -1 equal to p?
False
Let n be 0 - -1 - 2 - -5. Suppose n*r + u = -3*u - 8, u - 12 = r. Which is smaller: -8 or r?
-8
Let r be (-184)/64 + 3/1. Is r <= -1?
False
Let f = 0.5 - 0.7. Let y = -0.3 - f. Let i be (2/7)/(27/21). Does i = y?
False
Let d be 0/(-2 + 6)*1. Let s be (-2)/5*(-35)/7. Is s <= d?
False
Suppose 0 = -m + 3*j - 5, 5 = 2*j + 1. Is m at least as big as 2/25?
True
Suppose 2*c - 31 - 53 = 0. Let a = 24 - c. Let m be 4/18 - (-4)/a. Which is smaller: m or -2/5?
-2/5
Let j = -8/5 + 69/40. Let r(n) = -2*n - 1. Let w be r