
Let m = 554 + -191. Let b = m + -380.9. Let l = -18 - b. Is -0.2 less than or equal to l?
True
Let a be (15/36)/((-2)/16). Suppose 0 = -33*y + 28*y + 2065. Let t be 30/(-14) - (-59)/y. Which is greater: t or a?
t
Let y be 49215/114 + 1*2/(-4). Let a = -431 + y. Which is greater: -1 or a?
a
Let h be (2*(-2742)/(-7))/(15 - 13). Let k = -391 + h. Which is smaller: -4 or k?
-4
Let s = -0.055 + 56.055. Let v = s - 57. Are v and -6 equal?
False
Let h be (1/2)/((-3)/(-60)*2). Suppose -8 = -h*i - 168. Suppose -2*q + 45 = -p + 11, 2*p = -5*q - 59. Is p less than or equal to i?
True
Let y = 76 + 6. Let o = -84 + y. Is 0.034 at least as big as o?
True
Suppose -3*n + 194 = 143. Suppose -5*b = n*b - 682. Which is smaller: b or 26?
26
Suppose -14848 = -1501*h + 1472*h. Which is smaller: h or 513?
h
Let x be (10 - 6) + 265 + 14/2. Are 275 and x equal?
False
Suppose -179 = 5*v + 301. Let l be v/(-40) + (-2)/5. Is l > 31?
False
Let w = 1684.9 + -1689. Suppose -3*b - b - 2*s + 12 = 0, 0 = 2*b + 2*s - 8. Which is smaller: w or b?
w
Let k(v) be the first derivative of 7*v**3 - 17*v**2/2 - 37*v + 197. Let o be k(-2). Which is greater: 84 or o?
84
Let q(i) = -i**3 - 12*i**2 + 30*i + 32. Let f be q(-14). Suppose f*m = -16, -5*v + v + 116 = 4*m. Which is bigger: v or 31?
v
Let n = 35.499 - 33.499. Is n < 13328?
True
Let t(h) = 4*h**2 + 38*h + 3. Let o be t(-9). Let l(u) = -u**2 - 6 - 9*u - u**2 + 3*u**2. Let f be l(8). Which is smaller: o or f?
o
Let a = -65636 - -45509. Let n = a - -100318/5. Which is smaller: -62 or n?
n
Let s(k) = 7*k**2 - 28*k + 1166. Let a be s(21). Which is smaller: a or 0?
0
Let d(v) = -20*v - 151 - 2*v + 14*v - 23 - 74. Let n be d(-33). Which is smaller: 12 or n?
12
Let q(z) = -26*z - 313. Let i be q(-12). Let o be (-798)/402 + i - 12/(-4). Which is bigger: -1 or o?
o
Let a be (-1174)/(-8) - 1 - 21/28. Suppose 5*x + 2*u = -28 + 158, 5*x - a = -5*u. Let k be 19/(-60) + x/60. Is 0 smaller than k?
True
Let i be (1 - 5) + 0 + (-15)/(-3). Suppose -2*x = -x + i. Let p be 42/15 + -6 + 3. Is x >= p?
False
Let j = -19277607/95 + 202925. Which is smaller: 3 or j?
j
Let h(b) = 4*b**3 + 9*b**2. Let k be (69/4)/3 + 6/24. Let o(v) = -5*v**3 - 10*v**2. Let m(l) = k*h(l) + 5*o(l). Let u be m(3). Which is smaller: 5 or u?
5
Let x(p) = -p**2 - 4*p - 9. Let f be x(-6). Let v be (f - -3) + 8/(2 + 0). Which is greater: -16 or v?
v
Let w = -3373/114 - -369/19. Is w at most as big as -20?
False
Let h = 4697 + -4813. Let n = 0.032 + 119.968. Let o = h + n. Are -5/4 and o non-equal?
True
Let v = 6329 - 6328. Is v less than -1/3909?
False
Let d(p) = -15*p**3 + 2*p**2 + 4*p - 5. Suppose 2*l - 4*a = 22, 4*a - 2*a = -l - 9. Let j be d(l). Do -15 and j have the same value?
False
Suppose -o - 2*b = -7 - 21, -o + 3*b = -28. Suppose o = -76*l + 69*l. Is -78/23 != l?
True
Suppose 3*s - x - 76 = 0, 9*x - 7*x = -8. Which is bigger: -7 or s?
s
Let d(t) = 13*t + 26. Let z be d(21). Suppose 19*a + z = 774. Which is smaller: 17 or a?
17
Let q = 2643.4 + -2285.4. Do 0.3 and q have the same value?
False
Let w be (-14 - 1425/(-100))*-2*2. Let h = -11 - -15. Let k be (-4)/14 + h/(-14). Which is smaller: k or w?
w
Let d = 38 + -38.19. Let r = -0.74 - d. Let h = -0.75 - r. Are -0.04 and h equal?
False
Let z = 359165 - 359165. Let h be 2/(-798)*(2 - 0). Which is bigger: h or z?
z
Let n = 30 - -9. Let k = n - 68. Let f be ((-12)/(-10))/(5/(25/k)). Which is greater: 1 or f?
1
Let q(u) = -277*u**3 + 282*u**3 + 9*u - 2*u + 5 + 2*u**2 - u. Let t be q(-3). Which is bigger: -131 or t?
t
Suppose 3*q - 7 = -2*a + 4*q, a + 14 = -3*q. Let z be (378/111)/3 + 12/(-12). Let k = z - 334/555. Which is smaller: a or k?
k
Let w be 6/28 - (-6276)/(-32949). Let l(p) = p**2 - p + 2. Let j be l(0). Let m be (2/(-4))/(j/(-4)). Which is smaller: w or m?
w
Let o = -18 + 15. Let t(r) = r**2 - 27*r + 12. Let p be t(26). Let z be 39/(-26)*((-50)/p + -1). Which is greater: z or o?
o
Let y(o) be the first derivative of o**4/4 - 10*o**3/3 - 6*o**2 + 11*o + 65. Let v be y(11). Do -2/33 and v have the same value?
False
Let j(a) = -2*a - 12. Let r be j(-4). Let i be (-8)/(6 + r) + 22. Let d be (i/27 + (-62)/12)/(-3). Is -2/17 smaller than d?
True
Suppose b = -2*b - 3*d + 60, 5*b = 4*d + 64. Let i = 81 + -326/5. Is b at least i?
True
Let u = -5/213 - 391/1491. Let s = -0.08 + -0.12. Let g = s + 0.2. Which is smaller: g or u?
u
Suppose 0 = z - 0*z - 3*a - 15, 3*z + 2*a = 78. Let x(p) = 250*p**2 - p + 1. Let f be x(1). Suppose -9*s + f = s. Do z and s have the same value?
False
Let o be 0 + (-20)/8*-2. Suppose -13*s - 72 = o*s. Is -6 >= s?
False
Let f = 9 - 4. Suppose f*l + 9 = -4*u, 12 = -4*u - 2*l - 2*l. Let g be (-3)/(-9) - (u + (-8)/(-2)). Which is bigger: g or 3?
3
Let g = -12/257 - 221/771. Suppose 0 = -5*k - 0*k. Suppose k = 3*d - 7*d. Which is bigger: g or d?
d
Let m = 16 - 4. Let q be (-60156)/(-24508) + (0 - 3). Which is greater: q or m?
m
Suppose -6*g + 2*g = -5*q - 7, 3*g - 4*q = 5. Let h(o) = 9*o**2. Let x be h(1). Suppose 7 = w - 5*j + 22, -w = j - x. Is w less than g?
False
Suppose -3*o = 4*o. Suppose -17*q = -12*q + 3*h + 50, o = -q + h - 2. Suppose 9 = -2*j - 5. Is q bigger than j?
False
Suppose -54 = -241*s + 232*s. Let b(y) = -13 + 11*y + y**2 - 2*y**2 + 0*y**2. Let o be b(s). Is o < 17?
False
Let i(c) = -c**3 + 3*c**2 + 2*c - 6. Let s be i(4). Let x = 15 + s. Let f = 3514/9 - 390. Is f greater than x?
False
Let j(k) = 39*k + 143. Let t be ((-16)/(-24))/((-6)/36). Let i be j(t). Is 23 >= i?
True
Let r = -16/9 - -31/9. Suppose -2*g - 3 = 7, -3*p = 9*g + 39. Is p not equal to r?
True
Suppose 4*u = 68 + 168. Suppose 38*o = -5*o - 3010. Let w = u + o. Is -12 at least w?
False
Let m(o) = -19*o + 110. Let t be m(6). Let i be (-62271)/(-155400) - (0 - t/10). Is i bigger than -1?
True
Let j(o) = o**3 - 6*o**2 + 8*o - 12. Let s be j(5). Suppose t - s = 2, 2*t + 44 = 3*a. Suppose -5*u + 4*i + 258 = 0, i + a = u - 33. Is 53 at least u?
False
Let q be (-6)/(-15) + (23/5 - -1). Suppose -5*h = -10*h + 10. Suppose -12 = -h*n + 5*r, -5*n + 7 = 2*r - 3*r. Which is greater: q or n?
q
Let n(h) = 3*h - 4. Let a be n(13). Suppose -4*z + a = -573. Is z at most -2/5?
False
Let x(z) = -z**3 + 61*z**2 - 72*z + 703. Let y be x(60). Which is smaller: -11 or y?
y
Suppose -4*g = 2*u + 8280, 5*g + 3*u + 7210 = -3138. Let r be 5/((-10395)/g) + -1. Which is smaller: r or 1?
r
Let b be 3 + 5/((-425)/270). Let s = 18 + -14. Suppose 0 = -5*y + s*l - 3, -3 = -3*y + l - 2. Is y < b?
False
Let p be (75/12)/(12 - (-273)/(-24)). Let o = 0.16 + 2.84. Let f = o + -3. Is f at least p?
False
Let j(h) = -22*h + 30. Let b be j(2). Let g be (-10)/b - (-4 - (-26)/7). Is 57 greater than or equal to g?
True
Suppose 175 + 121 = 2*r - 4*n, -5*r - 5*n = -755. Suppose -5*f - 52 - 10 = t, -3*f + r = -3*t. Let b = 46 + t. Is b bigger than -27/5?
False
Let w = -5245.835 + 5275. Let k = 0.165 - w. Which is smaller: k or 1?
k
Let j be (23 - (-407)/(-22))*(-1 + (-461)/(-9)). Do 909/4 and j have different values?
True
Let j = -697.771 + 698. Let v = 1.229 - j. Which is smaller: -0.2 or v?
-0.2
Let q be ((-240)/150)/((-2)/(-20)). Let n = 20 + q. Suppose 0 = -5*k + 2*b - 99 - 74, -n*k + 2*b = 138. Are -36 and k equal?
False
Suppose -3*v - 17 = 2*q, 17*v + 3*q + 20 = 18*v. Which is greater: v or -2/55641?
-2/55641
Let z be (213/72 + -3)/(935/765). Which is smaller: -14 or z?
-14
Let q = -51617/44 - -1173. Let n = 1/44 + q. Let z be 0/(1/(-2)*-8). Is z less than n?
False
Suppose -2*w + 2*h = -10, 5*w - 19 = 3*w + 5*h. Let d be (-304)/28 + 2 + (6 - w). Let i = d + 5. Which is bigger: i or 0?
i
Suppose 2*o - 115 = 7*o. Let v(j) = -17*j + 120. Let y be v(6). Suppose y*z = 2*z - 416. Is o not equal to z?
True
Let h be (2 - 3)/1 + 15. Suppose 15*n - 13 = h*n. Let l = -22 + 36. Are n and l equal?
False
Let o(b) = b**3 + 100*b**2 + 259*b + 2845. Let p be o(-96). Which is bigger: p or 14846?
14846
Let l(x) = 5*x**2 + 19*x - 91. Let r(g) = 12*g**2 + 38*g - 182. Let m(w) = 7*l(w) - 3*r(w). Let k be m(10). Is k != 0.33?
True
Let v(d) = 11*d**2 + 8*d - 15. Let n be v(3). Let r be (22 + -7)/(66/n). Is r equal to 24?
False
Let p = 33087/19 + -1741. Suppose 3*i + 51*t - 52*t = -1, i = 5*t + 9. Is i > p?
False
Suppose -5*v + l = -13, -l = v + 4*l - 13. Let u be -4*(-7)/(-42)*18/(