*2 + 20*a + 40. Let x be j(-9). Suppose x*r + 125 = -7. Which is smaller: -5 or r?
r
Let a = 20 - 18. Let f(s) = -4*s - 2 + 1 + 8*s**2 + 5 - 9*s**a. Let y be f(-5). Is y equal to -2?
False
Let h(i) = i + 1. Let m be h(-1). Let o be 14/(-63)*(-72)/(-129). Let y = o + 1838/16899. Is m less than or equal to y?
False
Let w be (12645/(-525) - -24)/((-6)/91). Let g = -1 + 3. Is w <= g?
True
Let a = -1570 + 1534.61. Let f = -35 - a. Let x = 1.39 - f. Is x < 2/55?
False
Let u = 168.599 - -0.401. Let t = 141.2 - u. Let y = 28 + t. Is y not equal to -0.08?
True
Let h = -0.1606 - 0.6864. Let f = 0.79 + h. Let c = -0.001 - f. Which is smaller: -0.1 or c?
-0.1
Suppose 5*z - 20 = -5*j, -3*j - j = -5*z - 43. Let i(m) = -4*m**2 - m + 2. Let l be i(-2). Let y be l*1*1/(-2). Which is smaller: y or j?
y
Let h = 129 - 132. Let l be (-27)/(-15)*(-10)/(300/(-10)). Is l at most as big as h?
False
Suppose 20*x + 325 = 225. Suppose -5*t + 2*z + z - 19 = 0, -2 = -5*t - 4*z. Is x > t?
False
Let j = 19.721 - -0.079. Let v = j + -19.812. Which is smaller: -1/3 or v?
-1/3
Suppose -4*k - 26 + 2 = 0. Let z = -5623.26 - -5623.16. Which is bigger: z or k?
z
Let c = -0.62 - 28.58. Let o = c - -31.2. Which is bigger: 6 or o?
6
Let r = -34/15 + 89/48. Let s = -13/80 - r. Which is smaller: s or 0.4?
s
Let k = 26.9 + -28. Let i = -0.1 - k. Let x be (-405)/180 + 1/28*79. Does i = x?
False
Suppose 54 - 19 = 3*a - 2*v, 2*v + 53 = 5*a. Let y be (-2)/a*9714*(-3)/24. Let c = y - 266. Which is smaller: 4 or c?
c
Let c = -201 - -198.98. Let f = 38.98 - c. Let d(r) = -r - 3. Let s be d(-4). Which is greater: f or s?
f
Suppose -4*o + 5*q + 707 = -2*o, 2*q - 1450 = -4*o. Let z = -364 + o. Is -13 at least z?
False
Suppose 0 = -80*d + 54*d + 2860. Let u = 358 + -250. Which is smaller: d or u?
u
Suppose 2*i - 7 = -3*d, -48*i = -45*i + 3*d - 6. Are -1/23180 and i equal?
False
Let u = 37.9 - 183.9. Let d = 76 + u. Which is smaller: d or -2?
d
Let o be ((-6)/9)/((-10)/(-195)). Is o bigger than -380/33?
False
Let k = 2897 + -2875. Is k greater than or equal to 21?
True
Let h = 1.22 - -76.78. Is -1/3 != h?
True
Suppose 4*y + 3*k + 49 = -87, y = 5*k - 57. Let a(c) = -2*c**2 - 2*c + 3. Let w be a(4). Is w at least y?
True
Let m = 514 - 286. Let v = m + -221.5. Is 2/5 equal to v?
False
Let h = -2500 - -2129. Which is greater: h or -1487/4?
h
Suppose 15*z + 34*z - 200 = 45. Let r = 8 - 12. Let u be 19 + (3 - -9)/r. Is u < z?
False
Let x(z) = 2*z**2 + 8*z - 54. Let q be x(5). Suppose 0 = -m + 3, k - 8*m + 4*m - 25 = 0. Are k and q equal?
False
Let v = -0.8511 - -0.859. Let o = 2.1879 - v. Which is smaller: o or 0.2?
0.2
Let f(c) be the second derivative of 37*c**3/6 + 74*c**2 + 63*c. Let w be f(-4). Is 11/15 > w?
True
Let d = -252.48 - -276.5. Let t = d - 24. Let f = -10 - -10.1. Which is smaller: t or f?
t
Suppose 0 = 4*n + 5*g - 177 + 36, -5*n + 198 = -g. Let x = n - 106. Are x and -67 equal?
True
Let v = -0.235 + 104.235. Let w = v + -363. Which is smaller: w or 0?
w
Let t(i) = 2*i**3 + 22*i**2 + 71*i - 23. Let w be t(-7). Which is smaller: 43 or w?
w
Let x = 5427 - 6421. Is -994 at most x?
True
Let v = 1051561/338675 - -6/17825. Is 3 > v?
False
Let k = -97 - -97.103. Let a = -31374 - -31375. Do k and a have different values?
True
Suppose 15*p + 103659 + 71217 = 93*p. Is 2237 less than p?
True
Suppose -277*o = -315*o + 1254. Is 162/5 < o?
True
Let h = 6 + 2. Let i be 2/1 + -1 + h. Let m be 12/26*2/(-6)*-1. Is m <= i?
True
Let z be 6/10 - 198/(-45). Suppose s - 4*n - 6 = -6*n, -s = -z*n + 22. Which is smaller: -9/11 or s?
s
Let t = -17 - -22. Suppose 2*s = 4*p + 8, -3*s + t*s - p - 5 = 0. Suppose 8 = s*n, i - 1 = -n + 5. Are i and 2/11 nonequal?
True
Let t = 122 + -103. Let h = t + -32. Which is greater: -14 or h?
h
Suppose -86756 + 765740 = 456*b. Is 1490 bigger than b?
True
Suppose -5*x + 1612 + 3133 = 0. Let h = -3/23851255 + -3598915866473/3792349545. Let s = x + h. Which is greater: s or 1?
1
Let k = 0.03372 - -17.96628. Which is smaller: k or -2/9?
-2/9
Let k be (-12)/15*(-11)/17006. Is k at most as big as -1?
False
Suppose 2*m - 3*v = 852, -7*m + 11*m + 5*v - 1660 = 0. Are m and 421 nonequal?
True
Suppose 3*r + c - 767 = 0, 4*c + 251 = r + 2*c. Let n be (1/(-3))/(r/(-65) - -4). Let s = -5 + 1. Which is smaller: s or n?
n
Suppose 581 = 21*j - 14*j. Let w = 105 - j. Let o be 2/(-2) + 25 - 1. Are o and w non-equal?
True
Let b = -2013 + 2011.1. Which is greater: b or 24?
24
Suppose 4*s - 2*a = 2*s - 4908, -5*s - 3*a = 12294. Is s < -2457?
False
Let n be -1 - -1 - 204/(-306)*(-5751)/2. Are n and -1910 equal?
False
Let i = 10622 - 13434. Which is greater: i or -2813?
i
Let n be (-12)/(-30) - (-452)/170. Let j = -17/991905 - -391694479/129278285. Let y = n - j. Is y greater than or equal to 0?
True
Let y = -4360 + 4361. Is 42/181 > y?
False
Let s(o) be the first derivative of -o**3/3 + 5*o**2/2 - 168*o - 15. Let v be s(0). Does v = -168?
True
Let q = -550 + 559. Suppose 171 = q*p + 45. Is p at least as big as 67/5?
True
Let u = 2190 + -2190. Let l = -130/17 - -4827/629. Which is smaller: u or l?
u
Let s(o) = -54*o - 6899. Let u be s(-115). Which is smaller: 4 or u?
u
Let m(c) = -c**3 - 27*c**2 + 140*c - 425. Let d be m(-40). Is d smaller than 14776?
True
Let h be ((-1)/((-10)/(-1113)))/(13/(-156)). Is h at least as big as 1337?
False
Let c = -29/41 + 3237/287. Let t = c - 8. Is 4 at most t?
False
Let y(p) = 6*p**2 + 90*p + 2. Let h be y(20). Is 4201 >= h?
False
Suppose -6*n = 45 + 39. Let x be (-406)/(-49) + 4/n. Let h be (-464)/(-168) + x/(-6). Is -2/11 at most h?
True
Let t = 15.9 + -16. Let r = 19360 + -19348. Is t bigger than r?
False
Let o be ((-176)/33)/(2/339). Are o and -902 equal?
False
Suppose 7*z = 93 + 40. Suppose -2*n + z = -25. Let m(j) = 3*j - 51. Let x be m(n). Is -2 bigger than x?
False
Suppose 0 = -3*y + 42 + 39. Suppose -10*h = -7*h - y. Suppose 3*k + h = -0*k. Is -3 bigger than k?
False
Let k = -84415 - -760663/9. Are k and -1 non-equal?
True
Let a be (-11289817)/1359 - (-4)/9. Is a > -8307?
False
Suppose 13*d + 60 = -5. Let n be (2955/(-9))/d + 5/15. Which is smaller: 64 or n?
64
Let p = -506 + 506. Suppose p*d - d + 2*x = 68, 0 = -5*d - x - 351. Is d not equal to -70?
False
Suppose 4*f - 32 = -0*f. Let d be -10 - ((-22)/2 - 11). Suppose f*u = d*u. Which is smaller: u or -9/7?
-9/7
Let y(o) = -6*o**2 + 2*o - 7. Let w be y(3). Let l = 30 + w. Let g be 75/l + (-22)/(-14). Which is smaller: 0 or g?
g
Let g = -10471 - -9784. Which is smaller: g or -3/4?
g
Let d = 2964 - 2976. Which is smaller: d or -0.166?
d
Let a(h) = -7*h + 67. Suppose 4*l - 4*i + 16 = 0, i - 2 + 0 = 0. Let q(o) = 6*o - 66. Let s(g) = l*a(g) - 3*q(g). Let k be s(15). Which is greater: 17/4 or k?
17/4
Let c = -33481/2 + 234371/14. Let u = -0.01 - -3.01. Which is greater: c or u?
u
Let b(d) = 19*d**2 - 4*d + 16. Let p be b(4). Suppose p = 10*z - 316. Are z and 60 equal?
False
Let j = 3199/16683 - -8/249. Let k = -409 + 408. Is j greater than or equal to k?
True
Let u be 5/(-6) - -1 - 65/(-6). Suppose -u*g + 13*g + 250 = 0. Is -125 >= g?
True
Suppose -2*u - 2*g + 738 = 0, 0*g + 5*g = -15. Let h = -575 + u. Is h bigger than 0?
False
Let v = 967/903 - 222/301. Which is bigger: v or 1.3455?
1.3455
Let j = -127 - -88. Let d = 40 + j. Is 46 not equal to d?
True
Suppose -1358 = -4*s + 2*m, 3*s + 1352 = 7*s + 4*m. Let g = s - 155. Let b = -3129/17 + g. Is b smaller than -1?
False
Let b be (0 - -2) + (-347)/5. Let j = b + 67. Let z = 7/2 + -37/10. Which is smaller: z or j?
j
Let b be -4 + (4 + -5)*-6. Let j be b/(-8) + 15/44. Let u = 0.05 + 0.05. Are j and u unequal?
True
Let j = -33059.94 - -33060. Let l = 3 - 1. Let a = l - 0. Is a greater than j?
True
Let s = 180 - 419. Let k = -338 - -98. Do k and s have different values?
True
Suppose -5*t - 1 + 106 = 0. Suppose -t = -2*c - 3*o, 4*c - 3*c - 13 = -o. Which is bigger: -0.5 or c?
c
Let j(h) = h**2 - 4*h + 2. Let r = 251 - 254. Let c be j(r). Which is smaller: 24 or c?
c
Let o(a) = -29*a + 1212. Let c be o(42). Let l = -1317 + 5241/4. Is l not equal to c?
True
Suppose -9*k + 14*k - 5 = 0. Let a = 20 - 35. Let g be -1 + 3*k*a/(-9). Which is greater: 3 or g?
g
Suppose 2*f - 10 = 4*m, 2*m + 4*f - 26 = -6. Suppose m*t + 15 = 15*t. Which is smaller: t or 22/19?
t
Let g(n) = 43*n