173/4 - v. Let k = -5 - -4. Is x smaller than k?
False
Suppose -119*d = -114*d - 3*p - 278, 2*d = -p + 120. Are d and 57 non-equal?
True
Suppose 0 = 3*q - 373 - 38. Let a = q - 547/4. Which is smaller: 37 or a?
a
Suppose -3*i = -4*w - 37, -2*w + 3*i - 21 = 4*i. Let d(k) = -3*k - 31. Let u be d(w). Which is smaller: u or 1/41?
u
Let x = 61 + -7. Let d = -76 + x. Are -22 and d nonequal?
False
Let g(q) = -2*q**3 + 4*q**2 - 3*q - 2. Let o be g(3). Let h = 33 + o. Let x be (39/4)/(4 - 1). Which is greater: x or h?
h
Let d be (16 - 942)*(-7)/(-14). Is d bigger than -462?
False
Suppose 107 = 6*y - 181. Is y at most as big as 0.2?
False
Let x = -14 - -50. Suppose 4*k - 164 = -x. Are 31 and k equal?
False
Let i = 7 + 25. Suppose 0*u = -5*u + 25, 4*h - i = -4*u. Suppose 0 = -h*q + 6*q. Which is bigger: q or 2?
2
Let i be 0/(-2 + -1 + 5) - -1. Let k = -3 - 2. Let b be 3/(-15) - 1/k. Which is bigger: i or b?
i
Let l be (75/(-7))/((-2)/(-7)) - 5. Is l != -43?
True
Let m be (40/800*-10)/((-2)/92 + 0). Suppose 4*l = 3*f - 86, -6*f - l = -2*f - 83. Is f at most m?
True
Suppose 2*c + 2*i = 7*i - 19, 0 = i - 5. Do c and 110 have the same value?
False
Suppose j + 3*f + 10 = 0, 14 + 1 = 5*j + 2*f. Let p = j - 7. Suppose 4*l = -314 + 306. Is l smaller than p?
False
Let w = -38276/1899 - 14/211. Let l = -20 - w. Let x = -1.6 + 1.57. Which is greater: l or x?
l
Let d = 0.005 - 0.635. Let y = d - -0.83. Is y >= -2/15?
True
Let j = 364 + -208. Is j != 156?
False
Let r(h) = 54*h + 2. Suppose -4 - 7 = -11*g. Let j be r(g). Which is smaller: 57 or j?
j
Let f be 4/(-16) + (-55)/4. Is f equal to 0?
False
Let w = -77 + 1151/15. Is w less than -1?
False
Let o = -164492/23 + 7150. Does o = -0.1?
False
Let f = -3 + 3. Suppose -2*l + 10 = l - 5*p, 4*l + 5*p = 25. Suppose -29 = l*o - 39. Which is greater: f or o?
o
Suppose 0 = z, -5*z = -6*k + 5*k - 1. Which is smaller: -0.04 or k?
k
Let k = 16 - 19. Let p be (160/1)/(-5) - k. Is p > -29?
False
Let i(c) = -c**2 + 5*c + 14. Suppose -5*x - 4*f = -27 + 4, -5*x + 20 = 5*f. Let r be i(x). Suppose 0*w = -3*w. Is r greater than or equal to w?
True
Let x = 199 + -157. Let z be 9/(-9) - ((-152)/x)/4. Suppose 0 = -2*j + 6 - 4. Is z bigger than j?
False
Let p(z) = 5*z**2 - 77*z - 34. Let w be p(21). Is w greater than or equal to 554?
True
Let m = 133 + -62. Let u = 70.83 - m. Which is greater: u or -1?
u
Let d = -175/24583 - -2/1209. Is -1 bigger than d?
False
Let k(x) = -4*x - 14. Let p be k(-12). Let s = -29 + p. Suppose -s = -2*m - 3*m. Is m != 3?
True
Let r(f) = -f**2 - 15*f - 15. Let c(b) = 2*b**2 + 30*b + 30. Let n(p) = -4*c(p) - 9*r(p). Let y be n(-11). Let i(u) = 4*u. Let j be i(-7). Is j at least y?
True
Let q be 0/(-16) + (-19)/10. Is -3 at most as big as q?
True
Let j be (0 - (7 - 3))/(-1). Let p be 294/35 + 2/(-5). Suppose -p*b - 3*s = -4*b - 11, 5*b - 4*s = 6. Which is smaller: b or j?
b
Suppose -25 = 7*n + 318. Which is smaller: n or -50?
-50
Let d be 11 + (1/(-2)*-6)/(-1). Suppose 0 = -5*q + 2*q. Let k be (-9)/(-2 + 1) + q. Which is smaller: d or k?
d
Let o be 3/(-6)*60/(-2). Let q = 14 - o. Let r be 2*(6/(-14))/(-3). Is r greater than q?
True
Suppose 0 = 2*i - 9 + 1. Suppose -5*x - 20 - 16 = -i*n, -8 = 2*n + 4*x. Let v = n + -4. Is 1 greater than v?
True
Suppose -f + 11*a + 12 = 8*a, a + 36 = 3*f. Are 218/17 and f equal?
False
Let d(h) be the first derivative of h**4/4 - h**3/3 - h - 2. Let c be d(0). Which is bigger: -0.07 or c?
-0.07
Suppose 0 = -4*o + 6*v - 2*v - 56, -v + 4 = 0. Let w(u) = -u**3 + 4*u**2 - u - 5. Let r be w(4). Is o bigger than r?
False
Suppose 6 = 2*r - h - h, -4*r + 3 = -h. Which is bigger: r or 2/13?
2/13
Suppose -i - 3 = -4*h, -2*i - h + 39 = -0*h. Suppose -24 = -3*x - 3*z, 2*z + 12 = -2*z. Suppose s + x = -3*n, 0*s - i = s - 3*n. Which is greater: 0.1 or s?
0.1
Suppose 5*f - 4*j + 1 = -j, 4*f - 10 = -3*j. Suppose 2*c + n + 2 - 1 = 0, 3*c - n = f. Let w = 4/5 + -47/65. Which is smaller: c or w?
c
Suppose -3*k - 68 = -4*r + k, -86 = -4*r - 2*k. Suppose r*x = 24*x + 16. Which is smaller: x or 4/7?
x
Let y(g) = -2*g - 6. Let k be y(0). Let l be (26 - 27)*2*k. Is l less than or equal to -2/3?
False
Let q = -41616/7 + 5916. Which is bigger: -29 or q?
-29
Let t = 276.277 - 0.277. Is t > 2?
True
Let v(u) = 219*u + 7. Let l be v(1). Is l > -2?
True
Let d(s) = -s**3 + 14*s**2 + 4. Let i be d(14). Suppose -y + 3*y = 80. Let g be (-1)/3 + y/12. Are g and i equal?
False
Suppose 4*v = 6 - 26. Let m = 20 + v. Suppose 5*n + 0*n - m = 0. Which is smaller: -5 or n?
-5
Let p(i) = -i**2 - 12*i + 4. Let f be p(-12). Let n(d) = 0 - 3 + 1 + d + 18*d**2 - f*d. Let k be n(-1). Is k greater than or equal to 20?
False
Suppose 0 = 4*b + 2*t - 278, 5*b - 5*t + 2*t = 353. Let z be ((-285)/b + 4)/((-4)/14). Which is smaller: z or 0.4?
z
Let c = -2 - 0. Suppose -4*u = -3*u + 11. Let t(m) = -m**2 - 10*m + 12. Let o be t(u). Which is greater: c or o?
o
Let r(g) = 2*g**2 - 5*g + 1. Let t be r(2). Suppose 0 = -4*v + 3*x - 10, -x + 2 = -3*v - 3. Let z be v/(-6) - (-10)/84. Do z and t have the same value?
False
Let k = 1894 + -1823. Is k at least 78?
False
Suppose -13 = -b - x, 7*b + 5*x - 35 = 5*b. Let y be (b/5)/((-3)/((-12)/(-28))). Let n = 2 + -3. Which is bigger: y or n?
y
Suppose 0 = -w - 8. Let i be 4*(-4 + 19/4). Suppose 0*a - i*a - 27 = 0. Is a bigger than w?
False
Let u = -88 - -89. Let a = -17.87 - 0.13. Let r = a - -18.6. Is r != u?
True
Let v = -35 + 35. Let a be (-12)/99 + 4/6. Is a at least as big as v?
True
Let v be (((-66)/9)/11)/(-59). Which is smaller: 1 or v?
v
Let x(n) = 7*n - 57. Let b be x(0). Let k = b + 55. Which is bigger: -8/5 or k?
-8/5
Let z be 3450/4520 - (-9)/(-12). Is -1 at most as big as z?
True
Let j be (378/75)/(6/(-140)). Let p = j - -118. Which is smaller: -0.04 or p?
-0.04
Let v = -15.4 + -6.6. Let w = v + 21.5. Which is smaller: 2 or w?
w
Let g = -26 - -51. Suppose 0 = k + g - 37. Which is bigger: k or 9?
k
Suppose -6*s - 50 = -s. Let h be ((-62)/s - -1)/((-13)/65). Which is smaller: -38 or h?
-38
Let a = 49544419/485 - 102153. Let h = 4/97 - a. Let k = 32 + -33. Which is smaller: k or h?
k
Let r = 9 + -8.8. Let h = -44 - -67. Let f = h + -25. Is r less than or equal to f?
False
Let d(b) = -b**3 + 6*b**2 + 2*b - 34. Let x be d(5). Let m = 282/8927 + -5/113. Is m at most as big as x?
True
Let k be -5*(-10)/45*(0 - 9). Suppose -d - 8 = -y, -2*y = 2*d - 0 + 4. Suppose -19 = 3*w - v + 2*v, -v = w + y. Which is smaller: k or w?
k
Let q(y) = -y**2 - 6*y - 5. Let w(v) = -4*v - 2. Let o be w(-2). Let h be (-8)/12*(0 + o). Let k be q(h). Which is smaller: k or 4?
k
Let y = -18 + 27. Let i be 3785/(-60) - 2/8. Let r = i + 64. Which is bigger: r or y?
y
Let r = 12 - 1. Let c = 402 + -785/2. Which is smaller: r or c?
c
Let i(l) = -2 + l**2 - 3*l + 4*l**2 + 2*l**2. Let q(x) = -x**2. Let r(m) = -i(m) - 6*q(m). Let g be r(4). Do g and -2 have the same value?
True
Let z be (-290724)/(-336) + 2/(-8). Do 865 and z have different values?
False
Let o be 4/5*1/(-2). Let j = 13.207 + 0.793. Which is smaller: o or j?
o
Let d(r) = -r**3 - 2*r**2 + r + 2. Let u be d(-2). Let i be (27/(-12))/(12/(-128)). Suppose 12 = i*t - 28*t. Is u less than t?
False
Let p = -478 + 477. Which is smaller: p or -6/53?
p
Suppose -60 = -3*n + 2*n - 4*d, -5*n + 190 = -2*d. Suppose -t = -4*f + n, -5*t + t = 3*f + 65. Let z be 10/(-25) - (-22)/t. Which is smaller: z or -2?
-2
Let v = 29149895076 - 3031563000417/104. Let q = v + -250844. Let s = -28/13 - q. Is 2 > s?
True
Suppose -2*d + 6*n = 3*n - 8, 4*d + 4*n + 24 = 0. Let a be ((-9)/6)/(1/d). Suppose -6*k = -a*k. Is 0 equal to k?
True
Let p be (-14118)/24 - (2 - 0). Let t = 586 + p. Which is bigger: t or -4?
-4
Let n be (-378)/1136 - (-27)/72. Let q = n + 192/497. Which is greater: q or -0.1?
q
Let c = -13 - -20. Let k = 6 - c. Let y be (10/325)/(0 + 7/(-7)). Which is greater: k or y?
y
Let q be -2*(-6)/8*(-408)/18. Let i = -92 - q. Is i less than -57?
True
Let k = 8 - 14. Let o(q) = 2*q**2 + 13*q + 7. Let l be o(k). Which is smaller: l or -1/18?
-1/18
Suppose -4*i = 0, 7*s - 30 = 2*s + 3*i. Is s > 2?
True
Let g = 499/13725 - -2/549. Suppose 7*c + f = 6*c - 4, -3*f - 12 = 4*c. Which is smaller: g or c?
c
Suppose -303 = -4*k - 123. Let z be 0/(-60) + (44 - -1). Is z bigger than k?
False
Le