
Let g(r) = -266*r. Let c be g(9). Let j be 2/12 - (-363)/c. Suppose -t - 16 = -11*t - 6*t. Which is greater: t or j?
t
Let v = 28593 + -257339/9. Which is smaller: 3241 or v?
v
Let v = -18.11 - -14.31. Is -1/31 at least as big as v?
True
Let n = -14 + 14.44. Let q = n - 0.438. Let o = 4.002 - q. Which is greater: -0.2 or o?
o
Let v = 5259 - 310252/59. Is v < -1?
False
Let w(o) = -o**2 + 66*o + 1009. Let i be w(-13). Is -375/22 >= i?
True
Let y be (-453)/10570*4/813. Which is greater: -1 or y?
y
Let l = -181 + 194.9. Let f = l + -13.9. Which is smaller: 129 or f?
f
Let r = 56617 + -9341842/165. Let n = -2/15 - r. Suppose 3*i = -j - 0*j - 4, -2*i + 16 = -4*j. Which is smaller: n or i?
i
Let c = -45 - -162. Let y be (150/(-20))/(c/12). Suppose -3*a = a. Is a less than or equal to y?
False
Let k = -347/4 + 1037/12. Let q = 35 + -27. Let v be 3/2*q/12. Is v >= k?
True
Let s = 201/267018968 + -7443451993411371/297726149320. Let k = 25001 + s. Is k >= -1?
True
Let f(g) be the third derivative of -g**5/30 - g**4/6 + 12*g**3 - 48*g**2. Let n be f(6). Are n and -22 non-equal?
True
Let x be (-3 - -2)/(32 + -33). Let w be 0 + 4444/(-1110) + 4. Is x greater than or equal to w?
True
Suppose 20*l + 459 = 11*l. Let z = 49 + l. Let n be (z*(-1)/(-2))/(1 - 2). Which is smaller: 1/14 or n?
1/14
Let o be (3 - (-2 + 4))*0. Let s(u) = -u**2 - u + 2. Let k be s(o). Let l be 3/k*(-2)/(-3). Is l at least as big as -1/4?
True
Let v = -358 - -241. Let z = -221 - v. Let a = 95 + z. Are -12 and a nonequal?
True
Let q(z) = 10*z + 15. Let j be q(-6). Let d be (-10920)/245 + 15/(-35). Is d < j?
False
Let f = -3.105 + -22.895. Let h = 0.07 - 0.17. Which is bigger: h or f?
h
Let l = -6 - -129. Let n = -125 + l. Which is smaller: -19 or n?
-19
Let g be ((-16)/(-32))/((-10)/8). Let l = -98.019 + 98. Is l > g?
True
Let r(z) = 5*z**2 + 12*z - 1. Let u be r(5). Let s = -2209/12 + u. Which is smaller: s or 1?
s
Let q be -1 - (-8)/10 - (-43764)/420. Is 122 greater than q?
True
Let d = 443 - 461.3. Let n = d + 18.7. Let p = -9.1 + 1.1. Which is greater: p or n?
n
Let i = 10.63 + -0.63. Let d = i - 57. Let u = d - -76. Is 1 not equal to u?
True
Let b(f) = 10 - 29*f**2 + 9*f - 23*f**2 + 61*f**2 - f**3. Suppose 2*l + l - 14 = -2*a, -5*a + 54 = -2*l. Let m be b(a). Is -1/10 < m?
True
Let p = -237 - -237.288. Let t = p - 20.288. Which is greater: -1/4 or t?
-1/4
Let j be (-101)/3*(-13 - -7). Suppose 0*o - 2*a = 3*o - j, -4*a + 148 = 2*o. Let z = 1131 + -1066. Is o != z?
True
Let h = 0.061 - -30.939. Let u = 0.02859 - 31.05859. Let i = u + h. Is -1 equal to i?
False
Let q(c) = c**3 - 5*c**2 - 4*c - 14. Let g be q(6). Let l be g - 4 - (117 + 4). Which is bigger: -126 or l?
-126
Let t = -10488 + 10452. Which is smaller: 2/5 or t?
t
Let q = 664 - 348. Let n = q - 176. Is n greater than or equal to 140?
True
Suppose -15*j - 24056 = -162*j + 50473. Which is bigger: j or 3552/7?
3552/7
Let a = 2219 - 37753/17. Let l = 133 - 214. Let g = l - -79. Does a = g?
False
Let j = -701.9 - -697. Let r = -18.5 + 9.6. Let l = r - j. Which is greater: l or 5?
5
Suppose 0 = 6*a + 7*a - 6201. Let s = -378 + a. Which is smaller: 100 or s?
s
Let b = -6014 + 6008. Let d = 44494/9 + -4950. Are b and d equal?
False
Let b be 226/12 + 1/2. Let d(i) = 154*i - 135. Let j be d(1). Let a = b - j. Which is smaller: 3 or a?
a
Suppose 0 = -8*d - 19*d - 451 + 856. Is d >= 35?
False
Suppose 3*i = -3*o + 8*o, 0 = -4*o - 2*i. Let t be 20594/6860 + 6/(-2). Let d = 81/5390 - t. Is o less than d?
True
Suppose -4*x = 5*t + 458, 0 = -28*t + 25*t - 2*x - 276. Which is smaller: t or -105?
-105
Let c = 203 + -203. Let k(b) = -4*b - 143. Let q be k(c). Which is bigger: -142 or q?
-142
Let d = 27719927 + -1358101144/49. Let n = d + -3577. Which is smaller: 0.2 or n?
n
Let r = -5970 - -5936. Is r smaller than 38?
True
Suppose 0 = -18*s + 32 + 22. Suppose 4*p + 136 = 2*l, -s*l + 220 = -0*l + 2*p. Is l at most 72?
True
Suppose 3*b = 6*b - 39. Suppose -27*y = -b*y - 14. Is -2/155 >= y?
False
Let w = -28/17541 - -158150/165008187. Which is bigger: w or -1?
w
Suppose -40 = -0*t - 2*t. Suppose 6372 = 150*n + 27*n. Suppose -4*g + n = -t. Is 15 at least g?
True
Let o = -92 + 95. Let m(r) = -361*r + 5. Let j be m(o). Let a be j/(-11)*(1 + 0). Is 97 > a?
False
Let q = -392 + 396. Let p be (-78)/21 + q - (-516)/(-42). Which is bigger: p or -2?
-2
Let q = 3001515/69863 + -57/3677. Which is bigger: 44 or q?
44
Let j(v) = -3 + 34*v + 2*v**3 + 8 - 29*v - 9*v**2 - 8. Let y be j(4). Which is smaller: y or 3/41?
3/41
Let j be (3/6)/(2/16). Let f be (-1)/j - (-17)/(-204). Let w be -2 + 0 + 2/6. Which is bigger: w or f?
f
Suppose -g = 1, 165*g + 373 = c + 164*g. Which is smaller: c or 381?
c
Let n = 550 + -510. Suppose 3*z + 703 = n*z. Do 15 and z have the same value?
False
Let j be (1448/32*6)/((-30)/8). Suppose -5*x = 2*o - 2*x + 144, 0 = -3*o - 5*x - 216. Which is smaller: j or o?
j
Let f(p) = -52*p**2 + 282*p + 873. Let s be f(-3). Do s and -447 have the same value?
False
Let n = 2.72 + -3.25. Let r = 0.23 + n. Let x = 4.1 + 0.9. Which is smaller: r or x?
r
Let n = -10.2174 - -9.917. Do n and 2 have the same value?
False
Let k(w) = 2*w**2 - 2*w + 3. Let t be k(1). Suppose 0 = 4*g + 16, -2*h - 3*h + t*g - 938 = 0. Which is bigger: -191 or h?
h
Let k = 27 - 25. Let h be k/(-1) - (-2 + -17). Let g(v) = -v + 22. Let p be g(h). Is -3 smaller than p?
True
Let v be (-17 - -19 - 7/3)*-36690. Is v less than or equal to 0?
False
Let i(q) = -17*q + 43. Let w be i(2). Suppose -w*h + 11*h + 6 = 3*g, -3*h - 3*g = 9. Do -2.3 and h have different values?
True
Let j = -40481.6 - -40482. Which is smaller: 1/1273 or j?
1/1273
Suppose -5*w = -o + 5960, 4*w - 3048 = -3028. Is 5984 less than o?
True
Let g(m) = m**2 + 11*m - 12. Let l be g(-8). Let t be (-3)/(-4) + 9 + 327/l. Which is greater: 11 or t?
11
Let q(a) = 30*a - 3013. Let s be q(100). Suppose -c - 1 = 4*h - 12, -c = -3. Suppose 10 = -t - h. Which is smaller: t or s?
s
Let z(k) = k + 36. Let y be z(-6). Suppose 554*m = 557*m - y. Which is bigger: m or -0.1?
m
Let c = 21407 - 17777. Is 0.4 greater than or equal to c?
False
Let h = -216 + 302. Let o be 1434/580 - 215/h. Is -1 at most o?
True
Let y be 70/(-84) - 375/(-18). Are 14/11 and y unequal?
True
Let n be (36/(-536))/(0 - -1). Let m(w) = -325*w + 649. Let x be m(2). Which is greater: x or n?
n
Let d = 76.061 - 76. Let o = 0.139 + d. Suppose -3*s + 42 = -6*s. Is s > o?
False
Let j = 17879 + -17900. Are j and -443 non-equal?
True
Let t = 0.1381 + -0.498. Are t and -1 equal?
False
Suppose 0 = -0*n - 5*n + 2*i + 28, -5*i = 20. Let k = 262 - 232. Suppose 6 = n*g - k. Is g greater than 7?
True
Suppose -225*p + 1680 = -217*p. Let h be (-623)/p*2 - (-2 - 4). Let q = 13 + -8. Is q bigger than h?
True
Let t = 14194.9 + -14195. Which is greater: -24/109 or t?
t
Let x = 20374/13 - 1567. Is 14 greater than or equal to x?
True
Suppose 4*s - 46 = -q, 3*q + s = 104 + 12. Let f = -6375 + 6412. Is q less than f?
False
Suppose 66*y = 63*y + 60. Let k = 359 + -254. Suppose 2*u = -3*u + k. Is y >= u?
False
Let i = 389 + 664. Which is smaller: 1052 or i?
1052
Let i(c) = 3*c + 72. Let q be i(-23). Suppose 23*d + 20 = q*d. Is 2/335 bigger than d?
True
Let u = -133 - -136. Suppose u*h - 4*d = -59, -3 = -4*d + 5. Which is smaller: -63/4 or h?
h
Let c = 502.4 - 502.3. Which is smaller: c or -1414?
-1414
Let k(w) = -154*w**2 + 936*w - 935. Let r be k(1). Is -131 less than or equal to r?
False
Let t(b) = -19*b**2 + 130*b + 21. Let y be t(7). Is y > -2/5361?
True
Let u = -7119 + 7085. Which is bigger: -46 or u?
u
Suppose 0 = -5*k - 3*g + 627, 14*k + 389 = 17*k + 5*g. Which is greater: k or 118?
k
Let j be 670356/335205 - 3*(8/12 + 0). Which is smaller: 1 or j?
j
Let p be (7 - (-329)/(-14))*-262. Is p <= 21616/5?
True
Let l be (-4*8/(-10))/(126/8505). Let w = l + -216. Is w greater than or equal to 3/29?
False
Let v = -36 - -136. Suppose -14*l + 10*l + v = 0. Let x = l - 24. Which is greater: x or 3?
3
Suppose 2*d - 4*i = -6*i - 166, 0 = 2*d - 3*i + 171. Let f be ((-112)/d)/(8/6). Which is smaller: f or -270?
-270
Let w be (6858/(-21))/(27/882*77). Is w >= -138?
False
Let c = 1130 - 1128. Suppose 4*q - 4*x - 36 = 0, -3*q + x = -3*x - 31. Let i be (-4)/(5/(q/(-6))). Do c and i have the same