rent values?
True
Suppose -g + 48 = 2*a + 3*g, 3*g = -3*a + 75. Suppose -20*r + a*r = 6. Which is bigger: r or -7/26?
r
Let b = -88206/121 + 729. Which is smaller: b or -10?
-10
Let f be (9 - 1)*2967/92*-5. Is f greater than or equal to -1289?
False
Let w = -28.76 - -2.86. Let y = 26 + w. Let c be -4*1*20/(-8). Are c and y nonequal?
True
Let z = -0.22 + -1.68. Let u = z + -12.1. Let j = -3.8 + 4.3. Which is smaller: u or j?
u
Let h = 22690 + -22690. Which is smaller: -2287 or h?
-2287
Let u = -4 - -55. Suppose -7*j - 16 + u = 0. Suppose 2*p - j*w - 80 = 0, p - 45 = w + 4*w. Do 35 and p have different values?
False
Suppose -2*z - 2 = 0, r + z = -2*r - 4. Let w = 766 + -767. Is w equal to r?
True
Suppose -j - 45 = 5*f, 3*j - 12*f + 51 = -13*f. Is j != -264/17?
True
Suppose 2*j + 2 = 0, 720*t - 8265 = 725*t - 5*j. Is -1653 smaller than t?
False
Suppose 13*t = 6*t - 98. Let h be -1 + 18/2 + -1. Let m be (-4)/t*h/3. Which is smaller: -10 or m?
-10
Let j(s) = 8*s**2 + 72*s + 75. Let z be j(-8). Which is smaller: z or -11?
-11
Suppose 28*l - 777891 = 9*l - 180*l. Is l less than or equal to 3909?
True
Let q = -98 - -96.76. Let k = 1.1 + q. Let m = k + 0.14. Is m at most as big as 3/8?
True
Let l(h) = -18431*h**3 + 3*h**2 - 2*h - 2. Let z be l(4). Let k = z - -166316659/141. Let x = 5/47 - k. Which is smaller: -4 or x?
x
Suppose -113*i + 344575 - 81172 = 0. Is i smaller than -1?
False
Let o(g) be the second derivative of -g**3/2 + 4*g**2 - 4*g. Let z be o(0). Suppose i + z = -5*r, 4*r + 5 = i + 4. Is -3/47 bigger than r?
True
Let w be 54*1 - (-3 - (-42)/6). Let u be 1/((-52)/w + 1). Which is smaller: -20 or u?
u
Let h = -22.2639 - -22.246. Which is greater: 0.04 or h?
0.04
Let d = -0.44 - 0.56. Let u = 1 - d. Suppose 0 = -4*p + t - 46, -6*t + 10*t - 8 = 0. Which is smaller: u or p?
p
Let o = -11.0535 + 1.7245. Let g = o + 0.329. Is g > -1/3?
False
Suppose -5*n = 7*j - 10*j - 780, 4*j - 156 = -n. Suppose -12*f - n = 96. Let b be -25 + 4 - 4/(-2). Is f != b?
True
Let f(z) be the third derivative of -z**4/8 + 11*z**3/3 - 6*z**2. Let d be ((-2)/10)/(18/(-630)). Let u be f(d). Is 4 at most as big as u?
False
Let v(m) = -3*m + 25. Let k be v(-15). Let r be 0 - (-84)/k*10/(-6). Which is bigger: r or -12?
r
Let c(r) = -3*r**2 + 9*r + 8. Let y be c(4). Let f be (-20)/6 + y/(-3) + 3. Which is bigger: f or 3/97?
f
Suppose 266 = 5*r - 329. Let p(j) = j**2 - 18*j + 55. Let l be p(21). Let b = l - r. Which is smaller: b or 0?
b
Let x = -116 - -128. Let r be 16/x*((-36)/184)/(-3). Which is smaller: 3 or r?
r
Suppose -n = 2*y - 8, 4*n = y - 4*y + 17. Suppose -3*s + 5*x = -277, -11*s + n*x = -9*s - 182. Which is bigger: 177/2 or s?
s
Let z = -8997 + 8886. Which is smaller: z or -116?
-116
Let j be 27938/1403 + -20 - 692/(-7429). Let v = 2 + -3. Let x be (3 - (-2)/v)/1. Which is bigger: x or j?
x
Let t(l) be the third derivative of l**6/60 + l**5/20 - 3*l**4/8 - l**3 + 2*l**2 + 11. Let d be t(-3). Do -5 and d have the same value?
False
Let r(b) = -2*b**3 - 4*b**2 - 6*b + 22. Let j be r(3). Suppose 0*n = 5*n - 435. Let h = n + j. Which is smaller: h or 2/155?
2/155
Let y(s) = -81*s**3 + 2*s**2 + 6*s + 16. Let p be y(-3). Is 6610/3 at least as big as p?
True
Let i = 133 - 133. Suppose -5*s = -i*s + 940. Are s and -188 nonequal?
False
Let y be 475/(-6) + (-9)/(-54). Suppose -56 + 71 = 15*w. Which is smaller: y or w?
y
Let v be 1/(-3*4/24). Let w(u) = -10*u - 6. Let z be w(v). Suppose z*j + 6 = 12*j. Is j equal to -5?
False
Suppose -q + 1288 = 2*w, 5*q - 4*w + 5160 = 9*q. Let m be (-136)/q + (-1576)/190. Which is bigger: m or 0?
0
Let z = 6158/13 - 38930863/82186. Do z and -1 have the same value?
False
Suppose 0 = 5*h - 15*a + 16*a + 14, -h - 3*a - 28 = 0. Let t be 5/95*(-589154)/(-16). Let v = -1938 + t. Which is greater: v or h?
v
Let f = 17613/19460 + 21/556. Which is smaller: f or 2?
f
Let o be 465/30*(-3 + 105). Is 1576 at most o?
True
Let u = -0.0619 - -0.2259. Let t = u - 3.164. Is 2 <= t?
False
Let h be (-621)/435 + (-20)/50. Which is greater: h or -2?
h
Let y = 0.35 + 0.05. Let v = -15163 + 15287.98. Let j = v - 125. Do y and j have different values?
True
Let g be ((-90)/50)/(2/(-10)). Let v be 2/g - 1352/(-72). Suppose 60*q + 261 = 1341. Which is bigger: v or q?
v
Let k = -553 + 882. Let o be (-8)/(-10) + -1 - k/5. Is o < -66?
False
Let f(y) = -y**3 - 61*y**2 + 127*y + 1. Let i be f(2). Let w(m) = 2*m**3 + m**2 + 5*m + 4. Let t be w(-3). Which is greater: i or t?
i
Let p(s) = s**2 + s + 5. Let l be p(0). Suppose a - 3*a = 3*j + l, 2*a = 3*j + 13. Let t = 133 - 137. Do t and j have different values?
True
Let u = 0 + 4. Suppose -7 = -3*a - 8*n + u*n, 0 = -4*a + n - 16. Let j = -154827 - -154825. Which is bigger: j or a?
j
Let b = 8.532 + -10.532. Which is smaller: -281.8 or b?
-281.8
Let g = -29368981/23533111 + 1047/839. Is g at most as big as 1?
True
Suppose -3*f + 27 = -3*i, -i + 2*i - 3 = 5*f. Suppose -2125*y = -2129*y + 364. Suppose 381*n - y = 388*n. Is i < n?
False
Let o be (-6)/8 + 14/24. Let m = 16.219 + -13.919. Which is greater: o or m?
m
Let n = -2.05 + 1.9. Let a = -998 + 1008. Is a < n?
False
Let t(u) = -10*u**3 - 2*u**2 + 34*u + 196. Let b be t(-7). Is 3292 greater than b?
True
Let r be (2/(-4))/(-9 + 8). Let x be 0/((-1*1)/((-10)/30)). Suppose x*l - 5*l = -0*l. Which is smaller: r or l?
l
Let z = 1 - 0. Let b = 1 + z. Let a = 36537 + -36534. Which is smaller: a or b?
b
Let h = -182.5 + 175. Let d = 9.4 + h. Let f = -23 - -24. Which is bigger: d or f?
d
Let i be (-2)/7 + ((-1095)/(-84) - 975/260). Is 30 at least as big as i?
True
Suppose 0 = -687*v + 684*v. Suppose v = s + 17*s + 1620. Are -90 and s nonequal?
False
Let j be ((-18)/(-4) - 4) + 5/2. Let y be (6 - j) + ((-108)/(-9))/(-4). Is y bigger than 4/17?
False
Let z(q) = -7*q**2 + 55*q - 5. Let h be z(8). Let n = h - -15. Let x be ((-18)/(-4))/(-3)*2. Is n equal to x?
False
Let j = -356 - -362. Suppose -12*i = -j*i. Is 10/143 greater than i?
True
Let g = -7758/5 + 7451/5. Let a = 11691/190 + g. Is a smaller than -1?
False
Suppose 181*m - 169 = 194*m. Let g = -7 + -7. Which is smaller: m or g?
g
Let p be 0/(-1) - (1 + 0 + 84). Let f = -423/5 - p. Let m be 1/(-1 + (-4 - -4)). Which is greater: m or f?
f
Suppose -9 = -3*t + 3*j, -1 = -3*t + 2*j - 7*j. Suppose -2*f = -f - 4*a + 200, -376 = t*f + 4*a. Is -193 > f?
False
Let o be (-391)/7*-1 + 57/133. Let i = -57 + o. Are 1 and i unequal?
True
Suppose -7*i + 11*i - 64 = 0. Let s be 1*(-4)/i*4. Suppose 3*y - 3*a = -4*a - 11, 0 = -4*y + 3*a - 19. Which is smaller: s or y?
y
Suppose -5 = a, 1 = 4*n + a + 2. Let w = -3862 + 3868. Let o be 20/(-1*n*(5 - w)). Do o and 21 have different values?
True
Let n = 4201 + -4297. Which is smaller: -103 or n?
-103
Let i be (-2205)/(-1134)*((-26)/10 - -1). Which is smaller: i or -5?
-5
Let n = -37 - -50. Suppose -15*u + 2 = -n*u. Is u at most as big as 1/3?
False
Let p = -0.04732 - -13.04732. Which is bigger: p or 7.2?
p
Let s be ((-5)/10)/((-1037509)/148214 - -7). Do 6737 and s have the same value?
True
Let f = 321918404843/603 - 533861489. Let g = f - -1090/9. Which is smaller: g or -1?
-1
Suppose 4*b = 3*d - 5, 4*d - 2*b - 7 = d. Suppose -33 = -5*a - 3*t - 4, 4*a = d*t + 7. Suppose 4*u + u - 4*n = 1, n = -3*u + a. Is 2/173 bigger than u?
False
Let k = 29 - 32. Let o = k - -4.5. Let x = o + -1.6. Which is smaller: x or -24?
-24
Let t = 293 - 200. Let o = t + -95. Which is bigger: o or 40?
40
Let k = 3/37234 - 74687/2718082. Let u(q) = q**3 - q**2 - q. Let m be u(0). Which is bigger: k or m?
m
Suppose 2*k = -34 - 16. Suppose -3*o = 4*d + 66, 29*d - 22 = 65. Which is smaller: k or o?
o
Let k = 19471/6 - 3245. Which is smaller: k or 37.2?
k
Let a be (2/4 - 25/(-42)) + (-608)/912. Which is bigger: -32/33 or a?
a
Suppose 5362*p + 22 = 5373*p. Which is bigger: p or -0.399?
p
Let o = 1.45 + -1.4024. Let s = 2.9524 + o. Is s equal to 3?
True
Let l = -10025 - -10018. Let w = -461/74 + -10/37. Is w at least l?
True
Let x = -1030 + 1028. Is x greater than -35/12?
True
Let j(i) = 35*i**3 + i**2 - i + 2. Let x be j(2). Suppose -239 + x = -z. Does -10 = z?
False
Suppose -5*k - 5052 + 21 = -3*v, 2*v + 2*k - 3338 = 0. Suppose v = h - 634. Let b be h/30 + 2/15. Which is smaller: 78 or b?
b
Let p = 75.814 + -76. Let v = p + 5.186. 