 i?
-25
Let n(u) = u**3 + u**2 + 2. Let g be n(0). Suppose -k = -0*k - 14. Let b be (k/(-6) + g)/(-1). Is -1 at most b?
True
Let k(m) = m - 5. Let v be k(7). Let g be 5/(-2)*(v + 0). Is -5 at most as big as g?
True
Let s be (6*1/(-7))/(16/(-42)). Which is bigger: 3 or s?
3
Let j = -3 - -1. Which is greater: 6 or j?
6
Let y = -119 - -118. Are -1/162 and y non-equal?
True
Suppose 0 = -3*b + 5*t + 398 - 1807, 4*t + 1454 = -3*b. Let w be -1 - b - (1 + 1). Let a be (10/w)/(1/(-5)). Which is bigger: a or -1?
a
Let k be (-12)/9 - (-6)/(-9). Is k at most as big as -9/7?
True
Suppose 3*h = 6*h - 81. Let m = -17 + h. Do m and 10 have different values?
False
Suppose -198*y - 130 = -203*y. Is y at most as big as 28?
True
Let y be (-1 - 1)*4 - -1. Let v be ((6/y)/2)/1. Are 0 and v equal?
False
Let p be ((-18)/5)/(9/(-30)). Which is smaller: p or 14?
p
Suppose -6*z = -9*z. Suppose -5*q = -5 - z. Is q < -1/3?
False
Suppose -4*f = -3*o + 2*o + 26, 2*f = -4*o + 14. Let p be (2/(-4))/((-3)/o). Is p < 2?
True
Suppose -2*n + v + v + 8 = 0, 4*n - 5*v = 17. Is 8 at least as big as n?
True
Suppose v + 3 = 4*v. Are v and -9 nonequal?
True
Suppose 12 = 2*v + 5*l, -3*l + 7 - 1 = 0. Let y = v + 7. Which is greater: y or 7?
y
Let y = -6 - -5. Which is smaller: y or 2/5?
y
Let p be 2/6*(0 - 1). Let v be ((-16)/(-21))/((-28)/42). Is v != p?
True
Let s(l) = -1 - 4*l + l + 5*l + 0*l. Let g be s(1). Is g greater than 5?
False
Suppose -54 = -b - 10. Is 42 greater than or equal to b?
False
Suppose -4*c = -3*c - 3*y - 5, 3*c + 13 = -5*y. Let h(i) = -i**2 - 6*i + 9. Let r be h(-7). Let o be (-17)/(-4) - r - 2. Which is smaller: o or c?
c
Let f = 3.9 + -3. Let p = -0.1 - f. Let t = -12 + 12.2. Is p at least as big as t?
False
Suppose 2*i + 3*d - 2 = 4, -3*d = 6. Which is bigger: i or 13/2?
13/2
Let u = -14 - -14. Let a = -88 + 260/3. Is a less than u?
True
Let p be 2/(-7) - (-27)/21. Let r = 267 + -1865/7. Is r less than p?
True
Let l = 0.1 - 0. Let g = 682/3 + -227. Which is greater: l or g?
g
Let b = -392 - -252. Let t be (-217)/b + (-8)/10. Are 0 and t unequal?
True
Let z(r) = 4*r**2 + r + 3. Let o(t) = -8*t**2 - 3*t - 7. Let v(b) = -2*o(b) - 5*z(b). Let k be v(-1). Is 0.1 equal to k?
False
Suppose -5 = 2*v - 17. Let q be v/(-15) + 385/25. Is q smaller than 14?
False
Let v(c) = -c**3 + 2*c**2 - c + 1. Let l be v(2). Let r be 39/(-6)*(0 + -10). Let o = r - 327/5. Which is greater: o or l?
o
Let t be ((0 + -38)/(-1))/(-13 - -6). Which is bigger: -4 or t?
-4
Let s = 22.13 - 22. Let i = -6.13 + s. Let v = -5 - i. Which is smaller: -7 or v?
-7
Let p = -5115555/11 - -465774. Let i = p + -723. Is 0 >= i?
False
Let v = 9 - 9. Which is bigger: -2 or v?
v
Let f = -4 + 12. Let z = -3 + f. Let j = -6 + z. Which is smaller: 1/2 or j?
j
Let x = 7 - 5. Let q be (x/5)/((-7)/5). Let o(m) = 2*m - 10. Let t be o(4). Which is smaller: q or t?
t
Suppose -35 = 6*m - m + 5*u, 5*m + 2*u = -23. Is -8/5 at most as big as m?
False
Let t = -10 + 10. Is -2 greater than or equal to t?
False
Let z(a) = -a + 7. Let v be z(7). Suppose -2*n - n = v. Which is greater: -2/5 or n?
n
Let z = 11 - 10. Do 1/2 and z have the same value?
False
Let x = -11/95 + 15339/380. Let g = x + -40. Suppose -4*m - 2*b + 6 = 0, -b + 1 = -5*m - 2. Is g at least m?
True
Suppose -4 = 3*a + 4*o, -a + o + 1 = -3*a. Let h(v) = -v**2 + v - 1. Let r be h(a). Let n = -33/10 + 14/5. Is r greater than or equal to n?
False
Let x be ((-4)/(-10))/(1/5). Suppose 0 = -2*s - 0*s + x. Let u = -1.8 - -1.6. Which is bigger: u or s?
s
Let w = 10 - 6. Which is bigger: -1 or w?
w
Let d = 6 + -2. Which is bigger: -2/7 or d?
d
Let f be (-2)/6 - ((-1352)/(-6))/(-13). Which is bigger: f or 18?
18
Let q(z) = 2*z**2 - 4*z + 10. Let b be q(7). Let g = b + -20. Let j be -1 + -1 + g/35. Which is bigger: j or 0?
0
Suppose 3*a = a + 50. Suppose -5*v = -10 - a. Let s = v - 3. Do 5 and s have the same value?
False
Let g = -8 - -13. Let x = g - 3. Is x greater than or equal to 1?
True
Let i be -2 + 1 - (-2914)/66. Let b = i + -130/3. Is -1 < b?
True
Let w = 2 - 7. Let p = -3 - w. Suppose -2*l - 4*q - 12 = 0, -12 = 4*l + 3*q + q. Is l less than p?
True
Let s = 7 + -5. Suppose -s*l + 5*l + 12 = 0. Is l bigger than -5?
True
Suppose 4*x + 40 = -4*d, -30 = 2*x - 3*d - 5. Let c be (-13 - x) + -1 + 2. Which is bigger: c or -5/7?
-5/7
Let j(p) = -p + 3. Let q be j(5). Let h = 1 + q. Do h and -1 have different values?
False
Let f be 2*-1*(-2)/(-4). Let g = -416/7 + 13742/231. Is f at least g?
False
Let o = 1.037 + -0.037. Let m = -0.2 - -1.2. Do m and o have different values?
False
Let v be (10/(-4))/(3/6). Let r = -1195/7 - -171. Is r < v?
False
Let v be (4 - 12)*(-6)/(-8). Let z be (-2)/v + 32/3. Let t = -6 + z. Is t > 4?
True
Suppose -12 + 12 = -8*y. Is y equal to -3/4?
False
Let f = -698 - -8383/12. Which is greater: f or 2?
2
Suppose 3*v + 79 = 1. Is v < -28?
False
Suppose -3*g + 3 = 9. Let m be (-5)/(-2) + 1/g. Suppose 4 = -4*d - 2*r, -d + 5*r - 3 = m*d. Is d at least -1?
True
Let l be 4/22 - (-270)/(-33). Let i(f) = -14*f - 24. Let p(n) = 5*n + 8. Let u(m) = -4*i(m) - 11*p(m). Let k be u(l). Is k less than or equal to -1?
False
Let o = 2 + 9. Let u = 2.4 + -11.4. Let q = o + u. Is q equal to -3?
False
Let u be (-3)/2 - (0 + -1). Suppose -4*o - 5*l = -5 + 4, l = 1. Is o > u?
False
Let r = 11 - 1. Let b = 11 - r. Which is greater: -1/4 or b?
b
Suppose 5*n + 21 + 4 = 0. Let d(u) = -u**3 - 3 + 2*u**2 - 1 - u - 3 - 7*u**2. Let o be d(n). Which is smaller: 2 or o?
o
Let i(c) = c**2 - 2*c - 1. Let d = -4 - -6. Let q be i(d). Let a be (2 - 1)*(0 - q). Which is smaller: a or -1/4?
-1/4
Let x = 20 + -12. Let i = 7.9 - x. Which is smaller: i or 5?
i
Let s = 2/155 + 12/31. Is s greater than 0?
True
Let i(n) = n**3 + 6*n**2 + n + 2. Let q be i(-6). Let s = -4 - q. Which is greater: s or 2?
2
Let p = -6 - -6. Let r = p - -0.1. Let g = -1 + -2. Which is bigger: r or g?
r
Let o = -13 + 16. Is -1/2 bigger than o?
False
Suppose t = 2*u - 6, -t = -3*t + 3*u - 9. Suppose 0 = 3*v - 17 - 4. Is v > t?
True
Let j = -0.09 + 0.03. Let q = j + -2.94. Let z = q - -2.9. Which is smaller: z or -1/2?
-1/2
Suppose -v - 4*x = -5*v + 24, -22 = -v + 5*x. Suppose -2 = -a - 1. Which is bigger: v or a?
v
Suppose 3*k = -3*f + 2*f + 18, -4*k = -3*f - 37. Let t = k - 7. Is t less than -1?
False
Let h = -157.1 + 164. Let t = -0.9 + h. Let u = 5.9 - t. Is -0.1 not equal to u?
False
Suppose 11 + 1 = -2*c. Let n be c/(-10) + 38/(-30). Which is smaller: n or -1?
-1
Let m be 445/(-2475) + ((-4)/10)/(-2). Do 1 and m have different values?
True
Let v = -2 + 7. Is v at least as big as 2?
True
Suppose g - 3*g - 14 = 0. Let r = g + 5. Is r at least as big as -2?
True
Let r = -6 + 6.2. Let o = -0.4 + 0.3. Which is smaller: o or r?
o
Let q be (-5)/7 - 14/49. Is q greater than or equal to -1/28?
False
Let c be (2/3)/(5/15). Let q = 4 - 2. Are q and c unequal?
False
Let g(b) = -b**2 - 10*b - 11. Let u be g(-9). Which is smaller: -0.7 or u?
u
Let l be 33/(-6) + 6/4 - -2. Which is smaller: -7 or l?
-7
Suppose -1 = -4*z + 3. Let l be (6/5)/(30/(-75)). Is z <= l?
False
Suppose 0 = -14*b + 10*b. Is b bigger than -1/30?
True
Let v = -2924/231 + 182/33. Is -7 at most v?
False
Let w = -45/182 - 1/26. Let l = 16 + -65/4. Which is bigger: l or w?
l
Let h(m) = -m**3 + 6*m**2 - 4*m - 2. Let f be h(4). Let a be (4/(-7))/((-4)/f). Suppose 5*c + 13 = -2*y, 2 = 3*c - a*y - 3. Is c greater than or equal to 0?
False
Let y be 640/(-888) + 2 + 12/(-9). Which is bigger: y or -1?
y
Let n = 14/3 + -13/3. Let q(r) = -22*r**2 - 132*r. Let c be q(-6). Which is bigger: n or c?
n
Let t(q) = q. Let j(b) = -4*b + 6. Let a(c) = -j(c) - 3*t(c). Let r be a(6). Are 2 and r nonequal?
True
Let z(f) = 33*f + 8. Let l be z(1). Are 42 and l non-equal?
True
Suppose -4*s = s + 35. Let h = s + 6. Is h bigger than -3?
True
Let p = 8 - 6. Let d = p - 2. Which is smaller: -8 or d?
-8
Let i be 0 - -5 - (-6)/(-2). Suppose 2*k = -4*u - 14, 3*u + 14 = 4*k - i*k. Which is smaller: 0 or k?
0
Let i = 2 - 2. Suppose 2*q + 4 = 2*y, -2 = 5*q - 3*y - i. Which is bigger: -1 or q?
q
Let v be ((-2)/18)/(-6 + 77/14). Are v and -2/13 equal?
False
Let p = -0.7 + 1. Let h = p - 1.3. Let n = 12 + -10. Is n not equal to h?
True
Let b be (26/(2/1))/1. Suppose 2*t = 5*r - b, r + 4*r + 