795/1736. Let n = -31 - k. Suppose -10 = 2*v + 4*z, -v + 2*z + 0 = -7. Which is greater: v or n?
v
Suppose 0 = 4*t - 22 - 22. Let p(u) = -u + 18. Let w be p(t). Is w > 7?
False
Let f = 93 - 92.8. Does f = 19?
False
Let o = -1 + 0. Let z be (-4)/32*152/102. Let c = z - -6/17. Which is greater: o or c?
c
Suppose 0 = -3*c + 4*z + 6 + 2, -z = -4*c + 2. Is c greater than 1?
False
Let c(l) = 2*l + 5. Let h be (48/20)/(3/(-10)). Let n be c(h). Is -10 <= n?
False
Suppose -2*b - 3*b - 15 = -l, -4*b + 2*l - 6 = 0. Is b smaller than -6?
False
Let l = 29 - 19. Suppose -25 = -a - 4*a, l = 5*j - a. Suppose 5*c + 22 = j*u, 2*c + 0*c - 4*u = -6. Is -5 bigger than c?
False
Suppose 4*v = -20, 0 = k + 3*k + 3*v + 75. Is k less than or equal to -15?
True
Suppose 0*t - 4*t = -3*n - 44, 4*t + 5*n - 12 = 0. Suppose -3*o - 1 = -2*m - t, -4*m = -5*o + 13. Let a be 1/(-2 - (0 - 1)). Which is smaller: a or m?
m
Let x(o) = -3*o + 4. Let k be x(4). Let i be 20/k*(-12)/10. Which is smaller: i or 4?
i
Suppose p = x + 8, p + 7 + 15 = -2*x. Which is greater: -13 or x?
x
Suppose -b + n + 2*n = -16, -b + 8 = -n. Which is bigger: b or 7?
7
Let g = 922/7 + -132. Let d = 1629/8 + -204. Is d less than g?
True
Let m = 3.73 + 0.27. Which is greater: -0.1 or m?
m
Let m = 4486/19 + -236. Let r = 16 + -16. Which is bigger: r or m?
m
Let m = -13.71 - -13.7. Is -2/7 at most as big as m?
True
Let q be (-2)/5 - 2129/(-2485). Let i be 18/(-30) + (-223)/(-355). Let b = i - q. Which is smaller: b or 0?
b
Suppose -21 = -0*w - 3*w. Suppose 16*o - 120 = o. Is o equal to w?
False
Let d = 1 - -5. Let q be d - 0*(1 - 0). Is q != 6?
False
Let m = -5 - -3. Let d be -6*(-3)/m + 1. Let z be d + (-1 - 9/(-3)). Which is smaller: z or -5?
z
Let p = 5470/19 + -288. Is p smaller than 0.5?
True
Let c be 1/((2 - 4)/(-4)). Suppose 0 = k - c*v + 8, -2*k - k + v = -1. Let u be 2/8*2*4. Is u less than k?
False
Suppose 0 = 2*p + 11 - 3. Let i = 33 + -47. Let b be (-32)/14 + p/i. Which is bigger: b or -1?
-1
Let o(k) = 2*k**3 - 40*k**2 + 37*k + 17. Let y be o(19). Let w = 11 - 17. Let j be (-3 + 15)*w/40. Is j greater than y?
True
Let w be ((-1)/(-30))/((-6)/(-18)). Is -1 greater than or equal to w?
False
Suppose 0 = -3*z - 2*z. Suppose z = 4*t - o + 2*o, -t - 2*o + 7 = 0. Let k be -2 + 0 + -1 - -1. Is k > t?
False
Let b = -23 + 593/26. Let x = 3/52 - b. Is x > 1?
False
Let b be 0 + ((-55)/(-53) - 1). Let q = 57/106 - b. Are 0 and q equal?
False
Let a(g) = 4*g + 1. Suppose -q - 3*f = -5, 5*f - 11 = -0*q - q. Let z be a(q). Let c be (-8)/z - (-5)/(-15). Which is bigger: 1 or c?
1
Let a be (-2 + (3 - -1))*(-25)/(-200). Suppose 1 = -0*v - v. Is v equal to a?
False
Let h(t) = t**3 + 4*t**2 - 2*t - 5. Let u be h(-4). Suppose -4 = -q, -5*q = u*c - 0*c - 14. Which is smaller: -1 or c?
c
Let w(h) = -57*h**2 - 2*h + 1. Let r be w(1). Let b = r - -231/4. Which is smaller: -0.1 or b?
b
Suppose -5*z - 20 = r, 5*z = -4*r + r - 10. Are r and 6 equal?
False
Let l = -23 + 7. Let c be (-24)/10*(-4)/l. Which is bigger: -2 or c?
c
Let l = -25 - -27. Let a be -1*4/(-8)*l. Is a smaller than 2/27?
False
Let b(p) = -p - 2. Suppose -4 + 12 = -4*w. Let x be b(w). Is x >= 1/2?
False
Let i = -1.33 + 0.33. Let x be ((-6)/(-2))/(1*-5). Which is smaller: x or i?
i
Let a = -6 + 4. Let k = 14 + -9. Which is smaller: k or a?
a
Let p = 12.2 + -11.43. Let d = 5.87 - p. Let i = d + -5. Is i greater than 0?
True
Let t = -0.67 - -0.7. Let m = t - 0. Let h = -2.03 + m. Is 0.1 less than or equal to h?
False
Let x be 0/(2 + (-1)/1). Let a(m) = m. Let s be a(x). Which is bigger: 1/14 or s?
1/14
Let o be -3 - (-2)/1 - -8. Which is smaller: 9 or o?
o
Let v(p) = -p**3 + 3*p**2 - 2*p + 4. Let y be v(3). Suppose -1 - 2 = -h. Suppose -j = -h + 4. Is y less than or equal to j?
True
Let q = -33/2 + 16. Is 0.5 greater than or equal to q?
True
Let b = -4 - -6. Let y = b + -2. Suppose -7*m + 20 + 15 = 0. Which is smaller: y or m?
y
Let p be 0/(-5) - (-5)/(-7). Suppose 3*b = -b. Is b greater than p?
True
Let q(y) = y**3 + y**2 + y + 1. Let s be q(-2). Let k be (-1 + 1)*(-4 + 3). Let f = s - k. Is -6 >= f?
False
Suppose 4*q - 4 - 4 = 0. Let u = 1 - q. Let o be 6/8*(-1)/(-2). Which is greater: o or u?
o
Suppose 0 = -3*j + 3*u + 27 + 27, 4*j = -2*u + 72. Which is greater: 17 or j?
j
Let w be (-253)/(-39) - (-4)/(-12). Let s = w - 6. Let l be 2/(-8) - (-1)/4. Which is smaller: s or l?
l
Let v = -3 - -5. Let i be 0 + (1 - v)*2. Are -5/4 and i non-equal?
True
Let p(x) be the first derivative of -x**4/4 + x**3 - x + 6. Let u be p(1). Is 4 equal to u?
False
Let f be 1/1 - 0/10. Which is bigger: f or 1/15?
f
Let q be 189/(-240) + (-12)/(-20). Which is bigger: -1 or q?
q
Let k be 4*6*2/8. Let a = -2 + k. Suppose -1 = -a*z + 5*z. Which is smaller: z or 0?
z
Let m = 16 + -10. Let k = 6.5 - m. Let d = 0 + k. Which is greater: d or 0?
d
Suppose 2*w - 8 = -2*g, -5*g = -4*w - 0*w - 56. Suppose -2*n = 2*n - g. Suppose 5*k - 6 - 4 = 0. Are k and n equal?
True
Let r be 2*3/18*3. Let y = 10 - 7. Suppose -5*q + 2*g = r, -3*g = y*q - 7*g + 9. Are 8/7 and q equal?
False
Let h = -218/75 - -6/25. Which is smaller: h or 0.2?
h
Let v(h) = h + 1. Let x be v(-4). Let z be 2/4 - 81/(-6). Suppose g + z = -3*c, -g - 6 = -1. Is c > x?
False
Let w = -5 + 4. Let f = 6/5 + -61/30. Which is smaller: w or f?
w
Let b(u) = -u**3 - 6*u**2 - 8*u - 7. Let m be b(-5). Suppose 2*x - 24 = 2*o, -m = 5*o + 12. Suppose 0*g - 2*g = x. Is -4 > g?
False
Let a(t) be the second derivative of t**4/12 - t**3/3 - t**2/2 + 3*t. Let l be a(2). Is -1/5 bigger than l?
True
Suppose -22 = t - 18. Is -4 > t?
False
Let v = 0.2 - 0.3. Let j = 10 - 9. Which is smaller: v or j?
v
Let w = -132 - -919/7. Suppose -v = 4*v - g + 8, 3*v = 2*g - 2. Which is smaller: v or w?
v
Suppose 60 = 3*j + 216. Let k be (-14)/(-21) - j/(-42). Which is smaller: k or 0?
k
Let i = -7 + 14. Suppose -i - 1 = o. Which is smaller: o or -6?
o
Let n be 2*(-69)/2 + 3. Let w = n + 20. Let j = w - -271/6. Which is greater: -1 or j?
j
Suppose 0 = -5*q + 5*k + 5, -q + 17 = -5*q - 3*k. Are q and -5 unequal?
True
Let l be 4/(-88)*(-3 - 1). Let n = l + -28/33. Which is greater: -1 or n?
n
Let u be (-1)/(-3) - (-5)/(-9). Let q = -68 + 68. Are q and u nonequal?
True
Let h = 0.03 - 0.13. Which is greater: 16 or h?
16
Let o = -3 - -3. Let m = 1239/34 - 73/2. Let u = m - -89/68. Is o greater than u?
False
Let m = 2 - 2. Let o be ((-3)/10)/(1/218). Let i = o + 65. Is i > m?
False
Let b = -1.5 + 7. Let u = b - 1.5. Which is smaller: u or 1/2?
1/2
Let n be (-4)/10 - (-501)/15*1. Do n and 33 have different values?
False
Let i = 1 + -1. Let q = 49 - 47.14. Let l = q - -0.14. Does i = l?
False
Let d = 9 - 10. Is d >= 2/47?
False
Let d = -6.9 + 7. Which is bigger: d or -0.5?
d
Let r(s) = -s**3 - 8*s**2 + 7*s - 6. Let w be r(-9). Let z = 17 - w. Suppose -1 = 4*d - z. Which is greater: d or 1/5?
d
Let a(v) = v + 1. Let p be a(-1). Which is greater: -0.02 or p?
p
Suppose 2*i - 4 = -0*r + 2*r, 3*r + 18 = -3*i. Let o be 2 + (1/1 - 0). Let z = -5 + o. Are z and i equal?
True
Suppose -h + 0*h - a + 5 = 0, -h = 5*a - 25. Suppose h = 6*q - q + 5. Which is smaller: q or 3/8?
q
Let g = -121 + 127. Which is greater: 8 or g?
8
Let h = -74/3 - -512/21. Are h and -1/8 unequal?
True
Let z = 1.973 - -0.027. Which is smaller: z or -0.17?
-0.17
Let u = -16 + 17. Let d be (-1)/(4/12)*u. Let g = -3 + -1. Do d and g have different values?
True
Let d be (9/(-48))/(11/(-566)). Let s = -6818/33 - -592/3. Let t = d + s. Which is bigger: t or 0?
t
Let y be 4*2/4 + 2. Let g(v) = -v - 3. Let b be g(-7). Suppose y*f - b = 4. Which is bigger: f or 2/3?
f
Let b = 0.23 + -0.1. Let w = -377/5 - -75. Which is smaller: b or w?
w
Let p be ((-6)/5)/((-60)/(-40)). Which is smaller: p or -1?
-1
Let g = -914/91 - -138/13. Which is bigger: 0 or g?
g
Let z = 9.6 - 12. Let w = z + 0.4. Is w at least 1?
False
Let r(g) = -3*g**3 - 2*g**2 + 2*g + 4. Let a be r(-2). Is a bigger than 16?
False
Let k be (1/3)/(96/(-72)). Is k less than 19?
True
Let b = 0.8 + -2.8. Is b > 0.4?
False
Let y = 14 + -23. Let x = y - -9. Is 0 at most x?
True
Let p = 4 - 8. Let k = p + 1. Let o = -2 - k. Is o less than or equal to -1/7?
False
Suppose -7 + 0 = 3*w + 2*v, 5*v - 17 = 4*w. Let g be (3 - 8)/1 - w. Which is smaller: -1 or g?
g
Let i = -12