3 - b. Let m be 6/40 + (-2)/5. Is h smaller than m?
True
Let s = 0.3 + -1.3. Let t be 0 + (-22)/(-34) - 1. Let j = 16/51 - t. Are j and s unequal?
True
Let o(v) = -v + 2. Let i = -7 - 3. Let u be o(i). Let t be (0 + 3)*u/81. Is -2/3 at least as big as t?
False
Let j = 43 - 41. Are j and 4/7 equal?
False
Let q be (3/(-9) - -2)*246/(-30). Is q bigger than -15?
True
Suppose 5*b - 2*b = -6. Let q be b/9 + 52/(-9). Let y be (q/10)/(6/4). Is y bigger than -0.1?
False
Let p be ((-1)/(-1))/(2/(-12)). Is p at most as big as -4?
True
Suppose -37 = -4*m + 27. Let r = m + -16. Let w = -0.7 + -0.3. Which is greater: w or r?
r
Let t(o) = -7*o + 57. Let d be t(8). Which is bigger: d or 48?
48
Let h = 128/9 - 14. Suppose 3*x - 10 - 4 = -5*v, 4*v + 4*x = 16. Is v less than or equal to h?
False
Suppose -14 = 3*a - 7*o + 6*o, -34 = 5*a + o. Is a equal to -0.1?
False
Let m = 108 - 74. Is m bigger than 34?
False
Let o be 1/3*(-129)/(2 - -1). Which is smaller: o or -15?
-15
Let i be 4/48*4 + (-6)/(-9). Is -5/16 >= i?
False
Let n = 1189/9 - 133. Suppose -5*l = 5 + 5. Do n and l have the same value?
False
Let a = -2.4 - -15.4. Let t = a + -12. Which is bigger: t or -3?
t
Suppose 0 = 3*r + 4*p - p - 18, p + 48 = 5*r. Which is greater: -1 or r?
r
Let a = 6 + -5. Which is bigger: 3 or a?
3
Let m = 57 + -48. Which is smaller: m or 1?
1
Let j be 6/(-81)*(-12)/8. Let l = j - 13/36. Which is bigger: l or 0?
0
Let h = -142 + 82. Is h greater than or equal to -60?
True
Let p = -44 - -31. Is 0.1 less than p?
False
Let d be (-5)/4 + (-1)/(-4). Let c = 1 + d. Let v be (0 + c)*1/(-2). Is v at most 2/7?
True
Let s = 4.6 - 4. Let c = 3.1 - 3. Let w = s + c. Which is greater: w or -1?
w
Let u = 3.2 + 18.8. Let a = 21 - u. Which is greater: a or 21?
21
Let b be ((-6)/(-5))/2 + -1. Let t = 5 - 4. Let p be (4 - 5)/(t - 0). Which is smaller: p or b?
p
Let x be (-1045)/(-9) + (-18)/(-27). Let k = -274 - -157. Let w = x + k. Is 1 greater than or equal to w?
True
Let o = -36 + 31. Which is bigger: -4 or o?
-4
Let y = -23 - -26. Is 3 >= y?
True
Let j = -1.9 - -2.2. Which is bigger: 0 or j?
j
Let h be (-2)/7 + 38/(-14). Let u be h/(-12) - 26/40. Which is greater: 1/2 or u?
1/2
Let y(x) = x**3 - 6*x**2 + 3*x + 7. Let q be y(5). Let d = -1 - 10. Let w = d + 7. Is w not equal to q?
True
Let g be (-4)/15 - 2/6. Let r be 7/(-3) - (-2)/6. Which is greater: r or g?
g
Let d = 23/2 + -12. Which is greater: d or 0.2?
0.2
Let q be ((3 + -4)*-3)/3. Suppose 0 = r + q - 5. Let p be r/(-10) + (-44)/(-10). Is 4 != p?
False
Let n be -2 - (-2 + 5)/(-3). Let m be 3 + 9/3 + n. Let i(l) = -l**3 + 5*l**2 + 1. Let c be i(m). Is c >= 0?
True
Let i be (0/(-3))/(0 + 1). Which is smaller: 15 or i?
i
Suppose 3*q = -3*v + 75, 5*v + 4*q = 26 + 94. Let p be (v/(-11))/1 + 2. Which is bigger: p or 1?
1
Let h be 816/1309 + (-4)/(-14). Which is greater: 1 or h?
1
Let g(i) = -i**2 + 4*i + 12. Let d be g(6). Let h be ((-3)/(-1) - 4)*d. Which is greater: h or 2/19?
2/19
Let v be (-12 - 4)/(13*-2). Is v less than or equal to 1?
True
Let r = -21287/33 - -645. Is r greater than 1?
False
Suppose 2*l = -5 + 21. Suppose 2*c - 2 = 3*q - l, -5*q + 3*c = -11. Suppose -1 - 7 = q*v. Is v at most -3/5?
True
Let k = 0.3 + -0.3. Let q = -6 + 5.4. Let p = 0.6 + q. Is k at least p?
True
Let p = -5 + 7. Let s = -4 - -2. Let q be (s/(-3))/(4/18). Which is smaller: q or p?
p
Let i(w) = w**3 + 7*w**2 + 5*w + 3. Let q be i(-6). Suppose -3*f + 4 - 19 = 2*x, -x = 2*f + q. Is x <= -1?
True
Let w(r) = -r + 6. Let j be w(13). Let c = -6 - j. Which is bigger: -1 or c?
c
Let f = -0.1 - -0.2. Let z be ((-24)/(-32))/((-6)/(-4)). Which is greater: f or z?
z
Let p be 0/(2/(-4)*-2). Suppose -8 = t + t - 2*f, 2*t + 5*f - 27 = 0. Let n be (t/3 - 0)*3. Are n and p nonequal?
True
Let w = -30 + 22. Is -1/4 not equal to w?
True
Let b = 43/2 + -20. Let k = -2 + b. Suppose 4*u = -4*t + 8, 3*t - u = 2 - 4. Is k at most as big as t?
True
Suppose 0 = 7*z - 9*z - 4. Which is smaller: -1/2 or z?
z
Let v be 22 - 41 - 3/((-3)/(-2)). Are v and -20 unequal?
True
Let t be (-3)/15 - 124/(-20). Suppose -15*b - t = -12*b. Is -5/8 greater than b?
True
Suppose -3*h = -0*h. Which is smaller: h or -2?
-2
Let h = -4 + 0. Let k = 4 + h. Let i(b) = -b**2 + b + 3. Let p be i(k). Which is greater: 2 or p?
p
Let t be 0 + 1 + 0 + 0. Let p = -1166/17 + 47/51. Let s = -67 - p. Which is greater: s or t?
t
Let u = -7 - -11. Suppose -u*f + 2 = -2*f. Let y(t) = -t**3 + 6*t**2 + 8*t - 8. Let w be y(7). Is f >= w?
True
Let u = 0.06 - -0.04. Let k = u - -6.9. Is k bigger than 0.1?
True
Suppose 0 = 2*h + 3*h. Suppose h*u = -u. Suppose 2*v = 3*o + 4*v + 6, o - 12 = 4*v. Is u <= o?
True
Suppose -3*j - 5*b + 29 = 0, j - 3*b + 3 = -2*j. Let d = -3 + j. Let v be -1 - (d/1 + 3). Is v at least as big as -3?
False
Let d = -31 - -58. Is 27 at most as big as d?
True
Let b = -417 + 1481/3. Let d = b + -2978/39. Which is smaller: -1 or d?
-1
Suppose r + r + 3*s + 7 = 0, 0 = -2*r - s - 1. Which is smaller: r or 9/4?
r
Suppose 3*c - 5*s + 108 = 0, -3*c - 5*s + 190 = -8*c. Are c and -41 nonequal?
False
Suppose 4*i - 3*i - 12 = -3*w, 0 = 4*w - 8. Are i and 2 equal?
False
Let v(b) = b**3 - 6*b**2 + 7*b - 3. Let t be v(5). Let z(a) = -2*a - 10. Let j be z(t). Let g be 1/2*j/(-9). Is g at most as big as 2?
True
Let o(d) = d**3 + 6*d**2 + 2*d - 2. Let k = -13 + 8. Let f be o(k). Suppose -3 = -4*c + f. Is 4 < c?
False
Let r(d) = d**2 + 0*d - 3*d + 5 - 3 - 3. Let f be r(4). Suppose 0 = -f*o + 3*s, -8 = 2*o - o - 3*s. Is 5 bigger than o?
True
Suppose b + 8 = -b - 4*a, 3*a - 8 = 2*b. Which is bigger: -26/7 or b?
-26/7
Let y = 0.1 + 0. Let r = -0.2 + y. Let p = 0.1 - 0. Is p less than or equal to r?
False
Let y(j) = 2*j**2 - 23*j - 24. Let c(z) = z**2 - 12*z - 12. Let l(a) = -5*c(a) + 3*y(a). Let f be l(10). Is -7/6 <= f?
False
Let l = -481/6 - -80. Which is greater: l or 1?
1
Let k = -1.083 - -1.15. Let c = -1.983 - k. Let h = 0.05 + c. Is h at most as big as 0.1?
True
Let g = 9 - 15. Let k be (6/8 - 1)*g. Suppose -6 = -6*v + 3*v. Is k at least v?
False
Suppose -3*y + 5*l = 52, -5*y + l = -l + 55. Which is smaller: y or -1?
y
Let i be (-12)/15*5/(-1). Suppose -i*n + 24 = -4*l, -5*n = -l - 20 + 2. Let r be 4/1 + 4 + -8. Is n smaller than r?
False
Let d be (-1 + 3)*(-15)/(-6). Do d and 6 have different values?
True
Let s be ((-80)/11)/(-4) + -5 + 3. Is 1/4 less than s?
False
Let y(g) = g**2 - 8*g - 17. Let n be y(9). Which is bigger: n or -10?
n
Let m = 640455 + -12187858653/19030. Let h = 356931/751685 + m. Let t = 2/79 + h. Which is greater: t or 1?
1
Let g = -23/28 + 5/21. Let u = 4/3 + g. Let j = -39 - -41. Which is bigger: j or u?
j
Let j be (96/(-18))/(((-1)/(-3))/1). Is -17 smaller than j?
True
Let s be ((-50)/5)/(2/4). Let j be (-6)/18 + s/(-78). Which is smaller: 1 or j?
j
Suppose 4 = 5*y + 79. Let u be 6/y - 0/(-1). Which is smaller: u or 0?
u
Let u = -3.7 + 4. Let z = 1.3 + -1.7. Let n = u + z. Which is smaller: n or 7?
n
Suppose 3*u - 2 = 1. Let h be 0 + (0 - 3/(-12)). Which is greater: h or u?
u
Let x be ((-7)/56)/((-1)/(-2)). Which is greater: 1 or x?
1
Let m be 34/14 - 9/21. Let c be 22/187*(-1)/m. Do -1 and c have the same value?
False
Let l = 0.3 - 0.32. Let c = l - 1.98. Is 1 greater than or equal to c?
True
Let r(p) = -2*p. Let d be r(-4). Let j be (-1 - -5)*(-4)/d. Which is smaller: 0 or j?
j
Let o(w) = 2*w**3 - 2*w**2 + 2*w - 3. Let t be o(-3). Let l = 150 + t. Let q = l - 344/5. Which is smaller: q or 0?
0
Let b(i) be the third derivative of -i**5/60 + i**4/6 - i**3/6 + i**2. Let z be b(3). Suppose 2*s + z = -2*s + 5*t, 5*t = -10. Is s at least as big as 0?
False
Let h be (-2)/(-7) - 36/28. Let g be (2 - 2)*(h - 0). Let w = 455/6 - 76. Which is bigger: g or w?
g
Suppose 16 = 3*y - 4*x, -3*x = 2*y - 3 - 2. Which is smaller: y or 2/7?
2/7
Let d be (2 + (-44)/12)*(-1)/(-5). Let t(b) = b - 2. Let u be t(4). Let a be (19/(-9) - -2)*u. Which is smaller: d or a?
d
Let n = -0.26 + 0.36. Is n less than 13?
True
Let a be (0 - 1)/((-3)/12). Let z = 6 - a. Let g = z + -1. Which is greater: g or 4/5?
g
Let m be (-270)/(-63) + (-4)/14. Which is bigger: 9 or m?
9
Let y be 9 - 2 - 5 - 32/(-14). Which is smaller: 4 or y?
4
Let r(w) = 2*w - 6. Let v be r(4). Suppose v*j = -j. Let s = j - -1. Which is smaller: -2/7 or s