reater: 68 or q?
68
Suppose -6*k + 8*k - 80 = 0. Let w be k/(-220)*2/26. Which is greater: -1 or w?
w
Let s(m) = m - 1. Let a(p) = -11*p + 21. Let z(r) = a(r) + 6*s(r). Let v be z(-6). Let g = v - 37. Which is smaller: g or -1?
-1
Suppose 5*o = -25, 5*q - o + 0*o = -492900. Let u = 3450094/35 + q. Let a = -37/7 - u. Which is bigger: a or 2?
2
Let c = -439 - 1. Let r = c - -430. Is r smaller than -4?
True
Suppose 181 = -k + 511. Suppose k = -z + 11*z. Suppose 12 = -5*p - z. Which is smaller: -6 or p?
p
Suppose 2*b = 7 + 3, 4*b + 4 = -2*q. Let y be -2 + (36/16)/(q/(-16)). Suppose 0 = -s - 2*f + 13, -5*f = -5*s - 0*f - 10. Is s > y?
True
Let q = -82 - -160. Let w = q + -36. Is 288/7 equal to w?
False
Suppose 3*b = 5*m + 126 - 48, 5*m = -3*b + 48. Let j = 22 - b. Let i be (6/45)/((-8)/(-110)). Is j equal to i?
False
Let u(d) = d**2 - 22*d + 47. Let j be u(19). Let z be 1 + 18/8 - j/(-40). Are z and 1 unequal?
True
Let k be (-40)/(-6) - (-6)/(-9). Suppose k*x + 82 = m + 2*x, -x = 2. Do m and 74 have different values?
False
Let j = 29.7409 + -1.6909. Is j at least as big as 2?
True
Let a be 248572*174/7217340 - 6. Let g = 2/2435 - a. Which is bigger: 1 or g?
1
Let v be ((-3)/(-8))/((-51)/(-68)). Which is greater: v or 1240?
1240
Let x = 535 + -532. Let k be (-80)/60 - (-172)/x. Which is smaller: k or 55?
55
Let h(k) = -k**3 + 6*k**2 + 3*k + 14. Let m be h(7). Let l be (-1444)/112 + (-2)/8. Is m < l?
True
Suppose 379 - 26263 = -16*r + 20420. Is r > 2893?
True
Let q = -1231 - -962.62. Let z = q - -268. Is 0.1 smaller than z?
False
Let a(i) = 2*i - 12. Let k be a(10). Let r(l) = l**2 - 9*l + 7. Let j be r(k). Let m be -3 - (-92)/(-102)*-3. Is m <= j?
False
Let x be ((-460)/(-25) - (-28)/(-20) - 3)*47. Which is smaller: 655 or x?
655
Let j = 626 - 870. Let p = 244 + j. Which is bigger: p or -26/17?
p
Let w(r) = r**3 + r**2 - 3*r - 14. Suppose -z = -2*g + 8, -11 + 0 = z - 3*g. Let y be w(z). Is y at least -56/5?
False
Let v be -8*(-323)/136 - -1311. Which is smaller: 1332 or v?
v
Suppose -1086 = -0*n - 3*n. Suppose -2*v = 5*c - 216, 0 = 3*v + 7*c - 9*c - n. Let p = v + -104. Is 44/3 >= p?
True
Let g = 12310.8 + -12311. Which is smaller: -4549 or g?
-4549
Let p = 52440 - 52441. Suppose 0*b + 3*b + 372 = 0. Is b less than p?
True
Suppose -k + 3*n = -13, 0*k - 4*n = -4*k + 20. Let v(p) = 12*p - 262. Let o be v(21). Which is smaller: o or k?
o
Suppose 10*u - 94 - 36 = 0. Suppose 0 = 15*n - u*n. Which is greater: -4/17 or n?
n
Let n(q) = -q**3 + 7*q**2 + q + 11. Let f be n(7). Let c be ((6/f)/(2/(-30)))/(-1). Let i be c - 6 - (1 + -1 - 1). Are 2/5 and i equal?
False
Let c = -2147/15 + 141797/990. Which is greater: c or 0?
c
Suppose -278 = -193*a - 85. Which is greater: a or 8/93?
a
Let d = -14791 + 14674.3. Is d less than -1?
True
Let d = -48382 + 24045866/497. Which is greater: 0 or d?
d
Suppose -1974*h = -1973*h + 64. Is -321/5 <= h?
True
Let l be (-17)/(-105) - 2/6. Let f be (-945)/(-378)*2/5. Is l at least as big as f?
False
Let y = -39 - -35. Let o(w) = w**2 - 3*w - 7. Let g be o(9). Let f = 40 - g. Is y < f?
False
Suppose -4*s = -10*j + 8*j - 1644, -5*s = 10. Which is smaller: -824 or j?
j
Let l = -5802.758 + 5708.1. Let t = l + -0.342. Is t equal to 0.1?
False
Let b = 1673 - 1747.7. Let h = b + 79. Let p = h - 5.3. Which is bigger: -25 or p?
p
Let n be ((-540)/(-3267))/((-24)/(-44)). Let u(s) = -s + 7. Let t(b) = b**2 + 6*b. Let i be t(-7). Let o be u(i). Is n at most o?
False
Suppose 0 = 259*w - 254*w - 10. Suppose 10 = w*t, -145 = 5*o - 3*t - 2*t. Are -24 and o unequal?
False
Let s be ((-91118)/(-145) - -3) + (-3)/(-5). Is s smaller than 3785/6?
False
Suppose -237*q + 1056 = -229*q. Let l be (-1)/(-4) + 11/q. Which is greater: -24 or l?
l
Suppose 2815 = -5*m + n, n + 6 = 1. Let a be m/1645 + -1*0/2. Is a at most 1?
True
Let h be (12*4)/(-4) - (-79 + 282). Are h and -38 non-equal?
True
Let g(t) = -t**3 - 8*t**2 - 8*t - 9. Let k be g(-3). Let z be ((-36)/k)/((-2)/35). Suppose -4*i = d + 88, 4*i - 3*d = -48 - 40. Is i bigger than z?
False
Suppose 26 = -8*a - 230. Let u be -1 + 2/a*2. Let c = -151/136 - u. Which is bigger: c or -1?
c
Let n = 41.13 + -17.33. Let l = 19 - -5. Let s = l - n. Which is greater: -0.27 or s?
s
Suppose 15 = -5*i + 4*a, a - 2*a = -2*i - 6. Let w be (-26 - -20) + (0 - -2) + 2. Is i <= w?
True
Let z = -74 + 32. Let m = -2012 + 2051. Let p = m + z. Is p bigger than 1?
False
Let a = -24199 - -74639/3. Is a at most 681?
True
Let x = 27.86 + -27. Let h = -0.34 - -0.1. Let u = x - h. Is u greater than or equal to 2?
False
Suppose 0 = 6*t + 8*t + 7*t + 210. Which is smaller: 23/2 or t?
t
Let c = 2029590118/6369 - 318667. Is 0 at least c?
True
Let k = -136 + 139. Suppose 4*q + 3*s - 60 = 53, k*q - 63 = 5*s. Which is smaller: q or 24?
24
Suppose 3*d - 14 = -26. Let u be 0*-1*d/12. Suppose 2*m = 5*s + 12, 2*s = -2*s + 5*m - 13. Which is bigger: u or s?
u
Let u = 23979 - 23979.1095. Which is smaller: u or -0.1?
u
Let f = 8.63 + 353.37. Let l = f + -361.9. Which is bigger: -284 or l?
l
Let i = 4786 - 4786. Is i >= -2/12431?
True
Suppose 28*z + 92 = -48. Is -93 at least z?
False
Let j be (-42120)/182 - 1/(7/4). Let o = -230 - j. Is -11 != o?
True
Let h = 9 + -4. Suppose -2*g + 10 = -5*r - 13, -3*g + h*r + 22 = 0. Let c be 0 - -7*(-6)/756. Which is smaller: g or c?
g
Suppose 75 = -5*k + 3*y, 6*k - 5*y + 60 = 2*k. Let t be -5 - (1280/k + -1). Which is smaller: t or 81?
81
Let i(k) = 5*k - 55. Let a be i(21). Is a not equal to 32?
True
Suppose -24*j = 13*j + 20*j. Is -8/33 at most j?
True
Suppose 0 = 3*w - 5*w - b - 77, -4*b - 86 = 2*w. Suppose -462 = -7848*v + 7859*v. Which is greater: v or w?
w
Let l be (58 - -22)*(-2 - -1)*(1 - 2). Are l and 99 nonequal?
True
Let m = 14/221 - 762/221. Which is smaller: 2/15 or m?
m
Suppose -122 = 1679*g - 1740*g. Let b = 942184/60645 + -11/4043. Let o = b + -37/3. Which is smaller: g or o?
g
Let i = -214059/139 + 1540. Let a(t) = 13*t**3 + 587*t**2 + 97*t + 314. Let f be a(-45). Is i <= f?
False
Let g = -82.89 + -25.01. Let z = 108 + g. Which is smaller: 29/5 or z?
z
Let h = -229775817553/218257815 - -1055965/1003. Let s = 1/2445 - h. Is 0 not equal to s?
True
Suppose -7*u + 3*k = 16, -10*u + 7*u = -5*k + 18. Is u < 8068?
True
Let d = -3003 - -3004. Which is bigger: 0.0259 or d?
d
Let x(y) = y**2 - 4*y - 7. Let p be x(5). Let n = -0.014 + -41.986. Let j = -35 - n. Is p > j?
False
Suppose 1508580 = 25*p - 199*p. Which is bigger: -8671 or p?
p
Let f = 21.126 + -20.166. Are -143 and f unequal?
True
Let u = 0.239 + -0.733. Let p = -0.43 - u. Let h = p + 0.086. Is 0.3 at least as big as h?
True
Let x = -543.951 + 544. Is x >= -0.3?
True
Suppose 4*p + 3*q = 153 - 49, 2*p - 2*q = 52. Let y = p - 18. Let t = y + -4. Is 3 at least t?
False
Suppose -11*l + 15985 = -5*y - 6*l, -7*y = -2*l + 22409. Is y equal to 0?
False
Let b be 8/6 + 2*7/(-42)*181. Do -52 and b have the same value?
False
Let n(a) = -3*a**2 - 339*a - 337. Let k be n(-112). Is 38/141 bigger than k?
True
Let z = -3.68 - -36.68. Which is bigger: 17 or z?
z
Let b(t) = -4*t**2 - 8*t - 18. Let g be b(11). Which is smaller: g or -586?
g
Suppose -454*n - 19 = -450*n + 1. Let d(t) = 3*t**3 - t**2 + t. Let i be d(1). Suppose -5*q - 13 = -i. Which is smaller: q or n?
n
Let m = -8992 + 8993. Which is smaller: 110/261 or m?
110/261
Let s be (0/8)/(0 + 1)*-1. Suppose s = -152*d + 149*d + 9. Which is smaller: 22/9 or d?
22/9
Let m = 107.991 + -108.1. Is m greater than -0.1?
False
Suppose -4*z - 65 = -2*n + 57, -3*n - 3 = 0. Let d be (4/8)/((-4)/136). Let l(s) = -s**3 - 18*s**2 - 24*s - 151. Let j be l(d). Which is smaller: j or z?
j
Let p be (4/(-40)*4)/(7/3745). Which is greater: 9 or p?
9
Let u = -63209594502634/805 - -78521247115. Let x = u - 81926/7. Let j = 21/5 - x. Is j less than -1?
False
Let q be (24/(-4) - -7)*5 + 0. Suppose -4*g - 4*y = 212, -11*y = q*g - 7*y + 266. Which is smaller: g or -56?
-56
Let q = -10793.06 + 10900. Let w = -93 + 200. Let j = w - q. Is j smaller than 0.2?
True
Let a = -2424 + 2200. Are -224 and a equal?
True
Let y = -7/360 - 973/3960. Let l = y + 1/66. Which is smaller: l or -1?
-1
Let r = 59 + 74. Let y = r - 314. Is -181 >= y?
True
Let u be 6/(-33) - 624/(-44). Let s = -70 + 33. Let t = s - u. Is -52 bigger than t?
False
Let f