 is smaller: x or 30?
x
Suppose -195*s + 660 + 4328 = -79*s. Suppose 2*k + 162 = 4*m, -4*m + 0*k + 156 = -4*k. Are s and m equal?
False
Let w = -4 + 1. Suppose 3*h - 5*f - 13 = 0, 2*h + 6*f + 28 = 2*f. Let u be ((-1552)/(-126))/h + 52/234. Which is smaller: w or u?
w
Let z be ((-57)/(-2))/(3/18). Let l(i) = -708*i - 2660. Let s be l(-4). Which is greater: s or z?
s
Let n(f) = 7*f**3 - f**2 + 13*f + 100. Let x be n(-9). Is -5200 at least as big as x?
True
Let a = 4.1 - 4. Let k = 9.94 - 11.9. Let x = k + 0.36. Is a > x?
True
Suppose -10*c + 27*c - 6574 = 55*c. Which is bigger: -177 or c?
c
Let v = -1951/3898 - -1/1949. Which is smaller: v or 3085?
v
Suppose -5*t - 450 = -35. Let z = -13116 + 13033. Is z <= t?
True
Let f(l) = 18*l + 168. Let g be f(-43). Are g and -13 non-equal?
True
Let g(f) = f**3 - 15*f**2 - 12*f - 36. Let h be g(16). Let n be (-541)/(-11) + h/(-154). Is 201/4 <= n?
False
Let o = -283.8 - -296. Let d = 12.1 - o. Is d > -37?
True
Let t be (-5)/(-20) - (-1055)/20. Suppose -5*y - 66 = -5*n - 1, 0 = 5*n - 2*y - t. Suppose -2*i - i = -5*p - 24, n = 4*i + p. Is i at most -2?
False
Let c = -0.0353 - 93.6647. Let v = -24.7 - c. Which is greater: 4 or v?
v
Suppose -105*k + 3 = -206*k + 104*k. Which is smaller: k or 5/176?
5/176
Let i be (2/6)/((14/6)/(-7)). Is 5/249 less than i?
False
Let t = 9199 - 9199.1. Is 292.5 less than t?
False
Let c be (-26)/((-5)/((-20)/(-8))). Suppose 31 - 44 = -c*h. Are 2/551 and h unequal?
True
Suppose 295032 = 116*k - 43572. Is k smaller than 2918?
False
Let y = 235.3 + -235.29. Is y smaller than 13?
True
Suppose -3*y = -3, 14 = 6*g - 7*g + 4*y. Let h(k) = k**3 + 8*k**2 - 20*k + 4. Let u be h(g). Let m be u + (-4 + 2 - 4). Are m and -13 non-equal?
True
Let o be (0 + 1)/((-5)/10). Let l be (1158/580 - 2)*o. Are l and 0 equal?
False
Let h(m) = m - 6. Let c be h(8). Suppose -64 = -4*b + c*z - 12, 2*z - 39 = -3*b. Suppose -2*t - 13 = -5*g, 3*g = -226*t + 227*t + 11. Which is smaller: b or t?
b
Suppose -1 + 6 = 5*h. Suppose -5*c + 8 = k, 1 = 5*c - k - h. Let m be (c/(-20))/((-4)/(-10)). Is m bigger than 0?
False
Let s = 2974.1 - 2974. Is -552 != s?
True
Let q = 116683/44 + -10809/4. Let w be (-5261)/(-99) - (-10)/(-10). Let r = q + w. Which is smaller: r or 2?
r
Let z = -3.5 - -5.1. Let m = z - -2.4. Let i = 41 + -50. Which is smaller: m or i?
i
Suppose -243*j + 414*j = 247*j + 104196. Is -1369 > j?
True
Suppose 2*w = 11 - 7. Let m(r) = -19*r**2 - 25*r - 18 + 2*r**w - r**3 + 8*r. Let g be m(-16). Which is bigger: g or -5?
g
Let w(b) = -2*b**2 + 7*b. Let n be w(6). Let u = 7253 - 7256. Is u >= n?
True
Let w = -8 + 40. Let b(x) = -14*x + 158. Let k be b(10). Let u = w - k. Is 13 >= u?
False
Let h = -387308 + 21691011/56. Let b = -202/7 + h. Let c = -430 + 433. Which is greater: c or b?
c
Let s = -31811.1 + 31808. Which is greater: 6/11 or s?
6/11
Suppose 4*y + 3 = 15. Suppose -2*c + w + 159 = 35, y*w - 310 = -5*c. Suppose -16 = 6*r + c. Is 2 <= r?
False
Let w = 420 + -419.95. Let y = -40 + 40.034. Let z = y - w. Are 1/3 and z non-equal?
True
Let a = -1.505 + 1.615. Which is bigger: -280 or a?
a
Suppose -10*t - 186480 = 5*p, 91064 = -3*t + 3*p + 35120. Which is bigger: t or -18647?
-18647
Let w be (1/2)/(1/(-2)). Suppose 106*a = 93*a - 182. Let s = 79/6 + a. Is s greater than w?
True
Suppose 3*r - 12 = 0, -11*y + 12*y - 2*r - 46 = 0. Which is greater: 387/7 or y?
387/7
Let m be (-14)/(-28)*124/(-10). Let s = 38/15 + m. Is -2 at most as big as s?
False
Let f = -672 - -572. Suppose 0 = -5*b - 2*v - 0*v, 4*v = 2*b. Is f != b?
True
Let q = -42525 - -42553. Which is bigger: 295 or q?
295
Suppose 0 = -3*h - 6, 2*h + 0*h - 14 = -3*z. Let k be ((-1)/(-4))/(z/8). Is k at most 0.5?
True
Suppose -122*d + 4702 = -120*d - 4*l, 0 = -4*l - 4. Which is smaller: d or 2351?
d
Suppose -62 = -b + 3*s, 11*b = 6*b + 3*s + 334. Let c be (b/6)/(10/15). Suppose 3*h = -2*w + 57, 25*w - 21*w = -3*h + 69. Is c greater than or equal to h?
True
Let d = -267 - -12. Let c = d + 200. Is c at least as big as -2/3?
False
Let z be 7/70*4/8. Let d = 1330.5 + -1331. Which is bigger: d or z?
z
Let i = -99 + 121. Suppose 0 = i*t - 15*t - 7. Which is smaller: 6/7 or t?
6/7
Let g be ((-22)/3 + 2)/((-100)/(-48750)). Is g smaller than -2603?
False
Let z = 7102 + -10783. Is 1/4 at least z?
True
Suppose 47*j - 20 = 42*j, -j + 102 = h. Are h and 89 unequal?
True
Let i(a) be the second derivative of -a**4/4 - a**3/2 + 25*a. Let s be i(-1). Let p be ((-2)/4*s)/(-2). Which is greater: p or -10/3?
p
Let b be -811 + -8 + 15 + 5. Is b < 4?
True
Suppose -142 = -t - 141. Let n be (-6*(-3)/(-234))/(t + 0). Is -5 > n?
False
Let f = 9 - 10. Let c = -25744/230223 - -46/399. Which is smaller: f or c?
f
Suppose 118*g - 8592 = 166*g. Which is bigger: -1970/11 or g?
g
Let m be 105/(-6) + 18/12. Let r = m - -21. Suppose x = r*x. Is x > 3/19?
False
Suppose 0 = -3*o + t + 132 + 535, 0 = -2*o + t + 445. Is 28 > o?
False
Suppose 5*y - 1026*t + 105 = -1031*t, 5*y = 4*t - 78. Which is smaller: y or -19?
-19
Let s = -69 + 65. Let m be (-4 + 1)*s/6. Suppose m*a = 4*q + 10, -4*a + 0*q + 3*q = -5. Is -1 equal to a?
True
Let n = -3.432 + -20.568. Is n > -92?
True
Let y be -2 - 7/(21/(-5400)). Let u = -244527/136 + y. Let f(q) = -234*q - 10062. Let t be f(-43). Does u = t?
False
Suppose 5*u - 4*b = 52, -537*b + 15 = -542*b. Let j = -1 - -1. Suppose 4*y - 5*y + 4*v = j, -3*y + 5*v + 14 = 0. Is u not equal to y?
False
Suppose 4*d - 2*z = 348, 2*d - 87 = -4*z + 87. Are 68 and d equal?
False
Suppose 113606 = 14*n - 35*n - 22*n. Does n = -2641?
False
Let c = 6 + -7. Let j = -11 + 11. Let u be j - ((-155)/(-40) + -4). Which is bigger: u or c?
u
Let u = -185976/43 + 4326. Let x(f) = 2114*f + 10570. Let i be x(-5). Is i != u?
True
Let x = 4401 - 2293. Which is smaller: x or -2?
-2
Suppose 3*c = y + 5*c + 4, -y - 10 = 5*c. Let b = 6053/3224 + -1/403. Is y at most b?
True
Suppose -8186*z = -8192*z + 9126. Which is bigger: z or 1518?
z
Let t(n) = 17*n**3 - 22*n**2 + 48*n. Suppose -43*d - 24 = -55*d. Let w be t(d). Which is smaller: w or 143?
143
Let l be (-64)/288 + (-62824)/(-18). Which is smaller: 3492 or l?
l
Suppose -j - 401 - 3 = -4*c, -2*c - 3*j + 216 = 0. Are -0.1 and c equal?
False
Suppose 0 = -5*k - 81 - 89. Suppose 0 = -2*p - 10, 3*i + 4*p = -0*i - 122. Are k and i unequal?
False
Suppose -69681 + 24509 = -46*t. Let h = -999 + t. Is -86/5 greater than or equal to h?
False
Let d = 0.25953 - 0.2164. Which is smaller: 2/3 or d?
d
Let t = 37290/23 - 149091/92. Let j be 0 - (18/(-10))/(-1). Are j and t nonequal?
True
Let v = 3901/266290 + -3/1718. Let q be (-1 - -2)*(-3 - -3). Which is greater: v or q?
v
Let v be (2252 - -1)/(0 + 5). Let r = -450 + v. Which is bigger: 1 or r?
1
Suppose -5*k - 4*f + 12 = -0*k, 0 = 3*k - f + 3. Suppose -5*p = i + 17, 5*i + k*p + 1 = 3*p. Which is smaller: i or -5?
-5
Let d = -1748.1 + 1748. Which is smaller: 1934 or d?
d
Let i = 306 - 274. Let c = 23 - i. Which is bigger: -11 or c?
c
Suppose -2798 = -4*u - 46. Suppose -2*l - v + u = 0, l - 11*v = -12*v + 345. Are l and 344 nonequal?
True
Let h = -15.1 - -16.94. Let k = h + 1.16. Does k = 6?
False
Let r be (-2)/(-10) + (-4802)/35. Let y be (-62)/155 - r/5. Suppose -13 = t - 3*c, -y = 3*t + 2*t + 4*c. Which is smaller: -8 or t?
-8
Let v(b) be the first derivative of -5*b**2/2 + 13*b - 4. Let c be v(3). Let r be (-54)/(-12) - 1/(c/(-8)). Is 43 less than or equal to r?
False
Suppose -66*s + 143*s = 66*s + 11. Is 13/2710 greater than or equal to s?
False
Let v = 18.03 + -18. Let w = -0.722 + 0.57. Let s = w + -0.848. Which is smaller: v or s?
s
Let v = -24.048 - -24. Let o = 29.852 - v. Let i = o + -30. Is i >= 0.06?
False
Suppose 0 = i + 4, 0*i - 3*i = -x + 11. Let d be (-4)/8*0*(-2)/4. Let a be (d + -3)/(-60) + 1/(-4). Which is bigger: a or x?
a
Suppose 4*y + 24 = -0*y. Let w be (6/16)/(y/(-8044)). Let d = 516 - w. Which is bigger: 0.1 or d?
d
Let p = 158 - 124. Let a = p - 16. Is a smaller than 18?
False
Suppose 3*p + 13*p - 864 = 0. Let i be 18/p*12/(-10). Which is smaller: i or 0.08?
i
Let k = -399.7 - -423. Let o = k + 25.3. Let s = o - 49. Which is smaller: -2/3 or s?
-2/3
Let t be 5 - (-24)/(-8) - (2 - 51). Let q = t - 62. Suppose 2*v + v + 5*n = -2, 4 = v - 3*n. Which is smaller: q or v?
q
Let k = 21321 