m(v) = -v**2 + 21. Let s be m(4). Let a be 2/2 - 5 - (21 - s). Let w = -2.3 - -0.3. Is a less than or equal to w?
True
Let d be 27 + -3 + 0 + 2. Let a be ((-1)/(-2))/(1*4/24). Let i be (d + 1)*a/((-6)/4). Are -54 and i unequal?
False
Let s = -4 + 10. Suppose 9*o - 6 = s*o. Suppose -d = o*d. Which is greater: d or -1?
d
Let i be 4/((-210)/210 + 2*131/254). Is i equal to 160?
False
Let r = -192 - -188. Let u be 14/(-30)*(5 + r). Is 0 smaller than u?
False
Let k be (0 + 6/(-435))/((-126)/150). Which is smaller: 0 or k?
0
Let j be (4905/(-60))/((-1470)/(-144)) - -8. Which is greater: j or 1?
1
Let h be ((-1)/((-8)/6))/((-30)/(-680)). Suppose -2 = -15*a + h*a - 3*x, -5*x = -5*a. Is 52/23 at least a?
True
Let h be ((-24)/(-10))/((-397)/(-45655)). Is h less than 274?
False
Suppose 0 = -2*p - 2*p - 2*u + 138, 3*p + 5*u - 114 = 0. Let r be ((-22)/p)/(3/(-72)). Which is bigger: r or 17?
17
Let v(q) = 67*q - 335. Let c be v(5). Let i = -16 - -33. Let y = i - 6. Which is bigger: y or c?
y
Let u = -6973/1005 - -2436/335. Let c = -3238/12521 + -3/659. Is c smaller than u?
True
Let z = -16703993/1081825 - -1683/109. Let f = 7354433/39700 + z. Let s = 14051/76 - f. Are s and 1 equal?
False
Let i = 9797 - 9798. Which is greater: i or -7/971?
-7/971
Suppose -38 + 152 = -19*a. Let j be 248/a + 32/24. Suppose 2*m + 197 = -5*s, 2*m - 5 + 85 = -2*s. Is s > j?
True
Suppose -30*x + 48487 = -1343. Is 1661 smaller than x?
False
Let j = -4.89 - -5. Let a be 2/4*(2 - -226). Let v = -227/2 + a. Is j greater than or equal to v?
False
Suppose -12*t + 988 - 3004 = 0. Let s = -163 - t. Which is bigger: -5 or s?
s
Suppose -5*y - 3*r - 7715 = 0, -5*r - 1142 = y + 379. Which is smaller: y or -1545?
y
Let t = 71673.117 + -71755. Let y = t - -82. Let u = y + 0.183. Is 1.9 smaller than u?
False
Let l(g) = -g - 10. Let t = -15 - -2. Let n be l(t). Let f be (-1)/((-7)/(-28)) - (-26)/4. Which is smaller: f or n?
f
Let i be 1824/(-4960) - 8/(-20). Do i and 115 have the same value?
False
Let p be -8 - 2 - 11/(-352)*-8. Let a be 62/(-6) - (-2)/6. Which is smaller: a or p?
p
Let y = -58.97372 + -0.02628. Let u = -0.8 + -0.2. Which is greater: y or u?
u
Let t(n) = n**2 - 222*n + 8551. Let m be t(48). Which is bigger: 198 or m?
m
Let a be (1/(-3))/(2/338). Let i be 182/104 + (-14187)/(-252). Let c = i + a. Is 3 bigger than c?
True
Let d be -21 - (-6)/(-6)*-1. Let m be (44/770)/((-38)/d). Which is smaller: 0 or m?
0
Let a = -1 - -6. Let m = -0.33058 - 1.36942. Which is smaller: m or a?
m
Let v = -0.36 - 34.64. Let b = -613/68 + 315/34. Which is bigger: v or b?
b
Let o = -2621 - -537302/205. Suppose 0 = -n - 2*n. Is o equal to n?
False
Let w = 5693663/6 - 944871. Let v = w + -4064. Is v greater than or equal to 10?
False
Let h be (27/18)/(-2 + (-29)/(-4)). Let c = 51762/23 - 2250. Which is smaller: c or h?
h
Suppose 27*g - 130 = 59. Which is smaller: g or -34?
-34
Let p(k) = -2*k**2 + 77*k + 639. Let o be p(-7). Is 67 at most as big as o?
False
Let x(n) = -n**3 - 43*n**2 - 12*n - 4615. Let d be x(0). Is -4617 at least as big as d?
False
Suppose -5*v + 51 = 5*u - 4, 3*u - 27 = -2*v. Let l be (v/(-92))/(111/592). Is l at least -1?
True
Let i = -293 - -297. Suppose s - 6*s = 4*r - 565, 5*s - i*r - 525 = 0. Which is smaller: s or 110?
s
Let a = -18.5 + 135.5. Let s = a + -118.6. Let n be (0 + 2)/(6 - -5). Which is smaller: n or s?
s
Let t = 3 - -1. Let k = -4491 + 58425/13. Is k less than or equal to t?
True
Suppose -3*i + 167 - 1224 = -4*h, -1322 = -5*h + 3*i. Let t = 0.116152 - 0.016152. Which is smaller: h or t?
t
Let j = -28 - -61. Suppose -j = -3*i + 6. Let f(d) = d**2 - 14*d + 12. Let u be f(i). Is -2/51 bigger than u?
True
Let l = 2260 + -2256. Which is smaller: l or 1718?
l
Let y be 10963/57 - (33/(-9) - -3). Which is bigger: -2 or y?
y
Let l = -54162 - -71006387/1311. Is l greater than or equal to -1?
True
Let m = -1863 + 5528/3. Let y(d) = 2*d**3 - 20*d**2 + 2*d - 10. Let a be y(10). Let i be (-2)/((-15)/((-1425)/a)). Are i and m unequal?
True
Let g = -3 + 3. Let d be ((-1005)/55)/((-3)/70). Let z = d + -427. Is z less than or equal to g?
True
Let z be 2/11 + 3624/33. Let g be (1081/45 + (-2)/(-10))/(364/1638). Which is bigger: z or g?
z
Suppose 29*o - 6886 = 10079. Let f be -9 - (1 + o/(-21)). Which is bigger: f or 19?
19
Suppose 0 = 3*d + b + 1, 17 - 2 = -5*d - 5*b. Suppose -d = 35*o - 34*o. Which is smaller: o or 159?
o
Let i be (-6)/(-8)*20/(-1). Let w(c) = 544*c + 3246. Let b be w(-6). Which is greater: i or b?
i
Suppose -9*p + 792 = -6*p. Suppose 3*y = 5*d + 329, d + p = -3*d + 2*y. Which is bigger: d or -66?
-66
Let l = -45 - -44. Let d be 8/6 - (11 - (-1232)/(-120)). Is d > l?
True
Suppose 2*u - 2883 = -3*a, 11204 = 9*a + 3*u + 2537. Which is greater: -1/4 or a?
a
Let f = 126671/116 - 1092. Let h be 164/574 - (-1)/(-14)*4. Which is smaller: h or f?
f
Let z = -397 + 383. Let j be (-24)/(-1113)*z/12. Are 1 and j unequal?
True
Let w = 16.16 + -17.6. Let a = -1.56 + w. Which is smaller: a or -16?
-16
Let h = 37 - 22. Let x be (-6)/h + (-22)/(-5) + 0. Let w = -266.8 - -268. Which is bigger: w or x?
x
Suppose 0 = 3*v - 2*a - 2, -3*a = -4*v + 4 - 2. Suppose -v*n - 14 = -18. Suppose 0 = -5*d - 2*m - n*m + 16, -3*d - m = -4. Which is bigger: d or 14/13?
14/13
Suppose 14*m + 272 = 412. Let p = 0.07 + -0.04. Which is smaller: m or p?
p
Suppose 0 = -194*j + 198*j + 76. Let b be 2 + (57/j)/(1/8). Let m(p) = -p**3 - 6*p**2 + 5*p + 7. Let l be m(-6). Is b at most l?
False
Let h = -127 - -126.8. Let x = 9 + h. Are x and 1/2 unequal?
True
Let l = -302 + 8757/29. Let p(t) = 3*t + 3 - 2*t**2 + 0*t**2 + t**2. Let b be p(4). Which is greater: l or b?
l
Let q be (485/(-45) + 13)/((-4)/(-18)). Is q at least -153?
True
Let r = 147 + 1363. Which is bigger: r or -1?
r
Let n(h) = 7*h - 298. Let t be n(37). Which is greater: -6 or t?
-6
Let n = 2.7377 - 32.2377. Which is smaller: n or -0.08?
n
Suppose 2*z = -t + 857, -5*t - 757 = -2*z + 70. Let u = -634 + z. Let j be (-1008)/u - (-4)/26. Which is smaller: j or 19/4?
19/4
Let a = 144/25 + -6. Suppose -19*h - 9 = -22*h - 2*p, 11 = 2*h + 3*p. Which is greater: h or a?
h
Let s = 311 - 248. Let w = s + 153. Is w at most 216?
True
Let o be 424/(-1090) - 4*(-4 + 41/10). Which is bigger: o or -1?
o
Suppose -16*s + 250 + 534 = 0. Suppose m + 51 = s. Which is bigger: m or 1/64?
1/64
Let b(t) = -94*t + 5*t**2 + 0*t**2 + 72*t - 2*t**2 + 4. Suppose -14*u + 2*u + 120 = 0. Let r be b(u). Is r greater than or equal to 83?
True
Let d = -38 - 13. Let q = d + 52. Suppose -4 = -3*h - o, -4*h - q = -3*o - 2. Which is greater: -2/147 or h?
h
Let o = 202655 - 202656. Let f = -21187/2 + 38030669/3590. Which is bigger: f or o?
f
Let m be (-40)/60*(-15)/((-180)/8). Which is bigger: 1/21 or m?
1/21
Let h = 1802912/235 - 38301/5. Which is bigger: 11 or h?
h
Let f = -42 + 59. Suppose -2*j - 10 = 0, -3*z - 4*j = -0*j + f. Let l be -1 + 160/45 - 40/16. Which is smaller: z or l?
l
Suppose -u = j - 6, 0 = -4*j - 2*u + 6 + 10. Let n be (-6)/(-3)*j/(-4)*1. Let g(l) = 22*l + 2. Let o be g(n). Which is smaller: -22 or o?
-22
Let w = -2678371/1095 + 2446. Which is greater: w or -8?
w
Let h = -503 - -195. Let b = h + 75458/245. Is -1 bigger than b?
False
Suppose -15212 = 5*a + 1923. Let d be 48/(-16) - ((-205352)/(-60) - 0). Let q = d - a. Is 2 smaller than q?
False
Suppose 3*z = 2*f - 135, 3*z - 347*f = -349*f - 111. Which is greater: z or -25?
-25
Let b = 2.0475 + -0.0475. Which is smaller: -0.03 or b?
-0.03
Let v = -3.68 - 1.87. Let w = v - -13.55. Let f = -11 + 6. Which is greater: w or f?
w
Let r = 74 + -77. Let b be (-12 - (-6 + r)) + 1 + 14. Is b at least as big as 6?
True
Let k = 521 + -519. Suppose 5*q + 5*f - 10*f + 10 = 0, -k*q - 4*f = -8. Which is bigger: q or -3/328?
q
Suppose -262 = -4*q + 5*b, 4*q - 4*b - 250 = -b. Is 7 at least as big as q?
False
Suppose 3*j - 5*g = -263, -5*g + 3*g - 73 = j. Does -72 = j?
False
Let m = -12232/5 + 139762827/57130. Which is bigger: 1 or m?
1
Let c be 292/39 - (-3 + 5 + 5). Is 0 greater than or equal to c?
False
Let t(k) = 924*k + 3696. Let m be t(-4). Is m != 4384?
True
Suppose 0 = -4*v + 5*m + 11, v + 5*m - 1 = 2*v. Suppose -2*h = -5*k + 7, -v*k + 4 = 2*h + 38. Which is greater: -8 or h?
-8
Let j = -229 + 229. Suppose -d - 4*d - 25 = j. Whi