+ 5 = 13. Let n be (8/10)/(y/(-5)). Is n < -1?
True
Let v = 33 + -27. Is v at least 1/5?
True
Let p be (-3)/81*(-6)/4. Let f = p + -7/18. Which is smaller: -1 or f?
-1
Let i(o) = -o**3 + 4*o**2 - 2*o - 4. Let b be i(4). Let v be 3/(((-675)/b)/5). Is -1 >= v?
False
Let o = -181/1394 + 1/82. Let h be 0 - (-1 + (-3 - -3)/1). Are o and h nonequal?
True
Suppose -5*j - p = -117, -5*j - 6*p = -3*p - 111. Let w be j/9 + 6/(-9). Let v = -2 + w. Do v and 2/11 have different values?
True
Let v = -51 - -50. Which is greater: v or 1/156?
1/156
Let n = 4/33 - 89/99. Let f = -23/18 - n. Suppose -5*x = 11 + 4, 18 = -2*p - 4*x. Which is smaller: f or p?
p
Let f = -194 - -811/3. Let q = -77 + f. Do q and -1 have the same value?
False
Suppose 2*r + 4 = -t - 2*r, -r - 1 = 0. Is t greater than -2/5?
True
Let c = 0.065 + -5.065. Is -4 at least c?
True
Suppose -7 = -x - 2*y, 0 = 4*x - y + 7 - 17. Let g = -2 + x. Is 0 bigger than g?
False
Let c(d) = -4*d + 39. Let a be c(10). Is -1/26 less than a?
False
Suppose -h - 4*h = -20. Is h > 4?
False
Let n(s) = -s - 4. Let m be n(-5). Let a = -18 + 16. Which is smaller: m or a?
a
Let r = -68 + 47.1. Let p = 21 + r. Are p and 2/7 equal?
False
Let o(p) = p + 7. Let r be o(-6). Let b(v) = 18*v - 2. Let n be b(-3). Let z = -337/6 - n. Is r less than or equal to z?
False
Let b = 2/61087323 + -4570736768975/4459374579. Let x = -1025 - b. Which is greater: x or 0?
0
Suppose 21*f = 27*f - 384. Which is bigger: 0 or f?
f
Let d be 28/(-10) - 9/45. Let w be 1/d*18/24. Which is smaller: -1 or w?
-1
Suppose 0 = -z - 9*g + 4*g + 4, -g = -4*z + 58. Let y = z - 10. Is 3 greater than or equal to y?
False
Let l = -0.4 - -1. Let y = l - -0.2. Let b = 2.8 - y. Is b bigger than 1/3?
True
Let z = -12.78 - -13. Let g = -6.98 - -7. Let b = g - z. Which is smaller: b or 1/2?
b
Let h = 3/514 - 1193/28270. Which is smaller: h or -1/2?
-1/2
Let c be (-26)/(-53)*14/20. Let i = c - -3/53. Which is bigger: -1 or i?
i
Let w = 70 - 28. Which is greater: w or -1/3?
w
Let y = -1.29 + 0.09. Let b = -0.2 - y. Do b and 0 have the same value?
False
Let g be 4/10 - 6/(-10). Let p = -16 + 37. Let d be ((-39)/p - -2)*1. Is d smaller than g?
True
Let i be 51/105 - 5/((-105)/(-6)). Do 9 and i have the same value?
False
Suppose -5*v = -4*v - 13. Let g = -13 + v. Which is smaller: 2/9 or g?
g
Let h be (2 + -5 - (-25)/10)/(-1). Which is bigger: h or 5/7?
5/7
Let t(y) = 14*y - 2. Let x be t(-3). Let u = -173/4 - x. Which is bigger: -2 or u?
u
Let r(j) = -4*j**2 + 15*j - 18. Let o(a) = 9*a**2 - 31*a + 35. Let c(y) = -3*o(y) - 7*r(y). Let s be c(9). Suppose 0 = -p - 1. Which is smaller: p or s?
s
Let t = 10 + -8. Which is smaller: 2/7 or t?
2/7
Let r = 0.1 + -0.1. Let m = -0.1 - r. Suppose 60 - 8 = -13*o. Which is bigger: o or m?
m
Let b(i) = -i + 2. Let x be b(3). Do x and 0 have the same value?
False
Suppose -5*d + 48 = 4*c, 5*d + c - 63 = 2*c. Is 11 > d?
False
Let a(v) = v**3 + 2*v**2 - v - 1. Let t be a(-1). Let k be 2 + (t - 11/3). Let f = -0.06 + 0.06. Which is greater: f or k?
f
Let t be 6*(-5)/(-30)*(1 - 1). Is 2/45 greater than t?
True
Suppose 6*l = l - 175. Let q be 34 + -7 + (-4 - -1). Let y be q/l - (-6)/21. Is y bigger than 0.05?
False
Let u(w) = 2*w - 3. Let n be u(3). Suppose -4 = n*v - v. Let h be (-6)/(-20)*50/(-20). Is h < v?
False
Let i = 16 + -16.19. Let p = 6.99 + -7. Let v = p + i. Which is smaller: v or 2/3?
v
Let n = 0.118 + -0.418. Let m = -0.1 - -0.1. Are n and m unequal?
True
Let s be ((-14)/(-8))/((-8)/(-64)). Which is bigger: 15 or s?
15
Let q(i) = -10*i**2 + i. Let h be q(1). Let u(f) = -f**2 + 8*f - 11. Let s be u(8). Let x = -20 - s. Is h at least x?
True
Let g(f) be the first derivative of 1/4*f**4 + 2 + 4/3*f**3 - f + 3/2*f**2. Let i be g(-3). Which is smaller: i or 2/7?
i
Suppose -3 = -t - 0*t. Suppose -7*o = -t*o. Which is greater: 2/3 or o?
2/3
Let s = 27 + -30. Are s and 3 unequal?
True
Let i = -9 - -10. Let x be (4/56)/(i/2). Is -1 >= x?
False
Suppose -3*k - r = -1, 4*k + 2*r - 5 = k. Is -1/2 <= k?
False
Let d(c) = -c**3 - 6*c**2 - 5*c - 2. Let s be d(-5). Let q be s/(-4)*12/(-21). Is q greater than or equal to -1?
True
Suppose -2*l = -5 - 5. Suppose -13 = s - 5*d, l*s - 3*d = -8*d + 25. Which is smaller: s or 3?
s
Let x = 16 + -15. Is x less than or equal to 5?
True
Suppose 3*b = 1 + 20. Suppose -b*q = -2*q. Which is smaller: q or 1/2?
q
Let s = 3/4 + -1/2. Let b = -12 + 7. Let p(d) = d**3 + 5*d**2 + d + 4. Let g be p(b). Is g at least as big as s?
False
Suppose -5*a + 41 = -2*o, 5*a + 31 = o - 3*o. Let r be o/10*(-2)/(-12). Is 0 smaller than r?
False
Let o = 3.91 + -4. Let c = -1.013 - 0.077. Let b = o - c. Is -0.1 less than b?
True
Let q = -3 - -8. Suppose a + 5*j + 7 = 0, j - 6*j + q = -5*a. Which is smaller: a or -3?
-3
Let u be ((-33)/(-180))/11*-2. Do 0 and u have different values?
True
Let u = 2003/9 + -685/3. Which is greater: u or -7?
u
Suppose -u - 1 = -4*t, -2*t + u = -u - 8. Which is bigger: t or 1/101?
1/101
Let u = -0.1 - -0.3. Suppose -2*k = 7 - 1. Let q be k/(2/(12/9)). Is u > q?
True
Let r = 0.1 + 0. Suppose 2*a - 6 = -10. Let h be (a/(-4))/(6/4). Is h greater than r?
True
Suppose 3*l + 2 = 5*l, -3*d + l = -29. Which is bigger: 13 or d?
13
Let i be -11 + 2 - (-6)/2. Suppose 4*c - 23 = 8*p - 3*p, p + 13 = 5*c. Suppose -c*r = 20 - 6. Which is smaller: i or r?
r
Let o = 109 - 39. Let l = 559/8 - o. Which is smaller: 1 or l?
l
Let t(q) = q**2 + 2*q - 5. Let o be t(-4). Let k be (1 - o - -3) + 2. Let f be (k/(-3))/(3/(-2)). Which is smaller: 2 or f?
f
Let i = -0.16 + 0.29. Let c = -5.87 - i. Which is bigger: -1 or c?
-1
Let u be (-1 + -2)*2/(-6). Is 0.52 less than u?
True
Let c = -2/169 + 686/845. Let h = 2 - 1. Which is greater: h or c?
h
Let o = 23 - 23.26. Let h = o - 0.04. Which is bigger: h or 2?
2
Let b = -148853/111 - -1341. Which is smaller: b or 0?
b
Let x = 58 + -58. Let f be (4 - 2)*2/4. Suppose 2*q = q - f. Does q = x?
False
Let i = 35 + -34.96. Which is greater: i or 5?
5
Let t = 0.01 - 0.01. Let q = t + -4. Which is greater: -1/4 or q?
-1/4
Let y = 31 + -31. Suppose h + 0*n = 5*n - 9, 0 = 4*n - 8. Which is smaller: y or h?
y
Let t = 7 - 13. Let a be (t/(-1) - 3) + -8. Which is smaller: a or -4?
a
Let u = -2.7 - 30.3. Which is bigger: u or -0.1?
-0.1
Let k(g) = -15*g. Let y be k(-1). Is y less than 16?
True
Let l be 3 - ((-108)/(-8) - 3). Which is bigger: -7 or l?
-7
Let x = 544/7 + -78. Which is smaller: x or -0.1?
x
Suppose 4*h + 6 = -2. Let l(i) = 4*i**2 + 4*i + 2. Let j be l(h). Let t be j/14 + (-2)/(-7). Which is smaller: t or 2/5?
2/5
Let p(w) = -2*w - 2. Let z be p(-2). Suppose 5*u + 18 = 4*l + 3*u, -2*u - 8 = -z*l. Suppose -l*r + 13 = 3. Which is greater: 3 or r?
3
Let h(i) be the third derivative of 1/15*i**5 - i**2 + 1/120*i**6 - 5/6*i**3 + 0*i + 0 - 1/24*i**4. Let j be h(-4). Is j != -5/6?
True
Let q = -26 + 27. Let z = -533/110 - 21/22. Let n = z - -111/20. Which is smaller: q or n?
n
Let x be (165/12)/(-5)*4. Let b = -7 - x. Is 4 less than or equal to b?
True
Let v be (15/(-25))/((-3)/16). Let w = v + -53/15. Let z = 0 + 0.1. Which is bigger: z or w?
z
Let s(c) = c**3 - 2*c**2 - 3*c. Let u(t) = 2*t - 1. Let m be u(2). Let b be s(m). Let v = -27 - -163/6. Is b less than v?
True
Suppose -j + 5*s + 164 = -5*j, -122 = 3*j + 4*s. Are j and -1 non-equal?
True
Let q = -88 + 101. Which is greater: 11 or q?
q
Suppose q = x + 2*q + 1, -2*x + 7 = 5*q. Let s be (-2)/(-8) + (-7)/x. Which is greater: 1 or s?
s
Let w be (-2)/((-1)/7*141). Let b = 332/2397 - w. Let d = 88/357 + b. Does d = -1?
False
Let z = 15 - 11. Let g = -3 + 1. Let x be g - (-1 + (-5 - -1)). Which is smaller: z or x?
x
Let n be (-8)/36 + 550/45. Is n bigger than 11?
True
Let d = -19.1 - -20. Is 0 smaller than d?
True
Let w = 0.105 - 1.085. Let q = -2.98 - -3. Let g = q - w. Is 2 <= g?
False
Let d(t) = -t**2 - 3*t + 1. Let s be d(-3). Let v = 14 - 12. Does s = v?
False
Let c be (-66)/15 - (-2)/(-10). Is c <= -5?
False
Suppose 0*o - 28 = 2*o. Let a be 3/2*o/(-21). Which is smaller: 1/5 or a?
1/5
Let v = -85/18 - -9/2. Let c = -2 - -3. Is v greater than c?
False
Suppose 0 = 4*g + 2*i - 16, -3 = 5*g - 4*i + 3. Let y be g/9 + 38/(-9). Which is greater: -1 or y?
-1
Let a(t) = -t + 10. Suppose -2*p + 6*p = 0. Suppose p = -4*m + 39 + 1. Let d be