an or equal to s?
False
Let n be (-5)/12 - (-3)/(-24)*2. Which is bigger: n or -19?
n
Let l(p) = -p + 12. Let n be l(12). Let q be (9/6)/((-1)/2). Let g be 8/6*q/(-10). Is n greater than or equal to g?
False
Suppose h - 3*h + 2 = 0. Is h > 2/29?
True
Let i = -12 - -17. Let l = i - 3. Suppose 3*a = -3*k - 9, a + 11 = -3*k - l*k. Is -1 less than or equal to a?
True
Suppose 0*g = 5*g. Suppose -3*d = -g*d + 3. Let z be -3*(-1)/4 - (-1121)/(-1292). Are z and d unequal?
True
Let p be 1 + 3*(-5)/30. Is -0.06 less than p?
True
Let i = -3.1 + 3. Let c be (-395)/3*(-8)/28. Let r = c + -112/3. Which is smaller: i or r?
i
Let i(l) = -10 + l**2 + 10 + 3*l. Let j be i(-2). Let x = -1 + 0. Which is smaller: j or x?
j
Let p be 585/20*1*4. Let h be 91/p*(-2)/7. Which is smaller: 1 or h?
h
Let p be -2*2/8*(-7 + 7). Let n = -4827/214 + 6/107. Let v = n + 22. Which is bigger: p or v?
p
Let y = -23 + 47/2. Which is bigger: y or -0.02?
y
Let g be ((-2)/(-60)*-3)/(2/(-4)). Is 1 bigger than g?
True
Suppose -3 = -r + 5. Let w be r/36 + 23/(-63). Which is bigger: w or -2?
w
Let g(j) = 2 - 3*j + 2 + 6*j - 13. Let w be g(5). Which is bigger: 0 or w?
w
Let o = -1.3 - -1.5. Does o = 9?
False
Let t(q) = -q + 7. Let r be t(7). Suppose -5*a = -r*a + 5. Is a > 1/3?
False
Suppose 2*j = -2*i - 0*j - 8, 0 = 4*i - 4*j + 8. Suppose -51*g = -55*g + 56. Let m be (i/g)/(24/32). Is m not equal to -1?
True
Let f(c) = c**2 - 8*c - 1. Let p be f(8). Suppose -4*w = 9 - 1. Let x = w - p. Is -1 at most as big as x?
True
Suppose f = 3*s + 2*s + 7, -5 = -4*f - 3*s. Let v be 0/(2*1/f). Which is greater: -4/9 or v?
v
Let f = -1 + 8. Let p = -4 + f. Which is greater: p or 0.1?
p
Let z = -0.07 - 0.93. Let x = -21 + 14. Let a = x - -6. Is a smaller than z?
False
Let b = 5 + -4.88. Let j = 6.12 - b. Which is greater: j or 0?
j
Suppose -v = -2*u + 2, 3*v = 4*u + 7*v - 28. Let p be (101/33 - u)*-3. Is p not equal to -2/3?
True
Let i(h) = -h - 10. Let r be i(-7). Let x be r*((-12)/(-9) - 2). Is x at least 3?
False
Let z = -90.74 - -91. Which is smaller: -2 or z?
-2
Suppose 3*q + 6 = -3. Let f = q - -3. Let t = 133 + -2129/16. Which is bigger: t or f?
f
Suppose -10 = 2*v - 3*v. Suppose 4*b = 5*m + 6, -v = -3*m + 2*b - 3*b. Is m equal to -1?
False
Suppose -4*g = -5*y - 7, 0 - 8 = -2*y - 2*g. Let v = 3 - y. Do 2 and v have the same value?
True
Suppose -b - 9 = v, -2*b + v - 5*v - 12 = 0. Is -12 smaller than b?
False
Suppose 6*i = i - 25, 4*f = 3*i + 23. Suppose -q + 9 + 0 = f*b, 3*b = -3*q + 18. Is q greater than 5?
False
Let g be (1/(-2))/(3/(-24)). Let a = 2 - g. Let o = -38 - -37. Which is greater: a or o?
o
Let o = 1.62 - 1.5. Let r = o + -0.22. Is r bigger than 0?
False
Let r be -4*(2 - 2 - 1). Suppose 0 = -0*n - r*n + 12. Let o(h) = -h + 4. Let m be o(n). Do m and 1 have different values?
False
Suppose -3*j + 14 + 10 = 0. Let t be (15/4)/(1/4). Let k = j - t. Do -8 and k have the same value?
False
Suppose 4*h = -h. Which is bigger: -3/14 or h?
h
Let d = -57/8 - -1271/184. Is d greater than -1?
True
Let a be ((-2072)/(-70))/((-1)/(-5)). Let t be 1553*3*(-2)/63. Let q = t + a. Which is smaller: 0.1 or q?
q
Let m(d) = d**3 + 6*d**2 + 8*d - 6. Let p be m(-4). Which is bigger: -29/5 or p?
-29/5
Suppose 6*t + 9 = 9*t. Let g be t - 5 - (-64)/30. Suppose x = -x - 2. Which is smaller: x or g?
x
Let r(m) = m**2 - 5*m - 5. Let t be r(6). Which is smaller: 0 or t?
0
Suppose 2*s - n + 13 = 0, -s + 2*n - 11 = -0*n. Let l be (4/12)/(2/24). Let h be 18/(-5) - l/10. Are h and s equal?
False
Let l = -51 + 116/3. Let m = -35/3 - l. Which is smaller: 1 or m?
m
Let c = -20 + 11. Let h be c/6*(-8)/(-22). Let a(j) = -j + 1. Let n be a(1). Is h at most as big as n?
True
Suppose -3*z - 7 = 2. Which is bigger: -2 or z?
-2
Suppose d - 1 = -0*d. Suppose d = 4*j - 27. Is 2 at most as big as j?
True
Let w(g) = g. Let u(o) = -7. Let l(s) = u(s) + w(s). Let i be l(4). Let c be 6/(-20)*4/i. Which is smaller: 1 or c?
c
Let a(d) = -37*d + 7. Let o be a(-1). Is 43 less than or equal to o?
True
Suppose -c + 2 = -3*c. Let x = 11981/23 + -521. Is c at most as big as x?
True
Let q(g) = -g**3 - g**2 + 1. Let o be q(0). Which is smaller: -4/15 or o?
-4/15
Let x be (-39)/189 - 4/18. Which is greater: x or 1?
1
Let d be 1/(3/54 - 3/6). Do -3 and d have different values?
True
Let f(y) = 4*y - 45. Let i be f(13). Which is bigger: 10 or i?
10
Let d = 83 + -83. Let w = -74/3 + 25. Is d at most w?
True
Suppose -5*l + 10*l = 0. Let c = -13 + 12. Which is bigger: c or l?
l
Suppose y = -2*y + 72. Suppose 9 - y = -5*t. Which is smaller: t or 4?
t
Let p be -15 - (-3 + 3 - 0). Let m = 12 + p. Which is smaller: m or 1?
m
Suppose -2*f - 3*m - 10 = 0, -5*m - 3 = 2*f + 15. Let z be (-3)/3*f + -3. Suppose -3*y = -8*y - 20. Is z != y?
False
Suppose -5*n - 5*y - 25 = -0*y, -3*n = -2*y + 10. Let j be 3/(-2) + (-18)/(-4). Let c be j*(-1 - (-3)/9). Which is smaller: n or c?
n
Let h = 3 - 1.1. Let s = h - 2. Which is greater: s or -1?
s
Suppose 7*x - 14*x - 441 = 0. Are x and -63 non-equal?
False
Let i be (40/(-12))/(4/(-6)). Suppose 2*a = i*l + 5, -4*l - 28 = 5*a + 9. Let z(c) = -c**3 - 4*c**2 - 3*c. Let m be z(l). Which is greater: m or 3?
3
Let o = 15 - 12. Suppose o*q = 8*q - m + 8, 3*m + 2 = 2*q. Let s be ((-1)/3)/((-2)/(-16)). Is q smaller than s?
False
Let h(g) = -g**2 - 22*g - 20. Let w be h(-21). Which is smaller: -1/69 or w?
-1/69
Let n = 181 - 121. Let x = 298/5 - n. Which is smaller: 0 or x?
x
Let g(s) = s**2 + 7*s + 7. Let t(a) = 4*a + 2. Let b be t(-2). Let i be g(b). Let y be (-24)/13 + 2/i. Is y less than or equal to 1?
True
Let p be (-1)/2 - 59*(-5)/(-10). Is p > -32?
True
Suppose -3*k = -0 - 3. Suppose -2*p - 2*v + 2 + 12 = 0, 0 = 3*p + 5*v - 25. Let s = -2 + p. Which is bigger: k or s?
s
Let b(o) = -o**3 + 5*o**2 + 5*o + 6. Let h be b(6). Is h greater than -1/15?
True
Let w be (-2)/8 - (-11)/(-4). Let q = w - -4. Which is bigger: q or -3?
q
Let k = 5015/681384 - -1/7656. Is -1 less than k?
True
Let h = 445/99 - 47/9. Let n = h + 89/77. Is 0 <= n?
True
Suppose 0 = d + 5 + 1. Let a = -7 - d. Do 0 and a have different values?
True
Let p = 23 + -3. Suppose 5*i = i + p. Suppose -r = 4 - i. Which is greater: r or 2/17?
r
Let y = 1.2 - 1. Let u = 7 - 6. Do u and y have the same value?
False
Suppose 5*o - 3 = 5*u + 2, -o + 4*u = -7. Which is greater: o or -1/2?
-1/2
Let t(f) be the second derivative of -f**4/12 + 4*f**3/3 - 5*f**2/2 + 2*f. Let p be t(7). Let m = p + -3. Is m at most as big as 1?
True
Suppose 2*j = 6*j + 5*p + 32, -12 = 3*p. Which is bigger: -1 or j?
-1
Let i = -4 + 2. Let o(t) = t**2 - 4*t. Let u be o(5). Suppose -3*p - 7*k + 2*k = u, -2*p = 5*k + 5. Is i smaller than p?
True
Suppose 4*j = -23 - 1. Let s = 0 + -5. Is s greater than or equal to j?
True
Suppose -5*i = -2*i - 15. Suppose 0*d - 16 = 5*d + k, -5*k = -i*d - 40. Is -2 bigger than d?
True
Suppose 0 = -3*h - 3*u + 6, u + 4*u - 10 = 0. Let m be h + 4 + -4*1. Suppose -3 = -3*y + 6. Which is bigger: y or m?
y
Suppose 0 = -2*y + 6*y - 4. Let q = y + 6. Let o = q + -10. Which is smaller: -2 or o?
o
Let q = 0.13 - -19.87. Which is smaller: -1 or q?
-1
Let g be 1/2 + (-27)/(-6). Suppose -4*l - 4 = 0, 5*a = 2*l + 12 + 20. Is a greater than or equal to g?
True
Suppose -2*p - 12 = 20. Which is smaller: -18 or p?
-18
Suppose 5*y - 4*b + 2 = 16, 5*b + 5 = 0. Suppose -5*i - k + 1 = 0, -y*i - 4*k = -3*k + 2. Which is smaller: 2 or i?
i
Let j = 22007/476 + -185/4. Let l = j - 111/476. Let v = -23.2 - -23. Which is smaller: v or l?
l
Let a = 75 + -76. Are -16 and a nonequal?
True
Suppose 35 = 5*k - 3*h, -5*k = 3*h - 1 - 4. Let q = -2 + k. Suppose q*i - 4 = -5*j - 22, 2*i = 5*j + 22. Do 0 and i have different values?
True
Let i(k) = k**2 - 5*k - 2. Let p be i(7). Suppose r + p = -r. Does r = -6?
True
Let d = 6 - 8. Which is greater: 2/29 or d?
2/29
Let d = 56 + -87. Which is smaller: 3 or d?
d
Let x = -17 + 16. Let y be ((-1)/(-1 - -8))/1. Which is smaller: x or y?
x
Suppose 2 = -3*r + 4*u - 3, 0 = -4*r + 4*u - 4. Which is smaller: 5 or r?
r
Let c = 387/2 - 200. Let x = c - -7. Is x smaller than 1?
True
Let p = 0.4 - 0.8. Let a = -5.4 - p. Let s = 4 - 3. Which is bigger: a or s?
s
Let c be 6/(-8) + 54/8. Suppose -1 + c = -5*d. Is -1 at most as big as d?
True
Let o be 2 + (2 + -1)*2. Let r b