 h = 475 - 1889/4. Suppose 4 = -u + 5*u. Suppose 4*l - 7 - u = 0. Is h >= l?
True
Let f(d) = -7*d + 1. Let v be f(-1). Suppose 154 = -v*a + a. Which is bigger: a or -21?
-21
Let z be (-64)/(-736) - 3906/(-46). Is 77 < z?
True
Suppose -4*p - 2*c + 1174 = 0, 893 = 22*p - 19*p - 11*c. Which is smaller: 296 or p?
p
Let j be 1300/(-261) - (29 + -34). Which is bigger: j or 1?
1
Let h = 0.06 - 0.01. Let f = h - -1.95. Which is bigger: f or 4?
4
Suppose -5*i + 15 = -3*y, -4*i + 5 + 7 = y. Suppose -3*r - 2 - 4 = y. Is r at least -1/2?
False
Let c = 3 + -3.4. Let i = -93 - -96. Is c < i?
True
Let n = 2 - 1. Suppose -16*g - 198 = -7*g. Let l be 1/(-2)*1*g/44. Are l and n nonequal?
True
Let j be 24/10 + 14/(-35). Suppose -11 - j = 2*v + n, -5*v = n + 28. Let u = v - -10. Do u and 3 have the same value?
False
Let o be ((-820)/(-12))/(-5) + -5. Is o != -1?
True
Let y(p) be the third derivative of 0 + 0*p - 1/6*p**4 - 1/6*p**3 + 4*p**2 - 1/20*p**5 + 1/120*p**6. Let q be y(4). Which is smaller: q or 1?
q
Suppose 0 = 2*p + p + 132. Let r be (3 - p/(-16))*-4. Which is smaller: -2/67 or r?
r
Let m(k) = 7*k**2 + 3*k - 1. Let d(f) = f**2 + f. Let w(o) = 6*d(o) - m(o). Let x be w(-6). Is x less than or equal to -53?
True
Let b = 2.229 + 0.121. Which is greater: 1/4 or b?
b
Let u(i) = -6*i + 39. Let w be u(31). Is 1 less than w?
False
Let l = 5.18 - 5. Let c = l - -0.02. Let g = 0.5 + -3.5. Are c and g equal?
False
Let v be -1 - ((-195)/(-36))/(-5). Is v at most as big as 1/2?
True
Let k = 607/1113 - 8/371. Is 0 less than or equal to k?
True
Let s = 212 + -212.09. Let p = 2.47 + -4.38. Let x = p + s. Are x and 2/3 equal?
False
Let w = -13.11 - -13. Is w greater than -3/5?
True
Suppose 3*h = -3*v + 6*h - 3, 0 = -4*v - 3*h + 17. Let z(x) = -x**2 + 14*x - 4. Let q be z(10). Let o be q/14*(-6)/(-18). Is v < o?
False
Suppose -2*z = -59 + 45. Which is greater: 86/11 or z?
86/11
Let f = -1223/6 - -204. Which is bigger: f or -0.28?
f
Suppose 4*v + 0*v = -48. Let t be ((-81)/v)/(12/(-32)). Is t < -18?
False
Suppose 126 = d + 3*y, -y = -d + 4*y + 118. Suppose 4*t - d = -11. Let v = 307/11 - t. Is v smaller than 1?
True
Let m = -798 - -771. Is -21 at most m?
False
Let s = 371 - 320. Is s equal to 2/11?
False
Let k = -20.048 + 0.048. Let j = k - -35. Let h = j - 12. Are 3/5 and h unequal?
True
Let h be ((-48)/96)/((-1)/2). Does h = 48/23?
False
Suppose 3*q = 3*n - q + 14, 8 = n + 5*q. Suppose 5*d = -4*s + 13 - 2, 0 = 2*s + 5*d - 3. Let f be (-3)/((-36)/8) - 2/s. Which is greater: n or f?
f
Suppose 3*w - 2 - 4 = 0. Suppose -w*m = -0*m - 10. Suppose r = -0*v + v + m, 2*r = -3*v - 15. Is 2/15 less than or equal to r?
False
Let o = 19 + -14. Suppose -s = -4*s - o*x - 388, -136 = s - 5*x. Do s and -132 have different values?
True
Suppose 0 = 5*i - k + 3*k + 201, -171 = 4*i + 5*k. Suppose 2*x - 34 = -114. Is i equal to x?
False
Suppose 3*w - s - 150 = 6*w, 0 = 2*w - 5*s + 100. Let t = -32 - w. Suppose t*d - 17*d = 4. Which is smaller: -3 or d?
-3
Let n be (15/6)/(-5)*20/(-14). Let v be 36/20 + 3/15. Which is bigger: n or v?
v
Suppose -14*u = -4*u - 1080. Let k = -109 + u. Which is smaller: -2/9 or k?
k
Let a be (-2)/(-7) + ((-225)/(-21) - 1). Which is smaller: -10 or a?
-10
Suppose 3*g - g = 44. Let y = g - 22. Let l be (0 - -1 - y)/1. Which is smaller: 2/27 or l?
2/27
Let y = -12.218 - 0.072. Let c = y + 0.29. Let o = -13 - c. Is o bigger than 2/21?
False
Suppose -21*k + 25*k = 208. Is k less than or equal to -4?
False
Suppose 2*n = 21 - 1. Suppose 0 = -2*j - 1 - 7. Let x be (-8)/20 - j/10. Which is smaller: n or x?
x
Let l(k) = 2*k**3 + 3*k**2 + 3*k + 10. Let q be l(-4). Is q at least -82?
True
Let b = 7 + -6. Let z = -83.866 + -0.134. Let p = z + 82.7. Which is bigger: b or p?
b
Suppose 0*c = -r + c + 4, -2*c = 3*r - 2. Suppose 0 = -r*f - 2*f + 4. Do f and 24/11 have the same value?
False
Let j = 92 - 92. Which is smaller: -9/11 or j?
-9/11
Suppose 2*p = -3*l + 937, -l + 8*p + 315 = 10*p. Which is greater: 3 or l?
l
Let j = -104 - -173. Let i = j + -77. Is i not equal to 0?
True
Let c = 10.7 + 2.3. Let q = -5 - c. Let o = -18.4 - q. Is o equal to -1/2?
False
Let q = 6853/17 + -403. Let o = -179/68 - q. Is o bigger than -3?
True
Let x = 12 + -5. Suppose 0 = 9*u - x*u. Let v = 3 + -3.5. Is u not equal to v?
True
Suppose 2*k = -5*k + 210. Suppose -k = 2*a - 8*a. Is a <= 2?
False
Let x = 25 + -33. Let m(r) = -r**2 - 4*r - 4. Let i(b) = b**2 + 12*b + 8. Let f be i(-11). Let n be m(f). Which is bigger: n or x?
n
Let h be 124/36 + (-28)/(-126). Which is smaller: 4 or h?
h
Suppose 0 = n - 7*n + 42. Suppose 4*s - n*s = 57. Suppose 38 = 3*m - 5*m. Is m <= s?
True
Suppose 0 = -4*q + 3*s - 2335, -3415 = 4*q - 4*s - 1075. Is q bigger than -579?
False
Let j be 2/9 - (-23)/18. Let h be 60/16*4/(-10)*-2. Suppose -2*t - 3 = i, -i + h*t + 0 + 7 = 0. Which is smaller: j or i?
i
Let o = -11 + 7. Which is smaller: -33/10 or o?
o
Let y = -607 - -607. Are 2/2917 and y unequal?
True
Let h(x) = 8*x**2 - 72*x + 1. Let z be h(9). Is 3/95 >= z?
False
Let v(z) = -z - 1. Let l be v(-6). Suppose 4*w = -l*w + 45. Which is smaller: -2 or w?
-2
Let n be (-4)/(-14) - 4716/42. Let y be (-1)/(-4) + 76/n. Let j be (1/(-4))/((-1)/(-4)). Is j at least as big as y?
False
Suppose -2*h + 1384 = 6*v - 10*v, -4*v - 5*h - 1370 = 0. Which is smaller: -347 or v?
-347
Let p be ((8 - 13)/(-40))/((-17)/(-92)). Is 2 equal to p?
False
Let c(u) = -u**3 + 15*u**2 + 15*u + 22. Let x be c(16). Let i be (-321)/9 - 2/x. Let t be (i/(-20) + -2)*-5. Which is greater: 3 or t?
3
Let x = 0.04 - 0.08. Let k = -12.13 - -0.13. Let w = k + 12. Are x and w nonequal?
True
Let q be 0 - 102/60*3. Which is greater: q or -5?
-5
Let j be 8/(-10)*30/(-18)*-3. Let i(q) = q + 14. Let c be i(j). Which is smaller: c or 21/2?
c
Suppose 5*w + o + 6 = 0, -5*o = -2*w - 34 + 10. Which is smaller: 9 or w?
w
Let y(n) = -10*n - 2 + 0 + 5. Let b be y(3). Let g be (-102)/27 + 6/b. Is g less than 1?
True
Let v be 1 + ((-70252)/11711 - -5). Which is greater: v or -1?
v
Let n = 99.63 - 99. Let v = n - 10.63. Is v equal to 2?
False
Suppose 5*v = 0, -2*t - v - 67 - 3 = 0. Which is smaller: -36 or t?
-36
Let q = -910 + 783. Which is greater: 1 or q?
1
Let m = -8/5 - -22/15. Let s(n) = -n**3 + 13*n**2 + 13*n + 11. Let w be s(14). Let y be -4 - (-4 + 3 + w). Which is smaller: y or m?
m
Suppose 8*r + r - 27 = 0. Suppose 2*y - r*y - 2*n = -18, 2*y - 3*n - 43 = 0. Is 21 at least as big as y?
True
Suppose -144 = 3*r - 168. Let q be 6/(-27) - r/(-36). Let x = 404 + -6870/17. Are q and x equal?
False
Let z = 9 + -9. Let p = 0.018 - -22.982. Let i = p - 20. Which is smaller: z or i?
z
Suppose 17*w = 24*w + 9933. Let f = w - -18479/13. Do 3 and f have the same value?
False
Let t be (34/85)/((-1)/(-5)). Suppose -t*l = -10, 0*l - 2*l + 5 = -5*o. Which is smaller: -1/4 or o?
-1/4
Let k = -60.22 - -2.22. Are -6 and k equal?
False
Let b = 149082/17 + -8766. Let h = 5456445 - 3061067591/561. Let a = h + b. Which is smaller: 1 or a?
a
Let w = 29251/16 - 1828. Let r be 2/(-4) + (-3)/(-2). Which is greater: w or r?
r
Let y = -25 + 28. Suppose -t = y*t - 12. Suppose -t*z + 1 - 4 = 0. Which is smaller: z or 0?
z
Let s = 18 + -16. Suppose -5*w + 0 = s*g + 8, -2*w - 7 = -3*g. Are g and -2/171 equal?
False
Let i = 47 - 44. Suppose 0 = 2*q - g - 4, -2*g + 7 = -q + 2*q. Suppose 0 = -2*d + 3*w + 25, -q*d + 2*w - w + 20 = 0. Is i at most as big as d?
True
Suppose -4*p = 3*v - 126, -156 = -5*p - 6*v + 3*v. Suppose p = x - 27. Which is greater: x or 56?
x
Let d = -21.4 + 12.5. Let w = 6 - -3. Let n = w + d. Is -3 at most as big as n?
True
Let k(o) = -o**3 + 2*o + 3. Let y be k(-2). Suppose -62 + 18 = 4*t + 2*v, 3*t - 5*v = -y. Let c be -4 - (-2)/(-3)*t. Are 2 and c nonequal?
False
Let c = -2.1071 - -0.1071. Which is greater: 15.9 or c?
15.9
Let t = 0.0128 - -0.0872. Is 1/34 smaller than t?
True
Let t = 3 - 4.7. Let u = t + -0.3. Which is smaller: u or 0?
u
Suppose 0 = 5*d - 4*r - 1, -12*d + 16*d - 5*r = -1. Which is bigger: -1/47 or d?
d
Suppose -5*h - 20 = w + 4*w, 4*h + 12 = 0. Is -1 at least as big as w?
True
Let z(m) = 2*m**3 - 3*m**2 + 2*m - 3. Suppose 2*q - 11 = -g - 2*g, -2*q + 5*g = 29. Let j be 2 + (-1)/q*0. Let h be z(j). Which is smaller: 3 or h?
3
Let t = 69 - 65. Let v = 4 - 1. Suppose 