Let j be 5 - (u/10*-4 - -264). Are j and -254 equal?
False
Let u = 2.243 - 53.243. Which is smaller: 11 or u?
u
Let d be 1 + (9 + -4 - 2). Suppose 4*k + 2 = -5*l, -5*k + k + d = 2*l. Let r be (l/(-3))/(8/(-60)). Is r greater than or equal to -8?
True
Suppose -12 = -4*s, 6*a = 3*a - 2*s + 9. Let o = 434/85 + -7387/1530. Which is bigger: a or o?
a
Let f be 1 + 9 + (3 - 11)/(-4). Let g be ((-22)/4)/(1/(-26)). Let i = g - 132. Which is bigger: f or i?
f
Suppose -4*u - 3 = 5. Let q = -3 - u. Let n = -35740 - -4217319/118. Which is greater: n or q?
n
Let w = 229 - 243. Let h be (-7)/(-21) + w/(-21). Is -3/64 less than or equal to h?
True
Let t(n) = n**3 - 30*n**2 + n - 34. Let f be t(30). Suppose 17 = 5*l - 5*r + 32, -31 = 5*l + 3*r. Which is greater: l or f?
f
Let q be 543/(-60) + 10 + 1/(-4). Let i = q - 1/2. Is 1.59 < i?
False
Let a = -3/541 - 211/59510. Let x = -550940 + 550941. Which is bigger: x or a?
x
Suppose -168*o + 187*o = 21983. Is 1158 greater than o?
True
Suppose -2*h + 2*y + 296 = -96, -2*h - 3*y + 392 = 0. Let l = 18533 + -18336. Is l >= h?
True
Let z(i) = -i**3 - 15*i**2 + 58. Let a = -137 - -123. Let c be z(a). Which is smaller: -139 or c?
-139
Let u(f) = -4*f**3 + f**2. Let l be u(1). Let x be -1 - 38 - (-3 + 0/11). Let i be 2/3*((-405)/x)/(-3). Which is smaller: l or i?
l
Suppose -3*t - 4*y = -547, -3*t - y + 289 + 246 = 0. Suppose 7*a + 4*f = 11*a - 684, -2*a - 2*f + 362 = 0. Is t at most as big as a?
False
Let h = -11/12 - -23/28. Suppose 27*k - 32*k = -4*z - 14, 0 = -5*z - 3*k - 36. Let f be (5 - (-4 + 3)) + z. Is h equal to f?
False
Let t = 1586 - 1586.09. Which is bigger: 9 or t?
9
Let c be 7/42*-5 + 6/(-36). Is -9/425 less than c?
False
Suppose -w - 398 = 7*r - 6*r, 2*w = r + 389. Let f = r - -340. Which is smaller: -56 or f?
-56
Let y = -95 - -155. Suppose 0 = -2*p + 4*s - y, 5*p + s = 3*p - 60. Is -30 at most p?
True
Let a be (-458)/4*(-2)/(-4). Let s = -453124 + 12689251/28. Let c = s + a. Are 6 and c equal?
False
Let s be ((-6)/12)/(77/(-44)). Is s at most as big as 6/1223?
False
Suppose -5*j - 3*q - 98 = 0, q + q + 2 = 0. Let a(b) = 3*b - 75. Let l be a(j). Does l = -132?
True
Suppose -b + 3237 = -40*u - 2745, -4*b + 678 = -5*u. Suppose -4*f = -0*n + n + 130, n + 125 = -5*f. Is u greater than n?
False
Let a = -75 + 242. Suppose 5*p + 315 = -m, -p + 5*m = -4*p - a. Do p and -64 have different values?
False
Let f be ((-3)/(-3)*-3)/(-5*(-12)/40). Which is bigger: f or -25?
f
Let d = -368 - -367. Let w = 18989/29 - 655. Is d at least w?
False
Suppose 0*z + 2*z + t = -8, -z = -5*t - 7. Let i be (-1)/(((-6)/(-28))/z). Let w = i + -14. Which is bigger: -0.02 or w?
w
Let z(a) = 50*a**2 - 44*a - 189. Let m be z(-6). Is -2 less than or equal to m?
True
Suppose -5*m - 14*m + 1071 = -126. Which is greater: m or 995/16?
m
Let c(j) = -3*j + 3. Let r be c(-2). Let w = r - 4. Suppose w*h + 4*k + 20 = 0, -h + 0 = 2*k + 10. Is h less than 7?
True
Let f(a) = -156*a**2 + 2. Let z be f(2). Let c = z - -414. Is c bigger than -208?
False
Suppose -717 = n + 4*t, 2*n + 3*t - 92 = -1511. Is -704 at least n?
True
Let l = -104 - -106. Suppose 3*i = 1 + l. Let x = 146 + -132. Which is smaller: i or x?
i
Suppose 192 - 198 = 3*b. Let g be b*2/50*1. Let l be (8/60)/(2/(-6)). Which is smaller: g or l?
l
Let o = 2/6967 - -13732/703667. Let s be ((-9)/(-6))/((-63)/(-84)). Suppose 4*z = -12, s*f - 6 = 5*f + 3*z. Which is greater: o or f?
f
Let t = -15484 - -15584. Which is bigger: 35 or t?
t
Suppose 5*p - 112 = 2*t, -2*t + 3*p - 104 = -0*p. Let r be 112/98 + (-646)/14. Is t > r?
False
Let h be -181 - (2 - 2) - 33/(-11). Let c = 886/5 + h. Which is bigger: 6.3 or c?
6.3
Let w = 26133.9 + -26134. Which is smaller: w or -12?
-12
Let g be 402/(-101)*1 - 36/(-9). Suppose 24 = -p - 2*p - 3*o, o = -5. Let m(s) = -s**3 - 3*s**2 + s + 4. Let u be m(p). Which is smaller: u or g?
g
Let g = 20912 + -20910. Is 137/42 greater than g?
True
Suppose -119*v - 1368 = 33*v. Suppose -g = -4*g - 33. Is v at most g?
False
Let l = 1.022 + 0.028. Let y = l - 1.15. Which is smaller: -40 or y?
-40
Let b be (2/16 - 255165/168)/((-18)/(-21)). Which is smaller: -1771 or b?
b
Let f = -11.8 + 28.3. Let g = 36.5 - f. Which is smaller: 3 or g?
3
Suppose -2*g + 9*y = 716, -5*g + 2*y - 4*y = 1790. Which is greater: g or -1784/5?
-1784/5
Let d = -0.86 + -0.78. Suppose -4*f - 29*f = 33. Is f equal to d?
False
Let z = 36.87 - 1716.01. Let r = z - -1627. Let a = 52 + r. Is a > 2?
False
Suppose 0 = 4*u + u + f - 696, 4*u = -5*f + 561. Suppose 5*t = d - u, 4*d = 5*t - 0*d + 151. Let y be (5817/t)/7 - (-4)/(-18). Which is smaller: -30 or y?
y
Let a = 8 - 10. Suppose 5*k + 4*m - 29 + 0 = 0, 4*m = 3*k - 43. Let q = a + k. Which is smaller: q or 5?
5
Let v = -19 - -28. Suppose 3*k - 56 = -4*i, -18*k + 20*k + i - 44 = 0. Suppose -43*t = -40*t - k. Which is bigger: v or t?
v
Let d = -10 + 5. Let i be d/(-2)*(-1)/10. Let y be -2*(-3)/(-8)*-2. Is y equal to i?
False
Let t be 3 + -1 - 125/30. Let d = 99.148 + -99.148. Is t >= d?
False
Let g be ((-19509)/1050 - (-16)/200)/((-1)/(-206)). Is g smaller than -3811?
False
Let k = -1650 - -1076. Let p = k + 597. Is p bigger than 22?
True
Let d(l) = -l**2 - 6*l + 6. Let u be (-111)/15 - (-6)/(-10). Let w be d(u). Let y be w/6*12/120. Which is smaller: y or 0.18?
y
Let t = -273 - -292. Suppose -s + 3*x = -19, -4*s + 54 = 3*x - 7. Are t and s unequal?
True
Let q = 6635 + -6634. Do -6/1565 and q have different values?
True
Let f be (4/6 - 0)/((-15)/((-304650)/(-20))). Is f greater than or equal to -677?
True
Let u(m) = 5*m**2 + 5*m - 5. Let v be u(1). Suppose t - v*a + 2*a = 7, -2*t + 2*a = -6. Let k be ((-8)/(-174))/(2/3). Does t = k?
False
Let i be (-6)/9*(1 + -7). Let v(o) = o**3 - 4*o**2 + 2*o - 4. Let t be v(i). Suppose -4*s - 3*m - 18 = 0, 6*s - 3*m = t*s. Does s = -3?
True
Let g = -1653 + 8268/5. Which is smaller: g or -189?
-189
Suppose b + 72 = 4*g + 17, -3*b - 2*g - 95 = 0. Let f = -1322.7 - -1317.7. Are f and b nonequal?
True
Let w = -836/421 - -1497721/752327. Which is smaller: 0 or w?
0
Let h = 10815 + -10811. Is 636 <= h?
False
Let q be 10/4 + 2/4. Let x be -1 - 10 - (-9 + 14). Let l be -2 - (2 - 1) - 76/x. Which is smaller: l or q?
l
Let c be 570/(-40)*8/(-6). Suppose c = 9*i - 35. Which is smaller: i or 16/3?
16/3
Let z(c) = 16*c - 85. Let u be z(6). Let v be 13 + -9*(-1)/(-3). Which is greater: v or u?
u
Let y be -2 - 4 - (-108)/4. Suppose -3*k = y - 30. Let l = 2.5 + -0.5. Is k less than l?
False
Let z = 165 - 665. Is 2 at least as big as z?
True
Let v(b) = b**2 + 6*b + 5. Let r be v(-5). Let w = -16.6637 - 0.0163. Let s = 0.68 + w. Which is bigger: r or s?
r
Let o = -6.65 + 39.55. Let y = o + -33. Is y at least 305?
False
Let i(k) = 3*k - 31. Suppose 39 = 3*l + 6. Let h be i(l). Which is greater: h or 4?
4
Let h(y) = 3*y**2 + 12*y + 24. Let v be h(-4). Let b be (4/(-16))/((6/v)/(-1)). Which is bigger: b or -4/55?
b
Let m = -18594 - -2718. Is m >= 2/7?
False
Suppose 17377 + 143316 = -71*s - 113012. Are -3855 and s equal?
True
Suppose 5 = -x + 7. Suppose 46*c + x*c + 48 = 0. Which is bigger: c or -4/333?
-4/333
Let k = 421 - 454. Let v(a) = -5*a**2 + 26*a - 8. Let h be v(6). Which is smaller: h or k?
k
Let o = 1010 + -946. Suppose 16 = o*r - 80*r. Let b be 25/23 + 0 - 1. Which is smaller: r or b?
r
Suppose 0 = -2*i - 3*m + 81, 0 = -2*i - 4*m - 33 + 119. Let s be (-4)/(-6) + 242/i. Suppose s*b - 4*b = 8. Which is smaller: b or 1?
1
Let n be 0 + -1 + 436/28. Let b(l) = 2*l**2 - 47*l + 10. Let w be b(11). Let z = -249 - w. Is z < n?
False
Suppose 31*p + 5*o = 23*p - 20, 5*o + 20 = -5*p. Which is bigger: -3/5410 or p?
p
Suppose 0 = -j + 2*c - 191 + 1849, -5*j + 8320 = 5*c. Is j greater than or equal to 1660?
True
Let m = -6050.1 + 5921.333. Let z = m + 129. Is 0 less than z?
True
Let n be 6/4 - 45/(-18) - 12. Let l be (-750)/(-84) - n/14. Let f be 18/(4 - (-6)/(-3)). Which is smaller: f or l?
f
Let w = 21 + 6. Suppose -w*r = -10*r. Which is smaller: r or -1/7?
-1/7
Let r be (-3 - 1)*(715/273)/5. Let q = -2843/1407 - r. Which is smaller: q or 0?
0
Suppose 8*l = 42 + 22. Suppose -l*z + 5*z = -4*w + 16, -w = -3*z - 22. Which is smaller: z or -33/4?
-33/4
Let t = 366.12 - 365.84. Which is bigger: -0.421 or t?
t
Suppose -89*u + 81*u - 576 = 0. Is -86 >