 -3/7 have the same value?
False
Let l(i) = -135*i + 98. Let a be l(1). Is a < -31?
True
Suppose 46*x = 28*x + 630. Let z be (3 - -642)*(-3 - (-91)/x). Which is bigger: -257 or z?
-257
Let a(u) = -3*u + 50. Let l be a(14). Let z be l/20 - (-232)/20. Suppose 0 = z*i - 6*i + 6. Which is smaller: i or -2?
-2
Let l = 16 - -234. Let n be (471/(-9) - -1)/(-5 + 169/39). Let y be (-75)/l*(1 + n/(-3)). Is 8 equal to y?
False
Let a = -16 - -26. Suppose -63 = 3*c - a*c. Suppose x - 4*k = c, 4*k = -3*x - 5 - 0. Which is bigger: -5 or x?
x
Let j be (-1342)/54 - (-475)/95. Which is smaller: -20 or j?
-20
Let v = 4850 - 5717. Which is bigger: v or -864?
-864
Suppose 14*w + 24 = 18*w. Suppose 0 = w*g - 2*g - 44. Suppose -g*m = -5*m - 54. Is 8 at most as big as m?
True
Let c = -734031/5582 + -1/2791. Is 0.1 at most as big as c?
False
Let z = -7210 - -7242. Which is bigger: z or 1054/33?
z
Suppose 110*l = 80*l. Does 3/775 = l?
False
Let h be 87/12 - 7 - (-23)/4. Let l be (-2)/(46/h + 8/24). Which is bigger: l or -113?
l
Let k(j) = -j**3 - 5*j**2 + 5*j - 8. Let b = -9 + 3. Let a be k(b). Let n(f) = f**3 + 4*f**2 - 31*f - 127. Let o be n(-4). Is a != o?
True
Let y be 23/10*2 + (-28)/(-70). Suppose 694 = 3*m - 4*r, 0 = -2*m + y*r - 3*r + 462. Is m greater than or equal to 232?
False
Let p = 498 + -495. Let h be ((-249)/(-112))/p + (-15)/35. Which is smaller: h or -1?
-1
Let w = -152.19 - 1.81. Let u = 163 + w. Which is smaller: 0 or u?
0
Let i = -45973 + 277219/6. Which is bigger: i or 231?
231
Let c = 700 - 262. Let x = -439 + c. Which is smaller: x or -3/50?
x
Let w = -13976.283 - -13992. Let n = -0.017 + w. Let h = 1.3 + n. Is h at least -0.1?
True
Let r be (-2)/35*1485/(-4). Let p = r + -43/2. Which is bigger: p or 2.3?
2.3
Suppose 0 = -6*v - 237 - 909. Let w = v + 190. Is 6/47 less than or equal to w?
False
Let p = 134943 + -670987/5. Which is smaller: p or 746?
p
Let d = -29963 + 30016. Let r = -3 + 2. Are d and r unequal?
True
Let t = -24 - 17. Let j = t + 40. Let k = -0.1 + j. Is k at most 0.1?
True
Let r = 199 + -193. Let u be (-64)/390 + 1/r. Is u greater than -1?
True
Let g = -15697981/20009 + 8630/11. Is g not equal to 0?
True
Let s be 1/2*(-14 - -4 - -22) + 9225. Does s = 9229?
False
Suppose -7*q + 9 + 12 = 0. Suppose 12 = 2*r - 22*z + 25*z, -q*z = 0. Is 90/17 at least r?
False
Suppose -4*f + 12 = -3*q, f - 3*q = q + 16. Let b be 86009/7161 - 36/3. Is b >= f?
True
Let l be (8 + 2)/((-87)/(-6) + -3). Which is smaller: l or 1?
l
Suppose 5*a + 4 + 26 = 0. Let r be ((-8)/a*9/6)/(-5). Let x be (-24)/108 - (-627)/648*-3. Is r less than x?
False
Let d(o) be the third derivative of o**6/120 - o**5/12 - 5*o**4/24 + 5*o**3/6 - 47*o**2. Let w be d(4). Which is smaller: w or -32?
-32
Let o = -1464917/13761 + 958/9. Which is smaller: o or 1?
o
Suppose -20*c + 35761 = 6*c - 22635. Is 2247 <= c?
False
Let t be 1/(-3) - 109065/1430*2/(-414). Are 1 and t equal?
False
Let t(h) = h**3 + 9*h**2 + h - 52. Let y be t(-8). Let d(i) = i + 3. Let f be d(3). Suppose 4*w - 64 = -y*b, 4*b + f*w - 59 = 3*w. Is 11 not equal to b?
False
Suppose -19*c = -13*c + 18. Let t be 15/4*(-8)/(-120)*c. Is -2 at most t?
True
Let q be -7 + 181390/(-11781) + (-1)/(-9). Suppose -4*h - 2*g = -2 + 78, 2*h - g + 46 = 0. Does q = h?
False
Let r = 105 - -77. Suppose 186*w - 8 = r*w. Which is smaller: w or -33?
-33
Let i(y) = -286*y**3. Let a be i(-1). Suppose -61*w - 3*o + 4627 = -45*w, 5*o = -2*w + 657. Is a smaller than w?
False
Suppose 3*q + 180 = 2*b + 3*b, -77 = q + 4*b. Suppose 3*r - z + 198 = 0, -8*z + 10*z = -2*r - 132. Which is greater: q or r?
q
Let d be (-5)/(-17 + 2) - (-9550)/(-27525). Are -1 and d equal?
False
Let p = 546725/187 - 8771/3. Is p less than -1?
False
Let a = -72 - -109. Let l = -16 + a. Let h = 28 - l. Is -3 bigger than h?
False
Let p = 58 - 57. Let q = -124 + 110. Is q < p?
True
Let l = -9772 - -9878. Is 102 equal to l?
False
Suppose -4*k + 1 + 7 = 0. Let r be (-18)/4 + k/(-4). Let v = -15145 + 15135. Which is smaller: r or v?
v
Let r = -4 - -19. Let h = 163.65 - -2.35. Let m = 166.1 - h. Does r = m?
False
Suppose 48*m + 136 + 4586 + 16974 = 0. Which is smaller: 0 or m?
m
Let g be (-50)/(-225) - 1684/612. Does g = -4?
False
Suppose 68*w - 64*w - 8 = 0. Suppose 0 = w*b - 4*b - 2*b. Which is smaller: b or -2/55?
-2/55
Suppose 27*r - 17 = 26*r. Suppose -r*c = -13*c + 12. Let p = 0 + -11. Which is smaller: p or c?
p
Suppose -3*s - 5*p = -s - 946, -4*s = -4*p - 1836. Suppose 4 = 2*b, -3*b + s = -5*r + 32. Is r >= -84?
False
Let i = -570845/29 + 19681. Are -2 and i equal?
False
Let a = -16030 - -16029.82. Which is smaller: -169 or a?
-169
Suppose 0 = 4*a - 19 - 1, -3*l + 56 = -2*a. Let q(x) = x**2 + 5*x - 99. Let s be q(8). Which is smaller: s or l?
s
Let j = -4489 - -264849/59. Does -0.16 = j?
False
Let r = 9.9 + 134.1. Let d = 0.36786 - 0.26786. Are d and r equal?
False
Suppose -168*k = -131*k + 33818. Is k < -912?
True
Suppose p + 165 = 4*l + 30, -l = -2*p - 39. Suppose -197 = -4*v + 4*i - 45, -3*v - 4*i = -149. Let a = l - v. Is a at least as big as -19/2?
False
Let w = 31 + -26.2. Let k = 39/205 - -2/205. Which is smaller: k or w?
k
Suppose t - 2 = -10. Let y = -11 + t. Let j = -22 - y. Which is greater: -2 or j?
-2
Let p be (-3028)/34 + -2 + 114/(-19). Which is greater: -97 or p?
-97
Let c be 941892/(-217364) - -5 - (-4)/(-6). Which is greater: 1 or c?
1
Let a be 80/(-3) + (-6)/(-9). Let r(d) = d**2 - 17*d + 85. Let v be r(9). Let p = v + a. Are -14 and p equal?
False
Let z = 19160 - 20370. Are z and -1203 equal?
False
Suppose 0 = -2*h + 1 + 5. Let m be (1/h)/((-6)/(-495)). Let z(p) = 496*p - 2452. Let j be z(5). Is j bigger than m?
True
Let d = 88 + -80. Suppose -4*p + d = 5*l, -4*p + 5*l - 4*l = -8. Suppose -s + 7*o - 2*o + 6 = 0, p*o = s - 6. Which is smaller: s or 23/4?
23/4
Let h be (-1)/2 - (-294)/28. Let p(t) = -2*t + 73. Let s(g) = 12*g - 364. Let b(i) = 14*p(i) + 3*s(i). Let u be b(10). Is h smaller than u?
False
Let h = 0.3898 + -363.3898. Is h greater than or equal to 3?
False
Let n be (-10 - (-16268)/1617)*663*(-2)/(-16). Is n smaller than 6?
True
Let g = -10864 - -10865. Which is smaller: g or 981?
g
Suppose -4*d = -2*d + 6. Let k be (-2 + -4)/(d/2). Suppose -n + 15 = -2*n + k*a, -3*n + 4*a = 21. Do n and 1 have the same value?
False
Let v = -261 + 321. Let a be (-721)/1185 - (-36)/v. Is a != 1?
True
Let a = -1323.3548 - 0.6452. Which is smaller: -3 or a?
a
Let h = 9875 + -9874. Let d = -21579 - -20651105/957. Which is smaller: d or h?
d
Let z be ((-3)/12 + (-401)/(-20))*159/477. Is z equal to 3/26?
False
Let g be 13/(-26) + 46/132. Suppose -6*i + 2*i = -5*i. Is g at least as big as i?
False
Let p = 302270 - 114307. Let d = 55637209/296 - p. Let c = -3/37 - d. Is -1 smaller than c?
True
Let d = 54574/969 - 1294/51. Which is smaller: 32 or d?
d
Let b = 0.99043 + -1.13043. Let z = 1.5 - 2. Is b greater than z?
True
Let x = 234 + -167. Let f = x + -50. Let y = f + -17. Which is smaller: y or 11?
y
Let y = -49.3 - -234.3. Is 8 >= y?
False
Suppose -17 - 83 = -4*h. Suppose -h*m = -13 + 38. Which is greater: m or -6/7?
-6/7
Let y = -492 - -374. Let c = -563.7 - -445.74. Let b = c - y. Is b at least as big as -5?
True
Suppose 1500 = -2*z + 2*x, 4*z + 1205 = 3*x - 1789. Which is smaller: z or -746?
-746
Let w(g) = 16*g**2 - 27*g - 3. Let j be w(3). Suppose 810 = 6*l + 180. Let m = l - 46. Is j greater than m?
True
Let h = 4.8931 - 0.0631. Let z = h + -4.78. Which is greater: z or 10?
10
Let s = 7/314 + 523/4710. Is s <= -1/240?
False
Let a = -840 - -839.8422. Let c = a + -0.0462. Which is greater: 2/3 or c?
2/3
Let a = -4 - -3.7. Let m = 5194 + -5162. Is m > a?
True
Let d be (((-486)/8)/1)/(4/16). Let f = -224 - d. Which is smaller: f or -2/3?
-2/3
Let z = 2.64 + 0.26. Let n = -0.5 + z. Let j = -1.0323 - -0.0323. Is n != j?
True
Let b = -612/5 + 83671/690. Which is greater: b or 0?
0
Let g = -12401 + 12271. Which is smaller: g or -135?
-135
Suppose 12*g - 23*g - 109136 = 3*a, a = -2*g - 19842. Which is smaller: -9923 or g?
-9923
Suppose 7 = 3*i + 2*z, 3*i - z + 136 = 128. Which is smaller: i or -6985?
-6985
Let u be ((-3)/(-12))/(-8*(-56)/(-4)). Let c = u + 123/4928. Is c bigger than -1/4?
True
Suppose -3*b = 3*p - 6, -3*b + 30 = -2*p - 1. Suppose -9*v = -b*v - 86