) = 4*q + 23. Let j be p(-8). Let h = j + -35. Let l = -45 - h. Is l less than 2/61?
True
Let v(z) = -z**2 + 8*z - 2. Let r be v(6). Let o(c) = 3*c**2 + 4*c - 3. Let k be o(1). Suppose -k*q = -q - 36. Is r greater than q?
False
Let t be (-145)/7 - 2/7. Let r be -3 - 14*(-5)/(90/t). Let d = 24 - 43. Which is greater: r or d?
d
Suppose 8*v = 1632 + 2368. Let x be (-5 - v/(-12))*-9. Let n be 0 + 4/6 + 256/x. Is n != 1?
True
Suppose 0 = -124*n + 116*n. Does n = 20/233?
False
Let x = 75 - 76. Let a be ((-25)/5)/(x/15). Which is bigger: a or 73?
a
Let s = -65 - -51. Let z be (-88)/(-6)*(-72)/(-32). Let y(o) = -o**3 + 32*o**2 + 33*o - 12. Let u be y(z). Is s <= u?
True
Suppose -2*j + 2*h + 282 = 0, h - 411 = -0*j - 3*j. Let n = 140 - j. Let m be (n/(-36))/(2/(-8)). Which is smaller: 1 or m?
m
Let h be -6 + ((-9)/3 + 2)/(32/107488). Which is smaller: h or 6?
h
Let x = -35261 - -35261.1. Are 2/41145 and x unequal?
True
Let w = -0.03811 - -77.33811. Which is smaller: w or -0.2?
-0.2
Let l(j) = 4*j**2 + 3*j + 1. Let y be l(-1). Suppose -2*o = -4*a + 8, -3*o = -2*o - a + y. Is o != 35/33?
True
Let a(t) = -t + 10. Let g be a(-5). Let w = -18 - g. Let f = -32 - w. Are f and 9/7 equal?
False
Let t = -14/15105977801 - -367090373886795/7924913179938421. Let g = t + 2/4903. Is g <= 0?
False
Let g be 26*(10 - (425/225)/((-10)/(-45))). Let h = 2/209 + -432/1463. Is h at most g?
True
Suppose -5*y = -9*y + 60. Suppose 0 = -y*d + 10*d. Suppose d = 2*u - 31 + 1. Is 15 >= u?
True
Suppose -7*p - 1856 = 2785. Is -661 bigger than p?
True
Suppose 3*r = 3*h + 4422, 58*h + 2960 = 56*h - 2*r. Which is bigger: h or -1476?
-1476
Let w be (-1)/((-5)/120) - -4. Let v(b) = -79*b + 1. Let d be v(w). Let t = d - -15451/7. Is t != -3?
True
Let c = 4465/1152 + -35/9. Are -1 and c unequal?
True
Let a = 23929.1 + -23908.2. Let w be -2 - (2 + 0)/(-2). Which is smaller: a or w?
w
Let s = 1450 - 3767. Which is smaller: -2318 or s?
-2318
Let n = -16744.7 + 16745. Let y be 5/((-5)/(-2)) - -66. Is n != y?
True
Let o = -16 - -34. Let x(a) = 3*a + 34. Let d be x(-9). Let y(k) = -k**3 + 7*k**2 + 4*k - 9. Let f be y(d). Is o at most as big as f?
True
Let x = 510 - -23911. Are x and 24421 nonequal?
False
Let u be (8 - 0) + 98438/(-11869). Which is smaller: 1 or u?
u
Let l(m) = -m**3 + 8*m**2 + 20*m - 182. Let d be l(7). Suppose 9*j - 10 = d*j. Which is smaller: -1 or j?
-1
Let i(r) = -4*r**2 + 128*r + 885. Let d be i(-7). Are -1868/9 and d unequal?
True
Let n = -0.154 + -0.246. Is 18/7 <= n?
False
Let b = -16902 + 16904. Do b and 12/107 have the same value?
False
Let b = 9139 + -14119. Which is greater: b or -4978?
-4978
Let q be 498/96 + 28/(-1 + -3). Which is smaller: 16 or q?
q
Let l(v) = -v**3 + 4*v**2 + 8*v + 18. Let p = 4 + 2. Let f be l(p). Let u be (-4)/f - 1/(-3). Is 1/63 greater than or equal to u?
False
Suppose -22*w + 501 + 3921 = 0. Let i = w - 202. Let o = 59/12 + -5. Which is smaller: o or i?
i
Let q = 88 + -86. Suppose 3*p - q = -z, 0 = -z - 2*p + 4*p + 17. Is 11 at least z?
True
Let t(s) = 27640*s**2 - 34*s + 39. Let f be t(1). Is 27644 smaller than f?
True
Let q be 3 + 2 - (6260/1784 - 21/(-14)). Which is smaller: 1 or q?
q
Let k = -412 - -411. Let g = 42083/7 - 6023. Which is bigger: k or g?
k
Let r = 72 + -118. Let w be 12/(-7)*((-81)/18 - 6). Let x be 4 - 74/w - (-1652)/(-36). Does x = r?
True
Let n be 1978/(-1204) + (-2)/(-1 + -3). Let o = -5 - -5. Suppose o = f - 2*f. Which is smaller: n or f?
n
Let n = -27.356 - 9.644. Which is bigger: 35 or n?
35
Let f be (-13680)/(-589) + 7 - 9. Which is smaller: 20 or f?
20
Suppose 2*y = g + 15, -2*g + 3*y = 4 + 24. Let h be g + 27 - (0 - 0). Suppose -p - p = -2*x - 48, 4*x - h = 0. Is p less than or equal to 28?
True
Let q be 2 + (-1578)/(-15) + (-672)/(-840). Let a be (-213 - 1)*(-2)/4. Which is smaller: q or a?
a
Let f be (-2)/40*62867 + 12/48. Let y = -3156 - f. Which is smaller: y or -14?
-14
Let w be (-3 - 0) + 1 - 12/(-18)*-927. Which is greater: w or -2?
-2
Suppose 0 = 5*r - 2870 - 1925. Which is smaller: r or 961?
r
Let j = 28857.72 - 28858. Suppose 3*q - 5 = g, 6 - 16 = 5*g. Is j < q?
True
Suppose -6*z + z + u = -6, -3*z - 3*u = 0. Let g be ((-2)/38)/(z/3). Let t = 2418050 - 2418049. Which is bigger: t or g?
t
Suppose 0 = -3*n - 4*u - 1286, 0 = -3*n - 3*u - 649 - 635. Let t be 10/30 + 686/n + 1. Let i = 4/71 - t. Are i and 7 equal?
False
Let u = 501/5 + -6498/65. Is 1/59 <= u?
True
Suppose -4*v = -3*o - 1516, 2*o = 5*v - 0*o - 1902. Let t be (5/(-45))/(3 - v/(-4)). Let f = -3680/118791 - t. Which is smaller: 1 or f?
f
Suppose 15*a = -130 - 560. Is a > -502/11?
False
Suppose -117 = 8*r + 19. Let j be r/(632/104 - 6). Which is smaller: j or -222?
-222
Let g = -254/47 - -1591/564. Which is smaller: -2 or g?
g
Let b = 39959/3 - 13349. Suppose q - 2*q = 4, 3*o + 68 = 4*q. Is b > o?
False
Suppose 0 = -5*j - 5*c + 30, 4*c + 2 = j + c. Suppose 0 = -j*r + 3*m + 81, -m - 10 = 4*m. Which is smaller: 13 or r?
13
Let p(f) = 2*f**2 + 168 - 2*f - f - 175. Let n be p(4). Suppose -12 = -n*y + 15*y. Is y at most as big as -7?
False
Let t be 592/20 - ((-24)/15)/4. Let r be (-355)/t - 3 - 2/12. Let v(c) = -c - 15. Let b be v(r). Is b greater than -2/133?
True
Let g = 89192/3 - 30868. Is g not equal to -1138?
True
Let x = 194.262 - 194. Let r = x - -0.358. Which is smaller: r or 1?
r
Let b(x) = -1343*x - 4684. Let t be b(-3). Which is bigger: t or -5908/9?
t
Suppose -5 + 9 = 2*y. Let m be (13/y - 7)*-2. Is m > 2/11?
True
Suppose -d + 3 = -a, 4*a + 4*d + 3 = 23. Let m be -3 - -1 - (a + -20 + 6). Let t be m/132*(-32)/18. Are t and -1 equal?
False
Let g = 704471/1274 + -2640952659/4778774. Let l = -51/217 + g. Is 1 smaller than l?
False
Let q = 37326/11 + -39154/11. Is q at most -165?
True
Let b = 0.0495 - 0.0283. Let h = b - -1.9788. Which is smaller: 166 or h?
h
Suppose 344 + 268 = -12*v. Which is smaller: 1.6 or v?
v
Let r(x) = -14*x**2 + 23*x + 3. Let d be r(8). Let l = -67354/95 - d. Which is smaller: l or 0?
0
Let l = 157.039 - 157. Let p = -129 + 129.059. Let h = p - l. Which is smaller: h or 1?
h
Let j = 871.9 - 1043. Let o = j + 204. Let i = o - 33. Are -2/55 and i unequal?
True
Suppose 5*g - 120 = -5*p, 18*p - g - 30 = 16*p. Which is greater: 255/14 or p?
255/14
Suppose 7*f = 8*f + 6. Let u be ((-2)/f - 1)/((-122)/(-183)). Let n be 32/(-144) + (-104)/(-306). Is u at most n?
True
Suppose -4*p + 2*r + 280 = 0, -p + 67 + 21 = 4*r. Is p bigger than 427/6?
True
Let q = -2515 - -4497. Is q at least as big as 1?
True
Let g(d) = -44*d. Let x be g(-2). Let v be 1/2*x/204. Let r = v + 2/17. Which is greater: r or -11?
r
Let y = -589 + 131. Let x = -457.3 - y. Is x at least as big as 0.2?
True
Let l be (3*2/6)/((-7)/(-77)). Let h = l + -5. Suppose -4*i + 2 = -h*i. Which is smaller: 2/37 or i?
i
Let s = -664 - -611. Let b be 0 + (-55 - (0 + -1)). Is s less than or equal to b?
False
Let h = -394173849/14 - -35274692731/1253. Let j = -3086 - h. Is 0 smaller than j?
False
Let i be (-26)/6 + (-887060)/(-204680). Which is greater: 1/3 or i?
1/3
Let y = -18 + 16.25. Let g = y + -0.05. Let z = -122.1 - -121.9. Is g >= z?
False
Let j be (2/(-9))/(15 + (-1928)/128). Is -10 bigger than j?
False
Let o = -36557/3 + 12137. Let x = -55 + 6. Do x and o have different values?
True
Suppose 5*u = -11 - 4, 4*r - u - 491 = 0. Let p = -2200 + 2321. Which is smaller: r or p?
p
Let f = -5 + 10. Suppose f*d - b = 12 + 4, -2 = 2*b. Suppose -d*l + 4 = l. Which is smaller: 2 or l?
l
Let k(f) = f**3 + 18*f**2 - 19*f. Let s be k(-19). Suppose 5*r - r - 104 = 2*j, 5*j + 10 = s. Suppose -r = -2*h + 69. Is h not equal to 46?
True
Let x = -163/2 + 80. Let c = -693.25 + 572.25. Which is greater: c or x?
x
Let p = -13050 + 13050. Is -9248 > p?
False
Let v(w) = -5*w**3 + 29*w**2 - 2*w + 48. Let n be v(6). Is n at least as big as -1/8600?
True
Let j(x) = 1 + 70*x**3 + 3 - 6*x + 8*x**2 - 69*x**3. Let u be j(-8). Is 53 equal to u?
False
Let z(r) = 10*r**3 - 6*r**2 + 28*r + 10. Let b be z(3). Is b less than or equal to 308?
False
Suppose 0 = -4*b - t - 2023, 228 = -3*b + 2*t - 1292. Let k = b + 489. Let q = -0.1 + 0. Is k equal to q?
False
Let w = 3 + -9. Let x be 38 - (2/(-5) + w/10). Let v = x - 32. Which is smaller: 6 or v?
6
Suppose z = -y + 6*y - 28, -19 = -5*y - 2*z. Suppose -5*x 