-o*v + 393 = 105. Which is smaller: v or 1?
1
Let g = -2004 + 749. Is g > -1253?
False
Let v(f) = -16*f + 6. Let t be v(-1). Suppose 23 = -5*o + 3*g - 21, 0 = -2*o - g - t. Let z be (((-2)/1)/(-4))/((-2)/68). Is z != o?
True
Let g be (-5)/18 + (-2)/(-4) - (-12384)/10368. Which is smaller: 2 or g?
g
Let d(x) = 8*x**2 - 16*x - 74. Let v be d(-4). Let o = 1060/9 - v. Is -10/9 greater than or equal to o?
False
Let j = 272 - 56. Let k = -306 + j. Which is bigger: -0.1 or k?
-0.1
Let t(k) = k**3 + 0*k + 6*k**2 + 10 - 5*k + 16*k. Let i be t(-4). Let j be (0 + -2)*i*(-1)/4. Is 4/9 <= j?
False
Let t = -102943 + 6279993/61. Which is greater: t or -0.2?
t
Let z = 166/7 + -2846/133. Is -0.1 not equal to z?
True
Suppose 105*a = 112*a - 525. Suppose a = 11*o + 4*o. Are o and -11 equal?
False
Let h(q) = -5*q**2 - 9*q - 4. Let a be h(7). Let r(z) = -3*z**3 + 3*z**2 + 3*z - 312. Let g be r(0). Are a and g non-equal?
False
Let z be (4 + -4)*(3 - 5 - -3). Let p be ((-18)/440 + z)/((-72)/48). Is p >= -1?
True
Let d = -10317.74 + 10319. Is d greater than -0.09?
True
Let i be 588/(-657) - (-64)/72. Which is bigger: -1 or i?
i
Let l(k) = 2*k**3 - 2*k**2 + 2*k - 8. Let u be l(2). Suppose -5*m = 2*g - u, -3*m - g - 9 = -6*m. Which is greater: 5 or m?
5
Let g = 2736/11 + -13014/77. Let p = 633/14 - g. Is p not equal to -36?
True
Let l = -39 + 92. Let m = 14 - l. Let g = -39.1 - m. Which is smaller: -0.07 or g?
g
Suppose -672 = -6*i - 8*i. Let b(k) = 7*k + 49. Let s be b(0). Which is bigger: i or s?
s
Let a be 5*((-6)/(-5))/2. Suppose a*r = -r. Suppose 0 = 3*l - r - 3. Is 4/11 smaller than l?
True
Let t = -81080 - -326411/4. Which is smaller: t or 523?
t
Let m = -2 - -1.94. Let d(l) = l**3 + 9*l**2 + 5*l + 47. Let t be d(-9). Let r be ((-3)/((-3)/t))/2 + -4. Which is bigger: m or r?
m
Let l be (10*(-1084)/(-940))/2. Which is smaller: 5 or l?
5
Let t = -1968 - -1993. Is t <= 26?
True
Let t = 58 - 7. Let l = -51.3 + t. Is l less than or equal to -8?
False
Let g be 35/(735/266)*(-36)/22. Let a be -6 + -2 + 4 + -16. Do a and g have the same value?
False
Let g = 148327/65 - 2282. Let n = -1901 + 1901.1. Which is bigger: n or g?
n
Suppose -5*x - 148 - 2 = 0. Let o be (-42)/x*5 + -1 + -1. Suppose -o*d + 58 = 208. Which is smaller: d or -28?
d
Let y be 1/((-1)/(-5)) + 239. Let o be 2 + 3 - y/64. Are 2 and o unequal?
True
Let x(o) = 99*o**2 - 2. Let s be x(-1). Let p = -147 + 243. Which is bigger: s or p?
s
Let q = -109.03 + 105. Let g = q - -4. Let m = g + -0.17. Which is greater: -7 or m?
m
Let m(y) = -y**2 - 12*y + 987. Let q be m(26). Do q and 4.69 have the same value?
False
Let p be (-4)/12 + 28/3 + -1. Suppose 5*r = s - 11, 2*s + 2*r + 0*r + 14 = 0. Is s < p?
True
Suppose d - 4 = 5*l, 2*d + 7 = 3*l - 6. Let x(k) = -464*k - 2333. Let h be x(-5). Is d greater than or equal to h?
True
Let r = -728 - -727. Which is smaller: r or -3/553?
r
Let d be 1*10 - (2 - (2 + -3)). Let p be (-2 + -7)/(-6 + 7). Let s be p/(-12)*(-8)/(-18). Which is smaller: s or d?
s
Let b be (4 - 3)*(257 - 17828). Is b equal to -17569?
False
Let a = -152 - -156. Suppose -4*d + 2 = -u - 5, a*u = 4*d + 8. Is 35/8 at least d?
True
Let r = -669 - -670. Let m(l) = -3*l**2 + 3*l + 3. Let o be m(3). Let i be (-21)/(-28)*(-14)/o. Is i smaller than r?
True
Let b = -394 + 397. Suppose b*o = -2*z + 53, 13*o = 8*o - z + 100. Let y(m) = -22*m. Let t be y(-1). Do o and t have the same value?
False
Let b = 59777/2982 - -188/213. Is b > -3/5?
True
Let u = -452 - -443. Let o be 30/(-5)*15/u. Is 3/7 <= o?
True
Let n = 917 + -610. Let v = -352 + n. Which is bigger: -48 or v?
v
Suppose 5*l = -5*d + 200, 24 = l - 2*d - 1. Let f = l + -35. Let x = 2/1063 - -957/56339. Is f at least x?
False
Suppose 6*m = 3*m + 195. Suppose -3*k = -3*c + 2 + 4, 5*k = 3*c. Let u(y) = 11*y**2 - 11*y. Let q be u(k). Which is smaller: m or q?
m
Let y be 6/(-21) - 32/(-14). Let m be (-34)/(-14) - y/(42/9). Suppose -3 - 7 = m*t, -85 = 4*r + 5*t. Which is smaller: r or -17?
-17
Let n = -5286.1 + 5286. Is 1013 greater than n?
True
Let r = 13.4 - -192.6. Let z = 206.1 - r. Are -9 and z equal?
False
Let y = -0.441 - 217.559. Let q = y - -221. Which is greater: q or -26?
q
Suppose -17*x - 2*j - 40 = -16*x, -4*x = 2*j + 148. Which is smaller: x or -297/8?
-297/8
Let p = 246/43 - 7423/1290. Which is smaller: p or -9?
-9
Let c = 304 + -303. Let u(j) = 8*j**3 - j. Let v be u(c). Do 11 and v have the same value?
False
Let w(f) = f**2 - 15*f - 8316. Let m be w(-84). Which is smaller: m or -2/6461?
-2/6461
Let x = -23 - -25. Suppose -h + x = -2, -4*g + 776 = -4*h. Let v be (-4)/(-10) - g/(-55). Is v equal to -1/5?
False
Let l = -897028 + 517585158/577. Let b = 3 + -4. Which is smaller: b or l?
b
Let w be 15/(-18) - (-25 - 91/(-42)). Is w <= 5?
False
Suppose 0 = -5*o - 28*o - 5*o - 176016. Do 2/3 and o have different values?
True
Let s be (-83)/(-6) - (-169 + 182). Is -31/3 equal to s?
False
Let o(z) = 233*z + 122. Let s be o(17). Let t = -645119/158 + s. Which is greater: 1 or t?
1
Let l(s) = -s**3 - 9*s**2 - 3*s + 3. Let d be l(-9). Suppose -5*w - d = -0*w + 5*x, -16 = 3*w + 5*x. Let h(o) = 3*o + 21. Let y be h(w). Is 7/5 at least y?
True
Let i = 48 - 35. Suppose -i*f + 12*f - 30 = 0. Let r = f + 61/2. Which is bigger: 0.09 or r?
r
Suppose 540 = 13*l + 150. Let y(r) = 2*r**2 - 8*r - 9. Let p be y(7). Let w = l - p. Is -9 not equal to w?
True
Let s = -67080.79 + 66743. Let g = s + 337. Which is smaller: g or 0.02?
g
Let u(j) = -103*j - 416. Let v be u(-4). Is -221/70 not equal to v?
True
Let y(a) = 2*a**2 - 50*a + 22. Let j be y(17). Let o = 257 + j. Is o at least as big as 7?
True
Let p = -1356 + 904. Let r be p/(-84) + (-2)/(-6). Suppose k + 4*z = 13, 7 = 5*z - 3. Which is bigger: k or r?
r
Let n be (-7896)/(-16) + (-6)/4. Let o be n/5 + (-4)/10. Let t be (8/o)/((-2)/(-7)). Which is smaller: -2/7 or t?
-2/7
Let r be 1/(-222)*1*-1. Let z = -20513 + 20514. Is r > z?
False
Let l be ((-1602)/36)/(1 + 2/(-4)). Let x = 89 + l. Which is smaller: 2/429 or x?
x
Suppose 21*g = 59*g - 26752. Is 704 at most g?
True
Let n be (-14 + (2 - -1))/(-1). Let l(g) = -5*g + 10. Let x be l(n). Let o = x + 47. Which is smaller: o or 0.1?
0.1
Let i(o) = -2*o + 6. Let z be i(2). Suppose 3*d - 3*w - 3 = 15, 5*w + 18 = z*d. Suppose -14*a + d = -16*a. Which is smaller: 6 or a?
a
Suppose -174 = 4*n - 3*v, 66 + 56 = -3*n - 2*v. Let d be (-3 - -1) + n/(-6). Suppose d = -5*q + i, 2*i + 5 - 15 = q. Which is bigger: -1/5 or q?
q
Let s = 490.5 + -314.6. Let y = 176 - s. Are y and -1/10 equal?
False
Let r = -152755 + 1067231/7. Let x = r + 294. Is x > -34?
True
Let g = 6078 + -6077.89. Which is greater: g or 1.2?
1.2
Let b = -2.1 + 2. Let w = -559 + 459. Which is smaller: w or b?
w
Suppose 0 = -3*b + 154 - 130. Let u(q) = -13*q**3 - 2*q**2 - 1. Let y be u(2). Let d = 119 + y. Is d bigger than b?
False
Let w = -541.9 + -5.1. Are 3 and w equal?
False
Let n be 2/(-4)*(271 - -13). Suppose 7*c - 3*c = -568. Is c != n?
False
Let r = -25/34 + 5/238. Let x(v) = v**3 + 5*v**2 - 6*v. Let i be x(-6). Is i < r?
False
Suppose 2*n = -546 + 1776. Let c be 2/(-10) + n/75. Suppose 0 = -c*o - o - 108. Is 1 at most o?
False
Let z = -7270/11 - -21821/33. Let c be 18/15 + 1/(-5). Is c >= z?
True
Let k = 441.83 + -442. Let d = -2.5 - 0.5. Is d <= k?
True
Let i = 1964 + -1930.49. Let x = -34 + i. Let n = -2.49 - x. Which is greater: 0 or n?
0
Let n(l) be the second derivative of l**3/2 + 7*l**2/2 - 9*l. Let p be n(6). Let o be 672/1095 + (-15)/p. Do o and 1 have the same value?
False
Let o = -18.67 - 0.33. Let c = -723 - -1212. Let u = c - 491. Which is smaller: u or o?
o
Suppose 2*y - 16581 = -5*c, 0 = -23*y + 28*y - c - 41439. Let o = y - 41212/5. Which is bigger: o or 46?
46
Let g = 18.095 - 18. Let z = 10.542 - 10.747. Let j = z - g. Which is greater: -8 or j?
j
Let u = -498.3 + 492.3. Let k(w) be the third derivative of w**4/24 - 4*w**3/3 - 2*w**2. Let r be k(9). Is u >= r?
False
Let g(p) be the first derivative of 3*p**2 + 13*p - 276. Let z be -1 - -1 - (1 - 8). Let i be g(z). Which is bigger: i or 54?
i
Let g be (-1)/(-14)*-7*2. Are -10/5537 and g unequal?
True
Suppose -5*y = -h, 2*y - 3*y - 48 = 3*h. Let f be 1*((-1)/h)/((-16)/32). Is -23 not equal to f?
True
Let o be (18/42 - (75/21)/(-1))*-11. Is -38 big