+ -1 + 2/(-5). Is p less than r?
True
Suppose 2*d - 120 = 4*b, -2*d + 0*b - 4*b + 104 = 0. Is d > 55?
True
Let t = 0 + -5. Let v = t - -7. Is 0 > v?
False
Let f = 2 - 5. Let g = 5 + f. Let x = 0.01 + 0.09. Is g < x?
False
Let j be 3/(9/12*2). Suppose -c + v = -1, -c - 3 + j = v. Let q(o) = -o**2 - 4*o + 10. Let u be q(-6). Is c > u?
True
Let h = 1.94 + 0.06. Let g = -5 + 7. Let f = h - g. Is f at least -2?
True
Suppose -g - 2*w - 13 = 0, 2*g + 2*w = 3*g + 5. Let y(x) = -x**2 - 10*x - 9. Let n be y(g). Which is bigger: -2/5 or n?
n
Let g be (-2)/(-6)*(0 - 2). Is -0.3 less than or equal to g?
False
Suppose 2*p = p - 2. Suppose n + 9 - 3 = -2*z, 5*z + 15 = 0. Are p and n unequal?
True
Let q(w) = -3*w - 20. Let r be q(-9). Which is smaller: 6 or r?
6
Let g = -921/10 + 92. Let q = -7 + 8. Is g greater than or equal to q?
False
Let o = -1 - -1. Let u = 4 + -5.96. Let h = u + -0.04. Are o and h equal?
False
Let p = 44/35 + -1051/140. Which is bigger: p or -7?
p
Let i(d) = -d**3 + d**2 - d - 5. Let b be i(0). Let r be (-9 - -2) + (-10)/b. Let k = r - -3. Are k and -2 nonequal?
False
Suppose -3*x + 18 = -3*f + 2*x, -2*f - 2*x + 4 = 0. Let l be 742/12 + 6/(-3). Let g = 60 - l. Is f at most as big as g?
True
Let c = -22 + 23. Is -1 >= c?
False
Let t = -23 - -32. Is 9 > t?
False
Let k(l) = -l**2 - 10*l - 11. Let s be k(-9). Are s and -2 equal?
True
Let u(j) = -8*j**2 - 3*j - 3. Let l be u(-1). Let y be 3/(1 + 2) + -8. Are l and y non-equal?
True
Let i be (-1)/(-5 + 3 + 1). Suppose -o + i = 2. Are o and -1 unequal?
False
Let a(m) = -m - 9. Let x be a(-9). Are -1 and x equal?
False
Let b be (-10)/(-25) + 116/10. Let f = 6 - b. Let h be (-58)/(-168) + f/24. Which is bigger: 0 or h?
h
Let w be (27/(-6))/((-6)/152). Suppose 3*s = 5*s - w. Let p = 229/4 - s. Is p less than 1?
True
Let n be (0 - 1)*(4 + -3). Let m be 663/(-5) + (n - -1). Let t = 133 + m. Which is bigger: -1 or t?
t
Let a(f) = -f - 4. Let d be a(-6). Suppose -2*g - d*g = 0. Suppose -5*n + 0*n + 5 = g. Are n and 1 equal?
True
Let s = -14 - -7. Is 0 >= s?
True
Let x = -4.95 + -0.05. Let u = x - -5.1. Is -2/3 less than or equal to u?
True
Let k(b) = -b**2 - 2*b + 0*b**2 - 4 + 2 - b. Let w be k(-3). Let v be -2 + (-1 - 10/(-4)). Which is bigger: v or w?
v
Let q(l) = l - 4. Suppose 2*v = 2*h + h - 28, 2*v = -3*h + 20. Let o be q(h). Which is smaller: o or 3?
3
Let v = 13.9 + -14. Is -16 at least as big as v?
False
Let y = -22 - -22. Let h = -2/25 - 13/25. Which is bigger: h or y?
y
Let g = 143 - 413/3. Let p = 5 - g. Is p at most as big as 2/3?
True
Let o = 8 - 11. Let b = -18 - -11. Let t = b + 4. Are o and t non-equal?
False
Suppose -4*c = 3*j - 123, -2*c = -3*j + 194 - 53. Which is smaller: 47 or j?
j
Suppose m = 5*x + 149 + 365, 0 = -5*x - 5*m - 490. Let d be 1*(-3 + x/(-33)). Let q(f) = f**3 - 3*f**2 + f - 4. Let y be q(3). Which is smaller: d or y?
y
Let d = 0.981 + 0.019. Which is greater: d or 41?
41
Let q be ((-1)/1)/((-3)/(-21)). Let b = -7 - q. Is b < -2/5?
False
Let n = 154 - 159.04. Let s = -0.24 - -0.2. Let m = s - n. Is m != 0?
True
Let k(n) = n**3 + 8*n**2 + 5*n - 10. Let f be k(-7). Which is smaller: 3 or f?
3
Let d = 26 - 9. Let h = -17.9 + d. Let c = 0.1 - h. Which is smaller: 2/3 or c?
2/3
Let x be (0 - 1)*2/(-2). Is 3/4 smaller than x?
True
Suppose -4*y - 3*a + 101 = 25, -3*y + 4*a + 82 = 0. Let c be 1/3 + y/(-33). Which is smaller: c or -1/15?
c
Let l = 16 - 15. Let c be 1 + l*(8 + -2). Which is smaller: 9 or c?
c
Suppose -q - 5*f - 8 = -5*q, 2*q - 5*f = 4. Let k be (2/3)/(q/(-3)). Is k at least -4/7?
False
Let b = 0 - -2. Let q = 0.1 + -5.1. Let m = 5 + q. Are b and m equal?
False
Suppose 2*l - 8 = 2*f, 0 = -l + 4*l. Suppose -2*z + 4*i + 1 = 11, 0 = -3*z - 4*i - 15. Do f and z have the same value?
False
Suppose -3*n = -15, -2*n + 0*n = 5*d + 15. Which is smaller: d or -4?
d
Let u(v) = -2*v - 3. Let s be u(-3). Suppose 0 = w - 2*w - s. Is -2 smaller than w?
False
Suppose -t = -5*t - 12. Let a = -4 - t. Let n be 3/(-18) + 2/4. Are n and a unequal?
True
Let r(x) = -62*x**2 - x - 1. Let s be r(-1). Is -62 bigger than s?
False
Let t be (-2 + 3)/(-2)*27. Let m = t + 10. Is m greater than -3?
False
Let c = 129 + -182. Which is smaller: c or -51?
c
Let a(x) = 2*x**2 + 3*x + 3. Let r(t) = t**3 + 5*t**2 + 6*t + 5. Let l be r(-4). Let b be a(l). Let s be b/15*10/(-4). Which is smaller: s or 0.1?
s
Suppose 0 = j + j. Let q be (2 + j - 1) + 0. Let x = 1 - 3. Which is bigger: x or q?
q
Let d = 23.99 + -13.05. Let x = -0.06 - d. Which is greater: 0 or x?
0
Let i = 1 + 61. Let q = 312/5 - i. Is 1 less than q?
False
Let m = 107/44 - 24/11. Let x be (-8)/10*5/(-2). Let n be (-1)/2*1*x. Do m and n have different values?
True
Suppose -7*l + 3*l = -16. Let m be (l/30)/((-3)/(-9)). Which is smaller: m or 1?
m
Let w be -2*(-3)/(-12) + 1. Let y = -1.6 - -2. Let z = y - 0.4. Which is smaller: z or w?
z
Suppose -3*o + 3*z + 15 = 0, -2*z - 19 = -5*o - 3*z. Suppose 4 - 8 = -o*h. Is h >= -2/17?
True
Let r(a) = 5*a - 19. Let g be r(4). Which is smaller: 1/14 or g?
1/14
Let a = -3377/38 - -177/2. Are 0 and a non-equal?
True
Suppose g = -2*g + 33. Let b(o) = -3*o + 13. Let f be b(g). Is -19 at most as big as f?
False
Suppose -3*s - 5 = 4*c, 9 - 1 = -2*s - 5*c. Is -1/25 bigger than s?
False
Suppose 3*l = 4*f + 21, -2*l = -6*l + 3*f + 21. Suppose 2*p + l*n + 21 = 0, 5*p = n + 2*n. Let x(u) = 13*u - 43. Let j be x(3). Which is smaller: p or j?
j
Let k = 245 - 746/3. Is -4 at least k?
False
Let s = -6 + 0. Let n = s + 11. Let f = 7 - n. Which is bigger: 1 or f?
f
Let m be 8/6 + (-2)/6. Suppose 0 = 5*h - 1 - 14. Suppose 2*n - h*n = 0. Is n != m?
True
Suppose 0 = -y - 3*y - 4. Which is greater: -1/5 or y?
-1/5
Suppose -5*k = -4*v + 32, -5*v = 5*k - k - 40. Let r be 0/(v/20*5). Is -1 not equal to r?
True
Let k = 0.9 - 0.7. Is k at least 6?
False
Let u = -3 - -2. Let k = -0.32 - -1.02. Which is bigger: u or k?
k
Let r be ((-2)/(-2))/((-7)/49). Let h be (r/(-2) - 3)/(-2). Is 2/9 >= h?
True
Let i = 0.42 + -5.42. Which is greater: i or 0.1?
0.1
Suppose 0 = 5*d - 0*d - 20. Let i(z) = -3*z + 6. Let f be i(d). Which is bigger: f or -7?
f
Let m = -4.9 - -3.9. Let t = -0.06 + 2.06. Which is smaller: t or m?
m
Suppose -3*j + 18 = -0. Let t = -5 + j. Which is bigger: -1/3 or t?
t
Suppose -6*k = -2*k. Which is smaller: -2/9 or k?
-2/9
Let x(i) = 3*i - 65. Let l be x(0). Is l at most as big as -66?
False
Let s be (-34)/6 + (120/18)/10. Which is greater: s or 1?
1
Let y = -1 - -0.96. Let v = -1.04 - y. Which is greater: -0.02 or v?
-0.02
Let q = 1317/8 + -165. Let g = -16 - -9. Let b(d) = -d**3 - 8*d**2 - 6*d + 6. Let m be b(g). Which is smaller: q or m?
m
Let x be (-30)/(-4) - (-2)/4. Let u = 8 - x. Let m be 2/45*20/(-4). Is u bigger than m?
True
Let u = -18.1 - -18. Which is smaller: u or -3?
-3
Suppose -11*y = -6*y + 15. Is y greater than or equal to -2.6?
False
Let z = -0.16 + 0.06. Let j = -5 + 3. Which is smaller: z or j?
j
Let u be (7/1 - 2)*1. Let i = u - 4. Let p = -2 + 1.9. Which is smaller: p or i?
p
Suppose 0 = 2*a - 8, -2*w + 2*a + 0*a = 6. Suppose 6 = -k - 2*r, 4 - w = 5*k - r. Are k and -0.2 non-equal?
True
Let k = 0.8 + 3.2. Let z(v) = -v**2 + 7*v - 5. Let l be z(5). Suppose 2*u + 3*u = l. Which is greater: k or u?
k
Let j(f) = 3*f + 15. Let q be j(-5). Is -1/122 >= q?
False
Let k = 4085649 - 281899958/69. Let n = k + -427/3. Which is smaller: 1 or n?
n
Let j = 1.94 + -2. Let n = j - 3.94. Let o = -1 - n. Which is bigger: o or 2?
o
Let t = -3 + 2.7. Let w = 0.2 - t. Let a = w + -0.4. Which is bigger: a or -0.1?
a
Let l = -80 + 70. Is l > -1?
False
Suppose -2*h - 2 = 4*f + 4, -5 = 5*f + 2*h. Let o = -10 - 2. Let k be (f/(-8))/((-6)/o). Is 7 not equal to k?
True
Let k = 0 - 0. Let c be (21/(-12))/((-1)/(-8)). Let d be (-4)/c + (-20)/168. Which is greater: k or d?
d
Suppose 2*j + 3 = 3*j. Suppose 4*g + 0*g = 5*i - 4, 3*i + j = -3*g. Which is bigger: i or 4/7?
4/7
Suppose -3*v = -1 + 4. Let z be v - ((-27)/10 + 2). Is z less than or equal to -1?
False
Suppose s + 5 = 6*s. Suppose 3*a - s = 11. Let w = -3 + a. Are w and 0 nonequal?
True
Suppose -4*p = 5*b - 109, 4*b + 85 = -4*p + 9*p. Which is bigger: 22 or p?
22
Let z(k) = k**3 - 3*k**2 + 3*k. Let m be z(2). Suppose -4*i = -m*i. Let y be (-4)/13*(-2)/(-4). Do i an