 m. Suppose 0 = -3*a - q + 167, -5*a + 3*q = -327 + 44. Are a and g non-equal?
False
Let k = -17.134 + 5939.134. Is k < 0.1?
False
Suppose 108 = 19*v + 13. Let s be ((v + -5)/(-6))/(-2). Which is bigger: -8 or s?
s
Let l = -0.7 - 0.3. Let b = 10551.49 + -10550. Is b > l?
True
Let t = 8265/34 + -366627/1598. Which is smaller: t or 15?
t
Suppose 6*o + 140 - 1124 = 0. Let p = o - 84. Suppose 5*w - w = -p. Is -20 at most as big as w?
True
Suppose 0 = 85641*g - 85649*g - 8. Is -64/137 at most as big as g?
False
Let d = 8695.59 + -8645. Let z = d - 50.6. Which is greater: 5 or z?
5
Let m be 542/7 + (-1510)/1057. Is 41 equal to m?
False
Let d = 10542 + -12620. Are d and -2077 nonequal?
True
Let l = -0.8211 + 0.87. Let n = -0.1511 - l. Is n at most as big as -154?
False
Suppose 336 = 883*z - 547. Let s = -2525/81 + 280/9. Which is smaller: z or s?
s
Let c(k) = -4*k**3 - 3*k**2 + k + 3. Let u be c(-1). Suppose 0 = 2*y - 3*q - 1, -u*q - 14 + 5 = 0. Let i be (3 - 164/52) + y/(-26). Which is bigger: 8/23 or i?
8/23
Let r be (-24)/(-540)*2/14. Let t = -26937 - -26937. Which is smaller: t or r?
t
Let z be (-28)/(-8)*4/7*8. Let n(a) = -3*a - 2. Let s be n(-4). Which is greater: s or z?
z
Let i = 506 - 507. Which is bigger: -2/199 or i?
-2/199
Suppose 5*s = 4*s - 5*s. Suppose q + 128 = -4*u, 5*u + s*u + 384 = -3*q. Let j be (-48)/q - (-1)/(-2). Is j at least as big as 3?
False
Let b = 14 - 14.049. Let z = -0.112 + 0.012. Which is greater: b or z?
b
Suppose -5*k + 0*k = 3*r - 53, -k + 125 = 5*r. Let j = -132 - -107. Let b = r + j. Is b less than 1/114?
False
Let n = -238 - -164. Let k = 547 - 625. Is k at most as big as n?
True
Let a be (-37864)/5920 + 7 - 54/90. Which is bigger: 1 or a?
1
Let o = -690.1 + 688.1. Is o not equal to -116?
True
Let s(y) = 2*y**3 + 2*y**2 + 5*y + 3. Let z be s(-1). Suppose 3*g + 0*q - 142 = -5*q, 266 = 5*g + q. Let c be -1*4/g*3. Which is bigger: z or c?
c
Suppose 0 = u - 12 + 8, 93 = 5*g + 2*u. Let z be -2 + (1547/70)/g. Which is greater: -2 or z?
z
Let z be ((-3)/12)/((-279)/(-72) - 4). Which is smaller: z or -8?
-8
Let q(d) = -6*d**2 + 213*d - 59. Let z(o) = 3*o**2 - 107*o + 31. Let n(s) = -2*q(s) - 5*z(s). Let i be n(36). Are 10/21 and i non-equal?
True
Let r be (-4888)/(-84) - (-2)/14. Let n = r + -59. Let o = -440 + 422. Is o bigger than n?
False
Let x be ((-56)/84)/((-2)/3). Is x at least -5/442?
True
Suppose 51 = -18*v - 3. Suppose f + 0*f - 2 = 0. Let k be f/10 - (-26)/(-10). Which is smaller: k or v?
v
Suppose 1146 = 5*i - 3*l, 0 = 5*i - 10*l + 15*l - 1090. Is i >= 1571/7?
True
Let k = -1.3 + 0.3. Let z(w) = -445*w**2 - 3506*w - 8. Let l be z(-8). Which is smaller: l or k?
l
Let j = -214.8224 - -0.0224. Are j and -1 non-equal?
True
Let h(z) be the first derivative of -z**4/4 + z**2/2 + 329. Let g(a) = -a - 1. Let p be g(-4). Let w be h(p). Is w greater than -24?
False
Suppose 2838 = 2*d - 31*d + 23*d. Which is smaller: -8060/17 or d?
-8060/17
Let i = 13 - 137. Let p = -120 - i. Suppose 4*w = -p*a - 16, 4*w + 4*a = a - 12. Is w < 2/7?
True
Let s be (-3 + 4 + (-2)/(-2))*17030/(-26). Which is smaller: -1307 or s?
s
Let i(y) be the second derivative of 4*y**3 + 15*y + y**2 + 1/12*y**4 + 0. Let q be i(-24). Is q < 2?
False
Let k be 172/(-1462) + 2/(-10) + (-224)/(-170). Is 5/2298 less than k?
True
Suppose 527*p - 534*p - 553 = 0. Is p >= -45?
False
Let s be 6 - (-5)/10*10. Suppose -s*v + 65 = -111. Is v at least 3?
True
Let f be (-148)/(-370) + -6*(-99219)/765. Is 779 equal to f?
False
Suppose 16*s + 22 = 20*s + r, 2*r + 22 = 3*s. Suppose 3*k - g = -5*g + 44, -2*k = -2*g - s. Is 11 at most as big as k?
False
Let w be (14 - 1)*12/(-164) - -1. Let j(i) = i - 3. Let a be j(6). Suppose -2*d - 2*l - 6 = -5*l, -9 = a*d - 5*l. Is w at least d?
True
Let v = -1043/6 - -53189/306. Suppose 56 = -9*q + 65. Which is smaller: q or v?
v
Suppose 3*m - 881 = 4*b - 156, 4*m = 2*b + 370. Let z = b + 191. Are z and 12 unequal?
False
Suppose -15*u - 26341 = 38*u. Is -0.03 < u?
False
Let y(w) be the second derivative of -8*w**2 - 3*w + 1/2*w**3 + 1/6*w**4 + 0. Let f be y(-5). Are f and 18 non-equal?
True
Let p = 2449 - 2435. Is 15 at most as big as p?
False
Let u = 4.36773 - 0.36773. Let x be 2/(-4) + (-163)/10. Let g = x - -17. Which is smaller: u or g?
g
Let c be 30/((-2453)/253 - 9/(-1)). Which is smaller: c or -42?
c
Let r be (-10)/(((-5291)/975)/37). Is 2 at most as big as r?
True
Let z = 237.752 + 0.248. Let a = z - 239. Is a bigger than 88?
False
Suppose -23*o = 17*o + 4327 - 2447. Do o and -231/5 have the same value?
False
Let w = 3281 + -3280. Which is bigger: w or -2/595?
w
Let t be 8/22 - (232/(-88) - -3). Which is bigger: t or -1/8765?
t
Let n(s) be the third derivative of -s**5/60 - 4*s**4/3 - 37*s**3/6 + 57*s**2. Let y be n(-31). Which is greater: -13 or y?
y
Let y(z) = 599*z**2 + 1. Let s be y(1). Suppose -s + 687 = 3*p. Suppose 2*h + 3*t = 39, 0*h + 4*t - 34 = -2*h. Which is bigger: p or h?
p
Let r = -23568 + 31698. Which is smaller: r or -2?
-2
Let i be 12*5*(-3)/(-2)*3586/1467. Which is bigger: 9 or i?
i
Suppose -75*f - 94 = -19. Which is bigger: f or 12/329?
12/329
Let z(t) = -3*t + 55. Let i be z(19). Let m be (4464/1320)/(i/10). Which is bigger: 0 or m?
0
Let h(j) = -j**3 + 42*j**2 - 41*j - 1. Let c be h(41). Is 1/1660 at least as big as c?
True
Suppose 42 = 3*a + 4*i, -5*a + 2*i = -a - 56. Suppose -9*g = 68 - a. Which is greater: g or -23/5?
-23/5
Suppose 0 = -3*p - 7*p + 10. Suppose -64*z - p = -65*z. Are 125 and z non-equal?
True
Let o(r) = -r**3 + 7*r**2 - r + 13. Let b be o(7). Suppose 7*n + b = 13. Is 7/67 greater than n?
False
Let r = 12139 - 12138. Is 98/79 > r?
True
Let d = 20.6 - 19. Let i = d - -13.4. Let q be 100/(-150) - (-8)/21. Which is greater: q or i?
i
Let d(c) = -4*c**2 + 21*c + 2. Let i be d(5). Suppose 0 = i*p - 122 + 2201. Is -298 >= p?
False
Let s be -4 - -4 - ((-957)/(-210))/(-11). Let w = s + 3/35. Is w greater than 38?
False
Let b be (-2 + 35/10)/(6/8). Let r be -1 + (0*(-5)/20)/b. Is 1/254 smaller than r?
False
Let p = 23 - 11. Let l = p - 51. Let a = -55 - l. Do -16 and a have the same value?
True
Let n be (-24)/(-10) + (-75680)/(-800). Which is bigger: 108 or n?
108
Suppose -120 = -2*o - 4*k, 4*o + 6*k = 5*k + 212. Let y(h) = 51*h**3 - h + 2. Let s be y(1). Is s less than o?
False
Let l be 169605/(-15) - (-10 + 12). Which is smaller: l or -11307?
l
Let v = -842 - -588. Let x = -254.3 - v. Is x bigger than 7?
False
Let x(a) = a - 4. Suppose -5*i + 20 = 0, u + 16 = 4*i - 0*i. Let m be x(u). Let w be m/10 - (-77)/55. Which is smaller: w or 3/5?
3/5
Suppose 0 = -l - 1 - 2, -3*z = 2*l - 9. Let a be 52/14 + (z - 9). Let c = -5443/9 - -605. Which is smaller: a or c?
a
Let a be 45/6*4/5. Suppose 0 = 5*t - 5*h + 10, 2*t + 16 = a*t + 2*h. Suppose -t*z + 22 - 6 = 0. Are z and 7 non-equal?
True
Let h be (-53)/252 - (-8)/36. Let g = h - 181/1092. Do g and -1/15 have different values?
True
Let o = 1.46 + -2.55. Let i = -12.65 + 12.74. Let h = i + o. Which is bigger: 12 or h?
12
Suppose 5*y + 2230 = 5*w, -4*w + 1665 = 4*y - 143. Is 440 less than w?
True
Suppose 36 = -0*i - 2*i. Let b(h) = -8*h + 64. Let t be b(5). Let c be ((-18)/t)/(i/(-32)). Is c smaller than 0?
True
Let u be (4427/(-266))/((-11)/(-88)). Is -133 >= u?
True
Let k = -0.5 + -2.1. Let g = -33.9 - -31.4. Let b = g - k. Which is bigger: -6 or b?
b
Suppose -2*g - 4*m + 7730 = -3414, 3*g = -4*m + 16720. Is 5575 less than g?
True
Let m = 0 - -1. Let v be 12/(-10) + ((-196)/20 - 5). Let z(p) = 30*p + 477. Let y be z(v). Is m > y?
True
Let q be (-104)/(-7) + 3 + (-162)/42. Which is smaller: -14 or q?
-14
Let h(n) = 2*n**3 + 15*n**2 - 7. Let a be h(-3). Which is smaller: a or 83?
a
Suppose 153*m - 446 + 1015 + 2032 = 0. Suppose 7 = v + 2. Suppose 0*l = v*l + 90. Which is greater: m or l?
m
Suppose -4*j - 10 = 2*q, -5*j - 40 = -5*q + 2*q. Let i be ((-2)/(-35))/(((-20)/q)/(-2300)). Is i equal to 33?
False
Let h be (12 + 301/(-2))/((50/(-8))/(-5)). Which is greater: -112 or h?
h
Let u be ((-155636)/(-123))/((-1)/(-3)) - 6. Is u bigger than 3791?
False
Let n = 808 - 807.178. Let m = 0.178 + n. Is m greater than or equal to -3/4?
True
Let r = 3779 - 19131/5. Let i = -7537/160 - r. Does 0 = i?
False
Suppose 0 = 14*v + 11*v - 19575. Let t = 734 - v. Which is