 13 or h?
13
Let r = -8793.2254 + 0.2254. Which is smaller: 0 or r?
r
Let x(o) = -10 - 19*o + 6*o**3 - 8*o**2 + 2*o**3 - 12*o**3 + 3*o**3. Let j be x(-5). Which is bigger: j or 16?
16
Let s be 8 - 11 - 2/(-4)*1*3943. Which is bigger: 1969 or s?
1969
Let w be (21*(-495)/(-924))/(82/24). Which is greater: 3 or w?
w
Let c(t) be the first derivative of t**3 - t**2/2 + 3*t - 26. Let a be c(1). Suppose -3*u - 2*m - 2 = u, 16 = 3*u + a*m. Which is smaller: u or -5?
-5
Let n = -0.02297 - -3.96297. Which is greater: -0.04 or n?
n
Suppose -4*m - 3*t = -18, 18 = m + 20*t - 17*t. Is m equal to 57/140?
False
Let o be 68/(-12) + 420239/74037. Is 1 > o?
True
Let f(x) = -x**3 + 20*x**2 + x - 16. Let j be f(20). Suppose 2*i + 3*s - 348 = 0, -10*i - j*s = -7*i - 524. Is 180 less than i?
False
Let n = 41 + 133. Let h = 1214/7 - n. Which is smaller: -26 or h?
-26
Let u = -15701 + 5320. Is -10381 at most u?
True
Let h be (-5655)/30240 - ((-3)/(-54))/((-1)/2). Is h at least as big as 0?
False
Let j(p) = -p. Let q = 56 - 54. Let x(f) = 5*f + 22. Let w(d) = q*j(d) + 2*x(d). Let r be w(-6). Are r and 0 non-equal?
True
Let f(u) = u**2 + u. Let m = 52 + -52. Let l be f(m). Do 0.01 and l have different values?
True
Suppose 37*a - 30 = -474. Let h be (-274*(-3)/(-4))/((-9)/a). Is h at most -273?
True
Let c = 4486 - 22431/5. Is -109 < c?
True
Let p be (-2)/(-15) + 0 - 118/(-15). Let v(x) = 25*x - 33*x + 20*x + p. Let f be v(-4). Is -40 > f?
False
Let y(p) = -p**2 + 32*p - 56. Let r be y(30). Let q be 0 + (r/14 - (-6192)/84). Which is greater: q or 75?
75
Let v = -37 - -31. Let d be v/18 - (0 - 0). Let j = -28 + 40. Is d != j?
True
Let o = -1458 - -1456.21. Which is bigger: o or -4?
o
Let j = 5870 - 6881. Is j smaller than 1?
True
Let k(v) = -11*v - 1211. Let g be k(0). Which is greater: -1210 or g?
-1210
Let i = -58.17 + 60.4. Let q = 2.341 - i. Which is smaller: 2 or q?
q
Let k = 590 - 11931. Which is bigger: 0.1 or k?
0.1
Let j be 10/(-36) - (-16)/(-72). Let s = -7.18 + 4.075. Let x = s + 3.1. Which is smaller: x or j?
j
Suppose v = 4*x - 1353, -14*v = -5*x - 16*v + 1688. Is 335 at most x?
True
Suppose -179 = -2*h - 139. Let q be (-2994)/24 + (-5)/h. Is q < -126?
False
Let q = 1.9667 - -1.0333. Which is greater: q or 37.8?
37.8
Let n = 814817563/1010977 - -789/13849. Let v = n - 806. Suppose u - k = -3*k + 7, -3*k + 15 = -3*u. Which is greater: v or u?
v
Suppose 4*a + 0*i - 135 = -3*i, 0 = a + 5*i - 38. Let u be (a/22)/((2/(-2))/(-2)). Let y be ((-184)/90)/(u/(-45)*-6). Is y <= -6?
False
Let f = 335087/19 + -17646. Which is smaller: f or -9?
f
Let g = 45 + -40. Suppose -g*b + 5 = -t + 10, 5*t - 2*b + 21 = 0. Let o = t - -18. Which is greater: 12 or o?
o
Let j(z) = z**3 + 6*z**2 - 25*z**2 - z**2 + 2*z**2 - 17 + z. Suppose 27 = 4*r - 45. Let g be j(r). Is g less than -2/11?
False
Suppose 5*x - 40 = 3*n + 71, -x + n = -23. Suppose -x*o + 69 - 132 = 0. Which is smaller: 19 or o?
o
Let z(b) be the first derivative of b**2/2 - 3. Let g(m) = 6*m + 12. Let o(q) = -g(q) + 5*z(q). Let s be o(-18). Is 7 at most as big as s?
False
Let z be (-5)/(-3)*(-240)/(-50). Let u be 13*(-12)/270 - z/(-10). Which is bigger: u or 1/4?
1/4
Let c be (-2)/(-8) - 21/180. Let w = -243 - -175. Let k = w + 66. Is c <= k?
False
Suppose -5*o - 3*f + 123 + 149 = 0, -2*f + 216 = 4*o. Suppose -d - 35 = -o. Suppose -4*q + 11 = 5*b, -3*b = -0*b + 5*q - d. Is -10/11 bigger than b?
True
Let v = -134716334/327 - -411977. Are 0 and v equal?
False
Let j be (-101388)/2261 - 3*-2. Which is bigger: j or -39?
j
Suppose -f = 5*v + 61, -4*f + 2*v = -3*v + 244. Suppose 24 - 1844 = 28*d. Is f at most as big as d?
False
Let o = -16787 - -16788. Which is smaller: o or -82/393?
-82/393
Let p = 70 + -67. Let u be (15 - 13)*(-2 - p). Let s(a) = -11*a - 1. Let h be s(1). Is u greater than or equal to h?
True
Suppose 17*o = -161 - 1692. Is -120 less than o?
True
Let t(r) = -r**2 - r - 6. Let u be t(5). Let z be (42/4)/((-108)/(-72)). Suppose 4*o + 126 = -2*v + z*v, -o = -2*v + 30. Which is bigger: o or u?
o
Suppose -64672 = 97*l + 339269 - 83162. Is -3306 at most l?
False
Let o(m) = -677*m**2 + 4*m - 6. Let l be o(-5). Let q = 525433/31 + l. Which is greater: -1 or q?
-1
Let s = 0.21 - 0.31. Let d = 88 - 87.64. Is s greater than d?
False
Suppose -l + 346 = -2*l. Let n = l + 1051/3. Let k(x) = x**2 - 4*x - 7. Let d be k(6). Which is greater: d or n?
d
Let r be (220/70)/((-9)/2331). Is -814 > r?
False
Let n = 4994 + -534364/107. Let x(i) = -i**3 + 2*i**2 + 2*i + 2. Let o be x(3). Are n and o unequal?
True
Suppose -73 = 7*r - 1781. Suppose 0 = 5*j + 3*v - r, 5*j - j + 3*v = 197. Which is smaller: j or 46?
46
Let m be 5 + -2*4/8. Suppose m*i + 1032 = 8*i. Let c be i/(-231) - 32/(-56). Is -0.3 at least c?
True
Let n(u) = -3*u + 2. Let c be n(-2). Let w be ((-73)/(-2) + -5)*(-52)/(-6). Let l be 2616/w - (-28)/(-182). Is l >= c?
True
Let f be (63/(-4))/(1554/(-13552)). Let y = f - 72330/407. Which is bigger: -40 or y?
-40
Let o = 0 - -2. Suppose -153*d + 156*d = 5*s - 14, -34 = 4*d + s. Let t be (d/(-368))/(o/16*-1). Is t <= -1?
False
Let d(c) = c**2 + 12*c + 25. Let a be d(-17). Let t be 216/(-10)*(5 - 0). Let k = t + a. Is k bigger than 0.23?
True
Let j = -0.3 - 0.1. Let s = 15.048 - 14.948. Which is smaller: j or s?
j
Suppose -241*f = -249*f - 121 - 15. Which is greater: f or -19?
f
Let b = -22.81 + 0.81. Let n = -0.56 - 8.44. Let m = n - b. Is 2/7 at most as big as m?
True
Suppose -144 = -0*y - 9*y. Let j(h) = h**3 - 15*h**2 - 19*h - 4. Let p be j(y). Which is greater: p or -0.2?
-0.2
Let b be (3/3 + -2)*77. Let w = 75 + b. Let j be 1/(-10)*2/16*w. Is j at least as big as -1?
True
Let z = -8717/527426 + 10/859. Which is bigger: z or 0?
0
Let d = -143770/322808019 - -8/36737. Let g = d + -17152/1854057. Is g < 0?
True
Let l be ((-1*1)/1)/(1663/21619). Let j be 198/(-45) + 1 + 3. Is j smaller than l?
False
Let y(g) = -2*g - 49. Let p be y(-29). Suppose -p*r = 376 - 34. Is r greater than -41?
True
Let v be ((-30128)/(-49))/((-21)/(-588)). Is v at most as big as 17216?
True
Let r be (14 - 11) + 0 - 5. Which is greater: r or -41/46?
-41/46
Let b = -1096.2 + 1095.2. Let f be -302*(-1 + (-20)/(-8)). Is b greater than or equal to f?
True
Let q be 6396/(-23436) + (-1)/(14/(-4)). Let k = q - -2/651. Which is greater: 0 or k?
k
Let u = -148 + 237. Let h = u - 83. Let j = 1.9 - 2. Is h smaller than j?
False
Let k be 2/4*1 + 153/102. Let b = 10 - 6. Let y be 6/8 - (-1)/b. Which is greater: y or k?
k
Let d be (0 + (-1105)/10)*2. Let g = d + 224. Which is greater: 5 or g?
5
Let q be 4/(-24) - 7/(-6) - -269. Suppose 0 = 13*t + 5*t - q. Which is greater: t or 16?
16
Suppose 24*j - 259 = -235. Which is bigger: -2/22285 or j?
j
Let g = 390 + -1181/3. Suppose -x = -2*r - 13 + 3, -r = -x + 6. Is g >= r?
True
Let v = -57142676/5 + 11464308. Let g = -35930 + v. Is g at least -157?
False
Let j = -6.379 - -241.529. Let z = -235 + j. Let x be 7/14*4/(-3). Which is bigger: z or x?
z
Suppose 584 = 8*r + 4*v, 40*r - 298 = 36*r + v. Which is bigger: r or 226?
226
Let r = -209225/399 - -3677/7. Is r less than 0?
False
Suppose 0 = -6*d - 59 - 415. Let z = -62 - d. Let p = -20 + z. Which is greater: -1 or p?
-1
Let s = 0.21 - 0.01. Let f = -33 - -30.8. Let x = f + 2.33. Is s at most x?
False
Let c(l) = -l**3 - 53*l**2 - 161*l - 563. Let t be c(-50). Which is greater: 41 or t?
41
Let b(r) = 2*r**3 - 2*r**2 + 10*r - 1. Let v be b(3). Suppose 4*d - 65 = -c, 5*d - 2*c = 156 - v. Is d < 16?
False
Let r = 5686 - 5686.3. Which is smaller: r or -62/113?
-62/113
Let v = 2.7 + 2.8. Let q = -5.5 + v. Let k be (-4)/(-48) + (-2)/(-8). Is q equal to k?
False
Suppose 3*j - 29 = -5*s, 2*s - 5*j - 24 = -0*j. Suppose -5*l + 61 = 3*d, d - 11*l + 8*l = -3. Which is smaller: d or s?
s
Let f = 4 - 4. Let m be (19 - f) + (-6)/9*3. Are 18 and m non-equal?
True
Suppose -14*s - 19*s = -11*s + 1958. Let h(d) = -d**2 + 10*d + 8. Let m be h(-6). Which is greater: m or s?
m
Let f = -0.6 - -0.4. Let i = -6298 + 6292.3. Which is bigger: f or i?
f
Let w be 10/(-25) + ((-347)/(-55) - -4). Which is greater: w or 10?
10
Let y be (-2)/3 + (-85238)/654. Is -132 bigger than y?
False
Suppose 10*u + 132*u - 11984 = 8606. Are u and 149 equal?
False
Let h = 2.95 - 3. Let p = 180.311 - 0.311. Let m = -