s -6 less than or equal to v?
True
Let f = 0.0252 + 0.0348. Let k = -7.76 - -6.7. Let n = k + f. Which is smaller: -2/7 or n?
n
Let q = -303 + 312. Let m(i) = -5*i - 4*i**2 + 3 + i - i + 5*i**2. Let h be m(6). Is h != q?
False
Let s = 88.4 - 93.4. Does 4.3 = s?
False
Suppose -1 + 2 = -r. Let l be r/(-2)*(-3)/2. Suppose -p - 4*p = 0. Which is greater: p or l?
p
Let g(m) = m**3 - 5*m**2 - 6*m - 4. Let h be g(6). Let r be (-8)/3*102/68. Are r and h equal?
True
Let h be (-1)/((-25)/(-60)*(-4)/10). Suppose -3*t + 24 = -0*t. Which is bigger: t or h?
t
Let i(q) = -q - 3. Let x be i(-9). Let w = 5 - x. Let c be 6/14*w/(-2). Is 1 at most as big as c?
False
Let u = 3 - 1.8. Let v = -2.3 + u. Let b = 1.6 + v. Is b bigger than 2?
False
Let i be (7/((-21)/4))/(2/264). Let g = i - -14431/82. Which is smaller: g or 0?
g
Let g(y) = -15*y**3 + 3*y + 10. Let f be g(-2). Are f and 125 non-equal?
True
Let z be 1*(5 - -1)*(-240)/72. Let j = z + -1. Is j equal to -20?
False
Let s = 466 - 416. Is s <= 49?
False
Let c = 141 - 91. Let f = 49.73 - c. Which is bigger: f or 2/3?
2/3
Suppose g - 49 - 24 = 0. Which is greater: g or 71?
g
Let w(f) = f**3 - 18*f**2 - 16*f - 72. Let y be w(19). Is 0.6 less than y?
False
Let p = -1374/55 + 124/5. Are p and -33 equal?
False
Let d(s) = -s**3 - 18*s**2 - 16*s - 15. Let h be d(-17). Let j be (0 - (0 - 1))/(-1). Let v be j/(-2 - h/20). Is v at least as big as 3?
False
Suppose -4*b = 12, -5*b + 285 = -7*w + 4*w. Which is greater: w or -708/7?
w
Suppose -4*u - 93 = -5*p, 2*p - 22 = 4*u + 8. Let j = p - 10. Which is smaller: -1/3 or j?
-1/3
Let w(a) = a**3 - 3*a**2 - 7*a - 2. Let d be w(5). Suppose 3*m - 4*t - 45 = -7*t, 4*m - 2*t - 42 = 0. Which is bigger: d or m?
d
Suppose 3*t = -4*k + 9 - 51, 3*t = 5*k - 42. Let y = 178.9 + -179. Is y bigger than t?
True
Suppose -155*u - 174 = -161*u. Which is smaller: -0.2 or u?
-0.2
Let p = 0.897 - 0.853. Which is smaller: 6 or p?
p
Let d be -19*7/(-35) + -4. Suppose -10 = 4*j + 2*c, 0 = 4*j + 5*c + 6 + 19. Are d and j non-equal?
True
Let y = 6 + -6.1. Suppose 0 = -5*v + 2*d + 4, -3*d + 4 = -5. Suppose v*j + j - 15 = l, 2*j - 3*l = 10. Is j bigger than y?
True
Let x(v) be the second derivative of -v**3/2 - 14*v. Let w be x(1). Is -3 greater than w?
False
Let w(y) = y - 3. Let g be w(1). Let h be -1*((-16)/116)/g. Let n = 43/203 + h. Are 1 and n non-equal?
True
Let i = -11 + 18. Suppose i*y = -59 + 3. Let l be -13 + (-5)/(20/(-12)). Which is greater: l or y?
y
Let y(l) = l**3 + 10*l**2 + 5*l + 15. Let u be y(-10). Let f be 10/u - 208/(-924). Let b be (-2 - 0) + 2/2. Is f smaller than b?
False
Let p(i) = i**3 + i**2 - 9*i - 8. Let g be p(-3). Which is smaller: -9/47 or g?
-9/47
Suppose -2*q - 5 = 21. Do -86/7 and q have the same value?
False
Let j(v) = -5*v**2 + 16*v - 4. Let s be j(7). Let q = s - -2604/19. Which is bigger: 0 or q?
q
Let b = 0.04 - -2.96. Let f be (-3)/(-2)*3*(-8)/162. Which is bigger: b or f?
b
Suppose 0 = 4*n + 4*z - 32, -5*z + 30 = -2*n + 5*n. Suppose -3*f = -n*f + 24. Which is greater: 0 or f?
f
Let l be (856/(-156220))/(3/(15/(-4))). Which is bigger: l or 1?
1
Suppose 43 - 183 = 5*u - 5*x, -5*u - 143 = -2*x. Which is smaller: -28 or u?
u
Let z(a) = a - 1. Let w be z(6). Let n(f) = f**2 - 5*f + 3. Let r be n(w). Let y = 12.2 - 11.9. Is y at most as big as r?
True
Let t be (7/(-21))/((-3)/72 + 0). Suppose -4*b - t = -56. Which is smaller: b or 14?
b
Suppose 3*n = -146 + 473. Is 112 bigger than n?
True
Let f = -93 - -151. Does f = 57?
False
Suppose -21 = -5*w - m, -2*m + 5*m + 7 = -w. Suppose 5 = 6*x - w*x. Is x less than or equal to 5?
True
Suppose u + 4 - 7 = c, u - 3 = -3*c. Let t = 14.5 - 13.95. Which is smaller: t or c?
c
Let l = -0.14 - -0.21. Let p = l - -0.13. Let g = -4 - -3.9. Which is smaller: p or g?
g
Suppose 5 = -b, 4*b = 5*p + 5*b + 50. Let a(k) be the second derivative of -k**5/20 + k**4/3 - 5*k**3/6 - k**2 - 17*k. Let r be a(3). Is r equal to p?
False
Let z(t) = -t**2 + 13*t - 16. Let m be z(11). Let i = m + 19. Is i > 24?
True
Suppose -3*l + 0*l = -12. Suppose l*r = -2 + 6. Let d be ((-1 + r)/(-1))/(-2). Which is smaller: d or -1?
-1
Suppose 2*i + 2 + 0 = 0. Let f(h) = h**2 + 16*h - 3. Let l be f(-16). Is i greater than l?
True
Let n = -83.3 - -83. Let y = -12.93 + -0.07. Is y bigger than n?
False
Let h be 2/9 + (-1)/(-9). Which is smaller: h or 462?
h
Suppose -o = -5, 0*o - 3*o = -2*c - 31. Let k = -92 + 84. Let u = k - c. Is 0 < u?
False
Suppose -4*b + 6 = -2*b. Let v = 363 + -358. Which is smaller: v or b?
b
Let u be 33/(-231) - 45/(-301). Is u != 0?
True
Let t = 0.08 - 0.186. Let x = 0.006 + t. Do -0.09 and x have the same value?
False
Let c(s) = s**3 - 17*s**2 - 16*s - 6. Let h = -23 - -41. Let q be c(h). Are 31 and q equal?
False
Let j(o) = -2*o**3 - 3*o**2 - 3*o. Let p be j(-2). Let x = 21 - p. Suppose 0 = x*a - 13*a - 12. Is a >= -6?
True
Let h = 6 + -9. Let i be ((-198)/(-12))/11*-4. Is h >= i?
True
Suppose 5*w + 6 = 56. Suppose -w*x + 105 = -3*x. Suppose -x = 2*b + 3*b. Is b at least as big as -3?
True
Let d = 97 - 95. Let j(q) = -q**3 + 5*q**2 + 8*q - 9. Let m be j(6). Which is smaller: m or d?
d
Let p = -5 - 92. Let g = p + 114. Is 3 >= g?
False
Let f = -0.165 + -49.835. Which is greater: f or 1.9?
1.9
Suppose -138 = -9*h - 2757. Which is smaller: h or -292?
-292
Let t be -1*((-28)/6 + 2). Let o = 52 - 49. Suppose 4*k + 4*r = 16, -o*k - 4*r = -7*k. Is k not equal to t?
True
Let i = 121 + -1567/13. Let s be ((-7)/((-7)/(-10)))/(-1). Suppose -2*n + s = 2*w - 6*n, n - 1 = 4*w. Is w < i?
True
Suppose -9*o + y = -13*o + 82, -11 = -o - 5*y. Which is bigger: 6 or o?
o
Let b be ((-12)/(-30))/(93/40 + -2). Which is smaller: b or 2?
b
Let l = 143 - 262. Is -120 less than l?
True
Suppose -6 = 3*l - 6*l + 3*b, 4*b + 5 = 5*l. Suppose 2*k + 2*g = -2*g - 4, g - 2 = -2*k. Suppose -u = u + k, -d + 3 = -5*u. Which is smaller: l or d?
l
Suppose v - 7 = -35. Let z be ((v/(-6))/7)/(2/30). Is z greater than or equal to 10?
True
Suppose -5*h + 20 = 0, w - 4*h = 3*w - 20. Let o be (1184/(-12))/(w/6). Let t be 2/(-8) + (-58)/o. Which is greater: t or -1?
t
Let b be (-4 - 273/(-70))*3. Is 2/17 > b?
True
Let b = 4822 - 284490/59. Which is greater: 1 or b?
1
Let a = -21 + 21. Let i = 51 - 53. Which is smaller: a or i?
i
Let j = -9 - -8. Let m = 3 + j. Suppose 0 = -m*i - t - 3, 3*t = -i - 9. Which is smaller: -2/19 or i?
-2/19
Suppose 2*p - 3 = -f + 3*p, 5*f + 3 = -4*p. Do -1/61 and f have different values?
True
Let i = -7 + 5. Let r be i - (-1 + (-4 - -4)). Which is smaller: 2 or r?
r
Let z = -4.4 + 4. Let n = z + 0.4. Let w be (2/(-1))/(20/50*-10). Is n greater than or equal to w?
False
Let r = 0.07 + -0.17. Let l = 0 - -0.4. Let o = l - 1.4. Which is greater: r or o?
r
Let f(l) = l**2 - 2*l + 2. Let u be (-2 - -3)*2*1. Let k be f(u). Let m be ((-4)/(-5) - 1)/(18/(-72)). Is m at least k?
False
Let j = -10 - 11. Let i = -20 - j. Let t be ((-9)/(-2))/(i + 2). Is t != 2?
True
Let j(r) = 582*r**3 + r**2 - r. Let x be j(1). Let p be 400/x*1 + 4/(-6). Is 1 equal to p?
False
Let b(l) = -l**3 + 6*l**2 + 9*l - 4. Let t be b(7). Suppose 8*y + t = 3*y. Let n(z) = z**3 + 4*z**2 - 5*z - 3. Let p be n(-5). Which is bigger: y or p?
y
Suppose -9*j + 6*j - 69 = 0. Let h be ((-23)/2)/(2*(-5)/(-20)). Is j != h?
False
Let a be 4/20 + 1661/(-55). Which is smaller: -28 or a?
a
Let c be -185 + (1/6)/((-16)/(-192)). Is c at least 0?
False
Let q = -56 + 61. Is q <= 1.1?
False
Let f = 13 + 10. Do 25 and f have different values?
True
Let o be 6/4 + (-2)/(-4). Let n = 4 - o. Suppose -p - 5*m = -1, m + 5 = p - n. Which is smaller: p or 3?
3
Let f = 60 - 60. Which is smaller: 2/153 or f?
f
Let o be 2/(-533)*(4 - 17). Which is smaller: -106 or o?
-106
Let m = -430 + 437. Do m and -5 have the same value?
False
Let z = -8 + 9. Let k = -1.35 + 2.35. Is z at least k?
True
Suppose 14*z = -28 - 0. Suppose -2*t - 2*t - 748 = 0. Let j = -938/5 - t. Which is smaller: z or j?
z
Let z = -1953 - -1953. Let o be (-4)/14 + 38/84. Which is bigger: o or z?
o
Suppose -t + 6*t - 20 = 0. Suppose 23 - 19 = 2*l. Which is greater: t or l?
t
Suppose -3*y = 2*o - 389, o + 2*y = 53 + 142. Is o at least 196?
False
Let o(a) be the first derivative of 17*a**3/3 + 2*a**2 + a + 12. Let h be o(-1). Is h greater than or equal to 14?