- 7 = -4*o - 2*x. Suppose 5*h + 6 = 2*y, 4*h = -2*y + 3 + o. Which is smaller: 1/9 or h?
h
Let i be (12/30)/(1/20). Which is smaller: 6 or i?
6
Let u = 24 - 14. Let l be (-732)/140 + 4/u. Let a = -31/7 - l. Which is bigger: a or -1?
a
Let s = -1621 - -11285/7. Which is smaller: s or -8?
s
Let z = -11 - -37. Suppose -3*d - 62 = -5*b, -d + 0*b - b - z = 0. Which is greater: -25 or d?
d
Let i be ((-9)/((-162)/20))/((-8)/(-12)). Which is smaller: i or 3?
i
Suppose 4*g = 31 - 3. Let o be 2/g - (-43)/21. Which is smaller: 2 or o?
2
Let z be (-2)/4 + 5/2. Let m(n) = -n**2 - n - 1. Let a be m(0). Let i = z + a. Is -2/7 >= i?
False
Let h = -493/4 + 124. Is h < 2?
True
Suppose -7*m = m. Are -6 and m equal?
False
Let h(j) = 2*j**2 + 49*j - 28. Let a be h(-24). Does a = -52?
True
Let r(f) = f**3 - 2*f**2 - 4*f + 4. Let n = -6 + 9. Let d be r(n). Let m be d/2 - (-9)/6. Do m and -1 have the same value?
False
Let w = -54 - -51.05. Let m = -0.85 - -0.9. Let h = w - m. Is h <= 1/3?
True
Let s be -3 + 3 - -6 - 3. Does s = 1?
False
Let b = 0 + -1. Let g be ((-8)/10 - -2) + b. Which is bigger: 0.1 or g?
g
Let w = -17 + 17.2. Which is smaller: -4 or w?
-4
Let v be -1 + -1 + -1 - -2. Let m = -317/2511 - -5/81. Which is greater: m or v?
m
Let s = 383 + -3827/10. Which is greater: 1/3 or s?
1/3
Let t = -1 + 1. Let i = 0 + t. Suppose i = -4*n + 16 - 0. Is n at least as big as 0?
True
Let b be 138/(-9) - (-2)/(-3). Let c be ((-9)/b)/((-12)/(-8)). Which is bigger: c or 1?
1
Let c = -3 + 3.5. Let l = c - 1.5. Are -1 and l nonequal?
False
Suppose 2*j = j. Suppose j*z - z = 0. Suppose 5*c = c - 4. Which is bigger: z or c?
z
Let r be 2/6 + 2/3. Which is bigger: 2/13 or r?
r
Suppose -5*b = -3*m - 125, -b + 5*m = 7*m - 38. Which is bigger: 29 or b?
29
Suppose 0 = -w - 5*f - 6, 9 = -4*w - 3*f - 2*f. Suppose -2*v = c - 3*v - 10, -v = 4*c - 20. Let k(b) = -b + 4. Let t be k(c). Is t <= w?
True
Let y be 4/(-10) + (-2)/(-5). Let x be (0 - (-10)/6) + y. Which is bigger: 3 or x?
3
Let b be 7*5*9/15. Let j = 3 - -9. Let v be -2 + 0 + b/j. Do v and -1 have the same value?
False
Let y = 15.2 - 15. Are y and 7 non-equal?
True
Let t be (2/4)/(6/(-4)). Let q(f) = f**2 - 8*f + 4. Let c be q(8). Suppose -3*a = -7*a + 2*g + 2, g + 3 = c*a. Is t <= a?
True
Let k be 2/(-1) + -3 + 6. Let j be (-2)/8 + (-1)/(-36). Which is smaller: k or j?
j
Let c(h) = h**2 + h - 2. Let s be c(0). Is s equal to -2?
True
Let c = -20 - -22. Which is smaller: c or -0.09?
-0.09
Let j = 80 - 75. Is j not equal to 5?
False
Let l = -23 + 6. Is -19 equal to l?
False
Let r(a) = -a**3 - 2*a**2 + 3*a + 2. Let x be r(-3). Let j = x - -4. Suppose 14 = g + g. Which is greater: g or j?
g
Let f = 320800/127 - 2526. Which is smaller: 1 or f?
f
Let p(r) = r**3 + 7*r**2 - 2. Let b be p(-7). Let c be (b/2)/((-1)/2). Is 2 at most as big as c?
True
Let s(x) = -10*x - 9. Let g be s(3). Let a(t) = -10*t**3 + 2*t**2 - 2*t - 2. Let u be a(2). Let i be (-118)/u - 6/g. Is i at most as big as 2?
True
Let y = -18 - -18.06. Is y != -1?
True
Let s(x) = 15*x + 2. Let a be s(1). Which is greater: 18 or a?
18
Let l = -0.7 - -1.2. Let a = 4 - 3.4. Let i = a - l. Which is bigger: 3/4 or i?
3/4
Suppose 5*v - 3*b + 10 = 0, -b - b = 0. Let p be ((-4)/v + -3)/4. Suppose 0 = 3*z - 5*a - 10 - 15, -4*z - 10 = 2*a. Which is greater: p or z?
z
Suppose -4*t + 5*g + 25 + 4 = 0, -3*t - 5*g - 22 = 0. Which is smaller: 0 or t?
0
Let k = -10 - -2. Let o be -3 - (1 - -5)/(-1). Let t = k + o. Do t and -5 have the same value?
True
Let i = 187/532 - 6/19. Is i greater than -1?
True
Let w be 5/5*(1 + 0)*35. Which is smaller: 34 or w?
34
Let c = 2 + -3. Let s = 7/1627 + -405158/8135. Let p = -50 - s. Is p < c?
False
Suppose -3*h = -3*u, u + 0*u - 10 = -4*h. Suppose h*n = -4*q - 14, -7*q = -2*q + 4*n + 19. Let l be 3 - ((-18)/q + -3). Is l bigger than 0?
False
Let l = -26 - -26. Let d = -6 + 4. Is l != d?
True
Let g(p) = -p**3 + 9*p**2 - 4*p + 37. Let m be g(9). Suppose -2*l - 57 = 4*q - 3*l, -q - 15 = -l. Let f be (-8)/q - (-2 - -3). Which is smaller: m or f?
f
Let v be (33/(-7))/((-2)/7). Let z = v - 16. Which is greater: z or -1?
z
Let q = 7 + -7. Let j be (2 + q)*3/(-21). Which is smaller: 1/5 or j?
j
Let q = 9 + -5. Suppose -4*k + b = -3*b, q*k = -2*b - 12. Let w be 1/2 - (-10)/(-4). Is k bigger than w?
False
Let z = 69 - 43. Which is bigger: -1 or z?
z
Let w = 3/7 + -5/28. Let q = -3.5 + 3. Let u = q + 2.5. Which is greater: w or u?
u
Let d be ((-2)/(-7))/(8/112). Suppose -2 = d*q - 6. Let h = -32 + 65/2. Is h at most q?
True
Let j(q) = 5*q**2 - 6*q - 3. Let a be j(-5). Let t be a/(-56) + 1*3. Which is bigger: t or 0.2?
t
Let x = -44 + 24. Let m be (-8)/x + (-56)/(-10). Suppose 4*j - m*j = 0. Which is bigger: -5/4 or j?
j
Let d(y) = y**2 + 10*y - 11. Let s = -1 - 10. Let k be d(s). Is 4 at most as big as k?
False
Suppose 5*u - 9 = 3*c, -2*c - u = -c - 5. Suppose 0 = c*o + 2*o. Is o greater than or equal to 1/6?
False
Let h(m) = m**2 - 4*m - 6. Let c be h(5). Which is bigger: 1/7 or c?
1/7
Suppose -o = -5*y + 4*o + 30, 3*o = y. Is 10 at most y?
False
Let y(a) = -a**3 - 5*a**2 + 3. Let w be y(-5). Suppose -k - 2 = -w*o, 5*k = 2*o - 25 + 2. Let f = 51/28 - 18/7. Which is smaller: f or o?
o
Let k(f) = -f**2 - 5*f + 4. Let h be k(-5). Suppose -3*o + 2*g = 10, 2*o - 3*g + h*g = -2. Which is smaller: -5 or o?
-5
Suppose r - 3*c - 33 = -4*r, -5*r - c = -49. Let j be r/(-12)*(-4)/(-30). Which is smaller: j or -1?
-1
Let n be 2/(-13)*8/24. Which is bigger: n or -1?
n
Let z = -124.1 - -130. Let l = -6 + z. Is l at most as big as -0.4?
False
Let p = -1 - -5. Let v = 13 + 6. Suppose 5*u + v = -d, -d - 4*u - 4 = -2*u. Which is bigger: p or d?
d
Let t = -43 + 44. Which is smaller: 0.2 or t?
0.2
Let j = -485 + 1442/3. Does -4 = j?
False
Let p = 20862/35 + -596. Let g = 23 + -23. Is g greater than or equal to p?
False
Let l be 40/3950*(-5)/(-2). Is 1 less than l?
False
Let y(b) = 0*b**2 - 4*b + 2 - b**2 + 3 - 7. Let f be y(-4). Let a = 0 - 3. Is f equal to a?
False
Let z = -86.7 - -87. Which is greater: z or -2/9?
z
Let u be 2/9 - 146/666. Let r = -4999/1332 + u. Which is greater: r or -5?
r
Let h = 0.08 - -0.02. Let l = 0.06 + 0.34. Let j = l + -5.4. Which is smaller: j or h?
j
Let w be 5*(-2)/(-5) + 7. Is 9 <= w?
True
Let i(f) = -f**3 - 22*f**2 + 25*f + 15. Let d be i(-23). Which is bigger: d or -30?
-30
Let t = 32 + -22. Let q = 37/4 - t. Do -0.2 and q have different values?
True
Suppose -c = 5*c + 24. Which is bigger: -16/3 or c?
c
Let q be 10/18*4/(-10). Suppose -5*j + 0 = -5. Which is greater: j or q?
j
Let o = -250 - -248. Let y = -4 - -6. Do o and y have the same value?
False
Let c = 57/11 - 53/11. Which is smaller: -1 or c?
-1
Suppose -l = l + 2. Which is greater: l or 0.05?
0.05
Suppose 0*v = 3*v. Let n = 333/8 - 42. Let p = n - -5/8. Is v at most as big as p?
True
Let z = -0.9 - 0.1. Let p = -5.2 + 3.2. Let y = p - z. Which is greater: 5 or y?
5
Let t(r) = -r + 0 - 5 + 0*r + 3. Let d be t(-3). Is -2/21 != d?
True
Let w(c) = 23*c**2 - 2*c. Let k be w(-1). Which is smaller: k or 23?
23
Let m(n) = 2*n**2 + 10*n - 9. Let y(p) = 3*p**2 + 11*p - 9. Let i(o) = 4*m(o) - 3*y(o). Let d be i(6). Let b = -6/61 + -403/244. Is b <= d?
False
Suppose 3*v = -0*v + 6. Let s be (-107)/(-68) + (-4)/16. Let q = s + 3/17. Is v != q?
True
Let l be 8/3 - (-6)/(-9). Let u(h) = 2*h**2 - 2*h + 3. Let t be u(l). Are t and 7 equal?
True
Let u(h) be the third derivative of -h**6/120 + h**5/15 - h**4/6 + h**3 - 4*h**2. Let k be u(4). Are k and -11 equal?
False
Let s(l) = -l**3 - 2*l**2 - 2. Suppose 2*q = -0 - 4. Let u be s(q). Let j be (-3)/u*(-20)/(-15). Which is greater: -0.1 or j?
j
Let o = 0.2 + -0.2. Let k = -49 + 47. Is k less than o?
True
Suppose -44 = 4*k + 3*g + 45, -4*k - 129 = -5*g. Let p = k - -860/33. Is p less than -1?
False
Let v = -7.14 + 7. Let m = v - -0.08. Let z = m - -0.06. Do -2 and z have the same value?
False
Suppose 5 = i - 5*l, 0 = 5*i - i + 5*l + 5. Is i at most as big as 8/21?
True
Let k = 3 + -3. Let c = 1507/4 - 375. Let f = 55/36 - c. Which is smaller: k or f?
f
Let s = 0.12 + 0.88. Does s = -1/62?
False
Let d(z) = -2*z**3 - 5*z**2 + 2*z + 1. Let o(b) = 3*b**3 + 10*b**2 - 3*b - 3. Let v(f) = 5*d(f) + 3*o(f). Let q be v(5). Which is bigger: -1/9 or q?
q
Let d = 0 - 