 at least as big as u?
True
Let z(x) = x**2 + 8*x. Let i be z(-8). Suppose i = -3*g + n + 38, -5*g + 2*n = 3*n - 50. Let c be (59/5)/1 + -1. Is g <= c?
False
Let y be (-32)/80 + 856/(-10). Let q = -616 - -529. Is y at least q?
True
Suppose -393*x - 1542 + 3879 = -1986. Are x and -159 equal?
False
Let o be 513/540 - (-2)/(-10). Let k be 1/(-7)*(-861 - 2). Let u = 123 - k. Is u > o?
False
Let h(t) = -t**2 - 23*t - 131. Suppose -4*d - 2*q = 44, -24 = 2*d - 0*q + 2*q. Let n be h(d). Is n at most as big as 2/275?
True
Let l(b) = 4*b**2 + 12*b - 11. Let k be l(1). Let g be 2*-17*(k + -1)/8. Suppose -2 - 12 = w - 4*c, -3*w - 51 = -3*c. Which is greater: w or g?
g
Let x be (-5)/15 + (-14)/(-6). Suppose x*j = 3*j + 4. Suppose 11 = -5*u - 4. Which is smaller: j or u?
j
Let v = 222 + -196. Suppose v*u - 750 = 31*u. Which is greater: u or -149?
-149
Let h = 0.15598 - 1.15598. Which is smaller: h or 0.329?
h
Let r(v) = -27*v + 6. Let b be r(3). Let w = b + 95. Suppose -16*n = -w*n + 164. Which is smaller: 39 or n?
39
Let h(d) = 682 - 319 + 4*d**2 - 6*d - 342. Let y be h(-9). Which is smaller: y or 400?
y
Suppose 4*h - 9 = 27. Let a(y) = -y**3 + 9*y**2 - 3*y - 15. Let b be a(h). Let d = -60 - b. Are -33/2 and d equal?
False
Let n = -376 + 210. Let q = n + 165.94. Is 3/10 at most as big as q?
False
Let l = -50607603/1165 + 43440. Is l > -1?
True
Let v be ((-28)/(-49))/((-12)/14). Suppose h + 2 = -3*m - 1, 2*m = -3*h - 2. Let o be m/(-4) - (-10)/(-8). Is v at most as big as o?
False
Let y = 9.271 + -8.671. Does y = -19.1?
False
Suppose 2*t + 204 = 620. Let f = t + -193. Which is bigger: 14 or f?
f
Let a = -2622 + 2622. Do a and -3/22 have the same value?
False
Let o = -97.98 + 97. Let n = 164.78 - 164. Let d = n + o. Which is bigger: 1/12 or d?
1/12
Let v be 5480/50 - 120/(-50). Which is smaller: v or 96?
96
Let v be -2*-1*1/2. Let o = -172939779420/371 + 466145233. Let y = o - 275. Which is smaller: y or v?
y
Suppose -3*y + 15*l = 13*l - 40, 3*l = -3*y + 15. Let r be ((-48)/(-40))/(2/y). Is -26 less than or equal to r?
True
Let l = -11515 - -34655/3. Which is smaller: l or 38?
l
Let n = -23/12 + -7/4. Let u be ((-3 + 3)/(-1))/(-1). Is u greater than n?
True
Let a = -132593/6 + 21652. Let f = 1313/3 + a. Is f < -10?
False
Let n = -0.132 - 0.12. Let p = -355011 + 2485079/7. Is n > p?
False
Let u be (-71232)/17490 - 9/(-33). Let i(q) = q**2 - 8*q + 3. Let n be i(7). Is n smaller than u?
True
Let f = -4 - -2. Let t(p) = 3*p - 8. Let b(u) = 5*u - 9. Let i(s) = 2*b(s) - 3*t(s). Let k be i(-9). Which is bigger: k or f?
f
Suppose 55*t + 56186 + 4754 = 0. Is t smaller than -1108?
False
Suppose -2*u = a + 1463, 5*u - 10*a + 9*a = -3647. Is -728 < u?
False
Let j = -148.4 + -11.9. Let z = j + 160. Is z < 24?
True
Let b be 8/(-24) + (-5)/(-240)*10. Which is greater: b or -1?
b
Let k(g) = -14*g**2 - 8*g + 15. Let h be k(3). Let a be h/(-28) + (-2)/28. Which is smaller: 4 or a?
4
Let t be 1/3*((-128)/16 + 1766). Is 0.3 smaller than t?
True
Let b = 65 + -71.7. Let i = b - -25.7. Let x = i - 18.9. Which is smaller: 6/13 or x?
x
Let y be (1 + -667)*4/(-12). Let q = -126 + y. Let m be 2/(-12) - 5648/q. Is -58 smaller than m?
False
Let f be -6 - (-2 + 0 - 3). Let y be ((-21848)/(-672) - -1) + f/(-4). Let u = y + -100/3. Is -1 >= u?
False
Let h(o) = -2*o**2 + 18*o + 258. Let n be h(18). Does n = -54?
False
Let s = -582 - -445. Let m = s - -138. Is m at least -131?
True
Let q be (-2008)/654 - ((-36)/84)/(1/7). Which is smaller: -1 or q?
-1
Let n be (-1 - 0/(-1)) + 18 + -18. Let f = 1939 - 126038/65. Which is smaller: n or f?
n
Suppose 0 = -0*w - 5*w + 240. Let s = -1075 - -1079. Suppose -5*g + k + 56 = -0*k, s*k + w = 4*g. Is g at most 11?
True
Suppose 11*x + 324 - 178 = -2450. Which is smaller: x or -249?
-249
Let v(a) = 3*a**2 + 20*a - 10. Let j be v(-8). Suppose j*q + 608 = 3*q. Let u be ((-6)/(-1))/((-2)/11). Is u at least q?
False
Let l be (-5)/58*((-1085)/2150 + 7/14). Is l at least -1?
True
Let c be (-99)/(-11)*(-40)/(-15). Suppose 105 = c*z - 87. Which is smaller: 9 or z?
z
Let r = -123.4 - 495.6. Let n = 619.1 + r. Which is bigger: 657 or n?
657
Let a = 0.0731 - 3.0731. Let u = -13 - -5. Let t be (-18)/u*2/12. Is t < a?
False
Suppose 4*g - 4*x + 7604 = 0, -g + x - 1910 = -3*x. Let a be 6 + 259/(-42) - g/12. Suppose 10 = -4*y + a. Do 37 and y have different values?
False
Suppose 6*o - 196 = 284. Let q = o + -80. Suppose r + q = -1. Which is smaller: -3/34 or r?
r
Suppose 5*h + 3*d = 98 - 74, -d = 2*h - 9. Suppose -h*m + 9*m = 0. Which is smaller: m or 2/129?
m
Let d = 0.02597 + -0.02597. Is d at most -7/421?
False
Suppose 9*o = -4*n + 7*o + 980, -5*o = 4*n - 968. Suppose 0 = -8*c + 79 - n. Which is greater: c or -8?
-8
Suppose 5*t + 11 = -6*r + 2*r, 2*r = 5*t + 17. Let m be (-24)/(-8) - (-381)/t. Is -247/2 at most as big as m?
False
Let v = -11475 - -10502. Do v and -964 have different values?
True
Let n be (3 + 610/(-205))*(-2 - -8). Let z = -469/123 + n. Do 3/8 and z have the same value?
False
Let f be (-27)/(-3) + -252 + 244. Let i = -3779/30 + 126. Is f < i?
False
Let l be 2/(-10) - 984/(-820). Let u = 43781/435 - 503/5. Is u less than or equal to l?
True
Let m = -159 - -564. Let v be (m/6)/9 + 1/(-2). Which is bigger: 9 or v?
9
Let u = 1257.9 + -1257. Suppose -5*l + 23 = -2*w, -w - 2*w - l - 26 = 0. Are w and u equal?
False
Let d = 24803 + -24806. Let i = -0.67 - -61.67. Which is greater: d or i?
i
Suppose -4814 = 59*v - 8*v - 122. Which is smaller: v or -90?
v
Let j(y) = -y**2 + 3*y + 41. Let s be j(-5). Let r be (((-54)/(-4))/9)/(s/(-22)). Are -34 and r nonequal?
True
Let m(k) = -12*k**2 - 3*k + 2. Let i be m(1). Let c = -19 + 33. Suppose -t - 3*b = 16, -2*t + b + c = -3*t. Is t greater than or equal to i?
True
Let p be 2/4 + ((-1090)/(-4) - 13). Let d = 275 - p. Which is smaller: d or 19?
d
Let o = 5972/10989 - -2/999. Let f = 12 - 12. Do o and f have different values?
True
Suppose 2*a = -a - 9. Let g = 112 - 142. Let c be (4/g)/((81/(-15))/a). Which is smaller: 1 or c?
c
Let y be (-4)/14 + (-40)/(-28) - (-1429990)/(-1250480). Is y not equal to 1?
True
Suppose 15*q = -211 + 271. Suppose s = 3*s + 3*i - 61, 0 = 4*s + q*i - 128. Which is greater: -2 or s?
s
Let u be (-1 + 0)/(16/784). Let z = u - -178. Which is smaller: 130 or z?
z
Let y(m) = m**3 + 2*m**2 - 5*m - 1. Let f be y(-3). Let x = 0.378 - -2.622. Are f and x non-equal?
True
Let w = 0.251 - 99.251. Let h = w - -99.11. Which is smaller: h or 0?
0
Let p = 0.2 - -1.6. Let g = -1.4 + p. Let h = -1662.9 + 1663. Is g > h?
True
Let c = -201/35 - -28/5. Let z be (-5)/(-10)*0/1. Suppose -q = -z*q. Which is smaller: q or c?
c
Let z be (-7)/42*-6 - -5. Suppose -10*b + 500 = -z*b. Is 125 > b?
False
Suppose 7*j - 25*j + 90 = 0. Let g(n) = n**3 - n**2 - 19*n - 5. Let y be g(j). Are y and -4/189 unequal?
True
Suppose 5*i = 4*f + f - 10, 2*f - 5*i + 5 = 0. Suppose -k - f = -6*k. Let x be k/2 + 10/4. Which is bigger: 27/7 or x?
27/7
Let n be ((-14)/(-56))/(-1 - 10/(-4)). Let s = 1964 + -1951. Which is smaller: s or n?
n
Let w = 62624 + -250499/4. Suppose -2*t - 12 = -6*t. Suppose t*r = -r. Which is bigger: w or r?
r
Let i = 26309/11 - 2395. Suppose -2*g + 12 = -143*r + 142*r, -4*r - 8 = 2*g. Which is smaller: i or r?
r
Suppose -10*o + 9*o + 2 = 0. Suppose o*h = -12*x + 9*x - 2, 3*x + 10 = 2*h. Let i(c) = c**3 - 7*c**2 + 6*c + 5. Let g be i(6). Is g at most x?
False
Suppose -286*m + 288*m - 3*n = 27509, -3*m + 3*n + 41259 = 0. Is m greater than 13749?
True
Let q(i) = -i**3 - 7*i**2 - 4*i - 28. Let r be q(-7). Is 1808 not equal to r?
True
Let t(m) = -2*m**2 - 45*m + 53. Let k(h) = -h**2 - 22*h + 26. Let y(w) = -5*k(w) + 3*t(w). Let f be y(-26). Is f at most -1?
False
Let t be (-78)/(-143) + ((-155078)/8349 - -18). Suppose 0 = 2*f + 2*f. Which is smaller: f or t?
t
Let b(r) = 10 + 3*r**3 - 1962*r**2 + 1963*r**2 - 2*r**3. Let h be b(-3). Let q = 1136 - 4571/4. Which is greater: q or h?
q
Let t be 7 + -3 - (0/3 - -2). Suppose 5*q - 5 = t*w, -4*q + 4 = -4*w + w. Let u(v) = -4*v + 3. Let c be u(w). Which is greater: c or -1?
c
Let l(k) = -k**3 - 4*k**2 - 3*k + 2. Let u be l(-3). Let t = 831 - 824. Suppose 25 + t = u*n. Is n >= 15?
True
Suppose 16*d = 10619 + 741. Which is smaller: d or -3?
-3
Let t(p) = p**2 + p + 2. Let n(w)