ller than s?
False
Suppose -7 + 9 = 2*v. Let q be (v - 40/44)*-2. Is -0.2 at least q?
False
Let m = 0.1 - -0.1. Let c = -2/673 - 2005/4711. Is m >= c?
True
Let b = 0.16 + 0. Let r = 8.06 - 8. Let u = r - b. Are -1 and u non-equal?
True
Let x be 3*(32/3 - -1). Let k(g) = 36*g**3 + 2*g**2 - 2. Let d be k(1). Is x greater than or equal to d?
False
Let u(n) = -3*n**3 - 2*n**2 + n. Let x be u(1). Let t(y) = -3*y - 4. Let z be t(x). Is 7 at most as big as z?
True
Suppose 0 = -15*j + 757 - 142. Is j greater than or equal to 33?
True
Let a = -14/13 - -998/975. Suppose -4*k = -9*k. Which is smaller: a or k?
a
Let s = -33 - 240. Which is smaller: -272 or s?
s
Suppose y - 6*y - 20 = -5*v, 28 = 4*v + 2*y. Is v <= 19/4?
False
Let z be (-693)/(-77) + 8/(-2). Which is smaller: z or -151?
-151
Let z(c) = -c**3 + 4*c**2 + 2*c - 3. Let b be z(2). Suppose 0 = -2*y - y + b. Let m be (-2 + 5/3)*y. Do m and -1/3 have the same value?
False
Let i be ((-570)/139175)/(6/(-20)). Are 0 and i nonequal?
True
Let h = 0.0765 - 0.2765. Which is greater: 200 or h?
200
Let g(z) be the first derivative of 16*z**3/3 - 8*z**2 - 5*z + 3. Let h(p) = -3*p**2 + 3*p + 1. Let d(s) = 4*g(s) + 22*h(s). Let t be d(-1). Is t at most 1?
True
Let r be 1/(-6) + 762/4356. Let f = 1238 - 1238. Is r at least as big as f?
True
Let v(t) = t**3 - 27*t**2 - 159*t - 31. Let g be v(32). Let c = 4 - 3. Are c and g nonequal?
False
Suppose 20 = -4*h + 3*s, -5*s + 3*s = -2*h - 12. Let f be (h - -4)/(((-12)/(-22))/(-3)). Which is bigger: -10 or f?
-10
Let w(o) = o**3 - 6*o - 100. Let l be w(0). Which is smaller: l or 1/3?
l
Suppose 0 = -5*q - 2*t + 93 + 72, 0 = -t. Suppose -6*h - q = -3*h. Is -7 < h?
False
Let l = -124 + -37. Are -161 and l unequal?
False
Suppose 0 = -36*p - 171 + 135. Let j = 0.11 + -0.07. Which is smaller: j or p?
p
Let y(d) = d. Let u(q) = 8*q - 33. Let z(g) = u(g) - 6*y(g). Let r be z(16). Are -2/79 and r nonequal?
True
Let h be 67/134*(-2)/(-5). Which is bigger: h or -65?
h
Suppose 0 = 17*g - 13*g - 16. Suppose -8 = -x - g*x - 4*a, -3*x + 6 = 3*a. Which is smaller: -5 or x?
-5
Let s = 90 - 151. Let d = -62 - s. Which is greater: -3 or d?
d
Let c = 11 + -33. Let t = -21 - c. Let n be t*(-1 + -1)/(-2). Does n = -3/14?
False
Let r(z) = -z**3 + z**2 - 4*z + 13. Let w be r(2). Let k = 1145/7 - 164. Is k != w?
True
Suppose 0 = o - 0*v + 3*v + 6, 3*o + 5*v + 6 = 0. Let j be (-36)/(-10) + 256/(-160). Suppose o*w + j = -7. Is w not equal to -1?
True
Suppose 2*a + 14 = -3*f, -3*a - 2*a - 2*f - 24 = 0. Suppose -9 = 3*b + 3*y, -15 = 4*b + b + y. Is b < a?
False
Let t(p) = -p**2 + 9*p - 15. Suppose -10 = -2*j + 4. Let o be t(j). Are o and -1 equal?
True
Let y = 5.96 + -4.96. Is -0.2 bigger than y?
False
Let q(u) = -u + 8. Let i be q(6). Suppose 24 = -t + i. Let y = t + 131/6. Which is smaller: y or 0?
y
Let f(r) = r**2 + 20*r + 95. Let o be f(-8). Let j be (-1332)/10 - (-2)/(-5). Let i = j + 134. Is i at most o?
False
Let o be 2796/(-75)*(-2 + 5/(-10)). Are 94 and o unequal?
True
Let k = -12.14 + 12. Let x = -0.175 - -0.065. Let y = x - k. Is y at least as big as 1?
False
Let a(d) = d**3 + 25*d**2 + 9*d - 45. Let v be a(-25). Which is bigger: v or -268?
-268
Let s = 199 + -335. Let r = s - -6118/45. Which is smaller: 1 or r?
r
Let c = -42 + 20. Which is smaller: c or -19?
c
Let o = -397 + 431. Which is smaller: 21 or o?
21
Let g = -4998/19 + 264. Which is greater: 1 or g?
1
Let o(v) = -v**3 + 9*v**2 + v - 17. Let m be o(7). Which is smaller: 86 or m?
86
Let i = 50.87 + -54. Let o = i - -0.13. Let m be (11/(1155/(-20)))/(6/(-9)). Is o equal to m?
False
Let z be (-6 + 1 + 3)/(1/2). Let c = 4 - 5. Let i = c - z. Which is greater: i or 2?
i
Let h be 1*(-4)/8*-6. Suppose -h*s = -6*s - 3. Suppose -2*i - i + 2*t - 14 = 0, -5*i = 4*t - 6. Is i greater than or equal to s?
False
Let o = 16 - 14. Let m be 1/1*1 - o. Which is greater: 3/35 or m?
3/35
Let r = 199 - 194. Are 3 and r equal?
False
Suppose -5*r + 3 = -37. Let d be 1/((-6)/30 - (-39)/120). Is r at least d?
True
Let s = 0.006 - 25.006. Let v = 25.2631 - -0.0369. Let m = s + v. Is m less than or equal to 0.2?
False
Let s = -14 + 18. Suppose -h = 3*q + 4, s*q - 3*h = -1 + 13. Let w be 6/(-4) + (-1)/(-2). Do w and q have different values?
True
Let t be 75/(-3) - (-7 - -6)*2. Is -7 at most t?
False
Let c(g) = 5*g**3 - 15*g**2 - 43*g - 5. Let f be c(-5). Is -790 not equal to f?
False
Suppose 0 = 3*p - 9*w + 5*w + 67, -p + w = 22. Is p smaller than -29?
False
Let x(y) = -y**2 + 23*y - 45. Let v be x(21). Which is smaller: v or -5?
-5
Suppose -c = -m - 51, -102 = 2*m + 3*c + c. Is m equal to -48?
False
Let f = -36.6 + 38. Which is bigger: f or 28?
28
Suppose 6*j + 1845 = -87. Which is bigger: j or -320?
-320
Let m be (-2)/(-5) + (-12)/(-20). Let j = 2 - m. Let i = 8 + -41/5. Which is smaller: j or i?
i
Let d = -141 + 703/5. Let o(w) = w**2 + w + 4. Let q be o(-3). Suppose -2*x - 3*i = 14, 2 = 4*x - 4*i - q. Is d > x?
True
Let m be ((-4)/(-5))/(7/(70/4)). Let f be 4/10 + 115/(-100). Is m greater than or equal to f?
True
Let l = -356.2 - 23.8. Which is smaller: l or 2/3?
l
Let w be 1 + 0/(-2 + 1). Let h(r) = -r**2 - 5. Let f be h(-7). Let i be (-1)/(-3) + (-9)/(f/88). Is w < i?
True
Suppose -4*m = -m + 3. Let u = 73.51 - 13.51. Which is smaller: m or u?
m
Let h be 76/19 + 44/(-18). Do h and -2 have the same value?
False
Let t(h) = h**3 - 5*h**2 - 24*h - 11. Let x be t(11). Suppose 5*u + 51 = x. Is 81 < u?
False
Let n(f) = 69*f**2 - 5*f - 4. Let k be n(3). Suppose -5*d = 2*v + 256, 5*v + 0*d + 3*d = -k. Let l = v - -701/6. Which is greater: l or -1?
-1
Let t(l) = 7*l - 112. Let i be t(13). Is i smaller than -24?
False
Let y be 3 + (642/85)/(-2). Let p = -3/17 - y. Let a(z) = -z**2 + 5*z - 4. Let h be a(3). Which is bigger: p or h?
h
Let m = -1088/7 - -155. Let p(o) = -6*o + 20. Let g(n) = n + 1. Let l(j) = -3*g(j) - p(j). Let f be l(8). Which is smaller: f or m?
m
Let p(u) = 25*u - 1. Let y be p(-1). Let i = 26 + y. Let n = 2/3 - 1/6. Which is smaller: i or n?
i
Let j = 335 + -477. Is j at most as big as -142?
True
Suppose -13*z + 17 + 22 = 0. Let l be z/36*4*(1 + 8). Which is greater: l or 2/9?
l
Let j(v) = v**2 + 6*v - 2. Let p be j(-6). Let c be (2 + -1)*1 + 3*p. Is c < 2?
True
Suppose 0 = -w + 5, 5*t + w + 4*w - 75 = 0. Let q(s) = s**3 + 8*s**2 + 4*s - 9. Let v be q(-7). Which is greater: v or t?
v
Suppose -33 = 83*l - 72*l. Let u(h) = -h**2 + h + 1. Let q(p) = -6*p**2 + p + 3. Let n(c) = -q(c) + 5*u(c). Let k be n(l). Are 1 and k unequal?
True
Let j(w) = 4*w + 7. Let u(n) = n**3 - 8*n**2 + 12*n - 2. Let i be u(6). Let v be j(i). Is 2/49 >= v?
True
Suppose -3*p = -15, -5*f - 2*p = -p - 15. Let k be -4 + (84/(-2))/(-3). Let y = -13 + k. Which is smaller: f or y?
y
Let v(z) = -2*z**2 + z - 6. Let l be v(3). Let t = -3 + l. Let p = t + 14. Which is greater: p or -11?
p
Let x = 76.3 + 63.7. Is x at most 3/7?
False
Suppose 2*x + 6 = 5*x. Let i be (-927)/(-44)*(-12)/(-414). Let d = -3/46 + i. Which is bigger: x or d?
x
Let o = -20.9 + 21.24. Is o != 0?
True
Let u = 29331/37 + -793. Do 0 and u have different values?
True
Let j(a) = -a**2 - 6*a - 1. Suppose 4*w + 0*w + 32 = 2*y, 3*w - 4*y + 34 = 0. Let g be j(w). Let k = 475/3 + -159. Is k smaller than g?
False
Let h be (-2)/(-10) - (-2)/(-10). Let y = -621755/83 - -7491. Is y at least h?
False
Let w(k) = -5*k - 2*k**2 + 2*k - 3*k**2 + 4*k**2. Let h be 5/(-1)*(5 + -4). Let s be w(h). Is -10 bigger than s?
False
Let z be (112/35)/(-1 - (-74)/70). Let m = z + -47. Let o = -16 + 23. Which is greater: o or m?
m
Let c(q) = q**2 - 6*q + 4. Let z be c(6). Let k = z - -4. Suppose -k = -3*w + 4. Is w not equal to 5?
True
Let p = -0.26 - 3.74. Let n = -4.04 - p. Is n < 0.1?
True
Suppose 0 = 2*q - 7*s + 2*s + 71, -3*q - 2*s = 154. Is q at most as big as -48?
True
Let k(r) = r - 4. Let j be k(4). Let a(f) = f - 5. Let q be a(7). Let u be (-4)/(-11)*4*(-1)/q. Which is smaller: u or j?
u
Suppose -545*x + 539*x - 96 = 0. Do 1/11 and x have the same value?
False
Let p be 3/4 + 9/4. Let k be -3 + (p - 6) - -3. Let b be k + 0 - (-34)/14. Is -0.2 >= b?
True
Let j = -248 - -370. Let q = j + -122.91. Let k = 0.09 - q. Is -2 at least as big as k?
False
Suppose 5*s = 2*f + f - 7, -2*f = -5*s - 3. Suppose 2*l + 29 = -s. Is -15 < l?
