 v be (-3)/3 + 0 - -5. Are o and v equal?
True
Let h = -14 - 1. Let c = 41.04 - 43.04. Which is bigger: c or h?
c
Let p = -42 + 42.79. Let l = p - -1.21. Which is smaller: 3 or l?
l
Let c(f) = -f**2 - 5*f - 1. Let a be c(-5). Let b(q) = 2*q**2 + q + 2. Let s be b(-2). Let g be (-9)/12 + 2/s. Do g and a have the same value?
False
Let x(p) = -p + 7. Let j be x(6). Let d = -3 - j. Let r(n) = n**2 - 2*n - 3. Let u be r(0). Are u and d equal?
False
Let o be 12/9 + (-4)/(-6). Suppose -6*m = -o*m. Which is greater: m or 3/47?
3/47
Suppose -f - 76 = -16. Let i be (-4)/39*(-18)/f. Is 1 greater than or equal to i?
True
Let n = 11 - -6. Let h = n - 3. Suppose 0 = -0*p + 2*p + h. Which is greater: p or -6?
-6
Let i = 2.91 - -0.09. Let z = 11 - 8. Let q = z + i. Are q and -2/7 equal?
False
Let t = -5870.086 - -5901. Let m = t + -31. Is m at most as big as 0.1?
True
Let m = 301/5 + -59. Which is bigger: -39 or m?
m
Suppose 0 = 4*l - q - 193, -l + 18 = 4*q - 9. Suppose -4*y = -12, 5*t = -0*t + y + l. Let u = 17 - t. Is 6 not equal to u?
True
Suppose -5*f + 4*r = -56, 5*r - 78 = -4*f - 25. Which is smaller: f or 47/4?
47/4
Let j be (-9)/15 - (-113)/5. Suppose 0*s + 2*s - 4*o - j = 0, -2*s = 3*o + 13. Which is greater: s or 3/17?
s
Let w be (((-168)/234)/(-28))/(89/(-6)). Is w > -1?
True
Suppose -21*r + 2*r + 19 = 0. Which is smaller: 16 or r?
r
Let n = 1/1483 + -2975/13347. Is n smaller than -3/323?
True
Let u = -0.1 - -0.2. Suppose 32*o - 10 = 37*o. Let a be 2*(o/(-14) + 90/(-336)). Which is smaller: u or a?
a
Let a = -4 + 46/11. Suppose -7 = -2*n + n. Let g(b) = -b**3 + 7*b**2 + b - 6. Let j be g(n). Which is greater: a or j?
j
Suppose -3*q = -3*k - k - 7, -2*q = k - 12. Suppose 2*o = k*f - 5*f - 53, 4*f = -o - 79. Is -19 at most as big as f?
False
Let h be (-2)/12 - 125/(-30). Let j be 99/(-3)*4/6. Let d be (h/3)/(j/(-33)). Which is smaller: d or 1/2?
1/2
Let o = -2.33 + -0.37. Let n = o + 2.8. Is -1/2 equal to n?
False
Suppose 47 = 2*v + 3*f, 3*v - f = 2*v + 31. Let a = 27 + v. Let j be (-2)/5*a/(-22). Which is smaller: j or 2/11?
2/11
Let i = 1/12579 - -4192/12579. Let k = 3.2 + -0.7. Let c = k + -3. Is c <= i?
True
Suppose 121*a = 22868 + 131528. Is 1276 bigger than a?
False
Let i(z) = -3*z**2 - 3*z + 2. Let r = 23 + -25. Let o be i(r). Is -3 smaller than o?
False
Let o = 5 + 0. Suppose 9 = -3*g, s + o*g + 15 = -0*s. Let m = -43 + 43.2. Is s != m?
True
Let w(h) = h - 3. Suppose 2*u - u = v - 65, 8 = 4*v. Let g be 8/14 + (-279)/u. Let a be w(g). Which is smaller: a or -11?
-11
Let y(x) = -x**2 + 20*x + 125. Let w be y(-5). Are w and -1/547 non-equal?
True
Let h = -10.72 + 2.72. Which is smaller: h or 15?
h
Let w(x) = -x + 14. Let f be w(7). Suppose -f*u + 4 = -6*u. Which is bigger: u or 18/7?
u
Suppose 24*y = 28*y + 32. Are 3 and y unequal?
True
Suppose 0 = 3*o + 3*y + 14 + 1, -20 = o + 4*y. Suppose -n + 5*x - 2 + 28 = o, -2*x = 8. Which is bigger: 7 or n?
7
Suppose 0*h - h - 13 = 3*q, -5*h - 3*q = 17. Let n be (-17)/2*6*h. Let s = -28 + n. Is 23 <= s?
True
Let r = -7 + 9. Suppose 0 = -3*x + 4 + r, 3*y - 14 = -4*x. Let m = -3 + y. Which is greater: m or 0?
0
Let p = -0.27 + -11.73. Let t = -11 + p. Let c = 20 + t. Is c > -0.1?
False
Let l(b) = b**2 - 2*b + 1. Let j be (4/12)/(2/18). Let q be l(j). Suppose q*u + 2*y = 1 + 5, 5*y - 22 = -3*u. Which is smaller: -2 or u?
-2
Suppose 0 = d - 4*d - 6, -5*d - 8 = -2*i. Let s = -47 - -51. Which is bigger: s or i?
s
Let t be (-10)/(-4)*24/15. Let v be (26 - t)/((-4)/(-2)). Let z be (-54)/15 - (10 + -14). Which is smaller: v or z?
z
Let r be 1*(-4)/(-10) - (-10528)/280. Which is smaller: 40 or r?
r
Suppose 3*q - k - 32 = 0, -3*q = -3*k + 4*k - 22. Which is bigger: q or 15?
15
Suppose 24 = 2*y - 5*h, -2*y - 2*h = -h. Suppose y*r + 5*c - 2 = 0, -2*r + 2*c + 0 = -2. Do 1.2 and r have the same value?
False
Suppose -9*l = -34 - 20. Let m = 21 - l. Is 16 at least as big as m?
True
Let t(k) = k + 6 - 3*k**3 + 2*k**3 - 10*k**2 + 5. Let b be t(-10). Let f be b - (4/5)/(-1). Is 1 >= f?
False
Suppose 3*j + 2 = -5*n - 3, -5*n - 35 = -3*j. Let d be ((-2)/n)/(-1*7/(-42)). Which is bigger: d or 15?
15
Let b = 41 + -37. Suppose b*x - 11 - 39 = -2*o, -5*o + 3*x = -99. Is 21 >= o?
True
Suppose 5*w = -3*n + 40, -n = -0*n - w. Let o = 3/5 - -56/15. Is n at least o?
True
Suppose 4*f + 0*f = 5*g + 32, -3*f = 2*g - 1. Let k = 0 - f. Which is bigger: k or -14/5?
-14/5
Let s = -564 - -522. Which is smaller: -41 or s?
s
Let x(t) = 17*t**3 - 2*t**2 - 3*t - 2. Let r be x(-1). Let k be r/24 - 70/(-8). Is k bigger than 6?
True
Suppose p + 310 = 6*p. Let s be 28/35 - p/90. Which is smaller: 0 or s?
0
Let m be -24*(52/12 - 2). Let a = 56 + m. Which is bigger: -6/25 or a?
a
Suppose 3*l + 3*c + 6 = 0, 2*c = -l - 0*c + 1. Let y be l*(-4 - -1 - -2). Let b be (-21)/15 - (-3)/y. Is -1 equal to b?
False
Let k be -21*((-866)/(-217) + -4). Which is smaller: k or -1?
-1
Suppose 3*u = -4*j - 15, 2 = u - 2*j + j. Let b be (15/6*(-18)/(-15))/(-5). Which is smaller: b or u?
u
Let q(u) = 3*u + 39. Let k be q(-13). Let v be (-560)/(-115) + -4 + -1. Which is greater: k or v?
k
Let o be 6/7 - -9*(-1080)/12075. Is o > 0?
True
Let m = -84.9661 - 0.0339. Which is bigger: 1 or m?
1
Let l(o) = o - 2*o**2 - 40 + 52 + o**2. Let g be l(-4). Is -57/7 smaller than g?
True
Let c be (((-30)/36 - -4) + -3)*5. Which is smaller: c or -1.7?
-1.7
Suppose 0 = -4*w - 1 + 5. Which is bigger: w or -7/26?
w
Suppose 348 = -2*j + 6*j. Suppose -o - j = -3*p - 2*p, -5*o - 27 = -p. Let l be 2/(-10) - (-324)/20. Is l <= p?
True
Suppose 4*k - 11*k = -11*k. Are k and 4/677 unequal?
True
Let o be (-2)/((-44)/26) + 1. Let l be 3*((-441)/189 + 3/1). Which is greater: l or o?
o
Let x(w) = -2*w + 8. Let z be x(7). Let t(q) be the first derivative of q**4/4 - 16*q**3/3 + 15*q**2/2 - 6*q - 4. Let i be t(15). Is z at least i?
True
Let w = 1.142 + -0.142. Which is bigger: w or -16/5?
w
Let o be (-6)/10 - (-1463)/(-420). Let y = 15/4 + o. Let t = -0.71 - 0.09. Which is bigger: t or y?
y
Let q = -87 + 27. Are q and -56 non-equal?
True
Let k be (-11)/(-44) - (-2)/(-8). Suppose k = 3*z - 61 - 53. Is 38 > z?
False
Let r(v) = v**3 + v**2 + 43. Let m be r(0). Let h = m + -26. Which is greater: 18 or h?
18
Let s = -9 + 15. Suppose -s*w = -w - 45. Let d be w/6*(-11)/3. Is -5 greater than d?
True
Suppose 0 = -4*f - 7 - 5, 0 = -2*w + 5*f - 37. Let l = w + 25. Let i be 2 - ((2 - 2) + 2). Is l equal to i?
False
Let d = 0.9 + 0.5. Let v = d - -3. Let g = 4 - v. Is 2 bigger than g?
True
Let g be (-390)/(-42) + -27 + 18. Which is bigger: 0.314 or g?
0.314
Let z be -2*(1 + (-105)/95)*18. Are z and 3 non-equal?
True
Let z be 5/(-30)*-18 - 3. Which is smaller: -6/131 or z?
-6/131
Let y = 1 + 1. Let r be (y/2)/(5/(-3)). Let o = -0.76 + 0.76. Is o <= r?
False
Let g be (-30)/(-7) - 4/1. Let w(j) = 17*j + 5. Let v be w(8). Let x = v + -707/5. Which is greater: x or g?
g
Let y = 871/2 - 435. Let q be ((-3)/(-37))/(21/(-14)). Which is bigger: y or q?
y
Suppose -2*f - 3*s + 4 = -9, -5*s = 4*f - 25. Suppose -1 = -2*u + 5*m, f*u + 6 = -3*m - 7. Let h = 9 + -12. Do u and h have the same value?
False
Let l be (-40)/((-8)/(-1)) + 6. Which is bigger: 53 or l?
53
Let o(i) = 145*i + 134. Let z be o(-3). Is -301 < z?
False
Let r = -0.051 + -0.389. Let v = 23.44 + r. Which is smaller: 0 or v?
0
Suppose k - 16 = 5*k. Suppose 0 = 5*d - 3*c + 10, 0 = 7*d - 3*d + 4*c + 8. Is k greater than or equal to d?
False
Suppose -5*p + 53 + 2 = 0. Let t = p + -8. Suppose -t*g + g = -2. Is g > 6/7?
True
Let g = 24 + -47. Let m = -22 - g. Are -1/4 and m nonequal?
True
Let r(d) = -5*d - 27. Let c be r(-2). Is -16 < c?
False
Let i be 40/340 - (-2)/2. Which is greater: 2 or i?
2
Let b be (-92)/(-7) + (-13)/91. Suppose -4*s = 4*q + 4, s + 4*s + b = 3*q. Suppose -n + q = -0*n. Which is greater: 3 or n?
3
Let m = 8933/17858 + -2/8929. Let n = -0.2 - -0.5. Are m and n non-equal?
True
Let h(n) = -n**3 + 6*n**2 + 11*n - 27. Let b be h(7). Are b and 4/67 non-equal?
True
Let b(d) = d + 14. Let a be b(-10). Suppose 8*p - a + 4 = 0. Which is greater: p or 5/8?
5/8
Suppose -5 = -6*v + 8*v - j, v = 2*j + 5. Let a = -1 - -2. Let u = -2 + a. Is u > v?
True
Let u = 2843/50 + -419/150. Let l = -54 + u. Suppose 2*b - 4*v + 18 = 0, 2*b + 16 = 3*v + 2. Are b and l equal?