*j + 5*j - 5*o - 17 = 0, 2*j + 2*o - 6 = 0. Let u be j - ((-154)/(-21) + (1 - 5)). Which is smaller: u or 31?
u
Let d(k) = k**2 + 31*k - 10. Let r(f) = f**2 + 30*f - 11. Let h(x) = -4*d(x) + 3*r(x). Let a be h(-40). Are -234 and a equal?
False
Let r(q) = q**3 - 4*q**2 - 49*q - 360. Let f be r(-11). Which is greater: f or -1634?
-1634
Let m = 50.1 + -50. Let z = -33 + 51. Let o = -47 + z. Is o > m?
False
Let r(g) = 2*g - 31. Let v be r(9). Let o(a) = -a - 1. Let q be o(v). Let f be ((-2)/112)/((-9)/q). Which is smaller: -1 or f?
-1
Let d(i) = 2*i**3 + 65*i**2 - 1394*i - 18. Let u be d(16). Which is smaller: u or 2515?
u
Suppose -5*p - o = -18, 55*p - 54*p - o = 0. Let i = -2726/5 + 4817/10. Let w = i + 67. Which is greater: p or w?
w
Suppose 13*o + 6 + 0 = 19. Which is bigger: o or 3/3323?
o
Let o = -3 + 2.8. Let w = -10.29 + 25.18. Let d = -15 + w. Which is greater: o or d?
d
Let h(x) = -419*x + 2514. Let z be h(6). Which is bigger: z or 3/4105?
3/4105
Let p(h) = -298*h + 180. Let b(z) = 199*z - 120. Let d(t) = 7*b(t) + 5*p(t). Let m be d(2). Is -137 less than m?
True
Let g = 11559 + -11419. Is g > -0.64?
True
Let t = -911.3 + 860. Let s = -48.3 - t. Which is smaller: s or 2/17?
2/17
Let t(r) = r**3 - 7*r**2 + 7*r - 2. Let s(p) = p**3 - 8*p**2 + 8*p - 2. Let l(q) = -6*s(q) + 7*t(q). Let y be l(0). Let m = 2564/7 - 368. Does y = m?
False
Let r = 87581/29 + -3020. Which is bigger: r or -0.1?
r
Let v be (-25)/(-12 + (-1199)/(-99)). Is v smaller than -226?
False
Suppose 0 = -17*c + 3721 - 3160. Let v = -236726/15 - -15749. Let x = c + v. Are 0 and x non-equal?
True
Let z = 111 - 45. Let r = -30 + z. Let x = r + -30. Is x greater than -1?
True
Let y be 2/(204/105 + -2). Let q = -57 - -25. Let m = y - q. Which is smaller: 4 or m?
m
Let n = 123 + -145511/1183. Which is smaller: 0.3 or n?
n
Let d(h) be the second derivative of 15*h - 1/3*h**3 + 1/10*h**5 - 5/6*h**4 + 0 - 1/2*h**2. Let k be d(5). Is k at least -11?
True
Let v = 36.397 + -36.9472. Which is smaller: v or 0.2?
v
Let l be 14/(-154)*-11*-3. Suppose -3 = -i - 7. Let o = 1 + i. Is l less than o?
False
Let o = 9 + -6. Suppose -207 = -27*a - 72. Is a >= o?
True
Suppose 0*c = -3*c, 5*d = -2*c + 10. Suppose -4*r + d*r = 5*k - 1, -k - 3*r = -8. Which is bigger: -15/11 or k?
k
Let p be ((-1)/2)/((-1)/(-44)). Suppose 8325 = 44*n - 4083. Suppose n - 207 = -3*a. Which is greater: p or a?
p
Let n = -568 + 567. Which is bigger: 40 or n?
40
Let n be ((-16)/(-5) - 2/10) + (42 - 34). Is n <= 0?
False
Let o = 3.589 + 180.511. Let a = o + -184. Is 5/32 greater than a?
True
Suppose -4*q = -2*q - 20. Let n be (1 + 7)*q/(-8). Suppose -125*w - 960 = -5*w. Which is smaller: w or n?
n
Suppose 0 = -3*z + 4*v - 1026, 146 = 3*z - 2*v + 1178. Is -359 at least z?
False
Let o(u) be the first derivative of -u**2/2 - 2*u - 405. Let j(n) = n**2 - n - 1. Let r be j(0). Let s be o(r). Which is smaller: s or -1/23?
s
Suppose -m = -4*t - 476, -725*m - 3*t + 427 = -724*m. Are 450 and m unequal?
True
Let n(t) = -47 + 9*t - 38 - 7*t + 2*t. Let b be n(-10). Which is smaller: -127 or b?
-127
Let i = 0.604 - 0.904. Is i >= -1/2438?
False
Let p(q) = -2*q - 1. Suppose 19*b - 18*b - 5 = 0. Let g(v) = v. Let n(c) = b*g(c) + 2*p(c). Let u be n(-13). Which is smaller: u or -1?
u
Let w = 717.3 - 714.3. Which is smaller: -2/271 or w?
-2/271
Suppose -4*g - 3*h - 18 = g, -12 = 5*g + 2*h. Which is greater: 1/1211 or g?
1/1211
Let r be 21 + 21 + -18 + -10433. Is -10408 greater than r?
True
Let b be 18/3 + 180/(-7 + 17). Does b = 3.1?
False
Let p = -5.958 + 0.958. Let h = -352 - -349. Is h not equal to p?
True
Let y = -1.5705 - -2.0705. Is y at most 7.5?
True
Let x = -93.1 + -14.9. Let h = x + 151. Let i = h + -44. Is i greater than -0.07?
False
Let l be ((-40)/(-128))/((-2)/(-88)). Let p = 263/20 - l. Suppose 0 = 7*m - 4*m + 3. Are p and m equal?
False
Let v(r) = 14*r**2 - 21*r + 5. Let f(b) = b**3 + b**2 - 2*b + 1. Let c(d) = 3*f(d) - v(d). Let s be c(6). Is 341 at least s?
True
Let i = -0.43078 + 0.03078. Is 2/2189 not equal to i?
True
Suppose 147*r + 407*r = -62*r. Which is smaller: 41/430 or r?
r
Let l = 0.1207 + -816.1207. Let d = l - -817. Is -28 >= d?
False
Suppose 0 = -4*l - 4, -4*q + 3540 = -4*l + 17224. Are q and -10268/3 nonequal?
True
Let p = 117 - 123. Let q be (-1 - -2)/((-68)/p - 3). Which is smaller: 0 or q?
0
Let g = -460955/8 + 57757. Let b be (-64 - -56)*411/(-24). Let q = g - b. Is 2 >= q?
True
Let x be (-5)/4 - 28/16. Let a be (-10)/3*(x - 76/(-30)). Is a less than or equal to 3/5?
False
Let k = -3.1111 + 0.1111. Which is smaller: -3/1186 or k?
k
Suppose -7*p + 8*p - 3 = 0. Suppose 0 = -4*r - 0*r + 2*k + 10, -k - 1 = 0. Suppose j = -p + r. Is 2/23 greater than j?
True
Let o(j) = -j**2 + 5*j + 3. Let q be o(5). Suppose 2762 - 382 = -17*s. Let n be (s/650)/((-1)/15). Is q >= n?
False
Let p = -8032 + 10298. Which is smaller: 2268 or p?
p
Let z be (-6254)/(-18) + 185 + -204. Is 328 at most as big as z?
True
Suppose -5*a - 75*b + 70*b + 25290 = 0, -4*a = -2*b - 20202. Is a greater than or equal to 5054?
False
Let b be (31/(-12))/(1/(-3)*(-489)/(-31622)). Is b < 502?
True
Let j = -798 - 529. Is -1/3 > j?
True
Suppose 2*g - y - 33 = 0, 5*g + 5*y - 42 - 3 = 0. Suppose -x = -g*x. Is x > 11/13?
False
Let o be -1 + 7/(35/10). Let t be ((-2)/8)/(2/(-40)). Suppose -2*a = -4*a - 2*n + 10, 0 = -t*a + n + 25. Which is smaller: a or o?
o
Suppose 0 = 7*r - 2*r. Suppose r = -6*z + 18*z - 240. Let c be (-28)/6 - z/(-30). Which is bigger: c or -18/7?
-18/7
Suppose -3*j - 39 - 6 = -5*l, 0 = -4*l + 3*j + 36. Let i = -308 + 345. Let y = i - 25. Which is bigger: y or l?
y
Suppose -14 = -4*z + 2. Suppose 2*l - 3*p + 462 = 0, p + z*p = 0. Let o = 475/2 + l. Is 8 <= o?
False
Let p = 24164 + -24165. Is 6/2771 at most as big as p?
False
Let z = -164 - -285. Let n(j) = 11*j - 209. Let h be n(30). Is h less than or equal to z?
True
Suppose -3*t = 715*r - 719*r + 73, -5*r - 2*t + 97 = 0. Let l = -39 - -62. Is r smaller than l?
True
Let p = 5514 + -6345. Is -830 equal to p?
False
Let c(x) = x**3 - 54*x**2 + 446*x + 23. Let z be c(33). Do z and -8129 have the same value?
False
Let s = 4303 + -1725. Is 2577 at least as big as s?
False
Let k(i) = -2*i**2 + 68*i + 2207. Let q be k(-23). Is q at most as big as -415?
True
Let t = -10966 - -10966. Is t less than 2/12659?
True
Let z be (2870/(-369))/(8/24). Is z != -0.4?
True
Let k = -280 + 279.799. Let y = k - 2.269. Let t = 0.47 + y. Are t and 4 nonequal?
True
Let x be (-19 - 75/5)*-33. Which is smaller: x or 1123?
x
Suppose 0 = 3*i - 1 - 8. Suppose -5 = -f + y, -f + i*y - 11 = -18. Let h be 2/4 - (f + 413/(-126)). Is h <= -3/16?
True
Let m = -3/146 + 3735/584. Let g = -1283/200 + m. Let v = -363322 + 363323. Is g bigger than v?
False
Let c be (-10)/45*1 + 40/18. Suppose 36 = -5*l + l + 4*r, c*l = 5*r - 30. Which is smaller: l or -8?
-8
Let d be (-164)/6 + (-3)/(-9). Let n be (-49192)/17160*(1 + 8). Which is bigger: n or d?
n
Suppose -5*h + 31684 = -t, -5*t - 29096 = -3*h - 10112. Is 6336 smaller than h?
True
Let y = 41.23 - 41. Let z = -45.2 + 44.77. Let m = z + y. Is m equal to -0.2?
True
Let x = -516.4 - -520.4. Which is bigger: 562 or x?
562
Suppose -4*i = 10 - 462. Let d = i + -28. Let n = d - 67. Is n at least as big as 18?
True
Let o(x) = x**3 - 5*x**2 + 5*x - 2. Let g be o(4). Let r(i) = 6*i + 88. Let u be r(-14). Let s be (u/10)/(g/(-4)). Is -1 at most as big as s?
True
Suppose -25 = -2*f - 9. Let u be (-2)/(-2) - 2*4/f. Let z = u - 2. Is z smaller than 1/7?
True
Let i = -1159/9 - -129. Let n(g) = -g**3 + 7*g**2 - g + 16. Suppose -5*o + z + 0 = -36, 15 = 2*o - z. Let p be n(o). Are p and i unequal?
True
Suppose 10 = -0*r + r. Let u be 4/2*-4*r/(-8). Let g(c) = -7*c - 3. Let n be g(-2). Which is bigger: n or u?
n
Let i(q) = q**2 - 29*q - 719. Let l be i(-16). Is -90 < l?
True
Suppose 2*s = -3*v - 50 + 772, 485 = 2*v + 5*s. Let u be (-8)/(-10)*v/(2 - -2). Suppose 240 = 42*t - 37*t. Are u and t unequal?
False
Let j(b) = 2*b**2 - 16*b. Let x be j(8). Let c = 210/493 - 26/29. Is c greater than x?
False
Let l = 2652 - 2652.4. Is 11/6 at most l?
False
Let s = 425 + -440. Let t = 16 + s. Is 1/71 at most t?
True
Let c be 4/(-26) - (88/104 + -3). Suppose -6*z = 5*m - c*z - 205, 5*z - 25 = 0. Are 35 and m equa