ler: n or x?
x
Let x(o) = -10*o**2 - 2. Let h be x(2). Let p be -7 - -8 - h/(-3). Let k = -767/12 - -149/3. Which is greater: k or p?
p
Let u be (4055/(-10) + -6)/(1/2). Let s = -25515/31 - u. Is s less than 0?
True
Let v be 99/(-2)*66/(-99). Suppose 4*y - 2*k = 132, y - 48 + 15 = k. Are y and v unequal?
False
Suppose -14*f + v + 6349 = -10*f, 4*v - 1566 = -f. Which is smaller: 1587 or f?
f
Let s = 10/1379 - -31617/13790. Which is smaller: 1 or s?
1
Let g be (-1479)/(-116) - 6/8. Let z be (75 + -1)/((-18 - 6)/g). Is z less than or equal to -43?
False
Let m(y) = y**2 + y. Let u(j) = 3*j**2 + 1. Let v(x) = 4*m(x) - u(x). Let p be v(0). Let s be (-1 + 2 + -1 + -1)*p. Which is smaller: s or -2/175?
-2/175
Suppose -3*s - 5*j = 5239, -3*s - 4343 = -2*j + 882. Which is greater: s or -1745?
s
Let f be (-5)/(-15)*12/(-182). Let z = 743 + -743. Which is smaller: f or z?
f
Suppose 0 = 2*p + 3*r + 131, p + 67 = -3*r - 0*r. Suppose -119*t + 126*t + 1792 = -21*t. Are p and t equal?
True
Let x = 173 + -411. Let c = x + 11663/49. Which is smaller: -1 or c?
-1
Let h = -18/167 + 175/3173. Let b = -7 - -11. Suppose -7*y + 2*y - 25 = -o, -4*o - 20 = b*y. Is o less than h?
False
Let x = -204 - -114. Let w = -90.98 - x. Let b = w - -0.58. Is b >= 0.2?
False
Suppose 7 = 3*r - 14. Suppose -r*t = -2*t. Let p be 1 - 20/(-1550) - 1. Which is smaller: t or p?
t
Let k = 47.173 - -9.827. Which is smaller: 2/145 or k?
2/145
Suppose 3*g - 17 - 412 = 0. Let m = g + -13. Let w be (m/180 - (-4)/(-18))*-14. Are w and -10 non-equal?
True
Let x(h) = 61*h + 1274. Let w be x(-9). Is w smaller than 723?
False
Suppose 219*a - 223*a = -280. Let l be 4/(-14) + ((-999)/a)/(-9). Is l greater than 1?
True
Let p = -1.1087 + 0.6087. Is 220 less than or equal to p?
False
Let n = -173.88827 + 0.08827. Which is greater: n or -0.1?
-0.1
Let g be -2*4/(-16)*0*(-10)/50. Is 150 greater than g?
True
Let o = 2.02 + -4.02. Suppose 6*g - 8*g = -28. Suppose j + g = -j. Is o equal to j?
False
Let g = -12441 + -183. Is g at most as big as -12625?
False
Let a be (-19)/(-76) - (-1)/((-4)/5). Is -1/196 at most as big as a?
False
Let q = 927.5 + -154.5. Let h = q - 773. Do h and 472 have the same value?
False
Let n = 0.31435 - -0.69165. Is 9 > n?
True
Let c = 161.4 - 589.4. Which is greater: c or 0.1?
0.1
Let k = 21773 - 28529. Which is smaller: k or -6757?
-6757
Let i(s) = -s**2 + 2*s - 4. Let d be i(-4). Let j be ((-1)/(-2))/1*d*5. Let x = j - -68. Is 0 < x?
False
Suppose -3*a + 8*a + 10 = 5*l, -2*a + 6 = 0. Suppose -35 = -2*t + l*w, -3*t - 4*w - 3 = 2. Suppose 0 = -t*z + 1 - 6. Is -1/20 > z?
True
Let q = -41 - 44. Let z = 5846 - 5931. Is z greater than or equal to q?
True
Let y = -8879.172 + 8898. Let s = 0.228 - y. Is s smaller than -1?
True
Let k = -15 + 12. Let h(l) = -3*l**2 - 21*l. Let o(u) = 3*u**2 + 22*u. Let w(x) = k*o(x) - 4*h(x). Let p be w(-7). Is -1 smaller than p?
True
Let r(m) = -3*m**2 - 22*m + 5. Let x be (-1 - -3)*(-119)/34. Let i be r(x). Which is smaller: i or 146/11?
i
Let u = -249.1 + 239. Let b = 29.26 - 39.36. Let a = b - u. Is a greater than or equal to 4/11?
False
Let g = -17/3350 + -1/67. Let k be 0/(6/2) - 0. Suppose -2 = -k*u - 2*u. Which is smaller: g or u?
g
Suppose -4*a - 4*v = 6 - 22, a - 2*v - 4 = 0. Let w(g) = -g + 1. Let k be w(1). Suppose o + k*o = -5*r + 5, 5*o - a = -4*r. Which is bigger: o or -34?
o
Suppose -4*m = -3*g + 1156, 8*m - 5*m = 2*g - 866. Let a = m + 286. Is 3/167 smaller than a?
False
Let i = -28528 - -484388/17. Which is greater: i or -34?
-34
Let f(c) = -3*c**2 + 1. Let j be f(1). Let s(x) = -5*x + 57. Let n be s(11). Suppose 5*g - 2*h + 25 = 0, 0 = 3*g + n*h - 1. Is j greater than g?
True
Let f = -88 + 101.4. Let m = f - 14.2. Which is bigger: m or 4?
4
Suppose 1528 = -53*z - 138*z. Which is bigger: -94/13 or z?
-94/13
Let a be (11/110)/(8/2596). Let m = a - 161/5. Which is greater: -11/4 or m?
m
Suppose -27*w + 5*v + 42 = -29*w, 16 = -2*v. Are -47/97 and w equal?
False
Let q(t) = t - 941 + 472 + 494. Let m be q(-22). Let d = -401/91 + 87/13. Which is bigger: d or m?
m
Let s be (-32)/(-320)*-39727*2. Let o = -7901 - s. Is 43 smaller than o?
True
Let o be ((-6)/(-8))/(6/(-4)). Let k = -95 - -158. Let a = -62 + k. Which is bigger: o or a?
a
Let x = 0.0242625 - 30.0242625. Let v = 0 - 1. Which is greater: x or v?
v
Let z(w) = -3*w + 44. Let q be z(13). Suppose -9*h + 216 = -q*h. Suppose o + 4*m = 3, -2*m + 10 = 4*o + h. Is o smaller than -15?
False
Let n be (-7095)/(-172)*24/15. Are 57 and n equal?
False
Let u be (-123500)/(-361) - 4/38. Let y = u + -1702/5. Does 1 = y?
False
Suppose -5*b + 21*a - 2367 = 22*a, -2361 = 5*b - 2*a. Let c = 184 + -656. Which is smaller: b or c?
b
Let b be (-3)/(-9)*4*3. Let v(t) = t**2 - 5*t - 1. Let x be v(b). Let g = -2154 - -2148. Which is greater: x or g?
x
Let o be (-2)/20 - 7569/(-90). Let j = -202 - -283. Is o <= j?
False
Let n = -154459/4 - -38615. Is -1.168 greater than n?
False
Let q be 24*15/106560*(-3 - -1). Which is smaller: q or 0.07?
q
Suppose -5*b - 3*i = 1615, 660 = -2*b - 0*i - 4*i. Let q be 40/b*-6*2. Let d be 3*4/3 - 1. Is d at most q?
False
Suppose 4*f + 10 = 2*x, -4*f + f = 2*x + 11. Let g = x + 49. Let y = g + -37. Is y greater than or equal to 12?
False
Suppose 5*v - 190 = 5*z, 2*z = -3*z + v - 194. Let w be 3*1/((-12)/20) - z. Let i = -28 - -62. Is i bigger than w?
False
Suppose -4*u = 4*w + 48, -3*u + 2*w - 12 = -3*w. Let n be (-6)/u + 0 + 21/(-18). Are n and -0.08 nonequal?
True
Let s = -978 + 969. Let x be (-7 - s) + 237/(-117). Is 0 not equal to x?
True
Let s be -1 - -1 - 1 - -57. Let j(b) = -b**3 + 33*b**2 + 63*b + 197. Let q be j(35). Let t be (114/4)/(q/(-96)). Is t < s?
False
Suppose -35 = -16*l - 3. Suppose 3*f + l = 8. Suppose 5*n - 9*n = 0. Which is smaller: n or f?
n
Let l be (1 + 37/3)*-3. Let u(p) = 4*p**2 - 37*p + 39. Let j be u(1). Let i be (j/l)/(228/(-32)). Is i at least as big as 1?
False
Suppose u - 3 = 2*u. Let k = 166 + -31. Suppose 129*w - 18 = k*w. Is w bigger than u?
False
Let p = 4271 - 4270. Is -3/667 equal to p?
False
Let r be (2/(-3) + 1)*3. Let c be r + 0 - 0/5. Let o be ((-773)/8503)/((-2)/2). Is o less than c?
True
Let h = -9229 + 9342.22. Which is smaller: h or 0.1?
0.1
Let r = 80 + -24. Suppose -2*m + 6*m - 5*f - 235 = 0, -2*m + 125 = -5*f. Let p = m - r. Does p = -1/50?
False
Let h be (350/6)/7*1/2. Let t = -159 + 114. Let v be t/(-12) - (-2)/8. Is v at least as big as h?
False
Let c = 29321/2 - 14659. Which is greater: 32 or c?
32
Let j = 2.4 - 3. Let o = -0.5 - j. Let y = 3635 - 3635. Is y less than o?
True
Let b(i) = -2*i - 11. Let v be (-8)/36 - 366/54. Let j be b(v). Let s be (j/7)/((-18)/6). Which is bigger: s or 1?
1
Let i = 39901 - 32786. Is 7114 at most as big as i?
True
Let d be 9/(-15) - (-2)/(-5). Let x(n) = 3*n + 12. Let q(y) = 6*y + 50. Let h be q(-9). Let j be x(h). Is d less than or equal to j?
True
Suppose 0 = -2*s - 17*y + 22*y + 212, -284 = -3*s - y. Is s at least as big as 854/9?
True
Suppose 0 = 4*i + 4*p + 4 + 76, 4 = -2*p. Let b be (-5 - -1)/(3/i). Suppose -2*y + 7*y + 28 = 2*m, -m + b = -5*y. Which is greater: y or -1?
-1
Let b = -34 + 26. Let p(i) = -i**3 + 4*i**2 - 5. Let q(u) = u**3 - 1. Let m(g) = p(g) + 2*q(g). Let c be m(-4). Which is bigger: b or c?
c
Suppose 12*w - 16 = 10*w - 2*b, -2*b + 10 = -4*w. Is 2/12931 less than or equal to w?
True
Suppose 5 = 5*x + 435. Let k = -81 - x. Let s be (4/30)/(k + 85/(-15)). Which is greater: 0.12 or s?
0.12
Let l = 277 - 115. Let z = -196.6 + l. Let v = z - -34. Is v less than or equal to 6?
True
Let b = -274.16 + 277. Let d = 2.84 - b. Is d <= -74?
False
Suppose 4*o = -105 + 17. Let b = o - -40. Suppose 21*r - 144 = b*r. Which is bigger: 49 or r?
49
Let o(j) = -j**3 + 8*j**2 - 6*j - 6. Let d be o(7). Let l be 1/(-26)*((-41)/(-13) + 0 + -3). Which is smaller: l or d?
l
Let q = 29425441516902/50165 - 586573139. Let k = q + -3/635. Which is smaller: -1 or k?
-1
Suppose -6*k + 24 = -0. Suppose 4*l - 30 = 2*y, 1 = 4*l + 3*y - k. Suppose 2*s - h - 7 = 2*h, -l*h - 7 = -s. Are s and 13/6 equal?
False
Let r(j) = -162*j + 10688. Let b be r(86). Which is greater: b or -3247?
b
Suppose -3*g + 202 = 4*q, -2*g + 5*q = -101 - 49. Suppose k + g = 70. Suppose t - 5*t - 120 = k. Are t and -29 non-equal?
True
Let