*p, -4*i = -5*p - 6 + 27. Let o = i + 9. Which is bigger: o or 2/15?
2/15
Suppose 40 = 7*v - 3*v. Let z be -13*((-2)/v)/1. Which is smaller: 2 or z?
2
Let a be 1/(-1) - (-1 - -1). Let r = -22 - -39. Suppose -4*l + r = -i, 18 = 2*i - 4*i + 4*l. Is a greater than i?
False
Let s be 9/15 + 49/(-40). Which is bigger: s or 0?
0
Let a = -73 - -74. Which is greater: a or 1/111?
a
Let f = 4 + -6. Let t(w) = 3*w**2 + w. Let o be t(-1). Let z be (20/(-15))/(o/6). Which is smaller: f or z?
z
Let q = 1.56 - -0.44. Let c = -2 - -2.6. Which is smaller: q or c?
c
Let c = -1.1 + 1. Let m = -14 - -19. Which is smaller: m or c?
c
Let g be 2 - (2 - -1) - -2. Let f(x) = x - 2. Let q be f(g). Are 2 and q non-equal?
True
Let o = 25 - 37. Which is smaller: -11 or o?
o
Suppose -25 = 10*b + 45. Which is smaller: b or -6?
b
Suppose 3*d = d + 30. Let b be (-3)/2*(-8)/d. Let n be 0/((2 - 3) + 0). Which is smaller: b or n?
n
Let m(g) = -2*g**2 + 2*g - 10. Let u be m(5). Is u <= -51?
False
Suppose -2*j - 9 = 5*q, -5*j - 2*q = 3*q + 15. Let i be 6/j - 28/(-8). Let x(d) = -d - 4. Let t be x(-4). Which is bigger: i or t?
i
Let z(h) = -3*h + 4*h - 2 - 2*h + 8. Let o be z(9). Is o smaller than -4?
False
Let w(m) = m + 8. Let l be -8 - ((-1)/1 + -1). Let u be w(l). Let a be (((-4)/3)/(-4))/(28/336). Which is greater: u or a?
a
Let x = -0.2 - -0.2. Suppose 0 = -2*k - 0*k - 22. Let c = 43/4 + k. Which is smaller: x or c?
c
Let p(w) = w**2 + 30*w + 1. Let v be p(-30). Is 2/137 smaller than v?
True
Let d be 144/357 + 4/(-14). Let x be 0*(4/(-3) - -1). Suppose x = t - 2*t - 1. Which is smaller: d or t?
t
Let x = -1911/4 - -478. Let v = 6 - 0. Let u be ((-4)/(-21))/(v/9). Which is bigger: x or u?
u
Suppose 2*y - 6 + 26 = -l, -70 = 5*l - 5*y. Let r be l/(-60) + 4/(-30). Is r > 0?
True
Let l be (1*-5)/((-1)/(-3)). Let g be 5/l - 4/1. Let x = 3 + g. Which is bigger: 0 or x?
0
Let z be (-78)/18*(2 - 1). Which is smaller: z or -5?
-5
Suppose -47 = 4*j - 7. Let q be (-4)/j + (-117)/105. Is q greater than or equal to 0?
False
Let q be (10/(-4))/(1/2). Let y = -5 - q. Let p be 1 - ((-9)/(-4) + -1). Which is greater: y or p?
y
Let g be (-1)/7 + 0/(-5). Let c = 3 + -2. Which is bigger: c or g?
c
Suppose 4 = i - 0*i. Suppose 3*r + 4 = -2*f, -r + 3*r + i = 0. Which is smaller: f or 9/4?
f
Let l = 0.364 + -1.364. Let w be -1 - ((-55)/12)/1. Let z = w - 13/4. Which is bigger: z or l?
z
Let a be 1/(0 - (2 + -1)). Let x be 32/308 - (-4)/(-14). Is x at least as big as a?
True
Let j be ((-8)/(-10))/(8/20). Suppose -4*h = -j*r - 38, 3*r - 49 = -4*h - 16. Which is bigger: h or -2/7?
h
Suppose 360 = 4*m + 120. Which is greater: 59 or m?
m
Let n be (-3)/((-320)/108 + 3). Which is smaller: n or -82?
-82
Suppose -x + 53 - 3 = 0. Suppose 0*c + x = 5*c. Let o(d) = d - 8. Let r be o(c). Is 2 < r?
False
Suppose -5*r = 3*u - 10*r - 35, -2*u = -r - 28. Which is smaller: -4 or u?
-4
Let q = 5 - 3. Let h be -4*3*1/(-68). Let x = h - 61/153. Which is smaller: x or q?
x
Let x(g) = -g**2 + 9*g - 7. Let h be x(8). Let t be h - (0 + 1)*1. Which is smaller: t or -1/6?
-1/6
Let a be (123/(-48) - -2)/3. Let d be (-3)/((6 - 3)*-1). Which is bigger: a or d?
d
Suppose -3*v = 2*v + 5. Let i(y) = -4*y**3 + y. Let t(d) = -d**3. Let p(u) = -i(u) + 5*t(u). Let o be p(v). Is 2 greater than or equal to o?
True
Let f = -2 + 2.1. Let u = 30 + -30. Is f not equal to u?
True
Suppose y + 2*y = 0. Which is smaller: y or -6/13?
-6/13
Let b be ((-2)/8)/(130/(-80)). Let h = 2 - 1.8. Is b > h?
False
Let r(t) = t**3 - 4*t**2 + 3*t - 3. Let g be r(3). Is g equal to -1?
False
Let p = 0.2 - 0.6. Let s = p + 0.37. Let t = s + -0.07. Is 2 >= t?
True
Let l be (-10)/(-4)*1/10. Let a be (-6*(-1)/2)/(-1). Let z = a + 4. Is l at most z?
True
Let y(n) = -7*n - 5. Let d be y(-3). Let w be (-2)/8 - (-12)/d. Is -2/59 at least w?
False
Let m be 4 + 1 - 1*-3. Let t be 2 + -3 - m/(-2). Suppose -3*y + 3 + 0 = 0, z - 8 = -4*y. Which is greater: t or z?
z
Suppose -r = -3*q - 4*r - 3, -2*q = r. Which is smaller: q or -2/31?
-2/31
Suppose 0 = 5*j + 3*h + 13, -h + 5*h + 4 = 0. Let l be (1/(-3))/((-5)/(-1077)). Let c = 71 + l. Is c smaller than j?
False
Suppose 3*u + 2 = 2*c, -4*u + 0*c - c - 21 = 0. Let b = -14 + -10. Let d be (6/u)/((-18)/b). Is -3/2 equal to d?
False
Let p(r) = -r - 4. Let h be p(-6). Let w(x) = -x + 8. Let m be w(5). Is m less than or equal to h?
False
Let n(h) = -h**3 - h**2 + 5. Let m be n(0). Suppose -3 + 0 = -s. Do s and m have different values?
True
Let t = 66 + -200/3. Which is smaller: 29 or t?
t
Let b(z) = z**2 + 7*z + 3. Suppose -2*a + 4*h = -6, 3 = -2*a + 2*h - 1. Let p be b(a). Which is greater: p or 1?
p
Let h = 7 + -7.6. Let r = 0.5 + h. Let o = -163 - -1143/7. Is o at most r?
False
Let q be 18/14 + (-4)/14. Let s = 2 - 2. Which is greater: s or q?
q
Suppose -2 = -0*u - u. Let q = 2876 - 5861/2. Let g = 56 + q. Which is smaller: u or g?
g
Let b = -33 - -31. Is b != -9/5?
True
Suppose -10 = -4*d - d. Suppose b - 3*n + 19 = 0, 0*b - 5*n = d*b + 27. Let m be 1*2/b*2. Is m < 1?
True
Let w be (5 - 4)/(-1 - -2). Let h be w/(-3) + 117/27. Is h <= 2?
False
Let x be (-4)/(0 - 2) - -3. Suppose -4*d + 38 = 14. Are d and x equal?
False
Let h = -27 - -25.96. Let d = h + 0.04. Let o be 1/4*2 - 1. Which is smaller: o or d?
d
Let z = -69674 + 907415/13. Let n = z + -127. Is n at least as big as -1?
True
Let v = 164 - 170.1. Which is bigger: -0.2 or v?
-0.2
Let u(z) = z**2 - 3*z - 11. Let r be u(6). Let l be (-3 + -1)/(2/(-4)). Which is bigger: l or r?
l
Suppose -27 = -x - 32. Is x >= -5?
True
Let w = 4 - 3.91. Let g = 1.09 - w. Is g at least 0?
True
Let p = -109 + 543/5. Suppose q = 4*v + 797, -3*v - 2*q - 584 = -0*v. Let n = -993/5 - v. Which is greater: p or n?
p
Let a(k) = 0*k + 5 + 1 + 3*k. Let s be a(-4). Are -6 and s non-equal?
False
Let l = 3.05 - 3. Let b = 0.1 - l. Let q = b + -3.05. Which is bigger: q or -2/5?
-2/5
Let g = -17 + 36. Suppose 4*w - 12 = f, -3*w = 3*f + g + 2. Are -8 and f non-equal?
False
Let m = 43.896 - -0.104. Does 0 = m?
False
Let l(p) = -7 - 2*p + p - 1. Let n be l(-5). Let a be ((-10)/3 + 2)*3. Which is smaller: n or a?
a
Let b be (-527)/910 + (-24)/(-42). Which is smaller: b or 0?
b
Suppose 2*d + 22 = 3*z - 56, -z + 22 = -2*d. Which is greater: 27 or z?
z
Let f be (-25)/66 + 2/12 + 0. Which is smaller: f or 0?
f
Let p be (-4)/14 - 16/(-7). Let y(n) = n + 7. Suppose -23 = 2*q + 5*z, z - 3*z = -5*q - 14. Let s be y(q). Which is greater: p or s?
s
Let l(r) = -r - 4. Let z be l(0). Let g be (3/(-4))/((-1)/z). Let n = 8/3 + g. Is n >= -1?
True
Let x = -6889/15 - -459. Let q = -44/15 + x. Which is smaller: -3 or q?
q
Let n be -97 - ((-8)/2 - -1). Which is greater: -93 or n?
-93
Let g = -48 + 30. Let k = 16.1 + g. Let w = -2 - k. Which is bigger: w or -1/2?
w
Let k = 0 + 0. Suppose 3*i + 0 = -3, v - 9 = 4*i. Let g be v/(-3)*(-12)/(-15). Do k and g have the same value?
False
Suppose 0 = -0*z + 3*z + 54. Which is smaller: z or 1/2?
z
Let y be (-6)/(-2*(-3)/(-4)). Suppose w + 0*w - 2 = t, -4*t + 3*w = y. Suppose 10 = 4*s - 2*i, -i + 8 = 2*s + i. Which is smaller: t or s?
t
Let a = 207 - 1031/5. Suppose -n = -4*o + 18, -2*n + 5 = 3*n - o. Which is greater: n or a?
n
Suppose 2*k - k - 4 = 0. Suppose 0 = 4*p - 5*f + k + 13, -p = -2*f + 8. Suppose -4*n = -2 - p. Which is smaller: 2 or n?
n
Let r = 15/133 - 2171/16891. Is 0 > r?
True
Suppose 8 + 7 = 3*l. Suppose -7*g = -l*g - 4. Suppose 4*w + u + 1 + 1 = 0, -12 = 2*w - 5*u. Which is greater: g or w?
g
Let b be (25/(-4))/(13/(-52)). Suppose 5*y + 0*y = b. Is y at least 4?
True
Let m be (-4)/(-6)*(-3 - 0). Which is smaller: 22 or m?
m
Let p = 3 + -2. Let m be (-336)/15 - 8/(-20). Let w = m + 67/3. Which is smaller: p or w?
w
Let o = -3 - -9. Let v be (o/(-15))/((-14)/(-10)). Which is bigger: 0 or v?
0
Suppose -i - 1 = 0, 3*f + 0*i = 5*i - 34. Let p = 30 - 49. Let l = p - f. Is -6 at most l?
True
Let r be 96/47 + 2 + -4. Which is smaller: r or 0?
0
Let k = 139/120 - 6/5. Which is bigger: k or -1?
k
Let k be (-8)/((-12)/(-3))*-1. Let y be 4 - k - (-56)/(-26). Which is bigger: y or 0.1?
0.1
Let w be (-2)/6 - (-56)/6. Suppose 0*i = -5*r + i + w, -4*i + 4 = 0. Let c(s) = -s**2 - 11*s - 9. Let y be c(-10). Which is greater: r or y?
r
Let g be (-32)/(-10)*160/(-3). Suppose 0 = -u + 2 + 16