1?
1
Let n = -0.09 + -1.91. Let s = 6 + n. Let z = s - 4.2. Which is smaller: 3 or z?
z
Let w(u) = -156*u - 624. Let q be w(-4). Which is smaller: q or -3/1681?
-3/1681
Suppose -21 = -3*d + 18. Let i(f) = f**2 - 8*f - 65. Let x be i(d). Which is bigger: x or -4/9?
x
Suppose -3*r + 29 = n, 5*r + 5*n - n = 53. Suppose -r*a = -5*a + 12. Which is smaller: a or -2?
a
Let s = -47.988 - 0.012. Which is smaller: s or -6?
s
Let o(t) = t**2 + 2*t - 4. Let c be o(0). Let u be ((-4)/10)/(c/(-5)). Let y = -301 + 2111/7. Which is bigger: y or u?
y
Let w = 0 - 0. Let f = -0.2 + w. Let l = -9/5 + 6/5. Which is smaller: l or f?
l
Suppose 5*s = -197 + 72. Let j(q) = -3*q**2 + 2*q - 1. Let u be j(1). Let l be u/6 - s/(-15). Is -2 smaller than l?
False
Let h be (4/(-8))/(2/20). Let i = h + -16. Which is bigger: -22 or i?
i
Suppose -3 = -5*m - 28. Let b = 3/181 + -5267/1086. Is m >= b?
False
Let o be 30/(-621) - 42/(-189). Which is smaller: o or 0?
0
Let c = 4720319767/714 - 6611091. Let k be 1368/(-336) + (-3)/(-1). Let n = k + c. Which is smaller: -1 or n?
-1
Suppose -22*b - 9*b = 0. Are b and 144 non-equal?
True
Let x be (-48)/(-1768) - (-2 - -2). Let t = x - 461/8840. Is t equal to 1?
False
Let u = -188 + 188.3. Is u <= -0.011?
False
Suppose 5 = -2*x - 7. Let q be 8*6*x/42. Let j = -268/35 - q. Which is greater: j or -1?
j
Let y(v) = 8*v + 22. Let q be y(-6). Suppose -2*a - 432 = -3*t + a, -2*t + 4*a + 290 = 0. Let g be 3/44 - q/t. Which is smaller: 4 or g?
g
Let d = -35.2 + 22. Let u = 13 + d. Let h = 0.2 + u. Is h greater than 5?
False
Let a be (-2)/6 - 4/132. Suppose -4*x = 5*w - 16, 5*w - 12 = -9*x + 6*x. Which is bigger: w or a?
w
Suppose -2*c = -v + 6*v - 7, -c + 5*v + 11 = 0. Suppose -2 = 2*f - 4. Let g(b) = b + 1. Let k be g(f). Is k at least as big as c?
False
Let m be -5*4/8 + -1. Let x = -9 - -12. Let z be 4/(-6)*x + -2. Which is smaller: m or z?
z
Let w = 9.67 - -0.33. Let m = w + -7. Which is bigger: 6 or m?
6
Let v = -34 - -35.7. Let c = v + -1.72. Let k = c - -1.02. Is -6 equal to k?
False
Suppose -2*o - 270 = -2*v - 140, -5*o + v = 341. Which is smaller: o or -139/2?
-139/2
Suppose 2*b = -4*t - 0*b - 152, 4*b = 4*t + 176. Let n = t - -39. Which is bigger: 4/37 or n?
4/37
Let q = -23825/344694 + 196/849. Let g = q + -1/42. Which is greater: 1 or g?
1
Let b = -2664 + 2663. Is 409/9 > b?
True
Suppose 8 = -2*o, 5*o - 2708 = -0*c - 4*c. Is 682 <= c?
True
Suppose 2*p = -w + 10, 3*p + 18 = -w + 8*p. Suppose 0 = -3*v + 4 + w. Let s(u) = u**2 + 2*u + 2. Let t be s(-1). Is v > t?
True
Let i = -5 + 6. Let t be i + 2 + 2*51. Let a be (-12)/(-18) - t/171. Is 1 greater than a?
True
Suppose -5*o - 18 = -418. Suppose o = 3*q - 8*q. Let x = 6 + q. Which is bigger: -11 or x?
x
Let b = 102 - 101. Are 8/5 and b nonequal?
True
Let a be (-78)/360 + (-10)/(-30). Which is greater: 1 or a?
1
Let b(i) = -2*i - 5. Let n be b(-5). Suppose -42 - 38 = -n*g. Let k = -18 - -32. Is g smaller than k?
False
Let a = 3.6 - 3.56. Let p = -0.24 + a. Suppose -3*w - 10 - 2 = 0. Is w less than or equal to p?
True
Let y = 41 + -77. Which is smaller: 9 or y?
y
Suppose 18 - 5 = -x. Let q = x + 25. Suppose 0 = -5*g + 5 - 0. Is g less than q?
True
Suppose 3*a + 11 - 179 = 0. Let m = a + -58. Which is smaller: -9/7 or m?
m
Let q = -2.3 - -0.35. Let b = -2.4 - q. Is b < 0.1?
True
Let m = -11/62 + 437/3162. Let y be (-3)/(-18)*-3*2. Which is greater: y or m?
m
Let r = -452 + 457. Which is greater: -1 or r?
r
Let f be (-271*3/40)/((-6)/4). Let r = f + -55/4. Which is bigger: -1/16 or r?
-1/16
Let o(p) = p**3 - 14*p**2 + p - 8. Let w be o(14). Let g be ((-2)/w)/(1 + (-65)/60). Which is smaller: 5/2 or g?
5/2
Let i(q) = -25*q + 19. Let c be i(-2). Is c at most 1/4?
False
Let x be 0 + -1 + 75/69. Let o(w) = -41 - 19*w + 11*w + 10*w. Let b be o(20). Are x and b unequal?
True
Let h(n) = -51*n**2 + 2*n - 6. Let l be h(5). Let j be (-1)/(-2) - l/90. Let i = -72/5 + j. Which is smaller: i or -0.1?
-0.1
Let t = 127/4 - 32. Let k be ((-2394)/35 - -6)/(18/(-20)). Let c = 70 - k. Which is smaller: c or t?
t
Let v be (15/(-10))/(25/(-30)). Which is smaller: v or -2/5?
-2/5
Let x(q) = -q**2 - 12*q + 6. Let d be x(-8). Suppose 2*h = 4 + d. Let p = h - 20. Which is greater: 0 or p?
p
Suppose 2*v - 7 = p, -p + 5*v - 37 = -5*p. Let j be ((-2)/(-6))/((-5)/p). Suppose -b = 13*b + 4*b. Which is bigger: j or b?
b
Let p be 1/(-2) - 7/(-14). Let h be (-24)/8 - 370/(-122). Which is smaller: h or p?
p
Let f be ((-1962)/(-198) - 6*-1)*2. Which is greater: 32 or f?
32
Let r be (9400/12)/5 + -1. Let j = -10735/69 + r. Suppose 5*v = -0*t + 2*t - 15, -2*v + 4*t - 22 = 0. Is j equal to v?
False
Let m(c) = 219*c**2 - 17*c - 39. Let r be m(-2). Is 872 bigger than r?
True
Let a = -0.6 - 2.4. Let m = -0.5 + -0.9. Is m < a?
False
Let t = -263 - -251. Which is smaller: t or -17?
-17
Let l be 56/(-420) - (-1183)/(-15). Is l at most as big as -80?
False
Suppose 0 = -16*t + 17*t - 17. Are 8 and t nonequal?
True
Let j = -184978/63 + 2936. Which is smaller: -1 or j?
-1
Let w = -41 + 45. Suppose 2*q = -3*l + 1, -22 + 66 = 3*q - w*l. Suppose -18 = -3*n + n. Is n > q?
True
Let t = -1 + 5. Let k be t/(-2)*(-9)/30. Let w be ((-40)/16)/((-30)/24). Is w <= k?
False
Let x = 1764 - 1765. Is 7/78 greater than or equal to x?
True
Suppose 0 = -4*u + 5*u - 16. Let g be -6*(250/u - -3). Let y = g + 111. Which is smaller: y or 1/5?
y
Let z be (-10)/(2/(-8) - 0). Suppose -4*r - 2*a = -3*r - 28, -4*a - z = -r. Suppose -r = -4*j + 4. Which is smaller: 8 or j?
8
Suppose 25*p - 20*p = 5. Is -8 > p?
False
Let c be 4 + -6 - (10 - 0). Let g be 1014/c*1/(-2). Let j = g - 42. Is 7 bigger than j?
True
Let s be -3 + (-6)/15*-7. Suppose 24 + 0 = 2*r. Let z be r/4*(-3)/9. Is z >= s?
False
Let h = 1 + -8. Let o(w) = w**3 - 17*w**2 + 30*w - 8. Let v be o(15). Which is greater: h or v?
h
Let x(b) = b**3 - 20*b**2 - 46*b + 45. Let m be x(22). Let y be ((-2)/(-2))/(-21 + -2). Which is greater: y or m?
m
Let n = 70 + -135. Let i = 56 + n. Let w = 12 + -22. Do i and w have different values?
True
Let v(x) = -x**3 - 39*x**2 - 103*x + 147. Let f be v(-36). Let l = -46 - -13. Is f at least as big as l?
True
Let f be (-14)/(-105)*6 - (-48)/(-10). Is f at least -7?
True
Let q = -73 - -1313/18. Let d(i) = -8*i**2 + 8*i**2 - i**3 + 16*i**2 - 15*i. Let y be d(15). Which is smaller: q or y?
q
Suppose -5*l + 6*l = 52. Suppose a - 5*a = 3*g - 78, -2*g - 2*a + l = 0. Is g != 26?
False
Let j be (-3)/(-1*6/26). Let x be 0 + 14 - (-27)/(-9). Which is greater: j or x?
j
Let p be 3 - 172/60 - (-4)/(-30). Is p >= -10/7?
True
Let w = 3 - 3. Let m(n) = -2*n**2 + 4*n + 10. Let r be m(-5). Let i be 6/(-21) - r/161. Is i less than or equal to w?
False
Let d(o) = -o**2 - 9*o - 2. Let t(u) = -2*u**2 - 17*u - 5. Let a(k) = -7*d(k) + 3*t(k). Let j be a(-11). Let q = j + 10. Which is smaller: q or -9/4?
-9/4
Let c be 2/2 + (-46)/(-4). Let r = -105 - -75. Let i be 13 - 16 - r/2. Is i < c?
True
Let u = 353 + -18005/51. Let r = u - 5/306. Which is greater: r or -1?
r
Let v = 174.2 - 76.2. Which is smaller: 1/5 or v?
1/5
Suppose 4*z = 3*z + 3. Suppose 4*s + z*d - 2 = 0, s + 4*d + 4 = -s. Suppose 1 = s*t - t. Which is smaller: -1/4 or t?
-1/4
Let q be -10*(10 + (-115)/15). Which is smaller: -24 or q?
-24
Let f(s) = -1. Let d(m) = -2*m - 5. Let r(c) = c**2 - 2*c. Let v be r(1). Let u(y) = v*f(y) - d(y). Let h be u(-3). Is h at least as big as 3?
False
Let s(v) be the third derivative of -1/6*v**3 - 1/24*v**4 - 1/60*v**5 + 0*v + 0 - 6*v**2. Let p be s(0). Which is smaller: 0 or p?
p
Let t be (0 - (-5 + 1))*3. Let a be (1/50)/(t/(-268815)). Let z = a + 448. Which is smaller: z or 0?
z
Let m be (-2)/(-3) + (-10)/15. Let q = 3 + m. Let a be q - 2/4*14. Is a equal to -5?
False
Suppose -29 = 4*a - 5*t - 9, -2*t = 0. Is 0 less than a?
False
Let u = -1760 + 1807. Are 239/5 and u equal?
False
Let d = -88 - -108. Suppose 0 = 47*g - 43*g - 80. Is d != g?
False
Suppose -4 = -3*v + 2. Let m be (86 - 86)*1/(-2). Is m less than v?
True
Suppose 0 = 26*j - 21*j - 10. Suppose -q + j - 14 = -5*g, -5*g + 18 = -4*q. Do 3/19 and q have the same value?
False
Let f = 6 - 4.9. Let c = 0.06 - 1.26. Let h = c + f. Is h at least -1/3?
True
Let s(w) = 16*w - 3. Let k be s(6). Let h = k - 50. Which is bigger: h or 1/3?
h
Suppose 0