ich is smaller: 3 or s?
s
Let g be 2 + 0 - (-1)/(-1). Suppose 5 = -2*l + 9. Is l at least as big as g?
True
Let c(n) = 4*n**2 - 2*n - 4. Let o be c(3). Which is greater: 30 or o?
30
Let h(o) = -4*o**3 + 2*o**2 + o + 1. Let x be h(-2). Is -2 greater than or equal to x?
False
Let z be 4*(-4)/(-16) + -1. Suppose -i - i = z. Does i = 1/30?
False
Let n(h) = -h**2 + 11*h - 10. Let q(o) = 5*o**2 - 54*o + 50. Let s(y) = -11*n(y) - 2*q(y). Let p be s(12). Is -2 at least p?
True
Let w = 98 + -100. Which is smaller: w or -26?
-26
Suppose 0 = -5*f - 20 + 5, -5*k = 5*f + 20. Let j(s) = 2*s - 24. Let c be j(11). Which is bigger: k or c?
k
Suppose 2*i + 1 = k - 6, 2*i + 10 = 0. Which is smaller: 24 or k?
k
Let y = -0.8 + 0.5. Which is greater: -2/5 or y?
y
Let q = -1 + -2. Which is bigger: q or 2/3?
2/3
Suppose -m - 7 = -5*y, -5*m + 4*y + 4 = -3. Suppose -r - 2 = -3*v, 0 = -m*r + 5*v - 4*v + 2. Which is bigger: -8 or r?
r
Let h(i) = 14*i + 14. Let o(j) = 5*j + 5. Let z(l) = -6*h(l) + 17*o(l). Let p be z(-1). Let d be 0 + (-5)/((-300)/8). Are p and d equal?
False
Let y(z) = -z**3 - 2*z**2 + z. Let s be y(-2). Is s < 2?
True
Let o = -37 - -55. Suppose 0 = 3*w - 6 - o. Let a be ((-14)/(-8))/((-2)/w). Are a and -8 unequal?
True
Let m(v) = v**3 + 12*v**2 + 9*v - 21. Let x be m(-11). Is x greater than 0.7?
True
Let k(d) = 2*d - 3. Let z be k(3). Suppose z = f + 4. Let t be (f/(-2))/(7/(-4)). Are 0 and t nonequal?
True
Let h be 1/(-3) + 34/(-6). Let r(b) = 0 - 6 - 1 - b. Let t be r(h). Is t at most 0?
True
Suppose 0 = 5*a - 3*a + 4*b - 28, -2*a + 4*b = 4. Suppose 3*c - 2*i + 2 = 0, 4*i = -c - 2 - 8. Let u = 3 - c. Which is greater: a or u?
a
Let b(w) = w**2 + 5*w + 1. Let q be b(-4). Let c be q*2/(-15)*5. Suppose h = -3*s + 1, 12 = c*s + 2*s + 4*h. Which is smaller: s or 0.1?
s
Let l = -350684176/165 - -2125348. Let g = l + 120/11. Is g bigger than -1?
True
Let j = -296/3 + 1283/13. Which is bigger: j or 1?
1
Suppose a + 3 = 4*f, 3*a + 2*f + 5 = 10. Let c = -27/16 - -265/176. Is c at most a?
True
Let j = 2.78 + 0.22. Do j and 6/13 have the same value?
False
Let r = -8 - -11. Let i be 5/r - (-6)/18. Which is greater: 1 or i?
i
Suppose -4*m - 17 = -21. Let l = 4 - 2. Is m >= l?
False
Let s = -433/767 + -3/59. Is -2 at least s?
False
Let n(p) = 7 + p**2 + 13*p + 4 + 0. Let d be n(-12). Which is greater: d or -2/35?
-2/35
Let p(n) = 0 - n**2 + 8 - 3 + 5*n. Let l be p(6). Let y(f) = f**2 + f + 1. Let h be y(l). Which is smaller: h or 2?
h
Let o = 27 - 27.1. Let c be 3/(-6) - 3/(-6). Which is smaller: o or c?
o
Let z(i) = -i**3 + 5*i**2 + 8*i - 9. Let d be z(6). Let r be 14/(-105) - (-26)/15. Is d less than or equal to r?
False
Let b(j) = 2*j + 1. Let t(p) = -p + 9. Let y be t(11). Let m be b(y). Suppose 5*k + 0*v + v + 9 = 0, -5*v - 20 = 0. Which is smaller: m or k?
m
Let l be (-5)/((3 + -2)*-1). Suppose -l*m + 4*a = 8, 2*m + 10 + 13 = -5*a. Which is smaller: m or -3?
m
Let b = -0.1 + -0.3. Let l = 0.6 + b. Which is greater: 1 or l?
1
Let t be 1/(-5) + (-77)/(-35). Is t greater than or equal to -1?
True
Suppose 2*x - 17 = -5*b, -3*x = -5*b + 18 - 6. Let m be x - (-1 + 3) - -3. Is m bigger than 1?
True
Let l be (2/4)/(6/(-108)). Let g be (-7)/(-18) + 2/l. Which is smaller: 0 or g?
0
Let c = -697/5 + 139. Let o be (-3)/1*(-12)/117. Let y = 14/39 + o. Are c and y nonequal?
True
Let m(i) = -7*i**2 - 6*i - 5. Let g be m(-5). Let a = 2285060/13 + -175624. Let w = g + a. Which is greater: -1 or w?
w
Let g be (-28 - -30)*4/(-6)*-9. Which is smaller: g or 7?
7
Let l = 8 - 7.9. Let m = l + -0.2. Does m = 0?
False
Let t be 39*6/9 - -1. Is 28 < t?
False
Let s be 88*(-1*4 - (-84)/24). Which is smaller: -1/3 or s?
s
Let n = 65 - 65. Is n equal to -6/13?
False
Suppose -4*o + z = o + 9, -5*o + 5*z = 25. Suppose -s + 66 = 2*i, -i + 4*i = 5*s - 265. Let l be (-2)/9 + s/90. Which is bigger: l or o?
l
Suppose 0 = 4*d + 4*b - 60, -5*d = -d - 2*b - 72. Let q = -14 + d. Which is smaller: q or 5?
q
Let z(u) = u - 2. Let t(l) = -l + 1. Let o(q) = -5*t(q) - 4*z(q). Let a be o(-5). Let s = -2 - -1. Which is smaller: s or a?
a
Let n be 1*2 + (-20)/9. Which is bigger: -0.5 or n?
n
Suppose -5 + 16 = 11*p. Which is smaller: 4 or p?
p
Suppose 4 = -5*w + 6*w. Let o = -5 + 3. Do o and w have the same value?
False
Let f be ((-135)/(-19))/5 - 1. Is 0 less than f?
True
Let a = -20 - -6. Let m = -11 - a. Which is bigger: 2 or m?
m
Let x(z) = -2*z - 1. Let b be x(-3). Let m be 0/(2 - -1 - 1). Suppose 5*i - 20 = -m*i. Which is bigger: i or b?
b
Suppose a = 5*h + 35, -4*h - 2 - 6 = 0. Suppose -2*p - 3*g - 18 = 0, -2*g - 31 = 5*p + a. Let c be (p/8)/((-6)/(-8)). Which is greater: c or -1?
-1
Let t be (-10)/25 + (-4)/(1560/(-201)). Which is smaller: t or 1?
t
Let b = -15 - -8. Let d = -27 + 34. Suppose d = -m - 0*m + 2*r, 2*m = 2*r - 14. Is b > m?
False
Let h = 0.3 + -1. Let z = 0.3 - h. Which is bigger: -1 or z?
z
Let g = -65 + 55. Is g smaller than -3?
True
Let r(a) = a**2 + a - 2. Let u be r(-2). Let z be 5340/(-27) + (-1)/(-1). Let c = -197 - z. Is c at most as big as u?
True
Suppose 3*g - 4*g = -j - 7, 5*g + 4*j + 1 = 0. Which is bigger: g or 9?
9
Let v = 30.7 + -4.7. Let t = v + -26.06. Which is greater: -1/4 or t?
t
Let h be -2 + -3*(-30)/9. Suppose h*o + 2 = 2*v + 5*o, 0 = -2*o. Is -2/7 equal to v?
False
Let t be (((-1)/270)/(-1))/(41/82). Which is greater: 1 or t?
1
Let z = -0.27 - -0.17. Is 6 at least z?
True
Let y(p) = p**3 - 3*p**2 - 4*p + 2. Let g = 9 + -5. Let a be y(g). Let z be a/6 - (-4)/(-3). Which is smaller: z or 1/4?
z
Let k be ((-51)/36)/((-3)/(-9)). Which is smaller: k or -3?
k
Let l(d) = d**3 - 5*d**2 - 2*d + 5. Suppose -t = 5 + 1. Let n be ((-20)/t)/(12/18). Let q be l(n). Which is smaller: 0 or q?
q
Suppose 3*u + s = 4, -5*u - 4*s = -9*s + 20. Let m be (2 - u)/((-3)/(-1)). Which is smaller: m or 0?
0
Suppose -25 = -0*x + 5*x. Let l be 2/(-5) + (-2)/x. Let q be 0/(0/(-3) + -1). Is l <= q?
True
Let n = 84.96 + -85. Which is greater: n or 1?
1
Let o = -1.7 - -2.1. Let j be 1 - (2 + -1) - -4. Suppose 1 = j*v + 5*s, -3 = -v + s - 5. Which is bigger: v or o?
o
Let m be ((-8)/2)/(0 + -1). Let a be m + -6 + (-14)/(-6). Let i = 0.9 + -1. Is a at least as big as i?
True
Let r = 9 - 7. Suppose -t + w + 5 = 0, r = 5*t - 2*w - 23. Which is greater: t or 4?
t
Let i = 2 - 2.1. Let q(w) = w**3 - 11*w**2. Let z be q(11). Is z bigger than i?
True
Suppose 0 = c - 2*c. Let y be ((-2)/(-6))/(1/15). Suppose -4*q + 14 = y*v, -4*q - 1 = 4*v - 13. Is c less than or equal to q?
True
Let c = -5 - -4. Let q = -22 + 31. Which is smaller: q or c?
c
Suppose 15 = -7*f + 4*f. Are -5 and f equal?
True
Let s = 35 + -29. Which is smaller: s or 3?
3
Let z(f) be the third derivative of -f**4/24 + 2*f**3/3 + 2*f**2. Let a be z(0). Suppose -13 = -a*w + 3*d, -5*w - 2*d + 3*d = -8. Which is smaller: 2/11 or w?
2/11
Let u be (14/(-147))/(1/(-3) - 0). Is 0 >= u?
False
Let s = -3/50 + 13/50. Suppose 3*b - 3*t - t = 8, -3*b + 5*t + 10 = 0. Suppose b = o + 4*o - c + 5, -4*o + 3*c = 4. Which is bigger: o or s?
s
Let t = -10.606 + -0.094. Let f = -11 - t. Is -2 equal to f?
False
Let c be 6/12*4*4. Let q be 1*4*12/c. Which is smaller: 5 or q?
5
Let m = 0.3 + -0.2. Let z be ((-21)/5)/((-12)/(-136)). Let j = 48 + z. Which is greater: j or m?
j
Let t(p) = p + 1. Let h be t(2). Let f be 7/4*66/77. Is h != f?
True
Let h(c) be the third derivative of c**6/120 - c**5/20 - 5*c**4/24 + c**3 - 2*c**2. Let x be h(4). Let r = 7/30 - -4/15. Is x equal to r?
False
Let b = -578 + 4034/7. Which is smaller: -1 or b?
b
Suppose -3*r + 4 = -p, 3*p = -0*r + 5*r - 4. Let v(y) = -y**3 - 10*y**2 + 12*y + 14. Let k be v(-11). Let i be (p/6)/(5/k). Which is smaller: -1/2 or i?
-1/2
Let z = 0 + 5. Suppose -3*y - 1 = -2*l - 3, 2*y - 14 = -z*l. Let s(o) = -o**3 + 2*o**2 + 3*o - 3. Let w be s(2). Is w bigger than l?
True
Let j = -227716/5 - -45390. Let b = j - -152. Which is smaller: b or -2?
-2
Let j(l) = -l - 1. Let h be j(-9). Let z be 0 - (h/(-2))/(-4). Do z and 0 have different values?
True
Let d = -3882/13 - -299. Is d at most as big as 1?
True
Let l = 0.13 + -0.13. Let m = 0.1 - l. Suppose 1 = 5*h - 9. Which is bigger: m or h?
h
Let y = -7 + 18. Let t = 11 - y. Which is smaller: -2 or t?
-2
Suppose -3*x = -6*x - 4*n - 51, 0 = 3*x - 4*n + 75. Let r be (-