h is smaller: 2 or o?
2
Let v = -409 - -194. Let d = -259 - v. Is d >= -4?
False
Suppose 4*f - 4*r + 262 - 290 = 0, f + 5*r = -5. Let c be 1/((3/(-3))/4). Let u be 0/2 + -1 - c. Which is smaller: u or f?
u
Let p = 0 - 5. Let f = -65.539 - 1.461. Is f at least as big as p?
False
Suppose i + 8*s - 2223 = 7*s, 0 = -4*i - s + 8895. Let o = 28926/13 - i. Is 0 greater than o?
False
Let b = 517 + -457. Let u = 83 + b. Do 142 and u have the same value?
False
Suppose -13*c - 3*h - 159 = -11*c, -5*h - 242 = 3*c. Which is smaller: c or -101?
-101
Suppose 11*m + 34 = 28*m. Let g be 0/21 + m/2. Is g smaller than 4/121?
False
Let w be 24/(-9) + (-2)/6. Let d = 557/14 - 135/7. Let a = 18 - d. Which is bigger: a or w?
a
Let g(o) = 134*o**2 + 7*o - 92*o**2 - 5*o - o**3 - 83. Let d be g(42). Which is bigger: d or 10/9?
10/9
Let t = 4043 - 4023. Let q be 19 + (0 - 1 - 0). Is q < t?
True
Let m = -351 + 327. Let f be (m/3)/((-5)/(-65)). Which is bigger: f or -105?
f
Let p(s) = -s**2 - 183*s - 8212. Let q be p(-82). Let r = -178 + 249. Is r >= q?
True
Let x = 17 - 17.09. Let n = 496 + -324. Let a = n + -171.9. Which is greater: a or x?
a
Suppose -k = -5*y - 27, -4*k + 2*y = -176 + 14. Let j be 458*(-4 + k/12). Which is smaller: -230 or j?
-230
Suppose -16*y - 412 = -15967 - 179005. Is 12160 at least y?
True
Let j = -2/15573 - -31664/4033407. Suppose -7 - 14 = c - 4*y, 0 = 7*c - 3*y + 22. Which is smaller: j or c?
c
Let q = 2.6143 - 2.5463. Is q at least as big as 2?
False
Suppose 6549 = -42*g + 27801. Is 502 greater than or equal to g?
False
Let d be 6/9 + 680/6. Let n(m) = -235*m - 38425. Let c be n(-164). Is d at least c?
False
Let m be 2/((-4)/(56/(-10))). Let o be (-4130)/(-885)*(-6)/(-7). Which is bigger: o or m?
o
Let z be ((-2)/(2/2))/(-2). Let q(d) = -8*d**2 - 3*d - 1. Let y be q(-1). Let l be -15*y/18 + 50/(-14). Does z = l?
False
Let o(j) = -15*j**2 + 18*j + 65. Let l be o(11). Is l smaller than -1552?
False
Let d = -8/17 - -58/51. Suppose -404 = -3*m - 79 + 182. Is m > d?
True
Let y = 66.2892 + 0.0108. Let n = -74 + y. Let s = 5.7 + n. Do -5 and s have different values?
True
Suppose -56 = 28*j - 84. Are -22/175 and j non-equal?
True
Suppose 3*b = 2*v + 11, 0*b + 4*v = -5*b + 55. Suppose 4*t + 35 = -3*r, -t - 5*r = t + b. Which is greater: -2 or t?
-2
Let y be 11*7/7792169*-2. Which is smaller: 0 or y?
y
Suppose 55*r - 863 = -3*r - 26963. Is -897/2 smaller than r?
False
Let i = -966 - -1013. Let p = -47.082 - -0.082. Let x = i + p. Which is smaller: x or 18?
x
Let v(g) = 7*g - 23. Let m be v(2). Let r be ((-2673)/306 - m)/((-2)/20). Is -4 at least r?
False
Let i(y) = 66*y**3 - 2*y**2 + y + 5. Let q be i(-2). Is q equal to -532?
False
Let g = -4 - 0. Let c be 26/21*(-4 + 0) - g. Let q = c + 19/21. Is q equal to 1?
False
Let i = -1882 + 1336. Let o = -545.9 - i. Which is smaller: -0.14 or o?
-0.14
Let d = 4747.3 + -4747. Which is bigger: -704 or d?
d
Let u be ((-16)/((-640)/(-90)))/((-18)/303). Which is smaller: 0 or u?
0
Suppose 0 = -5*f - 3*x - 904 + 307, 5*f + 601 = -4*x. Is -113 greater than or equal to f?
True
Suppose -439*o = -422*o - 25687. Is o <= 1509?
False
Let u be ((-900)/(-36) - 28)*14/3. Is 13 < u?
False
Let t be -1*3*9955/15. Is t at most as big as -1991?
True
Let b be (17/(-561))/(2/18). Let v = -9.458 + -0.242. Let f = v - -10. Which is bigger: b or f?
f
Let p = -9273/344 + 2661003/12040. Let t = p - 194. Let m(i) = -i**3 + 15*i**2 + 677*i + 806. Let o be m(35). Are t and o equal?
False
Suppose 2931*c = 2923*c + 5888. Which is greater: -4 or c?
c
Suppose u = -4*b + 6*u - 556, -580 = 4*b + u. Let m be ((18 - -15) + -30)*(-145)/3. Is b equal to m?
False
Suppose 4*h - 2*i - 8642 = 0, -96*h + 85*h + 23774 = 3*i. Is h less than or equal to 2161?
True
Suppose 4*r = -5*l - 21, -5*r - 95*l + 99*l + 25 = 0. Do r and -1/3088 have the same value?
False
Suppose 20 = 3*j + 11. Suppose -52 = 2*x + j*m + 81, 5*x - 4*m = -367. Let f = -71 - x. Are f and 9/25 equal?
False
Let a = 0.049 + -0.0072. Let i = -29.9582 - a. Is i less than or equal to 0.3?
True
Let k = -43/124 - -61803/178312. Which is smaller: k or -1?
-1
Suppose -18 = -9*d + 15*d. Which is bigger: -62/17 or d?
d
Let t = -1.7 + 1.8. Which is smaller: t or 3650?
t
Let g = 2115 + -2009.1. Let y = g - 13.9. Let z = y + -92.039. Is z bigger than -1?
True
Suppose -6*b = -2*b + m - 10, -2*m = -b + 7. Let w be 8*(-4)/(-16)*5. Let h be (b - 4)*(-2)/w*1. Is 1.7 less than h?
False
Let t be 30/(-735) + (-47949)/539. Is t > -94?
True
Let m(n) = n**3 + 14*n**2 + 10*n - 28. Let g be m(-13). Let x(f) = -f**3 + 12*f**2 - 10*f - 10. Let c be x(g). Let q be 4/16 - (-3)/(-60). Is c greater than q?
True
Let v(j) = 4*j - 13. Let p be v(9). Let o be p/(-7) - -2 - -1. Suppose l - u + 6*u - 25 = 0, -l - 25 = -5*u. Is o > l?
False
Let a = 2380 + -2379. Which is greater: -2/459 or a?
a
Let s = 120 - 105. Suppose -5*w = -4*v - s, 10*v - 5*w + 15 = 5*v. Let x be (882/21)/(-2 - v). Which is smaller: -16 or x?
x
Suppose 4 + 20 = 12*h. Suppose -3*f + 4 = -h*l + 3*l, 2*l = -5*f + 9. Let d be l + -11 - 2*-2. Which is smaller: d or -66?
-66
Let a(y) be the second derivative of -2*y + 0 - 1/6*y**4 + 3/20*y**5 + 0*y**2 - 1/6*y**3. Let z be a(-1). Which is bigger: -2 or z?
-2
Let d = -1941 - -1896. Which is smaller: 19/8 or d?
d
Let w = 137 + -139. Let u be 28/63*w/(-12). Which is smaller: 1 or u?
u
Suppose 3*l = -0*l - 4*n - 1160, 0 = -4*n - 20. Let p = 1045769 - 1046149. Is l >= p?
True
Let v be 16/(-28)*(-308)/330. Do v and 2 have the same value?
False
Let f(k) = 3*k**3 + k**2 + 9*k - 10. Let s be f(1). Suppose w + 5*w = s*w. Is -2/1703 != w?
True
Suppose 20*o - 5112 = 8*o. Let p = o + -426. Is p < -6/227?
False
Let r be 4 + 10/(-6) + -3*1027032/1320516. Is r != -1?
True
Let g(b) = 4*b - 9. Let d be g(11). Suppose s - d = 4. Is s equal to 40?
False
Let g = 255091 - 255070. Let h(u) = u**2 + 2*u. Let r be h(-4). Is r at least as big as g?
False
Let p be (-18525)/(-45) - (-2)/6. Let i be 4 + -2 + p/(-480). Let g = i - -1/40. Is 0.2 less than g?
True
Suppose 5*i - 15 = 0, 4*i + 5 - 25 = -4*a. Is a at least -26?
True
Suppose 0 = 3*d - 22 - 5. Let x be d/6*4/(-12)*-6. Suppose x*n + 7 + 17 = 0. Is n at most -1?
True
Let x = -9 + -16. Let j(p) = p**2 - 28*p - 59. Let s be j(12). Let d = s - -229. Is d at least as big as x?
True
Suppose 0 = 3*o - 21, 81*d - 78*d = 3*o - 21. Which is greater: 9/1574 or d?
9/1574
Suppose -t - 4*c + 9*c + 23 = 0, 0 = 4*t + 4*c + 4. Suppose 3*q - j - 58 = 4*j, q = t*j + 26. Let a = 54528 - 54514. Is a greater than q?
True
Let h = 0.011 + -0.011. Suppose -2*z = -4*u + 16, z + 5*u + 0 = 6. Let b be (1 - (-58)/18) + z. Which is bigger: b or h?
b
Let x = 0.664 + -0.384. Let k = x - -4.62. Which is bigger: -1 or k?
k
Let q = 2 + -1. Suppose 90*g + 21823 = -67*g. Is q greater than or equal to g?
True
Suppose -3*m + 39 = 4*g, -3*g = -g - 6. Suppose 3*b = -3*r - 2*r - 65, -20 = -4*r. Let a be (36/(-3))/(-4 + b/(-12)). Are a and m equal?
False
Let q(c) = -23*c - 130. Let g = 177 + -183. Let x be q(g). Is 43/5 at most as big as x?
False
Let t = 156 + -252. Suppose 292*j - 162*j = -12610. Which is smaller: j or t?
j
Let g(n) = n**3 - 44*n**2 + 129*n - 113. Let a be g(41). Which is smaller: 139 or a?
a
Let s = 93865/8 + -11709. Let p = 2153/72 - s. Which is greater: p or 5?
p
Let v(n) = -24*n**2 + 121*n + 881. Let q be v(-7). Is q <= -1143?
False
Let m be -3*(-1)/399 + 0. Suppose -t = 6*g - 3*g + 12, t - 2*g - 13 = 0. Suppose 0 = 5*n - t + 8. Is n greater than or equal to m?
False
Let o be ((-17)/(-2))/((-62)/(-1116)). Let p = o + -5971/39. Is p <= 1?
True
Let q(t) = -2*t**2 + 11*t - 19. Suppose -3*j - 5*u - 17 = -5*j, -j + 7 = -4*u. Let i be q(j). Let v be 2/5 + 76/i. Which is greater: v or 0?
0
Let n be -5 + 7 + (3 - 5). Suppose -10*z - z - 22 = n. Are -16 and z equal?
False
Let h(v) = -4*v - 6. Suppose c = 3*o + 42, 0*c - 184 = -4*c + 4*o. Let r be (-3)/((-40)/c*(-2)/10). Let a be h(r). Which is smaller: 1 or a?
1
Let o be (-5)/((-45)/42)*-3. Let p be (o + 17)/(-3 + 0). Let h = 170 - 4254/25. Which is smaller: h or p?
p
Suppose -43 = 4*p + 53. Let i be ((2/(-2))/(-6))/(p/(-306)). Which is smaller: 2 or i?
2
Let x(j) be the second derivative of j**3/6 - 21*j**2/2 + 10*j + 2. Let c be x(12). Are c and 2 nonequal?
