*(-2)/(-50). Which is smaller: i or k?
i
Let i be 3*(20/(-3) + 3 + 1). Let z = -10.09 - 0.91. Which is smaller: i or z?
z
Suppose 6*k = 12*k. Let n be (k + 6/(-10))*(-120)/108. Is -146 bigger than n?
False
Let l be (-5)/(-20)*(-88)/184. Let o = -1715 - -1714. Are o and l unequal?
True
Let j = 1586.61 - 1598. Let o = -3.39 - j. Which is smaller: 0.1 or o?
0.1
Let m be (-891)/6*(-4)/6. Let i be (-28)/21 - (-204)/m. Let j = i + -35/33. Which is smaller: j or 0?
j
Let y = -821.4 + 822.4. Which is bigger: y or -146?
y
Let u = -33113 - -34634. Is 1510 less than or equal to u?
True
Let f(u) = -93*u - 3. Let i be f(-4). Let m = -6.1459 + 6.2459. Do i and m have the same value?
False
Let s(p) = 11*p**2 + 4*p. Let j be s(-4). Let n = j + -1764/11. Let x(t) = 2*t**3 - 9*t**2 - 7*t + 9. Let q be x(5). Which is greater: q or n?
n
Let r = 0.31 - 1.08. Let v = 0.0025 + -0.2025. Does r = v?
False
Let x be 2 - (2 + 0/(-1)). Let f be x - (-4)/((-12)/9) - -1. Let s be (-2 + 22/14)*-4*f. Which is smaller: s or -3?
s
Let d = -0.4439 - 0.5561. Is 36.28 != d?
True
Let s = 688206029/1380 + -6100343/12. Let p = 9662 + s. Which is smaller: 1 or p?
p
Let b = -176/9 + 245/9. Let t = 64 + -68. Let q be 6/(t - (-56)/12). Which is smaller: q or b?
b
Let z(y) = -y**2 + 337*y + 4189. Let f be z(-12). Let t be (-236)/10 - (-8)/(-20). Let v be t/(-88)*(-1)/3. Is f less than or equal to v?
False
Let a(m) = 6*m + 40. Let p be a(-5). Suppose 6*w = p*w - g + 30, 3*g = 6. Which is bigger: w or 1/5?
1/5
Suppose -3*m = 2*x - 153 + 48, 5*m = 5*x - 200. Suppose -2*u = -7*u + x. Let l be ((-18)/(-10))/(u/(-45)). Which is greater: l or -10?
l
Let c(l) = -15*l - 32. Let u be 110/(-25) - 10/(-25). Let f be c(u). Is 2 greater than or equal to f?
False
Let p(x) = -x**3 + 2*x**2 + 13*x - 8. Let h be p(4). Suppose h*i - 15*i = 33. Which is bigger: i or -10?
-10
Let z = -13005 - -13389. Which is smaller: 2303/6 or z?
2303/6
Let g = 4372 + -4634.3. Let y = 262 + g. Are -18 and y non-equal?
True
Suppose 2*u + 1313 = -s, -2*u + 2*s - 1316 = 4*s. Let o = 656 + u. Which is smaller: o or -688?
-688
Let d = 14/779 + -13388/658255. Is d smaller than 1?
True
Let q = 42297 + -42295. Which is greater: q or -1.92?
q
Let v be (-11)/14 + 2/4. Let c = 18.96 - 106.06. Let t = -87 - c. Are v and t equal?
False
Let b = -106 - 2. Let c = -113 - b. Let w = -8 - -8.2. Which is smaller: w or c?
c
Suppose o + w + 3 = -0*o, -5*o - 8 = -2*w. Let a be 6*o/(-21) + (-7321149)/(-4221). Let z = a + -1735. Which is smaller: z or 2/7?
z
Let u(b) = -2*b - 15. Let l(i) = 3*i + 30. Let n(h) = 4*l(h) + 10*u(h). Let d be n(5). Let m be d/14 - (-12 + 1). Which is smaller: m or 4?
4
Suppose v + 0*v + 3 = 0. Suppose 80 = 14*m - 10*m. Let p be (m/3)/(33/(-9) - 0). Is v at most p?
True
Suppose -5*t + k + 12 = 0, -k = t - 1 - 5. Suppose -g - 15 = -t*q, 0 = -10*q + 6*q - 4*g + 20. Is 16/3 less than q?
False
Suppose -5*g = -2*k + 167, 57*g = 59*g + 2. Is k smaller than 77?
False
Let b be ((-2)/(-5))/(3/45). Let t = -8371 - -8372.3. Is t <= b?
True
Let j(f) = f**2 - 9*f + 21. Let s be j(6). Let h be -16 - -30 - (1 + 0 + 6). Do h and s have different values?
True
Let c(p) = p**3 + 2*p**2 + 1. Let o be c(-2). Let z(w) = 6*w + 43. Let y be z(-8). Let q be o/y - (-87)/(-15). Which is bigger: -8 or q?
q
Let j = -478.5 - -560. Let b = j - 81.2. Is b bigger than 63?
False
Let q = -6540 + 6584. Is q at least as big as 62?
False
Let k = -2940 - -14694/5. Is -16 at most k?
True
Let k be (-250)/24 + 128/48 + 3. Is -21 equal to k?
False
Suppose 7*b = 14*b + 497. Let u = b - -65. Let w be (u + 0 - -3)/2. Which is bigger: w or -1?
-1
Let s = 205 + -224. Let j = s + 41/2. Which is bigger: 29 or j?
29
Let q = 29 + -32. Let l be (q*(4 - 3))/(-1). Suppose 0 = -0*k - l*k - 2*s - 2, 3*k + 14 = 4*s. Which is smaller: 15/4 or k?
k
Let o(c) = -c**3 - 7*c**2 - 7*c - 371. Let d be o(-10). Is -4/35 < d?
False
Let a(t) = -3*t + 12. Let f be (11/(55/(-20)))/(-1). Let v be a(f). Is 154 greater than v?
True
Let i = 834/2179 + 20394712/58833. Let z = -1144 - -797. Let o = z + i. Are 0 and o non-equal?
True
Let n be ((-20)/(-8) + -3)*-14. Suppose -j + n = 4. Suppose j*c = c + 42. Do c and 20 have the same value?
False
Let w = -45243 + 9184347/203. Which is greater: 0 or w?
w
Suppose -3*n + 2641 - 320 = 4*x, -1534 = -2*n + 4*x. Do 770 and n have different values?
True
Suppose -y + 1 = -4*l - 0, 3*l + 7 = 2*y. Let w = -2006933/56 - -35838. Is l >= w?
True
Let s be ((-2)/368)/(-1 + 2). Let d(q) = q**3 + 63*q**2 + 242*q + 354. Let a be d(-59). Which is greater: s or a?
a
Let f(k) = -43*k + 107. Let d(v) = -23*v + 54. Let g(m) = 7*d(m) - 4*f(m). Let y be g(13). Is y > 92?
True
Suppose 29*f - 8*f = -5*f + 26. Which is bigger: f or 96/205?
f
Suppose 0 = 25*y - 25*y + 12*y + 1608. Which is greater: -137 or y?
y
Suppose 28*f - 25*f = 3. Suppose 2*c - 3*c = -f. Let q be (-3 - -2 - 1) + -3 - c. Which is greater: -5 or q?
-5
Let n be (-2)/(-4) + (-6 - (-1384)/248). Which is bigger: n or -0.1?
n
Let w = -4090 + 4092. Which is greater: w or 13?
13
Let a = 550 + -549.9. Is 1485 less than or equal to a?
False
Suppose -13*m - 44 = -14*m. Let s = 357/8 - m. Let j be 3 - (-4)/5*(-5)/2. Which is smaller: j or s?
s
Let d(i) = i**2 - 17*i - 3. Let m be d(18). Let s be -3*(-5)/m + 204/(-100). Are 0 and s equal?
False
Let p(y) = -36*y**2 + 21*y**2 + 20*y**2 - 4 - y**3 + 16 + 5*y. Let i be p(6). Suppose -5*o - o - i = 0. Is -4/21 equal to o?
False
Let d(k) = -3*k**2 - 96*k + 581. Let q be d(7). Is q at least -244?
True
Let d = 2 + -1. Let z = -41 - -42. Let h be (14/(140/(-30)))/(z + 0). Is h bigger than d?
False
Let t(l) = -l**3 + 3*l**2 + 1. Let h(x) = -2*x - 18. Let w be h(-14). Suppose 3*s - c = 9, 0 = s + 6*c - 2*c + w. Let r be t(s). Which is bigger: r or 1/2?
r
Let g = 5260 + -5265. Which is greater: 11/13 or g?
11/13
Let s = 4765.0482 - 4765. Are s and -6 equal?
False
Let g be (225/12)/(1/4). Suppose 0 = -50*r + 56*r - 462. Which is bigger: r or g?
r
Let j = -468/73 + 1477/219. Is j equal to -15639?
False
Let m = -0.105 - -0.176. Let a = -32.109 - -32. Let c = m - a. Is c at most -1?
False
Let p(b) = 32*b**2 - 75*b - 45. Let q(u) = -6*u**2 + 15*u + 9. Let z(x) = -2*p(x) - 11*q(x). Let l be z(8). Which is bigger: 2/67 or l?
2/67
Let j = -0.242 + 50.842. Let c = -50.1 + 1.1. Let q = c + j. Are q and -1 non-equal?
True
Let q = 20141 - 31052. Which is greater: q or -10910?
-10910
Suppose 6228 = w - 19*w. Let b = w + 343. Which is smaller: -5 or b?
-5
Let d be (985/14891230)/(9/8 + -1). Are -1 and d unequal?
True
Suppose -5*y + i - 195 + 68 = 0, 18*y - 3*i = -456. Which is bigger: y or -23?
-23
Let t be 18/(-132) - (-111910)/790020. Suppose u = 4 - 5. Are t and u unequal?
True
Let b(g) = -393*g**3 + 29*g - 389*g**3 + 781*g**3 + 11*g**2 - 32. Let u be b(13). Which is bigger: u or 45/8?
u
Let h = 83.04 - 84. Let m = 0.85 + h. Let d = -21.89 + m. Is d at most -2?
True
Let m be 10*(-24)/(-20) + -14. Let n be ((-4)/(-10))/(7/2100). Suppose 2*c = 6*c + n. Which is smaller: m or c?
c
Let s = -821 - -2170. Which is smaller: 1348 or s?
1348
Let r(a) = -a**3 - a**2 - 2*a - 5. Let j = -41 + 45. Suppose 2*w = 4, j*g + 3*w = 6*w - 6. Let o be r(g). Which is greater: -8 or o?
o
Suppose 57*m = 43*m + 238. Let r(y) = -3*y**2 + 6*y**2 + 0*y**2 - 2*y. Let k be r(-2). Which is smaller: k or m?
k
Let h be 6/((-6)/1) - 366/(-486). Which is greater: h or 0?
0
Let b be (-6)/4*68/(-51). Suppose 0 = -2*c + b*i, 8*c - 4*c = -i - 20. Which is bigger: c or -10/3?
-10/3
Let s(t) = 6*t**2 + 562*t - 1123. Let o be s(2). Which is smaller: o or 443/18?
443/18
Let i = 2242 - 2243. Which is greater: -7/50 or i?
-7/50
Let k = -495 - -72764/147. Which is smaller: 1 or k?
k
Suppose 0 = 2*s - 3*h + 10, -44*s + 48*s - 24 = -5*h. Which is smaller: -1/2685 or s?
-1/2685
Suppose -31*l + 1499 = -33*l - 5*c, l + 4*c = -760. Is l at least as big as -732?
True
Let p = 69517/52 - 1337. Let d(h) = 4*h + 60. Let a be d(-15). Is a at least as big as p?
True
Let m be 6/(-16)*-4 + (-29634)/22220. Is 0 at most as big as m?
True
Suppose 2*t = -4*r - 10098, 17*t = 13*t - 10*r - 20196. Is -5048 greater than t?
True
Let b = -44.987 + -0.013. Let f = -8377.6 + 8378. Which is smaller: b or f?
b
Let u = -82 - -100.5. Let v = u + 3.5. Let d = -22.1 