. Let b be s(-10). Suppose 10*v - 31*v = -b. Let q = 1 + 2. Is v greater than q?
False
Suppose v + 2*v = 4*q - 20, 4*v - 4*q = -28. Let r = -5 - v. Suppose -4*k = -r*u, 0 - 2 = -2*u + 2*k. Are 5 and u equal?
False
Suppose 30*i + 5*v + 238 = 27*i, -5*i = 2*v + 384. Is i less than -75?
True
Let c(o) = 3*o - 13. Let x be c(7). Let s be (2 - -3) + -2 - x. Which is greater: -6 or s?
s
Let a(p) = p**2 + 7*p + 3. Let v be a(-7). Suppose 0 = 3*j - v*x - 15, -10 = 5*j + 4*x + 1. Let m = -3091/104 - -388/13. Is m at most j?
True
Suppose 4*w + i - 191 = 102, -2*w + 119 = -5*i. Let k = 71993 + -648586/9. Let a = w + k. Which is smaller: 1 or a?
a
Let b = 136 + -2310/17. Let a = -852 - -851.9. Which is smaller: b or a?
a
Let w = -569 + 570. Is w smaller than 24/25?
False
Suppose 0 = 4*k - 4, -2*q - 3*k - 2 = -13. Which is smaller: -5 or q?
-5
Let q = -920/3 + 307. Let m = 0.2 + 1. Which is greater: m or q?
m
Let d = 13 + -12.944. Let x = d - 30.056. Let r = 15 + x. Which is smaller: 0 or r?
r
Let l be (-31)/(-76) + 2/(-8). Suppose -2*b - m = 8, 5*m - 5 = b + 6*m. Let z be 9/3*1/b. Which is bigger: z or l?
l
Let p be (109 + (3 - 7))*1/8. Is 13 smaller than p?
True
Let i(w) = -7*w + 119. Let n be i(-14). Does 216 = n?
False
Let h(o) = -o - 5. Let f be h(6). Let b be (-80)/(-100)*(-14 + -1). Let j = f - b. Which is smaller: j or -2/31?
-2/31
Let h = 1131 - 22611/20. Let k = h - 67/60. Suppose 4*f + 25 = -f. Which is smaller: f or k?
f
Let x = 9.41 - 1.41. Is x at most -5/6?
False
Let r = 0.4 + -0.2. Let c = 27 + -29.6. Let i = 4.6 + c. Is r less than i?
True
Let h = 1870 - 13091/7. Which is greater: h or -2.42?
h
Let p be (-16)/(-4)*(-1)/4 - -21. Is p >= 2?
True
Let a = -2546 - -1882. Are -663 and a non-equal?
True
Suppose 4*u - u - 6 = 3*g, 4*u = -4*g. Which is smaller: -2/8455 or g?
g
Suppose -4*b + 5*z = -0*z - 11, 2*b + z + 5 = 0. Which is smaller: b or -3/13?
b
Let j = -302.19 - -302. Which is bigger: j or 3/4?
3/4
Let p = -975 + 978. Which is smaller: p or 42?
p
Let i = 145.6 + -152.6. Which is smaller: -2/25 or i?
i
Suppose 3*h - 9 = 0, -91 - 33 = -5*y - 3*h. Do 11 and y have the same value?
False
Let u be -13 + 7/(35/15). Let y be 1 - 1 - u/(-2). Let l = 21/11 + -303/55. Are l and y equal?
False
Let h be 2/(-6) - (-2)/6. Suppose -4*p + 5*i = -0*p + 1, -4*i = p - 5. Let n be 1 + p/(-1) - 8/28. Is n less than or equal to h?
True
Let j = -534 + 28297/53. Which is smaller: j or 1?
j
Let p = 11.732 - -0.358. Let h = -0.0742 + 0.1642. Let q = p - h. Which is greater: q or -2?
q
Let r be 1*(-3)/9*(-24)/8. Is r >= 22/9?
False
Let b(m) = 2*m**2 - 21*m - 3. Let s be b(10). Let n be (-7 - -3) + s/(-4). Do 0.7 and n have the same value?
False
Let t(v) = -5*v - 7 + 2*v + 2*v + 0*v. Let k be t(7). Which is smaller: -15 or k?
-15
Suppose -215 = -18*x - 35. Let p be (-4)/x - 1/5*-5. Is -0.3 at most as big as p?
True
Let s = -49 - -352. Let z be (-10)/(-55) + s/330. Which is smaller: 1 or z?
1
Let j = -114932/34125 - -306/91. Which is greater: j or 0?
0
Let k be (5*-6)/(6/(-8)). Let t be (-8)/(k/(-3)) - 36/(-10). Which is bigger: 4 or t?
t
Suppose -7 - 13 = -2*z + 4*o, 15 = 5*z - 3*o. Which is smaller: z or 2/939?
z
Let n = -778 + 771. Is n not equal to -2?
True
Let c(b) = b**3 - 5*b**2 + 6*b - 5. Let q be c(4). Let p be 3/q*2 + 7 - 2. Is 8 smaller than p?
False
Let m = -6 - -6.2. Let j be 102/9 - (-1)/6*4. Let o be (14/j - 1)/(22/176). Is m > o?
False
Let i(o) = 9*o**2 - 5*o + 1. Let x be i(2). Suppose 4*a + g + x = -0*g, 7 = a + 3*g. Does -8 = a?
True
Let t = 350134/271 + -1292. Which is bigger: t or -1?
t
Let f = 189 + -174. Is f less than 0.1?
False
Suppose -5*b - 568 = -573. Let w be 13/(-45) - 2/(-6). Let y = -53/180 + w. Which is bigger: b or y?
b
Let r be 94/(-246) - 36/(-738). Is -66 < r?
True
Suppose 4 + 2 = 2*c - 5*a, 5*a = 5*c + 15. Let l = c - -5. Let d = 102 - 718/7. Is d > l?
True
Suppose 2*i - 22 = -4*f, 4*f + 7 = i + 2*f. Let j be 32 + ((-10)/(-5) - 0). Let b = j - 24. Are b and i equal?
False
Let x(l) = l**2 + 10*l - 8. Let s be x(-12). Suppose -3*m + 4 = s. Let o be 3/m - (-3)/4. Is o greater than 1?
False
Let x(y) = 6*y + 377. Let a be x(-63). Is a smaller than -9/67?
True
Let b = -2.66 - -13.56. Let r = b + -11. Are -41 and r equal?
False
Let f = -38.95 + 29.3. Let w = 0.65 + f. Are w and 1/7 unequal?
True
Let t be (-309)/1422 - 2/(-12). Which is smaller: t or 1?
t
Let l = 3 + -7. Let z = 458 + -460. Which is smaller: z or l?
l
Let j = -118 + 133. Let r = -40.1 - -40. Is j at most as big as r?
False
Let j(m) = -16*m - 111. Let d be j(-7). Let y be 24/(-171)*(-9)/12. Which is greater: d or y?
d
Suppose 5*y = -5*p + 110, -20*p + 3*y = -16*p - 102. Which is greater: 11 or p?
p
Let f = 0.635 - 0.6219. Does -0.1 = f?
False
Suppose 84 = 30*w - 18*w. Let g be -5 + w + 28/(-38). Do g and 0 have the same value?
False
Suppose 4*a = s - 11, 5*a + 2 = -2*s - 15. Which is bigger: -7/128 or s?
-7/128
Let g be (-48)/28*10 - -4. Let t = g - -1762/133. Is t greater than or equal to -1?
True
Let s be (4 - 3890810/2925) + (-4)/(-18). Let p = s + 1326. Is 1 less than p?
False
Let y(w) = 3*w + w**3 - w - 4*w**2 + 0*w**3 + 0*w**3 - 6. Let u be y(4). Let d = -3.6 - -0.6. Is u at most d?
False
Let r = 34 + -36. Let j(o) = -o**2 - 3*o - 1. Let l be j(r). Let a = -3 + l. Which is greater: -3/2 or a?
-3/2
Let m(g) = -3*g + 1. Let s be m(-6). Let z be (12/(-9))/((-1)/15). Is s at least z?
False
Suppose -v = -8*m + 3*m + 44, 12 = 3*m + 3*v. Let y = m - 10. Suppose 0*r = r + 9. Is r at least as big as y?
False
Let x be 1*((-6 - 2) + 1). Let v = 39008/63 + -5624/9. Which is greater: x or v?
v
Let d be (-2)/10 + (973/(-35) - -3). Is -23 at most d?
False
Let j = -0.055 + -0.045. Which is smaller: -161 or j?
-161
Let w be (-8)/(-1) + -3 - 127. Let g = w - -109. Is -16 > g?
False
Let a = 112 - 108. Suppose a + 2 = 3*w. Is -10 <= w?
True
Let q be (-6)/(-3)*(-5)/(-2). Suppose -2*f = 3*c - 16, 0 = f - 0*f + q*c - 22. Let h be -2 - (-18)/(-1 - f). Is -1/4 greater than or equal to h?
True
Let m = -3 - -7. Let v(u) = -u**3 - 4*u**2 - u. Let g be v(-4). Suppose m*o - 24 = g*f, -13 = -0*f + 3*f - 2*o. Which is greater: 3/8 or f?
3/8
Suppose 14*b = -5*b - 19. Is b at most 0.48?
True
Let c(r) = -r + 2. Let y be c(0). Suppose 2*h - 9 = y*m + 11, 0 = 4*h + 3*m - 12. Suppose -h*j - 3 = -3*j. Do -0.3 and j have the same value?
False
Let d = 9 + -15. Let p be 4/d*33/(-77). Which is bigger: p or -0.3?
p
Let j = -63 - -67. Let f be 1/j*-1 - (-15)/12. Which is bigger: 47 or f?
47
Let q = -0.0794 - -0.0794. Which is smaller: q or 68?
q
Let c be (-2)/(-5) + 14/(-10). Let x be (-5)/((-315)/14) - 71/117. Which is greater: c or x?
x
Let i(a) = -4*a - 20. Let j be i(-5). Which is smaller: j or -0.8?
-0.8
Suppose 2*p - 2*v - 10 - 6 = 0, 0 = 4*p - 2*v - 36. Suppose 11*t = -p + 43. Which is smaller: 2 or t?
2
Let p = 921 + -3683/4. Which is smaller: p or 3.1?
p
Let p(f) = -f**3 - 11*f**2 + 2*f + 27. Let h be p(-11). Suppose -h*d = -5*j - 15, -2*j + 5*d = -2 + 14. Which is smaller: j or 2/57?
j
Let y(i) = -10*i**2 - 45*i**2 + 2*i + 2*i - 5*i. Let n be y(1). Let g be (2/(-8))/((-14)/n). Does -1 = g?
True
Let h = -10421 - -239755/23. Is 4 greater than h?
True
Let v be ((-36)/39 - -1)*1. Suppose 0 = 3*q - 7 - 2. Suppose 0 = 2*o - q*o. Is o bigger than v?
False
Suppose 0*h = 4*h - 16. Suppose 3*d = -3*m + 30, -h*m = -9*m + 2*d + 43. Let g = -2124.1 - -2124. Which is bigger: g or m?
m
Let j be (-52)/(-17)*5*(-3)/20. Which is bigger: 1/3 or j?
1/3
Let a = -41 - -45. Suppose -5*t = 3*r + a, -2*t = 3*t + 5*r. Is t >= 0?
False
Let h = 0.1 - 0.2. Is h bigger than -179?
True
Let h(d) = -9*d - 11. Let c be h(-2). Let u(f) = -7*f**3 + f**2 + 2*f + 2. Let l be u(-1). Is c less than l?
True
Let d = 335 + -312.9. Let u = d + -22. Is u less than -4?
False
Let a = 5 - 0. Suppose -3*x + 0 = -5*z + 16, 0 = a*x - 5*z + 40. Let u be (8/x)/(1/(-3)). Which is greater: u or 4/5?
u
Suppose 5*b + 104 = b. Let s be 10/12 - b/39. Is 0.1 less than s?
True
Suppose d + 3*d + 2 = 2*z, -4 = -d - 4*z. Suppose d = o - 9 - 0. Let f be (-4)/3 - (-2)/o. Which is bigger: f or -1?
-1
Suppose -2*c + 760 = -6*p + p, 0 = -3*c - 4*p + 1186. Let y = 21267820/513 + -1129888/27. Let w = y + c. Which is bigger: w or -1?
w
Let p be ((-9)/(-14))/(12/(-14