pose -r + v = b, -v = -2*r + h*v - 118. Is r equal to -59?
True
Let b = -73 + 48. Suppose -d - 16 - 6 = 0. Do d and b have the same value?
False
Let t be (27*-31)/((-3)/2). Suppose 12 = 4*f, 1 = -x - 6*f + 27. Let r be 57/38*3*x/t. Which is smaller: 0 or r?
0
Suppose 85*i + 86344 = -51781. Is -1623 equal to i?
False
Suppose 9*w + 27 = -c + 10*w, 0 = 4*c - 5*w + 112. Let o = -51155/2193 - 5/731. Are o and c unequal?
True
Suppose -y = -6*y. Suppose t + 42 = -5*c, t - 4*c - 315 = 6*t. Let v be t/115 - 48/240. Is v equal to y?
False
Let k(o) = 14*o - 58. Let g(y) = -9*y + 39. Let b(i) = 8*g(i) + 5*k(i). Let u be b(-7). Suppose -u = 3*z - 24. Is -5 greater than or equal to z?
False
Let a(w) = w**3 - 8*w**2 + 2*w - 16. Let v be a(8). Which is smaller: v or 2/21365?
v
Let s be (-54)/108 + 323/214 + -1. Let r = 3312728/12305 - 6201/23. Let k = s - r. Which is greater: k or -1?
k
Let c be (-126)/(-30) + (-1)/5. Suppose -b + 8 = -c*a, 4*b + 25*a = 27*a - 24. Which is smaller: b or -12?
-12
Let b(j) = -3*j**2 + 2 + 0*j + 11*j**2 - j**3 - 5*j - 3*j**2. Let x be b(3). Are x and 5 equal?
True
Let d(p) = -p**2 + 3*p + 17. Let r be d(6). Let g be 3664/(-20394) - 12/(-66). Is g != r?
True
Suppose -5*l + 24 = -r, 2*r = -3*r + l - 24. Let o be ((-7)/r + 2/8)/(-9). Which is smaller: -1 or o?
-1
Suppose -3*f + 2*q = -65, 3*f + 29 = -5*q + 129. Let p be (f/(-20))/(18/8) - 0. Suppose 5*h - 19 = -9. Which is smaller: h or p?
p
Let g = -542 + 972. Let j = -431.1 + g. Which is bigger: j or -0.8?
-0.8
Let z be 36/(-15) - 10/25. Let n = -167/65 - z. Let y(k) = k**2 + 15*k + 15. Let f be y(-14). Is f smaller than n?
False
Let i = 14431 + -14427. Is 16/3 at least as big as i?
True
Let v be 9*((-190)/(-15) + -2 + -1). Let p = v + 45. Is 131 less than p?
True
Let x(g) = -6*g - 8. Let r(w) = -5*w - 7. Let y(s) = 4*r(s) - 3*x(s). Let k be y(9). Let h = 28369 + -28392. Which is bigger: h or k?
k
Let a = 2/935685 - 71839837/10292535. Let q = a - -62/9. Is q greater than 0.3?
False
Suppose -4*c + 147 = 5*f, -117 = -4*c + 5*f - 0*f. Let u be 5/3 + (-22)/c. Let o be (-3)/(-1) + u + -15. Is -10 not equal to o?
True
Let j = 17 - 16. Let b = -16445 + 16925. Is b at most as big as j?
False
Let u = -0.2728 - 0.7272. Which is smaller: 4/59 or u?
u
Let h be 1270/4 - 7/(-14). Suppose 8*y - 990 = -h. Is -1 at least y?
False
Let w(z) = z**3 - 24*z**2 - 21*z - 59. Let x be w(25). Let o be (-246)/x - 36/1. Which is bigger: -43 or o?
o
Suppose 9*q = -3*q - 1152. Let t = 110 + q. Let m(b) = -6*b + 33. Let o be m(t). Do -51 and o have different values?
False
Suppose 17*a - 19*a + 8 = 0. Suppose 14 = -a*g - 6. Let l be (2/g - 12/120)*62. Is -63/2 greater than l?
False
Let s = -3478 + 132111/38. Let v = -2/19 + s. Let k be (0 + 100/(-40))*(-8)/(-10). Which is smaller: k or v?
k
Let f = -256 - -269. Suppose 0 = 16*y + f - 45. Is 26/27 not equal to y?
True
Let h be (3 - 288/84) + 23262/54474. Which is smaller: 1 or h?
h
Suppose -2*l + 0*j = 5*j - 26, 3*l - 3*j = -3. Let x be 2 - l/(3/5) - -2. Let g be 4/x - 66/(-14). Is 1 bigger than g?
True
Let n be 74/(-8)*874*4/(-84). Let b(r) = 10*r**2 + 4*r + 1. Let f be b(6). Let g = n - f. Which is smaller: g or -1?
-1
Let i = 136111/4890 - 1/815. Which is bigger: i or 0.1?
i
Let x = 15.32 - 14.9. Let s = -3.08 - x. Is -1 > s?
True
Let i be (4*(-1)/4)/((-9)/(30 + -3)). Which is smaller: -6075 or i?
-6075
Let n(i) be the second derivative of -i**3/3 - i**2/2 - 2*i. Let a be n(2). Let g = -29276 - -87814/3. Are g and a nonequal?
True
Let z(t) = 4*t - 4. Let i(l) = 4*l + 3*l - 16*l + 7. Let m(d) = -3*i(d) - 7*z(d). Let s be m(5). Is s > 2?
False
Let q = -211.936 - -212. Let n = 0.256 + q. Which is greater: -2/3 or n?
n
Suppose 0 = 2*o + 26 - 28. Let y be 4*(1 + 5)*o/3. Let u be (-57)/12 - (26/y - 4). Which is smaller: -2 or u?
u
Let s = 1364.797 - 2.797. Let h = 1239 - s. Let k = -23/11 + 183/77. Which is smaller: h or k?
h
Suppose 0 = -8*z + 15*z. Let q = 209724/7 + -29895. Let o = 66 - q. Is z greater than or equal to o?
False
Let u(a) = -9*a**3 - a**2 + a + 1. Let z be u(-1). Let j be (z/12)/(2/21). Let h = 2215 + -2213. Which is greater: h or j?
j
Let d = 62 + -64. Let p be 1*(-16 + -7)*d/(-2). Let x = -1 + -21. Which is smaller: x or p?
p
Let b = 9 + -6. Let u = 375469 + -375502. Which is greater: u or b?
b
Let j be (2 + -1)*5/(-3 + 8). Let d be ((-3 + -1)*j)/(2 - 0). Let o = 2517/17 - 148. Which is smaller: o or d?
d
Suppose -2*q + 5*q = -9. Let o be (q + 3)/(-2*1). Let l be -9*(-25)/900 - (-815)/3180*-1. Which is bigger: o or l?
o
Let b be (-400)/(-440) - (-576)/(-682). Which is smaller: b or 242?
b
Suppose -2*r = w - 17, 2*w - 5*w + 26 = r. Suppose -w*b - 92 = -5*b. Let d = b - -23. Is -23 at least d?
True
Let v(g) = g**3 - 2*g**2 + 5*g. Let w(t) = t**3 + t**2 + 2*t. Let d(a) = -v(a) + 2*w(a). Let h be d(-2). Which is smaller: h or -2?
-2
Suppose -1227*m + 1223*m - 330 = 5*u, -5*u + 195 = -3*m. Is -27 at least as big as m?
True
Suppose 0 = -v + 2*y - 21, 2*v - 5*v = -5*y + 58. Let k be 5 + v*1/2. Is -0.72 < k?
True
Let y be ((-3)/(24/10))/(16*(-16)/(-11264)). Is -912/17 less than or equal to y?
False
Let o = 2.6 - 17.1. Let c = o + 14.2. Which is bigger: c or -49?
c
Suppose -6*d = -46 + 16. Suppose 5 = t, -p - 5*t + 15 = d. Let y be (-8)/246*p/(-10). Which is bigger: y or 0?
0
Suppose 4751 = 85*i - 4*i - 5131. Let n be 126 + (-2 - (1 + -1)). Is i at least as big as n?
False
Suppose 0 = -7*j + 3*j - 72. Let z be 3 - ((-32)/(-144) - (-40)/j). Suppose 0 = -i - 3 + 8, 4*i = z*t + 15. Is 3 less than t?
False
Let j = -118 + 218. Let i = -117.2 - -117. Are j and i equal?
False
Let y = -20 + 41. Suppose 9*n + 12*n = -y. Is 3/214 smaller than n?
False
Let h = -1.96 + 54.96. Let u = 4 - 39. Let x = h + u. Which is bigger: x or -0.1?
x
Suppose -k + 6*i - 16 = 3*i, -4 = 3*k + 2*i. Let y be -1 - (k - 615/(-175)). Do -2 and y have the same value?
False
Let d = 15060 - 15773.86. Let r = d + 714. Is r greater than 6?
False
Let h = -4772 + 4773. Does -14/341 = h?
False
Let w = -53.7 - -57.13. Let z = w + -2.43. Are z and -341 nonequal?
True
Suppose -701 - 286 = -47*m. Suppose 2*p + 201 = 5*l, -2*p = -l + 3*p + 31. Suppose 2*d - l = 3*u - 7, 2*d - 2*u = 38. Are m and d unequal?
True
Let l(d) = 9*d**3 - 2*d**2 + 1. Let r = 192 + -191. Let o be l(r). Is -1 < o?
True
Let f(p) = -3*p. Let h be f(-1). Let w be (-1)/(((-2)/14)/1). Let b be -7*w/(-18) - (-16)/(-72). Which is smaller: b or h?
b
Let m be (-5644)/(-11) - (-21 + 3016/143). Is 517 >= m?
True
Let v = 0.2 + 0.2. Let h = -19.555173 - 0.444827. Is v bigger than h?
True
Let h(j) = -12*j**2 + 11*j - 41. Let s(c) = 6*c**2 - 5*c + 19. Let t(p) = 6*h(p) + 13*s(p). Let r be t(-1). Let g = -661/1110 + -1/222. Which is bigger: g or r?
r
Let y = 6 + 18. Let r = y - 24.08. Let z be (124/434)/(2/3). Which is smaller: z or r?
r
Let r be (55/(-55))/((-2 - -4)/(-8)). Let h be 871/(-5) - (5 + r)/(-45). Is -175 bigger than h?
False
Let m be (12/(-207))/((-2)/(-3)). Suppose 8*f + 91 - 163 = 0. Suppose 67 - 58 = f*a. Which is smaller: a or m?
m
Let p be 10*(3/(-8))/((-9)/12). Suppose -p*w = -2368 + 693. Let o be (-2)/5 + w/25. Is 12 smaller than o?
True
Let b = -6963 - -7006. Is b at most as big as -29?
False
Suppose 2*a + 20464 = -4*m, 2*m - 3*a + 13466 = 3266. Which is greater: m or -5114?
m
Let s = 2 + -2. Let b = -5938 + 6123. Suppose 8*i - 65 + b = s. Which is smaller: i or -57/4?
i
Let f = -2899 + 3090. Does f = 191?
True
Let w = -352.666 - -352.666. Suppose 4*g - g = 5*h + 149, -5*g + 5*h = -255. Is g <= w?
False
Let c = 0.1167 - 0.0917. Is 0.09 != c?
True
Let x = 970/163 - 6304356/1059337. Let s = x - 12352/2099177. Which is bigger: s or -1?
s
Suppose 4*n = 9*w - 11*w + 18, 0 = 3*n - 9. Suppose -w*i - 128 = 25*v - 26*v, -5*v + i = -570. Which is smaller: v or 114?
v
Suppose 17 = -40*n - 143. Suppose -2*v - v - 24 = 0. Let y be -1*(n + (-68)/(4 + v)). Is -7 bigger than y?
True
Let y be (-1098*2)/(-6) - (-4 - -2). Which is bigger: y or -25?
y
Let b(a) = -27*a - 26. Let k be b(-1). Let y be (-8)/(-20)*15*(k - 2). Suppose 0 = -2*x + r - 11, -3*r + 25 = -5*x - 3. Which is greater: y or x?
x
Let p be (0 + ((-56)/(-16))/7)*0. Which is greater: 19/22 or p?
19/22
Let o = -1.0085 - 8.9815. Which is smaller: o or -10?
-10
Let k = 1425896