1496/f. Let n = -177 + 115. Which is smaller: n or t?
t
Let z be 21 - -2*1445/34. Is z less than or equal to 154?
True
Let g(c) = 9*c + 44. Let z be g(2). Let a = 79 - z. Suppose -2*o + 32 = 3*r, -2*o + 3*o = -4*r + 11. Which is bigger: o or a?
o
Let j = 5664/53 + 235825/212. Let o = -1227 + j. Which is greater: 2/5 or o?
2/5
Suppose 0 = 2*l - 51 - 85. Suppose -2*u = -4*u - l. Let m(f) = f**2 - 11*f - 4. Let c be m(5). Is u less than c?
False
Let y be (5 - (-207)/(-36))*(-736)/12. Which is bigger: 189/4 or y?
189/4
Let f = 1968 - 1943. Let k = 27.1 - f. Let m = 3.2 + -3. Which is greater: k or m?
k
Let q be (72405/36)/((-13)/(-4)). Let z = q - 973177/1573. Let o = z - 2/121. Which is bigger: o or -1?
o
Let b = 13848 - 13847.9115. Which is smaller: b or 0.3?
b
Let p = 131784 - 944886/7. Let o = -3206 - p. Is -7 at most o?
True
Let u(z) = 17*z - 27. Let p be u(1). Let n be 495/(-528)*4/p. Is n smaller than 14?
True
Let u(i) = 3*i**2 + 3*i - 1. Let g be u(-2). Suppose -5*c + g*q + 310 = -0*c, 2*q - 161 = -3*c. Is 0.2 > c?
False
Let b be 2/2 - ((-72993)/(-65) + 1). Let s = -1123 - b. Let h(q) = -q + 5. Let a be h(5). Are a and s equal?
False
Let t(z) = -3*z**2 - 66*z + 248. Let u be t(-27). Which is smaller: -3600/23 or u?
u
Let v be 25/((-1050)/(-36)) - ((-16)/(-28))/(-4). Is -2/1013 <= v?
True
Let f(x) = 12*x - 88. Let r be f(23). Suppose 21*m - 25*m = r. Are m and -47 nonequal?
False
Let y = -794.573 - 16.477. Let b = 849 + y. Let p = b - 38. Which is smaller: 0.3 or p?
p
Let z be (-2901)/7 - ((-225)/35 + 6). Let l = 361 + z. Are l and -53 equal?
True
Let v = -92.04 - -201.04. Which is smaller: v or -2/63?
-2/63
Let v = 2/675925 + -1352312/156138675. Let t = -1 + 2. Is t at most v?
False
Let p = 31168 + -32477059/1042. Which is greater: 0 or p?
0
Suppose -12*n + 5854 = -9012 - 4394. Which is smaller: n or 4817/3?
n
Let g = -7853 - -9958. Which is bigger: 2102 or g?
g
Let g = 1379 - 1352. Let x = -14 + 20. Let u be (-54)/(x/(-3)*1). Are g and u non-equal?
False
Let k = 5043 - 5206. Is k > -162?
False
Let a be (-121*(-3)/(-6))/((-73)/(-18) + -4). Which is greater: a or -1092?
a
Let z(j) = j**2 - 28*j + 14. Let d be z(28). Let o(t) = -488*t + 3. Let m be o(-3). Let f be (-4)/(-22) + m/99. Which is greater: d or f?
f
Let i = -1/10 + 8/5. Let k be 13/(-1*(-5)/5). Suppose k*v = -4*v. Which is smaller: i or v?
v
Suppose 1133 = 2*p + 1101. Suppose -5*l - p*v - 377 = -15*v, -v + 383 = -5*l. Are -69 and l equal?
False
Let p be ((-20)/900*-15)/(1 - (-94881)/(-18)). Is p >= -1?
True
Let z(a) = a**3 - 18*a**2 + 8*a + 155. Let h be z(17). Let d be (65/(-10) + 0)/((-4)/(-8)). Is d less than or equal to h?
True
Let u = -22.59 + -0.41. Let x = u + 118. Is -0.1 at least as big as x?
False
Let u = -8604.55 - -8567.6717. Let s = -36.9 - u. Is -0.1 less than or equal to s?
True
Let c = 637.8 - 635.6. Which is smaller: c or -6?
-6
Suppose -3*b - 3 = 3, 4*q - 34 = 5*b. Suppose q*t = 4*t + 54. Let r = 117 + -93. Are t and r unequal?
True
Let n(i) = 6*i**3 + i**2 + 6*i + 1. Let u(d) = 20*d**3 + 2*d**2 + 17*d + 3. Let x(v) = -8*n(v) + 3*u(v). Let f be x(1). Which is smaller: 6 or f?
6
Let c = -157/60 + -55/12. Let h = c + 23/15. Which is smaller: h or -0.1?
h
Let t(p) be the third derivative of p**6/120 - 4*p**5/15 - 17*p**4/12 - 37*p**3/6 - 57*p**2 + p. Let q be t(18). Let s = 4952/105 + -237/5. Is s > q?
True
Suppose -341 = 248*j - 237*j. Does j = -48?
False
Let d be (-1)/((4 - 0 - 3)/209). Let m = -335 - d. Is -126 != m?
False
Let y = 3/1954 - 10301509/13678. Is -752 < y?
False
Let r = -439.36 - -84.46. Let f = 355 + r. Which is greater: f or 1/11?
f
Let q = -42093/8789 - 489/187. Is -7 less than or equal to q?
False
Suppose -4*f = -4*m + 120, -f + 10 = 5*m - 116. Suppose -m*o - 25 - 339 = 0. Let n(l) = l**2 + 9*l + 6. Let c be n(-5). Do o and c have the same value?
True
Let k = -3772 - -3967. Which is smaller: 8 or k?
8
Suppose 0 = 5*t, 7*c + 1136 = 11*c + t. Suppose 12*n - c + 1100 = 0. Suppose -1 = -2*p + 9, 0 = -5*v - 4*p + 25. Which is bigger: n or v?
v
Let i = -1873 - -1867. Which is smaller: i or -125?
-125
Let i be -1*(1160 - (-8)/(-4)). Let a be (9/(-3))/i*24/3. Which is bigger: a or 0?
a
Let h be 81*-1 - (-8 - -11). Let w = h + 84. Let m be ((-1)/1)/(w - (-1)/(-2)). Which is smaller: 20 or m?
m
Let r be (-8 - (990 + 3)) + 0 + -6. Is r < -1009?
False
Let d = 12 - 12. Suppose d*j - j = -5*j. Suppose -3*r - 141 = -j*m - 2*m, -m + 4*r + 83 = 0. Is m greater than 63?
False
Let b be (2 + 9/(-6))*0. Suppose 0 = 4*f + 20 - b. Let r be -5*6/f + -3. Which is bigger: 0 or r?
r
Let c be ((-1)/61)/((-1)/(-11)). Suppose -3*u - 16580*a = -16576*a + 33, -4*u = -3*a - 31. Which is smaller: c or u?
c
Let v = -11 + -1. Let l(b) = -b**2 - 12*b + 2. Let u be l(v). Let w be (-63)/u - ((-30)/(-12) + -3). Are w and -2/5 unequal?
True
Suppose 8*x - 30 = 13*x + 115. Which is greater: x or -478/17?
-478/17
Let x be ((-4)/(-354))/(((-6)/4)/((-7245)/(-460))). Which is smaller: x or 1.6?
x
Let j(p) = p - 5. Let d be j(5). Let k be (-148936)/408 - 0/2. Let f = -365 - k. Is f > d?
True
Let b be ((-16)/(-5892))/(16/96). Does 0 = b?
False
Suppose 24 = 8*k - 4*k. Let a be 3/(-48)*(-24)/k. Which is bigger: 149 or a?
149
Let r = -3023881/711 + 4253. Is 1 smaller than r?
False
Let l be 7*(-3)/(((-3)/(-21))/((-9)/(-63))). Does l = -264?
False
Let q be ((-13)/1807)/((-9)/(-6)). Suppose -2*y = 3*y. Is y smaller than q?
False
Let c(x) = 2*x + 10. Let l be c(-4). Let f be ((-1)/3)/(l/6). Let d = 6.4 - 44.4. Which is bigger: d or f?
f
Suppose 100 = 2*w - 2*r, -w + 2*r + 66 = -3*r. Suppose 13*t - 14*t = -w. Are 46 and t non-equal?
False
Let t be -12*(-13)/(-26) - -4. Which is smaller: 490 or t?
t
Let w be ((-2)/3)/((-1)/126). Let r be (w/(-38) - -1) + 1. Let q be (4 + -5)*(20 - 19). Is r smaller than q?
False
Let d(c) = 20*c**3 + 19*c**2 - 53*c + 53. Let m be d(4). Which is bigger: 5703/4 or m?
5703/4
Let c = 13.483 + -13.383. Is c != -1/251?
True
Let i be (2/(-3 + -1))/((-62)/(-44)). Suppose 632 - 630 = -2*f. Which is smaller: f or i?
f
Let a = -128 + 245. Let x = 0.945 + -0.645. Which is smaller: a or x?
x
Let x = -27.065 - -0.065. Let r = 17768 + -17760. Which is greater: x or r?
r
Suppose -5*r + 70 + 140 = 0. Let c = r + -32. Let v be (c + -11)*(-5)/(-1). Is v at least as big as 0?
False
Let p(h) = 17*h - 819. Let s be p(47). Which is greater: -64/3 or s?
s
Let a be (-2)/14 + (8544/140)/(-4) + 0. Which is smaller: a or 9?
a
Let p = -1456.1 + 1464. Is p >= -2/5?
True
Let r = -0.382 + -36.618. Let p = 34.441 + -0.041. Let t = p + r. Which is smaller: t or 1/4?
t
Let b(i) be the second derivative of -13*i**3/6 - 67*i**2/2 - 23*i. Let t be b(-13). Is t < 1?
False
Let x be (-374)/(-2) - (34 + -12 + -25). Is x greater than or equal to 1708/9?
True
Let r = -613 - -613. Suppose -21*d + 2*d + 228 = r. Suppose j = 5*j - 52. Which is bigger: d or j?
j
Let v(j) = j**3 - 5*j**2 + 16*j + 53. Let q be v(10). Let c = -192 + 191.9. Is q > c?
True
Suppose 3*p = 4*n + 6, 2*p - 3*n - 8 = -2*p. Suppose p - 18 = 2*b. Let h be -1*((-16)/147)/b. Is 0 not equal to h?
True
Suppose 2*k = -2*m + 584, 5*m - 4*m = -3*k + 870. Let f = 249 - k. Are f and -39 unequal?
True
Suppose -14 = -2*u - 4*f, 0 = 13*f - 12*f. Let s(i) = -i**2 + 1. Let v be s(-1). Suppose u*w - 29 + 8 = v. Which is greater: 7 or w?
7
Let l(k) = 12*k + 63. Let b be l(-5). Suppose -b*a + 3 = 2*o - 13, -4*a + 13 = o. Which is greater: 13/7 or a?
a
Let f be 2*(-12 + -1) - 2. Let k = 2/8905 - 10997681/26715. Let z = 411 + k. Is z smaller than f?
False
Let x = -3012361 + 75296908/25. Let s = 485 + x. Let l = -187/350 + s. Which is greater: l or -1?
l
Let t = 2.5132 + 391.4868. Are t and 17 equal?
False
Let l = -8.753 + 8.716. Is l less than -0.06?
False
Suppose 4*b + 4*t - 36 = 3*t, 4*b - 24 = -4*t. Suppose -6*p + 184 = -b*p. Let x be (-4 - 0)*(-22)/(-88). Which is smaller: p or x?
p
Let b be (-315)/7*60/(-9). Let j be (9/16)/(b/40). Is j less than or equal to 0?
False
Suppose -2*u + 4*j = 3*u + 64, 3*u = -5*j - 31. Let r be 2 + 0 - -4*6/u. Are 1/29 and r equal?
False
Let w(h) = -4*h**2 + 14*h - 3. Let v be w(3). Let b be (11/v + -4)*(0 + -3). Which is bigger: b or 6/61?
b
Let m be -2*3310/(-8) - (-12)/(-8). Let i = m + -775. Is 51 less than i?
False
Let u(b)