uppose -2*q = -a + 46, -7 + 53 = -2*q - 2*a. Which is greater: -1/5 or q?
-1/5
Let g(b) = -b**2 + 9*b - 8. Let p(m) = 7*m. Let x be p(1). Let j be g(x). Let t = j - 3. Is 5 <= t?
False
Let r(s) = -s**3 + 3*s**2 - 1. Let v be r(2). Suppose 5*q = v*c - 12, c = -q - 0*q - 4. Let j be 16/20 + c/(-5). Is j greater than or equal to -1/7?
True
Let u = 944 - 922. Is u less than 33?
True
Let v(w) = -3*w + 9. Let z be v(3). Suppose 4*t + 80 = 4*q, z = -3*q + q + 6. Let r(m) = -m**2 + 5*m - 4. Let a be r(7). Is a not equal to t?
True
Suppose 0 = -o + 8 - 40. Let t = o - -30. Is 7/6 less than or equal to t?
False
Let j be (-1)/2665*(-2)/((-72)/(-4444)). Let y = j - 1/533. Which is bigger: y or 0.1?
0.1
Let c(x) = -5*x**3 + 6*x**2 + 22*x + 5. Let m be c(-4). Which is greater: m or 332?
m
Suppose -6*h = -0*h - 18. Let i be (-1008)/507 - h*4/(-6). Are -1 and i nonequal?
True
Let h = 146 + -140. Let l(v) be the third derivative of v**6/120 - v**5/10 - 7*v**3/6 - v**2. Let s be l(h). Are -1/4 and s nonequal?
True
Suppose 13*c + 140 = 8*c. Let g = 10 + c. Let n be 2/g*6/4. Which is bigger: -2 or n?
n
Let w = 1605 + -1595. Let g = 1 - 0.6. Which is bigger: w or g?
w
Suppose 0 = -33*f + 38*f + 5. Let v be 20/50 - f/35. Which is greater: v or -1/17?
v
Let d = -103 - -100. Let u = -96 + 98.04. Let x = u + -0.04. Is d greater than or equal to x?
False
Let g = 3.9 + 0.1. Let q = 93 + -95. Which is smaller: q or g?
q
Let c = 61 - 45. Which is smaller: 21 or c?
c
Let f = 0.75 - 0.85. Do 1/37 and f have different values?
True
Let i = -46/7 - -12427/1890. Which is bigger: i or 0?
i
Let i(p) = -38*p - 249. Let l be i(-14). Is l at least 284?
False
Let f(r) = -2*r**3 + r - 1 + 3*r**3 + 2*r**2 - 6*r**2. Let t be f(3). Let b be 0/t + -2 + -1. Is -4 <= b?
True
Suppose 5*u - 52 - 8 = 0. Suppose i - u = -i. Let y be (-2)/i*(-15)/(-5). Which is smaller: y or 2/13?
y
Let o(d) = d**2 + d + 1. Let p be o(-3). Suppose -112 = -4*u - 2*n, 6*u - 2*u = 3*n + 112. Let w be 152/u - 4/(-7). Which is bigger: w or p?
p
Let q = -236 - -236. Is q bigger than -25/52?
True
Let p be (80 - 6)/(6/(-15)). Let k = p - -363/2. Which is smaller: k or -3?
k
Suppose -20*i - 8 = -22*i. Suppose -12*w = -10*w + i. Let u = 16 - 19. Which is smaller: w or u?
u
Suppose 10 = -2*z, -z - 46 = 3*x + z. Is x less than or equal to 1?
True
Let j be 15/(-25) - 348/(-5). Suppose -2*b = j - 9. Let f be (-1 - 34/b)*6. Which is bigger: 3 or f?
3
Let j = 2367/2 - 7777/6. Is -112 greater than or equal to j?
True
Suppose -3*m - 1 = -16. Suppose 18*r - 663 = m*r. Is r > 51?
False
Let r(t) = 2*t**3 - 4*t**2 + 30*t + 110. Let l be r(-3). Is l < -74?
False
Let t = 901/88 - 114/11. Is -17 not equal to t?
True
Let a = 166 - -58. Which is smaller: a or 2/11?
2/11
Let x = -100 + 144. Let i be 3/2*((-10)/15 + 4). Let w be x/(1 - i) + -4. Is -15 != w?
False
Let x = 36 + -1. Suppose -b + 0*b = x. Is b bigger than -36?
True
Let j = 23420 - 116697/5. Suppose -134 - 28 = -2*o. Let n = o - j. Is n greater than -2?
True
Let x(o) = -8*o**2 + 3*o - 2. Let d be x(-6). Let n be ((-1)/(-4))/(55/d). Are -2 and n nonequal?
True
Let i(t) = 39 - t - 11 - 7. Let m be i(12). Let c(b) = -b + 8. Let d be c(m). Is d < 3/10?
True
Suppose -d - 6 = -5*g, d = 5*g + 2*d - 14. Suppose 2*j - 88 = 52. Suppose o - 6 = g*o - 3*n, 5*o + 5*n + j = 0. Is -12 less than o?
False
Let m be (32/(-12))/(300/9 + 1). Let n be 647*2/(824/6). Let c = m - n. Are -9 and c equal?
False
Let o = -2.555 + 7.492. Let j = 0.063 + o. Is 2 > j?
False
Let g(w) = -3*w**2 - 12*w + 1. Let d be g(-5). Let v be d*((-315)/80 + 4). Which is greater: -1 or v?
v
Let w be (-5 - 848/(-28)) + -4. Let k = -19533/917 + w. Is k at most as big as -1?
False
Let s be 10/45 - (-15329)/(-9). Let q = s - -5060/3. Is -16 at least as big as q?
True
Let t = -55 + 90. Let c = 36 - t. Which is bigger: c or 18?
18
Let p(x) = 32*x. Let q be p(0). Are q and 402 non-equal?
True
Let p = 1 + 0. Suppose -4*s + 5*d - 6*d = 81, -3*s = 5*d + 65. Let w be 0/2 - (1 - (-14)/s). Which is greater: w or p?
p
Suppose 0 = 5*h + s + 4*s + 25, 2*s - 10 = 0. Let w be (12/(-10))/((-4)/(-35)). Let l = h - w. Which is bigger: l or -0.1?
l
Let y = -1454/711345 + -4/5045. Which is greater: 1 or y?
1
Let z be ((-21)/(-9) - 2)*12. Let n be 212 - 0/(-6) - 3. Let a be (z/(-6))/(n/(-33)). Is 1 >= a?
True
Let x = -359 + 360. Is x smaller than -3/5?
False
Let o be (4/(-6))/(104/156). Is o equal to -3/80?
False
Let r(h) = h**3 + 5*h**2 - 2*h + 14. Let m be r(-8). Let a be (-3)/(-7) - m/(-819). Let b(x) = x**2 + 7*x - 1. Let z be b(-7). Is z smaller than a?
True
Let p = -17 - -24. Let k(j) = -2 + p + 1 + 2*j + 2. Let l be k(-7). Is -5 less than l?
False
Let h = 24.4 + -7.4. Let y = 11 + 8. Let d = y - h. Which is smaller: d or 0.07?
0.07
Suppose k + 11*h = 10*h + 33, 3*h + 86 = 2*k. Which is bigger: k or 35?
k
Let a(o) = -o**2 - 2*o + 1. Let x be a(-7). Suppose 0 = 23*p - 21*p + 66. Does x = p?
False
Suppose -28 = -2*y - m, -3*m = y + m - 14. Let p = 18 - y. Suppose 6 = -7*s + p*s. Is -6/5 greater than s?
True
Suppose 0 = l + 3*p - 2*p - 5, -4*l - p + 35 = 0. Let w be 130/50 + 4/l. Is 9 not equal to w?
True
Let l(m) = -m**2 + 7*m + 5. Suppose -28 = -0*n - 4*n. Let b be l(n). Suppose 0 = -3*y - 2*y - v + 3, -4*v = -y - 12. Which is greater: y or b?
b
Suppose -5 = -2*h + 5. Suppose 5*w = -h*z - 60, -3*w = -3*z + z + 16. Is w equal to -7?
False
Let j be ((-4)/3)/(112/(-24)). Let m = -38 + 38.11. Is j at most as big as m?
False
Suppose -6*g - 51 = -3*g - s, 4*g + 5*s = -49. Is g at least 0?
False
Let z(b) = -b**2 + 0*b**2 + 2 - 1. Let c be z(-1). Is c at most 9/17?
True
Let p be (-5 - -1)/(11/(-44)). Suppose -5*k + p = -19. Which is smaller: k or 9?
k
Suppose -o = -2*o + 1, 2*p = -5*o - 1. Suppose t + 8 - 2 = 0. Are t and p equal?
False
Suppose -4*k = 53 + 31. Let z = -140 + 171. Let o = z + k. Do 1 and o have the same value?
False
Let m be ((-2)/(1 + 0))/(-1). Suppose t = 4*n - 2*t - 17, -m*n = -2*t - 8. Suppose -n*x - 29 = 2*r - 9, -5*r + 2*x + 8 = 0. Which is smaller: -1/5 or r?
-1/5
Suppose -2*r - 3*b + 12 = 8, 3*b - 24 = 3*r. Let d = -209 - -89. Let l be (-132)/d + 6/r. Which is smaller: 4 or l?
l
Let f = 73.9 - 73.9. Which is bigger: 4/53 or f?
4/53
Let z = -0.1 - -1.1. Let y be 2/6 + (-46)/3. Let p be (2 + 20/y)/(-3). Is z < p?
False
Suppose 4*t - 40 = m, -m - 2*m + 34 = 2*t. Let d(r) = r**3 - 11*r**2 + 3*r - 36. Let q be d(t). Suppose -5*s - 1 = 4. Which is bigger: q or s?
s
Suppose 20 = 4*p - 2*f - 4, f = -2. Let x(v) = -v**3 - 25*v**2 - 22*v + 48. Let t be x(-24). Suppose -20*y + 19*y + 6 = t. Is p at least as big as y?
False
Let z = 21.6 + -1.6. Let q = 9 - z. Suppose -4 + 16 = 12*o. Which is bigger: o or q?
o
Let t be 492/1353 + (-36)/(-22). Which is smaller: t or 2/123?
2/123
Let q = -22 + 31. Let p = q - -7. Let l = -42 + p. Which is greater: l or -0.1?
-0.1
Let i be (-12)/(-54) - 7/((-189)/(-6)). Which is smaller: i or 2/681?
i
Let a be (-6)/(-10) + (4068/10)/(-18). Which is greater: -12 or a?
-12
Suppose 0 = -3*f - 2*k - 1, -4*f = 3*k + 1 + 1. Let o be f + -3 + -1 + 4. Which is greater: o or 7/4?
7/4
Suppose -49 = -5*h + 4*l, 0*h + l = -2*h + 17. Let i be h/7 + -1 - 54/42. Which is smaller: i or 0.01?
i
Let k = -162.5 + 51.4. Let f = 104 + k. Let o = f + 7. Which is greater: o or 3?
3
Let s = -25.9752 - 0.0248. Is -0.06 bigger than s?
True
Let f = 0.0521 + 1.6979. Which is greater: -2 or f?
f
Let l(s) = 2*s - 2. Suppose -7 + 1 = -6*t. Let o be l(t). Suppose -2*a - 3 = -3*y + 7, o = -3*a - y + 7. Does a = -3?
False
Let g be (-11 + 49)/(1 + -16). Are -4 and g equal?
False
Let c = -1 - 3. Let b = c + 9. Suppose -o = -l, 3*o = -b*l + 3 - 35. Which is bigger: l or -3?
-3
Let f(l) = -l**3 - 2*l**2 - 2*l. Let y be f(-2). Suppose 13 = 3*x + y. Let q be -1 + x/(-2 - -5). Is 9 less than or equal to q?
False
Suppose g - 1 = -8. Let a(w) = -w**3 - 23*w**2 - 60*w + 3. Let k be a(-20). Which is smaller: g or k?
g
Let z = 355217 - 163336. Let r = z + -225844118/1177. Let o = r - 3/107. Is o greater than or equal to -3/5?
True
Let i = -2509 + 2485.06. Let l = -24 - i. Which is smaller: l or 3?
l
Suppose 0*s + 5*a = s - 12, 0 = -3*s - 5*a - 4. Suppose 6*p + 5*q = s*p + 25, -p - q = -5. Is p < -2/11?
False
Suppose -164 = 5*g - 3*g. Suppose 2*b - 23