
True
Let q = -0.1 + 0.01. Let h be ((-4)/10)/(4/10). Is h equal to q?
False
Let f(y) = y**3 + 7*y**2. Let o be f(-7). Let d be 2 - (-40)/(-36) - 2. Is o >= d?
True
Let x = 4/91 + -451/8190. Which is smaller: x or 0?
x
Suppose 1 = 4*k - 7. Let q(p) = p**2 - 11*p - 2*p**k + 5 + 3*p. Let v be q(-9). Is -4 greater than or equal to v?
True
Let i be -1*1 - 55/(-25). Let p = i + 2/15. Is 2 at most as big as p?
False
Let a be (15/(-20))/(7/(-1528)). Let n = a + -164. Let c = 6 - 6.2. Are n and c nonequal?
True
Suppose -2*c - 4 = -4*b, 2*b + 3*c + 2 = -4. Suppose 8 = -2*k + 3*z - 5, b = -2*k + z - 3. Let o be -1 + 5*(-6)/(-15). Is k >= o?
True
Let m = -2/111 + 232/555. Let k = 70 - 69. Which is smaller: k or m?
m
Suppose -3*p - 28 = -13. Are -6 and p non-equal?
True
Let z = 5/8 - -1/24. Suppose -4*r = -145 + 37. Let t be 87/r + 3/(-1). Is t less than z?
True
Let x(a) = -a**2 - 9*a + 14. Let y be x(-10). Suppose -4*z = 2*o - 8, o + 7*z - 3*z = 0. Suppose 2*b + 0*b - o = 0. Is b at least y?
True
Suppose 0 = -3*c - 9, -2 = 5*u - 3*c - 1. Which is greater: u or 0?
0
Let i(t) = -4*t - 57. Let v be i(-19). Do v and 16 have different values?
True
Suppose 5*s + 2*z + 261 = 0, -s + 2*z - 24 = 21. Which is greater: s or 1?
1
Let w be 2 - (-3)/(3150/(-2672)). Let c = w - 2/75. Which is greater: c or 0?
0
Let h(j) = -4*j**3 - 2*j**2 + 1. Let m be h(-1). Let u(q) = q. Let w be u(5). Which is bigger: m or w?
w
Let q = -20 + 21. Is 2 at least q?
True
Let p = -0.01 + 0.21. Is p at least -11?
True
Let w be (-96)/31080*5/(-2). Is 0 greater than or equal to w?
False
Suppose -5*i - 1 = 4. Is 1/17 at least i?
True
Let r = -9 + 6. Let c = 157/2 + -78. Which is smaller: c or r?
r
Let c be (244/484*4)/(-1) - -2. Is 0 < c?
False
Let d be ((-18)/(-81))/((-3)/(-6)). Is d > 0?
True
Let i = 0 - 0. Let b = -0.1 - i. Which is smaller: -1 or b?
-1
Suppose 5*l + 3*x + 18 - 43 = 0, 0 = -2*x. Is 4 >= l?
False
Suppose 0*r = -3*g + 3*r - 9, 5*r + 39 = -4*g. Is g > -8?
True
Suppose -8 + 0 = -x. Let q = 7 + x. Let z be (-5)/q + (-1)/(-2). Does -1/2 = z?
False
Let r = 1 - 6. Let t = -4 - r. Let k(p) = -p - 9. Let q be k(-8). Is q greater than t?
False
Suppose 0 = 5*w - 3*w + 2*k + 46, -w = -4*k + 3. Which is smaller: w or -18?
w
Let j = -8 + 14. Let z = j - 10. Let m be (-2)/(-2) + (z - -1). Is m smaller than -4/5?
True
Let i = 0.88 + -12.68. Let x = -0.8 - i. Is x bigger than 1?
True
Let p(n) = n**3 + 14*n**2 + 13*n + 2. Let t be p(-13). Is -2/7 != t?
True
Let c = -1/27 + 23/135. Let x(s) = s - 3. Let y be x(4). Is y at least as big as c?
True
Let k be (-2)/(-5) - (-78)/(-20). Which is greater: -3 or k?
-3
Let d = -1397/9 + 155. Which is smaller: d or -2/167?
d
Suppose 3*d - 5 = 7, 5*b = 3*d + 13. Suppose -13 - 2 = -b*h. Does 3 = h?
True
Let g be -7*(-40)/138 + -2. Let h = -93 - -94. Which is smaller: h or g?
g
Let m = -0.05 - 0.35. Let o = m - 0.6. Let k = o - -2. Which is bigger: 2 or k?
2
Let d = 36972 + -54607642/1477. Let u = -184613/8862 - d. Let w = u + 893/42. Are -1 and w nonequal?
True
Let o = 0 - 0. Let i = -2 - -3. Which is bigger: i or o?
i
Let c = 158 - 1108/7. Is 0 equal to c?
False
Let q = -16200/37 + 438. Which is smaller: 0 or q?
0
Let i(p) = -3*p - 8. Let r(x) = x - 1. Let w(z) = i(z) + 2*r(z). Let o be w(-11). Which is smaller: o or 0?
0
Let j = 4 + -11. Let n = 7 + j. Let u be 8/15*(-6)/(-4). Is u > n?
True
Let t = 7 - 9. Let b be (4 + t)/2*-1. Let w be (1/(-5))/(24/(-15)). Is w <= b?
False
Suppose 0 = -4*w + c + 294, -c + 367 = 5*w - 2*c. Let z = w + -509/7. Suppose -2*r + 33 = 31. Which is smaller: r or z?
z
Let o = 38 + -39.7. Let v = -0.3 + o. Is v bigger than -5?
True
Let w be 6 + -2 + -1 - -1. Suppose 3*j + w = -j. Is j > -2/9?
False
Let b be 1/(-4) + 1870/(-8). Let m = -2108/9 - b. Do m and -2 have different values?
True
Let k(i) = i**2 + 10*i + 1. Let z be k(-10). Suppose 24 = 3*m - 0. Suppose 2*g + m = 0, 2*g = -4*n - 0*g - 8. Which is greater: n or z?
z
Let d be (0 + 4)/((-10)/(-3)). Suppose l + r = 2*l, -5*l = 5*r - 10. Which is smaller: l or d?
l
Let k = 10.05 + -10. Let w = -2.04 - -0.04. Which is smaller: w or k?
w
Let u(p) = 3*p + 8. Let f be u(-4). Which is greater: 4 or f?
4
Suppose -4*f = -4*p - 84, 0*p = p - 3*f + 11. Is p <= -24?
True
Let h be 2/8 - (16/4)/16. Is h smaller than -1/18?
False
Let x be (-65)/45 - (1 - 2). Which is bigger: 1 or x?
1
Let h = -0.15 + 0.05. Which is smaller: 1.7 or h?
h
Let b = -21 - -9. Let m = b - -12. Which is bigger: 1 or m?
1
Let v(z) = -68*z**2 - 7*z - 7. Let i be v(-1). Do i and -66 have the same value?
False
Let x(i) = -i**2 - 4*i + 5. Let j be x(-5). Let t(l) = -1. Let q(y) = -y + 4. Let f(w) = -q(w) - 3*t(w). Let a be f(j). Is a <= -2?
False
Let h = 43 + -11. Which is smaller: h or 1/3?
1/3
Suppose -4*s - 19 = -7. Which is smaller: -2 or s?
s
Suppose 4*x - 4 = -4*j, -5*x - 3*j = -j - 2. Let l be (4/2 + -3)/1. Is x smaller than l?
False
Let u = -1 + 0.5. Let p = -0.4 + 0.8. Let o = p + -0.4. Which is smaller: u or o?
u
Let d = -41/90 + 7/30. Is 0.01 not equal to d?
True
Let v(c) be the second derivative of -7*c**3/6 - 10*c**2 + c. Let b(n) = -4*n - 10. Let k(p) = -5*b(p) + 3*v(p). Let t be k(-7). Is t less than -3?
False
Let s = 69/52 + -14/13. Let z(t) = 6*t**3 + 7*t**2 - 6. Let w(c) = -7*c**3 - 7*c**2 + 7. Let o(k) = 5*w(k) + 6*z(k). Let q be o(-7). Is q not equal to s?
True
Let z = -0.134 + 1.194. Let n = 0.06 - z. Let s = n + 0. Which is greater: s or 4?
4
Let v(t) = -t - 2*t**3 - 7 - 5*t**2 - 5 + 6 + t**3. Suppose -12 + 2 = 2*y. Let d be v(y). Is -1 at most as big as d?
True
Let r be (-8)/(-22) - (-4 + 4). Is 0 < r?
True
Let h = 6 + -1. Is 0 smaller than h?
True
Let z(k) = -1 + 2*k**2 - 2 + 4. Let u be z(2). Suppose -2*j - u = j. Do j and -3 have different values?
False
Let h(w) = -w**2 + 17*w + 4 - 19*w - 4*w**2 - w**3. Let i be h(-4). Suppose -2*g + m - 5 = 0, 0 = 4*g + m - 2*m + 15. Does g = i?
False
Let w = 3 + -1. Let p(a) = -a**3 + 14*a**2 + 35*a - 44. Let k be p(16). Which is bigger: k or w?
k
Let f be 4/(-6)*(-60)/8. Suppose s - 18 = -2*y - 3, -2*s = -f*y + 15. Suppose -y*w - 1 - 4 = 0. Which is smaller: w or -2?
-2
Let k = -7.2 + 4.4. Is 0 <= k?
False
Let x be -3*80/(-750)*10/(-108). Is x at least as big as 0?
False
Let k = 19 - 35. Is k at least -16?
True
Let w = -75 + 116. Is w >= 41?
True
Suppose 8 = j + 25. Is -16 > j?
True
Let v be ((-1894)/32)/(4 + (-18)/4). Let g(u) = -21*u - 8. Let t be g(-6). Let c = t - v. Is c >= 1?
False
Let m = 0.5 - 2.3. Let t = 2 + m. Let y = -0.3 + t. Which is bigger: y or 0.2?
0.2
Let j = 11 + -20. Let k = -8 - j. Is 2/3 > k?
False
Let s be ((-7)/4)/((-1)/(-20)). Which is smaller: s or -36?
-36
Suppose p + 0*p = 1. Suppose 2*w + 3*h = 11, 5*h - 2 = w - p. Suppose -4*v = -3*x + 24, -w*x - 3 = 5*v - 4. Is 0.1 less than x?
True
Let q(j) = -j**3 - 6*j**2 + 6*j - 4. Let k be q(-7). Let u(a) = a**3 - 4*a**2 + 2*a + 3. Let y be u(k). Which is smaller: 1/6 or y?
y
Let b(f) = -f**3 + 11*f**2 - 1. Let r be b(11). Let w = 1 + r. Suppose 8 = -4*o, -3*h - 3*o - 3 = -6*h. Is w less than h?
False
Let p = 4.1 - 3.1. Is p not equal to 0?
True
Let m(v) = -v**2 - 2*v - 1. Let u be m(-1). Suppose u = 3*k - 5*k + 6. Is k bigger than 8/3?
True
Let x = 5 - 6. Let u(c) = 6*c - 51. Let a be u(8). Which is greater: a or x?
x
Let r = 7 - 5. Let g be (8/10)/(r/(-10)). Let m(y) = -y**3 - 3*y**2 + 4*y - 1. Let x be m(g). Is x at least as big as -2?
True
Let t(a) = a + 7. Let z be t(-5). Let i = z - 16/9. Is -0.4 less than or equal to i?
True
Let c = 3.27 - -0.43. Which is smaller: -0.2 or c?
-0.2
Let j be (-10 + 6)*(-1)/14. Which is bigger: 0 or j?
j
Suppose -a + 7*a = 0. Is 1 less than a?
False
Let k be (-1)/4 + (-102)/(-24). Let z be (-1)/(1 + k/(-2)). Is z at least as big as 2/7?
True
Let n be ((-2)/12)/(1/2). Which is bigger: n or 11?
11
Suppose 12*b - 9*b - 90 = -f, 5*b - 5*f = 170. Is b less than or equal to 31?
True
Suppose -3*k - k = 4. Let d be (0 - k) + 7/(-5). Is 1 <= d?
False
Let g = -1 + -1. Suppose 0 = -2*z - 0*z - 12. Let l be (z/g)/(-3) + 5. Is 3 at most l?
True
Let d(q) = q**2 + 9*q + 12. Let h be d(-9). Suppose -4*v - 9 = 15. Let m be 10/h + 2/v. Is 1/2 < m?
False
Let c be (4/(-5))/(6/45). Suppose -g = 0, -5*v - 28 = -v + 5*g. Which is greater: c or v?
c
Let h = -12.3 + 2.3