
False
Let x(v) = 2*v + 13. Let c be x(-5). Suppose 2*k - 4*y - 20 = 0, -2*k - c*y - 15 = 3*k. Which is greater: -6/167 or k?
k
Let y = 1004 - 1005. Is y > -1/157?
False
Suppose -1765 - 3276 = -15*i - 766. Is i less than or equal to 288?
True
Suppose -2*v + 2*b = -41 - 43, 123 = 4*v + 5*b. Suppose 0 = h - 3*i + v, 3*h - 7*h - i - 83 = 0. Suppose 364 = -12*m + 88. Which is greater: h or m?
h
Let k = -0.00216 + 2.20216. Are k and -57 nonequal?
True
Let l = -7.07 - -0.07. Let h = 0.218 + -1.958. Let t = -1.74 - h. Is t less than l?
False
Let i = 18414/5 + -3683. Is i greater than or equal to -13?
True
Let n = 1627687/18 + -90393. Which is greater: n or 35?
35
Let g = -0.8 - -0.8. Suppose -3*u + 13 = 5*h - 1, -4*u = -5*h + 28. Suppose 4*r - h*z = 2*r, -r - 1 = -3*z. Is g at most as big as r?
True
Let g = -2445 - -2460. Is 11/8 greater than g?
False
Suppose 0 = 129*r + 181*r + 1648580. Are -5320 and r unequal?
True
Let i(f) = -f**2 + 11*f - 24. Let b be i(8). Suppose -17*d - 14*d = b. Let g = -5 + 3. Which is smaller: d or g?
g
Let f = -53.814 + 56. Which is bigger: -1 or f?
f
Let w = -15.06 + 0.16. Let t = 18 + w. Let r = -3.3 + t. Which is smaller: 2/19 or r?
r
Let a = 2731 - 4115. Let b be (678/99)/((-11)/(-2223)). Let g = b + a. Which is smaller: 0 or g?
0
Let t be ((-27)/(-42))/((-36)/42). Let b = -3406.08 - -3406. Which is smaller: t or b?
t
Let u be (-47)/423 - 92/(-18). Let i be (-3 + 4571/1526)*(-2 + u). Are 1 and i unequal?
True
Let y = -32 + 14. Suppose c - 5*t + 8 = 0, -3*c - 558*t - 38 = -559*t. Which is smaller: c or y?
y
Let r = -63 - -42. Let n be (2/6 - -1)*(-27)/(-18). Let b be (-112)/(-42) + n/(-1). Is b at most as big as r?
False
Suppose -2*x = -2*n + 16, -9 = 5*n + 33*x - 31*x. Is 2/30169 >= n?
False
Let i = -19292 + 19291.95. Which is smaller: 1662 or i?
i
Let k be 2 + (-2 - 2157/243). Let c = -45181/9 - -5029. Let u = c + k. Are u and -1 equal?
False
Let f = -4/6381 + 11447542/44667. Let v = 257 - f. Let x = -2 + 3. Do v and x have the same value?
False
Let g = 19.53 + -19.56. Is g smaller than 471/4?
True
Let s(i) = -11*i**3 + 2*i**2 + 2*i - 2. Let a be s(1). Let f(j) = -j**3 - 9*j**2 - j - 9. Let p be f(a). Suppose 2*z - 10 = -p. Is z at least as big as 3?
True
Suppose 2*v = -4*p + p - 2889, 4*p + 3866 = -5*v. Which is greater: -958 or p?
-958
Let f = -3095 - -3094.94. Which is smaller: 8.6 or f?
f
Let a = -361/15 + 157/5. Let d be (-2 - (-6)/4)*-290. Let q = d + -144. Which is smaller: q or a?
q
Suppose m - 11 - 7 = -n, -n + m = -8. Suppose -282 - 663 = -21*k. Let w(r) = -r**3 + 47*r**2 - 90*r + 17. Let s be w(k). Which is greater: n or s?
s
Let v be 7 + ((-4)/12)/((-7)/21). Let d be -1 - 0 - (4 + -3). Let b be d/3 - (-92)/12. Is v not equal to b?
True
Suppose 0 = g + 22 - 17, 2*c + 5*g + 669 = 0. Do c and -326 have the same value?
False
Suppose -z + 12 = 4*o - 2*z, -2*o + 5*z - 12 = 0. Suppose 2*h = 5*q + 12, o*h + 3*q - 37 = 13. Let a = -16931 - -16944. Which is smaller: h or a?
h
Let p(z) = z**3 + 4*z**2 - 21*z - 7. Let j be p(-7). Let b = -4 - j. Suppose -b*c = -6*c - 6. Is c equal to -9/5?
False
Let b be 8*1*(-1)/(-2) - -36. Let r be (b/64)/(5/10). Let x be (-1 + 4)/(3/2). Which is smaller: x or r?
r
Let i be (-25)/(-80290)*15146/1. Let n = 2/1147 - i. Let t = 4 - 8. Is t at most n?
False
Suppose 0 = 3*x - 3*x - 6*x. Suppose x = 17*p - 61*p. Which is bigger: -7/44 or p?
p
Suppose -3*q + 32 = 3*q + 20. Let m = 1 - -3. Suppose 2 + 0 = 2*x, -5*d + m*x = -6. Are d and q equal?
True
Let z = 1 - 2. Suppose -12918 - 5787 = -145*i. Is z less than i?
True
Let u be (14 + -14)/((-8)/(-4)). Let r = -638 - -308. Let v = r + 4292/13. Is u bigger than v?
False
Let n = 62.74 + 1.26. Let k = -7 - n. Let q = k - -71.2. Is q >= -1.5?
True
Let j = -301 - -305. Let s(c) = -c**2 - 4*c + 2. Let n be s(-3). Which is smaller: n or j?
j
Suppose 4*g - 2 = 22. Let f(t) = -t**3 + 2*t**2 - 4*t - 24. Let n be f(-11). Let x = -7929/5 + n. Is x not equal to g?
True
Let l = -24/2155 + 8788/15085. Which is greater: 2/1265 or l?
l
Let s = -3 + 2. Let r be 624/252*(392/3)/4. Let u = r - 81. Is s greater than u?
False
Let f be 8/(320/510) + 2/8. Let n be f/(-21) + (-1)/(-6 + 3). Is 60 bigger than n?
True
Let v(j) = j**3 + 20*j**2 - 26*j - 20. Let p be v(-22). Let s be (-2)/8 + 3160/p. Is s at least -9?
True
Let b = 4861 - 4859.377. Is b < 1?
False
Let l be 196/126 - 47/36. Which is greater: -0.1 or l?
l
Let h = -1/165 - -61/990. Is h not equal to -1.45?
True
Suppose -2*m + 3*c + 3 = 0, 2*m - 3*m + 18 = 4*c. Suppose -4*r + m = y, -2*y = -7*y + r - 33. Let q be 6/1 + (-8036)/686. Which is smaller: y or q?
y
Let i = 1770 - 58414/33. Which is smaller: i or 0.45?
i
Suppose 7 = -y + 40. Let f(b) = b**2 + 3*b - 7. Let w be f(9). Let g = w + -67. Which is greater: y or g?
g
Let o = -11.89 + 12.04. Which is greater: 69 or o?
69
Let u be 0/((-27)/(-36)*4/3). Let d be ((-72)/42 - -2)/((-8)/352). Is u less than d?
False
Let d(q) = q**3 + 25*q**2 - 23*q + 66. Let u be d(-26). Is -32 at least u?
False
Let b be (-24)/16*(-698)/3. Let p = b + -404. Is -56 != p?
True
Suppose 2880 = -2*z - 3*c - 4056, 0 = 3*z + c + 10383. Which is greater: -3460 or z?
z
Let x = -642216585581/33 - -19463290634. Let h = x + -2182230. Let p = h - -250. Is -1 >= p?
False
Let k(n) = -82*n + 7. Let q be k(-1). Suppose -82 = -7*m - q. Let b(p) = 2*p**2 - 3*p + 1. Let l be b(2). Which is greater: m or l?
l
Let y(o) = -2*o**2 + o. Let v(f) = 7*f**2 + 11*f + 3. Let z(t) = -v(t) - 5*y(t). Let s be z(5). Let r be -2 + 2 - 23/3. Is s not equal to r?
True
Let j be 3435/26793*54/(-5). Which is bigger: 12.2 or j?
12.2
Let l = -3514 - -24596/7. Which is greater: l or 79?
79
Let v(c) = 4*c**2 + 3*c - 2. Let g be v(1). Let f be (-1)/((-1)/g*1). Suppose -o = -3*i + 13, f*i = 3*o + 17 + 6. Is o bigger than -4/23?
False
Let w(b) = 86*b**3 - b. Let r be w(-1). Which is bigger: r or -83?
-83
Suppose 2*q = 3*q + 3*i + 5, 0 = 2*q - 2*i - 30. Let y be (35/q - 3)*2. Let g be (2/(-108))/(12/16 - y). Is g bigger than 1?
False
Suppose 3*n - 145 = -4*m, -5*n + 3*m = -154 - 78. Suppose -23*a = n - 346. Is 7 at most as big as a?
True
Let q = -254513114993/1881 + 135307341. Let h be (275/38 - 7)*(-88)/(-6). Let g = h + q. Which is smaller: g or 0?
g
Suppose 81 = 4*z + q, -25*q - 110 = -5*z - 28*q. Let l be z + -11 - (-2)/(-5). Is l smaller than 7?
False
Suppose -308*h - 283 = -307*h. Let a = h - -848/3. Is a less than or equal to 2/117?
True
Let l(u) = u**3 - 14*u**2 - 21*u + 2699. Let w be l(23). Do 6978 and w have the same value?
False
Let s = 12 - 21. Suppose -29*y = -24*y - 5. Let f be s/((-9)/2) - y. Which is greater: -5/16 or f?
f
Let b = 274 - 72. Let r = 1009/5 - b. Is 0 at least as big as r?
True
Let u(h) = h**2 - 5*h - 32. Let q be u(7). Let j(r) = -r**2 - 22*r - 62. Let k be j(q). Which is bigger: 11 or k?
11
Suppose -34*v - 163264 = 7*v - 9*v. Is -5102 <= v?
True
Let v = 8.2 + -7.22. Is v > -2?
True
Let x = -591 + 592. Which is bigger: -3446 or x?
x
Suppose f = -0*f - 2*j - 1, -4*f + 16 = -2*j. Let b = -169 + 172. Suppose 11 = 4*z - q, -34*q = b*z - 30*q - 32. Which is greater: f or z?
z
Let z be ((-1)/15)/(35/6). Let o be (44/6)/11*3. Let b be -2*o/8*2. Is z bigger than b?
True
Let c be ((-70)/10 + -446*3)/(-1 - 0). Which is smaller: c or 4031/3?
4031/3
Let a = -3 + 3.2. Let x be (-4)/5*(-30)/3348. Let g = -1387/1116 - x. Does g = a?
False
Let c be (-4260)/(-26) - (108/(-26) - -4). Suppose -6*w + c - 434 = 0. Is -43 at most as big as w?
False
Let k = -31 - -30.69. Let o = 256194 - 768581/3. Which is bigger: k or o?
o
Suppose -2*a + 158 = -0*a + 2*g, -a + 5*g + 91 = 0. Suppose -73*b = -a*b - 32. Is -6 at least as big as b?
False
Suppose 138*o + 593 = -925. Suppose -f + 3*r = 2 - 1, 4*f - 38 = -2*r. Let w = -24 + f. Which is bigger: o or w?
o
Let r = -3 + 5. Suppose 0 = f - r*k + 3, -3*f - 24 = -0*k - k. Suppose 681 = 4*m + 725. Which is greater: m or f?
f
Let t be (-1)/2 - (6 + (-2454)/300). Suppose x + 4*d = 10, 5*x + 7*d - 20 = 2*d. Is t less than x?
True
Let d(p) = 2*p**2 - 66*p - 3. Let h be d(33). Let q be h - (-3 - 143) - (16 - 15). Which is bigger: q or 0.1?
q
Suppose 0 = 2*j + 2*j + 2*q - 18, -3*j - 5*q = -31. Suppose -o - j*o - 12 = 0, 132 = -4*c + 2*o. Suppose 3*s = 5*w + 5*s + 179, 2*s = 3*w + 10