 -0.01 or o?
-0.01
Let u(a) = 2*a**3 + 12*a**2 + 7. Let j be u(-6). Suppose 0 = 3*z - 5*z - 5*g - 4, -z - 5 = 4*g. Suppose -j*k = z*k - 80. Are 5 and k nonequal?
True
Let a be (48 - 55) + (-16)/((-1120)/489). Let t = 2 - 2.2. Do a and t have the same value?
False
Let m(i) = -i**2 + 4*i + 7. Let b be m(5). Let g = -765087/11 - -69554. Which is smaller: g or b?
g
Let s = 0.105687 + 2.894313. Let z = -1.1 - -1. Which is smaller: s or z?
z
Suppose 0 = 22*f + 6550 - 1666. Let t = -307 - f. Are t and -85 equal?
True
Suppose 7*j + 2611 = 2604. Suppose 0 = -q - 4*v + 42, 0*q + 5*v = 2*q - 58. Let u be -1 - -9*4/q. Is u <= j?
False
Let i(y) = -75*y**3 + y**2 + 225*y - 445. Let f be i(2). Which is smaller: -601 or f?
-601
Let b be -4*(-1)/1*(-2)/(-4). Suppose b*y + 465 = -13*y. Let d be 0 + 1 - (0 - -2). Is y < d?
True
Suppose 15 = -3*d - 2*d. Let a be (3 - 17/5)/(2/(-190)). Suppose -a*p - 185 = -p. Which is smaller: p or d?
p
Let s be 1/3*30615/(-11). Let x = -656 + -273. Let g = s - x. Are -0.1 and g equal?
False
Let j = 111/59 - 8161/5310. Let w be (-39)/27 - (-4 + 3). Let u = w + j. Which is greater: u or -1?
u
Let d = 1017 + -1015.59. Let o = d + -0.41. Let c be 0/((1 - -1)/1). Is c not equal to o?
True
Let d(y) = -101*y + 40*y + 29*y + 34 + 34*y. Let i be d(-5). Which is smaller: i or 28?
i
Let p(j) = j**2 + 21*j - 110. Let d be p(-26). Let l(x) = -x**3 + 19*x**2 + 21*x - 20. Let o be l(d). Is -2/21 > o?
False
Suppose -4*f + 4 = -0*f. Let y be (-4)/5 - 402/335. Let u be (116/(-8) + 3 + f)/y. Which is smaller: 5 or u?
5
Suppose 4*y - 122 = -m, -33 + 421 = 4*m - 4*y. Let z = m + -127. Are -23 and z non-equal?
True
Let c be 1 - (-13)/(-3) - 2196/1830. Which is greater: c or -6?
c
Let x = -58 - -40. Let i(s) = -s**2 - 18*s - 34. Let m be i(-9). Let v = -66 + m. Which is smaller: v or x?
v
Let q = -5.862 - -4.862. Is q less than or equal to 433?
True
Let u = 129 - 129. Suppose u = -6*n + n - 20. Let h = 2 - 5. Which is greater: n or h?
h
Let l(h) = -53*h + 8166. Let p be l(97). Does p = 3025?
True
Let r = -2397 - -2409. Let a be ((-2)/4)/(3/(-42)). Which is smaller: r or a?
a
Suppose -26*y - 440 + 1376 = 0. Suppose -5*v + 42 = -4*v - k, -202 = -5*v + 3*k. Which is bigger: v or y?
v
Suppose -3*r = -4*p - 30, 2*r + 0*p + 5*p = 20. Suppose 8*k - 2 = -r. Let l = 94/7 + -1163/84. Is l at most as big as k?
False
Suppose 0 = 2*f - 1 - 7. Let g = -75 + 35. Let y be 44/g + 6/f. Which is greater: y or 29?
29
Let l = 0.0627 - 360.0627. Let t = l + 351. Are -3/4 and t equal?
False
Suppose -5*z + 32 = 3*s, -6*z + z - 4*s + 36 = 0. Suppose 25 = 7*y + z. Is -18 < y?
True
Let b = 10295/2 - 380919/74. Which is smaller: 0.06 or b?
b
Suppose l = -6*l + 133. Suppose 0 = 14*k - l*k + 100. Suppose g + k = 6*g. Which is smaller: g or 1?
1
Let x(q) = -44*q - 79 + 87*q - 41*q. Let v be x(40). Does v = -3/7?
False
Suppose 0*x + 3*j - 168 = -3*x, 4 = j. Suppose 0 = -3*p - z - x - 25, -5*z = -2*p - 40. Which is smaller: -0.2 or p?
p
Let p(m) be the first derivative of m**4/4 - 3*m**3 - 9*m**2/2 - 6*m - 1. Let h(j) = 26*j - 458. Let q be h(18). Let y be p(q). Which is smaller: y or 7?
y
Let z(h) = h**2 - 6*h - 30. Let x be z(9). Let l be (((-30)/25)/x)/((-4)/(-10)). Which is bigger: l or 4?
4
Suppose 3*j - 8*j - 271 = 3*d, 3*d + 218 = -4*j. Let w = 59 + j. Which is bigger: 4 or w?
w
Let u be 6/21 + (-24)/(-14) + -1. Let r be (2/((-2)/u))/3. Which is smaller: 1 or r?
r
Suppose 54*l - 190 = 56*l - 2*t, 0 = l + t + 95. Suppose 3*g + 30 = -2*f - 158, 3*f + 279 = -3*g. Are l and f equal?
False
Suppose 2*j + 117 = 11*j. Let z be 2*((-78)/168)/j. Which is bigger: z or 1?
1
Let f = -4823 - -4724. Is -92 < f?
False
Let v be (357/14)/(1 - 33/24). Let y = -1103 - -1038. Which is bigger: y or v?
y
Let b = 127 - 218.2. Let i = b - -96. Which is smaller: i or 2?
2
Suppose 2*b = -3*i + b + 8962, -2*i + 5977 = 3*b. Let n be -4 + 4989/10*-6 + -2. Let y = i + n. Which is bigger: -13 or y?
y
Let y = 0.0015 + -110.9015. Let d = y - -111. Let x = 0.6 + 3.4. Is x less than or equal to d?
False
Suppose 0*z = -z + 6. Suppose -2*i = 2*y - 42, z*i - i - 33 = -2*y. Let w(a) = 16*a - 153. Let r be w(11). Is r less than y?
True
Let f be (40/(-25))/(-4) + (-2244)/(-15). Let q = f - 23. Which is bigger: 126 or q?
q
Let q = -96 - -102. Suppose 0 = q*d + 26 - 20. Let t be ((-17)/(-2))/(1/d*1). Which is bigger: 1 or t?
1
Let r = 7121/6 - 1174. Let k = -2 + r. Is 0.4 >= k?
False
Let k = -4676 - -4683. Which is smaller: k or 319?
k
Let v(o) = 126*o**2 - 116*o - 25. Let s be v(10). Which is smaller: s or 1/2?
1/2
Let r(v) = 17*v + 85. Suppose 0 = -k, 6 = -q - k - 4*k. Let z be r(q). Is -17 less than or equal to z?
True
Let k = 6.8 - 6. Suppose -3*b = 5*v + 51, 4*v + 34 = -150*b + 151*b. Is v bigger than k?
False
Let n(a) = 11*a + 77. Let y be n(-9). Which is greater: -13 or y?
-13
Let h = -3.8469 + 5.5469. Let s = 0 - 0. Are s and h unequal?
True
Let t = 815/24 - 233665/6888. Which is smaller: t or -1?
-1
Let q be 15/(-105) - (562/(-14) + 0). Let x be (-5)/(-35) - q/(-14). Suppose 4*c + 394 = x*a + 45, -3*c + 2*a - 263 = 0. Do c and -91 have different values?
False
Let l be 9/6 - (-1089301)/(-735770). Let h = -2/2285 + l. Let k = h + -10/161. Which is smaller: 1 or k?
k
Let k be (-3)/(900/2756) + (60/9 - 5). Are k and -8 nonequal?
True
Suppose 0 = -2*h + 10, -2*z - 119 = 2*z + 5*h. Let f(b) = -29*b - 7*b**2 - 22 + b**2 + b**2 + 28. Let j be f(-7). Is z greater than or equal to j?
True
Let f = -8409 + 8405.9629. Let a = f + 0.0371. Which is smaller: 2/13 or a?
a
Let z(y) = 51*y + 3213. Let d be z(-63). Which is greater: d or -9/1562?
d
Let k = 50 + -49. Let d = -5/728 + 5/52. Let i = d - -143/280. Is i greater than k?
False
Suppose -1444*r + 1421*r = 115. Suppose 2*n - g = -0*n + 28, 5*g = -3*n + 68. Suppose -f = f + n. Does r = f?
False
Let b be ((-192)/(-14))/(14/49). Let y be (-3 + 6 - 4) + 164/b. Which is smaller: 1 or y?
1
Let j be (-525)/22 + ((-406)/84)/29. Let r = 114/11 + j. Which is smaller: -15 or r?
-15
Let z = -1/1694 + -845/3388. Is -0.282 at most as big as z?
True
Let l = 8442 - 10565. Are -2123 and l non-equal?
False
Let c(g) = -4*g + 28. Let k be c(6). Suppose k*f - 107 = 3*f. Which is smaller: 108 or f?
f
Let r be (1 - 6)*24*(-2)/4. Let n be (-25)/2*(-6)/r. Suppose 0 = -2*p + 2. Which is bigger: p or n?
n
Suppose -170*z + 167*z + 12 = 0. Suppose z*i = 2*s + 30, 0 = 3*s - 0*i - 4*i + 39. Is -35/4 at most as big as s?
False
Let j(y) = 485*y + 3615. Let i be j(-10). Which is smaller: -1234 or i?
i
Suppose 2*r + 4*m = -8, 3*m + 6 = -43*r + 41*r. Which is smaller: 3/287 or r?
r
Let x = -71747 + 71679. Let b(u) = -24*u + 3. Let m be b(3). Which is smaller: m or x?
m
Let r = 9608 + -9609. Let y = 23812/31 + -768. Is r greater than or equal to y?
False
Let j be -1 - -5 - (-720)/(-210). Is 3.6 > j?
True
Suppose -15 = 3*a - 0*a. Let y(i) = 86*i + 389. Let s be y(-4). Let x be s/40*40/15. Which is bigger: x or a?
x
Let n be -784*(-810)/(-216)*1/5. Which is bigger: -578 or n?
-578
Let d = 8205 + -8530. Is d greater than 4?
False
Let m = 5785 - 6121. Is -336 greater than m?
False
Suppose -2*r - 5*c - 427 = 0, -3*c + 849 = -4*r - 8*c. Suppose 0 = -149*q + 147*q - 426. Is r equal to q?
False
Let n = 23.77 + 12.23. Which is bigger: n or -33/5?
n
Let r = -122 - -126. Suppose 4*y - 46 = 2*w, r*y + 4*w - 11 = 41. Is 116/9 bigger than y?
True
Let z(b) = b**3 + 6*b**2 - 8*b - 5. Let p be z(4). Let j(d) = -p*d + 16 - 123*d - d**2 + 244*d. Let n be j(-5). Which is greater: n or -10/31?
n
Let o be -1 + (-156)/(-5) - (-6)/(-30). Let v = 33 - o. Suppose v = 8*h + 3. Do 4 and h have the same value?
False
Let w be -26 + (14480/(-15) - -3). Which is bigger: -988 or w?
-988
Let g(s) = -s**2 + 23*s - 92. Let k be g(22). Suppose 0 = 9*q + 473 + 166. Which is smaller: q or k?
q
Let r = 68 + -63. Suppose -250 = -r*u + 280. Which is bigger: u or 104?
u
Let z(s) = -s**2 - 79*s + 2554. Let m be z(25). Is -21 > m?
True
Suppose -3*v - 3*v = -204. Suppose -176 = 11*n - 66. Let z be n*(-5)/(-10) + 41. Is v < z?
True
Let h = 8 + -32. Let c be (-117)/h - 6/(-48). Suppose y + 2 = 4*m, -y = -c*m - 5*y - 8. Is m at least -2/33?
True
Suppose -3280 - 1060 = -286*v - 334*v. Let o(g) = 20*g**3 + 2*g + 1. Let t be o(-1). Let i = 12 + t. Which is