 - n. Which is smaller: u or f?
f
Suppose -217*t = -216*t + 2. Let o(m) = 13*m + 25. Let q be o(t). Is -3/23 > q?
True
Suppose 0 = -4*i + 5*y + 3506, 0 = 5*i - 4*y - 2797 - 1581. Suppose 45*d - i = 26*d. Is 42 > d?
False
Let k be (-152)/38*(-3 + (-8134)/8). Which is greater: k or 4078?
k
Let h be 2/(1146/179) - (-68)/(-102). Let o = h - -4/191. Is 2/61 > o?
True
Let c = -92.976 + -0.024. Let j = 330 - 236.5. Let x = j + c. Which is smaller: x or 0.11?
0.11
Let h(i) = 4*i**2 - 28*i + 30. Let f be h(9). Suppose f = 21*a - 234. Is 14 less than or equal to a?
True
Suppose 5259 = 4*t - 6*m + 3*m, 0 = t - m - 1313. Which is bigger: t or 1321?
1321
Let w be (-4)/18 - (3760874/224172 + -17). Which is greater: w or 1?
1
Let t(s) = 3*s**2 + 44*s + 128. Let g be t(-4). Let m be 3/9 - 28/(-6). Suppose m*q = 3*u + 186, g*q - 106 = -3*q - u. Which is greater: 35 or q?
q
Let b(l) = -l**3 - 17*l**2 - 81*l + 8. Let v be b(-12). Let w be (v/(-585))/(1132/6). Is 1 less than w?
False
Let j(v) = -78*v - 3743. Let y be j(-48). Which is bigger: -2/3277 or y?
y
Let y(i) = -i**2 - 9*i - 16. Let b(n) = n**2 - 13*n + 0*n**2 - 3*n**2 + 15*n + 5. Let s be b(-2). Let j be y(s). Which is greater: 0.02 or j?
0.02
Let d(m) = -m + 2. Let c be d(-3). Let z = 207.94 + -199. Let q = 9.04 - z. Which is bigger: q or c?
c
Let o be (-8 - -3) + (-8389)/(-140). Let c = o + -396/7. Is c greater than or equal to -2?
True
Let f = 70 + -72. Suppose 0*b - 2*b - 8 = 4*q, 2*q = -2*b. Let i be 3 + (-4)/b*4. Which is smaller: i or f?
f
Let x = 81 + -25271/312. Which is smaller: -1 or x?
-1
Let c = -55.7 - -48.7. Let i = 513 - 553. Are c and i non-equal?
True
Let p(u) = 44*u**2 - 7*u - 22. Suppose 2*v = -4*r - 20, v + 2*v - 3*r - 6 = 0. Let x be p(v). Which is greater: -1/2 or x?
x
Let b be ((-2)/6)/(2/528). Let f = -143 - -55. Is f <= b?
True
Let j be (231/(-49))/(-11) - (-28092)/(-42028). Let h = -572/17933 - 10/227. Let g = h + j. Which is smaller: -1 or g?
-1
Let b = 95275977/23 + -4143720. Let l = b + 1286. Is l bigger than 1?
False
Suppose -5*r + 357 = -3*g, 2*g + 0*g + 238 = -5*r. Let h be 5*6/15*((-111)/2 - 4). Is h > g?
False
Let n(b) be the second derivative of b**5/20 - 3*b**4/4 + 17*b**3/6 - 9*b**2/2 - 61*b. Let d be n(6). Is d > -16?
True
Suppose -3*f = -3*j - j + 27, 5*j = -5*f - 10. Suppose 2*k + 3*t - 3 = 0, -5*k + j*t - 3 = -0*t. Suppose -40*s + 42*s - 30 = k. Is s at most as big as 15?
True
Let k = -275.279 - -275. Let t = k - -0.279. Which is bigger: 3/13 or t?
3/13
Let a be 1 - -4*2/4. Let v be (-4)/3*a/2. Is -7 greater than v?
False
Suppose 0 = -13*d - 4269 - 3878 - 69. Is -625 smaller than d?
False
Suppose -9*y + 136 = -197. Let l = y - 37. Is 5/14 at least as big as l?
True
Suppose 5*x + 37 = 142. Suppose x*d + 3 = 20*d. Let y be (d - 32/(-12))*-9. Which is bigger: y or 6?
6
Let y(m) = m**3 + 47*m**2 + 2*m - 5. Let s be y(-47). Are s and -63 equal?
False
Let z = 2295239/12865 + -5536/31. Is 0 less than z?
False
Let w be ((81/(-9))/9)/(1/(-2)) - -1469. Is 2939/2 <= w?
True
Suppose -p - 3*p = -5*l - 6234, -7778 = -5*p - l. Suppose 12*h - p = 856. Which is smaller: h or 202?
h
Let b be 2*(-10)/(-16) - (-2 + (-345)/(-132)). Suppose 5*w + 8 - 1 = -3*f, 0 = -3*w - 5*f - 17. Is b >= w?
False
Suppose -3*c - 4 + 31 = 0. Let h(g) = g**2 - 8*g - 15. Let l be h(c). Which is smaller: -5 or l?
l
Let s = -4/5057 + 27150/21537763. Which is smaller: 0 or s?
0
Let n(a) = -18 - a**2 + 6 + 19*a + 8 + 5. Let b be n(19). Let m = 244 + -2198/9. Is b less than or equal to m?
False
Let h(c) = c**2 + 22*c + 114. Let v(t) = t**3 - 26*t**2 + 22*t + 58. Let b be v(25). Let y be h(b). Is y at least as big as 30?
False
Let y = 10063 + -3854134/383. Is -1 not equal to y?
True
Let d = -2205 + 2205.349. Is d smaller than -0.1?
False
Suppose -3*y - 72 = -2*n + 5, -155 = -4*n + 5*y. Let b be n/24 - 3/(-9). Let q be (-150)/(-5)*(-1)/b. Is q >= -13?
False
Let z = 0.04 - -0.04. Let h = -90 + 89.864. Let o = h - 0.064. Which is bigger: z or o?
z
Suppose 108 = -4*h - 2*d, h - 2*h - 33 = -d. Let l(m) = m**2 + 4833*m - 38724. Let z be l(8). Are h and z unequal?
True
Let p(n) = -3*n**2 + 37*n - 3. Let g(k) = 3*k - 6. Let r be (9 - 2) + 1 + -2 + 0. Let s be g(r). Let w be p(s). Is w not equal to 12?
True
Suppose 6*v + 35 - 41 = 0. Let p be v + 3*(-78)/288. Are 1 and p nonequal?
True
Let y be (868469/(-21))/((-92)/(-60)) + 12/138. Is -26972 less than y?
True
Suppose 0 = -2*s + 16 - 4. Let n be 7*(14/98)/((-2)/(-6)). Let m be (-185)/(-30) - 1/n. Which is greater: s or m?
s
Let k(g) = g**2 + 11*g + 16. Let v be k(-8). Let o be 168/108*2/v. Which is smaller: o or -1?
-1
Let d be 3055/(-13299) - 18/297. Which is smaller: -1 or d?
-1
Let u(f) = -f**3 + 20*f**2 + 2. Let p be u(20). Let d be (p/(-6))/(-4 - (-277)/69). Which is smaller: d or -24?
-24
Let j(u) = 53*u**3 + 2*u**2 - 2*u - 3. Let k be j(-1). Let q be (4 + (0/(-4) - 3))*55. Suppose 50*p - q*p - 255 = 0. Is k at most as big as p?
True
Let g be -60*(45/(-30))/((-30)/(-8)). Suppose -32*q + 31*q - g = 0. Which is greater: 4 or q?
4
Let b(s) = 15*s**2 - 5*s + 5. Let j be b(2). Let m = 109 - 52. Let c = j - m. Is 0.05 less than c?
False
Let f = -100101/5068 + 2/1267. Suppose -1486*j - 6377 = 24829. Which is greater: f or j?
f
Let s(t) = 24*t - 51. Let z be s(-1). Which is smaller: 103 or z?
z
Let q = -123738/23 - -5382. Which is smaller: q or 1?
1
Suppose 4*r = 12, 0 = -9*z + 6*z + 5*r + 141. Let a be (-12)/16 - -203*(-2)/(-8). Is a at least z?
False
Let z(d) = -14*d**3 - 53*d**2 + 53*d + 340. Let c be z(-7). Which is greater: c or 2176?
2176
Let y = 61 + -170. Let f be (-117)/429 - ((-68)/286)/2. Is f greater than or equal to y?
True
Let a(b) = 3*b**2 + 33*b + 35. Let n(u) = 2*u**2 + 22*u + 23. Let m(j) = -5*a(j) + 8*n(j). Suppose -13*v - 148 = -18. Let k be m(v). Is k smaller than 2/19?
True
Let o be 14/18 + 0/(-8). Let b = -1 + o. Suppose 3*z - 6 = 3*s, 5*z = 8*z. Do b and s have the same value?
False
Let w = 9 + -8.2. Let i = -1.275 + 1.375. Which is smaller: w or i?
i
Let s = 21 + -243. Let f = s - -222. Do -11 and f have the same value?
False
Let c(d) = 2*d**2 - 38*d + 5. Let z be c(19). Which is greater: 37/7 or z?
37/7
Let a = -8 - -15. Let r be (-2)/(-4) + ((-162)/(-12) - 4). Suppose 2*t - 1 = -f - 11, 0 = 2*t - 4*f - r. Which is smaller: a or t?
t
Let o be -27*(-8)/6*(-44)/11. Let x be ((-352)/24 - -14) + 4/15. Do o and x have different values?
True
Let z = 33 + -30. Suppose z*w - 5*d = -d + 42, -6 = -2*d. Let l be w/12 + 1/(-2). Which is greater: l or 0.34?
l
Let r = 3 - 11. Let n(o) = -5*o - 61. Let h be n(-9). Let q(d) = d**2 + 17*d + 4. Let g be q(h). Is g > r?
False
Let b be (-1572)/(-10)*(-115)/276*6. Which is smaller: b or -391?
b
Let r = 2/109087 - -63052244/2290827. Which is smaller: r or 27?
27
Let p = 642023.3 - 642292.2981. Let c = p + -0.0019. Which is greater: c or 0.1?
0.1
Let x = 11086 - 11085. Which is smaller: -2259 or x?
-2259
Let h = 17794 + -17794. Which is greater: h or 1039?
1039
Let f be (-238)/(-49)*7/2. Let t be (f/3)/(4/6). Which is bigger: t or 8?
t
Let o = 0.565 - -3.465. Let n = 3.993 - o. Which is smaller: -0.2 or n?
-0.2
Let j be (-1 + -1)*2 + 2 - -1. Let d be 41/9 + j/(-1). Which is bigger: d or 7?
7
Suppose 4*i - 230 - 354 = 0. Suppose -o + 7*w - 2*w - 156 = 0, o + 5*w + i = 0. Is o != -151?
False
Let c be 2/((-16133)/858 + 19). Which is smaller: 9 or c?
9
Let r = 7124/77 - 1524/77. Is 1/7 at least r?
False
Let u = -14 - -7. Let g be (-75812)/(-264) + (-10)/(-12). Let y = g - 290. Which is greater: u or y?
y
Let v = -1653 + 1652.8. Which is smaller: v or -0.1563?
v
Let u be -1 + (-329675)/(-303830) - 10/115. Is u at least 0?
False
Suppose 423*a - 420*a = 4*n - 129, -69 = a + 3*n. Which is bigger: a or -665/13?
a
Suppose -12*b + 11*b = 3*a + 77, 0 = 2*b + 10. Let f be ((-632)/(-80) - 8)/(2/a). Let x = -170 + 1188/7. Which is smaller: f or x?
x
Suppose -g = 4*g. Let p be (-1)/(-4)*100/25. Let r be (-3)/(-6) + 183/(-138) + p. Is g less than r?
True
Let c = -12.4 + 13.9. Let j = 6 + -6.5. Let x = c + j. Which is smaller: x or 23?
x
Let m = 855 + 567. Is 1422 smaller than m?
False
Let m = 178.06 - 180. Let s = m + -0.06. Suppose 31*g + 408 = -71*g. Which is greater: s or g?
s
Let v(t) = t**3 + 8*t**2 + 14*t + 14. Let n be v(-6