ch is greater: 1/3 or n?
n
Let m = -19 + 20. Which is greater: 4/13 or m?
m
Suppose -4*b - v - 85 = 0, -5*b = -4*v + 67 + 34. Let t = b - -83/4. Suppose 6*z = 4*z. Do z and t have the same value?
False
Suppose 0*g - 3*g = 24. Suppose 25 + 2 = -3*d. Which is smaller: g or d?
d
Suppose -5*x + x = -5*u + 15, -22 = 2*u + 4*x. Let f = u + 1. Let y be 1 - f/(0 + 2). Do -1 and y have different values?
True
Let b = 27566787643/210 - 131270001. Let i = 2084/5 - b. Let g = -1/6 + i. Which is bigger: g or -1?
g
Let j = 242 - 240.93. Let h = 1 - j. Let v = 0.07 + h. Which is greater: v or -0.1?
v
Let f be -1*(0 - 3 - -2). Let a = 776/1285 + -1/257. Which is smaller: a or f?
a
Let l(p) = 2*p + 8. Let s be l(-4). Which is bigger: s or -2/63?
s
Let d be ((-1)/(-60))/((-5)/535). Let h = d + 7/12. Let v = -5 - -3. Is v > h?
False
Suppose -3*a = -2*d - 2, 16 = -a - a - 3*d. Let j = -1 + 3. Let l = j + a. Is l != 1?
True
Let p = -16 + 17. Is -8 < p?
True
Let k = 32 + -36. Let j = 12 + -18. Which is smaller: j or k?
j
Let w be 0*3/(-9)*3. Let m = 9555/16 + -597. Which is smaller: m or w?
w
Suppose 54 = 3*i - 0*i. Suppose 3*g + i = -3. Is -6 > g?
True
Let s = -852/7531 + -2/443. Do -0.02 and s have different values?
True
Let j = 38.5 + -39. Let v = 0.36 + -0.06. Let c = v + -0.2. Does c = j?
False
Let n(r) = -r**3 - 2*r**2 - 3*r - 5. Let s be n(-2). Do s and 9 have the same value?
False
Let l be (7/((-14)/4))/(-1). Which is smaller: 1 or l?
1
Let y = 0 + -0.2. Suppose -4*g - 20 = 0, 0*g + g - 1 = -3*x. Let w be -4 - (x - (-38)/(-6)). Do w and y have different values?
True
Let w be (-38)/10 - (-1)/(-5). Let v be w/(-18) + (-25)/(-9). Are 3 and v nonequal?
False
Suppose -4*m + 4 = -16, 2*c + 4*m - 22 = 0. Suppose -3*d = 3*l + 3, 4*d + 4*l + 7 = -l. Is d less than c?
False
Let h = -11 + 12. Suppose -10 = -4*w - x, -5*w + 17 = -4*x - 6. Let v = w + -1. Which is greater: h or v?
v
Let u = 8.3 + -7.3. Let y(l) = -l**3 - 6*l**2 - 5*l - 4. Let k be y(-5). Let d be (-3)/14*k/3. Which is smaller: d or u?
d
Suppose -4 = 4*c, -14 = -3*w + w + 2*c. Let p be (1/w)/((-6)/(-24)). Is 0 greater than p?
False
Let q(t) = t - 3. Let m be q(5). Let d be (m/(-4))/((-75)/(-20)). Is d at least as big as 0?
False
Let k = -5 - -3. Suppose -44 = -17*q + 6*q. Is q bigger than k?
True
Suppose -3*r - 42 = -5*h + 2*h, 0 = -2*r - h - 34. Is r at least as big as 0.1?
False
Let z = -20 + 19.5. Is z less than or equal to 0.3?
True
Let m = -18 + 0. Let i be ((-3)/6)/(m/8). Let z = -72 + 66. Which is smaller: z or i?
z
Let f(g) = -2*g**2 - g + 6. Let c(y) = 1. Let v(n) = 6*c(n) - f(n). Let l be v(-1). Which is bigger: -2/13 or l?
l
Let l = 3 + 0. Suppose -h - 4*x - 22 = 0, 2*h - 5*x = -l*h + 15. Are h and 0 unequal?
True
Suppose g - 6 = 13. Is 21 at most g?
False
Suppose -136*v + 139*v - 21 = 0. Do v and 9 have the same value?
False
Suppose 3*q = q + 6. Suppose -2*z = 3*u + 4 - 2, -12 = -2*u + 2*z. Suppose q*f + s + 3 = 0, -3*f = -0*s - u*s + 3. Is f >= 1?
False
Let d = 381/2 - 200. Which is smaller: d or -11?
-11
Let v(b) = -b**2 - 2. Let m be v(-2). Let q be (1 - (-14)/m)*-3. Suppose -n - q*n + 5 = 0. Which is greater: 0 or n?
n
Let u be (-21)/18 + 8/16. Is u < 2/31?
True
Let x(s) = s**3 + 13*s**2 + 16*s - 12. Let o be x(-12). Let n be ((-2)/(-3))/(4/o). Let l be ((-5)/(n/8))/(-3). Do l and 0 have different values?
True
Let d = -24 - -20.9. Let w = d - -3. Let t = w + 2.1. Is 2/5 >= t?
False
Suppose -b = -0*b. Suppose -x + 2*x + 2 = b. Which is greater: -4 or x?
x
Let p(n) = -n**2 + 13*n - 2. Let i be p(13). Is i at least 18?
False
Let m be (8/(-40))/(-1*(-9)/15). Let h = 3 - 1. Let d be 0 + (h/3)/(-2). Is d at least m?
True
Suppose -i - 6 = 3*c + 40, 3 = -c. Which is greater: -35 or i?
-35
Let k = 10 + -10. Which is bigger: k or -1?
k
Suppose -q - 1 + 5 = 0. Is q <= 4?
True
Let w(p) = -p**2 + 2*p + 7. Let t be w(5). Let y = 7 + t. Which is greater: y or 3/7?
3/7
Let w = 115 + -115. Is -4/49 at least w?
False
Let o = 0.27 - -10.73. Let s = 12 - o. Is s smaller than 0?
False
Suppose -2*y = h - 7*y - 10, 0 = -4*h - 4*y - 8. Suppose h*p + 3*p = 3. Let m be 3 + p + (-42)/9. Which is smaller: m or 0.01?
m
Let u = 23 - 14. Let a be 4/(-6) - (-6)/u. Let l be (0/(-4) + -1)/(-3). Is a greater than or equal to l?
False
Suppose -14 + 16 = -r. Let b = -4 - -2. Let j = b - r. Which is smaller: -2/9 or j?
-2/9
Suppose 2*i - 2*r + 294 = 0, i - 49 = -5*r - 178. Let s be (-2515)/2*16/(-140). Let m = s + i. Which is bigger: -0.2 or m?
-0.2
Suppose -g + 1 = 3. Suppose 47*v - 28 = 54*v. Is v bigger than g?
False
Let h(y) = -y + 5. Let j be h(4). Let i be j/(-3) + 8/(-3). Which is greater: i or -2?
-2
Let b = 362/391 + -24/23. Which is smaller: b or -1?
-1
Suppose 5*j - 33 - 7 = 0. Is j bigger than 8?
False
Let y = -36 + 178/5. Does y = 0.34?
False
Let z = -4 + 5. Let m(p) = -5*p. Let b be m(z). Let n be ((-8)/48)/((-2)/(-8)). Which is smaller: n or b?
b
Let s(n) = -n - 2. Let y be s(-4). Let h = y - 16. Are -15 and h equal?
False
Suppose 4*u = -2*m - 0 + 12, 0 = 4*m + 3*u - 14. Suppose 12 = -m*n - 2*j, n + n = 3*j + 8. Is n greater than or equal to -2?
True
Suppose -6*p - 16 = 4*g - 2*p, 3*g + p = -6. Let i = g + 3. Suppose 4*u - i*u - 4 = 0. Is 1 at least as big as u?
False
Suppose -5*p + 16 = -p - 4*f, -2*p = 2*f - 8. Is p <= 4?
True
Let w = -32 - 8. Is 1 less than or equal to w?
False
Let z be (-8)/12 + 11/3. Suppose 0 = -2*w + z*w + 1. Let h = 1/11 - -8/33. Is w bigger than h?
False
Let v(k) = -3*k**3 - 3*k**2 - 10*k - 5. Let w(h) = -h**3 - h. Let l(a) = v(a) - 4*w(a). Let j be l(5). Suppose -10 = 4*x - 0*s + 2*s, j = -5*s. Is x at most 2?
True
Suppose -5*z = -w + 19, -2*w + 3*z + 5 = -3*w. Suppose -2*y = w, -y - 2 = 2*a + 2. Which is greater: a or -2?
a
Let u be 2/(-12)*(-6)/4. Let n = 0.1 + -4.1. Let o = n - -3. Is o at least as big as u?
False
Let y be (-9)/(-12)*1/(-6). Let l = 3/8 + y. Let h be (0 - 1) + 2 + -1. Do l and h have the same value?
False
Let i = -35 + 57. Which is greater: -1 or i?
i
Let y(k) = -14*k**2 - 32*k + 5. Let h(o) = 8 - 6 + 2*o**2 - 7*o**2 - 11*o. Let v(r) = -11*h(r) + 4*y(r). Let i be v(-7). Is i < -1?
True
Let c = 0 + 2. Let x(t) = -t**2 + 16*t + 54. Let s be x(19). Which is greater: s or c?
c
Suppose 0 = -3*v - v + 12. Suppose 0 = -3*b + 4*a - 3 - v, 4*b + 8 = 3*a. Let y be b*(-3)/60*4. Are 7 and y unequal?
True
Let r be -34*2/(-36) + -2. Which is smaller: r or -2/3?
-2/3
Suppose -3*u + 42 = 3*i, 2*u + 5*i - 35 - 8 = 0. Is u less than 7?
False
Let r(z) = -z**3 - 9*z**2 - 8*z - 6. Let y be r(-8). Let v be (-4)/y*(-3)/2. Is 0.4 equal to v?
False
Let z be (-77)/(-22)*(-72)/119 - -2. Which is greater: z or 2/17?
2/17
Let g = 8.13 - 0.13. Let w = -17 + 10. Let j = w + g. Which is greater: 2 or j?
2
Suppose 2 = -3*s - 4. Let p be (s/(-6))/((-4)/(-316)). Let r = p + -26. Which is bigger: 0.3 or r?
r
Let z = 8.6 - -0.4. Do 0 and z have the same value?
False
Let j be (-4)/(-6)*(-1)/(-3). Let q be ((-10)/(-50))/(9/(-15)). Which is smaller: j or q?
q
Let b be (4/3)/((-14)/(-49)). Is 6 < b?
False
Let s(g) = -g + 2. Let o be s(2). Suppose -5*v + 15 = -o*v. Suppose -v*t - 15 = 3*c - 0*t, c - 5*t - 25 = 0. Which is greater: c or -1?
c
Suppose 11*n = 13*n. Let k be (-14)/10 + 6/(-10). Let p be (1/k)/((-2)/4). Is n bigger than p?
False
Let o be ((-31)/(-2))/((-2)/(-4)). Which is smaller: 32 or o?
o
Let f be -1 - (1 - (-1 - -1)). Which is smaller: f or -3/4?
f
Let n = 50 - 26. Suppose 0*x - n = -4*x. Are 6 and x equal?
True
Let n = 14 - 15. Which is smaller: n or 2/15?
n
Let u(o) be the second derivative of -o**4/12 + o**3/2 - o**2/2 - 2*o. Let j be u(3). Is 0 at most as big as j?
False
Let a be (-8)/((-1 - -2)*-2) - 35. Which is smaller: a or -89/3?
a
Let c = 931 - 1819/2. Is c smaller than 22?
True
Let n = 3.5 + -7. Let k = n - -4. Is k greater than 1?
False
Let b = 6 - 3. Let c = 13 - b. Is 1 less than c?
True
Let n be 114/(-30) - 1/5. Are -2 and n non-equal?
True
Suppose -6*i - 14 = 22. Which is smaller: i or -5?
i
Let q = 15 + -11. Suppose 16 = q*p - 0*f + f, -5*f - 16 = -4*p. Suppose 5*o = o - p. Do o and 1/5 have the same value?
False
Suppose -21 = 10*y - 7*y. Is y <= -9?
False
Let j = 121 - 122. Let d = -4 + 8. Let m be (-2)/(-24)*(-6)/d. Is m equal to j?
False
Suppose 572 = -5*s - 188. Let