gger: b or a?
b
Let y(v) = -10*v**2 + 388*v + 103. Let a be y(39). Is a less than or equal to -58?
False
Let a = 7 + -14. Let x(h) = -h**3 - 8*h**2 - 8*h - 7. Let m be x(a). Suppose w + w = -2*b + 16, m = 4*b - 4*w. Which is smaller: b or -2?
-2
Let k = -6.8 - 3. Let m = 9.9 + k. Which is greater: m or -0.1?
m
Let c(w) = -152*w + 973. Let b be c(-21). Is 4166 > b?
True
Let b be (-936)/169 + (-2 - 6*-1). Let n = -10 + 3. Let x be 23/n - 10/(-35). Which is smaller: b or x?
x
Let t be (-10)/4 - (4 + (-785)/130). Let x be (-8)/52 - (-105)/91. Is x greater than t?
True
Let g = -271.4 - -271.5138. Which is smaller: 0.1 or g?
0.1
Suppose 0 = -3*a - 42 + 45. Which is smaller: 4/2657 or a?
4/2657
Let v = -5355.9 + 5356. Do v and 1752 have different values?
True
Let i(q) = -2*q**2 - 35*q + 2 + 21*q - 20*q + 2. Let o be i(-17). Is o greater than 31/9?
True
Let n be ((1 - -4) + -5)/(28 + -24). Is -6/7093 less than or equal to n?
True
Let b = 2.0266 - 0.1366. Which is smaller: -4/23 or b?
-4/23
Let k = -0.454 - -0.214. Let q = k - 3.76. Is 8 less than q?
False
Suppose 0 = 3*g - 5 + 8. Let w be (-8)/(-10) + g/((-40)/(-47)). Which is greater: -4 or w?
w
Let x(f) = -394 + 403 - 3*f + 0*f + f**2. Let r(t) = -3*t - 6. Let v be r(-3). Let j be x(v). Which is smaller: j or 2?
2
Let u be (5 - 7)*1 - -2. Let x be (17/3)/(23/1311). Let v = x - 22609/70. Does u = v?
False
Let h be ((-96)/(-36))/(79/(-81) - -1). Suppose -12*j = -3*j + h. Let x be j/(-15) + 1*(0 - 1). Is -6 greater than or equal to x?
False
Let j = 19.35 + -18.1. Let p = 2.25 - j. Which is smaller: -4/15 or p?
-4/15
Let y(v) = v**3 + 9*v**2 + 9*v + 7. Let f be y(-8). Let j(w) = 91*w**3 + w + 2. Let c be j(f). Let z be (-1)/(-5) - (-78)/c. Is 11 bigger than z?
True
Suppose -8*j - 13*j - 378 = 0. Let n be ((-5)/(45/j))/(4/14). Is 27 > n?
True
Suppose 0 = 2*a - 4*u - 191 + 719, -u - 764 = 3*a. Are a and -264 equal?
False
Let v = -1584 - 606. Let s be -5 - (v/95)/(-6). Is s >= -10?
True
Let c = 11 + -11. Let h = -6134/3201 - -180/97. Which is smaller: c or h?
h
Suppose -24*h + 19 = -5*q - 21*h, 0 = -4*q + 5*h - 23. Let n be (q/(-6))/((-88)/1320). Let x = 1 - 4. Is n smaller than x?
True
Let s(g) = g + 8. Let o be s(-6). Suppose -q - i - 3*i = -13, 3*q + 31 = o*i. Let t = -6617/1160 - -23/290. Which is smaller: q or t?
q
Let o be (-110)/(-1925) - (-879)/(-70) - -11. Let q = 3 - 2.9. Let i = -3.1 + q. Is i at least as big as o?
False
Let q be -1*36/21*7. Let d = 17 + q. Suppose -4*z + d*u + 173 + 77 = 0, u = -5*z + 327. Are z and 64 unequal?
True
Let n = -5 - 0. Let p be (-114)/(-209)*256/(-24) + (-2)/11. Is p greater than n?
False
Let a be ((-3)/(-6))/((-1)/28). Let o = a - -11. Do -16/5 and o have the same value?
False
Let m be ((-2)/1058)/(2/4). Is m greater than 1?
False
Suppose 5*u + 762 = 3*u. Let h = -210188 - -209806. Which is greater: h or u?
u
Let p(n) = 4*n**2 - 136*n - 1840. Let w be p(-13). Is w at most as big as -8?
False
Let h be 6*3*(-1)/(-6). Let x = 196 - 172. Suppose -x = v - 5*d, -7*v + 3*v + 19 = h*d. Which is smaller: v or 2?
v
Let t be (-7)/(56/12) + 10765/(-10). Do t and -1078 have different values?
False
Let b be (36/(-16))/(6/4) - (-102150)/(-60). Do b and -11932/7 have the same value?
False
Let j = 0.8 + 1.2. Let v = 0.34 + 0.66. Let o = j - v. Which is greater: o or 3/26?
o
Let y(h) = 173*h + 3. Let k be y(0). Which is smaller: 17/4 or k?
k
Suppose -29*g = 4*a - 30*g - 2768, -3*a - 5*g + 2053 = 0. Let k = a - 9677/14. Is 1 bigger than k?
True
Let t = -14 + 98. Let m = -84.252 + t. Let g = m - -0.052. Which is smaller: -4/9 or g?
-4/9
Let t = -174 - -263. Let r = t + -84. Are r and 4 equal?
False
Suppose 0 = -4*s - 86 + 18. Let t = s + -3. Let a be 10/(-2) + 80/t. Which is smaller: a or -13?
-13
Suppose 2*s + 86 - 78 = 5*v, 3*v + 2*s + 24 = 0. Which is bigger: v or -815?
v
Let a be (-19 + 2639/195)*(-2)/(4/(-9)). Is -24 >= a?
True
Let m be (-180)/55 - (-400)/(-550). Let y = 7.95 + -8. Are y and m unequal?
True
Let d(h) = h**2 + 4*h - 18. Let c be d(-6). Let b be (c - (6 + 12)) + (-3 - 0). Is -24 at most b?
False
Let n be (-626)/(-20) + 0 + (-2)/(-4). Let g = n - 32. Let s(u) = -u**3 + 9*u**2 + 9*u + 10. Let o be s(10). Which is greater: g or o?
o
Let d = -246 - -38. Let w be 2/8 + 36/d. Which is smaller: 1 or w?
w
Let u = -5985 + 5899. Which is smaller: -39 or u?
u
Suppose -6*n - 2363 = -2345. Which is greater: -218 or n?
n
Let d(x) = -45*x**2 - 21*x + 11. Let q be d(12). Let r = 46948/7 + q. Which is bigger: -13 or r?
-13
Let u = -51 - -94. Let a = u + -40. Suppose -2*f = -a*f - 4*o - 13, -2*f = -5*o - 13. Is -8/15 smaller than f?
False
Let k be (822*(-8)/(-48))/(9 - -32). Is k at most as big as 3?
False
Suppose 0 = 4*r + 4*u, 3*r + 4*u - 4 = -2. Let n be ((-3)/4)/(225/112 + r). Let c be (4/6)/(260/n - -3). Which is bigger: c or -11?
c
Let m be 759/9 + -4 + 1/(-3). Suppose -66*i = -61*i + m. Which is smaller: i or -17?
-17
Let y(g) = 12*g + 14. Let c be y(-1). Let l be (0 - c) + 3/6*-2. Is l bigger than -12?
True
Let r = -1782193/255 - -6989. Let h be -4*(-6 + 23/4 - 0). Which is smaller: r or h?
r
Let f = 3231 + -1748. Suppose 6*s + 1129 - f = 0. Is 58 smaller than s?
True
Suppose 0 = 2*u - 2*v - 18, 2*v = -3*u + 9 + 13. Suppose -19 = -u*p - 27. Is -13/6 less than or equal to p?
True
Let j(h) = -h**2 + 2*h + 5. Let y be j(3). Suppose -3 = -y*q - 11. Let w be q/6 - (0 + 33/(-36)). Which is bigger: 0 or w?
w
Suppose 14*t + 30 = 29*t. Suppose -t*v - 4*w = 49 + 23, 3*v + 5*w + 107 = 0. Is v greater than or equal to -32?
False
Suppose -4989*v + 0 + 0 = -4969*v. Which is smaller: 4/9561 or v?
v
Let z(y) = -y**3 - 34*y**2 + 72*y + 4. Let r be z(-36). Suppose n = -2*i - r, -12*i - 8 = -5*n - 8*i. Which is bigger: n or -5/84?
n
Suppose -5*d = -4*h - 135, -15 = 4*h - h. Let k be -2*3/((-3)/(-4)) + 1. Let y(v) = v**2 - 25. Let o be y(k). Which is bigger: d or o?
o
Let w = -6024 - -9945. Which is smaller: w or 3920?
3920
Suppose -3*p - 3*f = 54, -3*p - 2*p - 78 = -f. Let i be -3 + (1 - 2) - 0. Let d be (i/6 - (-4)/(-3)) + -15. Which is bigger: p or d?
p
Suppose 18*p = 62*p + 2126 - 7054. Is 111 >= p?
False
Suppose c + 15*d = 13*d + 31, c = d - 8. Suppose -2*q + z + 6 = -3*z, 3*z = -3*q + 9. Let x = q + 5. Which is bigger: x or c?
x
Let p(c) = -2*c**2 + 4*c + 5. Let y be p(-1). Let m be 7569/(-756) + 9 - y. Is m at least as big as 0.07?
False
Suppose 13*r - r + 21*r = 14553. Which is smaller: 2/5 or r?
2/5
Suppose 4*x - 4*o - 12928 = 0, 3*o - 5566 = -4*x + 7390. Is x equal to 3236?
True
Let s = 3241 + -3081. Is s >= 807/5?
False
Let f be -568 + (10/(-5) - -4). Let y = -585 - f. Is y greater than or equal to -18?
False
Suppose 3*c + 0*j - 1607 = -5*j, -c - 2*j = -535. Let g = -28568/53 + c. Let a = 103/159 - g. Which is bigger: -6/11 or a?
a
Let z = -1469.69 + 1471. Does 0.1 = z?
False
Let m be (-26 + 208)/(-26)*250/(-14)*1. Is m > 30?
True
Let x = 113/77 + -13/11. Let p = 176.7 - 186. Let w = 9.91 + p. Which is smaller: x or w?
x
Suppose -96*j - 92*j + 204*j = 880. Is j >= -9/2?
True
Suppose 5*x + 4*s - 6 = 0, -5*x + 1 = 2*s - 7. Suppose -13*v = -3*b - 9*v, -x*v = 2*b. Is 34 > b?
True
Let i = 5.13 + -1.13. Let o = -1765 - -12335/7. Is i at least o?
True
Let b be (-2)/4 + 17/42. Let d = -139171 + 139170. Is b not equal to d?
True
Let v(y) = y**2 + 701*y - 5678. Let i be v(0). Is -5676 <= i?
False
Let s = -10726 + 10730. Is s < 2328?
True
Let p be -1*(-5)/((-140)/256). Let t be ((-12)/(-15))/(-4 + (-98)/(-25)). Which is smaller: t or p?
t
Let p = -11 + 8. Suppose 10*y = -0*y + 400. Suppose 0 = 3*f + 5*g - 0*g + 30, y = -5*f - 5*g. Which is greater: p or f?
p
Suppose 0*y = -3*s - 2*y + 13, 4*s + 2*y = 14. Let q = -10387/2715981 - -6/8461. Is q != s?
True
Let r be (-1 + (-39)/3)/(-1). Let p be r/3*(-15)/(-10). Suppose -p*k - 230 = -17*k. Is 23 bigger than k?
False
Let n = 432.0716 + -275.1093. Let w = n + 0.0377. Is w greater than or equal to -2?
True
Suppose -20 + 27 = -s. Let b be (-12)/18 + (28/6)/s. Which is smaller: -13 or b?
-13
Let d(h) = 5*h + 95. Let m be d(-8). Suppose 5*j - 18 + 63 = 2*z, 0 = 3*z + 5*j - m. Do -2 and z have the same value?
False
Let m be ((-4171)/(-86))/(1/(-4)). Let k = -254 - m. Which is smaller: k or -182/3?
-182/3
Suppose 810 = 16*z - 70. Suppose -185 + z = -1