(-180)/(-12). Let r = 56 + z. Which is greater: 51 or r?
51
Let k be 1 + (-3447)/(-37923)*11*4/(-4). Is k != 1/3?
True
Let f = 189432569681/2535 + -74726851. Let g = -344/21 - -58094/3549. Let i = f + g. Is 0.1 smaller than i?
True
Let j = -530421/226 - -2347. Let m = 40863 + -40864. Which is bigger: m or j?
j
Let i = -3440 + 5841. Which is smaller: 0.1 or i?
0.1
Let h be -6 - (-1643472)/267960 - (-4)/(-30). Which is bigger: h or 0?
0
Suppose 0 = 303*c - 306*c + 132. Suppose 0 = -16*n + 68 + c. Which is greater: 72/13 or n?
n
Let f(v) = -v**2 - 17*v + 14. Let j be f(-9). Suppose 3*x + 134 = j. Is -15 smaller than x?
False
Let d = -12607 + 17838904/1415. Which is smaller: -1 or d?
-1
Suppose 3*w + 28 + 2 = 0. Let s be (8/w)/((-8)/20). Suppose 3*q = -4*m - q + 20, -2 = -m + s*q. Do m and 4 have different values?
False
Let i be 48/(-40)*(-9300)/(-9). Is i at least as big as -1244?
True
Let a = 5 - 26. Let n be 82/6 - 7/a. Suppose 285*k = 277*k + 112. Is k != n?
False
Let r(s) = s**2 - 208*s + 1212. Let t be r(6). Is -2/68375 bigger than t?
False
Let q be 5158/1680 + -3 - 18/189. Let u = 3 - 5. Let y = -1 - u. Which is greater: q or y?
y
Let t be (1/(-5))/(6/34) + 870/6525. Is t bigger than -19/638?
False
Let r = -10.216 + 175.216. Which is greater: 1/5 or r?
r
Let z = 304 + -288. Suppose i - z = -15. Which is smaller: -2/1133 or i?
-2/1133
Let q be 6/18*(73 - 1). Let p be (-3)/(-30) - (q/15 - 1). Which is bigger: p or 8?
8
Suppose s + 52*v - 54*v = -9, 0 = 2*s + 2*v - 12. Let q = 297 - 8020/27. Is q bigger than s?
False
Let t = 546382/55 - 739/110. Is t greater than or equal to 9927?
True
Let t = 10 - 4. Suppose 1498*v - 1505*v + 245 = 0. Suppose v = -t*j + 11*j. Is j smaller than 11?
True
Let r = 0.0791 + 1.4199. Let g = -0.001 - r. Let q = 174 - 867/5. Which is greater: g or q?
q
Let h be (29/(-1740)*12)/(1/(-545)). Is 753/7 > h?
False
Let y be (-4)/8*(0 + -359). Let h = 1115/6 - y. Let x = -6 + h. Is x at most 0?
False
Let y be ((-8)/(-10) + -2)*(-25990)/(-138). Which is bigger: y or 13?
13
Let a be (4/9)/((-2)/3). Let f = -33031/88 - -3005/8. Which is smaller: f or a?
a
Suppose 2*k - 361 = -3*d, 2*k = -2*d + 5*d - 377. Let w = 90 - d. Is -33 greater than w?
False
Let r = -165 - -170. Suppose 27*b + r = -319. Which is smaller: b or -13?
-13
Let p(v) = -8*v**2. Let q be p(-3). Let z be 14/(-28)*(165 + -17). Is q at most as big as z?
False
Let m = -5.171 + 5.2111. Which is smaller: -3 or m?
-3
Let t = 63 - 50. Suppose -t*c + 12 = -7*c. Suppose 3*x + 3*o + 3 = 0, 5*x + o - c*o + 5 = 0. Which is smaller: x or -3?
-3
Let c(w) = w**3 - 11*w**2 + 6*w + 38. Let n be c(10). Let f = -16 - -40. Let a = n - f. Is a not equal to -25?
True
Let g(w) = -8 - 2*w + 2*w - w - 2*w. Let n be g(8). Let c be ((-3)/n)/(9/4). Are c and -2 equal?
False
Suppose -6*a - 128 - 244 = 0. Let u = -65 - a. Let z be (3 + 4/(4/u))/2. Which is smaller: 2/51 or z?
z
Let y be (-2)/7848*(-20)/(-10). Is 0 >= y?
True
Let i = 6.423 + 168.577. Which is bigger: 3 or i?
i
Let j be (1/(-1))/(2 + -22) - 6/45. Which is smaller: 16/49 or j?
j
Suppose -11*b - 16913 - 7375 = 5*b. Which is greater: b or -1519?
b
Let m be 10 - (-1320)/(-130) - (-50020)/(-26). Does -1925 = m?
False
Suppose z - 928 = -8*h + 7*h, 3*z + 2*h - 2779 = 0. Is z less than 923?
False
Let k = 5016 + -4828. Is 0.2 < k?
True
Let l = -30/71 - -1529/426. Let y be ((-168)/(-154))/((-9)/(-33)). Is y bigger than l?
True
Let x be ((-28)/(-5) - 6)/(1 + -79). Let v be (29 + -29)/(-1*1). Are x and v nonequal?
True
Let x = -23499.2 + 23536. Are x and -1 non-equal?
True
Let n(o) = -147*o - 50. Let s be n(1). Is -194 at least as big as s?
True
Let f(c) = 668*c**2 - 23*c - 92. Let t be f(-4). Which is smaller: t or -3?
-3
Let n = -5517 + 5525. Which is smaller: n or -263?
-263
Let j be (-10)/(-16) + 2/(-2). Let o = 697 - 696. Let k be 0 + -4 - (-2 - o). Is k <= j?
True
Let h = 0.3 + 1.7. Let d = 136.30484 - 0.21484. Let a = 136 - d. Which is greater: a or h?
h
Suppose -142 + 63 = -g + 3*y, 4*g - 4*y = 332. Is g <= 66?
False
Let b(f) = f**2 + f - 5. Let r be b(-3). Let d be 4*42/48 + r/2. Let y be (-2 - (-1421)/(-210)) + d/(-10). Which is smaller: y or -9?
y
Suppose -57*i + 46*i - 693 = 0. Let f be (1/4)/(i/(-84)). Is -234 at most as big as f?
True
Suppose -w - 7 = 1. Let l(r) = 11*r - 93. Let c be l(8). Which is greater: w or c?
c
Let c(t) = -t**2 - 6*t + 9. Let j be c(-7). Suppose h + j*f - 5*f = 85, -3*h + 245 = f. Suppose -4*y + h = 3*i, -i + 6*i + 9 = y. Is y < 20?
True
Let g = -0.3035 + -20.4725. Let c = -0.224 + g. Which is smaller: c or 2/7?
c
Let q = 2.95 - 368.95. Let g = q - -369. Are g and 2.5 equal?
False
Let u be -13 + 15 + 9766/(-9) + 3/27. Which is bigger: -1089 or u?
u
Let j = 595.51 + -566.9. Let s = 28 - j. Let m = -0.6 - s. Which is smaller: m or -1/3?
-1/3
Suppose -6 = z - 7*z. Let p = z - 55. Let f = -54 - p. Which is smaller: -24/17 or f?
-24/17
Let u(a) be the second derivative of -a**5/20 - 7*a**4/12 - 5*a**2 - 2*a. Let y be u(-7). Suppose 0 = -2*b - 34 + 10. Which is greater: y or b?
y
Let w(g) = -g**3 - 12*g**2 + 9*g - 45. Let m be w(-13). Suppose m*z - 3*z - 20 = 0, b - 56 = -3*z. Is b at most 40?
False
Suppose 4 - 143 = 3*r - 2*k, k = -4*r - 167. Let a = -329 + 333. Which is smaller: a or r?
r
Let h be 4/(-10) + (-253)/55. Let y be (-330)/44 - -6 - 5/2. Which is smaller: y or h?
h
Let k = -19 + 15. Let m be (3/k)/(5/((-140)/(-133))). Is 1 > m?
True
Let p be ((-9)/(-4))/(-6*42/96). Are p and 293 non-equal?
True
Suppose u + 8 = -4*d, 3*d + 6 = -0. Let f = -749 - -14979/20. Is u not equal to f?
True
Suppose 4*y = 12, 4 + 8 = -3*x + 4*y. Let n be -5 - -1 - (-29 - -27). Let a be (-105)/70*(n/(-77) - 0). Are a and x non-equal?
True
Suppose s + 2188 = -5*z, -1780 = 4*z - 5*s - 47. Which is smaller: 10 or z?
z
Let k(t) = -t**2 + 6*t - 5. Let x be k(2). Suppose -x*i = i. Let f = -28/25 + 1459/1325. Is i less than or equal to f?
False
Let m = -246 + 28. Let b = -219 - m. Let t = -733/323 + 35/17. Which is bigger: b or t?
t
Let x(p) = -p**2 - 33*p - 62. Let c be x(-23). Suppose f - 2*j + c = -7*j, j = 1. Are f and -173 unequal?
False
Let m(o) = -2*o - 29. Let y be m(-12). Let t be (-252)/(-27) - (-2)/(-6). Suppose -3*j - 18 = l - 3*l, 0 = -3*l + t. Which is smaller: j or y?
y
Let w = -1939.1 - -1959. Let g = -35 + 15. Let k = w + g. Which is smaller: k or 9?
k
Let s(b) = b**3 - 4*b**2 + 2*b - 2. Let p be s(3). Let u be p/(-15) + 1/(-1). Suppose 0 = 5*v - 3*t + 1, 0 = 4*v + 5*t - 9*t + 4. Which is greater: v or u?
v
Let u = 15 - -12. Let k(j) be the first derivative of -2*j**3/3 + 35*j**2 + 27*j - 31. Let b be k(35). Is u bigger than b?
False
Let o be (-173)/6 + (-2)/12. Let k = o - -7. Let s(y) = y**2 - 12*y + 9. Let n be s(4). Which is smaller: k or n?
n
Suppose -3*x = 3*i - 762, -x = 2*i + 2*i - 245. Let p = 213 - x. Is p smaller than -40?
True
Let d(x) = x**2 + 4 + 2*x - 11 + 5*x. Let b be d(-8). Let w be -4 - -17 - (-348)/(-27). Which is greater: w or b?
b
Let f be 299700/(-945) + (-2)/(-14). Is f > -315?
False
Let j be (-321)/535*(-120)/(-27). Let f(g) = 4 - 3 - g**2 + 2*g**3 + 3 - 3. Let k be f(-1). Which is smaller: k or j?
j
Let m = -1/48772 + 142785/2206494052. Is m <= 1?
True
Suppose 10 = 2*z - 7*z. Let d be 4 + 1 + z + -3. Let q = -477/2684 - 1/244. Is q >= d?
False
Let v be 2/(-6) + (-3 - (-360771)/(-9)). Let a = v - -2405429/60. Let t = a - 13/12. Is t greater than or equal to 24?
False
Let l(y) = -2*y - 2*y + 6*y - 4. Let b be l(2). Suppose 4 = -a - 0*a - 2*n, 5*a - n = 13. Is b < a?
True
Let k be ((-3)/(-36))/(390/1960). Is 0 != k?
True
Suppose 100*l = 46*l + 53*l. Let i be 38 + (-1)/(2/6). Let a be (-6)/15 - 76/i. Which is smaller: a or l?
a
Let n be 21/63 - ((-929)/(-6) - 5). Which is bigger: n or -149?
-149
Let l = 9320 - 9818. Is -496 not equal to l?
True
Let o(t) = 24*t**3 - 7*t**2 - 15*t + 43. Let w be o(3). Suppose -79*j + 49 + w = 0. Let p = 27 + -16. Is j greater than or equal to p?
False
Let r be 140*(-62)/(-930)*(0/2 + 6). Which is smaller: r or 39?
39
Let z = 4516286/32585 + -1/6517. Let k = z + -520438/3755. Does k = -1?
False
Let y(x) = x**3 - 2*x**2 - 5*x + 3. Let g be y(3). Let t be (g - 0) + 3 + -46. Let h = t + 185/4. Is h > -0.8?
True
Let k be (615/(-65))/((-10)/18). Let x = -84/5 + 