g - 4 + 1 + 6*g**2 - 3. Let v be q(5). Let z(w) = -w**3 - 3*w**2 - 6. Let h be z(-3). Is v at least as big as h?
False
Suppose 83*k - 85*k + 2 = 0. Which is smaller: k or 6/19?
6/19
Let d be 1/(32/(-8) + (-51)/(-13)). Let m = 6 + -4. Suppose -h - m*h - 42 = 0. Is h bigger than d?
False
Let m = 737 - 737.2. Let a = 8.46 - -0.74. Let o = m + a. Is o greater than 0?
True
Let n(i) = i**3 - 9*i**2 + 8*i. Let u be n(8). Are u and -2/177 nonequal?
True
Let m = -2.6 + -1.4. Let b = m - -4.2. Let d = 0.8 + b. Which is smaller: 4 or d?
d
Let d be 3/(-4) - (-149795)/340. Let s = -440 + d. Which is greater: 0 or s?
0
Let j = -592 - -880. Let p = -3170/11 + j. Does p = 1?
False
Let o = -282 - -254. Which is smaller: o or 6?
o
Suppose 16*h - 20*h + 56 = 0. Which is bigger: h or 15?
15
Let q be (11 + -3 - 2) + -5. Is q not equal to -14?
True
Let g be -5*1/40*0. Let c be 0*((-6)/4 + 2). Is g equal to c?
True
Let w = -56 - -166. Let n be 2792/w - 10/55. Is 26 at least as big as n?
True
Let t = 3812 + -255390/67. Is t < 0?
False
Let x = 0.052 + -31.052. Let y = x + 16. Let c = -8 - y. Which is bigger: 0.1 or c?
c
Suppose -p + 76 = -5*w - 0*p, 0 = -5*w + 2*p - 77. Let r = 14 + w. Is r greater than -3/14?
False
Suppose -4*u + 116 = -4*b, -3*b + 2*b - 3*u = 37. Is b smaller than -30?
True
Let j = 753 - 1987/3. Which is smaller: 91 or j?
j
Let h = 38 - 228. Let q = h + 183. Let a = 5 - 11. Which is bigger: q or a?
a
Suppose r + 5 = 3*f + 51, 0 = 2*f + 4*r + 40. Suppose 8*a + 85 = 3*a. Let d be ((-2)/1)/((-2)/a). Which is smaller: f or d?
d
Suppose -4*n + 99 = -193. Suppose 15 = -5*p, 2*m + 3*m = -4*p + n. Let j = m + -9. Are j and 8 unequal?
False
Let y = -213.9 + 214. Is y smaller than 263/3?
True
Let g = -169/90 + 16/9. Which is bigger: g or 2/5?
2/5
Let j(f) = 1. Let t(b) = -b**3 - 7*b**2 - 7*b. Let z(k) = -2*j(k) - t(k). Let d be z(-4). Is 18 not equal to d?
False
Suppose 0 = l - 3, -l - 109 = -5*c - 4*l. Let v be 1 - (c/132 - 2/(-11)). Which is smaller: 1 or v?
v
Let j(f) = -f - 27. Let w be j(-16). Let z be ((-11)/4)/((-5)/(-20)). Is w <= z?
True
Let q(o) = o**3 - 6*o**2 - 7*o + 1. Let c be q(7). Let u = c - 2. Let h be (0 + u)/((-3)/6). Which is smaller: 4/7 or h?
4/7
Let u be ((-2)/(-3))/(3/36). Suppose -3*f = -4*l - 14, 0 = 2*f + 5*l + u - 2. Let n be (-6)/(-3)*3/f. Which is greater: n or 16/5?
16/5
Let a(m) = m**2 + m - 18. Let d be a(0). Let p be 1*(89/(-12) + (-3)/d). Do p and -7 have the same value?
False
Let f = 1 - 2. Suppose 0 = -s - s + 16. Let n be (-98)/(-60) - s/6. Is n smaller than f?
False
Let y = -671 + 671. Let w(m) = 0*m**2 - m**2 + 2*m**2 + 14. Let k be w(y). Is 14 > k?
False
Suppose -41 = 3*r - 11. Let t(v) = -v + 13. Let a be t(9). Suppose 3*k = -5*i - 53, 4*i - 28 = a*k - 0*i. Which is smaller: k or r?
k
Let t = 346 + -346.02. Is 0.02 less than t?
False
Let w = 6 + -11. Let q = -28 + 70. Let f = -44 + q. Is f greater than or equal to w?
True
Let g be (-9)/(-27) + (-1)/(60/(-28)). Is -1/4 smaller than g?
True
Let y = -109 - -319. Let l be (2 - 0)*25/y. Let j = -3/7 - l. Which is greater: j or 10?
10
Let s be 20/(-4300)*(-15)/(-9). Are s and -1 non-equal?
True
Let f(g) = 10*g - 10*g + 2*g**2 - 3*g**2 + 1. Let m be f(-1). Suppose n + 5*n - 36 = m. Which is smaller: n or 0.1?
0.1
Let y(c) = -32*c - 166. Let f be y(-13). Which is smaller: 497/2 or f?
497/2
Suppose 15*v + 1059 = 564. Suppose 4*k = -0*k - 144. Is k greater than or equal to v?
False
Let f be (22/(-33))/((-4)/126). Suppose 4*i - i = -f. Are i and -8 unequal?
True
Let q = 31 - 5. Suppose -46 = -2*u - 5*b, -5*u + 59 = 5*b - q. Let p be (3 + -5)/2 - u. Are p and -12 nonequal?
True
Suppose 2049*j - 2043*j + 126 = 0. Let h be 64/(-3) - 1/(-3). Is h <= j?
True
Let i = 243 - 243. Which is smaller: i or 2/19?
i
Let u(y) = -6*y + 7. Let q be u(-3). Suppose 4*l + 11 = -9, -2*z = -5*l - q. Let t = 1034/9 + -343/3. Which is smaller: z or t?
z
Let g be 12 + 0 + -4 - 3. Suppose g*l - 4 = 4*l + 2*q, -5*l + 2*q + 4 = 0. Which is bigger: -0.11 or l?
l
Let i = -487 - -490. Is -24/5 <= i?
True
Let o(s) = s**3 - 5*s**2 + 2*s - 2. Let p be o(5). Let u be 2/p + 250/(-40). Which is smaller: -2 or u?
u
Let f = 2 - 2. Let i = 5.05 + -1.05. Is f >= i?
False
Let n be (-148)/(-102) - 8/6. Is n at least 0.13?
False
Suppose 0 = 5*z + 5*t - 365, -t + 19 = -5*z + 360. Let g = z + -70. Does g = -7/10?
False
Let c be 4/32 + -1 + -7. Which is smaller: c or -8?
-8
Let p be (3 + 291/(-45))*(-6)/(-4). Which is smaller: p or -6?
-6
Suppose n = -2*f - 2, 7 = -0*n - 2*n - 5*f. Suppose 3*v = -n*k + 14, -7*v = -k - 3*v - 6. Is -1 equal to k?
False
Let n be (-25)/(-200) + 7/8. Is n <= -32/65?
False
Let h(c) = 17*c + 38*c**2 - 17*c**2 - 20*c**2 + 6. Let m be h(-7). Do m and -63 have different values?
True
Let w = 2/295 - -12974/885. Let a = 15 - w. Suppose -2*v + 3 = -5*v. Which is greater: v or a?
a
Let s = -33 - -12. Let x = s + 11. Let v = x - -6. Which is greater: v or -2/5?
-2/5
Let k = -906 + 905.8. Which is bigger: k or -150/11?
k
Let x = -90.296 - -90. Let v = 0.034 - x. Let r = 0.33 - v. Which is bigger: r or 2/3?
2/3
Suppose 50*i - 25*i = -75. Let s = 1/123 - 1357/492. Is i bigger than s?
False
Let s = 228 + -227.9. Which is bigger: s or 79/3?
79/3
Let o be ((-2)/(-9))/((-12)/(-108)). Suppose 0 = -2*n - 3*b + 21, -4*n + 0*n - 3 = -3*b. Let c(r) = r - 2. Let u be c(n). Is o at least as big as u?
True
Let r = -334 - -186. Which is bigger: -149 or r?
r
Suppose -2*k + 29 + 65 = 0. Suppose u = 4*b + 55, 2*u = -5*b - 119 + k. Suppose y - 53 = 4*z + 4*y, -5*z - 74 = -4*y. Is b != z?
False
Suppose -3*y - 9 = -5*q - 3, 5*y + 10 = q. Let n = -61/44 - -7/11. Which is bigger: q or n?
q
Suppose -188 = 4*l + 2*w - 3*w, -3*l - 141 = -4*w. Let v = l - -140/3. Which is greater: v or 0?
0
Let l = -3 + 6. Let k be (-3)/(3 + -4 + 0). Suppose 0 - l = h + k*w, 3*w + 3 = -3*h. Do -12 and h have the same value?
False
Let j(d) = d**2 - 14*d + 78. Let u be j(9). Are 31 and u non-equal?
True
Let g(q) = -q**3 - 5*q**2 - 3*q + 5. Suppose -17 - 3 = 5*o. Let p be g(o). Let m = -133/3 + 44. Which is smaller: p or m?
m
Let t(x) = -x**2 + 8*x - 18. Let s be t(3). Which is bigger: -36/23 or s?
-36/23
Suppose 218 - 58 = 5*l + 2*z, -l + z + 39 = 0. Which is bigger: 164/5 or l?
l
Let v(b) = b**3 - 14*b**2 + b - 12. Let y be v(14). Suppose -4 = -6*a + y*a. Which is smaller: 6/5 or a?
a
Suppose 991 = 23*c - 1447. Does c = 108?
False
Suppose 0 = -4*k + 3*k - 4, -5*h = 5*k - 10. Suppose d - 2 = -4*t, t - 5*d - 17 = -h. Is t > -10?
True
Suppose -29*o - 11 = 1265. Which is bigger: -50 or o?
o
Let h = 17.542 - -0.458. Is h <= -6?
False
Suppose -10*l - 5 = -15. Is -3/28 equal to l?
False
Let l be (1 - (-127)/(-4))*(-71)/426. Which is greater: l or 6?
6
Let h = -2630989/614 + 4285. Is h at least -1?
True
Let i = 530 - 537.5. Which is smaller: -9 or i?
-9
Let s be 3*(0 - -1) + 0. Let o be (1/s)/((-1)/9). Let g = o - -9. Which is smaller: 3 or g?
3
Suppose -5*y = -2 - 3. Let o be 0/(((-2)/y)/(-1)). Suppose o = -n - 2*q + 1 + 4, -12 = -2*n - 5*q. Do n and -1/14 have different values?
True
Let y be 2*(57/(-6) + 3). Let q = y + 18. Suppose 4*z - 3*m = 11, 2*z - q*z = 5*m + 28. Which is bigger: -1/3 or z?
-1/3
Suppose 21 = -5*y + 16. Suppose 9 = -2*l - l. Are l and y nonequal?
True
Let a(m) = -m**3 - 15*m**2 - 15*m + 29. Let t be a(-12). Which is bigger: -224 or t?
t
Let t be (19 + (-2 - -2))*-7. Is -134 greater than or equal to t?
False
Let i = -3 - -9. Let g be (-1 - (-8)/i)*45. Suppose -b - g = -4*b. Is b >= 4?
True
Let b be (0 + 12/4 - 3)/(-3). Is b at most 243?
True
Let y be (38/(-8))/(1/(-4)). Suppose 0 = 3*h + 4 - y. Suppose -h*i + 19 = 4*k, 2*i + 3 - 9 = 0. Which is greater: 10/7 or k?
10/7
Let k be 19 + (-3 - 10) + -86. Is -69 less than k?
False
Let t be 7 - (21270/(-80))/3. Is t > 95?
True
Suppose 8*k = 7*k - 6. Let m(r) = -r**2 - 9*r - 21. Let t be m(k). Let p = 2 - 2. Which is smaller: t or p?
t
Let v = -30029/484 - 25/121. Let p = -62 - v. Suppose -3*s = -5*s. Which is smaller: s or p?
s
Let l(k) = -k**2 + 3*k - 2. Let u be l(2). Let q be u - 44 - (-10)/25. Let o = q - -44. Is o less than 1?
True
Let h = -64 + 82.9. Let a = -7 + 26. Let m = a - h. Are 1 and m equal?
False
Let c be (2/(-56)*7)/(1/(-4)). Is -4/61 at most c?
True
Let n = 58 + -111. I