. Which is smaller: -44/13 or u?
-44/13
Let a be (-2 - -1)/1 + -4. Suppose 2*u - 4*z - 73 - 647 = 0, -3*z - 720 = -2*u. Let q = u + -364. Are a and q non-equal?
True
Suppose -99 + 280 = -5*a - 3*s, 5*s = -10. Let p = 65 + a. Let n = p - 32. Which is smaller: -28/11 or n?
-28/11
Let z(m) = -5 + 4 + 5*m**2 + 22 - 2*m + 0*m. Let p be z(5). Is p at least as big as 135?
True
Suppose 4*i + 5*j = 11 - 3, -4*i - 2*j + 8 = 0. Let f be 4/(i + 0 + (-24)/11). Let b = 4 - f. Do 28 and b have the same value?
False
Let m be (6144/57)/2 + 1 - (-76)/722. Which is smaller: 62 or m?
m
Suppose 3 = -3*g - 2*j, 4*g + 11 = -314*j + 309*j. Is -6/2293 equal to g?
False
Let y be (-4)/14 - (-652)/126. Let w be 9 - 46/(-2)*1. Suppose w*c = 252 - 60. Is c at most y?
False
Let h = -15.544 + 15.594. Are 3545 and h equal?
False
Let a(h) = h**3 + 57*h**2 - 160*h - 1. Let n be a(3). Which is bigger: n or 878/15?
n
Let q(m) = -m**3 + 16*m**2 + 5*m - 92. Let k be q(16). Let a be 400/k*(6 + (-2 - 1)). Is a at most as big as -101?
False
Let v(t) = 29*t - 342. Let a be v(12). Is 184/29 less than a?
False
Suppose -17*r - 96 = -21*r. Suppose 0 = 4*s + 3*u - 32, -2*s - 2*s - u = -r. Suppose 0 = -b - 4*a - s, -3*b + b + 5*a + 3 = 0. Is b less than or equal to -0.4?
True
Let m(c) = -c + 4. Let p be m(-3). Let j = -24 - -92. Suppose -5*s - j = 12*s. Which is greater: s or p?
p
Let y = -22 - -22.3. Let o = -95.64 - -96. Is o < y?
False
Let r = 12426.3 - 12493. Which is smaller: r or 0.1?
r
Let w be (6/(-9606))/(2 + (-3 - 0)). Is w at least as big as -1?
True
Let k be (12/(-8))/((-11739)/(-1876)). Let b = 50/43 + k. Let t = 6 - 4. Which is greater: t or b?
t
Let p = 11863 + -11789. Let m = 196 - 121. Which is smaller: p or m?
p
Let r = 4.8 - 0.8. Let p be (-189)/18 - (-126 - -116). Is p at most as big as r?
True
Suppose 15*v = 4*v + 55. Let w(r) = -r**3 - 6*r**2 + 2*r + 12. Let u be w(-6). Suppose u = y + 3, -5*l - 16 = 4*y - 2*y. Is l bigger than v?
False
Let t = -2374 - -2323. Let m = -2287/3 - -711. Which is bigger: m or t?
t
Let f = -8057.07 + 8057. Which is bigger: f or -60/13?
f
Let s(a) = 20*a + 11. Let g be s(1). Suppose -j = -4*h + g, 4*h + 1 + 34 = -5*j. Let p be (-11)/((-2)/((-2)/1)). Are p and j equal?
True
Suppose -3*t + 1692 = 2*m, 60*t + 4*m = 57*t + 1692. Is 3 at least as big as t?
False
Let w = -294 - -307. Suppose 0 = -x + 5*r - 5, 2*x - w = r - 14. Is 1/156 less than x?
False
Let n = 3623 + -315205/87. Suppose -4655*m + 4646*m = 0. Is m != n?
True
Suppose -242 = -2*g - 294. Let h be (5/g)/((-2)/8). Is 0 at most as big as h?
True
Let n(l) = l**3 + 22*l**2 - 21*l + 44. Let z be n(-23). Let v be (9 - z)/((-1)/2). Which is greater: v or -36?
v
Let f = 5294/5 + -68472/65. Let p be (-6288)/(-2358)*(-3)/(-2). Is f < p?
False
Let h be ((-4)/(-94843))/((-414)/(-1449)). Which is greater: h or 0.1?
0.1
Let j = -2974 + 2973. Are j and 3/511 equal?
False
Suppose -2666 = 2*v - 5*s + 2795, 4*v + 10897 = 5*s. Are -2720 and v unequal?
True
Let w = -4416 + 4415. Is w bigger than 352?
False
Suppose -5*y - 73 = 2. Let z be (10/25)/(3/y). Is -12 < z?
True
Suppose 0 = -o - 5*q + 2176, 4*o + 2*q = 3259 + 5463. Which is bigger: -0.1 or o?
o
Let f = 15.2 - 30.2. Is 30 bigger than f?
True
Let d(f) = 726 + 8*f - 641 + 3*f. Let u be d(-7). Let c be (14/(-6))/(1/(-3)). Are c and u unequal?
True
Suppose 4*n - 5*f + 1683 = 0, -4*n - 1515 = f + 150. Let t = n + 417. Which is smaller: t or 314?
t
Suppose 2 = 5*u - 3. Suppose 0 = -16*z - 27*z + 129. Let k be (19/285)/(u - 2/z). Which is bigger: k or -6?
k
Suppose -2*j + 2*c + 42 = 0, 0 = 2*j - 3*c - 13 - 24. Let f = 212 + -186. Let p = f - j. Are p and 3/16 equal?
False
Let z = -18.286 - -18.386. Suppose -j - 4*j = -5. Suppose 3*k + j = 4. Which is greater: z or k?
k
Suppose -3*q = -3*t - 1047, -3*t - 2465 + 712 = -5*q. Let l = q - 8124/23. Suppose 0 = 27*k - 56*k - 29. Which is smaller: k or l?
k
Let x = -26 - -36. Let h = -10 + 24. Let u = 10 - h. Which is greater: x or u?
x
Suppose -20 = -5*i - 2*o + 45, -i = 3*o. Let j be (-3*2/i)/(5/(-25)). Let t be (j*3/(-30))/(16/10). Which is bigger: -1/7 or t?
t
Let s = 2705/19 - 91747/608. Let h = 1/32 + s. Let o be (4/(-12) + -3)*3. Is h < o?
False
Let g(q) = 4*q + 25. Let o be g(-6). Let m be ((-6)/15)/(192/(-190) + o). Suppose -m = l - 7. Is l greater than -32?
True
Let x = 7708559/545258 + 9/18802. Is x less than or equal to 13?
False
Let p = -63 + 68. Suppose -4*n + 215 = p*h, 5*h - n = 4*n + 215. Suppose 0 = 5*z - 6*z - h. Which is bigger: z or -42?
-42
Let a be 20396/(-15294) - (-12)/9. Let d = a + -15040/971169. Which is bigger: d or -1?
d
Let z = -3/283 - 4158/8207. Suppose a + 7 = -4*v, -4*a + 0 = -2*v + 10. Is v >= z?
False
Suppose 2*g = -16*s + 20, 3*s = 140*g - 143*g + 261. Let b = 173 - 76. Which is greater: b or g?
g
Let z = -11 - 25. Let l = z - -17. Suppose -84*h = -2*t - 79*h - 6, -4*t + 2*h = 60. Which is greater: l or t?
t
Let s(i) = -5*i**3 - 18*i**2 + 56*i - 4. Let k be s(5). Which is smaller: -801 or k?
-801
Let o = -190 - -314. Let l be 5*-1*o/(-775). Which is greater: -0.21 or l?
l
Let k = 94638/7 + -13520. Let s be 1/(2/24*3). Let q be (s/5)/((-1)/2). Which is smaller: q or k?
q
Let g = -100 + 145. Let l = -0.213 + -1.787. Is g bigger than l?
True
Let h = 8.8 - 3.6. Let x = h - 5. Let g = 20015.15 - 20015. Does g = x?
False
Suppose 10*x = 3*k - 23 + 51, 3*k - 2*x = -44. Suppose -66 = 3*u - 5*f, -2*f + 6*f = 12. Is u smaller than k?
True
Let x be 7/203 - 2820/61596. Let i be 12/(-42) - (-19)/(-7). Let j be (-3)/(-6) - i/(-6). Which is greater: x or j?
j
Let m = 5.12 + 0.88. Let x = 6.012 - 0.012. Is m < x?
False
Let h be ((-220)/(-50))/((-2)/30). Let n be 2 + (-144)/h + (-2)/11. Suppose -12 = 2*x - n*k, -x + 3*k = x + 9. Which is smaller: -5/18 or x?
-5/18
Let x(d) = d**3 - 23*d**2 - 57*d + 1494. Let g be x(17). Are -1212 and g equal?
False
Let r be 8 - ((-21)/12)/(20/7240). Do r and 642 have different values?
True
Let c = 16067 + -15851. Is c at least as big as 217?
False
Let f = -134.9 - -135.9. Is 11084 at least as big as f?
True
Let i(h) = -h**2 - 18*h - 2. Let w be i(-18). Let n be 88/14 + w + -4. Let z = 5.18 - 0.18. Which is smaller: n or z?
n
Let f = -62152/5 - -12431. Is f at most as big as -0.0569?
False
Suppose -2*l = 1 + 1, -5*l - 481 = -c. Suppose -3*n + c = 2279. Which is smaller: n or -602?
-602
Let h be 0 + 12/28 + (-1272)/(-21). Suppose -53 = -3*z + 4*r + r, 0 = -4*z - 3*r + h. Which is greater: 18 or z?
18
Suppose 0 = 4*g + 2*z - 18664, -g = 15*z - 11*z - 4652. Is g greater than 4667?
True
Let l = -39 - 67. Let c = 114 + l. Let v be (0 - (1 + -3))/1. Which is smaller: v or c?
v
Let j = -3861 - -3860.1698. Let k = j - 0.0698. Which is bigger: k or -1?
k
Let u = -8729 - -8577. Do 0.35 and u have the same value?
False
Suppose -4*t - 1334 = 2554. Let h be (2/(-6))/(6/t) + 0. Is h less than 53?
False
Suppose -27 + 4 = 91*a - 114. Which is smaller: a or 3/4163?
3/4163
Let v be (-3)/(-3*1/(-321)). Let m = 1808 + -2130. Is m > v?
False
Let f = 51757/1701063 + -37/1953. Is f at least 1?
False
Let n = 999 - 1009. Let z be (-50)/(-20)*n - -9. Which is smaller: z or -28?
-28
Let a be 66/(-12)*136/187. Is 76 less than a?
False
Let z = -452/1317 + 1666/5707. Let d be (-2)/(-5)*5/3. Is d greater than or equal to z?
True
Let g = 199 - 303. Let j be g/(-572) - (26/(-11))/(-2). Which is smaller: 2/139 or j?
j
Suppose -20*m + 185 = -55. Let v be (-1*(-10)/(-5))/(8/m). Let w = -3226/5 + 641. Which is greater: w or v?
v
Let d(w) = 8*w**2 - 338*w - 152. Let v be d(49). Which is bigger: v or 2493?
v
Let a(d) = -2*d - 22. Let s(f) = 3*f**2 + 18*f + 39. Let n be s(-4). Let q be a(n). Are -52 and q equal?
True
Suppose 21 - 1 = -4*z, -5*g - 3*z = 315. Let i be ((-9)/60)/(25/g). Which is smaller: 0 or i?
0
Let u = -194.88 + 193. Let f = -0.12 + u. Which is smaller: f or 70?
f
Let x = -76.916 + 77. Let r = x + 3.516. Which is smaller: r or -2?
-2
Let i be (442/416*186)/(25 + -1). Is 7 at most as big as i?
True
Let i = 27 - 28. Let b be i/4*1 - 12845/(-840). Let r = b - 97/6. Which is greater: r or 0?
0
Let w = -6546 - -13074. Do 6529 and w have different values?
True
Suppose -p - 4*b + 21 = 0, -2*p - b - 6 = -4*p. Suppose -p*y = 26 - 21. Is y less than or equal to -4/37?
True
Let b = 5.603 - 