7
Let q be ((-4)/80)/(176/(-62885420)). Let t = q + -17865. Let l = t + 1/176. Is 1 less than l?
False
Let u be ((-105)/153)/(1/159). Let i = -109 - u. Let j = -15 - -14. Is j less than or equal to i?
True
Suppose 303*k - 312 = 295*k. Are 159/4 and k equal?
False
Suppose -2*u - u = 15. Let w(o) = o**3 + 6*o**2 + 4*o - 5. Let q be w(u). Is q equal to -1/48?
False
Let o(z) = -z. Let s = 36 + -37. Let c(x) = 15*x - 12. Let i(m) = s*c(m) - 12*o(m). Let n be i(8). Which is smaller: n or -13?
-13
Suppose -3*b = i - 0*b - 19, 2*i + b = 18. Let l = -27 - -35. Suppose i*x = l*x - 20. Is 21 >= x?
True
Let x be (-1 + 3)/((-4)/(-82)). Suppose 0 = 4*k + 5*d - 9, -d + x = -4*k + 4*d. Let g be k/6*42/(-4). Are 7 and g unequal?
False
Let p be 50/35*609/105. Which is smaller: p or 7?
7
Suppose 5*c + 151 + 244 = 0. Let s = -79 - c. Which is smaller: s or -27?
-27
Suppose -9*g + 431 + 244 = 0. Is 147/2 less than or equal to g?
True
Let a(p) = 14*p - 125. Let x be a(9). Which is smaller: x or -50?
-50
Suppose -r - 84 = 3*r - 2*u, 5*u = 5*r + 105. Let o = 2905 + -2926. Is r equal to o?
True
Suppose -8 = j - 6. Let i be 0/(j/(-3) - 1/(-3)). Is i < 2/5?
True
Let d be (-11 - 0) + 4/2. Let y(n) = n**3 + 9*n**2 + n + 13. Let m be y(d). Suppose v + 6 = m*v. Is -0.2 equal to v?
False
Let t = 6 + -4. Suppose c - t*d - 1148 = 0, -d = -2*c - 0*d + 2302. Let u = -49538/43 + c. Which is greater: 1 or u?
1
Let f be ((-4)/12)/(3/36) - -142. Let j = f - 144. Is -21/4 <= j?
False
Suppose 14 = 2*v + 2*b, 0*b - 21 = -5*v + 2*b. Suppose v*g = -23 - 7. Is -8 less than or equal to g?
True
Suppose i + 3*d = -109, 4*d = 3*i + 89 + 225. Which is bigger: i or -109?
i
Let q be (1/(-355))/(87/(-145)). Which is bigger: -1 or q?
q
Let x = 873 - 873. Which is smaller: x or 404?
x
Let q be (-4)/10 + (-285)/(-25). Suppose -12 = j - q. Which is greater: j or -11/9?
j
Suppose 0 = 2*m + p + 2, 9 = -50*m + 55*m - p. Let l = 475441/54 - 8804. Let o = l - -1/27. Which is greater: m or o?
m
Let j be 9 - 12 - (-1 + -4). Suppose -3*n - j = -2. Is 10/13 < n?
False
Let y = -1039 + 998. Which is greater: y or -43?
y
Let b(h) = h**3 - 8*h**2 + 8*h - 2. Let m be b(2). Let g = -7 + -1. Is g less than m?
False
Let i(v) = 6*v**2 - v + 12. Let u be i(-4). Which is greater: u or -2/5?
u
Let j(r) = -58*r + 465. Let a be j(8). Is a < 13/106?
False
Let j = 8.93 - 64.93. Which is smaller: -0.1 or j?
j
Suppose -24 = 4*k + 2*p, 17 = -2*k - 5*p + 5. Let d be (0/3)/(1/1). Suppose -3*v = 0, -h + d*h - 4*v = 7. Is k at least h?
True
Let h be (27/14 - 16/(-28))*-2. Suppose 0 = -2*b - b. Let n = h + b. Is n >= -3?
False
Let q = -1296.9 - -1300. Which is smaller: -2/51 or q?
-2/51
Suppose -x + 5*x = 0, 0 = 4*i - 3*x + 20. Suppose -2*m = -6*m + 8. Suppose 0 = m*z - 3*z - 3. Is z at least as big as i?
True
Let d = -30.017 + 0.017. Are d and -0.4 non-equal?
True
Suppose 5*c - 6 = -16, -2*p = 3*c + 216248. Let y = p + 11352442/105. Let r = y + 59/15. Which is bigger: 0 or r?
r
Suppose 4*f + n + 19 = 2, -3*n = -f - 1. Is f >= -17/5?
False
Let s = -190.6 + 192. Let k be (4 + -2)*(-82)/(-420). Let g = 2/35 - k. Is g smaller than s?
True
Let n(w) = w**2 + 5*w + 175. Let s be n(-15). Is s bigger than 326?
False
Let o = -671.88 + 676. Which is greater: o or 2?
o
Let t = 1077 + -1076.96. Let q = 838/7 - 120. Is q smaller than t?
True
Let g = -15/482 - -2003/2410. Let l(b) = -b**2 + 5*b + 8. Let u be l(6). Which is smaller: u or g?
g
Let p = -612 - -931. Let a = p - 1589/5. Is a at most -4?
False
Let s = 37 - 37. Let f(n) = -n**3 + 5*n**2 + 7*n - 2. Let z(y) = -y**2 - 11*y - 4. Let h be z(-10). Let w be f(h). Which is bigger: s or w?
w
Let m be 342/21*(5 - -2). Which is greater: m or 112?
m
Suppose 2*o = 5 - 1. Suppose 4*c - 4 + 2 = 2*h, -o*h - 5*c - 2 = 0. Let l be -1*-1*(-4)/13. Is l at most h?
False
Let j = 289.959 - 290. Are j and -2/5 nonequal?
True
Suppose 2*x - 6 = 8. Let n be 1/(-2) - x/4. Which is greater: n or -1?
-1
Let o = 23 + -20. Suppose 0 = o*f - 3. Which is smaller: f or 2/37?
2/37
Let b = -4 - -18/5. Let g = -52.46 - -52. Let w = 0.64 - g. Is b less than w?
True
Suppose 3*a - 22 = -25. Which is bigger: a or 2/21?
2/21
Let t = 65 + -107. Let n = t + 42. Which is bigger: 1/4 or n?
1/4
Let z(d) = d**3 - 4*d**2 + 7*d - 6. Let s be z(4). Suppose 0*v + 4*v + 17 = -3*g, -2*g + 4*v + s = 0. Which is smaller: 1/26 or g?
1/26
Let b(d) = -2*d**2 - 4*d - 6. Let i be b(-3). Let z be i/10 - 5/(-25). Let k be (2/20)/(3/(-6)). Which is smaller: z or k?
z
Let c = -37/7 + 39/7. Is 2/2323 >= c?
False
Let c be 1/(-3) + (-160)/(-3). Is c at most as big as 53?
True
Suppose -66*m = -54*m - 1080. Which is bigger: 91 or m?
91
Let i = -0.1 + 0.1. Let z(x) = -x**3 + 7*x**2 - 4*x - 11. Suppose 2*h - 30 = -3*h. Let c be z(h). Which is bigger: i or c?
c
Let b = 2.3 - 2.42. Let f = b - 14.88. Let i = -14.6 - f. Which is smaller: i or -1?
-1
Let t = -31.072 - -0.072. Let y = -30.95 - t. Let b = y + -0.55. Which is greater: b or 2?
2
Let w be 1/(-30)*2*(-6)/(-4). Is w smaller than 1?
True
Suppose 5*f - 14 = 3*f. Suppose 72*n - 78*n + 18 = 0. Suppose -n*s + f*s = 88. Which is smaller: 0 or s?
0
Let v = 3 - 2. Suppose 0 = 5*p - 4*z - 106, -32 = -2*p + 2*z + 12. Let m = p + -127/7. Is m greater than v?
False
Let j(v) = 17*v**2 + 35*v + 40. Let x be j(-6). Do 1773/4 and x have the same value?
False
Let r = 4/35 + -18/35. Do r and 6.8 have the same value?
False
Let c = -74/15 - -16/3. Let j = -3 - -4. Let u be (j/1)/(-1) - -1. Which is bigger: c or u?
c
Let r = 27 + -15. Let q be 4/(-6) + r/(-9). Let p be 1/(q*(-22)/(-12)). Is 0 at least as big as p?
True
Suppose -5*s + 10*s = -315. Which is bigger: -59 or s?
-59
Let w = -4 - -8. Let p = w - 4. Let z be (1/(-4))/(4/(-16)). Is p smaller than z?
True
Let z be (-2 + 3)*-2*27/(-18). Let u = 2.89 + 0.11. Is z greater than or equal to u?
True
Let x = -0.3 + 0.3. Let s(o) = -o**3 + 7*o**2 + 2*o - 10. Let v be s(7). Let r be ((-6)/v)/((-3)/(-42)). Which is smaller: r or x?
r
Suppose -731*n + 984 = -743*n. Does n = -90?
False
Suppose 2*d - 9*d - 105 = 0. Is d smaller than -8?
True
Let o be ((-16)/(-36)*-15)/(4/(-6)). Let p be (25/o + 0)*-10. Is p at least -24?
False
Let f be 14*(3 - (-10)/(-4)). Let y = f - 6. Let w be (0/1)/(3 + -5). Which is bigger: y or w?
y
Let z = -2198 - -37342/17. Are z and 0 equal?
False
Let p(k) be the first derivative of k**2/2 - 3*k + 5. Let c be p(-10). Which is bigger: c or -1?
-1
Let c be (-2)/(0 - -2) - 5. Let r be 0 - 1 - (-74)/222. Which is greater: r or c?
r
Let a = -0.68 + 46.68. Is a > 3?
True
Let z = 22 - 20. Suppose y + l = -7 - z, -y - 4*l = 12. Is -9 less than y?
True
Let l = -90 + 112. Suppose -5*c = -82 + l. Is c greater than 8?
True
Suppose -b - 4*s + 29 = -0*b, -2*b + 38 = -2*s. Suppose 4*a - b - 7 = 0. Is 0 equal to a?
False
Let i(r) = -r - 7. Let y be i(-10). Suppose p = 1 + y. Which is smaller: 10 or p?
p
Let d = -0.22 - -0.12. Let h be 2*(-6)/(-36)*(-1 - -2). Which is greater: h or d?
h
Let k be -2 + -1 + (-4)/(-4). Let l be k - (-1 - 22/18). Suppose 2*x - 5*b + 13 = 0, -3*b = -8 - 1. Which is bigger: x or l?
x
Suppose -2*g + y = -y + 30, -5*g - 3*y = 51. Let b(o) = -o**3 - 13*o**2 - 13*o - 12. Let z be b(g). Is z bigger than -3?
True
Let y = 124 - 1298. Which is smaller: y or -1173?
y
Let g(w) = 2*w**2 - 9*w + 4. Let a be g(4). Which is smaller: a or -1/136?
-1/136
Let o(n) = n**3 - 3*n**2 - 19*n - 2. Let m be o(6). Let w = m + 6. Which is bigger: w or -7?
w
Let q(z) = z**2 + 7*z + 5. Let h(g) = -g - 1. Let j(s) = -2*h(s) - q(s). Let a be j(-5). Let m be 18/(-42)*(-378)/(-72). Which is greater: a or m?
m
Let s(z) = -40*z - 9. Let q be s(-2). Let o = q - 69. Which is smaller: 18/13 or o?
18/13
Suppose 13*q = 14*q - 57. Let z be 21/(-28) - q/36. Is z less than -3?
False
Let a be 1 + 0 + 5 - 1. Suppose -4*v = a*o - 13 - 20, 5*o + 9 = 2*v. Suppose 0 = -5*p + 2 - v. Which is smaller: p or -1/7?
p
Let v(r) = -12*r - 35. Let t be v(-5). Which is smaller: t or 24?
24
Let q be (-4)/(6 + -2)*-40. Suppose -d = -0*d - 41. Which is bigger: q or d?
d
Let y = -2.9 - -0.1. Let q = y - -2.8. Is q greater than 1/6?
False
Let d = -4.9 - 1.1. Let y = 6 + d. Let l = 2 + -9. Which is smaller: y or l?
l
Let x = 29 + -15. Let g = -15.079 + 0.079. Let u = x + g. Which is bigger: u or -0.