-56
Suppose -4*g = -0*g. Let k be -14 - -10 - 0 - (-9 + 1). Suppose -k*c = -g*c + 228. Is -57 bigger than c?
False
Let n(m) = -m**2 - 5*m - 4. Let x be n(9). Let u = 132 + x. Let h be 2 - 6 - u/10*17. Which is greater: h or -8?
h
Suppose 4*k - n + 89 + 47 = 0, 40 = -k + n. Suppose 31 = -0*w - w. Which is smaller: k or w?
k
Let f = 99 - 78. Suppose -3*v = -f*v + 2*v. Is v <= -2/585?
False
Let u be ((-10)/(-45)*411)/((-6)/9). Is u not equal to -1/4?
True
Let j(v) = -7*v + 31. Suppose t - c - 61 = -2*t, c - 2 = 0. Suppose -d + 3*m + 2 = 0, -5*d + 3*m + m + t = 0. Let u be j(d). Which is smaller: -3 or u?
u
Suppose 297*q - 284*q - 13598 = 0. Is 1045 greater than or equal to q?
False
Suppose 4*c - 40 + 3 = -f, 122 = 4*f + 3*c. Let b = f - 0. Are b and 151/5 unequal?
True
Let b = 53/2 - 27. Let r = 0.187 - 0.175. Let y = -0.488 - r. Do y and b have different values?
False
Let v be (30/(-18))/(-2 + 3). Suppose -3*d - 14 = -0*j + 5*j, -4*d = -4*j + 8. Is d <= v?
True
Let p = 32 + -13. Let h = 123 - 124.79. Let w = -0.21 + h. Which is greater: w or p?
p
Suppose 142*t - 2382 = -269*t + 61*t + 418. Suppose 24 = -4*y + 4*o, 15 = -5*y + o - 3. Is t less than or equal to y?
False
Suppose -6*x + 228 = 2*n, -2*n + 200 = 5*x + 10. Is 46 < x?
False
Let x = -183.00006 - -0.00006. Is 6 not equal to x?
True
Suppose -18 = -2*c - c. Suppose -2*g = 2*g + y - 35, 4*y + 70 = 5*g. Suppose 5*o + g = -5*o. Which is smaller: c or o?
o
Suppose -21*f - f = 5*f - 28620. Which is greater: f or 1052?
f
Let q = -4047/34 + 60/17. Is q less than -116?
False
Suppose -129 + 19 = -22*w. Suppose -8*m + 85 = -3*m + w*q, 3*q + 6 = 0. Are 18 and m nonequal?
True
Let q(r) = r**2 + 2*r - 2. Let x be ((-34)/14 + 3)*14/4. Let c be q(x). Suppose 16 = c*m - 14*m. Which is bigger: -7/10 or m?
-7/10
Let r(z) = z - 18. Let s be r(18). Suppose 0 = -6*o - s*o - 6*o. Is o < -1/57?
False
Suppose -111*u + 66847 = -246173. Is 2820 bigger than u?
False
Suppose -138*r + 142 = -432 - 1220. Is r greater than or equal to -0.352?
True
Let i be (-3294)/45*(-10)/3. Let s = 16441 - 16197. Is s != i?
False
Let q = 71518781/17 - 4202865. Let g = 4121 - q. Do -1 and g have the same value?
False
Suppose 12*h - 3*d - 250 = 14*h, 5*h + 4*d = -611. Let l = h - -118. Are l and -3/131 unequal?
True
Let i(o) = o**3 - 8*o**2 + 50*o + 41. Let j be i(15). Is j at most as big as 2365?
False
Suppose 4799 = 7*h - 12*h - 3*z, 0 = -4*h + 5*z - 3817. Which is smaller: h or -957?
h
Suppose 130 = 8*b - 224 - 62. Which is smaller: 54 or b?
b
Let r = 65 - 109. Let y = 17/924 - 62/231. Do r and y have different values?
True
Let d = -939 - -954. Is -2/57 < d?
True
Suppose -v - 2*y - 16 = -1, v = -y - 12. Let h be (-12)/(-9)*1*v. Let q be -15 + 7/2*(-10)/(-7). Is h greater than or equal to q?
False
Let p(q) = 4*q - 46. Let s be p(21). Let c be (-1 + s/(-8))/(15 - 14). Let n = -7 + 2. Is c smaller than n?
True
Let x = 1067 - 876. Is 191 at most x?
True
Let w = -1467 + 1467. Is w at most as big as -6/1661?
False
Let q be 108/10*(-4)/3. Let t = 29289 + -29304. Which is smaller: t or q?
t
Let m(f) be the third derivative of 4*f**2 - 1/60*f**5 + 0 - 13/24*f**4 + 5/3*f**3 + 0*f. Let l be m(-15). Is l != -19?
True
Let b be (-4)/(1*((-9345)/1035 + 3 + 6)). Are 212 and b equal?
False
Let r be 6/((72/(-16))/(-7 + -194)). Are r and 270 unequal?
True
Let p = -20 - -17. Let s be p/((-330)/(-304)) - (-8)/20. Let c = -86 + 85. Is c less than s?
False
Let l = 79322/33 - 7027/3. Is 61 less than or equal to l?
True
Suppose 2*j + 71*t = 72*t - 2873, -5*j + 2*t - 7181 = 0. Is -1434 smaller than j?
False
Let j(a) = a**2 - 4*a + 3. Suppose 3*h - 21 = -2*u, h = 5*u - u - 7. Let g be j(u). Suppose -4*m + 0*m - 5*n = -26, g = -3*m + 3*n + 6. Is 6 bigger than m?
True
Suppose 5*g + 26 = -2*a - 26, -2*a - 4*g - 52 = 0. Let r(d) = 92*d**2 - 11*d - 4. Let i be r(-3). Let p = i - 885. Is a less than p?
False
Let h = -160 + 468. Let p be 156/h - (-12)/(-24). Is p less than or equal to -1?
False
Let c = -55 + 53. Let g be (6/c)/(1 - 10/4). Suppose g*f + 4*h - 2 = -16, 5*f + 4*h + 17 = 0. Which is smaller: f or -2/215?
f
Let y be (-2)/((-48)/549) + (-1)/(-8). Suppose 2503 = y*w + 7310. Is -209 <= w?
True
Let l = 461 + -718. Let g = l + 225. Which is bigger: g or -34?
g
Let i be 70346/42 - (-39)/((-8463)/124). Which is greater: i or 1673?
i
Let g = 433 + -436. Let d be -5 - 85/(-15) - 469/g. Is d smaller than 159?
True
Let k be 11660/(-33)*3/(-2). Let w be k/(-75)*(-1)/(-2). Let b = w + 21/5. Is b >= -28?
True
Let h = 3100 + -2328101/751. Is h greater than -1/6?
True
Let z be 20304/(-351) + (-4)/26. Which is greater: z or 25?
25
Suppose 0*r = z + 6*r - 6755, 4*r + 6685 = z. Which is greater: 6714 or z?
6714
Let x = 14951 - 15708.7. Let k = x - -790. Let m = -32 + k. Which is smaller: m or 4/5?
m
Let s = -8454 - -8455. Which is smaller: s or 297/56?
s
Let k = 38405 - 2265892/59. Let m = -0.1 - 0. Which is smaller: m or k?
m
Suppose -n - 11 - 1 = -3*r, 5*r = -4*n + 3. Let d be (-2)/r*159/(-2). Let a = -29 + 81. Is a greater than or equal to d?
False
Suppose -36 = -4*b - 4*n, 0*b - b - 1 = -n. Let v = -257 + 263. Let j be (v/(-10))/(2/(6 + -16)). Which is greater: b or j?
b
Let m(k) = -k**2 - 9*k - 18. Let u = 44 + -48. Let h be m(u). Let g be 283*h/14 + (-4)/(-7). Which is smaller: 40 or g?
40
Suppose 2*a + 253 = -b - 549, 0 = 5*b + 4*a + 4034. Which is bigger: -808 or b?
-808
Let y = 122.4 - 2.4. Let f = -123 + y. Let u be 4/(-6) + 1/(-3). Is f less than u?
True
Suppose 1103*b - 1122*b + 18164 = 0. Which is bigger: b or 950?
b
Let h(g) = -g + 91. Let q(f) = -33. Let x(j) = -4*h(j) - 11*q(j). Let y be x(-1). Is y smaller than 4?
True
Let x = -614 + 604. Let m = 1279/7 - 183. Is x less than m?
True
Let j(a) = -a**3 + 19*a + 2790. Let m be j(0). Suppose 774 = 6*u + m. Is u less than -335?
True
Suppose -2*d - 2*p = -7*p - 3, -2*d + 4*p = -8. Suppose -d*y - 12 = -15*y. Suppose y*l = 8*l - 8. Is l < -7/6?
True
Let d = 2473 + -2484. Is d < 3?
True
Let x = -161 - -167. Suppose -49 + 43 = x*h. Let v be (-5)/(70/(-18)) - 1. Which is smaller: v or h?
h
Let h be (8/6)/(442/(-139893)). Is h >= -422?
True
Let n = -142 + 120. Let m be -2*4/(-44) - 18/n. Is m at most as big as 2/125?
False
Let j = 9981678/19595 - 2547/5. Is 0 equal to j?
False
Suppose 36*n = -111 - 105. Let f be -57 + -2 - n - 6. Is -59 smaller than f?
False
Suppose 25503*d - 45350 = 25453*d. Is d at least -2?
True
Let k be (16/30)/((-374)/1848). Let a = -4/17 - k. Are a and -0.6 nonequal?
True
Let z = 3047.8 + -3048. Which is smaller: -16/21 or z?
-16/21
Let r(g) = -16*g**2 + 287*g - 15. Let s be r(21). Is s less than -1046?
False
Suppose 5*m = -5, -5*i - m = 4*m - 4627790. Let g = 8346781/9 - i. Let b = g + -1856. Which is bigger: 4 or b?
b
Let s = 45 - -14. Let o be 15/10 + (-2)/(-4). Suppose 17 = -o*d - s. Is d smaller than -38?
False
Let q = -305.6 + 107.6. Which is smaller: q or -12?
q
Let y = -789 - -723. Let u be 2/6*(-24)/8. Is y less than or equal to u?
True
Suppose -5*q - j + 0*j = -76, 0 = -4*j + 4. Suppose -v = -6*v + q. Let m = v + -37/14. Is m at least -1?
True
Let u = 4615 + -4614.2. Which is smaller: -144 or u?
-144
Let g = -1.667 - -1.84. Suppose 156 = -13*s + 169. Which is smaller: s or g?
g
Let z = 47 + -45. Let i(b) = 8*b**2 + 3*b - 2. Let w be i(1). Suppose z*h = -w + 5. Which is bigger: h or 0?
0
Let r = 160/107 - 427/214. Is r at most as big as -3154?
False
Let o be -2 + (-2 - 536/(-6)). Let z = o + -86. Let q = -93592 - -93591. Which is smaller: q or z?
q
Let r be 1289*(-6)/10 + 2/5. Which is smaller: r or -3097/4?
-3097/4
Suppose 3*f = -5*x - 7, 19*f + x + 4 = 21*f. Which is smaller: f or 11/380?
11/380
Let x be 2 + (-30)/1 + 0. Let k be (1 - 1) + (-8)/x. Let f = -5382 + 5380. Is f smaller than k?
True
Let h = -26 + 127. Let b = -10774 - -10774. Is h < b?
False
Suppose 2*y = 5*k + 26, 7*k - 3*y + 29 = 2*k. Let f be (5 - (2 - k)) + 8/4. Is 3/112 at least f?
False
Let r be (5/(-205))/((-351)/(-54))*(-3)/(-78). Which is smaller: -1 or r?
-1
Let x = -55.1 - -55.1. Let n = 465 + -502.6. Let u = -34 - n. Is u != x?
True
Let a = -17725 - -17736. Which is greater: a or 185?
185
Let z be (11 - -4)/(-5) - -3. Suppose -5*b - 29 - 1 = z. Let x(j) = -j**2 + 2*j + 44. Let r be x(b). Is r at most as big a