*2 + 12*t + 4. Let h be r(-12). Suppose 2*c = 6, 3*q - h*q - 5*c + 13 = 0. Which is greater: -3 or q?
q
Let c(u) = 2*u - 4. Let z be c(4). Suppose 4*r - 4*i = -2*i - 12, -2*i = -z. Let q = r + 2. Is q bigger than 0?
False
Let y = 1.5 - 1.74. Let w = -0.04 - y. Let a = w - -0.8. Is 1 less than a?
False
Let n = 18 + -14. Suppose -y + 4*j = -8, 2*y = -2*y - n*j - 8. Is y at most -2/5?
False
Let l be (-60)/(-35)*7/2. Let h be l/25*(-5)/(-2). Which is smaller: 1 or h?
h
Suppose -2*c - 1 = -3. Suppose 5 = -4*n + 17. Let m = -4 + n. Does m = c?
False
Let w = -1/69 + -403/759. Suppose 5*f + 0 = -2*a - 17, f = 2*a - 13. Suppose -1 = -i + 4*b - 3, 8 = -a*i - 3*b. Is w not equal to i?
True
Let n(x) = -x**3 + 22*x**2 - 17*x - 30. Let q be n(21). Is 54 >= q?
True
Let i = 45655/663 + 1609/39. Let h = i - 110. Is 1 greater than h?
True
Suppose -97 - 23 = -4*s. Suppose -5*i = -10*i + s. Let j = i + -4. Which is bigger: 0 or j?
j
Let c be (-4)/2*(-10)/(-4). Let p = 37 - 29. Suppose -5*n + 15 = -p*n. Does c = n?
True
Let o be 2/5*(-320)/192. Let h be (-1)/2*(0 - -16). Let c be 2/h - 1/(-2). Do o and c have the same value?
False
Let u be (-2)/9 - (1 + -1). Let i be (-8)/(-24) + (-4)/(-6). Is i smaller than u?
False
Let a = 15.67 - -0.33. Let i = a + -17.2. Let p = i + 0.2. Is 1 not equal to p?
True
Let b = -3.5 - 0.5. Let g = -11.5 + 11.4. Which is smaller: b or g?
b
Let i = -12 + 13. Which is greater: -0.17 or i?
i
Let a be (192/9)/(10/15). Which is smaller: 34 or a?
a
Let t(h) = -h**3 + 19*h**2 - 21*h + 39. Let z be t(18). Which is smaller: z or -10?
z
Let p be 3/18 - 2/12. Which is smaller: p or -4/19?
-4/19
Suppose 4*q + 3*l = 7, 2*l = 1 + 1. Suppose 5*o - 4*a = 31, -o = -0*a - 5*a - 23. Suppose o*j = -q - 2. Which is smaller: -2 or j?
-2
Suppose q - 4*c = -0*q - 13, 4*c - 10 = 2*q. Suppose -5*k - 4*k = -36. Which is greater: q or k?
k
Let f = 113402/1529 - 816/11. Which is smaller: f or -1?
-1
Suppose -50 - 47 = -5*q + b, 28 = 2*q - 4*b. Let j be 1/(-4) + (-15)/q. Which is bigger: -3 or j?
j
Let p be (-89)/1164 + (-2)/3. Let h = -368404/291 + 1266. Let x = p - h. Are 0 and x equal?
False
Let j be -1*5/1 + -1. Is j less than -5?
True
Suppose -5 = -4*j + v, -2*j - 3*v = 2*j - 1. Let u be -3 - -3 - 4/2. Let z be (u + 2)/(1/1). Is z at most j?
True
Let r = 7 + -8.3. Let f = r + 1.1. Is f less than or equal to -0.1?
True
Let b = -0.4 - -8.4. Let s = 8.1 - b. Which is greater: s or -1?
s
Let v be 2/10*-3 - (-33)/55. Which is smaller: v or 1/211?
v
Suppose 2*j = j + 3. Suppose j*x + 8 = x. Are x and -7/2 equal?
False
Suppose -4*p = -8 - 0. Let r be (-2 - 2) + p*1. Which is smaller: r or -5?
-5
Let g = -13 + 18. Suppose -g*t = -0*t. Is t < 2/7?
True
Suppose -4*u = -0*u + 4. Let k be (0 - 0)/(u + -1). Which is bigger: 1/5 or k?
1/5
Let l = 22 + -19. Is l greater than or equal to 3/2?
True
Let y(n) = -3*n**3 + n**2 - 3*n + 1. Let q(c) = 2*c**3 + 2*c. Let m(d) = 4*q(d) + 3*y(d). Let x be m(3). Let j = 8 + -7. Is x equal to j?
False
Let q(c) = -c**3 - c**2 - c - 3. Let i be q(0). Which is bigger: -8/5 or i?
-8/5
Let z = -5 - 1. Let v = -6.3 - z. Which is greater: 0.1 or v?
0.1
Let p be 3/(-2)*(-18)/(-45). Which is smaller: 2 or p?
p
Suppose 4*p - 4 = 3*p. Let u be 0 + (-40)/(-1*p). Is u at least as big as 9?
True
Let a = -0.34 - -0.04. Let u = 0.2 + a. Let n = 5.1 + u. Which is smaller: -1 or n?
-1
Let g be (-1)/(-3)*(-24)/(-28). Let a = -19.52 - -21.5. Let m = 0.02 + a. Is m <= g?
False
Let o be (-6)/12 + 9/6 + -9. Are o and -5 non-equal?
True
Let i(y) = 7*y - 3. Let z(h) = 6*h - 4. Let b(a) = 3*i(a) - 2*z(a). Let r be b(-1). Is r < -10?
False
Let l = -58 + 39. Is -18 greater than l?
True
Let m be 10/40*0/2. Which is greater: 2/11 or m?
2/11
Let h = 6 - 4. Let n = -2 - h. Let v be (44/(-40))/1 + 6/10. Which is greater: v or n?
v
Let x = 1.912 - -0.088. Is x at most as big as -1/3?
False
Let f be 1/1 - (0 + 15). Let r = f + 9. Is -4 <= r?
False
Let a = -366/7 - -4068/77. Do a and 1 have different values?
True
Let d = 0 + -36. Let j be (1 - d/(-16))*8. Which is smaller: -8 or j?
j
Let b(s) = -s**3 + 3*s**2 + 2*s - 2. Suppose -4*r = -8 - 4. Let v be b(r). Suppose -7*i - 23 = -2*i + 4*l, 14 = -v*i - l. Is i not equal to -1?
True
Let j = 461/6 + -77. Let y(f) = -f**2 + 6*f + 6. Let a be y(7). Is j less than or equal to a?
False
Let j = 656427/175 - 3751. Which is bigger: j or -1?
j
Suppose 4*m + 5 = -m. Let s be 0/((-1)/(-2 - m)). Suppose 0 = o - s + 1. Which is smaller: 2/11 or o?
o
Suppose s + s - 18 = 0. Which is smaller: s or 6?
6
Suppose -16 = 2*m - 4*i, -2*m = m - 5*i + 20. Do 1/47 and m have different values?
True
Suppose 0 = -5*l + 101 + 349. Which is bigger: l or 89?
l
Let a(z) = -z**2 - z + 4. Let q be a(0). Let y = q + -2. Is y <= 3?
True
Suppose 0 = -5*i - 1 - 4. Let g(o) = -2*o - 2. Let s be g(-4). Let x be 0*3/s*-1. Is i greater than x?
False
Suppose 5*q + 32 = 4*l + 9, -4*l + 20 = -4*q. Suppose 0 = l*p + 4 - 6. Let y(h) = -h**3 - 4*h**2 - 3*h + 2. Let s be y(-3). Do p and s have the same value?
False
Suppose -4 + 9 = 5*i. Let d be (-2)/2 + -1 - i. Let k = d - -2. Which is smaller: -4/9 or k?
k
Let u = 4.06 + -4. Let q = 0.04 + u. Is q > 0?
True
Let i = 6.3 - 6. Let h be (-3)/(-9) - 8/(-3). Suppose -h*g - 2*g = 0. Is g smaller than i?
True
Let u = -225 + 157. Which is smaller: u or -67?
u
Let x(q) = q**2 - 2*q + 1. Let i be x(3). Which is greater: i or 3?
i
Suppose 5*q - 50 = 5*o, -2*q + 6*q = o + 28. Let p = q + -3. Let g = 10 - 6. Which is smaller: g or p?
p
Suppose -5*x - 2*c = 3064, 4*x - 3*x + 599 = -5*c. Let f = 5516/9 + x. Which is bigger: 0 or f?
0
Let k = -0.079 - 0.021. Let j = 4.7 - -0.6. Let b = j - 5. Which is greater: b or k?
b
Suppose -p - 8 = -5*p. Suppose 4*s = 6*s - 6. Which is smaller: s or p?
p
Suppose 0*n - 5*n = -130. Let g be 80/3 + 4/(-6). Do g and n have the same value?
True
Let t(a) = -2*a + 12. Let n be t(10). Suppose r = h + 2, -5*r - 4*h = -h + 22. Let b be ((-18)/24)/(r/n). Is -3 equal to b?
True
Let t = -2.2 - -2.1. Does t = 1.8?
False
Suppose -h = -0*h + 3. Let j = 0.13 - -1.07. Let o = j - 1.2. Is o != h?
True
Let m = -11 - 3. Is -1/3 less than m?
False
Suppose m + f = -2, -5*m + m + 2 = 2*f. Let c be (-3)/((m/(-1))/1). Which is bigger: 3 or c?
3
Let y = 0 - -4. Suppose c - 10 = -y*c. Is 3 at least c?
True
Let x be 16/(-209) - (-20)/110. Suppose -4*n + 2*l = -4, -3 = -3*n + 3*l - 0*l. Is n != x?
True
Suppose r - 6 = -3. Which is greater: r or -2?
r
Suppose -31 + 143 = 4*q. Let m be (-2)/3 + q/(-12). Let f be m/(-6)*1/(-4). Is 0 not equal to f?
True
Let j = -1 - -2. Is 1 bigger than j?
False
Suppose 5*q - 21 = -2*k + 5*k, k + 14 = 4*q. Suppose -3*j - 4*r - q = 0, j + 1 = r - 0*r. Let n = 598/5 - 120. Which is smaller: n or j?
j
Let a(x) = -x**2 - 3*x - 1. Let c be a(-1). Let o be 3/3 - c/1. Is 1/5 smaller than o?
False
Let v = -485 - -2426/5. Suppose 2*z - 6*z = 0. Is v at most z?
False
Suppose 5*y - p + 1 = 0, 0*p + 6 = -2*y - p. Let b be (5 - 3)/y + 0. Which is smaller: b or -1?
b
Let l(f) = -4*f**2 + 3*f + 7. Let t(k) = -9*k**2 + 6*k + 15. Let m(v) = 7*l(v) - 3*t(v). Let c be m(4). Let g = -1820/9 + 202. Which is smaller: g or c?
g
Let m = -3 + 0. Let l be (-10)/(2*3/m). Is l less than 6?
True
Let x = -4 + 6. Let u be (-8)/10*(-5)/x. Suppose 16 = 3*b + 4*a, 3*b - u*a - 10 = -0*a. Which is greater: -2 or b?
b
Let p be (1439/4)/((-7)/7). Let m = p + 301. Let u = m - -59. Which is greater: u or 0.3?
0.3
Let s = 56 - 60. Let a(y) = -y**3 - 8*y**2 + 10*y + 3. Let c be a(-9). Which is bigger: c or s?
s
Let o be 0/(-1)*(-3 - -4). Suppose j + 3*j - 4 = o. Let l be (j/6)/(3/6). Which is smaller: l or 0?
0
Let h be (-346)/(-85) - (-2 - (1 - 7)). Which is bigger: h or 1?
1
Let r = -1.1 + 2. Let i be (-13 - -12)*(-2)/6. Which is bigger: r or i?
r
Let m = 185 - 1299/7. Let z = 5 - 6. Do z and m have different values?
True
Let q be ((-2)/14)/(12/(-7)). Let j be (3 + -4)/((-3)/(-21)). Let y = j + 6. Does y = q?
False
Suppose 6*i - 15 = i. Suppose -4*u = -i*u. Suppose u = -a + 3*a - 2. Is a != -1/2?
True
Let x be (40 - 40)*(-1)/5. Let o = 436/4503 - -2/237. Which is bigger: x or o?
o
Let t be (0 - 24)*(-2)/(-4). Let r be (-2 - -4)/((-8)/t). Let s = 1 - 2. Which is greater: s or r?
r
Suppose 0 = 2*x + 3*n - 1 + 10, -3*x - 5*n - 12 = 0. 