/(-62253)). Let t = b - 1487221/43. Which is smaller: t or -3?
-3
Let v = 645.59 + -37.59. Is v greater than or equal to 0?
True
Let y be 145/13 + (-24)/156. Let s be (-1)/(5/(-15)) + y. Let d = s - 15. Are d and -4/7 equal?
False
Suppose 97*d + 4380 = 157*d. Are d and 96 non-equal?
True
Let r be (-2)/6 - 17/3. Let s(d) = 6*d + 205. Let f(h) = 7*h + 245. Let g(u) = -5*f(u) + 6*s(u). Let p be g(r). Is -1 >= p?
True
Let h be 5520/220 - 25 - 46/22. Let p = -4 - 1. Let w be 2 + h/(-149) + (p - -3). Is w at least 0.1?
False
Let k = 4.679 - 4.419. Which is bigger: k or -3/14?
k
Let r = 218761/2820 - 931/12. Is 1 at most r?
False
Suppose 65*r - 3982 + 1318 = -157*r. Which is smaller: r or 1?
1
Let d = -47 - 142. Let q be ((d/(-56))/(-9))/(6/10). Which is greater: q or -2?
q
Let a be ((-3 - -1) + -3349)/(-1). Suppose a = 6*g + 423. Is 488 at most as big as g?
True
Let b = -16437/11 - -1493. Let n = -26 - -56. Suppose -5*x - n = 5*c, 4*c = -2*x - 7 - 13. Which is greater: b or x?
b
Let p be ((-4)/(-9))/(18080/240). Which is bigger: -32 or p?
p
Let w be (-3)/(0 + -1 + 0). Suppose -m - 26*m = -108. Suppose m*b + b = -s + 21, b = w*s + 1. Which is smaller: -3 or s?
-3
Let d = -3.023 + 3.083. Which is bigger: d or -206/3?
d
Let m = -240531/19 - -12659. Suppose -3 = 3*c + 3. Which is bigger: m or c?
m
Suppose 0 = 4*w - 4*k - 14 - 62, -k + 3 = 0. Let d = 10 - w. Let t be (-3)/(-2) + 9/d*2. Which is bigger: t or 2?
2
Let f be (-2)/4*(8/790 - 0). Let g = 2683 + -2682. Is f smaller than g?
True
Let t = 258/199 - 15340/12139. Which is bigger: t or -1?
t
Let v(s) = -s**2 - 16*s - 78. Let o be v(0). Let u = o - -78. Which is smaller: u or -3/7?
-3/7
Let r(t) = t**2 + 3*t + 1. Let w be r(4). Let n be (-3 - (0 + -1)) + 6. Let v = n - -26. Do v and w have the same value?
False
Let g = -0.08068 - 2650.91932. Which is greater: g or 0.2?
0.2
Suppose -22*h + 1199 + 979 = 0. Which is bigger: h or -6?
h
Let r = -66 - -69. Suppose 10*m = -3*c + 9*m, r*c + 5*m = 0. Is 3/608 bigger than c?
True
Let g = -662929.029 + 662386. Let a = -544 - g. Let z = 0.029 - a. Is -28 less than or equal to z?
True
Suppose -2*o = -5*m + 6*m - 392, 5*o = -3*m + 979. Let y = o - 197. Which is bigger: y or -1/19?
y
Let k(j) = 4*j - 3*j**2 + 7*j - j**3 - 9 + 16 - 12*j. Let g be k(-5). Suppose -2*p - g - 56 = 0. Which is smaller: p or -60?
-60
Suppose -p + 5*j = -6*p + 25, 5*j + 3 = 2*p. Suppose -10*u = p*u - 210. Are 15 and u unequal?
False
Suppose -4*r - 62089 - 25543 = 5*u, 3*r + 2*u = -65724. Let f be -5 - (0 - r/(-4380)). Which is smaller: -1 or f?
-1
Let k = 10089 + -10203. Which is bigger: -11 or k?
-11
Suppose -59*w + 58*w - 5 = 0. Let r be (3 + 2)/w*-1. Which is bigger: 1/5 or r?
r
Let x = -8 + -89. Let s be (-1)/(3/1455*5). Is s greater than or equal to x?
True
Let w be (1/2)/(405/(-162)) - 11405/(-25). Is w not equal to 5940/13?
True
Suppose 659132 = -379*o + 101623. Is -1470 not equal to o?
True
Suppose 18*x - 73445 = -26393. Which is smaller: 2615 or x?
x
Let x(k) = 13*k + 1044. Let l be x(-77). Suppose c + 4*c = 4*i - 166, -5*i - 3*c = -226. Let s = l - i. Is s at most as big as -7/6?
False
Let g = 0.046 + 0.254. Which is smaller: 176 or g?
g
Let l = -3383 + 3874. Is l greater than -1/2?
True
Let x(l) = -290*l**2 - 2*l + 1177*l**2 - 7 - 299*l**2 - 293*l**2 - 290*l**2 + l**3. Let h(v) = -v**3 + v**2 + 3*v + 4. Let m be h(3). Let t be x(m). Is t != 3?
False
Let i = 0.789 - -10.211. Is 2.35 > i?
False
Suppose -3*n + 6 + 0 = 0. Let l(r) = 14*r**2 - 4*r + 7. Let o(j) = -30*j**2 + 9*j - 15. Let u(a) = -13*l(a) - 6*o(a). Let y be u(n). Which is smaller: y or -10?
y
Suppose -4*o + j = -o - 699, 0 = 2*j - 6. Which is smaller: o or 229?
229
Let r = 69 - 49. Suppose -p - 3*h = 12, 19*p + 5*h = 14*p - r. Which is greater: -3/181 or p?
p
Let q(v) = v**3 - 4*v**2 - 63*v + 198. Let l be q(3). Is -4/3005 smaller than l?
True
Let g = 299.41 - -2.59. Let y = g + -318. Which is smaller: y or 2?
y
Let b = -6402 + 6998. Which is greater: b or 597?
597
Let f = -49 - -30. Let b = f + 21. Let x be b/5 - -1*(-203)/420. Is x greater than or equal to 1?
False
Let o = -4064 + 182908/45. Let s be (-2*16/(-28))/((-54)/(-42)). Let z = o - s. Is z bigger than 0?
False
Let q = -61601/8 - -7702. Let h(y) = y**2 + 13*y + 15. Let r be h(-12). Is r greater than q?
True
Let m = -4433 + 4433.3. Which is smaller: -2048 or m?
-2048
Let h = -155 - -14. Let b = h - -207. Which is smaller: b or 65?
65
Let h = -4/5 - -21/20. Let q(u) = 2 + 15*u + 4 + 13*u**2 - u**3 + 3 - 3*u**2. Let j be q(11). Which is smaller: j or h?
h
Let k(v) = -v**2 - 8*v + 20. Let t(j) = -j - 2. Let d be t(8). Let l be k(d). Let f = -13/28 - -5/28. Which is smaller: f or l?
f
Let p = 3.2 + -3. Let h = 20853 - 20853.012. Is p less than h?
False
Let v = 395 + -392. Let i(t) = 16*t - 34. Let z be i(v). Is z at most 3?
False
Let a(r) = -r**3 - 8*r**2 + 9*r + 25. Suppose 30*n = 40*n + 70. Let w be a(n). Is -88 greater than or equal to w?
False
Suppose -5*t - 4 - 142 = -2*v, 4*t + 5*v = -97. Let j(r) = -4*r**3 - 3 - 29*r - 5*r**2 + 5*r**3 + 24*r. Let i be j(5). Is i at most as big as t?
True
Let r = -33 - -30.78. Let j = r + 0.32. Let o = 1.81 + j. Which is bigger: 2/9 or o?
2/9
Let v(s) = 97*s + 2. Let x be v(-6). Suppose 0 = 51*p - 178 - 26. Let k be p/x*6/3. Which is greater: 1 or k?
1
Let j = -55 + 90. Suppose 0*c + c + 5 = -h, j = -4*h - c. Suppose -4 = 5*q + 41. Is q < h?
False
Let s(o) = -15*o**2 - 1. Let b be s(-1). Let v = -19090 - -19074. Is v greater than b?
False
Let c(y) = -y**2 + 49*y + 3080. Let x be c(76). Which is bigger: 1024 or x?
x
Let z be ((-1)/11)/((-42)/231). Which is smaller: 1395 or z?
z
Let j = -4329 + 4289. Which is greater: -434/11 or j?
-434/11
Let g(j) = j**3 + 16*j**2 - 2*j - 30. Let n be g(-16). Suppose -f - 195 = a, 7*f + 589 = 4*f - n*a. Which is greater: -198 or f?
-198
Let u = 545 + -545. Is 2701 > u?
True
Let m = 3240 + -3537. Which is smaller: -294 or m?
m
Let b = 153 - 185. Let o = b - -120. Suppose 3*p + 97 = -5*y + 327, 2*p - o = -2*y. Which is smaller: 48 or y?
48
Let t = 4524 - 32629/7. Let j = 137 + t. Is j bigger than -29?
True
Let p = -6 - -11. Suppose 5*w = 2*x + 262, -48 = -w - p*x + x. Let f be ((-10)/7)/(855/(-31122)). Are w and f unequal?
False
Let z(k) = -k**3 + 12*k**2 - 57*k + 879. Let w be z(13). Let s be (-7 + 1)/((-3)/2). Let g be (6/s)/((-2)/40). Is g > w?
True
Let r be ((0 - -1)/3)/(160/(-240)). Is 596 at most r?
False
Suppose 0 = 5*q - n, -n = 3*q + 2*q. Let c = 8.5138 - 41.5138. Do q and c have different values?
True
Suppose 2*m + 8 = -2*m. Let c be ((-360)/(-16))/(-15)*(-18)/(-21). Which is smaller: c or m?
m
Let k = -9 - -9.6. Let j = k - 3.6. Let t = 0.0513 - 3.0513. Is t <= j?
True
Let i be 1312/20 - (-4)/10. Let p(d) = -d + 1. Let a(o) = 3*o - 3. Let m(g) = -a(g) + 3*p(g). Let x be m(-10). Is x less than i?
False
Let z be (-2)/6*-3*1. Let r = 14.00153 - 0.00153. Is r greater than or equal to z?
True
Let p(k) be the first derivative of -38*k + 20 - 3/2*k**2. Let q be p(-12). Is q at most as big as -4/5?
True
Let p = 439 - 177. Let r = p + -262. Which is greater: 24/17 or r?
24/17
Let x(i) be the first derivative of 3*i**2/2 - 12*i - 23. Let t be x(19). Let m be -2*(3 - t/6). Which is smaller: 52/5 or m?
m
Let l be (2*(-4)/14)/((-226)/(-231763)). Is l at least -589?
True
Let c(d) = -5*d - 3. Let s be c(-1). Let w be -4 + (-3277 - s)/3. Let v = 7699/7 + w. Which is smaller: v or 3?
v
Let s = -7.2 + 4.6. Let l = s - -0.9. Let b = -1.7 - l. Which is bigger: b or -3?
b
Suppose -10781 + 8801 = 10*f. Is f at least as big as -395/2?
False
Let h(x) = -x**2 + 26. Let q be h(5). Which is greater: 27/55 or q?
q
Let j = -140 - -64. Let r = 4 + j. Let c = 26 + r. Which is smaller: -47 or c?
-47
Let o(b) = -390*b + 129. Let q(f) = 30*f - 10. Let k(t) = 2*o(t) + 27*q(t). Let a be k(-7). Let u = a + 131. Which is greater: -90 or u?
-90
Let r = 4.735 - 1.235. Let b = 0 + 5.5. Let n = r - b. Is 1/4 not equal to n?
True
Let a(y) = y**3 + y**2 + 4*y + 9. Let d be a(-2). Let v = -50354/37 + 1361. Is v at least as big as d?
True
Let u be (-1 - (1 - 2) - 0) + -16. Let x be ((-40)/(-14))/(u/(-56)). Let o be (-4)/x*35/42. Is o not equal to 1/27?
True
Suppose a + 5*d = -29 + 10, -4*a - 2*d - 4 = 0. Which is smaller: a 