or v?
1/3
Let v be (-4 - 52/(-13)) + -276. Is -275 >= v?
True
Suppose -2*c + 128 = -2*k, 8*c = 4*c + 8. Let w = k - -66. Which is greater: w or 35/12?
w
Let i = 4830/577 + 502403/152905. Let u = i + -58/5. Let l be 3*1*(-6)/(-18). Which is bigger: u or l?
l
Suppose 5*t + 5 = 0, -68*x + 4*t - 5 = -65*x. Is x <= -824?
False
Suppose 15*y - 443 = 3549 - 767. Let x(r) = 26*r**3 + 3*r**2 - 4*r + 3. Let l be x(2). Is y bigger than l?
False
Suppose 17*d + 75 = 22*d. Let k(f) = -f - 8. Let l be k(4). Let b be (l/d)/(7/(35/(-2))). Which is smaller: b or 3/4?
3/4
Suppose -4*n + 43 = 3*p, 3*p - 39 = -0*n - 3*n. Let b(a) = -3*a**2 + 29*a - 11. Let h be b(p). Suppose -h*g - 3 = -66. Is g > 0.1?
True
Let d = 388 - 830. Let i = d + 431. Is 0.1 less than or equal to i?
False
Let c = -1485 + 1294. Which is smaller: c or -7?
c
Suppose -18 + 347 = -47*v. Is -86/15 at least as big as v?
True
Let g = 3.6 - 3.66. Let m = g - 10.94. Let j = m - -11. Is j less than 2?
True
Suppose -9*u + 232 + 389 = 0. Let k be 6/(-4) - 56/(-144)*u. Which is smaller: k or 26?
k
Suppose -3092 = 4*y + 2*l, -1150 + 1174 = -4*l. Which is greater: -3 or y?
-3
Let k(m) = m**2 + 24*m + 19. Suppose 42 = -3*f + s - 11, -2*f - 5*s - 58 = 0. Let u be k(f). Let p be u/(-133) + 30/(-7). Which is bigger: p or -5?
p
Suppose -7*c = -4*c + 6. Let x be 0 + (42/(-147))/(c/14). Is x less than 2/27?
False
Let w = -89 + 136. Suppose 0*c + 26*c - 2064 = -17*c. Which is bigger: c or w?
c
Suppose -14*c - 48 = -22*c. Suppose 3*q = 2*d - 8, 16*q - c = 4*d + 21*q. Which is bigger: d or 4/19?
d
Suppose 0 = 40*k - 5*k + 70. Let a(b) = b**2 + 9*b + 5. Let o be a(-9). Suppose o*i = -3 - 2. Are k and i equal?
False
Let s = -24.4011 + -0.0089. Let t = s + -0.59. Is t > 5?
False
Let n be 24/32 + 162546/(-408). Let d = 400 + n. Is d bigger than 1?
True
Let k(z) = 14*z**2 + 71*z + 9. Let r be k(-5). Suppose -4*w + r*s + 8 = 0, -w - w - 2 = s. Suppose -3*j + 14 = -1. Which is smaller: w or j?
w
Let u = 0.049 - -27.601. Let z = 27.7 - u. Which is greater: 0.4 or z?
0.4
Suppose -l + 744 = 3*y - 3869, 4*l + 4*y - 18420 = 0. Is l <= 13807/3?
True
Suppose 92*n + 12 = 95*n. Let j be n/(-10) - (-2886)/210*-1. Is -15 at most as big as j?
True
Let h be (6/12)/(3 + -1). Let t(p) = -p**3 + 7*p**2 + 7*p - 4. Let s be t(8). Let u be (-5)/((-620)/(-384)) + s/(-4). Which is smaller: h or u?
u
Suppose -30*s + 34*s - 4*k - 616 = 0, 0 = 4*k - 20. Suppose -s = 6*l - l - 3*i, 2*i = 3*l + 95. Let j = -12 - 21. Is j at most as big as l?
True
Let j = 11 - -144. Let x be ((-54)/5)/(62/j). Which is bigger: x or -0.11?
-0.11
Let h = -31568 - -16518. Is h greater than -15049?
False
Suppose -4*h - 8*m + 12*m = -8, 6 = -2*m. Which is smaller: h or -1/259?
h
Let o = -2235/11 + 203. Suppose -t - 4*t - 5 = h, -3*h - 1 = t. Suppose 0 = -3*p - 3*q + 4*q + 15, h = 2*p + 3*q - 10. Which is smaller: p or o?
o
Suppose 2108 - 27068 = 26*c. Let v be (3936/c)/((-3)/2). Which is smaller: 2 or v?
2
Let h = 44 + -22. Let g = 91391 + -91369. Is h at most as big as g?
True
Let y(d) = -d**3 + 6*d**2 + 8*d - 8. Let o be y(7). Let u = -4/237 - 169/4029. Which is smaller: o or u?
o
Let q = -171 + 485. Suppose 8*j - q = -58. Which is greater: j or 28?
j
Let r be (-98)/(-21)*(-3 - -1 - -5). Suppose -2*q + 0*m + r = m, -3 = q - 2*m. Suppose -5*f + q*f + f = 0. Which is bigger: -10/13 or f?
f
Let c(y) = y**3 - 5*y**2 - 8*y + 21. Let o(z) = -8*z - 45. Let v be o(-6). Let l be c(v). Is l at most -8?
True
Let l = -45.2 + -9.8. Let a = 54.599 - 0.599. Let j = a + l. Which is smaller: j or 1/7?
j
Let y = -19078 - -16248. Is -2829 > y?
True
Let z(f) = 4*f**2 - 34*f + 71. Let w be z(4). Which is greater: w or 1/130?
1/130
Let o = 3243 + -3242. Let s = -2.6 - -2.89. Which is smaller: s or o?
s
Suppose 5360*n = 5348*n - 18804. Is -1570 at most n?
True
Let h(c) = -64*c**3 - 254*c**2 - 6*c. Let v be h(-4). Are 58 and v unequal?
True
Let y be 195/(-858)*4/10*36/(-3339). Which is smaller: y or 1?
y
Suppose 7*s + 154 = 126. Let o be (0 - -7)*3*s/108. Let k be (1 - 2) + 0/(-2). Is k less than o?
True
Suppose o + 4*k = -2, 4*o - 8*k = -13*k - 8. Let f be (-2)/o + -5 + -80. Are -84 and f nonequal?
False
Suppose -1939*a = -1932*a - 77. Which is smaller: a or 348/31?
a
Let g(o) = 27*o + 244. Let x be g(-9). Let b be (x/3)/((22/(-108))/(-11)). Suppose -2*s = -18 - 12. Which is bigger: s or b?
b
Let n(m) = -163*m + m**2 + 205*m + 11 + 4*m**2. Let v be n(-8). Are v and -3 non-equal?
True
Let u = -12430 - -12447. Is u bigger than 63?
False
Let g = 37 - 109/3. Let r = 3398 + -3437.332. Let m = r + 0.332. Which is smaller: g or m?
m
Let u be 55/(-66) + 8933/(-138). Let k = 328/5 + u. Which is bigger: k or -1?
k
Let l be (-1218267)/549*3/(-3). Let k = l + -2219. Is k at least 1?
False
Let c be 5 + (1 - 2 - 1). Suppose 0 = z - c*z. Suppose -3*t + t - 1 = f, -3*t - 6 = z. Is 0 at least as big as f?
False
Let h = -291 - -293. Suppose -f - 599 = 2*d + h*f, 3*d - 3*f + 906 = 0. Is d bigger than -302?
True
Suppose -x - 2*s = -24, 2*x - 36 = -5*s + 13. Let b = x - 24. Which is greater: b or -9/10?
-9/10
Let l be 9/((-135)/10) - 4. Let q = 3988 + -3994. Which is bigger: q or l?
l
Let k be (9/(-2328))/((-36)/(-336)*259). Is k less than -1?
False
Let c = -32 + 31. Suppose -4 = -b, -35*o + 39*o + 52 = -5*b. Is o greater than c?
False
Let n = 18 - 3. Let j(k) = 20*k + 27*k + n - 40*k. Let w be j(-3). Which is smaller: 4 or w?
w
Let z = 79.4 + -5.4. Let h = z + -43. Let j = -30 + h. Do 7 and j have the same value?
False
Let u = 1069681/6 + -177837. Are u and 442 equal?
False
Let l = 33.8 + 141.2. Let o = -173 + l. Is o <= 3/5?
False
Suppose 0 = -q - 4, 2*q = 45*x - 47*x - 48. Which is bigger: 31 or x?
31
Let y = -229 - -242. Let z be -4 - y/(-2) - 2. Is z less than -3/41?
False
Let d = 28 - 22.73. Let o = d + -7.07. Is -7 at least o?
False
Let s = -0.2 + 0.3. Let m be 2*(-9552)/1272 + 15. Are m and s equal?
False
Let n(h) = 10 + 9*h - 4*h**3 + 84*h**2 - 75*h**2 + 5*h**3. Let o be 39/(-5) - 1/5. Let u be n(o). Does u = 3?
False
Let d = -2740 - -3039. Let q be (9/(-4))/(10/1324). Let r = d + q. Is 0 less than or equal to r?
True
Let v be (-3)/(-6) - 6150/12348. Let s be 1/(-8 + 7)*1. Is v >= s?
True
Suppose -3*p - 3*r - 3 = -105, 0 = -4*p - 2*r + 140. Suppose 0 = -3*u + 66 - p. Is 8 not equal to u?
True
Let s be (-449985)/90000*1 + 5. Which is smaller: s or 0?
0
Suppose 0 = -129*f - 69699 - 75414 + 49782. Which is greater: f or -735?
-735
Let f = 4.72 + -8.31. Let t = f + 3.6. Is -7 greater than t?
False
Let w be 3 + -1 + (-16056)/31. Suppose -17*s + 2580 = -12*s. Let y = w + s. Which is bigger: y or 0?
y
Let a = 3.58 - 3.01. Let d = 2.63 + a. Is -2/5 less than d?
True
Suppose -3*m - 15 = -2*i, -i - i + m = -9. Suppose i*y + 0*y - 21 = 0. Suppose -3*o - 4*o - y = 0. Is o at least -2/25?
False
Let z = -54.7 + 57.5. Is z <= -13/3?
False
Let u be 80/(-12)*12/4. Let y = u - -99/5. Let f = 0.573 - 0.543. Is f less than or equal to y?
False
Let b be 12/72 + 115/(-6). Suppose 73*p - p + 1008 = 0. Which is greater: b or p?
p
Let p = 63 - 65. Let h be (-62368)/(-38880) - p*1/(-5). Let w = h + -1/243. Which is smaller: w or 1?
1
Let i = 2320.04 - 2325. Are i and -11 unequal?
True
Let s(o) = o**2 + 3*o - 1. Let r(a) = 5*a**2 + 13*a - 4. Let v(g) = 2*r(g) - 9*s(g). Let l be v(1). Let q = -1112/155 + 210/31. Is q greater than l?
False
Let o be (-27154)/84 + (-16)/96 + (-39)/(-91). Which is smaller: o or -327?
-327
Suppose 0 = -574*p + 577*p + 615. Let r = p + 81. Are -124 and r equal?
True
Let p(w) = 11*w - 81. Suppose 4*c - 22*c - 108 = 0. Let b be p(c). Do -145 and b have different values?
True
Let c = -880 + 620. Let p = 259 + c. Is -2/177 bigger than p?
True
Let o = -2180 - -15158/7. Let g be (-2)/(-3) - 6324/(-18). Let u = 336 - g. Which is smaller: u or o?
u
Let w(n) = -2086*n + 5945. Let f be w(3). Which is smaller: f or 33?
f
Suppose 2*u = 2*k + 32 + 400, -5*u = 4*k - 1071. Which is greater: 2355/11 or u?
u
Let y(g) = 6*g**2 - 642*g - 39. Let b be y(107). Let k(l) = -l**3 - 6*l**2 + 7*l + 5. Let i be k(-6). Which is smaller: i or b?
b
Suppose 2*p = 5*j + 327, 5*p + 241 = 4*j + 1101. Let d = 882/5 - p. Which is greater: -0.1 or d?
d
Let l = 1443 - 1504.1. Let b = -34.1 - l. Which is greater: 0.5 or b?
b
Suppose -3 =