 Which is greater: 69 or k?
69
Let h be 0 + -4 + 5 - (-1316)/40. Which is smaller: h or 34?
h
Let k(j) = -3*j - j + 0*j - 14 - 62 - 3*j. Let t be k(-11). Is 9/11 smaller than t?
True
Let w = -297 + 289. Let j be 12/14 + (w - 37746/(-5355)). Are j and 0 unequal?
True
Let k = -56 + -323. Let c = k - -236. Which is bigger: -142 or c?
-142
Let u be (25/180)/((-9)/72 + 0). Is u greater than -1?
False
Let i(n) = -11*n - 28. Let t be i(25). Let z = -248 - t. Is z at least as big as 52?
True
Let h(x) = 15*x + 72. Let m be h(0). Suppose 2*w - 21 = -3*n + 50, -3*n = 3*w - m. Which is greater: 21 or n?
n
Let i = -469947122/2681 + 175288. Is i greater than or equal to -2/5?
True
Let q be (-342)/(-20) + 8/(-32)*2. Let a = -758 + 775. Is a != q?
True
Let r = -231 - -211. Let w = -653 + 659. Are r and w non-equal?
True
Let o be (-1 - 369/15)*19/304*-40. Is o bigger than 66?
False
Suppose 0 = 14*y + 2 + 12. Let i be (y/(68/30))/((-2)/4). Let k = i + -534/85. Which is bigger: -6 or k?
k
Let g = 4 + -11. Let i be 6/(-5) + (g + 1)/(-6). Is i < -4?
False
Suppose 4*j + 2*c = 4464, 2*j = 112*c - 108*c + 2212. Which is smaller: j or 1116?
j
Suppose -3*d - 118 = -4*c, 5*d = 3*c - 108 + 36. Which is bigger: 314/9 or c?
314/9
Let c(i) = i**3 + 10*i**2 + 17*i + 12. Let z be c(-8). Suppose 4*l = -5*t - 15, -t - z*l - 19 = -0*l. Which is smaller: 2/611 or t?
2/611
Let t = 1170 - 1139. Let y = 2.3 + -2.26. Let r = y - -0.06. Is r at least t?
False
Let i = 3627.9 + -3628. Is -81 equal to i?
False
Suppose -18*i + 199 = -128 - 177. Is i greater than 14?
True
Suppose 0 = 27*j - 28*j + 22. Suppose 0 = 7*m - 29*m - j. Is m at least as big as 52?
False
Let n(c) = 547*c + 4838. Let x be n(-9). Which is smaller: x or -31?
x
Let z = 66.124 - 62.3. Let l = 0.176 + z. Is l greater than or equal to -0.08?
True
Let v = 1347 - 6727/5. Let w = -2.4 + 2.31. Which is greater: w or v?
v
Let i be 54/972*2/(-3)*2/1. Is i greater than or equal to 0?
False
Let f(c) = -2*c**2 + 3*c + 1. Let o be f(-3). Let m(v) = -28*v**3 - 9*v**2 - 4*v + 2. Let j be m(-2). Suppose -8*b - 2 = j. Which is smaller: o or b?
o
Suppose 3*b + b = 20. Suppose 0*u - 5*c - 242 = 3*u, b*u + 426 = 3*c. Let l be 8/14*u/(-72). Is 25 < l?
False
Suppose -2*t = -2*f - 2208, 0 = 17*f - 18*f + 4*t - 1089. Which is smaller: f or -1104?
f
Let n(z) = -4*z + 6. Let q be n(-3). Suppose -2*p = -11*p + q. Suppose 0 = -3*v + 9, 2*v = p*w + 3*v - 5. Are w and 3/7 equal?
False
Suppose 3*k - 3*q - 2205 = 0, 0 = -4*k - 7*q + 4*q + 2975. Suppose 745*m - k*m + 275 = 0. Which is greater: m or -56?
m
Let h be 5 + 0 + (4 - (9 - 4)). Suppose 7 + 33 = 4*a - h*q, -2*a = 5*q - 13. Let z be ((-6)/(-531))/(4 + (-39)/a). Which is smaller: z or 0?
z
Let d = 230 + -223. Let t = -3 - 6. Let a = d + t. Is a bigger than -2?
False
Let z = 354.7 + -4.7. Let n = z - 350.26. Is 1.1 >= n?
True
Let f(c) = c**2 + c - 45. Let n be f(10). Let w = n + -66. Let x = -1189/2 + 67769/114. Is w less than x?
True
Let u = -31626 - -916242/29. Are -30 and u non-equal?
True
Let d = 23263 - 287. Which is smaller: d or -0.1?
-0.1
Let t = 17773 - 17767. Let c(u) = -8*u + 1. Let b be c(-3). Suppose 7*z = 2*z + b. Which is bigger: z or t?
t
Let b be (-22)/(-4) - (-40)/(-8). Do b and -193/19 have the same value?
False
Let z(v) = 92*v - 2012. Let k be z(-11). Which is smaller: -3023 or k?
k
Let q(g) = -g**2 - 13*g - 9. Let h be q(-12). Let d(z) = -6*z + 3. Let m be d(0). Suppose 25 = m*i - h*j + 4*j, 2*i - j - 25 = 0. Which is bigger: -2 or i?
i
Let r be 8/8 - 3 - (-46 + -1). Let d be 0 + (-1 - (-279)/6). Are r and d equal?
False
Let v be (6 + 4976/(-820))/(44/40 - 1). Let m(n) = -n**2 - n. Let q be m(1). Which is bigger: q or v?
v
Let q be (21 - 42 - (3 - 1)) + 8. Is -23 > q?
False
Suppose -23475 = 204*l - 129*l. Let x be ((-939)/6)/(2/4). Is x < l?
False
Let k(m) = m**2 - 193*m - 1313. Let t be k(0). Is -1312 less than or equal to t?
False
Let a be ((-17)/323)/(17/34). Which is greater: -2.366 or a?
a
Let j = 216 - 403. Let s = j + 186.78. Is 2 > s?
True
Let t = 5471 + -5469. Which is greater: t or -2096?
t
Let t be (-29)/(-7) - (-4 + 1). Let q(s) = 2*s**2 + 3*s - 2. Let f be -2*3 + (3 + -12)/(-3). Let y be q(f). Is y at least as big as t?
False
Let w be 4/12*1 - (-24)/9. Suppose 4*a - 707 = 5*y, -w*y - 2*a - 279 = 132. Which is smaller: -140 or y?
-140
Let i be ((-78)/(-8))/((-84)/(-112)). Suppose -i*y = 538 - 3008. Is 189 smaller than y?
True
Suppose -54 + 14 = -8*s. Suppose 0 = -3*i - 3*b + 45, -2*i + 32 = s*b + 5. Suppose 9*d + i = d. Is 2/15 > d?
True
Let g be 3/(9/(-669)) - 2. Let l be (-5)/6*12/g. Let m(o) = -o**2 - 1052*o. Let a be m(0). Is a bigger than l?
False
Suppose 6*w - w = -4*x - 641, 0 = -x - 2*w - 164. Let h = -154 - x. Is h greater than or equal to 2/99?
False
Let s = 723 - 303. Let c be s/(-14) + 1*(2 - -1). Which is greater: -22 or c?
-22
Let c be 12/(-48) - 26883/20. Suppose -2*z + 11*z - 12141 = 0. Let q = c + z. Is q > 6?
False
Let v = 95 - -34. Let s = v - 128.7. Let c = -21.54 + -0.46. Is c greater than s?
False
Let s = 0.7 + 4.3. Let l be (4 + 0)/(-99 + 79) + (-52)/(-10). Is s <= l?
True
Let b be ((-2)/5)/(-3*38/285). Which is smaller: -854 or b?
-854
Suppose -x - 2450 = -4*s, -2*x + 2277 = 5*s - 779. Is 610 != s?
True
Suppose 15 = 2*r - 3*u, -20 = 3*r - 2*r + 4*u. Let c be (-1)/12 - ((-86717)/(-4692) + -19). Which is smaller: r or c?
r
Let a(o) = -7*o**2 + 674*o - 867. Let f be a(99). Which is smaller: f or -2751?
-2751
Let u(b) = -b**2 - 2*b + 15. Let c be u(-5). Suppose -2*w + 15 + 115 = c. Suppose p + 4*p = w. Which is smaller: p or 12?
12
Let p be (-2)/((-2)/8 - 10/24). Suppose -p*x + 3*s + 171 = 18, -3*x = -s - 151. Let k = 38 - x. Is -1 less than k?
False
Let s be (-4)/3 + 2/6. Let y be (4 - 1)/57*(5 + s). Which is bigger: 0 or y?
y
Let s = -27.609 + 27.7. Let v = 0.141 - s. Are v and -0.7 unequal?
True
Let h = 174.44 + -183.665. Is h at most -2?
True
Let k = 2365/2 - 1150. Let w(t) = -158*t + 211. Let j be w(6). Let r = -705 - j. Which is smaller: r or k?
r
Suppose -3*y - 4*k = 28, -y + 1 - 21 = 4*k. Let n be y - (4 - -8*(-3)/6). Let z be -73*2/n*(-3 - -1). Are z and -73 non-equal?
False
Suppose 212 = 232*j + 676. Which is smaller: j or -2/1587?
j
Let c(w) be the second derivative of w**5/20 - 13*w**4/12 + 11*w**3/6 + 6*w**2 - 5*w. Let q be c(12). Suppose s + q*s = 2*s. Is s greater than 1?
False
Suppose -30*f + 30542 = 14*f - 65554. Which is bigger: 2182 or f?
f
Suppose -14 + 142 = 4*h. Which is smaller: 0.11 or h?
0.11
Let h = 4257 + -4257.43. Which is greater: -1/6 or h?
-1/6
Suppose 5*m + 5*s + 390 = 0, 25*s = 22*s. Which is greater: -61 or m?
-61
Let x(h) = 15*h + 204. Let g(j) = -4*j - 51. Let u(q) = -9*g(q) - 2*x(q). Let y be u(-8). Let z be (y/18)/((-16)/24). Which is smaller: z or -11?
-11
Let j = -5655 + 5654.46. Let s = 0.5 - 0.7. Is j <= s?
True
Let m be (11 + 55/(-5))/(-2). Let f be (-70)/74 - (-2 + 1). Is f > m?
True
Let z be 24/(-16) + 2/(-4). Let r be (z/(-5))/((-3)/5). Let o(q) = -2*q - 64. Let d be o(-29). Which is bigger: r or d?
r
Suppose 0 = -p - 5, 4*y - p = -38007 - 7180. Which is smaller: y or -11297?
y
Suppose -3*g + 12 = g. Let i = -6599 - -6605. Suppose 3*q = i*q - g. Are q and 8 nonequal?
True
Let p(c) = -c**3 + 21*c**2 + 98*c + 50. Let h be p(25). Are 2566 and h equal?
False
Let p = 2907 + -2606. Do p and 0 have different values?
True
Let o = 64.22 - 0.22. Let q = 62.9 - o. Is 4 bigger than q?
True
Let r = -31829 - -31844. Which is greater: 526 or r?
526
Let w be (-11)/(-35) + (-1971)/3285. Is w smaller than 4.985?
True
Let k(a) = -22*a**2 - 1239*a + 148. Let l be k(-53). Which is smaller: l or 1?
1
Let a be (616/(-28105))/(4/(-15)). Is -1 < a?
True
Let c = 5655 - 5654.9. Let v = -0.02 + -0.01. Is c less than v?
False
Let g be 2 + -1*1/(-1). Let w(s) be the second derivative of -s**3/3 + 61*s**2/2 + 46*s. Let t be w(31). Is g less than or equal to t?
False
Let a be 6 - 6/9*(-2 + 5). Suppose p - 5 = -2*p + 5*t, 0 = a*p + 2*t - 24. Suppose -3*q = -3*v + 24, -p*v + 9 = -q - 15. Is 4 greater than v?
False
Suppose 19 = x - 4*f, 0*x + 3*x - 18 = -f. Suppose s = 4*m + x - 25, -4 = 2*s. Suppose m = w - 2. Are 6 and w unequal?
False
Suppose -i + 4*g = -2*i + 10, -5*i = g - 12. Let y = 2092 + -2090. Is y greater than i?
Fals