ch is smaller: -17 or n?
-17
Let y be ((-68)/(-10))/((-6)/830). Suppose -1710 = 11*z - 11863. Let h = y + z. Are -17 and h unequal?
True
Let r be 3*(-7 - (-5 + 0)). Suppose 0 = w + 2*w, -3*v - 2*w = -15. Let z be v/(-10) + (-5)/r. Is z greater than 37?
False
Let t = 4586 + -13756/3. Let v = 88 - 159. Is v smaller than t?
True
Let w = 711 + -711.012. Let v = -0.088 + w. Is -656 greater than or equal to v?
False
Let s = 0.122094 + -0.022094. Suppose -3*x = 2*r + 96 - 628, 0 = x - 5*r - 149. Which is smaller: x or s?
s
Suppose 1270 = -s + p - 239, 3*s - 4*p = -4531. Is -1505 less than s?
False
Let v be 1 - (-12)/4 - 1. Let y be (3 - 0)/v*44/(-110). Is -0.009 > y?
True
Suppose q + 4*q + 214 = -4*w, 2*w + 110 = -4*q. Let k be (15/10)/(7 + 8041/(-1144)). Is k greater than or equal to w?
False
Let v be (-3 + -15)/(-2) + -1 + 4. Let h be (7/(63/v))/((-40)/12). Which is greater: 4.2 or h?
4.2
Let p = 7901 - 7914. Which is bigger: -164 or p?
p
Let z(n) = n**3 + 9*n**2 + 11*n - 5. Let j = 33 + -28. Let g(b) = -4*b + 14. Let w be g(j). Let m be z(w). Which is greater: 39 or m?
39
Let j = -195507/4 - -106333/2. Which is greater: j or 4290?
4290
Let n(t) = -t + 5. Let q be n(-8). Suppose 8 = -11*c + q*c. Suppose -4 = l + c. Which is bigger: 1/3 or l?
1/3
Let r be 9/(-2)*992/93. Let h = r + 49. Let i = -74638/25 - -2986. Which is smaller: h or i?
i
Let q be (2/5)/(13/(-39))*(-345)/(-15157). Which is bigger: q or 1?
1
Let u = 220 + -212. Suppose -4*s = u*s + 240. Which is bigger: -17 or s?
-17
Let h(n) = n**2 + 87*n + 1183. Let t be h(-70). Which is bigger: t or -22?
t
Let f = -172 - -162. Let a be 3976/1036 - (-5)/(f/8). Is a > 1?
False
Let j(c) = c + 2. Let f be j(3). Suppose -3*m + 2*m + f = 0, 3*q + 3*m = 99. Let o = -590 + 617. Is o not equal to q?
True
Let q = 181/660 + -4/165. Is q less than 69?
True
Let f(r) = -r**2 - 2*r + 2. Let t be f(4). Let p be (-50)/2 - (-7 + (-5)/(-1)). Which is greater: p or t?
t
Suppose 3*k + 89 = 4*p - 33, -4 = 2*k. Let u(o) = 2*o**2 - 60*o + 53. Let g be u(p). Let j(t) = -3*t + 4. Let x be j(4). Is x smaller than g?
True
Let s = 58896 + -58896.1. Let r = 8 - 15. Are s and r nonequal?
True
Let k be (-14)/63*297/(-22). Suppose 2*b + 5 = -3*j, -3*b - 44 = -3*j + 1. Which is smaller: k or b?
b
Let s(g) be the second derivative of -5*g**3/6 - 17*g**2/2 + 32*g. Let j be s(-4). Let k be (7/(-273))/(1/j). Which is smaller: k or -1?
-1
Suppose -4*q - 165 = -3*q. Let t = -2283 + 2117. Is q at least t?
True
Let u = -23 + 24. Let b be (-2771)/(-12155) - (-4)/(-22). Do b and u have the same value?
False
Let z be (21 + -4)*(-5 - -2). Let d = 7546 + -60365/8. Are z and d unequal?
True
Let h be 1/5*(57 - 6)*40/(-496). Is -2 <= h?
True
Suppose 2*m - 3*q = 2*q - 220, -2*q = -2*m - 196. Which is smaller: 6/11 or m?
m
Let g = 72 - 74.3. Let w = 0.3 + g. Let i = -54/11 - -529/110. Do i and w have the same value?
False
Suppose -6 = -1750*f + 1756*f. Is f bigger than -13/323?
False
Let w = 157 + -155. Suppose -2*c - c = w*c. Is c less than -2/27?
False
Let p be 17 + (90792/(-408))/13. Is 2/731 > p?
True
Suppose 924 = 4*v - 3*v + 2*u, 5*v - 4685 = 3*u. Let z be 3040873/(-3256) - 3/24. Let o = v + z. Is 0 bigger than o?
True
Let x = 108 - 26. Let o = 80.68 - x. Let p = o - 0.48. Which is greater: 0 or p?
0
Let f = 57.115 + -0.115. Let d = f - 57.01. Let n = -1 + 1. Which is smaller: d or n?
d
Let d be (-48)/1*((-8)/(-12) - 2). Let r(x) = -23 - 9 - 66*x + d*x. Let h be r(-14). Which is greater: -3 or h?
-3
Let b = 656 - 2623/4. Let n be (3 + -11 + -2)*22/(-32). Is b bigger than n?
False
Let y be (16/9 + 128/576)/(1 - -1). Is y bigger than 1/5661?
True
Suppose -12*a = -1028 + 596. Let i = -9 + 45. Is i bigger than a?
False
Let g be 3 - (-148)/(-52) - (15 - 17). Is g at most 0.2?
False
Suppose 0 = -0*r + r + 4*p - 20, -46 = -5*r - 2*p. Suppose -11*y + r*y = -75. Is 27 at most y?
False
Suppose -372 = 5*p + 2*f, 5*f + 390 = p - 6*p. Which is smaller: -81 or p?
-81
Let b = -19.16 + -0.04. Let t = -108.2 - b. Is 2/7 <= t?
False
Let l = 5.1 - -2.9. Let k = l - 41. Let m = 30 + k. Is -8 bigger than m?
False
Suppose 1523*c + 54 = 1520*c. Is c at least -704/37?
True
Suppose -5*n - 5*l - 75 = 0, 2802*n = 2805*n - 5*l + 53. Suppose -17 = 3*k + 31. Is n < k?
False
Suppose -2*o + 3*d + 3 = 0, 4*d + d = 2*o + 3. Suppose 0 = -o*x - 1198 - 26. Is -205 at most x?
True
Suppose -2*b - 25 = -5*y, 4*b - y = 2*y - 57. Let k be 3/(-2)*3/(b/100). Let v be (1 - -1) + 1/2*k. Is -0.1 at least as big as v?
False
Let g be (37/((-5328)/(-39258)))/(9/(-20)). Which is smaller: g or -605?
g
Let k = 1423/7 + -204. Let h = -22 + 38. Let v = 14 - h. Which is greater: k or v?
k
Let d(m) = 88*m**2 + 2*m - 5. Let x be d(-2). Let v be x/14*(-1 - 1). Which is greater: -48 or v?
-48
Suppose 4*c + 1581 = -4*o - 751, 5*o + c = -2915. Which is smaller: -588 or o?
-588
Let j be 780/(-273) - (-2)/(-14). Let y(n) = -2*n - 7. Let l be y(-7). Let o = l + -13. Is o at least as big as j?
False
Let a = -7990 + 7990.2. Which is smaller: -1.433 or a?
-1.433
Let l be (2 + 4/(-1))/2. Let v = 61 + -126. Let q be -7 - v/9 - 8/18. Which is greater: l or q?
q
Let k(w) = w**3 - 20*w**2 - 28*w + 39. Let o be k(21). Let h be o/14 + (-40)/140. Is -8 at least h?
True
Let w be (-113)/(-10)*(-288)/240. Which is bigger: w or -15?
w
Let d = 24 - -7. Suppose d*b - 33*b - 2 = 0. Is -3/38 > b?
True
Let l be ((-1077150)/5375)/(1*((-9)/(-10))/3). Which is greater: l or 2/23?
2/23
Suppose -w = -2*w + 16. Let b be ((-8)/w)/((-1)/6). Is 17/10 bigger than b?
False
Suppose 0 = -2*w + j + 3114 - 806, 0 = -5*j - 10. Is w at least 1152?
True
Let b be ((-11470)/465)/(6/9 + 0). Let h = -18 + 91. Suppose 3*i = -44 - h. Are b and i equal?
False
Let a = 24.7 + -29. Let n = 4.73 + a. Let b = n + -0.67. Which is smaller: b or -2/3?
-2/3
Let v = -935 + 934. Let i be ((-12)/(-100))/(3/(-38)). Is v less than i?
False
Let j be (14/11)/(-2) + 1. Let z = 43777/4 - 43771/4. Which is bigger: j or z?
z
Let a = 12683/444 - -76/111. Let c = a + -29. Let v = -0.03 + 0.08. Which is smaller: c or v?
v
Suppose 3*o = -56 - 52. Let y = 59 + o. Let s = 171 - 147. Is s bigger than y?
True
Let v = -9.722 + 9.6. Let a = v + 103.122. Let u(c) = -1005*c - 36180. Let t be u(-36). Is t bigger than a?
False
Let k = -3 - -6. Suppose k*w + 11 = -4*u, 4*u = -0*u + 4. Let s = -11245.02 - -11245. Are w and s non-equal?
True
Let o be 664*((-150)/10)/(-15). Which is bigger: o or 665?
665
Suppose -600 + 654 = -6*y. Let i be ((-6)/y)/((-1)/3) + -10. Is i at least -21/2?
False
Let j(f) = -8*f - 11. Let l be j(-13). Suppose 10*b - l = 9*b. Suppose 3*q = -3, -5*m + b - 20 = 2*q. Which is greater: m or 16?
16
Let l = -21 - -22. Let w = -36.89 + 37. Let f = w + -0.01. Is f bigger than l?
False
Suppose -4*x + 896 = 4*x. Is x at least as big as 120?
False
Suppose -20*n + 166820 = -0*n. Is 8341 >= n?
True
Let j = -30825 - -30746. Suppose -q - 73 = -3*y, 2*q + y + 208 - 55 = 0. Is q smaller than j?
False
Let j = -79 - -91. Suppose -j*x = 53 - 161. Which is bigger: 16 or x?
16
Suppose 11*a - 10*a - 2 = 0, -3*u = 2*a - 13. Suppose -4*k - 78 = 2*q - 5*q, 81 = u*q - 3*k. Is 30 greater than q?
False
Let f = -172 + 151. Let b be 12/f + (-100)/(-28). Which is smaller: -0.2 or b?
-0.2
Let r = 10541075/23308 + -8/5827. Let q = -431 + r. Let k = q + -83/4. Is 37 less than or equal to k?
False
Let q = -2 + 2. Suppose v + 21 = -4*z + 4*v, -5*v + 27 = -4*z. Let c be -3*2/z*923/(-26). Which is bigger: c or q?
q
Let r(l) = 6*l**3 - 2*l**2 - l + 2. Let t be r(2). Suppose -t*y + 45*y = -20. Let s be 155/y + 5/(-20)*1. Do s and -40 have different values?
True
Let n = 2201/84 - 2302/21. Do -82 and n have the same value?
False
Let u = 109.099 - 109.1. Which is bigger: u or 77?
77
Suppose 2*p = -n + 388, -3*p + 0*n - 4*n = -577. Let t = -201 + p. Which is bigger: t or -1?
-1
Let l(s) = s**3 + s + 293. Let p be l(0). Let z = -39859 + 40153. Is z greater than p?
True
Suppose 2*m = n - 265, m - 64 = 4*n - 1159. Do 279 and n have different values?
True
Let n be 11537/(-278)*489/6. Is -3382 less than n?
False
Let t be 106/9 + (-80)/45 + 2. Suppose 7*x - t = 9*x. Let q(l) = -l**2 - 7*l + 11. Let w be q(x). Which is bigger: w or -1?
w
Suppose 0 = 4*m + 2*d - 56, -4*d - 40 = -2*m - 8*d. Suppose 14*n = m*