
i
Let a = 641/844 - 2/211. Let l be (-1 - -2 - 3)*3. Let v be l/(-4) + 2/(-4). Which is greater: a or v?
v
Let z be (-30)/(-54)*(-4)/10. Let j = 1 + -2. Which is smaller: z or j?
j
Suppose s - 2 = -4*u, -8 - 3 = -s + 5*u. Let g be (-1)/(9/s)*3. Which is smaller: g or -1?
g
Let m be 3/(74/18 + 4/(-1)). Is 29 at most as big as m?
False
Let y be (-2 - -4)/(4 + 6/9). Are -1 and y nonequal?
True
Let j(y) = -y**3 - 2*y**2 + y - 1. Let c be j(-2). Let s = 4 + c. Is 5/4 at least as big as s?
True
Let o = -7/15 + 4/5. Let s = -3.2 + 0.2. Let g = 4 + s. Which is smaller: g or o?
o
Let g = 0.02 - 0.01. Let r = -0.0479 + 3.0579. Let m = r - g. Which is smaller: m or -1/3?
-1/3
Let a(f) = -f**2 + 3*f - 3. Let r be a(3). Let h(i) = -i**2 + 0*i**2 + 0*i**2 + 9*i - 13*i. Let t be h(r). Which is smaller: 4 or t?
t
Let f = -2.2 + 2. Let l = f - 0.8. Which is bigger: l or -0.02?
-0.02
Suppose g = 5*g - 8. Let t be g/16*(-8 - -9). Suppose 0*s - 5*z = -5*s + 5, -4 = 2*z. Is s > t?
False
Let p = 3.2 + -4. Let j = p - -0.9. Which is smaller: j or -1/6?
-1/6
Let l(k) = -k**3 + k**2 - k. Let v be l(0). Let n(c) = -2*c + 1. Let d be n(1). Let u = d - v. Which is greater: 1/3 or u?
1/3
Let n(t) = 12*t**2 + 1. Let c be n(1). Is 13 smaller than c?
False
Let k = -17377 - -10863. Let d be (-4)/(-22) + k/(-110). Let y = -59 + d. Is 0 not equal to y?
True
Let y = 151 + -295/2. Which is bigger: y or 4?
4
Let d be (3/2)/((-3)/4). Let f = 9 - 5. Suppose -2 + f = -2*l. Is d less than or equal to l?
True
Let k be (-3 - -18 - -1) + -3. Let t = k - 8. Is 5 less than or equal to t?
True
Let c(w) = 2*w - 8. Let m be c(6). Let z be 2/(-4) + (-2)/m. Let a be 3/z*4/(-30). Which is greater: a or 0?
a
Let c(v) = 7*v**2 - 2*v + 1. Let x be c(1). Let u be 5/((-255)/x) - 0. Which is greater: 1 or u?
1
Let u = 15 - 15. Suppose 0 = -0*r - r. Let t = r + 1. Is t >= u?
True
Suppose 0*i - i = 4*t + 3, 0 = -4*i - 4*t. Let c = 1 + 9. Suppose 0 = -7*d + 2*d + c. Is d smaller than i?
False
Let z = 93 + 32. Let q be ((-2)/z)/(1/(-5)). Which is bigger: q or 0?
q
Suppose -2*w - w = 4*n + 68, -64 = 2*w - 2*n. Let s be (-1)/(w/(-2 - 0)). Which is smaller: s or 0?
s
Let s be (-12)/(-16)*(-2)/(-3). Let h = -0.01 + -0.29. Let p = -1.3 - h. Which is bigger: s or p?
s
Let z = -13.9 - -2.9. Let t = 11 + z. Is 0.08 greater than t?
True
Let b = 1537/9 - 171. Let w(q) = 1 - 4 - q - 5. Let k be w(-7). Which is smaller: k or b?
k
Let g(y) = 2*y**2 - 4*y + 19. Let a be g(7). Is 88 less than or equal to a?
True
Let m = -3 - -4. Let j = -3 + m. Which is smaller: j or -1/2?
j
Suppose 9*b - 4*b = 125. Let q be ((-4)/10 - 0)*b. Let f = -7 - q. Which is smaller: 2 or f?
2
Let c be 2/(-5) - 56/10. Let b(a) = -a - 6. Let i be b(c). Which is bigger: i or -1?
i
Suppose 5*g + 6 = 2*o, -4*g - 3*o + 5 = -4. Let m(w) = w**2 - 4*w + 5. Let u be m(4). Suppose u*h + 3 + 2 = g. Are -0.2 and h nonequal?
True
Let g = 18 + -13. Suppose g*t + 9 = -y - 8, -2*y = t + 7. Let f = t - -2. Which is bigger: 1/4 or f?
1/4
Let r(s) = s**2 - 15*s - 1. Let i be r(14). Is i less than -14?
True
Let j = 31/40 + -3/8. Let k = 4 + -1. Does j = k?
False
Let y = -1 - -1.5. Let u = 0.8 - y. Let t = u + -0.2. Does t = 0.1?
True
Let z(b) = 6*b**2 - b + 1. Let u be z(1). Are 4 and u unequal?
True
Suppose -5*b + 1 = -34. Is b at most as big as 8?
True
Let s = 2 + -3. Let r = -1.2 - s. Let b = -4 - -3. Is b bigger than r?
False
Let r be ((-24)/28)/(1/(-7)). Let x be r/8*(-2)/(-6). Which is greater: 1 or x?
1
Suppose 0*k + 10 = 5*k. Let m = 26 - 23. Does k = m?
False
Let p = 14.1 + -14. Which is greater: 2 or p?
2
Suppose -3*f - u + 55 = -2*u, -37 = -f + 5*u. Are 18 and f equal?
False
Suppose 323 = -9*x - 10*x. Let t(l) = 5*l + 3. Let h be t(-4). Is x greater than or equal to h?
True
Let y be (-1)/(-2) - 18/4. Is y < -18/5?
True
Let m(r) = -r**2 + 0 + 0*r + 0 + r. Let j be m(1). Which is smaller: j or -1/4?
-1/4
Let l be ((-15)/(-4))/(18/(-12)). Which is smaller: -3 or l?
-3
Suppose w + 3 = 2*g, -3*g - 5*w - 4 = 11. Which is greater: g or 2/9?
2/9
Suppose 1 - 1 = y. Which is smaller: y or 2/51?
y
Let j = -12 - -11. Which is greater: -1/9 or j?
-1/9
Let g(u) = 3*u**2 - u + 1. Let x be g(1). Suppose -n - x*n = -4. Let k be 5 + 2/(-1) + -4. Which is bigger: k or n?
n
Let r be (-10)/(-20) - 3/10. Is r equal to -1/2?
False
Let t = 15 - 15. Which is smaller: 1 or t?
t
Let m be (-8)/30*(-10)/(-30). Which is bigger: 0 or m?
0
Suppose -168 = -3*k - 72. Is 32 at most as big as k?
True
Let b = 2/681 + 902/2043. Which is smaller: b or -1?
-1
Let y = 4 + -4.2. Let t = y + 0.3. Let b = -0.2 + t. Is -2 equal to b?
False
Suppose 0*q + 2*q + 44 = 0. Let h = q - -21. Let p be ((-1)/(-4))/(6/(-8)). Are p and h unequal?
True
Let q be (-33)/(-9) + 0 + -4. Which is smaller: 4 or q?
q
Let h be ((-30)/143 - (-16)/(-104))/46. Which is bigger: 0 or h?
0
Suppose -i = 4*i. Which is greater: i or -3?
i
Let q = 1362/17 + -80. Let l be -1*(-1 - -10)/(-3). Suppose -d + t = 0, -2*t - l = -1. Which is bigger: q or d?
q
Suppose 3*s - 20 = 4. Suppose 4*w = 2*w + s. Suppose 2*j - 16 = -4*m, -m - 16 = -2*j + w*m. Which is greater: j or 7?
j
Let g be -10 + 9 - (-68)/42. Let n = 404/7 + -58. Let c = g + n. Is 0 >= c?
False
Let w(q) = 3*q - 11. Let r be w(3). Which is smaller: 2 or r?
r
Suppose -2*m - 5*h - 4 = 0, 3*h = 2*m - 1 - 11. Suppose y - 2*y = m. Let t = 67 + -70. Do y and t have the same value?
True
Let v = -355/1218 + 1/174. Suppose 5*t - 3*p + 12 = 2*t, 8 = 4*p. Let r be 2 + 2/t + -1. Is r > v?
True
Suppose -5*s = -9*s + 32. Suppose -2*t - s = -a, 5*t + 0*a + 2*a = -29. Is -5 <= t?
True
Suppose 6 = -2*q + 8. Let s(n) = 41*n**2 - 2*n - 1. Let m be s(-1). Let f be (3 - 1) + (-96)/m. Is q less than f?
False
Let c be 8*(-1)/(2/5). Let r be (-56)/c + 3/15. Which is smaller: 0 or r?
0
Let d = 9 + -8.9. Let o = -0.3 - d. Which is greater: 2/3 or o?
2/3
Let p be (-7)/21 - (-103)/3. Let i = p + -51. Let s = i - -31/2. Is -1 greater than or equal to s?
True
Let m be ((-2)/6)/(3/(-27)). Suppose -m*b = -2*b - 1. Let s = b - 2/3. Is s < 0.1?
False
Let n = -89167/5264 - -116191687/7501200. Let s = n + 1/525. Let x = -1/19 + s. Are -1 and x equal?
False
Let j = 267 + -266.9. Let s be ((-1)/(-2))/((-1)/8). Is j >= s?
True
Let k(x) = x**2 - 5*x + 6. Let l be k(-5). Let h = l + -160/3. Is h equal to 2?
False
Suppose 5*h = 3*a - 7, -4*a = 2*h - 21 + 55. Let s be (-12)/4*(-4)/a. Does s = -3/4?
False
Let g = -29 - -19. Which is bigger: g or 0.1?
0.1
Let u = -69/44 - -3/44. Let h(x) = -x**3 + 8*x**2 + 2*x - 11. Let z be h(8). Let g = 4 - z. Is u > g?
False
Suppose 7*l = 4*l + 9. Suppose -l*o - o = -8. Suppose 2*p + o*p = 0. Which is smaller: 1/3 or p?
p
Let s = -448 + 448. Let d be ((-1)/4)/(27/(-12)). Which is greater: d or s?
d
Suppose -f - 3 = -3*l - 2*f, -2*l + f + 2 = 0. Suppose 0 = -v - 3*c + 11, -2*v + 4*c - 5 = 3. Which is greater: v or l?
v
Let p = -40/221 - 3/13. Which is smaller: p or 0?
p
Suppose 2*a - o + 3 = 0, 5*a + 5*o - 12 = 18. Which is smaller: a or 28/13?
a
Let f(w) = 2*w + 3. Let c be f(-6). Does c = -1?
False
Let u = -0.4 + 0.45. Let d = u + 0.35. Let n = 0.3 - d. Is 0 at least n?
True
Let h(k) be the first derivative of -k**4/4 - 8*k**3/3 + 4*k**2 - 7*k + 3. Let r be h(-9). Suppose 4*w = r*m, -w = -3*w - 5*m. Is w < 2/7?
True
Suppose 3*b = 11 + 10. Suppose 2*m - 7*m = -35. Are b and m nonequal?
False
Let j be (44/165)/((-4)/(-6)). Is j <= 7?
True
Suppose h - 9 = 2*h. Let w(b) = b + 8. Let k be w(h). Does k = -2/7?
False
Let z be 2/(-11) - (-7)/99. Is 0 <= z?
False
Let n = -267 + 382. Let p = -8122 - -24017/3. Let k = n + p. Are -1 and k equal?
False
Let z = -8 + 8.3. Let h = -12 + 13. Is z at most as big as h?
True
Let z = -2.246 + 2.19. Are z and -0.2 unequal?
True
Let n = 1 - -3. Let c be (n - 7)/((-13)/2). Which is smaller: c or 0?
0
Let n = -6/11 + -4/33. Let q = -4/3 - n. Suppose 7 = -4*j + 3. Is j not equal to q?
True
Let p be (-2)/(-3)*-1*(-3 - -6). Suppose -w + 2 = -2*w. Let o be 2 + (w - 8/(-14)). Are o and p nonequal?
True
Let d(g) = 6*g**2 - 19*g + 13. Let h(m) = -3*m**2 + 9*m - 6. Let c(j) = -6*d(j) - 13*h(j). Let o be c(3). Let v be 3/(-5) + o/5. Is v >= 2?
True
Let f = -109.22 + 109. Is -2/9 > f?
False
Let s = 0.1 + -0.3. Let i = -0.3 + 0.29. Let l = i + 2.01. Is l less th