*f + 22 = 0. Let h be 37/y*1 - -3. Let p be 4/5 - (-1)/5. Is h less than p?
True
Suppose l + 5*o = -18, -5*l + 2*o - 63 = -0*o. Let i = l - -23. Is i > 10?
False
Suppose 9*c - 4*c = 15, -k = 2*c - 7. Let l(v) = v**2 - 4*v - 5. Let m be l(5). Suppose -t = -2 - m. Which is greater: t or k?
t
Suppose -4*o = 77 - 33. Are -9 and o equal?
False
Let a(r) = r + 4. Let v be a(-4). Let w be v/2*1/1. Let p be ((-54)/16 + 3)/((-6)/20). Which is smaller: w or p?
w
Let f = 0.7 - 0.4. Let t = 0.7 + f. Let h = -2 - 0. Which is bigger: t or h?
t
Let f be (1/1)/(-351 - -2). Let o = -681/5933 + f. Which is smaller: 0 or o?
o
Let g = 38 - 18. Suppose g = -h - 4*f, 3*h - f - 15 = 2*f. Which is bigger: 2/19 or h?
2/19
Let x(d) = -d**3 + 7*d**2 - d + 8. Let k be x(7). Are -1/10 and k non-equal?
True
Let s = -20 + 20.1. Is s bigger than 0.17?
False
Suppose 4*j + 328 = -2*t, -3*t + 0*t + 12 = 0. Let z = j - -590/7. Do 1 and z have the same value?
False
Let h(c) = -c**2 + 4*c - 2. Let z be h(5). Let p be 306/(-90) - 4/(-10). Is z bigger than p?
False
Let c(r) be the second derivative of -r**4/12 + 5*r**3/6 + r**2 - 2*r. Let x be c(5). Suppose -p - x*p + 12 = 3*s, 4*s = -5*p + 15. Which is smaller: 6 or s?
s
Let k(x) = x - 8. Let u be k(6). Let s be (1/u)/((-2)/28). Let j be 8/s - (-2 - -3). Do -1 and j have the same value?
False
Let v = -843 - -1653/2. Let z = -17 - v. Which is greater: 0.2 or z?
0.2
Suppose -4*z + i - 3*i + 14 = 0, 0 = 2*i + 6. Suppose -z*w = -2*w. Let r = 3/14 - 5/7. Is r < w?
True
Let s = -8.11 - -2.11. Is 2/3 != s?
True
Let n be (-4)/(-3) + (-2)/(-3). Suppose -n*a = 3*a. Suppose 0 = -4*x, 5*q + a*q = x. Is -1 less than q?
True
Let i = 4 + -2. Suppose -1 = y - 5*m - 9, -i*m + 1 = y. Suppose -2*o = -1 - 5. Is o less than y?
False
Suppose q - 2*w - 8 = 0, -4*q + 15*w - 13*w + 50 = 0. Which is greater: q or 16?
16
Let n = -3 - -6. Suppose n*a - 8 = 4. Is 3 > a?
False
Suppose -5*z = 4*f + 5, 0 = -4*f + 4*z + 12 + 28. Let y be (-6)/(1 - 3)*1. Suppose 8 = 4*b + f*u - y, 0 = 3*b + u. Is b > 2?
False
Let p = 7 - 13. Let o be -2 - (-2 - p)/(-2). Let i be o - (-2*1 + 2). Is 0.3 at most i?
False
Let b = -0.001 + -0.599. Let p = 3 - 3. Is b >= p?
False
Let l = 2759/11 - 251. Which is bigger: l or -1?
l
Let k(t) = t**3 + 4*t**2 - 5*t - 2. Let r be k(-5). Which is bigger: 0 or r?
0
Suppose 64*u - 60*u + 12 = 0. Suppose -3*v + v - 4 = 0. Which is smaller: v or u?
u
Let c(o) = -o**3 - 2*o**2 + 2*o + 1. Let x be c(-3). Suppose -x + 2 = -b. Do b and 2 have the same value?
True
Let z be 2/(-5) - 184/(-60). Let b be 1 + (-2 - -2) + -2. Which is smaller: z or b?
b
Let m(u) = -u - 12. Let w be m(-11). Which is smaller: 3/14 or w?
w
Let y = -16 + 18. Let u = -1 - -3. Suppose u = -3*n - 10, 2 = -3*j - 2*n. Is j at least as big as y?
True
Let j = 16.7 + -17. Which is bigger: j or 0.5?
0.5
Let u(l) = l - 5. Let s = 4 - -1. Suppose -w = -0*w - s. Let j be u(w). Are -0.2 and j unequal?
True
Let y = 3114/19 + -164. Is y not equal to 0?
True
Let k = 2333 - 9243/4. Let p = 437/20 - k. Does p = -1?
False
Let h(j) = j**3 + 4*j**2 + j - 5. Let k be h(-3). Does k = 3?
False
Let d = -69 + 70. Is d >= -24?
True
Suppose -11 = -2*z + 4*m - 95, 4*z = 2*m - 168. Is z bigger than -0.1?
False
Let q(j) = j**2 + 11*j + 2. Let z be q(-11). Is 1 at most z?
True
Let f = -27 + 349/13. Is f greater than or equal to -0.2?
True
Suppose 14 = 4*s - 6*j + 4*j, -5*s - 5*j - 20 = 0. Let u = 1 - -3. Suppose 0*h + 2*t = -4*h, t = -u. Which is bigger: s or h?
h
Let p = -1368 - -6713/5. Let z = 25 + p. Are 0 and z nonequal?
True
Suppose 6 = s + 3. Let b be (12/(-3) - 2)/(27/(-18)). Is b >= s?
True
Let k = -177/28 - -46/7. Let w be ((-9)/(-15))/((-44)/10). Let u = -17/44 - w. Is k at least as big as u?
True
Suppose -x - 17 = -g - 0*g, -4*g + 5*x = -71. Is 15 < g?
False
Suppose -22 = 3*u + 5. Let g be ((-7)/(-2))/(u/4). Which is bigger: -2 or g?
g
Let s be (-1*(-2)/(-3))/(5/(-3)). Which is smaller: s or -0.9?
-0.9
Let p(b) = 4*b**2 + 9*b + 2 - 11*b + b**3 - 2*b**3. Let d be p(3). Is 3 at most d?
True
Let s be 1 - 0*1/(-2). Let p(n) = -4*n + 19. Let t be p(4). Which is bigger: s or t?
t
Suppose 0 = -3*d - 4*z + 18, -7*d + 2*d = z - 13. Suppose 5*r + l = d*l + 23, -3 = l. Let n be (-2)/(1*(-1 + 0)). Is r greater than n?
True
Suppose -y + 2*y - 6 = -3*g, 4*g + 18 = 3*y. Suppose j = 5*w + 12, 25 = 3*j - w - 3*w. Let i = 14 - j. Is y <= i?
True
Let t = 7.7 + -0.7. Let j = t + -5. Which is greater: -1 or j?
j
Let l be 2*(1/(-2))/(-1). Let w(i) = -i**2 + 9*i - 18. Let t be w(6). Does l = t?
False
Let x = 27/38 - 4/19. Which is smaller: 1 or x?
x
Let b(z) = 11*z**3 + z**2. Let i be b(1). Let t be 2 + -2 - i/4. Let a be ((-4)/(-6))/((-1)/3). Which is smaller: t or a?
t
Let q = -20 - -53. Suppose 3*c - 2 = -3*h - 11, 5*c = 4*h - q. Is c greater than -4?
False
Let b = 0.9 + 0.1. Let y = b - 1. Let v = 0.2 - y. Which is greater: 0.1 or v?
v
Let n = -12.6 + 0.6. Let p = n - -12. Which is bigger: 2/3 or p?
2/3
Let k(x) = -x + 1. Let f be k(-7). Suppose -4*z = -f, -l + 26 + 6 = z. Let r be ((-2)/l)/(5/6). Which is smaller: 0 or r?
r
Suppose 2*h + 3*h = -15. Let i be 5/h*(-4)/10. Do i and 2 have different values?
True
Let g(l) = l**3 + 5*l**2 + 4*l + 6. Let v be g(-4). Let c be v/8*3/(-9). Let z = -14 + 13. Which is bigger: c or z?
c
Let c = -1.28 + -4.72. Let u = -3 + 6. Let v = u - 2.9. Which is greater: c or v?
v
Let h(t) = -t**2 - 24*t + 82. Let f be h(-27). Let i be 34/40 + 1/(-4). Is f at least as big as i?
True
Suppose -3 = 4*z + 1. Let i = 89/124 - 30/31. Which is bigger: i or z?
i
Let x = -18 + 18. Is x < 4/9?
True
Let v(w) = -3*w + 15. Let a be v(6). Is -1 greater than or equal to a?
True
Let h = -0.31 + 0.41. Which is smaller: h or 7?
h
Let g(f) = f + 5. Let y be g(0). Suppose -y*k = -k - 8. Is 3/4 at least as big as k?
False
Let a be 12/(-10) - (0 + -1). Suppose 2*k + 4 = -2*r + 10, 3*k = -2*r + 7. Suppose d + 0 + 5 = 0, 0 = -4*g + d + k. Which is bigger: a or g?
a
Suppose -2*f - 5*x + 13 = 0, -2*f + 7*x = 3*x + 32. Let v(b) = -b - 2. Let g be v(f). Suppose -g = -p - 1. Which is bigger: 0 or p?
p
Suppose 0 = -5*m - 2*i - 1, 0 = -5*i + i - 12. Which is smaller: m or 9/8?
m
Let o = -197120921/285 + 691651. Let h = o - -2/95. Are h and -1 equal?
False
Let s = 0.1 - 0.3. Let f = 10 + -19/2. Is s < f?
True
Let q be 642/(-255) + 2/5. Let v = -290/153 - q. Which is bigger: -0.1 or v?
v
Let j(x) = x. Let k be j(-1). Let z = k + 0. Let p be ((-6)/(-20))/((-9)/12). Is p != z?
True
Let v be 2/7 - 4/14. Let j = -4 + 6. Let m = -1 + j. Is m != v?
True
Let o = -4 + 9. Which is greater: 4 or o?
o
Let h = 8 + -16. Let g = -0.8 - -0.1. Let r = 0.8 + g. Which is smaller: r or h?
h
Let r(o) be the third derivative of -o**4/24 + o**3/6 + 3*o**2. Let y be r(1). Which is bigger: y or 1/3?
1/3
Let r be 2/5*((-3)/(-6) + -1). Which is smaller: 8 or r?
r
Let t be 6/(-83)*(-6)/12. Let z = 187/581 - t. Is z at least 1/3?
False
Let u = 33/7 - 179/35. Let h be ((-4)/(-35))/(4/10). Is h <= u?
False
Let t = -76536643/287735500 - 2/575471. Let g = t + 2/125. Let b(z) = -z + 17. Let u be b(16). Which is smaller: u or g?
g
Let k = -67/63 + 16/9. Let u(z) = -z**3 + z + 1. Let w be u(-1). Which is bigger: w or k?
w
Suppose 10 = 5*x - 15. Suppose -4*o = -3*o + x, -4*h = -3*o + 9. Let f be 3/h*-1*2. Which is smaller: 0 or f?
0
Let p = 115/78 + 1/39. Suppose -15 = 5*x, 5*x + 10 = -4*f - f. Which is smaller: f or p?
f
Let a = -2 + -1. Which is smaller: -2 or a?
a
Let f be -3*(-28)/36*3. Is f bigger than 1/5?
True
Let f(p) = p**3 + 6*p**2 + 6*p + 3. Let c be f(-5). Let n be 76/c + -2*1. Let t be 2/8 - (-26)/n. Which is greater: 1 or t?
1
Let l be (-2)/5 + 97/30. Let s be (76/(-20))/((-18)/15). Let u = l - s. Is -1 equal to u?
False
Let j = 10 + -7. Let u(l) = -l + 2. Let a be u(j). Let g = 137/4 - 34. Which is bigger: a or g?
g
Let g = -63/2 - -31. Which is greater: g or -5.7?
g
Let f be 108/30 + 2/5. Let y = f + -5. Is -1/2 bigger than y?
True
Let d = -22 + 38. Let c = d - 8. Is c != 8?
False
Suppose 0 = -2*q - 2. Let k = -61 - -548/9. Which is greater: k or q?
k
Let x = -202 - -214. Is -4 > x?
False
Let u = 4 + 0. Suppose -5*o + u*o = 1. Let m be 5*(o + 3/5). Which is smaller: -4 or m?
-4
Suppose -3*s = s + 44. Let t be 78/52 - ((-25)/(-2) + 1). Is 