*c. Let i be 38/9 + c/h. Is 3 < i?
True
Let s(o) = o**3 - 11*o**2 + 11*o - 3. Let c be s(10). Let j = 7 + 1. Does c = j?
False
Let h = 0.03 + -0.13. Let k = 0.01 + -0.21. Let i = -0.1 - k. Is h equal to i?
False
Let n = 133 + -115. Is n at most as big as -4/9?
False
Let a = -24 - -61. Suppose -c = 142 - a. Let q be (-10)/c*(-6)/(-4). Is q bigger than 0?
True
Suppose 3*f + 4*o + 16 = 0, -o + 2 = f + 6. Which is bigger: f or 7?
7
Suppose 9 = -3*d + 2*t, 19 = -d - d - 3*t. Is -4 < d?
False
Suppose 3*m = -3 + 6. Let p = -10/19 - -112/285. Is p bigger than m?
False
Let n be 1/(1 - (1 + -1)). Suppose -k + 3 = 3*b, 2*k + 1 = -b + 7. Let r be -1 - 1*k/(-3). Which is greater: r or n?
n
Suppose -5*f + 6*f = 1. Let b be 0/1*-1 + 0. Is f < b?
False
Suppose -5*s - 12 = -d, 2*d = 4*s + 2 + 4. Let p be ((-1)/3)/(d/9). Which is smaller: p or 2/7?
2/7
Let z(q) = -q**3 + q + 1. Suppose 2*a - 6 = 2. Suppose 20 = -4*p - a*n, 0 = -3*p + p + 5*n + 18. Let g be z(p). Is 0 < g?
True
Let w be 6/(-12) - (-2)/(-4). Let l be (-1)/1 - 39/(-33). Is l not equal to w?
True
Let w(u) = 2*u - 6. Let z be w(9). Let s = z + -10. Let k = 7 + -5. Is k at most s?
True
Let g be 2/4 - (-203)/385. Let r = g + -5/22. Is 1 bigger than r?
True
Let l be 2/4*(-4 + 6). Is -2/13 > l?
False
Let i = -38 + 495/13. Is -1 greater than or equal to i?
False
Let y = -1/44 + 3/11. Suppose 2*v + 1 = 11. Suppose 19 = 4*h - v*k, -2*h - 4*k - 13 = k. Is y less than h?
True
Let c = 112.9 - 113. Is c equal to 2/41?
False
Let z = -0.1 + 0.5. Let v = z - 0.3. Let c = 101/20 - 21/4. Which is greater: c or v?
v
Let a = 144 - 102. Let l be 9/a + (-2)/(-7). Which is smaller: 0.3 or l?
0.3
Let f = 1 - -4. Is 0 greater than or equal to f?
False
Let c(m) = 21*m - 1. Let a be c(1). Which is smaller: a or 21?
a
Let j(f) = -f + 1. Let t be j(5). Let c = t - -3. Which is greater: c or 5?
5
Let j(o) = -o**2 + 3. Let h be j(-4). Let d = -10 - 2. Which is smaller: d or h?
h
Suppose s - 237 = -63. Let z be 280/(-6)*18/(-5). Let x be s/z + 2/(-7). Which is bigger: x or -1?
x
Let m = 23 - 22. Which is smaller: m or -4/9?
-4/9
Let y = 0.1 - 0.3. Let p = 18 - 17.8. Is p greater than or equal to y?
True
Let o be -4*6/18*-3. Is 3 equal to o?
False
Let z = 0.27 - 0.17. Which is bigger: z or 12?
12
Let a = 841 - 814. Let q(b) = b + 28. Let c be q(0). Is a equal to c?
False
Let f(h) = 3*h**3 + h**2 + h - 1. Let j be f(1). Let m be (6/j)/(81/12). Is 1 at least as big as m?
True
Let m = -13 - -8. Let i be m - (1 - 0)*-2. Is i <= -4?
False
Let z be (-18)/10 + 2/10. Suppose 9 = -4*p - 4*h - 3, 2*h = 3*p + 4. Is z bigger than p?
True
Suppose 5*s + 5*w + 583 = s, -5*s - 2*w - 750 = 0. Which is smaller: -153 or s?
-153
Let x = -0.3 + 1.9. Let k = -1.6 + x. Which is bigger: 0.05 or k?
0.05
Let q = 4/51 + 757/102. Let m = q + -8. Let c = 0.9 - 1. Is c at most as big as m?
False
Suppose -a - 4*a + 10 = 0. Suppose 24 = a*q - 5*h, -2*q + 8 = -h - 0. Are q and 2 non-equal?
False
Let u = -3786/7 - -542. Is 0.1 smaller than u?
True
Let v = -168 - -177. Which is greater: v or 62/7?
v
Let d = 9 + -5. Suppose -5 = d*o + 31. Let z = o - -15. Is z smaller than 7?
True
Let n be (-3)/4 - (-2)/(-8). Let c = -37 - -21. Let a be (-4)/c + (0 - 0). Is n at least a?
False
Let m be 2 + -4 - -3 - -2. Suppose -m*f = -0*f. Suppose -q + 3*q = f. Is -1 less than q?
True
Let f = -2.1 + 2. Let n = 1.02 + -0.12. Let r = n - f. Are r and -2 equal?
False
Let j = -4 - -5. Is j at most as big as -2/9?
False
Let g = 6 - 29/5. Let r = 0.18 + -7.18. Let o = r + 7.2. Is g equal to o?
True
Let z = -21 + 23. Let x be ((-18)/(-12))/(1/2). Is z at most as big as x?
True
Let f = -15.3 - -0.3. Is f less than 4?
True
Suppose -f - 27 + 2 = 4*o, 0 = -3*o - 5*f - 40. Let n be 30/(-558)*(-2)/o. Let p = 362/465 - n. Is 0 equal to p?
False
Let l be 1 + -11*1/13. Which is bigger: l or -1?
l
Let u(i) = -i + 2. Let w be u(0). Let t(z) = z**2 + 7*z. Suppose n + 4 = -3. Let b be t(n). Is b at least as big as w?
False
Let w(h) = h**2 + h. Let f be w(4). Suppose 4*z - f = -0*z, -3*d = 4*z - 23. Is d less than -1/10?
False
Let f = -16.4 + 0.4. Let k = f - -21. Let i = 0.2 + -0.3. Which is smaller: i or k?
i
Suppose 2*n - 19 = 13. Let i = 172 + -167. Let g be i/15 + n/6. Do -1 and g have the same value?
False
Let b = -108.219 - -0.219. Which is bigger: b or -0.1?
-0.1
Let h = 7734/145 - 266/5. Let d = h + -23/377. Are d and 1 equal?
False
Suppose -q + 3 = -2. Let r = q - 3. Let u be 235/150 - r/12. Is u at least as big as 0?
True
Let w(n) = -n**2 + 10*n - 16. Let b be w(6). Let m(l) = l**2 + 7*l. Let a be m(-8). Is b equal to a?
True
Let n(k) = k**2 + 7*k - 11. Let l be n(-9). Let s(b) = -4*b**2 + 6*b**2 - l + 7*b**2 - b**2 + b - b**3. Let a be s(8). Which is smaller: -2/5 or a?
-2/5
Let z = -11 + -5. Are -16 and z non-equal?
False
Suppose -2*v + 21 + 25 = -2*n, -4*v - 5*n + 47 = 0. Suppose 4*r = 2*a - 20, -a + 3*r = 8*r + v. Suppose a - 5 = q. Do -2 and q have the same value?
False
Let a(g) = -g**2 + 4*g + 2. Let n be a(6). Let s be (-2)/3 + n/(-15). Let r = 6 + -4. Are r and s nonequal?
True
Let a be (10 + 1 - 1)*-6. Let q be a/(-14) - (-2)/(-7). Let w be ((-3)/12)/((-5)/q). Which is smaller: -1 or w?
-1
Let t be ((-27)/(-48))/((-105)/28). Which is smaller: 1 or t?
t
Let c(a) = -a + 1. Let v(j) = -12. Let s(u) = 2*c(u) + v(u). Let p be s(-5). Which is smaller: p or 8/11?
p
Suppose 0 = -4*a + 2*f + 43 + 9, -4*a + 3*f + 52 = 0. Which is bigger: a or 10?
a
Suppose -3*u - u = 0. Let x be u/2 - -1*2. Which is smaller: 1 or x?
1
Let w = 9 - 6. Let q be -2 + 2 + 2 + 2. Which is bigger: q or w?
q
Let g = -39 + 34. Is g > -11/3?
False
Let d = 12 - 12. Let m(k) = -k**3 - 2. Let t be m(d). Is 1 at least t?
True
Let v(t) = -t**2 + 5*t - 2. Let j be v(5). Let b = 0 + 2. Suppose r + b = -r. Is r < j?
False
Let v(c) = c**2 - 11*c - 12. Let a be v(12). Is a greater than 7/5?
False
Let r(l) = -l**3 + 13*l**2 - 18*l + 51. Let b be r(12). Do b and -22 have the same value?
False
Let v be -9 + 10 - (1 - -1). Which is smaller: v or -1/3?
v
Suppose 3*g - 77 = 3*u + u, 5*g + u = 90. Let a = g - 268/15. Let h = 9/5 - a. Which is smaller: h or 1?
h
Suppose 4*a + 42 = 6*a. Does 21 = a?
True
Let t = -638 + 640. Let z = 0.08 + 4.92. Which is smaller: z or t?
t
Let o be ((-2)/(-51))/(245/105). Which is smaller: -1 or o?
-1
Suppose -3*y + 5 - 17 = 0, -7 = -5*a + 3*y. Which is smaller: 1 or a?
a
Suppose 3*g + 3*a = -24, -4*g - a = -0*a + 23. Which is smaller: -4 or g?
g
Let i(p) = -p**3 - 7*p**2 - p - 2. Let m be i(-7). Suppose 3 = -3*v + 6*v. Suppose m = 4*a + v. Which is bigger: -1 or a?
a
Let x = 6.15 - 0.15. Let y = -0.05 - 6.15. Let q = x + y. Is 0 at least q?
True
Let f be (-14)/(-20) - (-6)/(-15). Which is smaller: 2/7 or f?
2/7
Let t be (-1)/5 - 7644/(-25670). Let l = t - -3/151. Is l bigger than 0?
True
Let v be (-4)/(120/(-33)) - 1. Which is bigger: v or 1?
1
Let m be (-14)/(-18) - 10/(-45). Let q(o) = 2*o + 6. Let a be q(-4). Let b = a - m. Is b bigger than -2?
False
Let m = -0.05 + 3.05. Suppose -3*t + 15 = -0. Suppose t*q = -2*u + 4, 3*u + 2 + 11 = 2*q. Are m and q equal?
False
Let z be (36/2)/(-3) + 0. Let d be (z/4)/(6/(-8)). Suppose -3*c = -d*c - 1. Is c greater than 1?
False
Let q = -0.8 + -0.25. Let i = -0.05 - q. Is i > 0.2?
True
Suppose 7*j - 13 = -20. Suppose -b = 3*b + 24. Let x be (b/45)/(10/6). Is j > x?
False
Suppose -4*k - 2*h = -74, -4*k + 2*h - 6*h + 84 = 0. Which is bigger: k or 15?
k
Let q = -31 - -34. Is 24/7 at most as big as q?
False
Suppose -4*q - 3*q = 112. Which is smaller: q or -15?
q
Suppose 0 = y - 4*n + 4, 35 = 4*y + 2*n - n. Do y and 17/2 have the same value?
False
Let g be (-32)/16 - 0/2. Which is smaller: -1 or g?
g
Let i(x) = -2*x**3 + x**2 - 3*x + 1. Let a(t) = t**3 - t. Let r(n) = -5*a(n) + i(n). Let z be r(-1). Suppose -2*f = -z*f - 5. Which is smaller: f or 1/3?
f
Let t be 3/(-9) - (-124)/300. Is t at least -1?
True
Let g(h) = 2*h - 10. Let n be g(7). Let d be (3/(-4))/((-1)/n). Suppose d*p = -3 - 6. Is p greater than or equal to -2?
False
Let i = -60.82 - -61. Which is greater: i or -1/3?
i
Suppose -3*s - 2*u = 1, -2 = 2*s + 3*u + 2. Let a be (-10)/(-45) - (-4)/(-36). Is s < a?
False
Let x(y) = y. Let i(o) = 4*o. Let z(t) = -i(t) + 3*x(t). Let k be z(1). Let m be ((-3)/9)/(1