than or equal to -26.44?
False
Let c be 1/((-1 + 2/6)/(160/(-15))). Suppose -5*j = 3*v + 13, 4*v - 35 = -v + 3*j. Which is bigger: c or v?
c
Let w be -3 + 447 + -1 - -7. Let t = -504 + w. Let l = -122 - -68. Are l and t equal?
True
Suppose 2*x + 2*l = 8, -2*x + 2*l - 3*l = -6. Let p be -3 + (-1)/((-8)/38). Which is bigger: x or p?
x
Let g = -1836717/73 - -25161. Is -1 at most g?
True
Suppose -102 = 5*y + 258. Let b = -3061 - -15667/5. Let m = y + b. Is m greater than 43?
False
Let y be 3 - 0 - -1*1. Let x be y/(-14) - (152/7 + -6). Let r(v) = v**2 - 13*v + 6. Let w be r(11). Is w not equal to x?
False
Let o(b) = b**2 + 27*b + 64. Let c be o(-22). Let j = -21 + c. Is j smaller than -66?
True
Let q be (-1148)/(-42) - -1*4/6. Suppose -268 + q = -5*u. Which is smaller: u or 46?
46
Let n = -47626 - -333385/7. Let z be 2/6 - (-50)/(-24). Which is smaller: z or n?
z
Suppose 6 = 20*l - 18*l. Suppose 3*g + 3 = 5*j, 2*g + 5 = l*j - 3*g. Let x be 344/996 - (-1)/(-3). Are x and j equal?
False
Let j(r) = -16*r - 250. Let g be j(-17). Let u be (10/8 - 0)*(14 - g). Is -10 not equal to u?
False
Let x = 0.597 + -0.5448. Let o = x + 8.6478. Which is bigger: -1 or o?
o
Let o = -79519/15 - -5307. Suppose 2*m - 5 - 5 = 0. Which is greater: o or m?
o
Let m(s) = 2*s**3 + 82*s**2 - 258*s + 243. Let r be m(-44). Let n(b) = -7*b + 1. Let v be n(4). Is r not equal to v?
True
Let u = -6893 + 6898. Is 71 less than u?
False
Suppose 6*y = -44 + 116. Let x be ((-18)/y)/(1/(-4)*15). Is 25 > x?
True
Let s = -1498922/655 - -11442/5. Which is smaller: s or -1?
-1
Let s(b) = -6*b + 100. Let p be s(0). Suppose 4*c - 2*r = -p, -46 = 2*c - r + 2*r. Are c and -22 equal?
False
Let m(v) = 83*v - 21. Let c be m(3). Suppose -c = 7*z - 4. Does -34 = z?
False
Let z = -84 - -84.113. Let i = z + -76.113. Let s = i + 71. Do -1/8 and s have different values?
True
Let x = -83 - -82.34. Let w = x - 2.34. Let m be 8/(-126) - (-10)/(-45). Is w not equal to m?
True
Let y = -284 + -1. Suppose -24*p + 15785 = -79*p. Which is bigger: p or y?
y
Let k(o) = o - 1. Let r(g) = -12*g - 73. Let x(p) = 6*k(p) + r(p). Let u be x(-11). Is u smaller than -15?
False
Suppose -48 = y - 3*y. Let w = 30 - y. Let g be w/19*8/24. Which is greater: g or -3?
g
Let m(p) = 7*p**2 - 122*p - 281. Let b be m(19). Suppose -2*l + 71 = 3*x - 4*x, -l = 1. Is x bigger than b?
False
Let g be (6/12*2)/(2/(16/(-24))). Which is smaller: g or 209.18?
g
Let t = -15823 + 15912. Which is smaller: 87 or t?
87
Let v(f) = 35*f**2 + 18*f - 19. Suppose -6*z + 4 = -8*z, -4*t + 4*z = -12. Let y be v(t). Let g = -2 - -35. Which is smaller: y or g?
g
Let k = 7696.9 - 7697. Let a = 6 + -9. Let d(s) = 8*s**2 - 4*s - 3. Let f be d(a). Which is smaller: k or f?
k
Let g(t) = -t**2 + 6*t - 4. Let r be g(2). Let d be (-160)/(-24)*(r + -1). Suppose -5*o + 0 = -d. Which is greater: o or 6?
6
Let y = -0.09874 + 0.06674. Let x = -0.151 - -0.019. Let s = x - y. Which is bigger: s or -8?
s
Let y be (-21117)/(-56) - 138/368. Let x = -377 + y. Let a = -91 + 371/4. Which is bigger: x or a?
a
Let b = -12145/75447 + -7/909. Which is smaller: 0 or b?
b
Suppose 0 = -13*d + 17*d + 12, 15 = -2*p - 5*d. Let s be 224/663 + (-5)/15. Is s less than or equal to p?
False
Let j(i) = -3032*i**2 + 4*i - 2. Let r be j(1). Is -3030 >= r?
True
Suppose -3340 = -79*l - 1769 + 3169. Which is bigger: 55 or l?
l
Suppose 16 = 4*n, -18*i - 4 = -23*i - n. Is i equal to -54.93?
False
Let r be (-10)/3*(-9)/(-3). Let k = -37.3 - -10.4. Let o = 27 + k. Which is smaller: o or r?
r
Let z = 1666.56 + -12.56. Is -1 greater than z?
False
Suppose 11*g + g = g - 4*g. Which is greater: g or -2/6579?
g
Let r be (18/15)/(6/(-20)). Let y(f) = f**2 - 6*f - 1. Let v be 12/90 + 6/(-45). Let j be y(v). Is r at most j?
True
Let x = -263 - -256. Let s(o) = 2*o - 16. Let i be s(8). Suppose 3*l = -a + 2*a - 19, i = 5*l + 2*a + 17. Are l and x non-equal?
True
Let f(c) = 127*c**2 - 1. Let j be f(-1). Let l(o) = 6*o**3 - 5*o**2 + o + 6. Let v be l(3). Do v and j have the same value?
True
Let q be (-1)/(-4) - (-4)/((-80)/9845). Let w = q + 537. Which is smaller: w or 47?
w
Let l(g) = -3*g**2 - 112*g + 546. Let n be l(5). Is -88 less than n?
False
Let i be (-63)/(-108) + 2/3. Let x = 17479 - 17485. Which is bigger: x or i?
i
Let a = 122252 + -122252.3. Let w = -11.24 - -11. Is a less than w?
True
Suppose -71 = 16*c - 17*c + r, 5*c + r - 343 = 0. Is c less than or equal to 2236/33?
False
Let r(f) = f**3 + 12*f**2 - 49*f - 470. Let t be r(-13). Is -72/91 equal to t?
False
Let r = 3752 + -3797. Is r bigger than -35?
False
Let y(a) = -a**3 + 7*a**2 - 5*a + 9. Let i be y(6). Suppose 0*l + 46 = 5*v + 4*l, 0 = 2*v + 5*l - i. Let c be v*-6*5/20. Which is bigger: -16 or c?
c
Suppose 19*g + 1073 = 5*g - 1811. Is g at most as big as -209?
False
Let d be (-87)/12 - ((-3)/4)/3. Let h be (2 + -3)/(-1)*d. Let p = h + 8. Is 24 at most as big as p?
False
Let c(d) = -43*d - 451. Let s be c(-12). Which is bigger: 830/13 or s?
s
Let a = -21110 - -21226. Which is greater: a or 145?
145
Suppose t - 354 = -c, -4*t + 252 = 2*c - 450. Suppose 107 = -4*z - c. Which is bigger: z or -0.1?
-0.1
Let h(p) = p**3 - 3*p**2 - 3*p - 5. Let t be h(4). Let y be (-9 + t)*(-16)/(-20). Let w be (34/4)/((-7 - -11)/y). Which is smaller: w or -15?
w
Suppose 113*h + 63596 = 87*h. Which is bigger: h or -2445?
-2445
Let u be 1*4*3/4. Let l be 1 + 55/(u + 2). Let o be -3 - -2*3/l. Which is bigger: o or -2?
-2
Let h be (1840/2 - 4)*(9 - 3). Let u = h - 49520/9. Which is smaller: -6 or u?
u
Let f be (-3)/(-15) + 3332/(-35). Which is bigger: -4 or f?
-4
Let z = 219 + 2. Let b = z + -88. Which is smaller: b or 135?
b
Let b = -73 - -151. Suppose 3*s + 3*d - 12 = b, 4*d + 10 = s. Let c = -46 + 71. Are c and s equal?
False
Suppose -11*i + 540 - 89 = 0. Suppose g - 3*f - 42 = 4*g, -4*g = -f + i. Is 1 at most g?
False
Let y = 131 + -126. Let n be 0 - (-1 + y) - -99*1. Let w be 2 + (-274)/110 - (-38)/n. Is w less than 0?
True
Let s be (-47025)/66 + (-7)/2. Let q = 789 + s. Is 73 not equal to q?
False
Let d = 142.2 + 31.8. Let g = -173 + d. Which is smaller: g or 22?
g
Let j = 7302 + -7213. Which is greater: j or 29?
j
Suppose 5*i = -5*m - 1555, -4*m + 42*i - 37*i = 1208. Let j = -351 + 43. Which is smaller: j or m?
j
Suppose -5*i - 19 = 5*x - 14, 0 = 5*i - 3*x + 45. Let h be i + -2 + 0 + 9 + 0. Is -19 smaller than h?
True
Let x be (-3)/6 + 60/(-8). Let j be x/((72/(-455))/(-4)). Let v = -202 - j. Is -1 > v?
False
Let b(q) = -10*q**3 + q**2 + 50*q + 48. Let g be b(-1). Which is smaller: g or -0.167?
-0.167
Let v(s) = -s**3 + 6*s**2 - 5*s - 2. Let o = 14 - 11. Let d be v(o). Let m = d + -48/5. Is 0 <= m?
True
Suppose 2*v + 60 = 76. Suppose 0 = 4*b - v, -r = -4*r - 5*b + 64. Which is bigger: 17 or r?
r
Suppose 5*a - 25 = 4*o, 6*a - 7*a - 3*o - 14 = 0. Is a >= 1.76?
False
Let i(v) be the first derivative of -v**6/360 - 17*v**5/120 - 47*v**4/24 - 4*v**3 + 32. Let c(r) be the third derivative of i(r). Let h be c(-14). Is -6 > h?
False
Let r = 71 + -70.826. Let n = -0.026 - r. Let s = 1.2 + -1.03. Which is greater: n or s?
s
Suppose j = 8*j + 371. Let v = 54 + j. Let o be 2 - (v + 3) - (-142)/70. Which is smaller: o or 1?
o
Let n = 73 + -73.043. Let f = 0.957 - n. Let w = -47 + 47.05. Is w equal to f?
False
Let y be 8/(-15)*-3 + -2. Let h = 1.139 + -0.049. Let p = h + 0.61. Is y at least p?
False
Let b = -5.95 + -0.05. Let j = -28 - b. Let c be -3 - 2/2 - (-942)/157. Is j > c?
False
Let z = 182352 + -182352.3. Suppose 3*g + 9 = 0, 3*p - 3*g = 5 + 4. Let x be p/(-3 + 1) - 11. Do z and x have different values?
True
Suppose -14*q + 12*q = -288. Let d = -162 + q. Which is smaller: d or 0.06?
d
Let n be (-2)/5 + (-163444)/290. Let t = n + 564. Which is smaller: 2/653 or t?
t
Let v = 213.93 - 223.4. Let d = 2.07 + v. Which is bigger: d or -1?
-1
Let u be (-69)/6*(0 + -2). Suppose 0 = 92*y - 83*y - 135. Which is bigger: u or y?
u
Let v = -1.0226 - -87.4286. Let s = 0.406 - v. Are s and 0 nonequal?
True
Let x be -3 + (-8)/(-10) + 1/5. Let g be x/(-8) + (-7)/(-4). Suppose 0 = 5*i, a = -g*a - 4*i + 3. Are -2/277 and a unequal?
True
Let b(j) = -2*j**3 + 5*j**2 + 5*j - 3. Let q be b(-2). Suppose 6*k - 29*k + q = 0. Which is greater: 2/69 or k?
k
Let w = -439 + 373. Which is smaller: 3/