 = 5*g + 4*x, g + 1 + 1 = -2*x. Let j be -2*((-3)/(-6) + g). Is j at most 16/9?
False
Let y = 95 + -95. Suppose -5*k - 59 = -y*r + 3*r, -k - 44 = 2*r. Is r != -116/5?
True
Suppose -7*b + 49 - 14 = 0. Suppose -9*p + 345 = -12*p + 5*f, -f - 547 = b*p. Is p <= -111?
False
Suppose 6*u = 224 - 1550. Let h = u + 184. Is h greater than -31?
False
Let t(r) = -2*r + 549. Let q be t(-8). Is 561 bigger than q?
False
Let w = 78 - 1012/13. Let g = -8481 - -8481.3. Is w > g?
False
Suppose -x - 2*q - 5 = 0, -4*x + 2*q = x - 11. Let n = 5293/5125 - 43/41. Is n at least x?
False
Let i be (-131)/(-262)*(-1)/((-3)/(-6)). Are -1196/9 and i equal?
False
Let u = 935 + -952. Which is smaller: u or -117?
-117
Let x = 71 - 85. Let d be (x/38)/((-13)/6071). Let s = -172 + d. Are 1 and s equal?
False
Let g = -12 + 6. Let d(y) = 59*y + 1. Let q be d(0). Let h be (-2)/(-6) + (q - (-38)/g). Is -28/5 equal to h?
False
Suppose 0 = -225*g + 229*g - 20. Suppose -6 = q + g*n - 7, -5*q + 35 = -5*n. Is 62/9 at most as big as q?
False
Let h be 3/(-15) + 318/1640. Let u = -113 - -115. Let t be u - (-2 - -1)*-3. Which is bigger: h or t?
h
Let v be (1 - (-6533)/(-6542))/(-16 - (23 + -27)). Which is greater: 1 or v?
1
Let v be (18 + (-117924)/6552)/(71/(-2))*-3. Is v at most -1?
False
Let b = -418 - -421. Suppose 32*l = 35*l - b. Which is smaller: l or 171?
l
Let l = -740.309 - -740. Let g = l - -0.049. Let o = -3.94 + g. Does o = -1/4?
False
Let u = -150 - -150.1. Which is greater: u or 0.0523?
u
Let j be 2*(-4)/(-52) - (5992/(-91) - 0). Is j greater than 67?
False
Suppose -2550 = 122*a - 125*a. Suppose 24*p + a = -p. Is p >= -34?
True
Let d be -5 - 8/((-48)/42). Let o be ((-6)/(-30))/(d/110). Is o less than 14?
True
Let s be (-1)/(-6) + 149684/(-552). Is -271 less than s?
False
Let s = -12445 + 48545/4. Is s greater than -308?
False
Let k(l) be the first derivative of 1 + 13/2*l**2 - 23*l - 1/3*l**3. Let d be k(11). Which is greater: d or -12/11?
d
Let f be (-290)/((1/22*-3)/(273/(-6916))). Is f at most as big as -85?
False
Let x(f) = 6*f - 51. Let q be x(14). Suppose 3*a = 4*a - 21. Let v be -2 + (a/4 - 3). Which is bigger: v or q?
q
Let v = 11920 - 11927. Let f(c) = c**2 + 1 - 2 + 5*c + 2. Let t be f(v). Is -0.3 equal to t?
False
Let k = 3/839 - 21847/9229. Let s be ((-468)/27 - -18)/((-2)/6). Is s greater than k?
True
Let f be (1506/693)/(3*10/(-3285)). Let d = f + 238. Is d smaller than 1?
True
Suppose -m = 2*o - 4*m + 7, 0 = -o + 4*m + 9. Let u be 3*(1*-4 - (o - -10)). Is -5 less than or equal to u?
False
Let w = 537 - 610. Suppose 360 = 5*v - 0*v. Let t = v + w. Which is greater: t or -4/5?
-4/5
Let w be -1 - (1 + 0) - -67. Suppose 28*d - 512 = 1336. Which is smaller: w or d?
w
Suppose 3*q = 102 - 120. Let s be (-238)/(-21) + 2/q. Suppose s = -y + 48. Is 37 smaller than y?
False
Suppose 1021 = -4*l + 4389. Suppose -7*o = -l + 219. Let f = o - 89. Is 3/26 greater than f?
True
Suppose 5*r + 9 = 14. Let b = 5 - r. Suppose -a + 2*o = -2*a + 3, -b*o = -4*a + 60. Which is greater: a or 6?
a
Let t = -19557 - -19542. Let q = 3 + -4. Which is smaller: t or q?
t
Let h be (-46)/(4 - 6) + -1. Suppose -30*c = -h*c + 456. Is c not equal to -57?
False
Suppose 427 = 5*r + 122. Suppose -5*g = -3*q + r, -3*g = -3*q - 5*g + 26. Suppose -14*l = -q*l. Is l less than 0?
False
Let s(z) = z + 1. Let v(t) = 7*t - 5. Let p(g) = 3*s(g) - v(g). Let q(x) = x**2 - 11*x + 4. Let u be q(11). Let c be p(u). Are -2 and c equal?
False
Suppose -5*v + 55 = 2*i + 10, 2*i - 15 = v. Suppose -16*y - i*y - 26 = 0. Which is smaller: y or 1/21?
y
Let b be 12/(-5)*(4 - (-117)/(-18)). Suppose 2*o - 8*z = -b*z + 8, -3*o - 16 = 4*z. Which is greater: 6/11 or o?
6/11
Let o = -145 - -144.885. Let w = 0.215 + o. Let d = 0.156 - -0.024. Which is bigger: w or d?
d
Let s = -0.91132 - 0.08868. Which is smaller: s or 1/555?
s
Let w be (-36 - -1)*(-16)/60. Which is bigger: w or 9?
w
Let b be 11 + (-999)/21 - 6. Is b greater than -43?
True
Let r = -46979/164451 + -1/23493. Is r smaller than -14629?
False
Let a be (175/44 + (3 - 7))*(-160)/(-28). Which is bigger: -1 or a?
a
Let m = 563 + -562. Let r be (3/(-28))/(72/(-14)). Which is greater: m or r?
m
Let a = 48 + 1. Let i = 45.93928 + 0.06072. Let x = i - a. Which is smaller: x or -5?
-5
Let i = 13527 - 1028031/76. Which is bigger: 0 or i?
i
Let v be -6 - 128/(0 - 4). Suppose -g + v*g = 0. Is g at least as big as -2/89?
True
Let n be (-23)/(-115)*10/(-3). Let x = 2/113 + 76/8475. Which is greater: x or n?
x
Let d = -24004/3 + 8002. Which is bigger: 7397 or d?
7397
Let w = -576 - -579. Suppose 7*m = 5*m - p - 1, -6 = 3*m + w*p. Let x = 197/134 + -3/2. Which is smaller: x or m?
x
Let p = 1929 - 1762. Is p < 171?
True
Suppose -2*y - 34 - 46 = 0. Let m = y + 48. Suppose x - w + 3*w + m = 0, 4*x - 33 = 5*w. Which is smaller: x or 0?
0
Let o = -235 + 245. Let l be (o + 5 + -13)*(-58)/(-22). Which is smaller: 6 or l?
l
Let k = 220.986 + -221. Let d = 0.041 - 0.141. Which is bigger: d or k?
k
Let l = -1463.1 + 1460. Do l and -0.058 have the same value?
False
Let u be 274/(-4384) + (-4069)/(-1616). Is u >= 3?
False
Let f = -143 - -157. Let l = 37 - 17. Suppose -y + j = -l, 3*y - 2*j - 30 - 25 = 0. Which is smaller: y or f?
f
Let j = -314 - -628. Let b = 319 - j. Is b < 5?
False
Let h be -1 - 8*(-6)/4. Let i be 46 - 34 - 2/5*5. Which is smaller: i or h?
i
Let u be 1287/(-33) + 7/1. Are -61 and u non-equal?
True
Let r(l) = 5*l - 24. Let i be r(7). Suppose -v - i = -8. Is v <= 14?
True
Suppose -u - 66 + 21 = 0. Let s = -16 - u. Are s and 0 unequal?
True
Let q = -0.0193 - 0.0207. Let z be -4 - 92/(-66)*3. Which is greater: z or q?
z
Let w be 2/1 + (10 - 15). Let j(y) = -y**3 - 3*y**2 - 2*y. Let k be j(w). Suppose -5*v + 11 = 2*c, 54 + k = -5*c + 5*v. Is c not equal to -8?
True
Suppose 49*u + 192 = 53*u. Let f = u - 33. Is 15 < f?
False
Let c(a) = a**2 - 29*a. Let l be c(29). Suppose v - 4*x + 1 + l = 0, -2*x = 4*v - 14. Do v and -81 have the same value?
False
Let q = 0 + -0.02. Let f = -0.08 - q. Let h = -2577.9 + 2578. Is h != f?
True
Let p = 0.06464 + -0.46264. Which is bigger: -0.1 or p?
-0.1
Let a = 55/102 - 16021/30090. Which is bigger: 1 or a?
1
Let d = -11803/4 + 2912. Suppose -4*a + 55 = -8*j + 167, 0 = 2*a - 5*j + 50. Which is greater: d or a?
d
Suppose 2*j - 3*j + 4*l = 7, 5*j - 3*l - 16 = 0. Let f(p) = -2*p**3 + 7*p**2 + 14*p + 10. Let s be f(5). Is s not equal to j?
False
Let a = 167217/58 + -2883. Suppose f + 3 + 3 = 4*k, -5*k = -f - 7. Let m be (k/3)/((-7)/21). Which is smaller: m or a?
m
Let o = -4.07 + 4. Suppose 34*m - 15 = 5*p + 29*m, 5*m = -5*p - 25. Which is smaller: p or o?
p
Let z be 5/15*(5 + -2). Let f = 1/208 - 289/16848. Is f >= z?
False
Let z be 1*(-30)/(-25)*(-1580)/(-6). Suppose 0 = s + 3*s - z. Are s and 233/3 nonequal?
True
Suppose -2*q - z + 5 = 0, 7*q - 2*q + 2*z = 11. Which is greater: q or -147/20?
q
Suppose 0 = 5*j - 2*v + 5 + 1, 2*j = 3*v + 2. Let y be (j - -1)/(2 + 1128/(-568)). Which is smaller: 1 or y?
y
Let o = 152 - 427. Let k = o + 321. Is 45 at least as big as k?
False
Let j = -25441/258 + 296/3. Does 1 = j?
False
Let a be (-2)/15 - (-26 - (-2087215)/80700). Is 1 smaller than a?
False
Let z(l) = 4*l + 56. Let i be z(-13). Let m be (-10 + 5)/(i/(-188)). Which is smaller: 236 or m?
m
Let a = 14683 + -15229. Which is bigger: a or -549?
a
Let k(u) = u**3 + 11*u**2 + 3*u - 36. Let t(o) = -o**3 - 12*o**2 - 4*o + 36. Let a(i) = -4*k(i) - 3*t(i). Let g be a(-7). Which is bigger: 6 or g?
6
Let p(v) = -21*v + 250. Let g be p(12). Let t be g + 480/124 + -2. Is 0 > t?
True
Let i = 577.785 + -0.785. Let q = 579 - i. Is -15 <= q?
True
Let f = 2923 + -8321782/2847. Which is greater: 0 or f?
0
Suppose -33*q + 4*q = 13*q - 368046. Which is smaller: 8762 or q?
8762
Let a = 107 - 107. Suppose 3*h = c + c + 9, -c + 2*h - 7 = a. Suppose -2*w + 6 = 0, -i - c*w = -8 - 1. Is 4/19 > i?
True
Let o = 33 - 25. Let j(z) = 6*z**2 + 3*z - 2. Suppose -7*x - 6 = -13*x. Let l be j(x). Is l less than o?
True
Let v(x) = 2*x**2 + 1. Let t be v(-1). Let w be 4/(-1)*t/6. Let o be ((-42)/(-4))/(w/20*-5). Do o and 22 have different values?
True
Let w = 3364 - 3365. Let o = -13/57 - -3967/399. Let r = -10873/1120 + o. Is w > r?
False
Let a = 206 - 787. Let d = -37846153/23 + 1646066. Let w