ss than 97/3?
False
Let s = -11 + 10. Are s and 2/9 unequal?
True
Let n = 143/2856 + -1/408. Is -1 smaller than n?
True
Suppose 0 = -3*f + 3*a + 24, -4*a - 1 = 5*f + 4. Let d(v) = 2*v - 9. Let n be 112/18 - 6/27. Let x be d(n). Do x and f have the same value?
True
Let n(g) = -6*g**3 + 16*g**2 - 9*g - 8. Let a(k) = -5*k**3 + 15*k**2 - 9*k - 9. Let p(l) = -5*a(l) + 4*n(l). Let v be p(10). Is 3 greater than or equal to v?
True
Let j = 18 - -5. Which is greater: j or 24?
24
Let o = 0 + 1. Let j be o*-19*(-12 - -2). Let d = j + -1145/6. Which is smaller: d or -1?
-1
Let b = -7 + 12. Let y = 61 + -113/2. Are y and b unequal?
True
Let d(m) = -m**3 + 4*m**2 - 3*m + 2. Suppose -5*q = b - 16, 0*b - 2*b - 2*q = 0. Let y be (-14)/b + 1/(-2). Let f be d(y). Which is bigger: 5/6 or f?
f
Let d = 0.2 - 0.1. Which is greater: d or -16/3?
d
Let v(z) = z + 1. Let p be v(3). Let d = 2 - p. Suppose 2 = -2*y + g - 3*g, -5*g = 3*y - 1. Which is bigger: y or d?
d
Suppose -49 = 2*p - 47. Which is smaller: 6/89 or p?
p
Let a = -1 + 0. Let c(g) = g**3 - g**2 + 1. Let q be c(a). Is q at most as big as -2?
False
Let i = -187/70 + 6/35. Let d = i + 3. Which is smaller: d or 0?
0
Let v = 14.8 - 15. Which is bigger: v or 5?
5
Let k(i) be the first derivative of -3*i**2 - 14*i - 1. Let u(z) = 5*z + 13. Let l(a) = 6*k(a) + 7*u(a). Let j be l(7). Which is greater: 2/15 or j?
2/15
Let l = -27 - -16. Let w = l + 9. Is -2 >= w?
True
Suppose -v - v - 12 = 0. Let g be -1 - (1 + v/1). Do g and 4 have the same value?
True
Suppose -3*v + 6*v = 9. Suppose -v*q - 15 = -3*f, 55 = -3*q + f - 6*f. Is -10 <= q?
True
Suppose 7 = -8*j - 1. Let n be (-4)/(-2) + 42/(-27). Which is bigger: n or j?
n
Let q be (-14)/(-3) + -1 + -2. Let h = -13/6 + q. Is -2 < h?
True
Let d(j) = -29*j**2 + 2*j - 1. Let v be d(1). Let w = -586/21 - v. Is 1 smaller than w?
False
Suppose -4 = l + l. Let s be (-3)/((-24)/10) + -1. Is l greater than or equal to s?
False
Suppose r = -0*r - 10. Which is smaller: r or -9?
r
Let q = -4.3 - -2.3. Which is greater: -3 or q?
q
Suppose -4*r = 53 + 19. Let q = -13 - r. Is 5 less than or equal to q?
True
Let i be 3/(-9)*-3 + 22. Suppose i = -a - 0*a - 5*m, 5*m = a - 17. Is -3/2 < a?
False
Let t be 2 + 4/2 + 1. Let q be (-2)/t + (-16)/(-15). Is q < -0.7?
False
Let l be -1 - 1 - 2 - (-1020)/256. Which is smaller: l or 0?
l
Let i = -0.6 - -0.6. Let z = -0.1 + 0.1. Let s = -1 - z. Which is greater: s or i?
i
Suppose -2*s - 4*f + 8 = -68, 114 = 3*s + 3*f. Which is bigger: 37 or s?
s
Suppose -55 = 4*p + p. Is -9 at least as big as p?
True
Let j = -35 + 48. Which is bigger: 15 or j?
15
Let f = 78 + -51. Which is greater: 2/5 or f?
f
Let x(d) = 2*d**2 + d + 2. Let z be x(-2). Suppose -k - 4*i - 11 = -0*k, -60 = -5*k + 3*i. Which is smaller: z or k?
z
Let t = 0.07 + 1.33. Let w = 0.6 + t. Let h = 0 - w. Is h at least 0.2?
False
Suppose 12 = -w + 9. Let o(s) = 6*s + s**3 + 4*s**2 + 0*s**2 - 3*s - 1. Let l be o(w). Do 1/8 and l have the same value?
False
Let i = -25 - -22. Let p(s) = -s**2 - s + 1. Let u be p(i). Is u greater than or equal to -5?
True
Let w(g) = g**2 + 7*g + 6. Let j be w(-6). Which is smaller: j or -3?
-3
Let i be (-6)/(-8) - (-147)/12. Do 14 and i have the same value?
False
Let s(z) = -z + 3. Let p be s(4). Let x be (-1)/(p/1*1). Let t = 0.6 - -1.4. Are x and t unequal?
True
Let s(u) = 12*u - 4. Let h be s(4). Is 43 at most h?
True
Let d be 4/5*(-200)/(-16). Suppose 6 = 4*r + d. Is -2/7 at most as big as r?
False
Let m(v) = v**2 + 6*v - 29. Let l be m(-9). Let f = 208/5 - 43. Which is smaller: l or f?
l
Let c = 18.8 + -19. Which is bigger: c or 5?
5
Suppose 18 = 2*o + 58. Which is smaller: -18 or o?
o
Let w = 1.8 - -0.2. Is w bigger than 19?
False
Let a be (-57)/(-266)*8/6. Are a and 21 non-equal?
True
Let x = 0.07 + 0.06. Let y = x - 0.03. Is -0.2 greater than or equal to y?
False
Let h be (5/(-15))/(2 + 34/(-18)). Which is greater: h or -4?
h
Let j be 5/20 - 46/56. Let m = 4 + -6. Which is greater: j or m?
j
Let m = -1 + -1. Let r be 4*(0 - m/4). Let p be 5/r*42/(-35). Which is smaller: p or -2?
p
Let g be 3/(-65) + 1/5. Which is bigger: 0 or g?
g
Let g = -8/35 - 151/105. Is -3 equal to g?
False
Let o = 136 - 104. Which is smaller: 0.1 or o?
0.1
Suppose 0 = 2*f + f + 15, 0 = -a + f + 5. Let c be -2*((-3)/6 - a). Which is smaller: c or 7/3?
c
Let t = -14 - -14. Suppose t = -d - 5*k, 0 = 4*d + 3*k + k. Let w be 4/(-16)*(-4)/(-3). Is w > d?
False
Suppose 5*a + 4 = 24. Suppose -2 - 6 = a*t. Suppose 0*z - 10 = 5*z. Is t less than z?
False
Let a(x) = x + 1. Let l be a(-1). Is l > 6/13?
False
Suppose 30 = -2*v - v. Let g be (-11)/10 + (-6)/v. Which is smaller: g or -2?
-2
Let s be -3 - (-7 - -3) - -9. Which is smaller: s or 9?
9
Let p = -1 + 2. Suppose -4*r - 4*m - 5 = 7, 0 = r - 2*m - 12. Let t be 3/r*(-4)/(-9). Which is smaller: p or t?
t
Let h(f) = f - 2. Let b be h(2). Is -4/5 less than b?
True
Let t be 20/(-2 + -2) + 5. Let d = 284 - 3690/13. Is d > t?
True
Let f = 13.9 - 15. Is -0.2 at most f?
False
Suppose 0 = 3*u + 2*b - 10, 3*u - 2*u = -2*b + 6. Let r be u/((-3)/(-6)*34). Let f be (-2)/(-6)*(-3)/2. Is f less than or equal to r?
True
Let v be ((-21)/(-15))/(1*2). Let n be -9 - -13 - 406/120. Let h = v - n. Is h smaller than -1?
False
Let n = -2 + 1. Suppose -3*z - 2 = -2*z. Which is bigger: z or n?
n
Suppose -4*m + 0*m = -z - 20, 26 = -3*z - 5*m. Is -12 at most as big as z?
True
Let z(w) = w**2 + 18*w. Let u be z(0). Let q = -168 + 3361/20. Is u at least q?
False
Let k(f) be the first derivative of f**2/2 + f + 5. Let z be (-11)/4 - (-1)/(-4). Let a be k(z). Is a at most -1/2?
True
Let k(q) = q - q**2 - q**2 - 1 + 3*q + 4*q**2. Let d be k(-3). Suppose -3*b - 9 = 0, b - 4*b = -2*i + d. Is i < -2/3?
True
Let m be 2 + 1 + 400/(-136). Which is bigger: 1 or m?
1
Let y = -0.15 + -0.25. Let u = -0.8 + 1.1. Is y <= u?
True
Let p be (2/(-2) - -1)/2. Is -3/56 greater than p?
False
Suppose -30 = 5*z - 25. Let q(d) = d**2 - 4*d - 5. Let s be q(5). Which is greater: z or s?
s
Let k = -14 + 13.9. Is -1/3 < k?
True
Let x be 0 + (2 - 1) - -2. Let g = -2 + x. Let p = 6550/7 - 936. Is p equal to g?
False
Let k be (-4)/14 + 4884/(-7). Let b = 48161/69 + k. Let h = b + 281/345. Is h less than -1?
False
Suppose -5*f = w + 15, -2*w - 10 = -0*w. Let z be f*1*(-2)/10. Is -2/11 greater than z?
False
Let p = 96 - 670/7. Let q = -2 + 1.8. Let j = q - -0.5. Which is smaller: p or j?
p
Let u be 3 + 6/225*-103. Let k = u - -2/25. Is -3 smaller than k?
True
Let p = 4 + -5. Let n be ((12/(-4))/3)/p. Is 4/7 at least as big as n?
False
Let m = 4 + -6. Let k(g) = -g**2 - 2*g - 1. Let p be k(m). Is -2/3 less than p?
False
Let c = -4.9 - -7.2. Let x = c + -2. Suppose -2*w = 0, 4*k + 5 = 2*w + 1. Which is smaller: k or x?
k
Let q(j) = j**2 - 8*j + 2. Let f be q(8). Suppose f*b - 2*s + 13 = -b, -2*b = -4*s + 22. Let k = -38 + 344/9. Which is bigger: b or k?
k
Let h = 27 + -18. Let k be (-3 - h/(-7))/(-2). Is k >= 1?
False
Let j = 0.18 + -1.18. Do 0.05 and j have the same value?
False
Let w be ((-18)/(-24))/((-1)/8). Let s = w + 8. Let i be (s - (0 + 3)) + 2. Which is smaller: i or 0?
0
Let c = -0.3 - -0.3. Let s = -7/16 + 3/80. Which is smaller: c or s?
s
Let r = 833411/28 - 29771. Let q = r - -46/7. Are q and -1 nonequal?
True
Suppose 793 - 137 = -4*l. Let h = 1967/12 + l. Which is smaller: h or 0?
h
Suppose 0*k + 4 = 2*k. Let j be 0/((-3)/(-6)*k). Is 4 at least j?
True
Let f be (14/1)/(0 + 2). Suppose 3*g = f + 5. Suppose -2*p - g = -2. Which is greater: p or 1/5?
1/5
Let w be 0 + 12/(-2) - -2. Let j = -2 - w. Which is smaller: j or 5/3?
5/3
Let l(f) = f**3 + 2*f**2 - 36*f + 4. Let w be l(5). Let r = -2 + 1. Is w at most r?
True
Let t = -8 - -13. Suppose -4*z + 14 = 2*p, 0 = t*z + 3*p - 4*p - 21. Let q = -10 + z. Which is greater: -7 or q?
q
Let g = 0 - -2. Let h(o) = 2 + 4 + 3*o**3 + 2*o + 4*o**2 - g - 2*o**3. Let t be h(-4). Is t at least -4?
True
Suppose -1 = -4*k - 3*r, 4*r - 6 = -3*k - 0. Let s be 66/14 + 4/14. Let t be (-3)/s - (-2)/(-5). Which is smaller: k or t?
k
Suppose 3*n + 2*k + 7 = 0, 3*n - 2*k - 4 + 3 = 0. Suppose 0 = 5*w - 5*u - 10, -2*w + 4*u = w - 9. Does n = w?
True
Suppose -3*g + 5*d + 16 = d, 4*d = 5*g - 16. Let s = -0.7 + 0.4. Is g smaller than s?
False
Let p = 15 - 31. Which is g