 -5*a - 15 = -2*j. Is -8/7 >= a?
False
Let h = -110.2 - -100. Let c = -11.6 - h. Is 0.1 greater than c?
True
Let k = -8/21 + 11/84. Which is greater: -9/4 or k?
k
Let j(f) = -f**2 + 12*f - 14. Let v be j(10). Let t = 16 - v. Is t less than 10?
False
Suppose -2*c - 25 + 3 = 2*w, -19 = 2*c + w. Suppose -3*i - g - 34 = 0, 0 = 2*g - g + 1. Let p = 3 + i. Are c and p nonequal?
False
Let m be -1*(2/1)/(4 + -14). Which is greater: 0.07 or m?
m
Let k be -3*(-1)/(-370)*3274. Let u = -227/20 + -61/4. Let r = k - u. Which is greater: r or 0?
r
Let y(q) = -262 - q**2 + 127 + 166 + 2*q. Let w be y(7). Are w and 2 equal?
False
Suppose 0*l - 4*l = 0. Suppose l = -0*x - 2*x + 34. Is 16 less than x?
True
Suppose 0 = -0*w - 5*w. Let l be (((-54)/(-24))/(-3))/((-51)/8). Which is greater: l or w?
l
Suppose 20 = 5*p - 0*p. Let n = p + -2. Suppose -2 = -0*a + n*a. Is 1/12 greater than a?
True
Let o = 330 - 232. Let n be (-10)/(-25) + (-2787)/30. Let q = o + n. Is q less than or equal to 7?
True
Let w be ((-24)/(-91))/((-8)/140). Is w <= -5?
False
Let a = 458192/135 - 3394. Suppose 18 = 20*b + 18. Which is smaller: a or b?
b
Suppose -g - 3*s - 8 = 0, 0*g + 32 = 3*g - 5*s. Suppose x = -x + g*x. Which is smaller: 7/5 or x?
x
Let b = 49 + -35. Let s = b - 13.84. Is s < -0.4?
False
Let k be (0 + 6/1780)/(81/(-10788)). Let o = k - -2/445. Which is smaller: -1 or o?
-1
Let c = -853 + 853.0709. Which is smaller: c or -1/4?
-1/4
Let r be 278/10 - (-3)/15. Suppose 0 = -2*o, 0*m + 2*m - 56 = 3*o. Is m <= r?
True
Let i = -8 - -6. Let h = 8072835/35524 + -3/17762. Let d = h - 229. Which is bigger: i or d?
d
Let w = -799 - -799. Which is smaller: w or -2/1143?
-2/1143
Let a(t) = 2*t - 87 - 2*t**3 - 8*t**2 + 3*t**3 + 81. Let f be a(8). Does f = 9?
False
Suppose -1308 = 23*b + 2096. Is b not equal to -153?
True
Let m = -26 - -37. Suppose t - m = q - 3, 2*t - 4*q = 26. Does 2 = t?
False
Let m = -4 + 74. Let b = 55 - m. Which is bigger: b or 1?
1
Suppose 3*r - 17 - 256 = 0. Let t be ((-52)/r)/(1/5) + 4. Do 1 and t have the same value?
False
Let i = 30 + -30. Which is smaller: 6/341 or i?
i
Let g be 320/224 - 6918/5019. Is g <= 0?
False
Let g be 0/((-12)/((-14)/7) + -8). Is -6/1319 greater than g?
False
Let v = -35 + 37. Let t be ((-10)/20)/(v/(-12)). Suppose 2*a - c - 5 = -2*a, -4*a + 17 = 3*c. Are t and a unequal?
True
Suppose -18*g = -16*g - 8. Let q be -1*(3 - 0)/((-138)/g). Suppose -3*n - p - 6 - 1 = 0, -p = 5*n + 9. Is q equal to n?
False
Let v be -1 - 30/175*-57. Let g = -60/7 + v. Is g at most 0.01?
False
Let t = -1/62 - 121/186. Let x(z) = z**2 - 6*z + 2. Let s be x(6). Let v be ((-2)/(-4))/(s/(-4)). Is v smaller than t?
True
Let f = -4/231793 + 2006182/89390738657. Let j = f + -74044838/44349635. Let x = j + 20/23. Are -1 and x non-equal?
True
Let j be (-12 - (-214)/18)/((-10)/(-24)). Suppose 0 = 5*u - 14 - 16. Suppose v + 3*r = -v + u, 2*v - 4*r + 8 = 0. Is v <= j?
False
Let r = -325.2 - -321.2. Suppose 0 = -5*d + 6 + 4. Let n be 0 - (-1*d + 4). Which is smaller: r or n?
r
Let w be (-299)/1 + 1/2*2. Is -299 < w?
True
Suppose 8*q + 13 = 9*q + 4*f, -f + 2 = 0. Suppose 4*w + 22 = m + m, q*w + 14 = -2*m. Is m greater than 4?
False
Let u = -10.3 - -10. Suppose 75*k = 16*k - 1593. Is u less than or equal to k?
False
Suppose 4*g - n = -13, 0 = 2*g - 10*n + 5*n + 11. Suppose 0*s - 2 = -q - 2*s, 5*s - 5 = -2*q. Is g less than q?
True
Let x = -6 - -7. Let w = -19 + 25. Let i be w/(x/1*2). Is i greater than or equal to -0.1?
True
Suppose -84 = 2*g + 110. Is g bigger than -676/7?
False
Let j = 549 - 344. Suppose 5*u + 35 = j. Let a = u + -23. Which is smaller: 9 or a?
9
Let c be ((-10)/20)/((-102)/28). Let r = -751/102 - c. Which is smaller: r or -9?
-9
Let p be (2/(-4))/(8/(-32)). Let z be (-4 + p)/(5 + (-3)/(-3)). Are 0 and z nonequal?
True
Let l = -53230/75361 + 2/4433. Are -0.12 and l nonequal?
True
Let g(q) be the third derivative of q**5/120 - q**4/6 - q**3/2 + 5*q**2. Let d(s) be the first derivative of g(s). Let l be d(3). Which is smaller: -2 or l?
-2
Let d = -13 - 5. Let h = -18 - d. Let g = -0.1 - 0.08. Is g equal to h?
False
Let r be (-45)/(-45) - (0 + 139). Which is greater: r or -134?
-134
Let w be -1 + 0 - (-10 - -6). Let d be -2 + 1 + -3*w/3. Are d and -22/5 nonequal?
True
Let w = -12 - -35. Let x = w - 23.4. Does 0.5 = x?
False
Let w = 85 - -101. Suppose 18*d + 102 = -w. Let c(h) = -2*h**2 + 8*h - 6. Let f be c(5). Is f less than or equal to d?
True
Let o(w) = -w**3 + 14*w**2 + 31*w + 16. Let u be o(16). Suppose 0 = -5*c + 3*m - 6, -3*c - 10 = -2*c - 5*m. Is u < c?
False
Let p be 24 + 7/(-2) + (-30)/20. Which is smaller: -0.1 or p?
-0.1
Let v = 29/7 - 80/21. Which is smaller: v or 2/7?
2/7
Let o be (-6)/2*12/9. Let i(p) = -p - 2. Let j be i(o). Let f(v) = -v**3 + 7*v**2 + 4*v - 26. Let s be f(7). Is s at most as big as j?
True
Suppose 12 = 4*q, -f = -2*f - 2*q + 79. Is 75 less than f?
False
Let p be (9/(-4))/3*-8. Suppose -6*y = -9*y + p. Suppose -y*g = g + 18. Is g greater than or equal to -5?
False
Let x = -262/5 - -369/10. Let n = x + 15. Suppose 0 = 2*m + 4*y + 14, 0*y + 20 = 5*m - y. Is m less than n?
False
Let h = 1812 - 1804. Suppose -4*x = -6 - 6. Suppose -x*v + 15 + 6 = 0. Which is greater: h or v?
h
Suppose 35*p + 5330 = -480. Which is smaller: p or 0?
p
Suppose -3*v + 45 - 12 = 0. Suppose -7 - v = -18*a. Which is bigger: a or 1/4?
a
Let k = -887 + 905. Does k = 20?
False
Let j = 1 - 1. Let r = 666/11 + -42613/704. Which is bigger: r or j?
r
Let d be 6 + (66/(-11) - 9). Which is smaller: 61 or d?
d
Suppose -4*l + 610 = -i - 547, i = -3*l + 873. Which is greater: 291 or l?
291
Let g be 8 + 7/(-7) - 6. Which is smaller: -2/829 or g?
-2/829
Let j be -2 - ((-14)/17 - 1). Do j and 1 have the same value?
False
Let a = 113 - 112. Which is smaller: 4/15 or a?
4/15
Let d = -12.1128 - -0.1128. Is d bigger than -10?
False
Let p be (21/14)/((-9)/168). Let g = -29 - p. Does g = -1?
True
Let j(g) be the second derivative of 1/12*g**4 + 4*g + 0*g**3 - 1/2*g**2 + 0. Let z be j(-1). Which is smaller: -2/33 or z?
-2/33
Let h = 2514 + -2462. Let v = 0.3 - 0.2. Which is smaller: h or v?
v
Suppose -162 = -4*y + 2*w, y = 4*y - 5*w - 139. Let v = y + -62. Which is greater: v or -23?
-23
Let c(u) = u**3 - 6*u**2 + 5*u + 1. Let p be c(5). Let s be 2 + 4/2 + p. Suppose 9 = -j + 3*w + 3, 13 = -s*j - 2*w. Is j less than or equal to -4?
False
Let v be 2/10 - 62/310. Which is greater: v or -2/287?
v
Let l be 144/(-36)*(-6)/(-184). Is 0 less than l?
False
Suppose 4*h - 2 = -10. Let y be 3/6*28/h. Let m be (-6)/(-2)*y/21. Which is smaller: -2 or m?
-2
Let k(a) = a**3 + 8*a**2 + 10*a + 28. Let r be k(-7). Which is bigger: r or 9?
9
Let x = 0.1 - 0.3. Let l = 14.997 - -0.003. Let h = l + -15. Which is bigger: h or x?
h
Let w be ((-110)/(-33))/(((-2)/(-6))/(-1)). Let b(q) = -q. Let z be b(9). Let v be 4/(-5 + 3) + z. Is w at most as big as v?
False
Suppose 1 = t - 1. Let x = 42 - 62. Let a be (x/(-6))/((-10)/(-15)). Is t smaller than a?
True
Let s = 96 + -97.06. Let i = s + -3.94. Is -11/2 less than i?
True
Let l be ((-3)/(-9))/((-1)/(-3)). Let v be (-15)/(-430)*(l/3 - -1). Is v at most as big as 1?
True
Let f = 10678/5 + -2135. Which is smaller: f or -19/7?
-19/7
Suppose 0 = 17*h - 12*h + 880. Let x = 177 + h. Is x <= -6.3?
False
Let v = -64 - -61. Let o = 3 + v. Which is smaller: o or 1/39?
o
Let d = -0.01 + -0.05. Let j = d - -0.1. Let b = -1 + 1.2. Are b and j equal?
False
Let a be ((-18)/(-15))/2*5. Suppose x - a*x + 4 = 0. Let s be x - 21/6 - -1. Is s at most -2?
False
Let c be (-39387)/(-120) - 12/20. Let l = c - 327. Is 0 greater than or equal to l?
False
Let f(o) = -5*o**2 - 2*o + 1. Let z be f(1). Let y be (-1)/(((-20)/505)/4). Let r = 97 - y. Is r not equal to z?
True
Let m be 561/(-15) - (-4)/30*3. Do m and -3/5 have different values?
True
Let i be (-36)/(-22)*-1 - -2. Let g = 7 - 4. Suppose b + 14 = 4*a + g*b, -b = -5. Is i bigger than a?
False
Let x = -416.6 - -416. Is x > 9?
False
Let q be (-3 + 4)*-1 + (-890)/130. Do 0.1 and q have the same value?
False
Let g = 599 + -590. Which is bigger: g or -4?
g
Let h = -66 + 67. Let u be ((-2)/7*h)/((-18)/14). Which is greater: u or -1?
u
Let k = 6 - 7.6. Let a = k - -1.8. Let z = -6.4 - -6. Is a != z?
True
Let y = -365/6 + 61. Is y