13321 + 8/299. Which is bigger: -1 or v?
v
Let i = 20608/11 - 1873. Which is bigger: i or 1/3?
i
Suppose 33*q = -4337 + 4205. Which is smaller: q or 180?
q
Let b be ((-5)/(50/(-252)))/((-578)/(-1445)). Suppose 89*l - 10660 = b*l. Which is smaller: l or 411?
l
Let d = -704.3 - 9.7. Let b = d + 817. Which is smaller: 0 or b?
0
Let m be -1482 + (-6)/(1 - 2). Let h be (-21)/35 + m/(-2560). Is h less than -1?
False
Let w be ((-6)/633)/((-2)/(-4)). Let a = 62032 + -62032. Does a = w?
False
Suppose 0 = 4*k - 5*g + 32, -4*k + 0*g - 2*g = 32. Suppose -5*b + 5*w + 25 = 0, -8*b + 22 = -6*b - 5*w. Let o be b*3/(-9) - (-23)/(-3). Is k <= o?
True
Suppose 0 = -32*c + 341 - 85. Let s be (c + (-8 - 1))*0. Let h be 1 + ((-123)/122)/1. Is h at most s?
True
Let b = 41 - 43. Let u = 1.548 - 0.028. Which is greater: b or u?
u
Suppose -3*q + q - 8 = 4*c, 0 = -4*q + c + 20. Let h = -3700 - -3698. Let d be ((q + -2)/2)/(1/h). Is 0.5 equal to d?
False
Suppose 0 = -5*w + 4*k + 30 + 1, -3*k - 12 = 0. Let d be (57/(-76))/(w/(-52)). Is d at most as big as 1?
False
Let j = -16364 + 16339. Is j <= -1070/43?
True
Suppose 4*u + 17 = -51. Let p = 581 + -612. Which is greater: p or u?
u
Let p be (-68676)/(-266)*1/(-86) + 3. Let a = p + -38111/137256. Let m = -1/168 + a. Is 1 less than m?
False
Let g(t) = -6*t - 121. Let r = 183 - 203. Let i be g(r). Is i at least 4/149?
False
Let h = -10/10137317 - -30493084186/35125803405. Let g = h + -60/77. Let d(p) = -2*p**2 - 2301*p + 2303. Let a be d(1). Is g greater than or equal to a?
True
Let t be 3*-4*(-6)/(-36). Let a be (-186 + 27)/(21/t). Which is smaller: a or 16?
a
Suppose l = -87*v + 92*v + 61, -5*v - 50 = 10*l. Is v at least as big as -5?
False
Suppose -1209 = -24*m + 12015. Which is smaller: 552 or m?
m
Suppose 1690 = -2*c - 0*c - 5*y, 3296 = -4*c + 4*y. Which is greater: -829 or c?
-829
Let t be ((-14)/2)/(7/(-42)*3). Let j be (2/(-10)*t)/(14/770). Is -155 at least j?
False
Let f be -5 - (-2 + (-1500)/(-744))*-142. Is 3 equal to f?
False
Let l be 12/((-48)/20) - (3 - -10). Which is smaller: l or -217/12?
-217/12
Let u(o) = o**3 + 51*o**2 - 123*o - 394. Let x be u(-55). Do x and -5730 have the same value?
False
Let f(l) = -162*l + 652. Let v be f(4). Is v bigger than 55?
False
Let u = 2626 + -6070. Is -3444 smaller than u?
False
Let y = 170 - -42. Let c = y - 215. Which is bigger: -1.3 or c?
-1.3
Let c(l) = l**3 + 4*l**2 - 25*l - 21. Let r be c(-7). Suppose v + 2 = -2*x, -3*v - r = 5*x - 1. Are x and -4/21 equal?
False
Let h = -26.9 - -33. Let s = h + -3.8. Let y = -3.1 + s. Is y bigger than -1/2?
False
Suppose f = 9*f - 120. Let j be (-1 - 10/f)*6. Is -114/11 greater than j?
False
Let m(b) = -b**3 - 8*b**2 + 81*b + 1172. Let a be m(-18). Is 2954 not equal to a?
False
Let d = -1.96 + -0.04. Let r = d + 1. Let y be 418/(-33) - -12 - 5/6. Are r and y equal?
False
Suppose -12 - 8 = 5*o - 4*a, -5 = o - a. Suppose -13*b - 936 = -o*b. Is b at least -72?
True
Let r = 756/4591 + -21383792/160685. Let k = -133 - r. Which is bigger: k or 0?
0
Let v = 87107/2375785 - 58/1679. Is v less than or equal to -1?
False
Suppose -6*i + 5*i + 20 = 0. Suppose 33 = i*j - 7. Suppose 3*v + 2*v = -15. Is j at most as big as v?
False
Let v = 3 + -2. Let g = v - 11. Let u(d) = -188*d - 10915. Let f be u(-58). Is g at most as big as f?
False
Let q be (-155)/(-16)*(14416/1105 - 13). Is -1 > q?
False
Let i be ((-190)/(-6) + -3)*-3. Let z(g) = 6*g**2 + g - 1. Let l be z(1). Let q be ((-4)/6)/(l + 3056/(-510)). Which is greater: q or i?
q
Let p = 455.84 - 435. Let s = -27.9 + p. Let u = s - -7. Is u < -0.3?
False
Let h be (3/(-198))/(2/8). Let g = -1/76402 + 19101/38201. Which is bigger: g or h?
g
Let h = 73 + -129. Let w = -148 + 100. Let c = w - h. Which is greater: c or 7?
c
Let p(x) = 4*x**2 - x + 6. Let w be p(-2). Suppose -12 = 18*g - w*g. Let m be 6/2 - 2 - (g + 1). Is m smaller than -8/15?
True
Let u be (-16)/(-6) - 14/21. Suppose 0 = 3*p + 5*s + 27, 0*p + 2*p - u*s = -2. Let z be (-5979)/9965 + (-3)/(-5) + 1. Is p >= z?
False
Suppose 0 = -6*i - 2 - 4 - 0. Which is smaller: 6/4091 or i?
i
Let b = 50 + -41.2. Let i = b + 4.2. Let a = -13.7 + i. Which is greater: 3 or a?
3
Let d be 364/39 + 2/3. Let n be (-22)/55 - (-94)/d. Let b(q) = -2*q + 1. Let x be b(n). Which is smaller: x or -18?
-18
Suppose 3*k = 5*k + 260. Let j = 1209 + -1338. Is j smaller than k?
False
Let s(i) = -12*i**3 - 2*i**2 - 366*i + 2661. Let k be s(7). Is k at least 0.1?
False
Suppose -2*m - 3*p + 4*p = 3, -2*m + 27 = 5*p. Which is greater: m or 93/49?
93/49
Let w = 17448 + -17814410/1021. Let s = 35759/12252 + w. Is s <= 4?
True
Let u be (-8*(-19)/(-152))/(1*2 - 1). Which is greater: u or 11/536?
11/536
Let l(m) = -69*m - 10546. Let w be l(-162). Does 3154/5 = w?
False
Suppose 3*n - 40 = -4*q, 6*q - q + 2*n = 43. Let f(y) = -y + 12. Let c be f(q). Which is smaller: c or 0?
0
Let z = -28375 - -143079/5. Which is smaller: z or 242?
z
Let u be (-3)/9 + 238/102. Is u bigger than 39/40?
True
Let a(v) = -2*v**2 + 5*v - 72. Let f be a(-14). Let i = -532 - f. Is i bigger than 38/25?
True
Let k be (12 - (4 - -6))/((-19)/10). Which is bigger: -10 or k?
k
Let b = 0.479 + -0.019. Let x = 0.53 - b. Let w = x - -1.93. Is w greater than 2?
False
Let h = -3630 - -6937. Is 3307 > h?
False
Let n(w) = 8*w - 111. Let h be n(12). Let a be (-1)/3 - (-1)/h. Let l = 0.08 + 0.16. Is l less than or equal to a?
False
Suppose w - 2*h = -5*h + 6, -10 = -w - 5*h. Suppose -5*l - 2*f + 8 - 1 = w, 5*f + 26 = 2*l. Suppose 5*t + l*t = 6*t. Are 33 and t equal?
False
Let r be ((-342)/304)/((-66)/1). Does r = 0?
False
Let f be 645/258*(-94)/(-5). Is 73 < f?
False
Suppose -19742 = 4*f + 5*c, 21*f + 4*c = 16*f - 24691. Is -4943 at most as big as f?
True
Suppose 3*m + 20 = g, -10610*m + 7 = -10611*m. Which is bigger: g or -3/27683?
-3/27683
Let w = -12121 + 12127. Which is smaller: 184 or w?
w
Let g = -107679/5 + 21536. Which is smaller: 136 or g?
g
Let v(r) = 67*r + 1736. Let h be v(-6). Which is smaller: h or 6666/5?
6666/5
Let y = 1/143 + 137/858. Which is smaller: y or 78?
y
Let o be 17 + (-14)/140*-30. Are 1/71 and o non-equal?
True
Suppose 18*i = -80*i - 18032. Is i greater than -4/3?
False
Let l(c) = c**2 - 2*c - 46. Let i be l(8). Let m be (-6)/(-18) - i/(-3). Let p be (-2)/(-14)*2*3/(-2). Is m != p?
True
Let y be (-1 - (8 - 10))*(-3)/(-15). Is y at least as big as 1/2?
False
Let y(q) = q**3 + 2*q**2 + 2*q - 5. Let k be y(-4). Let v = 47 + k. Suppose v*u + 1 = -5. Are u and -1 nonequal?
True
Let d be 2*(-3 + 2)/1*(-6)/(-12). Is 6/1049 greater than d?
True
Suppose 4*t = -2*t + 342. Suppose t = -4*r + h, 2*r + 30 = -0*r + 2*h. Which is smaller: r or -16?
-16
Let f(c) = -2*c + 6. Let i be f(4). Let q = -13093/150 - -11/300. Let x = -88 - q. Which is bigger: i or x?
x
Suppose 3*w + 3*j - 2 = -17, -5 = 3*w - 2*j. Let k be 263/3 + 0 + (-1)/w. Let z = -78 + k. Which is bigger: 12 or z?
12
Let b = 4378193/819 - 69985/13. Let j = 340/9 + b. Is -0.07 greater than j?
False
Let l(m) = -m**3 - 7*m**2 + 17*m + 3. Let w be l(-8). Let g = w - -69. Which is greater: -1/169 or g?
g
Suppose -g + 5*i + 8 = 3*i, 24 = 4*g - 4*i. Suppose -12*b + 8*b - 80 = 4*j, 0 = -4*j + g. Is b greater than -21?
False
Let z(t) = t**2 - 7*t - 98. Let y be 0 + 4 - (-220)/22. Let r be z(y). Which is bigger: -2/111 or r?
r
Let v(u) = -2820*u**3 - 3*u**2 + 2*u + 2. Let q be v(1). Is q greater than -2819?
False
Let p = -1313 + 1310. Is p > -85/41?
False
Let c(w) = -207*w + 1535. Let h be c(6). Is 295 less than h?
False
Let u be 140/840 + (-194)/12. Let v be 1/4*-3*20. Which is smaller: u or v?
u
Let t = 21193/14 - 6607/14. Let s = t - 267757/257. Is 1 less than or equal to s?
False
Let s be 54/((-3 + 2)*(0 + -2)). Let x = s + 12. Suppose 14 = -5*k + x. Is 9 smaller than k?
False
Let p(k) = 5*k**3 - k**2 + 2*k. Let h be 0 + (-3)/(-2) + (-11)/22. Let v be p(h). Suppose -14 + v = -4*n. Which is bigger: n or 10/13?
n
Let k = -237 + 261. Suppose k*n - 19*n = 0. Is -12/17 at most n?
True
Suppose 0 = -5*o - 7 + 17. Suppose -16 = 4*q, 5*z - 3*q + o*q - 164 = 0. Is 32 less than or equal to z?
True
Let d = -99.4 - -100. Let o = -0.7 + d. Let h be 1*(-6)/(-117)*-3. Is o greater than h?
True
Let h = 9.948 - 10.648. Does 190 = h?
False
Let i = 75422 + -75422. Let q b