gger: f or g?
f
Suppose -10 + 10 = -5*x. Which is bigger: x or 22?
22
Let w be (22/8 - 3)*2. Let d = 15 - 11. Let h = -3 + d. Which is greater: h or w?
h
Let c = -8 - -4. Let w be (-4)/c + -4 + 0. Is 0 != w?
True
Suppose 3*y - v - 37 = 0, -2*y = -3*y + 4*v - 6. Which is bigger: 13 or y?
y
Let s = 0 + 0. Let f = 3.05 + -3. Let w = f + 0.95. Is s not equal to w?
True
Let h be 2/(-5)*(-25)/4. Suppose 3*n + 0 + 6 = -3*t, 5*n - 2*t + 3 = 0. Let b be (-45)/(-12) + n/(-4). Which is bigger: h or b?
b
Let j be -2*(-4)/(10/5). Is j less than 5?
True
Suppose 4*t = -0*t + 4. Let j be (-3)/t*(-10)/6. Is -0.1 less than j?
True
Let o = 476 - 72826/153. Let g = -167/1071 + o. Let t(x) = -6*x**2 + 31*x - 6. Let a be t(5). Is g less than or equal to a?
False
Let q = -33 - -33. Is 1 bigger than q?
True
Suppose 0 = 13*l - 11*l. Let r(a) = a**2 - 3. Let s be r(l). Suppose 4*y + 0 + 8 = 0. Do s and y have the same value?
False
Suppose 0*l + 8 = 2*l. Suppose -4*d + 10 = x, 0*d + d - 25 = -l*x. Do 6 and x have different values?
False
Let z be -2 - (-267)/108 - (-4)/(-16). Do 4/19 and z have different values?
True
Suppose -19 = -5*d + 56. Let l = 18 - d. Which is smaller: -1 or l?
-1
Let a(k) = -k**2 + 9*k - 2. Let c be a(8). Let u be ((-6)/4)/(6/(-8)). Suppose 4*n = -u + c. Do n and 1 have different values?
False
Let i = 14.926 - 0.226. Let f = -14 + i. Does -2/3 = f?
False
Let c = 4 + -11. Does c = -7?
True
Let l be 3*2/24 + 6/(-8). Which is smaller: l or 62?
l
Suppose -7*g + 3*g + 34 = 3*z, 0 = -3*z + 5*g + 79. Let b = z + -9. Is b greater than or equal to 9?
True
Let x = 113 - 175. Is x greater than or equal to -62?
True
Let o be 2 - ((-4)/3)/(21/(-9)). Suppose 2*s - 3 = 1. Is o at least as big as s?
False
Let q = -1.93 + -0.07. Which is bigger: -0.6 or q?
-0.6
Let p = 29.09 - 29. Let n = -202/21 + 28/3. Does n = p?
False
Let j = 1 - 0.4. Let k = 0.1 - j. Let s = 0.5 + k. Which is greater: s or -2/7?
s
Let b(x) = -10*x - 6. Let c be b(1). Is c less than -15?
True
Let o = 0.15 - 0.35. Are -3 and o unequal?
True
Let d = -6 + 5. Let l be (-1 + (-4)/(-6))*d. Let z = -2 - -3. Is z greater than l?
True
Let o(c) = c**2 - 6*c + 5. Let x be o(5). Let t = 5 + -8. Which is smaller: t or x?
t
Let o(v) = v**3 + 11*v**2 + 9*v - 8. Let t be o(-10). Let a(f) = f**2 + 8*f + 4. Let h be a(-3). Let g be (t/(-5))/(h/5). Do 0 and g have the same value?
False
Let k be (1/8)/(2/4). Let x(h) = h**2 - 3*h + 1. Let n be x(5). Suppose 4*q + 5*a - n = 3, 0 = -5*a + 10. Which is bigger: k or q?
q
Let u = 9 + -8. Which is greater: 7/5 or u?
7/5
Let b = 12 - 15. Which is smaller: b or -5?
-5
Let w = 73.875 + 0.125. Is w >= -1?
True
Let o be (1 - -3) + 6/(-2). Which is smaller: o or 10/7?
o
Let h = -0.03 + 0.03. Let k be 27/21 + (-2)/7. Is h less than or equal to k?
True
Let d = 1 - 0. Let s be d*((-4)/(-2) - 3). Suppose -5*l + 3*y - 20 = 0, -2*y + 4*y = l + 11. Does l = s?
True
Let v = 0 + 1. Which is smaller: -5/11 or v?
-5/11
Let b = -1 - -1. Let w = 1.5 + -1.39. Do b and w have the same value?
False
Let p be 3/6*(4 - -20). Suppose 3 = -3*l + 2*g, -2*l + 3*g = -5 + p. Suppose 0 = -t - m + 3, -2*t - 8 = -0*t - 5*m. Is l bigger than t?
False
Let t be (-5)/(-3)*2/(-2). Suppose -7*m + 1 = -8*m - 4*k, 5*k = -m - 1. Is m equal to t?
False
Suppose -u - 10 = 4*u. Which is smaller: -4/3 or u?
u
Suppose -3*j + 2*r - 6*r + 12 = 0, 2*j = r + 8. Suppose -p + 2*p + 4 = 3*u, 5*p - j*u + 9 = 0. Let n be p/9*(-5 - -3). Which is greater: 0 or n?
n
Let r = -5 + 4. Let w = r - -3. Let g = -3 + 5. Is g > w?
False
Let p(i) = i**3 + 7*i**2 - 1. Let z be p(-7). Which is greater: z or -2/29?
-2/29
Let t = -3/14 + 25/84. Is 0 equal to t?
False
Suppose 6*h = 7*h - 8. Is h < 10?
True
Let s be 18/15*(-10)/3. Let g be 1 + s*2/(-4). Suppose g*j = -0*j. Is j greater than or equal to -1?
True
Let p = 41815 + -293206/7. Let g = p + 72. Do g and 0 have the same value?
False
Let n be (-164)/55 - (3 - 6). Is n greater than 0?
True
Let b(a) = -a - 4. Let j be b(-6). Let m = 7 - 9. Let n be (-8)/(-4) + j/m. Is 1/2 <= n?
True
Let y = 1887 - 17039/9. Is y <= -7?
False
Suppose 5*z = 18 - 73. Is -0.2 <= z?
False
Let u(t) = 2*t - 1. Let v(g) = -g - 3. Let j be v(4). Let k be u(j). Let d be k/(-20) + 2/8. Is 0 at least as big as d?
False
Suppose -2 = -2*g + 2. Suppose 17 - g = -3*v. Which is smaller: -2 or v?
v
Suppose 2*b - 20 = -4*l + 6*b, -l + 13 = -3*b. Is -2/141 > l?
False
Let f(r) = 2*r - 7. Let s be f(6). Let i = 9 - s. Which is smaller: 5 or i?
i
Let z be 0*(36/(-8) - -4). Let u be 1/4 + (-1)/4. Is u at least as big as z?
True
Suppose -3*r = -5*d - r + 216, -2*r = 6. Which is greater: 41 or d?
d
Let j be 8*((-39)/(-2) + 3). Let x be (-147)/j - (-3)/4. Does 1 = x?
False
Suppose 3*x + 6 = 4*l - 4, 5*x - 4*l + 6 = 0. Is 7/8 greater than x?
False
Let p = -1.8 + 0.6. Let j = -0.2 - p. Let h = -23 + 23. Are h and j nonequal?
True
Let i = 4 - 4. Let z be (1 - -2)/(1 - -6). Which is greater: z or i?
z
Let z = 54 - 40. Is -2/9 at least as big as z?
False
Let t = -70 - -69. Does -12/17 = t?
False
Let x = 1.7 + -1.5. Do x and 1/2 have the same value?
False
Let l be 4/((-3)/(-18)*-4*-15). Is l at most as big as 1.6?
True
Let i(n) = -6*n + 4*n - 4*n + 4 + 3*n. Let f be i(3). Which is smaller: f or -2/5?
f
Suppose w = 4*w + 3*r + 12, 2*w + 4*r + 18 = 0. Is w equal to -0.42?
False
Let d = -1.85 + 2. Let z = d - 0.15. Which is bigger: 0.4 or z?
0.4
Let l = -131 + 392/3. Suppose j - 3 = 4*x - 2, 3*x - 1 = -j. Let q = j + 0. Which is smaller: l or q?
l
Let o be (-46)/4 + 4/8. Let n be 725/(-65) - 4/(-26). Is o greater than n?
False
Suppose -14 = -3*z + 4. Suppose 4*c - 14 + z = 0. Suppose 0*v = -c*v. Which is bigger: v or 2/11?
2/11
Let h be ((-15)/7 + 2)/((-105)/6). Is -1 at least as big as h?
False
Let z be 3/(24/28)*-2. Which is greater: z or -8?
z
Let x = 46 - 44. Let i(c) = -c - c**2 + 2*c**2 - 2 - 2*c. Let w be i(4). Is w > x?
False
Let r(f) = -f + 13. Let g be r(7). Suppose 2*n - g*n - 8 = 0. Let p be n/1 - 60/(-25). Which is bigger: p or 0.2?
p
Let w = 4 + -6. Let u be w + 3 + (-22)/20. Which is bigger: u or -1?
u
Suppose 4*r = -3*p + 8 + 5, -5*r + 20 = 5*p. Let n be 38/(-10) + (-2)/10. Let w = n - -6. Is w >= p?
False
Let o = 6 - 7. Let f = -1 + o. Is f <= -3?
False
Let v = 54 - 54. Is v equal to 1/3?
False
Let o be 4 + (-1 - 1) - -1. Suppose 4*t - 3*t = o. Are t and -1 equal?
False
Let c(t) = t**3 - 7*t**2 - 9*t + 11. Let p be c(8). Suppose -4*m = 4*l - 4, 4*m - 2*l + 7*l - 3 = 0. Which is smaller: m or p?
m
Suppose 3 = -m + 5. Suppose 0*l = -l - m. Let j = -10 - -8. Is l less than or equal to j?
True
Suppose -4*w - q + 83 = 0, 2*w - 5*q - 24 = 23. Suppose -19*l = -w*l + 2. Which is smaller: 1/5 or l?
1/5
Let r be (-203)/(-84) + (-2 - 15/(-12)). Is 2 greater than r?
True
Let w(y) = -y**3 + 3*y**2 - 1. Let t be w(3). Let h = -1 - t. Which is smaller: 1/5 or h?
h
Let i be (-2)/(15 - (-3 - 0)). Which is smaller: 0 or i?
i
Let z(n) = -3*n - 1. Let a be z(1). Suppose o = -0*o - 3. Is a at most o?
True
Let r(k) = -k**3 - 7*k**2 - 7*k - 3. Let z be r(-6). Let f be 1/(1/z) - 2. Is f at most 1?
True
Let n(k) = -k**3 - k**2 + 1. Let h be n(-2). Let v be (0 - (-4)/6)*93/(-62). Which is smaller: v or h?
v
Let a = -22 - -32. Let u be 22/5 + (-4)/a. Which is bigger: 3 or u?
u
Let n be 4 - (21/9 - (-4)/(-12)). Do n and -10 have different values?
True
Let j(s) = 7*s + 38. Let z be j(-7). Which is smaller: -2 or z?
z
Let k = 63 + -91. Is k at most as big as -28?
True
Let y = 11 - 4. Suppose -4*c + y*z = 2*z - 2, 2*z = 2*c. Which is smaller: c or -5/3?
c
Suppose 3*r + 2*l = 10, 0*r - 4*l + 8 = 3*r. Let k(c) = c. Let g be k(1). Which is smaller: r or g?
g
Suppose -2*a = 5*o + 23 + 52, 4*a = 2*o - 138. Is -36 < a?
True
Suppose -7*v = -3*v - 44. Let j = -10 + v. Let z be 2/(-4) + 1/4. Is j less than or equal to z?
False
Let u(l) = -l - 1. Let f(k) = -2*k - 28. Let t(z) = -f(z) + 3*u(z). Let p be t(15). Is 10 less than p?
False
Let w be (-1*4 + 14 + -10)/3. Which is greater: w or 2?
2
Suppose 2*a - 25 = 5*i + 15, -i - 1 = a. Let j be (1/i)/(1/(-2)). Let w = 0 + -0.1. Is w greater than j?
False
Let f be 214/(-9) - 12/54. Suppose 2*s = -s - 6. Let w be s/f + (-4)/12. Which is smaller: 0 or w?
w
Suppose -3*a - 17 = -2. Is a at most as big as -5?
True
Let j