46)/56 + (-3)/4. Is q less than -146?
True
Suppose -6 = x - 4*x, 2*x = -4*f - 328. Let b = f - -53. Is -2/3 at least b?
True
Let y = -206.9 - -207. Is y not equal to -0.34?
True
Let u = 149 - 108. Let x = 0 - u. Is 1 > x?
True
Let n(u) = u**2 + 20*u + 28. Let z be n(-16). Let d = 36 + z. Which is greater: 4/15 or d?
4/15
Let i = -3.5 + 4. Let t = i + -0.6. Let g = 1823.05 - 1823. Which is bigger: g or t?
g
Let b(z) = z**3 - 3*z**2 + z - 4. Let j be b(3). Let h be 4/(-2) + -4 + -6. Let o be (h/30)/(42/(-10)). Is j < o?
True
Let z = 137 + -133. Let n be (0 - -4 - z) + (2 - 1). Let b = 13 - 21. Is b >= n?
False
Let a = 153 - 147.02. Let q = -0.02 - a. Let d = q - -4. Is d < -6?
False
Let u = 142 - 128. Let d be (-18)/90*(-4)/u. Let l be (-2)/(-8) + (-2)/8. Is d at least l?
True
Let r be (-314)/8 - (3 - 5). Let s = -8 + -29. Let w = r - s. Which is smaller: w or -5/2?
-5/2
Let p = 19 - 14. Suppose p*w - 9*w = -4. Let o be 0 - (12/(-10) - 0). Do w and o have the same value?
False
Let o = -191/56 + 25/8. Let j be (-1)/((-4 - 5)/3). Which is smaller: j or o?
o
Let s = 2581316/1665 - 7752/5. Let z = 6/37 - s. Is z > -0.02?
True
Suppose 0 = -3*y - 4*a + 37, 30*y = 28*y + 5*a - 6. Which is smaller: 13/7 or y?
13/7
Let g = 82 - 60. Let y = g + -28. Is y bigger than -4?
False
Let j(s) be the first derivative of -s**2/2 + 11*s + 6. Let m be j(9). Suppose -x + 3*x - m = 0. Which is smaller: 1/4 or x?
1/4
Let q be 2/(-136)*(-384)/(-1632). Which is smaller: q or -1?
-1
Suppose -5*c + 9 = 54. Let s(u) be the second derivative of -u**3/6 - 5*u**2 - 4*u. Let l be s(c). Is 2/55 not equal to l?
True
Let x(s) = -19*s - 2. Let g be x(-3). Let u = g - 42. Which is bigger: 12 or u?
u
Let y be (-3)/2 - (-5)/(-10). Let n(a) = -3*a**3 - a**2 - 2*a. Let m be n(y). Let h be 32/m - 8/6. Which is greater: -3/5 or h?
h
Suppose 3*o = -2*h - 201, -25*h = -2*o - 29*h - 150. Suppose -2*j - r = 123, 5*r - 383 = 4*j - 102. Which is bigger: o or j?
o
Let i = -106 - -106.046. Let z = 8.254 + i. Which is smaller: -0.2 or z?
-0.2
Let d = 86 + -85. Let p be ((-8)/4 - d)/((-417)/(-2)). Which is bigger: 1 or p?
1
Let s = -8/5675 + -2513969/39725. Which is smaller: -63 or s?
s
Suppose -25 = -4*s + p, -4*p = 5*s - 3 - 23. Are -27 and s non-equal?
True
Suppose -3*g = -0*g - z + 171, -2*g - 128 = 4*z. Let j be 13/(-52) - 223/4. Which is greater: j or g?
j
Let c = -154 + 154.9. Is -20 greater than c?
False
Let b = 15 + -14. Let j = b + 3. Suppose 7 = 4*g + 3*t, -j*t + t = 5*g - 8. Which is greater: -2/5 or g?
g
Let f(p) = -112*p - 351. Let a be f(-7). Which is smaller: a or 434?
a
Suppose -4*q - 3 + 11 = 0. Suppose -23 = -4*u - 2*g + 19, -2*g = q*u - 26. Suppose -2*b + 6 = 4*h - 0*h, -u = -5*b - 3*h. Which is bigger: b or -2/57?
b
Let o be -17 + -2 - (6 + -2). Let r = -27 - o. Let t = 1 - r. Is t >= 6?
False
Let h(w) = 8*w + 1 - 12*w - 1 + w**2. Let d be h(4). Which is smaller: d or 2?
d
Let w = -0.014 + 2.114. Let b = -0.1 + w. Which is smaller: b or 0.2?
0.2
Let g = -296/29 + 67279/6583. Which is greater: g or -1?
g
Let i = -11 + -4. Suppose -m = -3*u - 38, -29*u - 3*m + 16 = -31*u. Do i and u have the same value?
False
Suppose -4 + 8 = 4*a. Suppose 0 - a = p. Are p and 2/7 equal?
False
Suppose 4*u = -8, -3*v - 7 = 7*u - 2*u. Suppose 0 = 94*f - 97*f - 6. Let p be -5 + (v - f) + -1. Is p >= -4?
True
Let z = -53 + 285. Let g = z - 4639/20. Let w(c) = -2*c + 15. Let x be w(8). Is x smaller than g?
True
Let k be 10/120 - 2125/10812. Let i(v) = -v**3 - 5*v**2 + 6*v. Let u be i(-6). Is u != k?
True
Let y = -13.6 + 0.6. Let j = 11.2 + y. Let t = -1.8 - j. Which is smaller: t or -0.1?
-0.1
Suppose -2*c + 5 - 23 = 0. Let o be (3/(-1))/(-3)*c. Which is smaller: o or -10?
-10
Let o = -59 + 61. Suppose -o*t + 4 = -0*t. Which is smaller: 42/17 or t?
t
Let k(m) = -2*m**2 - 19*m + 38. Let q be k(2). Is q at most as big as -8?
True
Let n = -114679/1119 + 56/373. Let o = -102 - n. Is -5 less than o?
True
Let z = 403.6 + -404. Which is smaller: z or 31?
z
Let g = 16.2 - 16.3. Which is bigger: -126 or g?
g
Let l = 1.84 + 0.46. Let a = -3.3 + l. Which is smaller: 26 or a?
a
Let u = -547.278 - -547. Is -1 less than or equal to u?
True
Suppose 0 = -2*w - 7 - 5. Let j be (1/2)/((-3)/w). Is j < 1?
False
Let i be -4 + 1024*(-9)/6. Do 1 and i have different values?
True
Let g be (12/(-1))/(6/(-10)). Let v be -2*((-15)/(-6))/(-5). Is v less than g?
True
Suppose 11*x - 12*x + 8 = 0. Let m be x/(-2) - 9/(-2). Let s = -6 - -4. Which is greater: s or m?
m
Let g = -51 - -30. Let a(v) = v**2 - 6*v + 8. Let u be a(2). Do u and g have different values?
True
Let r be (-39)/(-6) + (-3)/6. Suppose 3*a = 3*l - l + 40, 0 = 2*a - 5*l - 45. Let m be a/15 + (-10)/r. Is 11 != m?
True
Let a be 1/(-1 + 940/936). Let h = a + -404. Let w be h/(-58) + -3 - 0. Which is smaller: w or -1?
-1
Let u(p) be the third derivative of -p**4/24 + 4*p**3/3 + 5*p**2. Let h be u(8). Let z(f) = f**3 - f**2 - f - 2. Let g be z(h). Is 6 equal to g?
False
Suppose 0 = -6*q - 0 - 0. Is 0.021 > q?
True
Let p = 62 - 61. Is p != 156?
True
Let w be 0 - (84/(-212))/(-7). Which is smaller: w or -1?
-1
Suppose 0 = 4*v - 0*v - 8. Suppose -6*c + v*c - 28 = 0. Let j be -1 + ((-8)/c)/1. Which is bigger: 1 or j?
1
Let q = 89 + -53. Suppose 3*z = -l - 2*z + 39, -2*l + 4*z + q = 0. Let s be 14/(-21) - (-25)/l. Is 1 smaller than s?
False
Let m be 1*-1 - (-50)/38. Let k = 1313/1330 - 88/105. Let g = m - k. Which is bigger: g or 1?
1
Let r be 9/24 + (-222)/(-48). Are r and 50/9 unequal?
True
Let l = -59.81 + 2.81. Is l <= 0.1?
True
Let n = -920/553 + -4/79. Is n > -3?
True
Let c(a) be the first derivative of a**4/4 + 3*a**3 + 13*a**2/2 + 8*a + 4. Let f be c(-8). Let i be (-1)/((f/10)/4). Is 0 less than or equal to i?
True
Let v = 41 - 93. Let f = v - -53. Which is smaller: f or -11?
-11
Let n(r) = 23*r - 11. Let k(x) = -11*x + 5. Let d(h) = 9*k(h) + 4*n(h). Let a be d(-6). Suppose -3*m + 7*f - 33 = 3*f, 4*m + a = 5*f. Which is smaller: m or -9?
-9
Let m(r) = r + 11. Let u be m(-11). Let n = -5720/34817 - -2/941. Which is smaller: n or u?
n
Suppose -2*o - 12 = -6*o - z, -o - 16 = 5*z. Suppose -o*m - 6*g + 4*g - 74 = 0, 3*m - 4*g + 83 = 0. Let v be m/42 - (-18)/20. Is 1.1 at most v?
False
Let n = -233.82 + 236. Let r = 1.18 - n. Is -37 less than or equal to r?
True
Let c be (2 + -26)*1 + 2. Let f be (0 - 34)*11/c. Is 17 <= f?
True
Let n = 18 + -14. Suppose 5*j + 7 = -n*f + 29, -2*f - 2*j = -10. Let x(v) = -v + 11. Let i be x(10). Is i bigger than f?
False
Let i be (-16)/(((-620)/(-11))/4). Let l = i + -2/31. Is 0.1 bigger than l?
True
Suppose 0 = -37*g - g - 266. Let f be -5 + 1/(2/(-2)). Which is smaller: f or g?
g
Let u = -3/191 + -4945/1337. Let x(h) = h**3 + 4*h**2 - 2*h + 12. Let j be x(-5). Are j and u equal?
False
Let t be 2/4 - (-2)/4. Let g be (t - (-2)/(-4))*-12. Do g and -9 have the same value?
False
Let l(t) = -t**2 + 13*t - 16. Let r be l(4). Let y = -14 + r. Which is bigger: y or 3?
y
Let t(a) = a**2 - 2*a - 34. Let d be t(10). Is 47 >= d?
True
Let z = -41 + 311. Which is bigger: 271 or z?
271
Suppose 5*b = -3*k + 10, 3*k + 18 = 6*k - 3*b. Are 12 and k non-equal?
True
Let h be -9 + 6 + (-215)/(-2). Which is bigger: h or 104?
h
Let f = -228 - -1363/6. Suppose 5*o + 16 = 4*i - 0*o, 5*o = -20. Which is bigger: f or i?
f
Let q = 990 - 659. Let r = q + -308.9. Let g = r + -22. Is -1/6 < g?
True
Let b = -27963/835 - 52/167. Let u = 34 + b. Do u and -0.7 have the same value?
False
Let r(o) = -3*o + 2. Suppose 10 = -6*y + y. Let c be r(y). Is c at most as big as 7?
False
Let t = -49 + 69. Let b be -3 - (-1)/((-5)/t). Do b and -17/3 have the same value?
False
Let v(y) be the second derivative of y**4/6 - y**2/2 - y. Let f be v(2). Suppose u - 2 = 4. Is f <= u?
False
Let w be (-1340)/168 + 7 + (1 - 0). Is 1 >= w?
True
Let s = -168 - -141. Which is smaller: -105/4 or s?
s
Let y = 3 + -2. Let j(l) = -l**2 + 10*l - 14. Let w be j(8). Do w and y have the same value?
False
Let a = 0.684 - 1.684. Is -5/6 less than a?
False
Let f = -29 + 17. Let g be (606/707)/(2/(-28) - 0). Is f at most as big as g?
True
Let x = -201 + 1603/8. Let u(i) = i**2 - 5*i. Let r be u(5). Is r > x?
True
Let t = 12 - 8. Suppose t*x = 3*x. Let u = -29451/22 + 2677/2. Which is greater: u or x?
x
Let r(h