c, 3*c = 2*a + 5 + 6. Which is smaller: 3/167 or a?
a
Let r = 8 - 3. Suppose r*q - 5 = 5. Let d be (-10)/100 - q/5. Is d at least -4?
True
Suppose 5*i - 4 = 6. Suppose 4*s - r + 3 = i*r, -s + r = 1. Let h = 191 + -2864/15. Is s at most h?
True
Let s = 16 - 13. Let m be (-10 - 0) + 1 + s. Is -6 less than m?
False
Suppose 0 = -o - 3*t + 24, -4*o = -5*o + 5*t - 16. Let u be ((-3)/o)/((-3)/39). Which is smaller: u or -1/4?
-1/4
Let y = -27 + 103. Do y and 77 have the same value?
False
Let w(g) = -g**3 - g**2 - 5*g + 85. Let c be w(5). Which is smaller: 4 or c?
c
Suppose -361 = -4*a + 247. Does 153 = a?
False
Suppose 17*a = 1 + 50. Suppose 0*s + a*s - 3 = 0. Let j = -12/89 + 459/1424. Which is bigger: s or j?
s
Let w = -20 - 60. Let x be 2/10 - (0 + (-36)/w). Is -0.02 > x?
True
Let w(k) = 3*k - 17. Let c = -24 - -30. Let v be w(c). Suppose 2*b = 3*b + 1. Which is smaller: v or b?
b
Let t = 266 + -344. Are t and -76 equal?
False
Suppose -2*i = -48 + 230. Are -92 and i equal?
False
Suppose 3*f - 4*i = 25, 27*f - 2*i - 5 = 28*f. Let g(t) = 5*t**2. Let y be g(-1). Suppose m - y*m + 3 = -f*x, 4*x + 3*m = -4. Which is bigger: x or -2?
x
Let g = -0.1623 + 0.2523. Are g and 51 equal?
False
Let x(z) be the first derivative of -3*z**2/2 - 23*z - 1. Let t be x(-11). Suppose -2*o + 2*u = o - t, -20 = 4*u. Is o less than 1/3?
True
Let x be ((-2)/(-5))/((-88)/(-600)) + -2. Let d be ((-40)/6)/((-4)/12). Suppose d = 4*a - 5*v, -3*v - 8 = -4*a - v. Which is bigger: x or a?
x
Let v = 0.082 - -0.118. Is v equal to 37.9?
False
Let q = -2400 - -328796/137. Which is smaller: -1 or q?
-1
Suppose 5*a - 2 = 4*y - 0, -2*a = -2*y - 2. Let b = y - 0. Let m = -3 - b. Is -1/24 greater than m?
False
Let x = 70.6 + 17.4. Let o = 49 - x. Is o bigger than 0.1?
False
Let j be (-322)/(-49) - 9/(-21). Suppose -t = j + 10. Is t bigger than -18?
True
Suppose 5*f + 520 = 4*l, -5*f - 5*l - 520 = -4*l. Let p = 30 + f. Which is bigger: -73 or p?
-73
Let j = -35.04 - -37. Let l = j + 0.04. Let s = -1.94 + l. Which is bigger: s or -0.1?
s
Let y = -78 - -78.31. Let b = 18921 - 18923. Which is smaller: b or y?
b
Let y(p) = -p**3 + 5*p**2 + p - 3. Let s(j) = 3*j + 1. Let x be s(1). Let a be y(x). Do 17 and a have the same value?
True
Let x be (-78 + 76)/((-4)/(-22)). Is x at least -88/9?
False
Let h be (-52)/(3 + (-8 - -2) + 1). Let w = h - 180/7. Which is smaller: 59 or w?
w
Let l be ((-9)/27)/((-1)/(3/5)). Are l and -2 unequal?
True
Suppose -4*l = -0*l + 4. Let o = -7 + l. Let n = -25 + 18. Which is greater: n or o?
n
Let l be (-16)/8*(-3 - 267/6). Let b = l + -84. Are b and 13 non-equal?
True
Suppose 0 = -5*l + 4*f, -4*l + l - 2*f = 0. Is l equal to -3/130?
False
Let c = 124.5 + -125. Is -0.14 not equal to c?
True
Suppose 9 = c - 2*f + 5*f, 12 = -5*c + 4*f. Suppose 0 = u - 2*h - 0*h + 3, -u + 3*h - 5 = c. Is u smaller than 6?
True
Let k = 85.9316 + 0.0684. Is -2 >= k?
False
Let r = -19 + 27. Suppose 8*f = 12*f + r. Suppose 2*j = -q - 1, -2*q = 3*j + 3*q - 2. Is j >= f?
True
Suppose 8*j - 6*j = 0. Suppose 145 - 21 = -3*m - x, 5*m - x + 196 = j. Which is smaller: m or -39?
m
Let s be (0 + (-4)/(-85))/((-40)/(-300)). Is -1 > s?
False
Let f = -43 + 60. Let b(u) be the second derivative of u**3/2 - 7*u**2 + 2*u. Let i be b(10). Are f and i equal?
False
Let w = 0.4 + -0.2. Let m(z) = 2*z**2 - 70*z - 81. Let f be m(36). Is w at most as big as f?
False
Suppose 2*i - 3*a - 40 = -175, 5*i + 3*a + 285 = 0. Is i equal to -57?
False
Let i be 0 - 1 - (14 - (-3 - 1)). Which is smaller: i or -17?
i
Let u = 276 + -275. Does u = -3/254?
False
Let z(n) = -n**2 - 3*n + 87. Let j be z(8). Which is greater: -1/4580 or j?
-1/4580
Let d = 9.8 + -10.37. Let i = d + 0.47. Which is smaller: i or -50?
-50
Let f(l) = 4*l + 1. Let c be f(-14). Let j = 42 + c. Which is bigger: j or -14?
j
Let a be 0/(6/9*-3). Suppose -4*u - 1 = -2*j - 15, a = 3*u - 5*j. Suppose -x = u - 2, -3*l = -3*x. Which is bigger: l or 3?
3
Suppose -30*w = 4*t - 27*w + 430, 2*t = 5*w - 228. Is t bigger than -111?
True
Let m = -182 + 181. Let x = -275/8 - 235/24. Let t = x - -44. Is t bigger than m?
True
Suppose a = -h - 2, 4*h - 3*a - 35 = -8. Let m be -3 + h + 3/(-4). Which is greater: m or 3?
3
Let c = -8 + 8.01. Let q = 0.99 + c. Let g = q + -1.1. Is 3 less than or equal to g?
False
Let w = 212 - 400. Is w less than or equal to -188?
True
Suppose -32*s = -93*s - 22814. Which is smaller: s or -371?
s
Suppose -8*d - 4*d + 600 = 0. Let h = d + -51. Is h <= 23?
True
Let i = 13 - 6. Let s(c) = c**2 - 5*c - 15. Let d be s(i). Which is smaller: -2/49 or d?
d
Suppose -x = -42 - 15. Let l be 7*((-85)/(-35) - -3). Suppose 0 = -2*s + 10, s = 5*d + l + x. Is -19 not equal to d?
True
Let d be (-269)/2*4/(-18). Let o = 94/3 - d. Let w = 85/63 - o. Is w at least -1?
True
Let t be (-20)/(-6)*(-6)/(-5). Suppose 0 = -r - 0*g + 4*g - 3, -3*g = 3*r - 21. Suppose 5*h = -p + 21, 0*h - r*h - 4*p + 9 = 0. Which is smaller: h or t?
t
Let x = -6 + 5. Let d(k) = -k**3 - 16*k**2 - 17*k - 18. Let m be d(-15). Let p = 8 - m. Which is greater: p or x?
x
Let n = -397 - -397.3. Does n = 0.2?
False
Suppose -4*a = -3*r - 2363, -6*a - 2977 = -11*a - 4*r. Is a > 593?
False
Suppose -1 = 3*s - 10. Suppose g = s*g + 2. Let o be -2 - -2 - (-3 - -3 - -3). Is g at most as big as o?
False
Suppose -5 = -5*g - 5. Which is greater: g or -0.34?
g
Let t be (-7)/(-2)*-2 - -1. Let i be 7*(-3)/(t - -3). Suppose -i = w - 4*z - 0, -2*w - 4 = -3*z. Is 4/13 at most as big as w?
True
Let j(t) = -t**3 + 11*t**2 + t - 5. Let l be j(11). Let d(y) = y**3 - 6*y**2 + 3*y - 9. Let n be d(l). Suppose -n = 3*h + 3. Which is smaller: h or -7/2?
h
Let o be (1 - (3 - -2)) + 7. Which is smaller: -0.2 or o?
-0.2
Let n = -61 + 1770/29. Let f = -11 + 3. Let b be 1/4 + 10/f. Which is bigger: n or b?
n
Let m = 296 + -1482/5. Is 258 equal to m?
False
Let d be ((3/4)/(2/4))/((-56)/7). Let l be (-2)/(-1) + -2*1. Which is smaller: d or l?
d
Suppose 0 = -5*p + 3*b - 10, -2*b = -5*p - 5 - 0. Which is bigger: p or -10/43?
p
Suppose 3*g - 4 = 2*z, 5*z + 3 = -g - 24. Which is bigger: -22/19 or g?
-22/19
Let u be ((-45)/(-12) - 6)/((-7)/56). Which is smaller: u or 177/10?
177/10
Let i = -0.321 - -17.321. Is -2 at least i?
False
Let q = 80 - 79. Which is smaller: -84 or q?
-84
Let d be (-2 - -1)*(13 - -3). Let k = -3 - -5. Suppose 0 = -k*s - 32 + 2. Does d = s?
False
Let o(n) = -4*n - 35. Let d(j) = 2*j + 17. Let a(f) = 13*d(f) + 6*o(f). Let g be a(-3). Is g greater than 6?
False
Suppose -35 = 2*k - 39. Suppose -k*y + 25 = -7*y. Let v = 0.8 + -1. Is v at most as big as y?
False
Suppose -2*c = -6, 0 = 3*j - 0*j - 3*c + 9. Let f = -3 - j. Let l be (1/f)/((-5)/(-15)). Is -9/7 at least l?
False
Let y = -134/215 + 1/43. Let d = -2.28 - -0.28. Is d less than y?
True
Suppose 12 = -5*a + 8*a - 4*l, -12 = 2*a + 4*l. Which is bigger: a or -2/327?
a
Let h = 25 - 23. Suppose -h*x = -x. Let f(p) = -p**3 + p**2 + 1. Let l be f(x). Which is bigger: 2 or l?
2
Let q be 4 + 15/(-9) - 0/(-3). Is q > 1?
True
Let h = -1.1 + 1. Let x(v) = -5*v - 1. Let c be x(2). Let y(d) = -d**2 - 11*d. Let k be y(c). Is k > h?
True
Suppose -21*a + 116 = o - 26*a, 0 = -3*o + 5*a + 388. Which is smaller: 135 or o?
135
Let x = 26 - 24. Let p be (x/14)/((-21)/6 + 0). Which is smaller: p or 1?
p
Let u = 0.794 - 1.794. Is u < -199?
False
Let k = 3 - 3. Let j(l) = -l**2 - 11*l + 10. Let o be j(-12). Let i be ((-8)/(-12))/o*0. Is i > k?
False
Let o be -6 - -246 - (2 - 1 - 1). Suppose 6*p - o = -9*p. Which is greater: 14 or p?
p
Let q = -3.21 + 3.31. Is q <= 3/16?
True
Let a(c) = 58*c**2 + c + 3. Let q be a(-1). Suppose -8*n = -5*n + q. Is -20 at most as big as n?
True
Let r(i) = 3*i + 33. Let p be r(-10). Let c be (p/(-3 - -9))/((-100)/15). Which is bigger: 0 or c?
0
Let o = 0 - -1. Let m = 47/14769 - -113203586/251073. Let k = -451 + m. Is k != o?
True
Let k = -2453 - -2452.6. Is k bigger than -39?
True
Suppose 2*x + 2*x = h + 325, -4*x - 3*h = -337. Let f be x/(-20) - (-3 + -1). Is 0 >= f?
True
Let a(w) = w**2 - 20*w + 1. Let z be 8 - (-1568)/88 - (-4)/22. Let r be a(z). Which is smaller: r or 158?
r
Let i be ((-4)/6)/(24/45). Is i at least -2?
True
Let d = 830/3 + -275. Is d greater than 0.3?
True
Suppose -4*c + 28 = -4*y, 2*y = -6*c + 3 - 1. Is c at most 40?
True
Let 