-2. Which is smaller: w or -7/127?
-7/127
Suppose 28*c = -2*c - 870. Which is bigger: -28 or c?
-28
Let l be -12 + 15 - (0 - -3). Suppose 2*z = -5*j - l*z - 25, -j + 3*z = -12. Is j equal to -6?
False
Let n = 36485 - 36504.973. Let x = -0.027 + n. Which is smaller: 1 or x?
x
Let y = 8442 - 92778/11. Which is smaller: y or 9?
y
Let n be (184/(-4485))/(6/(-878)) - 6. Which is smaller: 2/7 or n?
n
Let b(p) = -p**2 - 4*p + 4. Let l be b(-5). Let r = -820 - -7388/9. Which is smaller: r or l?
l
Let w = 21 - 17. Suppose w*k + k = -10. Let a = -15 + 12. Which is greater: k or a?
k
Let l = 267 - 306. Which is smaller: l or -38?
l
Let q = -14/25 + -158/75. Let p = q + 7/3. Let h be (-2)/((-2)/(-2)) - (-6)/4. Which is smaller: h or p?
h
Suppose -25*m - 11805 + 1355 = 0. Which is greater: m or -416?
-416
Let s(u) = u**3 + u**2 - 9*u + 1. Let c be s(0). Which is greater: 12/49 or c?
c
Let r be 2/(-4) + 112/(-40) - -3. Which is smaller: r or 1?
r
Let f(b) = b**2 + 5*b + 94. Let v be f(0). Which is greater: v or 96?
96
Let d be (-4 + (-35)/(-10))*0. Suppose -4*m + 8 = -d. Suppose 12*v + m = 14*v. Is v > -3/23?
True
Let w = 14.972 - 15. Let s = w + -0.972. Suppose u = -0*u - 4*a + 23, -2*u = -2*a + 4. Is u smaller than s?
False
Let b(a) = -a**2 + 14*a + 49. Let f be b(17). Which is smaller: f or -1?
f
Suppose 0 = 3*t + 5*a - 105, -41*t + 46*t = 4*a + 138. Let f = -2 + 1. Is f less than or equal to t?
True
Let y = 53 + -63. Let i = 6.9 + 2.1. Let o = y + i. Which is bigger: o or 1?
1
Let u(b) = -7*b + 13. Let i(l) = l**2 - 6*l - 4. Let c be i(7). Let g be u(c). Is -2 < g?
False
Suppose 4*b - 4*r - r = -12, -b - 6 = -2*r. Let w be b/(-28)*(336/(-7))/2. Which is smaller: w or 2?
w
Let d = 48 - 38. Is d less than 54/5?
True
Let m be (5 - 36/30) + -3. Suppose 0*f + f + 3 = -z, -2*f + 3*z = -14. Which is greater: m or f?
f
Let l = -5.56 - -6.76. Do l and -13 have different values?
True
Let b(d) = 24*d - 41. Let l be b(4). Is l <= 37?
False
Suppose -3*a = -5*b - 599, 0 = 5*b - 8*b + 3*a - 357. Let c = -119 - b. Is 19 bigger than c?
True
Let a be (-4)/(-30) - (-108087)/(-45). Let j = 2413 + a. Let c = j - 11. Which is smaller: -3 or c?
-3
Let d = -14.75 - -6.838. Let g = d + -0.088. Is 2 < g?
False
Suppose 0 = f - 4*q + 30, -3*f - 111 = 2*q - 21. Is -88/3 less than f?
False
Let a be 74/6 - 22/(-33). Suppose 3*x - 7*x - j = -164, 0 = 2*x - 5*j - 104. Let s = -29 + x. Is a bigger than s?
False
Suppose -22*m + 140 = -20*m. Is 69 greater than m?
False
Suppose -15 = 2*p - 45. Let r be 246/390 + (-6)/p. Are r and -1 nonequal?
True
Suppose 0 = 57*j - 77*j - 20. Is j equal to -3/281?
False
Let t be (-1)/5*(-438 + -7). Let a = -88 + t. Is a bigger than -3/31?
True
Let t = -17 - -20. Suppose 0*a + 17 = -5*a + 4*f, 0 = -4*a + 4*f - 16. Is a at least t?
False
Let n(r) = 53*r + 4. Let v be n(2). Suppose -48*j = -50*j - v. Is j at least as big as -56?
True
Let r(s) = -s**2 + 7*s - 4. Let h be r(6). Let u = 2403 - 1314. Let o be h/9 + u/567. Which is smaller: 2 or o?
2
Suppose -8*w - 364 = -20. Is w != -43?
False
Let c = -242392/9 + 26886. Let g = -2791/63 - c. Are 3 and g nonequal?
True
Suppose g - 6*y + 2*y + 5 = 0, g + 5*y = 4. Let d(l) = -10 - 7*l - 8 + 2*l**2 - l**2. Let q be d(9). Are g and q non-equal?
True
Let j = -221/798 + -1/114. Let v(y) = -y - 5. Suppose -4*f - 11 = 3*q, 4*q - 6 = -f + 1. Let u be v(f). Which is smaller: j or u?
j
Suppose 0 = z + l + 6 - 8, 2*z = -4*l + 4. Suppose 22 = 4*n + 2. Suppose -z*v + n = -v. Is v > 3?
True
Let a be (-1 - (2 + -2))*5. Let j(b) = 7*b**2 - b + 5. Let i(v) = 6*v**2 + 4. Let w(n) = -6*i(n) + 5*j(n). Let h be w(-6). Are h and a nonequal?
False
Let g(p) = 112*p - 10. Let f be g(1). Is f at least as big as 102?
True
Let f = 57.883 + 0.117. Let l = f - 57. Which is greater: l or 11?
11
Let w(t) = -4*t**2 - 62*t + 33. Let f be w(-16). Let z be (1 - 0)/(1/41). Let j be 2/6 - z/141. Is f equal to j?
False
Let r = 201 + -201. Let h be 10/1*(-12)/(-125). Is r less than or equal to h?
True
Let z = 267 + -249. Is -19 less than or equal to z?
True
Let t(c) = -c**3 + 7*c**2 - c + 10. Let y be t(7). Suppose -y*a + 4*a + 4*n - 27 = 0, 0 = -4*n - 8. Let w be (-10)/12*14/a. Which is greater: 2/7 or w?
2/7
Suppose -2*n + 53 = -l, -l = -0*l + 3*n + 73. Let g = l - -55. Which is greater: 0.4 or g?
0.4
Let w = -0.09 - 2.91. Let i = -5 + w. Are i and 1 non-equal?
True
Let b = -23.9671 - 0.0329. Let f = -49.9 + 73.2. Let a = f + b. Which is bigger: 2/9 or a?
2/9
Let b be (-3086)/(-30) - 4/6. Let d = 103 - b. Is 0 >= d?
False
Let m(a) = 8*a - 327. Let u be m(50). Which is greater: u or 75?
75
Let a be (2/(-8))/((-13)/20). Suppose -4*k - 16 = -5*z, 0 = -5*k - 3*z + 17. Which is smaller: a or k?
a
Let v = -92 + 93. Is v greater than -4/45?
True
Let o = 112 + -111. Which is smaller: o or 4/273?
4/273
Let l(b) = b**2 + 4*b - 1. Let f be l(-5). Let m = 2770/1041 - -2/347. Which is bigger: f or m?
f
Let b be 0/((-2 - 11) + 12). Is -1/2344 equal to b?
False
Let a be -3 - (41/14)/(-1). Let m = 2 - 10. Let n = 9 + m. Is a > n?
False
Let t be (-1 - -2)*83/(-8)*2. Let s = -429/20 - t. Which is bigger: s or -2?
s
Suppose -66*c + 76*c + 5200 = 0. Is -518 greater than or equal to c?
True
Let o be 3 + 2 + 0 + -1. Suppose -5*g = -10, 3*i - o*g = -g. Do i and 20/9 have the same value?
False
Suppose 2*a + 3*a = -70. Let b = a - -20. Let j be (-4 + 2)*(-3)/6. Do b and j have different values?
True
Suppose 0 = -16*f + 17*f - 3. Suppose 0 = 3*y + f - 27. Are y and 9 equal?
False
Let a = -2629/14 + 375/2. Which is smaller: 8 or a?
a
Let p be (-13)/(52/(-24))*(-5)/15. Let x be 14/3 - 4/6. Suppose x*h - h = -6. Does h = p?
True
Let y = 109 - 52. Let a = 308 - 250. Is y at least as big as a?
False
Suppose 0*w = -w - 5*y + 60, -2*y + 57 = w. Do 55 and w have different values?
False
Let s(n) = n**2. Let p be s(0). Suppose p*u = 5*u - 100. Let l be -5*(76/u + -3). Is l at least -3?
False
Let p(c) be the first derivative of c**4/4 - 17*c**3/3 + 15*c**2/2 + 5*c + 34. Let z be p(16). Which is smaller: z or -10?
z
Let v be 2/(-3) + (-92)/(-3). Let j be (1 - (2 + -1)) + v/8. Is j at most 4?
True
Suppose 0 = -8*q - 32 - 8. Let v(x) = 13*x - 3. Let u be v(2). Let b = u - 27. Do b and q have different values?
True
Let w = -70899509/258 - -274805. Let y = -3/86 + w. Is y at most -3/4?
False
Let y(r) = -9*r - 103. Let a be y(-11). Is 0 bigger than a?
True
Suppose 3*x - 13*l + 9*l - 15 = 0, 0 = -5*x + 4*l + 17. Which is bigger: 0.57 or x?
x
Let w be 8/2*6/8. Let k be 8 - (4/10 - (-72)/20). Suppose -k*f + w*f = -9. Is 10 != f?
True
Let n = -168.07 + 170. Let s = n + 0.07. Let j = -134 - -142. Is j greater than s?
True
Let z = -5 - -3. Which is greater: 2/69 or z?
2/69
Let k = 937/2 + -468. Is k not equal to 1/46?
True
Let c = 2 + 1. Let h = 6.91 - -95.69. Let p = 103 - h. Which is smaller: c or p?
p
Let p = 27 - 20. Let c be 45/(-21) + -5 + p. Which is smaller: c or -1?
-1
Let n be (-1)/(2 + 3) + (-22)/(-10). Suppose -7*l = -5 - n. Which is smaller: -1/51 or l?
-1/51
Let j = 1394 + -9776/7. Which is greater: -2 or j?
-2
Let h = -15.8 - 133.2. Let g = -148.7 - h. Is -18 < g?
True
Let s be 2 + 22/(-6) + 2. Let u = -0.13374 - 15.86626. Which is smaller: s or u?
u
Let z = 122 + -51. Let s = z + -72. Which is bigger: s or -2?
s
Let o(c) = 2*c - 2. Let q be (-2)/8 - 40/(-32). Let h be o(q). Suppose h = -x + 5*a + 33, a - 6 = -x - 3*a. Is 18 less than or equal to x?
True
Suppose -5*r - 440 = 3*r. Let o be 2*(-5 - r/10). Is o smaller than 4/13?
False
Let h = 3/3047 - -6085/9141. Let i = -0.039 + 23.039. Is h less than or equal to i?
True
Let o(i) = 3*i**2 - 8*i + 26. Let r be o(3). Are 29 and r unequal?
False
Let u(j) = j**3 - 12*j**2 + 5*j - 5. Let p be u(12). Let q = p - 67. Is -21/2 smaller than q?
False
Let l = -1965 + 98251/50. Is l at least 0?
True
Let r(m) = m**3 + 7*m**2 + 4*m - 5. Let a be r(-5). Suppose 0 = 12*c - 17*c - a. Which is bigger: -8 or c?
c
Suppose 4*n + 1813 + 527 = 0. Which is bigger: n or -587?
n
Suppose -4*p = 0, -4*t - 5*p = -6*t + 42. Let f = -1 + t. Suppose 0 = -3*q + 4*x + 22 - 9, 4*x = -4*q - f. Which is greater: q or -2/3?
-2/3
Let l = -0.1 - 0.9. Let q = -1956/287 + 297/41. Which is greater: q or l?
q
Suppose 7*a + 5 = 12*a. Which is smaller: 18/61 or a?
18/61
Let k