06)/69). Let h = t + d. Is h less than or equal to -1?
False
Let k = 7 + -5. Suppose -5*n + 3*o + 15 = 0, -2*o = k*n - o + 5. Suppose c - 13 = -5*w, 2*c + 19 = -n*w + 5*w. Which is smaller: c or -3?
-3
Let f = 1299 - 46753/36. Which is greater: -1 or f?
f
Let y = -122 + 121.945. Is y greater than -2?
True
Let t be 28/6 - (69 - 63). Let d(j) = j**2 + 6*j + 5. Let u be d(-5). Does u = t?
False
Suppose 4*t + 5*l + 64 + 90 = 0, 4*t + 134 = 5*l. Let o = -36 - t. Suppose -6*j = -3*j - 4*a - 20, j = 3*a + 15. Is o bigger than j?
False
Let g(f) = f - 13. Let u be g(-5). Let w be 0*-3*3/u. Which is bigger: -2/39 or w?
w
Let p = 0.232 + 0.078. Let d = 1212 - 1211.9. Which is bigger: p or d?
p
Suppose 0 = b - 12. Let g = 13 - b. Is -3/11 at most as big as g?
True
Let l = 1.2222 + 0.0578. Are 1 and l nonequal?
True
Suppose v - 20 = 5*n, 0 = -5*v - 0*n + 2*n + 8. Let d(g) = -56*g + 25*g + g**2 + 6 + 25*g. Let b be d(4). Which is bigger: v or b?
v
Let r = -242 + 241.9. Is -25 > r?
False
Let c(p) = p**2 - p + 4. Let z be c(6). Let u = 1353 + -1320. Is u > z?
False
Let c be ((-56)/(-3))/((-9)/(-27)). Suppose 0*x = -4*x + c. Let a be (24/14)/(x/49). Is a at least 7?
False
Let k be (-3 + -11)*3 + 7. Is k greater than or equal to -21?
False
Suppose 0 = 36*k - 841 - 203. Is 40 <= k?
False
Let s(d) = -d**3 - 2*d**2 - d. Let y be s(-2). Suppose -y*l = 2*l + 4. Suppose 83 = 15*j + 68. Which is greater: j or l?
j
Let m be (-24)/5*50/(-20). Let i be 1*128/m*(-6)/(-22). Which is smaller: i or 2?
2
Let i(n) = -n**3 - 4*n**2 - 4*n - 2. Let x be (-6)/10 - 6/(-10). Let p be -4 + 4 + x + -2. Let b be i(p). Is b smaller than -2?
False
Suppose -2*p = 3*p + 10. Let s(g) = g**2 - 8*g - 102. Let j be s(15). Is p greater than j?
False
Suppose -81*t - 756 = -77*t. Let x = t + 3781/20. Which is bigger: -1 or x?
x
Let h(s) = -s**2 + 11. Let r be h(6). Let u(x) = 2*x**2 - 9*x - 10. Let t be u(7). Let f = t + r. Which is bigger: 15 or f?
15
Let f = -216/7 + 73029/2366. Is f < -1?
False
Suppose 0 = 4*v - 6*v + 80. Suppose b + 5*f - 35 = -2*b, -4*b = 5*f - v. Suppose -n - m + 18 = 0, b*n - 14 = -3*m + 70. Is n < 15?
False
Suppose -24 = -3*v - v. Suppose -3*s + s - 21 = -5*b, b = -3*s - v. Let u be -2*(-3 + (2 - -2) - 3). Which is smaller: u or b?
b
Let w = 0.01 - -0.08. Let p = w - -0.91. Let q = -32 - -25. Is q not equal to p?
True
Let q be (-2)/(-2)*10/(-2). Let a be 6 + (-84)/(-35)*10/(-4). Which is bigger: a or q?
a
Let o(c) = -3*c - 41. Let m be o(-15). Suppose g + m*y = -51, -y = g + g + 116. Which is greater: -60 or g?
g
Let w = 0.067 - 0.177. Let s = -1 - 0. Do w and s have different values?
True
Let w(q) = -q**2 - q + 1. Let r be w(0). Suppose -3*l = z - 13 - 10, -5*l = -z - r. Which is smaller: 16 or z?
z
Let h = -53/173 - -53622/175595. Is 1 != h?
True
Suppose -58*u + 21 = 3*m - 61*u, 4*u = 3*m - 18. Which is bigger: 6/49 or m?
m
Suppose 2*i - 18 = -2*g - 64, g = 2. Let n = i - -22. Is n > -1/3?
False
Suppose 4*w + 3*p + 1 = 0, -18*w + 7 = -19*w - 3*p. Does w = 94?
False
Let g be 4/4*((-30)/25)/2. Which is smaller: g or -3?
-3
Suppose -15 = -4*j + 9. Let o be (1 + 4/j)*3. Suppose -2*p - n + 58 = 3*n, -o*p = 4*n - 127. Is 24 > p?
True
Suppose 0 = -8*g + 12*g + 32. Let r be 2*1 + 1 + 42. Suppose -4*v - r = v. Is g greater than or equal to v?
True
Let f(u) = -u**2 - 3*u + 7. Let m be f(-4). Suppose m*b + 36 = 2*y + 11, -2*b = y - 2. Which is bigger: y or 10?
10
Let m = 20 + 46. Suppose -2*w + 4*w = -3*u + 78, u + 5*w - 39 = 0. Let s be m/u - (-2 + 5). Are s and 1 nonequal?
True
Let c(k) = k**3 + 16*k**2 + 10*k - 27. Let n be c(-15). Are n and 51 nonequal?
True
Let m = 31.143 - 0.143. Which is greater: -3/8 or m?
m
Let a = 0.991 + 0.129. Let d = a - 96.12. Which is smaller: d or -1/2?
d
Suppose -4*i = 2 - 10, 0 = 2*m - 4*i - 164. Suppose -3*k = -m + 89. Let t be ((-2)/(-55))/(1/5). Which is greater: k or t?
t
Suppose t + 3*s = 4*s - 5, -s = 3*t - 1. Let u = 2746/5 + -551. Which is smaller: u or t?
u
Let g(o) = 3*o + 4. Let f be g(-1). Let y(a) = a**2 + 9*a - 35. Let r be y(-12). Is f != r?
False
Let p be 4 + (-2241)/1050 - 2. Let k = p - -3/14. Which is smaller: k or -1?
-1
Let a = 0.1 - -0.9. Let f = -370 - -373. Does f = a?
False
Let k(j) = -j**2 - 7*j. Let g be k(-7). Let w = 0 + g. Let t(b) = -b + 9. Let l be t(8). Which is smaller: w or l?
w
Let f be 964/(-6) - (-9)/(-27). Let s = 167 + f. Which is bigger: s or -0.3?
s
Let k be 3*(2 + -3) + 12. Let j be 22/((-6)/k*3). Let w = -12 - j. Does -1/11 = w?
False
Let q be (((-32)/(-14))/(-4))/(10/(-35)). Let t be (1/(-5))/(6/(-18)). Is q smaller than t?
False
Suppose 0*o = -2*o + 88. Let x be (o/16)/(2/(-12)). Let w = -367/22 - x. Is w greater than or equal to -2?
True
Let z(g) = g**3 + 14*g**2 - 15*g + 1. Let q(i) = i**3 - 9*i**2 - 12*i + 5. Let s be q(10). Let x be z(s). Is -2/107 < x?
True
Let x(z) = 3*z**3 - z**2 - 9*z + 15. Let q be x(2). Which is smaller: q or 25?
q
Let d = 0 - 1. Let g be 0/(0 + d + (2 - 0)). Let v = 2 + -6. Which is smaller: g or v?
v
Let f be ((-23)/(-2) - -3)/(1/6). Suppose 5*l + 22 = f. Do 0.2 and l have different values?
True
Let d = 0.4 + 0.6. Let z = 457 - 454.21. Let t = 0.21 + z. Which is smaller: t or d?
d
Let k be (10/15)/((-2)/(-36)). Let y = 15 - k. Suppose -5 - 4 = -3*u. Is y at most u?
True
Suppose -2*v + 3*m - 15 = 0, -m + 0*m + 5 = -4*v. Let k be (-4)/10 + (-1355)/1050. Let d = k + 13/7. Which is greater: v or d?
d
Let g = 0.48 - 0.3. Let a = 80.18 + -81. Let q = a - g. Is q less than 0.3?
True
Let k = -10/363 + 1468/62073. Which is greater: k or 0?
0
Suppose -6*y - 54 = -4*y - 3*x, 5*x = 2*y + 58. Let d be y/(-36) + (-4)/(-3). Suppose -2*l + 6 = v, d*v = 3*v + 4*l - 10. Is -0.5 smaller than v?
True
Let y be (-2*(-2)/2)/(55/110). Let x be 19/2 - (-1)/(-2). Which is smaller: y or x?
y
Suppose -m - 3 = -3*g + 5, g - 3 = 0. Let d be 7/(-70) + -1*m. Let i = -2/5 + d. Is i smaller than 3/8?
True
Suppose 3416 = -8*l - 2752. Let y = l - -5430/7. Are 5 and y nonequal?
True
Let l = 12.24 + -1.14. Let g = 19 - 30. Let r = g + l. Is r equal to 5?
False
Suppose 5*d - 2*d = 0. Let o = -23/62 + 456/1271. Is d > o?
True
Suppose -84 = 19*g - 16*g. Let y = 28 + g. Which is smaller: y or -4?
-4
Suppose 17*h - 4387 = 2022. Which is bigger: -1 or h?
h
Suppose 0 = 32*x - 37*x + 20. Suppose w - 5 = -3*g, -5*w + 8 = x*g - 3*w. Is g < -1/10?
False
Let n be 3*(-4)/12 + 3. Suppose y + 3*s = 5*y, 0 = -n*y + s. Let i = 61/2 - 30. Which is smaller: i or y?
y
Let f be (-1)/(-3)*2 - (-2)/(-3). Suppose -5*q + l = 0, f = -q - q - 3*l - 17. Is q < -2/9?
True
Let z = 414 + -415. Let w = -6179/119 - -361/7. Does z = w?
False
Let d(f) = 4*f**3 - 4*f**2 + 4*f - 2. Let n be d(1). Suppose 2*m = -2*q - 10 + n, 0 = -3*q - 2*m - 8. Do -2/159 and q have the same value?
False
Let h = -9.98 + 10. Let x = 6.98 + h. Let d = -14 + x. Which is smaller: 1 or d?
d
Suppose -3*z - 21*g = -22*g + 2042, 2*g + 3385 = -5*z. Which is smaller: z or -1357/2?
z
Let y = -0.2 - -0.1. Let t = 673.17 - 673. Is t smaller than y?
False
Suppose 5*p + 10 = 0, 3*z + z - 3*p + 82 = 0. Which is greater: -24 or z?
z
Suppose 0 = -2*x - 5 + 3. Let l be (-24)/(-26) + (x - 0). Let r = -0.133 - -0.033. Which is bigger: r or l?
l
Let b(l) = -l**3 + 10*l**2 + 16*l. Let w be b(11). Suppose -5*j - w = -15. Suppose 19 = 3*o + 4, 0 = -3*h - 4*o - 7. Is j at least h?
True
Let u = 0.25 + -0.45. Is u at least 122?
False
Let l be ((-218)/(-6))/(11/(-3) + 3). Is -55 < l?
True
Suppose 3*r - 114 = 6*r. Let q = r - -41. Which is smaller: 21/5 or q?
q
Let o = 26 + -24. Suppose 4*i + 4*d - 2*d + o = 0, d = -i - 2. Do 0.033 and i have the same value?
False
Let h be (-1105)/(-3621) - ((-2)/3 - -1). Which is smaller: -1 or h?
-1
Let t = -1407 - -1062. Which is greater: t or -346?
t
Let t be ((-814)/(-185))/(24/70). Which is smaller: t or 14?
t
Let w = -47 + 51.3. Let b = w + -5.3. Is b smaller than 0.03?
True
Let d be 40/6 + 20/15. Let q be 90/(-8) + 2/d. Is -14 smaller than q?
True
Suppose 87*d = 105*d - 18. Which is greater: d or -15/137?
d
Let r = 669.9 + -634. Let g = r - 36. Is g != 0.15?
True
Let m be (-16)/(-72) - 1/((-35910)/30333). Let f = m - -3/665. Which is smaller: 1 or f?
1
Suppose 4*r = o + r - 2, 8 = 4*o + 3*r. Let h(m) = -7*m - 1. Let b(p) = 20*p + 4. Let j(s) = 6*b