 is smaller: j or w?
j
Suppose -4625 - 23665 - 44027 = 3445*x + 3473. Let k be (44/10)/((-1)/5). Is k > x?
False
Let f(o) = 152*o - 2736. Let t be f(18). Is t greater than or equal to -3/3154?
True
Let t(l) be the first derivative of l**4/4 - 2*l**3 - 4*l + 2. Let k be t(6). Suppose -2*s - 16 = -55*g + 60*g, 0 = 2*g + 2*s - 8. Which is smaller: g or k?
g
Let d = -0.604 - -30.804. Let u = d + -29.2. Which is smaller: u or 134?
u
Let p = 291 + -133. Let h = -326 + p. Let b = h + 637/4. Which is greater: -10 or b?
b
Suppose -14*i - 2172 = -2*i. Let x = 2719/15 + i. Let r = 19 - 20. Which is smaller: r or x?
r
Let o = -6795 + 6794. Which is bigger: o or 15/176?
15/176
Let g = -5790 + 5791. Let a be 2/6*2/(-163). Do a and g have different values?
True
Suppose 30*w + 112 = 16*w. Let f be 7 + w - (-1168)/1166. Is 0 > f?
False
Suppose -3*l + 2*a = -2, 3*l = l + a. Let f(w) = -5*w**2 + 6*w**2 + 2*w**2 + 3*w + 1. Let c be f(l). Are c and -2/3 unequal?
True
Suppose -4*q = 2*l + 814, 0 = 20*l - 21*l + 2*q - 427. Which is bigger: -416 or l?
-416
Let m = -60084233909/7643799982489 + -8900/7005443. Let j = m + -6/3883. Is 0 greater than j?
True
Suppose 346 = 10*c + 316. Let t = -691/14 + 103/2. Which is smaller: t or c?
t
Let z be (-4)/(-14) + (-9 - 3330776/1204). Let p = -2775 - z. Which is bigger: p or 1?
1
Let b = -176/59 - -1688/1357. Let q = b - -571/368. Which is smaller: 1/23 or q?
q
Let x be -10 + 4/(-7)*1085/(-62). Which is greater: x or -2/5905?
x
Suppose 31 - 127 = -4*i. Let j be (5 - 0) + 216/i. Let k = -11 - -25. Is j less than k?
False
Let r(p) = 50*p - 35. Let s be r(7). Let c = s - 285. Let u be (2/10)/(16/2360). Which is smaller: c or u?
u
Suppose -288 + 84 = -6*u. Let v(l) = l**2 + 21*l - 13. Let w be v(-23). Let y be 4/(-6) + 1111/w. Which is bigger: y or u?
u
Let g = -3189409634/95 - -33573469. Let i = -736 + g. Which is bigger: 1 or i?
1
Let l be 8/20*-1*-5. Suppose -28 = -5*h - i, -7 - 2 = -3*i. Suppose -15 = -l*o - h, 3*o + 15 = 5*p. Does p = 6?
True
Let m be (-1)/4 + 551/12. Let t = m + -45. Let c = 100 - 98. Is t bigger than c?
False
Let g(h) = -h**2 + 11*h + 121. Let x be g(26). Let b = x + 103. Which is bigger: b or -165?
-165
Let t(r) = -5*r - 49. Let b be t(-11). Suppose 0 = -q - 3*k - b, -4*q - 5*k = -0*k - 4. Suppose -1 = -q*f + 7*f. Which is smaller: f or 5/38?
f
Let t(q) = -q**3 + q + 1. Let i be t(0). Let k = 33830 + -8051539/238. Which is smaller: k or i?
k
Suppose 2*v - 3*x + 6 = -2*x, 0 = 4*x - 16. Let z = -2077/6300 + 82/175. Which is smaller: z or v?
v
Suppose -126*i = -127*i + 6, 0 = -4*c + 2*i - 12. Which is smaller: c or -7/2973?
-7/2973
Let u = -2.6566 + 2.8866. Which is bigger: u or -38/7?
u
Let d = -90 - -90. Let q be ((-15)/230)/(36/(-2374)). Let j = -3/92 - q. Which is smaller: j or d?
j
Let i(w) = 7*w - 72. Let r be i(12). Suppose -54 = r*b - 342. Is 21 at most as big as b?
True
Let s be (-66 + 64)/((2/(-6))/(-1)). Let d be 2/(6*2/s). Is 8/19 at least d?
True
Let k(u) = u**3 + 4*u**2 - 9. Let d be k(-3). Suppose -x + 6*x + 95 = d. Let l be 116/39 - (x + 22). Which is bigger: l or 1?
1
Let n = 45 + -43. Suppose 0 = 3*i - n*d - 381, 3*d + 3 + 6 = 0. Suppose 15 = i*f - 130*f. Which is bigger: f or 5?
5
Let m be 9 + (-70)/4 + 9. Let y be 4/(-14) + 46/14. Let r = y - 9. Which is greater: r or m?
m
Let a = 626 - 2153. Let q = 1269874 - 16528201/13. Let k = q - a. Which is greater: k or 0?
k
Let m = 18.11 + -24.11. Is 15 <= m?
False
Suppose 5*v = n - 301, 4*n - 5*n - 65 = v. Let w = v + 63. Which is greater: w or -22?
w
Suppose l + 80 = -2*p + 6*p, p - 362 = 5*l. Let w be (l/(-10))/(48/160). Is w >= -1/4?
True
Let s = 53 - 51. Let r be 16/24 + (-1)/(-6)*s. Let i be r + 227/(-35) + (-24)/(-84). Is -6 bigger than i?
False
Let l = -3925 - -2109. Which is smaller: 0.3 or l?
l
Let i = 119 - 128. Let j be (-15)/(-42)*(-6)/i. Which is greater: 0 or j?
j
Let r = -80 + 101. Let d(b) = b**3 - 20*b**2 - 15*b - 118. Let g be d(r). Is 40 not equal to g?
True
Let g be 380/16 + (-6 + 3)/(-12). Suppose z = 2*o + 2*z - 9, 3*o + 5*z = g. Let k be o/9*-1 + (-5)/15. Which is smaller: k or -8?
-8
Let t = -15315 - -15316. Are t and -3/94 equal?
False
Let n = 179/2 - 86. Suppose -v + 6 = 2*t - 6, 4*v - 36 = -2*t. Is n > t?
True
Let h be ((-1)/(-6)*-2)/(77/891*-75). Which is smaller: -1 or h?
-1
Let w(u) = 2*u**2 - 29*u - 29. Let l be 4/(-14) - (2280/(-28))/5. Let i be w(l). Which is smaller: i or 21?
i
Suppose -25 = 5*r - 3*b, -6 = -2*r - 5*b + 15. Let s be (-11 - (-232)/16)/(r/124). Are -216 and s nonequal?
True
Let i = 134.39 + -146.89. Let l = -2.04 + 0.04. Which is greater: i or l?
l
Suppose 1 = -4*g - 3. Let m be ((-16125)/500 - 7/28)*4/(-5). Is g at least m?
False
Let v(m) = 6*m - 1. Let c be v(1). Suppose -x - 3*x = -5*i + 102, -21 = -2*i - c*x. Let l be 1 - 24/i*(-3)/(-2). Does -1 = l?
True
Let a be (-20)/1*11/(-3 + 14). Suppose 40 = -12*t - 260. Which is smaller: t or a?
t
Let r = -2353.76 - -2354. Is r >= -52?
True
Let l = -74 - -73. Is -1.6 greater than l?
False
Let j be -1*(-2)/(-4)*-4. Let k be (-12)/(-20) + (-2 - (-36)/15). Let d be k/(6/(-24)) + 1. Do d and j have different values?
True
Suppose 21*i - 5638 + 1369 = 4887. Which is smaller: 438 or i?
i
Let h = 1/2821332710 - -8230229587/2752492191876. Let d = h - -1/5420. Is d at most as big as -1?
False
Let k = -1039 - -5198/5. Which is smaller: k or -97?
-97
Let q be 3/105*(2765/7 + -12)*2. Is q less than or equal to 23?
True
Let r = -0.259 + -0.041. Let v = r - 33.7. Let z = 118 + v. Which is greater: 2/3 or z?
z
Let z(w) = -w**2 - 15*w + 2. Let t be z(-15). Suppose 4*r - 14 = -s + 13, 2*r + 24 = t*s. Let v = -0.3 - -0.1. Do s and v have the same value?
False
Let z be 1020/(-120) + 473599/55718. Which is smaller: 1 or z?
z
Let k = -3.0835 + -0.0165. Let g = k + 5.5. Let h = 2.6 - -0.4. Which is smaller: h or g?
g
Suppose 0 = -8*j + 9*j + 121. Let d = j - -122. Which is greater: d or 10/19?
d
Suppose 2*y - a + 5 = 0, 3*y - a + 7 = -1. Let t be (0 - -8*1) + y. Let l be (6*(-2)/(-8))/((-4)/(-8)). Is l < t?
True
Let y = 9993 - 9990. Which is smaller: 100/43 or y?
100/43
Let o = -0.354 - 20.946. Let y = o + 2.3. Is y greater than or equal to -1?
False
Suppose 0*v + 4*u = -5*v + 59, 3*u - 14 = -v. Let x = -49697/7 - -7112. Which is smaller: x or v?
v
Let j = -903 - -495. Is j smaller than -4494/11?
False
Let y be 1/5 + 8/(-40). Suppose y = -7*t + 2*t - 15. Is t >= 4/5?
False
Suppose 0 = 2*d + 321 + 221. Let y = 269733552/1261 - 2777235/13. Let m = y + d. Which is smaller: -1 or m?
-1
Let u be ((-153)/(-27) + -7)*-3. Suppose 0 = -u*b - 2*i + 926, -1130 = -4*b + i - 207. Are 229 and b non-equal?
True
Suppose -5*c - 363 = 2*j, -4*c = 5*j + 66 + 799. Let m = -179 - j. Which is smaller: m or -14?
-14
Let m be 1/(-6)*(-1797)/(-4). Let a be (111446/(-144))/(496/48). Let i = m - a. Do i and 1 have the same value?
False
Let i = 787/22 + -36. Let q(m) be the third derivative of -3*m**4/2 - 24*m**3 + 127*m**2. Let z be q(-4). Which is greater: z or i?
z
Suppose -448*s = -450*s - 16. Let z = -71 - -70. Is z at least as big as s?
True
Let k = -0.5 + 1. Let j be (-15 - -2)*(0 + -2 - -1). Suppose 20*p = j*p - 14. Is p greater than k?
False
Let v be (0/3)/(-3) + (-1358 - -117). Is -1241 greater than v?
False
Let z be (-6)/(-4)*(-17)/(-51). Suppose -p - 2*p = 0. Suppose -r + p = -1. Which is smaller: r or z?
z
Let g be (-3)/(-4 - (-4 - 3)). Let x be (3 - ((-66)/(-21))/2) + g. Suppose p = -3*h + h + 4, -3*p = -2*h - 4. Which is bigger: x or h?
h
Suppose -62*a + 20 = -58*a. Let m be 0/(4 + (-10)/a). Is m smaller than 28?
True
Let l = 422 + -491. Let f = l - -54.5. Are f and 2 non-equal?
True
Let t(f) = -f**3 + 4*f**2 + 6*f. Let q be t(4). Let r be ((-6)/q)/(6/340). Is r at most -14?
True
Let j = -92/31 - -36646/12369. Which is greater: j or 0?
0
Let n = 2110 - 6328/3. Let u = -39.788 + -0.212. Is n at most u?
False
Let n = -213 + 876. Let m = 662 - n. Is -4/245 at least as big as m?
True
Let c(s) = -s + 77. Let v be c(10). Let l = -88 + v. Let z be 2 - 0 - (25 + -3). Is z at most as big as l?
False
Suppose 1 = -4*l - 11, -l = -3*d + 48. Suppose -d*p = -17*p + 8. Let s be 12/(-63)*(-6)/p. Which is smaller: s or 0.32?
s
Let v = 9644 + -9600. Is v less than 0.083?
False
Suppose -5*h - 10 = 3*q, 20