35. Which is smaller: 4/127 or j?
4/127
Let y(h) = 20*h**3 - 5*h**2 + 11*h + 46. Let b be y(-3). Let w = 526 + b. Are -332/7 and w unequal?
True
Suppose -373 = -k - 5*q + 97, 0 = 4*k + q - 1785. Let v = -445 + k. Is v at most as big as 16/59?
True
Let a(l) = -2*l**3 - 8*l**2 - 81*l - 322. Let k be a(-4). Let t be 3 + -2 + (-17)/(-19). Which is bigger: t or k?
k
Suppose 2268 = 4*w - 3002 + 1686. Which is smaller: 9858/11 or w?
w
Let a be (-57)/(-4) - 2/8. Let b be 632/1148 - 6/a. Let u = -835/123 + b. Is -8 less than u?
True
Let i = 77 - 2723. Let a = -492155/186 - i. Let y = -1 - 0. Which is smaller: a or y?
y
Let o be 4816/24*(-6)/(-4). Are o and 305 unequal?
True
Suppose 15*a + 5 = -5*k + 14*a, 2*a - 14 = 2*k. Let s be (-3655)/516*k/(-5). Is s greater than -3?
True
Let h(s) = s**2 - 27*s + 140. Let k be h(7). Suppose -4*p + 9*b - 5 = 4*b, k = 5*p + 4*b - 4. Do p and -16/15 have different values?
True
Let j = -8237 + 8237. Are j and -5/721 equal?
False
Let g = -828 - -744. Let z be ((-48)/g)/(4/(-292)). Is z at most as big as -41?
True
Let o be -10*(-60)/50 + -13. Let d = -491/2 - -9823/40. Is d at most o?
False
Let b = -10 - -13. Let u be b*((-102)/27 - -4). Suppose 3*q + 30 = -2*q. Which is smaller: u or q?
q
Let i = 3722/9 + -15049/18. Let j = i - -423. Let v = 39.98 + 1.02. Which is smaller: v or j?
j
Let l be 6 + (2 - 29157*9/32805). Which is smaller: 0 or l?
0
Let q = -163848 + 3230263318/19715. Which is greater: 0 or q?
0
Let j(o) = o**2 + 14*o + 36. Let h be j(-11). Let r be (-7 + -4)*-2*h/6. Let m(a) = -2*a**3 + 2*a. Let f be m(-2). Is r at most f?
True
Let c be 1 - 23/(46/(-12)). Suppose -c*a = -52*a. Is 2/1911 bigger than a?
True
Let a = -9943 - -39685/4. Which is smaller: a or -22?
-22
Let v = 2.413 + -2.713. Which is bigger: -2157 or v?
v
Let r = -1183.6466 + 1183.8. Which is bigger: r or 1/2?
1/2
Let x be (4/9715)/(1188/330). Is -1 >= x?
False
Let b be 60/4*(8 + 3). Let x = b - 164. Is x > -137?
True
Let m = -74 - -89. Let y be (-103)/(-5) - -2*3/m. Suppose 4 = -4*l + 92. Which is smaller: y or l?
y
Let a be ((-1800)/(-114))/(-6)*((-35)/(-15))/(-7). Which is greater: a or 2?
2
Let h = 435 + -435.419. Let f = h + 0.519. Is f less than or equal to 126?
True
Let k(v) = v**3 + 8*v**2 - 4*v + 2724. Let w be k(0). Which is smaller: w or 2721?
2721
Let m = 221 - 5962/27. Let f = m - 47/108. Suppose 0 = 3*q - 6*q - 3. Is q at least f?
False
Let m(i) = 21*i + 192. Let j be m(-9). Suppose -j*u + 399 - 69 = 0. Which is bigger: u or 108?
u
Suppose 10*i + 4723 = 733. Let l be (-836)/i + (183/63 - 3). Which is greater: 10 or l?
10
Let j = 33400/5898379 + -2/16339. Is j bigger than 0?
True
Suppose 2*o = -l - 4099, 2*o = -5*l - 3031 - 1080. Is o != -2047?
True
Let d = 25523 - 25505.993. Let f = -17 + d. Let m = f + -2.007. Which is greater: m or -6?
m
Let u be 2 - 6 - (14 - (-108096)/84). Is u greater than -1306?
True
Suppose j + 4*x + 8 = 179, 0 = -3*j - x + 502. Let t = j + -166. Let c be ((-1)/(-6))/(-1) + 1. Is t at least c?
True
Let t = -3180 + 92219/29. Let s = -2 + 3. Is s <= t?
False
Let a(q) = 6*q - 97. Let u(s) = 6*s - 49. Let l be u(11). Let p be a(l). Is p < 11?
True
Let k be -47*(3/((-12)/16) - -8). Is k less than -195?
False
Suppose -127*j - 86*j = -70*j + 143. Which is smaller: j or 9528?
j
Let g = 22.082 + -20.082. Does g = 868?
False
Let l(d) = d + 23. Let m be l(10). Let i = m - 40. Let g be (-2)/(((-6)/(-21))/1). Is i smaller than g?
False
Let z be (3 + -1)*(-17)/(-2). Let w = z - 7. Let l be 105/8 + (-353)/2824. Which is smaller: w or l?
w
Let m be (-24)/60 + 411/(-30)*-22. Let p = m + -15049/50. Is -1 at least p?
False
Let f = 34000/3 + -11333. Which is smaller: f or -3242?
-3242
Let d = 48 - 50. Let m = d - -15. Let n = 14 - m. Which is bigger: 35 or n?
35
Suppose -4*o + 23*x - 1875 = 24*x, -1903 = 4*o + 5*x. Which is smaller: o or -462?
o
Let z = -81 + 245/3. Let h be 0 - (20/(-4))/(-5). Let v be 42/(h - -7) + -13. Which is smaller: z or v?
v
Let s = -286/5 - -1329/20. Let u = -161 + 169. Is u greater than s?
False
Let j(m) = 53*m - 4164. Let x be j(79). Are x and 26 equal?
False
Let m(p) = -p + 1. Let k be m(2). Let n = -102983/30 - -3433. Which is bigger: n or k?
n
Let b = -19 + -50. Let u be 6/15 - b/15. Suppose -3*m - 47 = -2*q, -u*m - q - 44 = -2*m. Is -15 smaller than m?
False
Let s = -10267 - -10286. Let f = 0.7 + -3.7. Let n = f + 1. Which is greater: s or n?
s
Let j = 3068.8217 - 3070.2. Which is smaller: j or -0.1?
j
Let y = -130.704 - 0.296. Let b = y + 142. Which is bigger: -2 or b?
b
Let z = 0.003 + -0.054. Let w = z - -0.211. Let l = w + -0.27. Which is smaller: l or -0.1?
l
Suppose t - 3*w = -19, -2*w = 5*t - 4*w + 134. Let q = t + 101. Let v(z) = 7*z**2 + 30*z - 16. Let s be v(2). Which is bigger: q or s?
q
Let q(j) = -2*j**2 + 151*j - 200. Let v be q(77). Is v less than -438?
False
Let c be (284/(-12))/(0 + -3*(-4)/(-36)). Which is bigger: 47 or c?
c
Let w be (-226)/20*1*-2. Suppose -24*l - 72*l + 3795 = 69*l. Which is bigger: w or l?
l
Let r be ((-6)/(-21) - 3996/11781)*8/(-60). Is -1 smaller than r?
True
Let u = 25.488 + -25.3625. Which is smaller: u or -12?
-12
Suppose 12*y = -1 - 35. Let n(s) = 3*s + 14. Let h be n(y). Let z be -2 + -5 + 3 + h. Are z and -2/15 equal?
False
Let h = -0.24 + 0.37. Let t = h + -0.11. Let v = 0.2399 + 8.7601. Which is bigger: t or v?
v
Suppose -4*c - 280 = -5*f, 3 = -3*c + 18. Which is smaller: 31 or f?
31
Let x(d) = -d**2 + 4*d + 3. Suppose 9 = -3*b + 72. Let n = b - 25. Let k be x(n). Is k greater than -29?
False
Let u be 12/10*(-25)/(-5). Let h = 5489 + -5508. Which is greater: u or h?
u
Let v = -23415593 + 116080948/5. Let l = v - -200463. Let w = 1051 - l. Which is smaller: -9 or w?
-9
Suppose 0 = -r + 2*r - 7. Let f = 56 - 42. Let a be (2 + (-29)/f)*(10 - r). Which is smaller: a or 1?
a
Let k = 10.883 + -15.783. Which is smaller: k or 75?
k
Suppose j + m - 2 - 2 = 0, -4*j + 32 = -4*m. Let s be (6/(-4))/(j + 357/(-60)). Is -32 < s?
True
Let b = -9/24544073 - 8306720608978/3313449855. Let x = b - -2507. Is 1 smaller than x?
False
Let v = 4631 + -4599. Does v = -25?
False
Let y = 253.0333 - 0.0333. Let g = 257 - y. Which is greater: 2 or g?
g
Suppose -8*n - 67 = 29. Let y be 15/(-50)*62170/n. Let u = y - 1567. Which is smaller: u or -14?
-14
Suppose -193*m - 8163 + 2294 = 4939. Is m greater than -61?
True
Suppose 0 = 1224*a - 1221*a - 2*c + 2059, a + 4*c = -691. Which is smaller: -685 or a?
a
Suppose -7*c + 2*c = -7580. Let j = 2971/2 - c. Let w = 423/14 + j. Are 6.1 and w equal?
False
Let v = 19811 + -19811.16. Which is bigger: 1/295 or v?
1/295
Let z(m) = -25*m**2. Let i(s) = 50 + 2*s - 61 - 3*s. Let h be i(-12). Let g be z(h). Is -24 less than g?
False
Let m(h) = 28*h + 14. Let i(v) = -9*v - 5. Let k(t) = 16*i(t) + 5*m(t). Let w be k(1). Let l(x) = 7*x - 1. Let d be l(-2). Which is smaller: d or w?
d
Let v = 2.078 + -2.09. Let j = -80.312 + 61.3. Let d = v - j. Is d equal to 2/9?
False
Let t = 652.48 - 652.38. Let k = -121.94 - 0.06. Are k and t nonequal?
True
Let f = 2640 - 2498. Do 144 and f have the same value?
False
Let m be (-210)/(-14) + 2 - 15. Which is greater: 182/99 or m?
m
Let u = -21446 - -21469. Let t = -3 + 4. Which is smaller: t or u?
t
Let p(x) = x**3 - 60*x**2 - 255*x + 104. Let d be p(64). Is d at least as big as 137?
True
Let g = 4082 + 4614. Is 0 < g?
True
Let k be 5 - (72/108)/((-6)/9207*-3). Which is smaller: k or -2009/6?
k
Let t = 3962 + -2420. Which is bigger: t or 1544?
1544
Let i = 18 - -13. Suppose 328*w - 157 + 482 = -331. Which is smaller: i or w?
w
Let i = -117 - -94. Let g = 162 + i. Let o = g - 139.1. Which is greater: o or -8?
o
Let l(y) be the second derivative of 1/6*y**3 + 0 - 14*y + 1/2*y**2. Let z be l(-1). Which is bigger: z or -3/13?
z
Suppose 6*m = -2839 + 7387. Suppose 0 = -6*s - m - 934. Is s equal to -282?
True
Let l be (-1)/7 + (-70912)/(-112). Suppose 5*n - 232 - l = 0. Which is bigger: 175 or n?
175
Let d = 69 + 67. Suppose -2*t + 377 = -l + 98, 0 = t - 3*l - 152. Which is greater: d or t?
t
Let z be 2/6 - (-304)/(-57). Let u(x) = x**3 - 8*x - 3. Let s be u(3). Is s > z?
True
Let m = 3953 - 35573/9. Is -1.66 not equal to m?
True
Suppose -2*r + 72 = -48. Let a = -29 + 123. Let f = 153 - a. Is r >= f?
True
Let z(b) =