se 2*b + 14 = 26. Suppose -4*w - 5 = -13. Suppose 3*j - 27 = -3*k, -j - w*k = 2*k - 12. Which is smaller: b or j?
b
Let w be -2*((6 - 4) + -3). Suppose 36*n + 355 = 2407. Suppose w*f - 25 = n. Is 40 at least as big as f?
False
Suppose -4*v - 6 + 8 = -2*d, -d - 4*v - 13 = 0. Let i = 107822/17 + -6346. Is i at least as big as d?
True
Let m = -3.3076 - -0.3076. Which is smaller: m or 223?
m
Suppose -137*u - 83*u + 313385 = 13*u. Which is smaller: 1348 or u?
u
Let x(v) = -14*v**2 + 173*v - 2. Let f be x(3). Is f smaller than 396?
True
Let g be (20/(-5))/((-1)/(-1)). Let z be (-2)/(-6 + -1 + 8). Let h be -2 + z/3 + g/(-6). Does h = 2?
False
Let c(x) = -3*x**3 + 26*x**2 - 7*x - 57. Let w be c(8). Which is smaller: -4 or w?
-4
Suppose 53*h + 34475 = -110692. Is -2739 greater than or equal to h?
True
Let o = 5663371616/11793231 + -2/1310359. Are o and 481 unequal?
True
Let k be 4/15 + 303620/24675. Suppose 5 = y + 2*g, 7*y - 4*g = 2*y + 81. Is y greater than k?
True
Let f = -123 - -99. Let g be 8/f + 124/12. Does 8 = g?
False
Let g = -1617521/13574 + -23/1234. Which is greater: -120 or g?
g
Let q = -5260 + 1344. Do q and 2 have the same value?
False
Suppose 5*g - 111*g = 1166. Suppose 4*f = 4*c - 24, -4*c + f = -f - 16. Let r = c + -5. Is g >= r?
False
Suppose -252*i + 889665 - 1239248 = 970897. Which is smaller: i or -5241?
-5241
Suppose -133*b + 11558 = 2*t - 136*b, -3*t - 3*b = -17337. Is 1/2 greater than t?
False
Let k = -5264 - -1089652/207. Which is smaller: 1 or k?
k
Let a be (0 - -3)/((-30)/(-256)). Which is bigger: a or 27?
27
Let n = 0.7 - 0.4. Let h(p) be the third derivative of -p**6/60 - 3*p**5/20 - p**4/4 + 4*p**3/3 + 344*p**2. Let m be h(-3). Is n equal to m?
False
Let j(i) = 3*i**2 - 184*i - 1908. Let b be j(-10). Is b bigger than 234?
False
Let q = 1/14484 - -28961/101388. Suppose 3*n - 2*g + 0*g - 6 = 0, 11 = -n + 5*g. Let r be ((-3)/n)/((-10)/(-8)). Is r > q?
False
Suppose -130*c = -131*c - 5*z + 444, -2*c - 5*z = -878. Which is smaller: c or 4/7?
4/7
Let x = 228 + -91. Let m = -194 - -63. Let y = m + x. Which is smaller: y or -1?
-1
Let b = 12854 - 12257. Do b and 595 have different values?
True
Let u be 2*(6/8 - 285/(-12)). Let r = u - 57. Which is smaller: -7 or r?
r
Let s = 3232 + -3235. Does -31 = s?
False
Suppose 0 = 150*m - 134*m. Suppose 7*t + 163 - 366 = m. Which is smaller: t or 28?
28
Suppose -11*r = -10*r - 65. Let h be (2 - 0)*21/((-672)/(-1072)). Is h equal to r?
False
Let y be (-28)/(-2)*11/22. Let z be y/((-8869)/10134) + 8. Is z <= 0?
False
Let t = -1.54 - -87.54. Let v = t + -78.8. Let s = v - 7. Which is smaller: s or -0.02?
-0.02
Suppose 29*s - 953 + 924 = 0. Is s equal to 4/3227?
False
Suppose 0 = 6*i - i + 5*h - 110, -2*i = 5*h - 47. Suppose -i*z - 31 = -22*z. Let y = 32 - z. Which is smaller: 2/215 or y?
2/215
Let w = 166289 - 2375272077/14284. Is 1 greater than or equal to w?
True
Let a = 3042.92217 - -0.07783. Which is bigger: -1 or a?
a
Let m = 0 - 2. Let w = 2.7 + m. Suppose -7*j + 12*j = -5. Which is greater: j or w?
w
Let v = -95645 - -1065007081/11135. Is -1 greater than or equal to v?
False
Let g be 4474/(-756) - (232/28 - 8). Which is smaller: -5 or g?
g
Let q = 47539/11 + -4325. Let j = 694/15 + -14023/330. Let t = q + j. Is 0 less than or equal to t?
True
Let q = -232 - -339. Suppose s = -9*t + 214, -601*s + 4*t - 578 = -606*s. Are s and q nonequal?
True
Suppose -2*a - 36 = -24. Let o be (2/a)/(5 - 4). Let i = 1 + -1.3. Is o smaller than i?
True
Suppose 0 = 4*g - 6*g + 4. Suppose -7*l + 12*l - z - 13 = 0, -g*l + 8 = z. Is 25/8 <= l?
False
Suppose 214 = -2*d - 2*s + 58, -3*d + 4*s - 318 = 0. Suppose -2*y - 89 = -y. Which is smaller: d or y?
d
Suppose 3*o + 56 = -5*f, 11 = 5*f - 3*o + 85. Let a(m) = 3*m + 1. Let n be a(1). Let v(r) = -r**3 + 4*r**2 - 3*r + 1. Let w be v(n). Which is bigger: f or w?
w
Let w = 0.77 - 0.8. Let p = -1162.35 + 1163.35. Which is bigger: p or w?
p
Let z = 26605 + -26606. Which is smaller: -3/17056 or z?
z
Let q be (1 - -105)*(326/4 - (15 - 3)). Is 7368 > q?
True
Let p be (4 + 25/(-6))*(-1 - 2). Let j = -1/6 + p. Which is bigger: -2 or j?
j
Suppose 84 - 56 = 4*f - s, 2*f - 4 = -2*s. Suppose -5*j - 2*o = 4, -5*j + f = -2*o + 2. Is 3/59 less than or equal to j?
False
Suppose 48673 + 22699 = -28*y. Which is bigger: -0.1 or y?
-0.1
Let c be 250257/84 - ((-21)/(-84))/(1/(-3)). Which is smaller: 2983 or c?
c
Let y be ((-18)/(-6))/3*(108/(-78))/6. Does y = 7/4?
False
Let c be 109908/860 - (0 - -3). Which is bigger: c or 126?
126
Let m(i) = -8*i - 167. Let o be m(-21). Let w be (640/480)/((-37)/7 + o). Which is smaller: 0 or w?
w
Suppose 2*b - 5*r + 19 = 0, -142*b + 139*b = 3*r + 18. Which is bigger: b or -119/18?
-119/18
Suppose 15*v + 7785 = -37560. Is v > -3021?
False
Let z = -257 + 151. Suppose -306 = 3*r - 687*p + 690*p, -2*p - 312 = 3*r. Is r <= z?
True
Let u be 5*1*11/(55/(-14)). Let t = 98 + u. Let f = t + -83. Do 3/25 and f have the same value?
False
Let x be 0 + (1 - (-18)/(-14)). Let o = -6.46 - -6.4619. Let a = -13.0019 + o. Which is smaller: x or a?
a
Suppose 15*z + 4*z = -190. Let s(m) = m**2 + 3*m - 71. Let o be s(z). Is o > 1.43?
False
Suppose 0 = -2*p + 2*a + 24, -p + 1053 = 2*a + 1038. Let v = -1 - 0. Let w be 2 - v*(-5 + 1). Which is smaller: w or p?
w
Let v(s) = 7 - 78 + 2*s - 18*s - 58. Let t be v(-8). Are 1/5 and t equal?
False
Let v be (30/(-80))/((-78)/(-292)). Which is bigger: 1 or v?
1
Let z = -42 + 29. Suppose 178*q - 174*q - 8 = 0. Suppose -3*u + 0*g - 3*g = 48, -u - 19 = q*g. Are z and u unequal?
False
Suppose -7*y + 2*c = -12*y + 1918, -5*y + 1926 = 4*c. Let z = y + -458. Are -78 and z unequal?
True
Let q = -0.58 + 1. Let w = -496 - -499. Which is bigger: q or w?
w
Let o = -24 + 25. Let q = -1801/125607 + 8/447. Is q at most as big as o?
True
Let c(s) = 3*s**3 + 4*s - 5. Let t be c(4). Let k be ((-75)/30 - -3)/((-1)/(-74)). Suppose 5*l = t + k. Is 47 less than l?
True
Suppose -26*v = 230*v. Which is greater: 3/926 or v?
3/926
Let s = 20340 - 20340.2319. Which is smaller: 1/5 or s?
s
Suppose -8*q = 1649 + 207. Let g = q + 329. Are 95 and g unequal?
True
Let z be (-7)/((-63)/(-12))*-40. Let w be (1 - ((-3)/(4/4) + 3))*54. Are z and w unequal?
True
Let o be ((-9)/27)/((-2)/(-444)*-2). Let l = o + -17. Let x be (l/104)/((-1)/(-2)). Which is smaller: -1 or x?
-1
Let s = -25 - -28. Suppose -18 = v + 5*y, -v - s*y + 4*y + 6 = 0. Suppose v*x + 3*l = -17, 0 = -4*x - l - 7 - 2. Is x at least 1/11?
False
Suppose -3278*w + 3442*w = -435584. Do w and -2655 have different values?
True
Suppose 2*t - 5*n - 27 = 0, -t + 36 = 4*t - 2*n. Let w be (4/t)/(430/(-36) + 12). Which is bigger: w or 57/5?
w
Let c be 6 + -14 + 5 + 6*2. Let l be -1 + (7 - c) + -43. Which is greater: -44 or l?
-44
Let g be (-4)/(-7) + 893288/2002. Let i = g + -447. Let q be 1 - (9/3)/3. Is i >= q?
False
Suppose 1147*b = 1142*b - 500. Let a = b + -42. Is a greater than 0.1?
False
Let l be (18 + 2)*(-4)/(-35). Let f = 272 - 273.048. Let m = f + 0.048. Which is greater: m or l?
l
Let w(b) = b**3 - 179*b**2 - 181*b + 156. Let n be w(180). Let z be 1 + (0 - 244/10). Is z < n?
False
Suppose 80*w + 392 = 88*w. Let p = 72010 + -792669/11. Let f = w + p. Which is greater: f or -2?
f
Let p(n) = 5*n**2 - 20*n. Let s be p(4). Let h = -47 + 71. Let w be (-6)/h*12/(-15). Which is smaller: s or w?
s
Let n be (-1*268/(-2))/(-1). Let r = -79 - n. Let t = -1181 - -1237. Is r less than or equal to t?
True
Let p(g) = 2*g**2 + 64*g + 1148. Let z be p(-17). Is z at least as big as 634?
True
Let d = 1962867/67 + -29295. Which is greater: 1 or d?
d
Suppose 50*w + 161 + 230 = -59. Are -42/5 and w equal?
False
Let l = 32015695/1738 - 18421. Is l bigger than 0?
False
Let t be (-13776)/22 + (-14)/(-77). Let r = t - -1263/2. Are r and 7 equal?
False
Let l = -2375393/6 + 399796. Let z = -3877 + l. Which is bigger: z or 20?
z
Let l = -248 + 107. Let x = 279 + l. Is x < 136?
False
Suppose 4*i = 24, 5*i = -11*p + 7*p + 46. Let s = 1.2 + -0.2. Let c = 4 - s. Do p and c have different values?
True
Let l = -1317389/2928030 - -230/511. Which is smaller: 0 or l?
0
Suppose 5*j - 4*j = -36. Let c be (j/30)/(2/(-5))*1. Let d = 5 - c. Which is smaller: 1 or d?
1
Suppose -2*m - 10 = -13*r + 11*r, 5*r - 3*m - 23 = 0. Let i = 2 + 2. Is r a