
Suppose -j - 44 = -4*h, 0 = -2*h + 3*j + 14 - 2. Is h >= 2?
True
Let o = 74 + -56. Let c = o - 18. Which is smaller: 1.9 or c?
c
Let y be ((-2)/(-6))/(119/102). Which is smaller: y or -0.6?
-0.6
Let m = 1352.25 + -1352. Let j = -0.16 + 0.86. Let b = j + 0.3. Is m at least as big as b?
False
Let b = 176 - 160. Are b and 2 unequal?
True
Let r = 15/236 + -26973/413236. Is 0 greater than r?
True
Let y(q) = -q**2 + 15*q - 13. Let v be y(13). Is v greater than 112/9?
True
Suppose -3*r = -0*r - 36. Let z = r - 14. Is 2 smaller than z?
False
Suppose 19*b - 15230 = 8881. Which is greater: 1/3 or b?
b
Let n be ((-401)/16*1)/((-1)/1). Let w = n + -25. Which is smaller: 0 or w?
0
Let l(u) = -u**3 + 2*u**2 + 1. Let g be l(2). Let f(m) = -3*m - 2. Let x be f(-3). Suppose 5*w = x*w - 6. Which is smaller: g or w?
g
Let i be 28/(-344)*(-33)/77. Which is smaller: 1/3 or i?
i
Let u = 115979/4 - 28995. Let l be (5*5)/(1/(-2)). Which is smaller: l or u?
l
Let z = 2/29 + -91/58. Let o = 339.2 - 339. Is z greater than o?
False
Let c = -98 + 100. Let o be ((-198)/210 + 1/1)*5. Is c at least o?
True
Suppose -c - c - 5*y - 71 = 0, -c + 4*y - 16 = 0. Let h = 34 + c. Suppose 0 = -4*q - 2*q - h. Is -0.04 less than q?
False
Let b = -59 - -53.6. Let r = b - -2.2. Which is greater: r or 1?
1
Let q(u) = -4*u - 22. Let k be q(-12). Suppose 29*r = k*r. Which is smaller: r or 2/9?
r
Suppose -3*x = -5*f - 142, 5*f - 5*x = -216 + 76. Let q = 28 + f. Which is bigger: 2/41 or q?
2/41
Suppose 7*g = 6*g + 2. Suppose 0 = 4*f - 3*v + 6, 1 = -4*f + g*v - 3. Let t(i) = -2*i**2 - 2*i. Let p be t(-3). Which is greater: p or f?
f
Suppose 0 = -0*j + j - r - 3294, 9876 = 3*j - 5*r. Let b = 13327/4 - j. Let w = b + -35. Which is bigger: -1/3 or w?
w
Let x(g) = g**2 - 468*g - 9758. Let h be x(-20). Suppose 2*t - 2 = 3*t. Let k be (t/(-6))/((-2)/(-8)). Is h equal to k?
False
Let m be 11795/105 + (-4)/6. Let p = -2653/24 + m. Is p greater than 0?
True
Let s = 17 - 9. Suppose s*l - 60 = 4*l. Suppose y - 36 = -4*y + 2*r, 0 = y - 3*r - l. Are 6 and y equal?
True
Let f(d) be the first derivative of d**2 + 8*d - 15. Let z be f(-4). Which is greater: z or 7/2?
7/2
Let l(m) be the second derivative of -m**3 + 43*m**2/2 + 12*m. Let p be l(7). Does p = -1/24?
False
Suppose 109 = -3*c + 109. Let g be (-2)/8 + c + 870/(-72). Which is smaller: -13 or g?
-13
Let v be (-22)/(-4) + (-3)/(-6). Let k = -3 + v. Suppose 0 = -2*c + 1 - k. Which is smaller: c or -6?
-6
Let v be ((-650)/(-90) - 9) + 4/(-18). Which is smaller: v or -72/37?
v
Let k(d) = -3*d + 81. Let l be k(11). Is l equal to 50?
False
Let d = -168 - -148. Let k = 19.6 + d. Let y = -4 + 6. Which is bigger: y or k?
y
Let k(j) = -2*j - 23. Let h be k(-12). Let p be 42/14 + (h - 0). Is p greater than or equal to 5?
False
Suppose 7*r = 4*r + 270. Suppose -14*m = -16*m + r. Which is smaller: m or 46?
m
Let c = -216 + 344. Which is smaller: c or 131?
c
Let v = 18181/46 + -396. Let p = 47/46 + v. Which is greater: p or 0?
p
Suppose z + 0*z - 11 = -2*o, 23 = 5*o + z. Suppose -4*p = p - b + o, 3*p - 12 = -3*b. Is -1 greater than p?
False
Let m = -0.1 + 0. Let t = -18 + 19.4. Let l = 1 - t. Which is greater: l or m?
m
Let q(y) = 2*y**2 + 76*y + 144. Let x be q(-36). Which is bigger: -1/430 or x?
x
Let c(b) = 5*b - 4*b + b**3 - 4*b**2 + 2 - 4 - 8. Let n be c(4). Let z = -6/11 + 64/77. Which is smaller: n or z?
n
Let a = 1466478/203 + -7224. Is a at most as big as 0?
False
Let t be 23/(-7) + (-46)/(-161). Let o be 13/(-39)*1327/t. Let s = o - 149. Which is smaller: -3 or s?
-3
Let n = 1 - -4. Suppose 0*c - 4*c - 45 = 5*b, 0 = n*b - 4*c + 5. Let l = -0.015 - 0.985. Are l and b equal?
False
Let j = -7 - -14. Suppose 4*c + j = 3*n, 3*n + n = -c + 22. Suppose -10*t + n*t - 5 = 0. Is t >= -2?
True
Let g be 195/35 - (-81)/189. Is g > 5?
True
Let c = -13833 - -54879/4. Let k = c - -114. Is 2 smaller than k?
False
Let k = 0.597 + -0.53. Let n = k - 1.067. Are n and 3 non-equal?
True
Let s = -1147 - -992. Which is smaller: -156 or s?
-156
Let r be (-6 - -7)/(1/(-7)). Let u(m) = -m - 3. Let v be u(-6). Suppose 0 = v*q - 4*q - 8. Are q and r non-equal?
True
Suppose 0 = m - 3*f + 41, f = -m - 2*f - 11. Do -25 and m have the same value?
False
Let i = -956/2365 + 2/473. Is i greater than 0.1015?
False
Suppose -2*w = -w + 2. Let t = 106 + -109. Which is smaller: w or t?
t
Let p be (-27)/(-21)*4/6. Let d be 306/(-648) + (-2)/(-9). Which is smaller: p or d?
d
Let o = 156/83 - 4059/2822. Which is smaller: o or 0?
0
Suppose -4*r = 0, -3 + 11 = 2*l - 4*r. Suppose 289 = 3*u + 5*a, 445 = 5*u + a - 0*a. Let n be u/(-12) + 3 + l. Which is smaller: n or -2/7?
n
Suppose -4*g + 2 = -6*g. Let b = 22 - 10. Suppose -2*i - 2*i - b = 0. Is g greater than i?
True
Let z = -36 - -20. Let i = z - -26. Let m = 10.3 - i. Which is bigger: -2 or m?
m
Let b = 1.6 + -10.6. Let r = 29.1 + b. Let p = r + -20. Which is bigger: p or -16?
p
Let o be 1*(675/(-335) - -2). Let m = o - 9/3886. Are m and 0 equal?
False
Let l be 4/(-14) - (-46)/14. Suppose -4*m = -8, 3*i - l*m = i - 24. Let u be 2 - i/3*1. Do 3 and u have different values?
True
Suppose -6*j - 828 = -3*j. Let n be j/(-14) + (-14)/(-49). Let s be 10/n*(0 + -2). Does s = -2?
False
Let u be (1832/1896 + -1)*6/8. Let q be (1 + -2)/(0 + -1). Which is smaller: u or q?
u
Let i = -89 + 444/5. Which is smaller: i or -2/17?
i
Let y(i) = -i**2 - 6*i - 5. Let l be y(-4). Suppose -4*a + 43 = -b, 37 - 9 = l*a - 5*b. Suppose 0 = 4*u - w - 48, u + u - 3*w = 34. Are u and a non-equal?
False
Suppose 2*a - 13 = -3. Let g = a + -5. Is g less than 6/5?
True
Suppose -2409 = 4*a - 5*u, -4*a - 4*u + 2*u = 2430. Is a <= -607?
False
Let d = 778 - 814. Is d at most -29?
True
Let r = -3/103 + 287/2781. Let c = 2769 - 2769. Which is smaller: c or r?
c
Let b = 24.7 - 22.37. Let v = b + -0.43. Let a = -7.9 + 8. Which is greater: v or a?
v
Suppose 14*l - 19*l = -10. Suppose -3*q - l*q = -4*u + 2, -2*q - 2 = -u. Are q and -4 nonequal?
True
Suppose 0 = 7*o - 3*o - 16. Suppose -6*r = o*r. Which is greater: 1 or r?
1
Let w(z) = -z**3 - 8*z**2 - 9*z + 2. Let r be w(-7). Suppose 0*d + r = -2*d. Let s = d + 13/2. Which is smaller: s or -2?
-2
Suppose 2*b + 4*p - 34 = -3*b, -4*b + 4*p = -56. Let s be 12/30 + (-4)/b. Suppose -h = -s*h + 1. Is h smaller than 0?
True
Suppose 3*g = r - 3722, -7*g = -3*g + 4*r + 4984. Let l = -16156/13 - g. Is 0 at most l?
False
Let c be 0/((-1)/(-3*(-4)/24)). Suppose 3*j - 2*x + 1 - 11 = c, 0 = -2*j + 4*x + 20. Which is smaller: -4/21 or j?
-4/21
Let c be 4 + (713 - 2)/(-9). Which is smaller: -73 or c?
c
Let x = 7484641184280179 - 213938962758344858303041/28583730. Let f = -68/48447 - x. Let w = f - 1/118. Which is smaller: w or -1?
-1
Suppose -66 = n - 22. Let i = n + 45. Which is smaller: 3/4 or i?
3/4
Suppose 91 = 3*d - 5*w, 27 = -5*w + 2. Let z(l) = l**3 + 37*l**2 - 35*l + 138. Let s be z(-38). Which is smaller: d or s?
d
Suppose 0 = 4*i - 4, 3*i = -4*q + 33 - 10. Let f(d) = d**2 - 3*d + 1. Let p be f(4). Suppose q*s - 4*m = -4 - 1, -3*m - 5 = p*s. Which is greater: s or -4/3?
s
Let l be (-7 + (-80 - 7))*-1. Which is smaller: -4/3 or l?
-4/3
Suppose -20 = -5*h, 3*q + q - 12 = -3*h. Let j(v) = v**3. Let z be j(q). Suppose l + 0 = p + 4, -l - 3*p - 8 = 0. Which is smaller: z or l?
z
Let a(l) = -4*l + 6. Let x be a(6). Let o be (-14)/(-63) + 22/x. Let q(d) = d**3 + 3*d**2 - 3*d + 5. Let z be q(-4). Which is greater: z or o?
z
Let g be 0 + -8 + (-6 - -7). Let b(i) = -i - 4. Let v be b(g). Suppose -2*t = v*t, 3*p = -t - 3. Do p and 2/7 have different values?
True
Let x(j) = j**3 - 11*j**2 - 13*j + 17. Let n be x(12). Let h be (0/n - -1) + (-34)/26. Which is smaller: 0.1 or h?
h
Let b(u) = -u**2 - 18*u - 51. Let m be b(-14). Which is smaller: 84/13 or m?
m
Let l be 4*1/1149*187/374. Is l > 2/7?
False
Let q = 1386 + -1437. Is -51 less than q?
False
Let p = -2.7 + 2.7. Let g = 27094/5 + -11216411/2070. Let f = g + -1/46. Is p <= f?
True
Let p = 35 - 12. Let i = p + -22. Is i greater than or equal to -2/5?
True
Let g = 12608/11 - 1146. Which is bigger: -117 or g?
g
Let m = -87.9 - -29.9. Which is greater: m or -2/5?
-2/5
Let h(a) = -2*a**3 + 5*a**2 + 6*a + 6. Let d(p) = p**3 + p**2 + p + 1. Let n(o) = 3*d(o) + h(o). Let t be n(-7). Is t greater than or equal t