*3 + 5*g**2 - 6*g + 6. Let y be d(3). Suppose -6*l + y = -3*l. Is -1 at least as big as l?
False
Let a = 321 - 278. Are a and 44 unequal?
True
Let k = -382481/83 + 1647220669/357481. Let l = k + 28/73. Is l greater than or equal to -0.1?
True
Let v = -955 - -1885/2. Let j(i) = -i**3 - 12*i**2 + 14*i. Let z be j(-13). Which is smaller: z or v?
z
Suppose 6 = -3*j - j + 2*p, -p = 3*j - 3. Let o = 14203 - 70454/5. Let v = 111 - o. Which is greater: v or j?
j
Let p(a) = 2*a + 4. Let c be p(-3). Let r be 228/(-50) - (-97 - -93). Is r at least c?
True
Let y = -2936/17 + 173. Let w = 7 - 8. Is w less than or equal to y?
True
Let f be ((-3)/4)/((-10)/720). Is f equal to 2?
False
Let y(i) = i**3 - 5*i**2 - 4*i - 9. Let w be y(6). Does w = 3?
True
Suppose 4*o + 5*o = 11*o. Let t be o*(-1 + (4 - 4)). Let i = 3/22 + 29/110. Which is greater: i or t?
i
Let q(m) = -m**2 + 7*m - 3. Let k be q(6). Let d(w) = 5*w + 0*w + k*w - 38 - 5*w. Let r be d(16). Which is bigger: r or 2/3?
r
Let r = 3.84 - 3.2. Let l = -3.56 + r. Let x = l + 2.9. Is -2/5 equal to x?
False
Suppose 278*l - 261*l + 85 = 0. Let k(o) = 3*o - 1. Let t be k(-2). Which is greater: l or t?
l
Let q(o) = 19*o - 8*o**2 - 19*o. Let f be q(-1). Which is smaller: -9 or f?
-9
Let z = -0.0804 - -0.0564. Is z less than or equal to 0?
True
Let m = -261 + 248. Which is smaller: -3 or m?
m
Let o(v) = -v**2 + 114*v - 434. Let w be o(4). Let t = -4 - -6. Which is smaller: w or t?
t
Suppose -80 = 3*n - 4*n. Let y = 410 + -331. Is y <= n?
True
Let q = 0 + 1. Let g = -34 + 106. Let f = 73 - g. Is q bigger than f?
False
Let d be (-1853*3 - 4)*4/14. Let g = d + 1580. Which is smaller: -10 or g?
-10
Let s(t) = -t**3 + 6*t**2 - 2*t - 1. Let x be s(4). Let d = -67 - -81. Suppose 3*h - 3*n = d + 40, 0 = -5*h - 2*n + 118. Which is greater: h or x?
x
Suppose 256 = -4*l + 4*u, -41*l + 37*l - 5*u = 211. Which is greater: -58 or l?
-58
Let y = 2.53 - 2.5. Let c = y + 0.11. Let i = -17.14 + c. Which is bigger: i or -0.1?
-0.1
Let n = -1065 + 1064.7. Is -16 at most n?
True
Let m be ((-324)/(-1))/(7/(-2)*-2). Is 45 at most as big as m?
True
Let b(u) = -u**3 - 15*u**2 - 15*u - 20. Let n be b(-14). Let y be 16/n*126/(-56). Let l be y/10 - 3/5. Which is smaller: l or 3/5?
l
Suppose -9*v + 14*v = -35. Suppose 4*w + 0*w = -12. Let f = v - w. Are -4 and f equal?
True
Suppose 1154*a = 1159*a - 5. Suppose 2*f - 68 = 6. Is f equal to a?
False
Let u = -374983/57 - -6579. Which is bigger: u or -1?
u
Let x be 72/(-14) + 1/7. Let g be (-6)/(-36) + (50/(-12))/x. Which is smaller: 3 or g?
g
Let k = -864 - -864. Is 4/51 at most as big as k?
False
Let r be (3/(-4))/((-2)/(-28)). Let b = 13 + 8. Let o(s) = s**3 - 21*s**2 - 2*s + 31. Let x be o(b). Which is bigger: x or r?
r
Let b be (-11)/55 + -2 + 682/10. Let k = b - 592/9. Let o be (-36)/30 - 2/(-10). Is k != o?
True
Let w be (-26)/5 + 32/(-40). Let o be (27/18)/(w/(-8)). Which is smaller: o or -28?
-28
Let u = -697/2 - -349. Is u bigger than -7?
True
Let c = -191 + 613. Is 419 at least as big as c?
False
Let k = 363 + -373. Let d(h) = -h**2 + 4*h + 1. Let q be d(3). Suppose 0 = r - 3*s + 20, r - 9 + 32 = q*s. Is k greater than r?
True
Let i = -1.11 + 0.11. Let o = -14 + 13.8. Which is greater: o or i?
o
Let f(b) = -2*b**3 + 12*b**2 + 17*b - 3. Let z be f(7). Suppose 20*l = z*l + 2. Suppose 0 = -4*n + 3*k + 27, 0 = -7*k + 2*k - 25. Is l < n?
True
Suppose -3*s + 4*w - 24 = 0, 0 = -0*s - s + 3*w - 8. Let l be (-15)/(-2) - (-1)/2. Let x = -15 + l. Which is bigger: x or s?
x
Let c be 100548/146608 + (0 - 3/4). Are 1 and c equal?
False
Let h(i) = -i**3 + 3*i**2 - 2*i + 2. Let s be h(2). Suppose -4*y - 10 = -s*y. Let d be y/(-3) + (-3)/(-9). Is 5/3 bigger than d?
False
Suppose -8*k - 4*o - 3 = -3*k, k + o + 1 = 0. Let h be 110/90 + (-4)/18. Let c = -9/8 + h. Which is bigger: c or k?
k
Suppose -13*z = -7*z - 12. Which is greater: z or 17/12?
z
Let k = 44.6 - 6.6. Let v = 39 - k. Is v > -15?
True
Let y(c) = c**3 - 5*c**2 + 2. Let j be y(5). Let t be ((-1)/j)/(4/8). Let f = 20308/21 + -967. Which is greater: t or f?
f
Let r = 1.75 - 0.15. Which is bigger: r or 3?
3
Let o be (-10)/65 - (4/26)/(-1). Suppose 7*u - 6*u = 1. Is o < u?
True
Let v be (-21)/(-14) + ((-18)/(-4) - 4). Which is bigger: v or -0.411?
v
Let i = 31 + 31. Let n = i - 48.6. Let j = n + -13. Are j and -5 equal?
False
Let n be 0 - (-1)/(-2)*0. Let z(q) = -9*q - 107. Let w be z(-12). Let v = w - n. Is -2/51 < v?
True
Let o(c) = c**3 + 79*c**2 + 154*c + 71. Let u be o(-77). Suppose 290 = 4*m + 2*s, m + 0*s - 83 = -4*s. Is m at most as big as u?
True
Let p(o) = -o**3 - o**2 - o - 1. Let c be p(0). Which is greater: c or 2/255?
2/255
Suppose q = -q + 208. Let y = q + -1663/16. Let k be (-4)/6*(1173/(-34))/(-23). Which is bigger: k or y?
y
Let j be (-1601)/(-2)*(-9 - -7). Which is smaller: -1599 or j?
j
Let b(t) = t**2 + 9*t - 22. Let v be b(-10). Let f be ((-48)/30)/((-4)/10). Suppose -4*u - f*z = 32, 3*u + 40 = -0*u + z. Is u greater than or equal to v?
True
Let a = -52 + 154/3. Let w = -180 - -178.93. Let t = 1.1 + w. Is t at least a?
True
Suppose 0 = -8*r - 4 - 4. Let z be ((r/6)/((-7)/21))/1. Which is bigger: z or 2?
2
Suppose 70 = 5*u + 4*o + 13, -3*u - 2*o + 33 = 0. Which is bigger: u or -1?
u
Let l(b) = b**2 - 1. Let v be l(-2). Let t(r) = r**2 - r. Let g be t(1). Suppose 5*k + 5*j + 5 = 0, -2*k + 3*j + 11 + 7 = g. Are v and k nonequal?
False
Suppose -3*x = 5*c + 788, -2*x - 500 = -30*c + 27*c. Which is greater: -254 or x?
-254
Suppose 0 = 3*t + 5*m - 9808, 3*t - 12413 = -m - 2589. Let q be (-1)/4 + (13447/t)/17. Is -0.1 not equal to q?
True
Let p be (-1515)/(-115) - 5 - 8. Is -1 at least as big as p?
False
Suppose 6*s + 13 = 7. Let x be (48/(-32))/(s/(-2)). Let p be ((-1)/(-3))/(1/1). Is p smaller than x?
False
Suppose 220*r = 203*r. Which is smaller: r or -6/299?
-6/299
Let g be 1 - -12 - 38544/(-165). Is 247 > g?
True
Let g(t) = -t**3 - 17*t**2 + 41*t + 70. Let l be g(-19). Let u be (7/2)/(3/12). Is l < u?
True
Suppose 45 = 5*c - 20. Let s = c - 4. Let t = s + -6. Is 3/2 >= t?
False
Let b(c) = 20*c**2 + 1. Let h be b(1). Suppose -6 = 4*j - 6*j, 3*a = -5*j + h. Suppose 0 = -a*r + 3*s + 20, r + 4*r - 4*s = 36. Is 1 bigger than r?
False
Let n(r) = r + 4. Let j be n(-3). Suppose 72 = 4*h + 2*h. Let z be ((-18)/(-40))/(h/(-8)). Is j greater than z?
True
Suppose -427 - 213 = -20*b. Are b and 34 equal?
False
Let z = 2.3 + -0.3. Let i = -396.91 + 397. Is z bigger than i?
True
Let m be 7 + -9 + (-1 - 0) + 7. Let f(o) = o. Let w be f(2). Suppose -12 = -w*z - 2*z. Which is smaller: m or z?
z
Let p(m) = -10*m - 70. Let f be p(-7). Is f greater than 26/27?
False
Let m(g) = -g**2 - 9*g - 6. Suppose -5*h + 10 = -4*w, 2*h - 4*w = 18 - 2. Let r = -4 + h. Let x be m(r). Are 12 and x nonequal?
False
Let r be 114/15 + -5 + (-12)/(-30). Do 82/21 and r have the same value?
False
Let a(p) = -10*p - 9. Let w be a(-10). Let u = w - 133. Are u and -42 nonequal?
False
Let z = -1061/52 - -81/4. Does -0.7 = z?
False
Suppose u - 6 = 3*u. Let z be 18/4 + u/(-6). Let f = -10 + z. Is f < -5?
False
Suppose 2*x + 12 = 2*q + 4, -2*q + 3 = -x. Which is bigger: q or -2/145?
-2/145
Let z(b) = b**2 + 10*b + 6. Let u be z(-9). Let v be u/2 - (-12)/10. Is 0 less than or equal to v?
False
Suppose -5*y + 4*y - 32 = 2*b, -3*b + 3*y = 39. Let t = b + 11. Let p = -21 + 14. Is t at least as big as p?
True
Let i be (-3 - (-1 - 4)) + -15. Let m = i + 21. Let b = m + -5. Do b and 3 have different values?
False
Suppose -69 = -9*d + 120. Suppose 18*t - 9 = d*t. Let h be (-2 - -2)/(2 + t). Is 0 less than h?
False
Let b = -81 + 101. Let s be (0 + b/845)/2. Do 0 and s have different values?
True
Let v = -215.13 - -216. Let p = v - -0.13. Which is bigger: -1.2 or p?
p
Let o = 371 - 375. Which is bigger: 18 or o?
18
Let o be 4/18*-1 + 3154/342. Suppose o*t + t = 10. Which is smaller: t or 6/35?
6/35
Let j(p) = -p**2 + 17*p - 22. Let m be j(16). Let f be 0 - (3 - (1 - 2)). Let x(t) = t - 2. Let n be x(f). Is m less than or equal to n?
True
Suppose -3*o - m + 16 = -5*m, 2*o - 44 = -4*m. Let d = 13 - o. Let z be (-64)/36 + 2/d. Which is smaller: z or -1?
-1
Let h be -15 - -11 - 1*10. Let s be 4/h - (-176)/77. Suppose s*v + r + 10 = 0, 5*v + 4*r + 31 = 3*r. Which is greater: v or -6?
-6
