(-4)/(-6). Let u = -291/4 - h. Let s = -0.1 - 0. Which is smaller: s or u?
s
Let z = -0.191 + -0.009. Do -98 and z have the same value?
False
Let l = 41 + -43. Is l at least as big as -0.42?
False
Let b = -428 + 427. Which is greater: b or -72?
b
Let u be 12 - (-136)/(-6) - -11. Suppose -3*p - 5 = 2*p. Is u less than or equal to p?
False
Let x = -2426 + 24207/10. Is x less than or equal to -5?
True
Let g = 193 - 248. Is -215/4 greater than g?
True
Let n be (-2)/(-13) + ((-12)/78)/1. Which is smaller: n or 2/255?
n
Suppose 7*l + 14 = -0*l. Let b be (9/3 + -2)/(47/l). Which is greater: 1 or b?
1
Let a be ((-6)/(-4332))/((-10)/(-20)). Which is smaller: a or 1?
a
Suppose 2*v - 5*a + 15 = 0, -9*v + 13*v + 63 = -a. Which is smaller: v or -3?
v
Let n(q) = 2*q**2 - 2*q - 5. Let a be n(-4). Let k be ((-10)/a)/((-1)/14). Suppose 4*s + k = i + i, 10 = -3*s + 5*i. Is -4/25 less than or equal to s?
True
Let j(k) = 2*k**2 - 3*k + 2. Let t be j(0). Let c be 46/(t*-1) - (-13 + 16). Is -24 at least as big as c?
True
Let j(u) = -u + 3. Let p be j(3). Let c be -2 + 5 - p - -1. Let y be (-6)/(((-9)/6)/1). Is y > c?
False
Suppose 41*q = -8*q - 98. Does q = -13/10?
False
Let v(g) = -g**3 + 7*g**2 + 8*g + 1. Let b be v(8). Which is bigger: b or 8/31?
b
Let n = 28 + -389/14. Which is bigger: n or 0.2?
n
Let a = 827 + -947. Is -120 bigger than a?
False
Let v be -1 + (15/(-10))/(1/(-4)). Suppose 0*b + 3*j = 4*b + 4, -5*b = -3*j + v. Which is smaller: b or 8/19?
b
Let f be (-21)/3*(-12)/14. Let q = 520 + -513. Is q greater than f?
True
Suppose 90*c = 89*c + 196. Is 196 not equal to c?
False
Let i be -4*((-1)/10)/1. Suppose a - 315 = -2*a - 5*t, -3*t = a - 105. Let m = a - 106. Is m greater than i?
False
Suppose -3*w = -2*w - 5. Suppose h = 4*h - w*s + 16, 4*h + 3*s - 27 = 0. Let x = -0.2 + 0.3. Are h and x nonequal?
True
Let x = -18 - -17. Let y be (x/(-4))/((-3)/(-12)). Is y greater than or equal to 20?
False
Let m = 83 + -86. Let z be 560/975 - m/(-5). Which is bigger: 1 or z?
1
Let f(t) = -9*t - 4. Let m(z) = -z - 1. Let c be m(4). Let q be f(c). Let y = q - 367/9. Which is smaller: -1 or y?
-1
Let d be (1 - 1) + 4/(-10). Let m = 9 - 8.9. Let g = m + 0.3. Is g != d?
True
Suppose 0 = -j - 21 - 49. Is -69 > j?
True
Suppose -f - 4 = 2*j, -2*f + j + 10 = -j. Suppose 5*r + 72 + 183 = 5*y, 4*y + f*r - 192 = 0. Are y and 49 non-equal?
False
Let v = -357 + 565. Which is smaller: v or 207?
207
Let t(a) be the first derivative of -3*a**2/2 + 10*a - 8. Let q be t(4). Let g be (-8)/(-12) + q/(-6). Is g less than or equal to 1/6?
False
Let b = 0.8 + -1.3. Let x = 5.5 - 3. Let w = b + x. Which is smaller: -0.3 or w?
-0.3
Let x be (((-72)/(-69))/(-8))/((-99)/(-6)). Which is greater: x or -1?
x
Let q be 5 + (-6 - -3)/(-3). Let l be 30/18 + (-4)/q. Let d = 38 + -1328/35. Which is bigger: l or d?
l
Let l(q) = -q**3 + 4*q**2 + 2*q - 6. Let r be l(4). Suppose 27*d - 26*d = -r. Which is bigger: d or -9/8?
-9/8
Let b = -73 - -75. Suppose q + 25 = -4*i, 10 = b*q - 3*q + i. Do -13 and q have the same value?
True
Let r be (33/(-9))/((-2)/15). Let j(k) = -6*k + 39. Let n be j(2). Is n <= r?
True
Let a = 191.7 - 198. Is a >= -0.2?
False
Let k be 1*0/(0 - -5). Let o(u) = -4*u + 18. Let q be o(k). Is 18 at most q?
True
Let m(x) = -25*x + 25. Let c be m(7). Let b be ((-16)/(-24))/(1*4/c). Which is smaller: b or -27?
-27
Suppose 12 = 3*w, -s + 0*w = -2*w + 3. Suppose -19*a + 14*a + s = 0. Which is greater: 6/13 or a?
a
Let n(j) = j**2 + 4*j - 4. Let s be n(-6). Suppose 2*d + s = -w - 3*w, 3*d = -4*w - 8. Are d and 1/16 equal?
False
Let s = 173 + -230. Which is greater: -58 or s?
s
Let b be ((-6)/16)/(2/8). Let c = 32/9 - 26/9. Which is greater: b or c?
c
Let g be ((-271)/4)/((-5)/4). Let d = -54 + g. Let a(j) = -j**3 - 7*j**2 - j - 6. Let z be a(-7). Is d <= z?
True
Let y be 31/(-62) + (-11)/(-2). Let b be y/(-6) + 35/70. Which is smaller: b or 10?
b
Let r = 0 - 5. Let u = -4 - r. Let x = 9 - 6. Which is smaller: u or x?
u
Suppose -5*h = -4*d - 42, -2*h + 21 = -17*d + 14*d. Which is smaller: 12 or h?
h
Let z = 19 - 134/7. Let v be (-110)/(-100) + (-6)/10. Is v >= z?
True
Let c be ((-6)/15)/((-2)/10). Let h be (3/2 - c)*-2. Let x = -2281 - -253193/111. Which is smaller: x or h?
x
Let g = 38726714/1265 + -30614. Which is smaller: 0 or g?
0
Let y = 21 - 19. Let t = 0.9 - 0.98. Let o = -0.18 - t. Which is greater: y or o?
y
Let o(r) be the second derivative of -r**4/12 - r**3/3 + r**2/2 - 9*r. Let y be o(-2). Which is smaller: -1 or y?
-1
Let b be (-15)/25*(-58)/164. Let z = -1/82 + b. Is -0.04 < z?
True
Let o be 7900/(-36) - -3 - -3. Let p = o + 213. Is -1 <= p?
True
Let v(g) = g**2 - 38*g - 40. Let c be v(39). Let l = 7570/407 - 204/11. Which is smaller: c or l?
c
Let f be 90/(-31) + (12 + -3)/3. Which is smaller: -2/7 or f?
-2/7
Let o = 3.7 - 2.7. Which is greater: o or 2/3?
o
Let c = 0.719 - 2.219. Is c less than or equal to 3?
True
Let u = 140 + -108. Let w be (-3)/(-9)*-2*40/u. Let m = 56 - 223/4. Which is bigger: m or w?
m
Let w = 18 + -18.21. Let f = 0.05 + -0.05. Is f equal to w?
False
Let c(l) be the second derivative of 7/2*l**2 + 0 + l - 1/3*l**3. Let i be c(3). Is i at least 4/9?
True
Suppose 3*x + 38 = t, -4*t = -0*t - 8. Does 1 = x?
False
Let d(l) = -l**2 + 21*l + 53. Let z be d(23). Let k(n) be the first derivative of 7*n**4/4 + n**3/3 + 2. Let h be k(1). Which is smaller: h or z?
z
Let x(w) = -44*w**2 - 10*w - 6. Let b be x(-7). Let h = -18854/9 - b. Which is bigger: -3 or h?
h
Let q be 19/(-4)*(-3 + 7). Let o = -33 - q. Let l(z) = z + 8. Let a be l(o). Which is bigger: -1 or a?
-1
Suppose -2*r - 2*w - 16 = 0, w = 3*r + 7 + 1. Let p be 2/r*116/(-10). Is 5 at most p?
True
Let n be ((-168)/32)/7 + 1066/(-8). Let m = n - -132. Which is smaller: m or -14/5?
-14/5
Let i = 2 + -1. Let w(g) be the first derivative of g**2/2 - 6*g + 13. Let d be w(6). Are i and d unequal?
True
Let o = -10/17 - -103/204. Suppose -2*r = -w + 1, 0*r + 14 = 2*r + 4*w. Let f be (0/r)/(-2 + (1 - 0)). Do f and o have different values?
True
Let r be (-14)/((-48)/4*3/(-27)). Let i = 13 + r. Let d = -2 - -6. Is d > i?
True
Suppose -142 + 558 = 52*h. Let n = 244/3 + -82. Which is greater: h or n?
h
Let s(b) = -b + 5. Let p be s(6). Let x = -418/7 - -17124/287. Which is bigger: x or p?
x
Suppose 5*y = 4*i - 72, 4*i - 30 = 2*y + 2*i. Let c be y/(-30) + (-2)/30. Let f = 38 + -800/21. Is c < f?
False
Let d(y) = y**3 + 7*y**2 + y + 13. Let m be d(-7). Suppose m*a - 114 = 138. Is a > 43?
False
Let a be ((-4)/7)/(-2) - 13630/(-168). Let n = -303/4 + a. Is 6 at most as big as n?
False
Let p(d) = -23*d**3 - 2*d**2 - 3*d - 2. Suppose 5*m + 21 = 16. Let w be p(m). Suppose 5*g - 72 = 33. Are w and g equal?
False
Let x = -1119 - -1119.029. Which is smaller: x or 2/7?
x
Let q = 15 - 12. Suppose 2*a - 3*j - q = 0, -3*a = -5*a - 3*j + 9. Which is bigger: a or -1/5?
a
Let i be (-32)/(-100)*(-50)/(-40). Is -82 at most as big as i?
True
Let w = -173 - -171.5. Let m = -7 - -8. Which is smaller: m or w?
w
Let v be 166/(-42) + (10 - 6). Let j(t) = t**2 - 4*t + 3. Let c be j(2). Which is greater: c or v?
v
Let c be 2 - (85/(-4) - (-1)/4). Suppose 5*i = -2*n + c, -3*i - 5*n = i - 32. Is i >= 4?
False
Let t(h) = -28*h + 21. Let r be t(1). Which is smaller: r or -8?
-8
Suppose -295 - 401 = -v + 4*l, 0 = v + 4*l - 664. Is v at most as big as 681?
True
Let a(l) = l**2 + 2*l + 4. Let z(q) = -q**2 - 6*q + 22. Let c be z(-9). Let f be a(c). Let o = -21 + f. Which is smaller: o or -4/3?
o
Let z = -2851/5 - -570. Is z greater than -22?
True
Suppose -3*g + 8*g = 60. Let v be (-6)/(-14) + g/(-28). Suppose 0*x - 2*x = v. Which is smaller: -1/13 or x?
-1/13
Let z = 0.126 - -27.674. Let b = -28 + z. Let d = 3.2 - 3. Is d at most b?
False
Let j = 712 + -717. Suppose h + 5 - 2 = 0. Let a(c) = c + 3. Let i be a(h). Is i at least as big as j?
True
Let n(x) = -x**2 - 16*x - 2. Let a be n(-16). Let k be ((-2)/(-3))/((-6)/27). Let l = k + a. Which is smaller: -2 or l?
l
Let d = 1276 - 1363. Is -87 smaller than d?
False
Suppose 2*s - 2 = 6. Suppose -5*p + 355 = -5*u, -3*u + s = u. Which is smaller: 71 or p?
71
Suppose -5*o = 3*o - 96. Let y = o - 11. Which is bigger: y or 26?
26
Suppose 5*k - 7 - 3 = 0. Let d be (7 - 24/6) + (-14)/6. Which is greater: d or k?
