 g or 5/4408?
g
Let n be 452/((-9 - 530/(-60))/(2/114)). Is n at least -49?
True
Let o = 0.0276 - 205.0276. Let m = o + 367. Which is bigger: 1 or m?
m
Let q = 16.08411 + -8.08411. Let l be ((-68)/6)/((-1)/(-3)). Is l equal to q?
False
Let w be -10 - (-168)/18 - 2168/5. Let s = -434 - w. Let y = 0 + -1. Is s > y?
True
Let i = -0.04073 - -59.12273. Let s = -59 + i. Let d = s - 0.132. Which is smaller: d or 2?
d
Let y be 213/33*-7 + (-2)/(-11). Let v = y - -47. Suppose -v*s + s = -5*c + 100, 2*c + 5*s = 67. Which is greater: c or 22?
22
Let v = -0.04449 - -0.34449. Is 645 greater than v?
True
Suppose -4*o = 2*j + j + 1532, -3*o = 4*j + 2052. Is j greater than or equal to -513?
False
Let z be 2/20 + (-11193)/2030 + 5. Suppose -3 = 20*k - 17*k. Let u(b) = -b**2 - 2*b - 1. Let v be u(k). Is z <= v?
True
Suppose 1237 = 5*h + 3*w, -4*h + 306 = -2*w - 666. Let z = 246 - h. Which is greater: -2/173 or z?
z
Suppose k + 10 = 3*f + 9, -4*k = -f + 4. Suppose -4*o + 5*d + 68 = f, 0 = -26*o + 31*o + 2*d - 52. Which is bigger: o or -11?
o
Let h = -0.2389 - -0.2589. Is h at least as big as -0.01?
True
Suppose 0 = -2*o - 13*o - 1560. Let c be 589/(-1528) - 39/o. Are 0 and c unequal?
True
Let w = 463414/113 - 4101. Is w bigger than -1?
True
Let b = 84592 - 84591. Let t be 14/(-5) + (-4 - -2). Which is greater: b or t?
b
Let p = 0.2042 - 0.2042. Which is bigger: 2/5303 or p?
2/5303
Let m(o) = -54*o - 8. Let v(z) be the first derivative of z**3/3 + 11*z**2/2 + 16*z + 4. Let w be v(-9). Let g be m(w). Which is bigger: g or 0?
g
Let o = 103.2 + 24.8. Let k = 200 - o. Which is smaller: -1 or k?
-1
Let t be -4 - ((-10)/(-35) + (-11853)/4515). Let p = t + -6/43. Which is smaller: p or -2?
-2
Let w be -4*4/(216/(-231)). Let x be (-578)/45 + (5 - (-69)/(-15)). Let n = x + w. Which is bigger: n or 6?
6
Let a be 4*((-16398)/1512 + (-6)/(-63)). Let i = 7 - 3. Suppose i*x = 5*x + 43. Do x and a have different values?
False
Let u(f) = 4*f**2 - 30*f + 16. Let i be u(7). Suppose -2*l + 890 = -4*b + 214, 336 = -2*b + i*l. Which is smaller: -171 or b?
-171
Let j(l) = -l**3 - 4*l**2 + 207*l + 1004. Let x be j(-5). Which is bigger: x or -57/2?
x
Let p = -125.027 - -0.027. Let x = 133 + p. Which is greater: x or -0.12?
x
Let z be (19 - 11)/8 + 1 + -3. Do -2/29633 and z have the same value?
False
Let w(b) = 4*b - 17. Let r be w(-5). Let l = r + 68. Is 29 at least as big as l?
False
Let n be 1*-14 - (-72657)/5175. Which is smaller: n or -1?
-1
Let v(y) = -y**2 + 6*y + 6. Suppose 0 = 3*o + o - 28. Let u be v(o). Let x = 234748 - 1643240/7. Which is greater: u or x?
x
Let m = 57 + -190. Let b be -90*-6*6/(-24). Which is greater: m or b?
m
Let i = -18025684/291 + 61944. Is i less than or equal to 1?
True
Let g(k) = -22*k + 2. Let z be g(1). Let b = -17 - z. Suppose -2*l = -5*l + b. Which is smaller: 9/11 or l?
9/11
Suppose 5*f - 14 = -2*n, -n + 0*f = f - 4. Suppose -n*w - 3*g + 5*g - 140 = 0, -5*w - 374 = g. Which is smaller: w or -75?
-75
Let t(v) = -9*v - 45. Suppose 0 = o - 12 + 21. Let i be t(o). Let x = -33 + i. Which is smaller: 4 or x?
x
Suppose -4*f = 3*f + 5 - 5. Let x = 22 + -12. Suppose -11*z + x*z + 21 = f. Is z at most -1?
False
Suppose 5*v = -y - 0*y + 222, 2*y = 4. Let c be -5 - -106*2/v. Is 0.03 >= c?
True
Suppose -126 = 18*n - 16*n. Let m = n + 288. Is 224 at most m?
True
Let f be (-2)/43*(-2)/4. Let w = 3249 - 3250. Is w != f?
True
Let u(p) = 6 - 6*p + 0*p + 56 + 64 - 133. Let o(b) = b - 5. Let l be o(4). Let m be u(l). Which is bigger: m or 4/53?
4/53
Let m be (-3)/(3/2) + 38/(-19). Let p(i) = 2*i + 6. Let x be p(m). Is x less than or equal to -15/2?
False
Let d = -22711/165 + 1506/11. Which is bigger: -26 or d?
d
Let v be ((-492)/9)/(28/42). Let o = -83 - v. Is o bigger than 2/1817?
False
Let w(y) = 49*y - 415. Let p be w(-84). Is p > -4532?
True
Suppose -8*n - 366 = -5*t, 73 = t - 3*n - 3. Are t and 65 equal?
False
Let w = 292 + 764. Is 1054 equal to w?
False
Let s = 22/51 + -2963/51. Suppose -2*n + 7 = 123. Which is smaller: n or s?
n
Suppose -4*r = -4, -188*r - 8167 = 4*o - 187*r. Which is smaller: -2041 or o?
o
Let i = 2.1 - 2.28. Let q = i + -72.82. Let z = q + 100. Is 1 at least as big as z?
False
Let m = 135300587/8133 + -16636. Is m at most as big as 1?
True
Let f = -687626/161 + 4271. Which is bigger: f or -5/6?
f
Let o = -72 + 68. Let w be ((o*1)/(-7 + 3))/(-1). Do 5/37 and w have different values?
True
Let z = 221 - 2589. Are -2368 and z non-equal?
False
Let s = 1126 - 1141. Let k = 1 - 1. Suppose 4*r - 3*j + 67 = -2*j, k = 5*r + 4*j + 68. Which is bigger: s or r?
s
Let b be (876/(-30))/2 - -3. Suppose 16*q = 21*q + 55. Which is smaller: q or b?
b
Let w = -2.03 - -2.43. Let p = w - -0.6. Are -13/5 and p equal?
False
Let a = 1322881/1672320 + -17/25728. Let k be 844/(-1248) + 6/9. Let c = a - k. Is 1 at least c?
True
Let k be (224/16)/(1*2). Suppose 0 = z + 78 + k. Is -86 at most as big as z?
True
Let b = 6304.2898 - 6304. Which is greater: b or 0?
b
Let c = 100444425/2984 - 33661. Is -1 at least c?
False
Let d be (376/(-10))/(1/(-10)). Let l = d - 1861/5. Let n = -0.341 - -0.341. Are l and n equal?
False
Let a be 4/14 - (-18)/(-63). Suppose 18 = 2*s + 2*z - 4*z, 0 = -2*z. Suppose a = 5*k - s + 14. Which is smaller: 5/23 or k?
k
Suppose 79 - 95 = -4*w. Suppose 2*r - w*g - 254 = 0, 3*g = -0 - 3. Is 125 not equal to r?
False
Let f = 397636 - 2773776/7. Do 1382 and f have different values?
True
Suppose 3*l = c - 2, 5*l + 2 = 3*c - 0*l. Let u be 2/(-3)*((-1 - 5) + (-699)/(-124)). Is c >= u?
False
Let k = 7.769 + 0.531. Let z = 24.8 - 25. Which is smaller: z or k?
z
Let f = 951/548 - -2/137. Let j(b) = -8*b - 28. Let w(x) = 1. Let z(r) = -j(r) + 5*w(r). Let n be z(-4). Are f and n nonequal?
True
Suppose 0*t - 15 = -3*t. Suppose -5 = -a + 2*q, t*a + 0*q + 20 = -5*q. Let u = 1939.28 + -1939.36. Which is bigger: u or a?
u
Let f = 936 + -941. Let c(n) = -16*n - 61. Let p be c(f). Suppose -u = -4*o + o + 60, 0 = -2*o - 3*u + 29. Does p = o?
True
Let k = -2619 + 2612. Is k at most 25?
True
Suppose 0 = 3*k - 22*k - 456. Let f be 3*((-141)/(-9) + -1). Suppose 5*p = 10 + 10, f = -2*c - p. Are k and c non-equal?
False
Let f = -91 + 105. Let x be f/(-21)*((-1)/2 - 1). Let l = -373 + 45507/122. Are l and x equal?
False
Let s be -14 - 984/(-72) - (-1)/3. Is s != 2/14511?
True
Suppose 5*x + 16 = -3*v, 7*v + 4*x + 5 = 2*v. Let f be (-13)/((-1326)/320) - v. Is f at most -1?
False
Let f = -5801 - -5803. Do 65/31 and f have different values?
True
Let f(m) = 21*m**2 - 38*m + 594. Let n be f(10). Which is greater: 4625/2 or n?
n
Suppose -1 = 5*s + 4*k, -2*s - 2*s + 4*k + 28 = 0. Suppose s*d - 5*d = 30. Let y(h) = h**3 + 19*h**2 - h - 36. Let n be y(-19). Is n equal to d?
False
Let s(x) = x**3 - 87*x**2 + 1622*x - 53. Let u be s(27). Let r be 3/(-5)*(-10)/345. Is u not equal to r?
True
Let u = -1624 + -2033. Is u at most as big as -3658?
False
Suppose -w = -2*v - 37, 2*w + 1 = -9. Let j = 176 + -106. Let c be (-2)/1 + j/(-4). Is v greater than or equal to c?
False
Suppose 0*o = -3*o - 2*v - 107, -3*o = -3*v + 132. Let n be (-6)/o + (-983)/52. Is n < -18?
True
Let k(u) = 3*u**2 + 5*u + 4. Let t be k(-1). Let p(q) = q - 5. Let j be p(5). Suppose j = -4*v - 2*x, -4*v = 5*x - x + 4. Which is smaller: v or t?
v
Suppose -800 = 9*p - 11*p. Suppose -2*t - 157 = -x, -5*t - x - 3 = p. Let y = -77 - t. Is 9 bigger than y?
True
Suppose 23 = -5*n + 2*c + 17, -5*c - 18 = 4*n. Which is bigger: -48/73 or n?
-48/73
Let q be 2/8*44 - -4. Let m(f) = -f**3 - 3*f**2 + 4*f. Let i be m(-3). Is q < i?
False
Let s be (-16)/(-48) + 14/3. Let f be 5/s*(0 - -18). Suppose 4*n + c = 2*n - f, -4*n - 8 = -5*c. Is -8 < n?
True
Let f be ((-115)/15 + 3)*3/(-2). Let d(o) = 12*o - 86. Let b be d(f). Is b != 12?
True
Let c be (-5665)/(-444) - (-4)/((-96)/18). Let u = c + -25/37. Which is smaller: u or 11?
11
Let z = -4953 - -4945. Let d = 32 - 18. Which is greater: z or d?
d
Let i = 143.4 + -142. Let f = i - 1.6. Is 8 less than or equal to f?
False
Suppose -3*q - 3*o = -327, -129 + 558 = 4*q - 3*o. Suppose 5*r = r - q. Which is bigger: -25 or r?
-25
Let g be 2/12 + (7/6)/(-7). Suppose 200 = 5*z - g*z. Let w be (14/(-8) - -2)*z/425. Which is greater: w or 0?
w
Let k = -8 + 5. Suppose 3*l = -5*x + 954, -1 = -2*l + 5. 