14886, 5*u + 18612 = 4*g. Are u and -3725 nonequal?
True
Let a be ((-5)/2)/((-2)/24*-6). Let b be 3*3 - (8 + a). Suppose -76 = b*k - 10*k. Which is smaller: 0 or k?
0
Suppose 5*r + 5*h = 69295, 12*r + 4*h + 97035 = 19*r. Are r and 13860 non-equal?
True
Let b be 21*(3/21)/1. Suppose -b*y - 59 = 2*k - 57, 5*y = -k - 8. Is 67 <= y?
False
Let w = -56/5 - -11. Let s = -0.2320747 + 0.0420747. Which is greater: s or w?
s
Let n be (-252)/8 - (-2 - 30/(-12)). Suppose 41 = -c - 4*u, -76 = 2*c + 16*u - 11*u. Is c at least n?
False
Suppose 0 = j + 5*c + 498, 16*j + 2610 = 11*j + 5*c. Which is smaller: -2592/5 or j?
-2592/5
Let m(j) = 2*j**3 - 13*j**2 - 15*j + 53. Let b be m(7). Which is smaller: b or -51?
-51
Let j be (-22 - -5) + (-40873)/(-2401). Is 1 < j?
False
Let q = 978.6 - 21.6. Which is smaller: 2 or q?
2
Let i = -0.00251 + 36.03251. Let b = i + -37. Let n = -0.03 + b. Which is smaller: n or 7?
n
Let q be 60/(-30) + (0 - 43). Let w be 362/(-6)*(-42)/(-56). Let h = q - w. Is 0 bigger than h?
False
Suppose 4*g + 6 = -2*o, 27*g - 26*g = -o. Suppose 15*j - a = 20*j - 3410, o*a = 3*j - 2046. Which is smaller: j or 683?
j
Let h = -0.258 + 0.468. Let k = 23 - 22. Let j(t) = 2*t**3 + t - 1. Let i be j(k). Does h = i?
False
Let c = 181.6 - 181.6. Which is smaller: -3814 or c?
-3814
Suppose 0*n - n = 58. Let u = -74323 - -74267. Is u at least n?
True
Suppose 2*z - 3*w - 147 = 0, -2*z + 5*w + 187 - 34 = 0. Let i = -67 + z. Suppose -n - i + 6 = x, 3*n = 12. Which is greater: x or 0.11?
0.11
Let k = 379 + -311. Let i be 102/k - (-1 - (-159)/6). Is i at most as big as -24?
True
Suppose -2*x = 2*c - 6, -10*x = -12*x + 5*c - 8. Let i be (2/(-6))/(119/14). Does x = i?
False
Let z be (-5)/(40/(-44) + (0 - -1)). Let h = z + 36. Which is smaller: h or -21?
-21
Let m = -52.44 + 53. Let n = m - 1.56. Is -106 bigger than n?
False
Let w be (1/7)/((-72)/(-42)). Let a = -1015.9 - -1015.6. Is w less than or equal to a?
False
Suppose -4*r = -5*r - 3*f - 8, -4*r + 4*f = -32. Suppose -2*z = -d + 36, -3*z + 290 = r*d + 113. Let p = 35507 + -35506. Is d bigger than p?
True
Let g(p) = -2*p**3 - 9*p**2 - 8*p - 5. Let h be g(-3). Let m be h/(-20) + ((-92)/(-20) - 4). Let f be 6/(-98)*(-4)/6. Are m and f equal?
False
Let p = 536/9 + -538/9. Is 213 at least as big as p?
True
Let x = 1614 - -3160. Is x != 4773?
True
Let u be ((-187480)/(-172))/(-2 + 5 + -2). Does u = 1093?
False
Let l = 2114 - 2119. Let z = -0.079 - 9.521. Let k = z - -9. Are k and l non-equal?
True
Let n = -539 - -1262. Let h = -1305 + n. Is 2/7 at least as big as h?
True
Let h be 390/624 + 138/(-272). Suppose -z + 2*n = -3*z - 2, 0 = 3*n. Is z less than h?
True
Let s be 8 - 1 - 1 - 33/(50061/8938). Let h(u) be the first derivative of -u**2/2 + 5*u - 2. Let r be h(4). Is r != s?
True
Let n = -12117.001 + 12148. Let v = -0.001 - n. Let i = v + 29. Which is bigger: 0.23 or i?
0.23
Suppose 10*t = 3*t - 37*t - 7*t. Which is smaller: t or 4/2085?
t
Suppose 0 = 4*y - 2*m + 122, 5*m = 4*m + 1. Let c be (45/(-25))/(y/(-4)). Let z = 628 - 629. Which is greater: c or z?
c
Let i be (-28)/(-21) + 2/(-6). Let r be (2/681)/((3772/345)/(-82)). Which is smaller: r or i?
r
Let v be (-378)/(-63) + (-2)/22*61. Let t(f) = -f**2 + 4*f + 3. Let u(j) = j**2 - 7*j - 5. Let w(k) = -5*t(k) - 3*u(k). Let c be w(-1). Which is bigger: c or v?
c
Let x(d) be the first derivative of -d**4/12 - 2*d**3/3 - d**2 - d + 2. Let c(s) be the first derivative of x(s). Let g be c(-1). Which is bigger: -3/14 or g?
g
Let q(a) = -28*a + 42. Let d be q(5). Let z be ((6 - 0) + -7)*(d + 1). Suppose -3*l = -2*u - z, u + 3*u - 2*l + 182 = 0. Is u greater than or equal to -44?
True
Let t = 2.38 - 0.63. Let s = t - 0.13. Let y = s - 0.62. Is 35 <= y?
False
Let f = -35213 + 34710. Are f and -522 equal?
False
Let x be (-92745)/390*(1 + -15). Let z = 3327 - x. Is z < -3?
False
Let b be 3/4*(-8)/(-18)*105. Let o be 5/(5 - b)*(-2)/(-3). Let i = o - -4/9. Which is smaller: i or -1.4?
-1.4
Let o = 197 - 70. Suppose 55 = -6*h + o. Which is bigger: 14 or h?
14
Let m(c) = -3*c**2 - 11*c + 4. Let a(g) = -8*g**2 - 33*g + 11. Let w(f) = 4*a(f) - 11*m(f). Let p be w(11). Is 0.147 >= p?
True
Let v be (56/(-224))/((-27)/(-52)). Let l(y) = y**3 - 7*y**2 - 7*y - 7. Let h be l(8). Which is smaller: h or v?
v
Let k(t) = t**2 + 3*t - 4. Let s be k(1). Let h(r) = -4*r - 14. Let z be h(11). Let p = 463/8 + z. Is s greater than p?
True
Let o be (18/12)/(3/6) - -165. Let d be 460/(-6)*(o/35 + -5). Which is greater: 15 or d?
d
Let w = -74651/5 + 492670/33. Let r = -8/15 - w. Which is smaller: -1 or r?
-1
Let f = 0.3 - -0.7. Let j = -438.02 + 438. Let m = j + 0.14. Which is greater: f or m?
f
Let l = 105.3 + -94.3. Does l = 0.87?
False
Suppose 15*m - 13*m = 0. Suppose m = p + 1, -5*s + 2*p + 2*p = -984. Let i = -1181/6 + s. Are i and -1 nonequal?
True
Let m be (-78)/(1 - (-15)/(-6)). Let h = -48 + m. Suppose -1 = h*x - 5. Which is bigger: x or 3?
3
Let y = 4 - 12. Let p = 1213 - 1205.38. Let b = y + p. Which is greater: b or -1/3?
-1/3
Suppose -10702*j + 10714*j + 2340 = 0. Are j and -1370/7 nonequal?
True
Suppose 3*i - 2*w - 69 = 0, -w - 117 = -5*i + 3*w. Let z be (1/3)/((-77)/(-11781)). Let f = i - z. Is f less than -29?
True
Let f(l) = -l**3 + 3*l**2 + 3*l + 10. Let x be f(4). Let j be (-21)/(-56)*(-4)/x. Which is smaller: j or -46?
-46
Let g(k) = k**2 + 24*k + 66. Suppose 4*o - o + 63 = 5*p, o + 3*p + 7 = 0. Let d be g(o). Let f = -19 + -44. Are d and f unequal?
True
Let q = -53/2 + 131/5. Let d = 0.065 + 0.135. Which is greater: q or d?
d
Suppose 2*a - 6*v + 1379 = -3*v, 3*a = -v - 2052. Is -687 greater than a?
False
Suppose 10*u = 68 + 12. Suppose -u*d - 9 = -49. Suppose -2*g - d = 19. Which is bigger: g or -13?
g
Suppose -6*a = -21860 - 26350. Let h = 265175/33 - a. Do 0.1 and h have different values?
True
Suppose -25 = -5*l, 6*l = -2*k + 4*l + 8. Let f = 114883 - 3786947/33. Let q = f + -127. Which is smaller: k or q?
k
Let s = 133 + -103. Let o be (103 - -11)/(s/(-4)). Let b = o - -87/10. Which is bigger: -8 or b?
b
Let r be 24/204 - (-98)/34. Suppose 9 = r*u, -5*n + 2*u = 7*u - 15. Which is bigger: n or -2/1353?
n
Let t(d) = -d**3 - 49*d**2 - 97*d - 131. Let q be t(-47). Suppose q*f - 66 = 43*f. Are f and 63/4 non-equal?
True
Let r be (-27720)/(-48480) + (-12)/21. Is r at least as big as -1?
True
Suppose -4*h - 4235 = 4*g - 1771, 3084 = -5*g - h. Let r = g + 610. Which is bigger: -10 or r?
r
Suppose 0 = -10*n + n + 1323. Suppose -s = -4*s + n. Suppose 5*y - s - 1 = 0. Which is greater: 12 or y?
12
Let a = 9.9 + -10. Let o = -0.097 + -72.903. Let v = o + 46. Is v greater than a?
False
Let w be (-47)/(-47) + -36 + -1. Suppose 3*x = -2*d - 120, d + 9 - 82 = 2*x. Which is smaller: w or x?
x
Let b = -5121 - -5126. Let u be -1 - (-2 - 0) - -5. Is u > b?
True
Let j = -11322 + 11321. Let g(b) = -b**3 - 3*b**2 + b + 4. Let q be g(-3). Is q at least j?
True
Let n be 7 - (-1)/5*-5. Let r be 25/(-105) + 2/n. Is -1/2 equal to r?
False
Let k = -6060 + 3765. Is k bigger than -2295?
False
Let z = -8 - -14. Suppose 5*w + 3*l = 45, -5*l = -5*w - 4*l + 25. Is w less than z?
False
Let j be (-258)/2 + (-48)/(-8). Let u be 18/12 + j/54. Is u at least -1?
True
Suppose -3*k = -7*k + 2*d + 6, -9 = 3*d. Let g = -18 - -21. Suppose 0 = g*u - 5*o + 2, 2*u - 2*o + 4 = -k*o. Which is smaller: u or 3?
u
Let u = -7 - 1. Let b = 158 - 156. Suppose -t - b*j - 11 = 0, 0*t - 3*t - 25 = -2*j. Which is bigger: u or t?
u
Let n = 2970 - 2555. Is 412 equal to n?
False
Let p = 10003 + -9724.04. Let x = 279 - p. Which is smaller: 1/3 or x?
x
Let m = -10121 - -10710.1. Let q = m + -591. Which is bigger: q or 4?
4
Let c = -225439 - -348239. Let w be c/(-672) + (-2)/(-3). Let g = w + 182. Which is bigger: 0 or g?
0
Let o = -95.52 + 0.52. Let i = 59 + o. Let k = i + 35.89. Is k greater than or equal to 2?
False
Suppose 0 = d - 252 - 89. Let k be -10 + 13 + -2 + (-6 - -4). Is k bigger than d?
False
Let t = 64106 + -64105.88. Let d(y) = y**3 - 5*y**2 - y + 7. Let w be d(5). Is t > w?
False
Let d = -138 + 201. Let k = d - 60. Which is bigger: k or 5?
5
Let u = 4490 - 4279. Which is smaller: 1894/9 or u?
1894/9
Let j = 1/305 - -303/610. Suppose 0 = -2*v - 2*v. Suppose 2*q - 20 - 2 = v. Is q < j?
False
Let j(o) = 5*o**2 + o. Let l 