7*r - 12, -3*r + z = 7. Let o(t) = t**3 + 4*t**2 - 5*t - 1. Let q be o(-5). Is q smaller than r?
False
Suppose 6*z = 3*z + 12. Let m = 3808 - 3788. Let b be (-1)/z*(-16)/m. Is 1 != b?
True
Let j be (((-21)/56)/(2/8))/((-210)/(-100)). Is j at most as big as 0.0294?
True
Let h(k) = 34*k - 1833. Let t be h(54). Which is smaller: -299 or t?
-299
Let a = -35825/3 - -12045. Is a >= 2/3?
True
Let u = -14517 - -14319. Which is smaller: u or 9?
u
Let t = -1235 + 533. Let h = t + 843. Which is bigger: h or -0.2?
h
Let d = -105.4 - -86. Let f = d - -8.4. Let u = 0.4 - 0.4. Which is smaller: u or f?
f
Let w = 0.08 + -0.45. Let m = 27.37 + w. Let r = m - 69. Is -1 != r?
True
Let s be (-240324)/(-120)*6/(-14). Let t = -855 - s. Is 4 bigger than t?
True
Let y = -2602 + 2603. Which is bigger: y or -3/1822?
y
Let l = -92 - -87. Let g(u) = u**3 + 9*u**2 + 19*u + 3. Let w be g(l). Suppose -w*n = -6*n. Which is greater: 3.7 or n?
3.7
Let i = -6176.3 + 6175. Which is smaller: 1.15 or i?
i
Let r be 105/(-91) + (-4)/(-26). Let u be (-29)/((-319)/726) + 2 + r. Is u greater than or equal to -0.1?
True
Let z = -41 + -25. Let a be 70/z - (-5 + 4). Let b(f) = -f - 8. Let p be b(-7). Is p < a?
True
Let v = 29 - 21. Suppose -4*b + v = -0*b. Suppose 10 = -2*d, 5*d + 17 = -7*g + 3*g. Is b at most as big as g?
True
Let y = 84.44 - 83. Let d = 3 + -3. Is d at least y?
False
Suppose 4*n = -3*w + 2*w - 15, n + 5 = w. Suppose 9*c - 25 = 4*c. Suppose 6*j - b = j - 123, -133 = c*j + 4*b. Which is smaller: j or w?
j
Suppose -5 = h - 2*z, 2*h - 7 - 1 = -2*z. Let u = 13 + -16. Let w be 96/105 + 1 + 1 + u. Is h greater than w?
True
Let q = -0.0716 - -0.109. Let y = q - 0.0174. Which is greater: y or 4/3?
4/3
Let d be (6772/(-208)*-2)/(4/(-48)). Let s = d - -781. Is s > 3?
False
Let f be 8085/(-6760) + 7/56 + 1. Which is greater: 1 or f?
1
Let o(b) = -4*b**2 + 7*b + 9. Let i be o(-2). Let g = 36 + i. Let r be 200/(-144)*12/g. Is -1 at least as big as r?
True
Let c be (-3)/(-9) - 3277/9813. Let x = c - 85032/22897. Let m = 2897/3 - 966. Is x greater than m?
False
Let z be (3/7)/1 + 9603/(-14). Let s = 671 + z. Suppose 21 = 2*x + 49. Is s smaller than x?
True
Let m = 10238 - 10199. Does m = -1/9?
False
Let z be ((-900)/(-1350))/(26/36510). Is 936 equal to z?
False
Let x be 9775/(-23919) - ((-315)/49 + 6). Which is bigger: x or 2?
2
Suppose 0 = -3*q - 9, 2*g = 2*q + q + 17. Suppose -2*c - 2*c - 24 = -4*d, 2*d = -g*c - 36. Let m = c - -19. Which is bigger: -2 or m?
m
Let x be (46/148)/(97/96). Let u be 250/148*416/260 + (-15)/5. Let k = x + u. Are k and -1 nonequal?
True
Let v = -104.83 - -41. Let r = -56.8 - v. Let a = -1.03 + r. Is -3 smaller than a?
True
Let i be 1732/40*(-8)/(8/(-2)). Let n = i - 86. Which is smaller: -23 or n?
-23
Let x(m) be the second derivative of -m**4/12 + 7*m**3/2 + 12*m**2 - m. Let g be x(22). Suppose 6*p = 5*p - g*p. Is -3/22 at least p?
False
Let z(m) = 4*m**3 + 4*m - 9. Let f be z(2). Let s = 10 - 12. Is s bigger than f?
False
Let p = 4251.4 - 4251. Is -35.5 > p?
False
Let b = 66 + -66.027. Let o = -0.223 + b. Let i = -1.25 - o. Do i and 19 have different values?
True
Suppose -4092*j - 28880 = -4082*j. Is -2888 at most j?
True
Suppose -151*c + 27*c - 359476 = 0. Which is smaller: c or -2898?
c
Let p(u) = u**2 + 7*u - 4. Let k be p(-9). Suppose k = 5*i + 39. Let f be 52/(-20) + (-3)/i. Which is greater: f or -4/3?
-4/3
Let k be (-504)/48*(-12 - 0). Which is smaller: k or 633/5?
k
Let l be -16 - (15 + -28) - 20/(-16). Is l at most -473?
False
Let i = 37.64 - 7.64. Let l = -4.3 - -4.6. Is i less than or equal to l?
False
Let h = -3625094/9079 - -2795/7. Which is bigger: h or 1?
1
Let c = -23.8 - -12.9. Let p = 11.2 + -0.1. Let y = p + c. Which is greater: y or -4?
y
Let s be ((-45)/8)/(25 - 411/(-12)). Which is bigger: s or 0.4?
0.4
Let m be 4/(-235)*120/384*-8. Let c be (-1)/(-4) + 1/(-4). Let s be c - 5/(50/(-4)). Are s and m non-equal?
True
Suppose 0 = -156*c + 80*c + 87*c + 1551. Is 2 at least as big as c?
True
Let h(g) = 9*g**2 - 28*g - 189. Let l be h(8). Is 1791/11 <= l?
True
Let o be (196/(-245))/(4/170) + -6. Let p(r) = -7*r + 5. Let g be p(-5). Let w = g + o. Is w greater than or equal to -3/7?
True
Let n = 1118 - 30166/27. Let p = 127/135 - n. Which is smaller: p or -1?
-1
Suppose 38 = -338*s + 342*s + v, -3*s + v = -32. Let y be 47/9 + 4/(-18). Suppose -3*w = -y*w + 20. Are s and w unequal?
False
Let a = 1926 + -2172. Is -261 bigger than a?
False
Let r = 27652 + -27992. Which is greater: -353 or r?
r
Let n = 40765954614924949 + -6246115661165680369715731/153218923. Let h = -3068/15091 + n. Let d = h - 6/143. Is d less than -0.3?
False
Let k = 2655 - 2955.8. Let d = -301 - k. Which is smaller: -51 or d?
-51
Let g = 28/3 - 9. Let l = 0.32 + 1.72. Let b = 0.04 - l. Which is bigger: g or b?
g
Let x be (20/(-18))/(65/(-585)). Suppose 3*b = 2*v - 19, 20 = 2*v + b - 5*b. Is v at most x?
True
Let x(w) = -w**3 + 16*w**2 - 14*w + 9. Let j be x(15). Let l be (23 + j)*(-2 - -5). Which is smaller: l or -0.1?
-0.1
Let g = -293 + 508. Let l = g + -883/4. Which is smaller: -5 or l?
l
Let p = 69 + -64. Suppose -2*g - 10 = 5*l, p*l + 8 + 2 = -3*g. Let j be (-24)/(-14) + l + (-38)/14. Do j and -1 have the same value?
False
Let g be (-12)/8 + 3/2. Let v(t) = t**3 + 10*t**2 - t + 6. Let k be v(-8). Let p be ((-282)/k - -2)/(11/11). Which is bigger: p or g?
p
Let h(w) = -5*w + 115. Let i be h(0). Let a = 106 - i. Let j(s) = -s + 7. Let m be j(8). Is a bigger than m?
False
Let c = 0.1145 + -0.091. Is c less than or equal to -0.2?
False
Suppose -4*z + 2*n = 1372, -5*n = -1344*z + 1345*z + 365. Which is smaller: -340 or z?
z
Let a = -1 + 1. Let m be 26/91 - 64/28. Let k be 78/(-6591)*1/(-2)*m. Is k smaller than a?
True
Let l(k) = 19*k - 30. Let u be l(2). Is 208/27 less than or equal to u?
True
Let f = -7838 + 7835. Which is smaller: f or -359?
-359
Let f be 2/6 - 346/(-6). Let h be (-6 - 1)*(-11285)/1295. Is f < h?
True
Let d = -6495497 + 84485626/13. Let h = -3399 + d. Do h and 2/3 have different values?
True
Let c be -25 + (-25789071)/(-1021356) - 2/8. Is c bigger than 1?
False
Let g be 2924 + 3 + (-36)/6. Let x be (-2)/8 + g/1380. Which is smaller: x or 2?
x
Suppose 3*i + 5 = -2*f - 8, -2*f + 22 = -4*i. Let n be 36/i*(-3)/(27/30). Suppose 0 = -5*x + 7*x - 44. Which is smaller: x or n?
x
Let y = -390 + 12481/32. Let n = y + -5/32. Suppose -3*z + 3 = -6*z. Which is smaller: n or z?
z
Let x = -53 - -41. Let j = -12 - x. Let f(c) = 4*c + 23. Let l be f(-10). Which is greater: j or l?
j
Let w = 3.5167 + -0.0467. Let h = w + -2.47. Which is smaller: h or -52?
-52
Suppose -65 = -5*o + 80. Suppose -o*n - 717 = 414. Is n >= -43?
True
Let y(l) = -61*l + 92. Let i be y(2). Let u be (412/10)/(i/(-150)). Which is smaller: 205 or u?
205
Let b = -20554 + 20736. Which is smaller: 180 or b?
180
Let y = 2 + -1. Let q = -19 - 177. Let x = q - -976/5. Which is smaller: x or y?
x
Let o = 1/426 + 47/142. Let a be (2/4)/(-8 - -3). Which is smaller: a or o?
a
Let z be 866135/(-1114) + (-3)/2. Are z and -780 unequal?
True
Let q be (-6)/4 + 10*10/200. Is q at most as big as 71/311?
True
Let f(i) = 2*i + 2. Let g be f(5). Suppose 99 = -3*v - m, -3*m - 14 + 5 = 0. Let c = -22 - v. Is g > c?
True
Let y be (1190/(-40))/17 - (-3)/(-3)*-2. Which is greater: -26/3 or y?
y
Let p = 407 - 402. Suppose -y = p*g - 83, -3*g - 63 = -y - 4*g. Which is smaller: 59 or y?
y
Let d = -65 - -67. Suppose 37 = t - 0*q - d*q, -2*q = t - 33. Suppose 4*i + t + 69 = 0. Which is smaller: -25 or i?
i
Let r = -604 - -605. Which is greater: r or 1/1492?
r
Let x(o) = o**2 - 33*o - 6. Let g be x(9). Let j = 222 + g. Which is smaller: 2/75 or j?
j
Suppose -14 = -2*o + 4. Let q be (-6)/15 + ((-20)/25)/(-2). Suppose q = 5*z - 3*g - 61, g + 2*g + 39 = 3*z. Which is smaller: z or o?
o
Let m = -272 - -315. Suppose -l = -2*c + 30, -6*c + m = -3*c - l. Which is bigger: 27/2 or c?
27/2
Let w be 4060/28224 - (8/14)/4. Which is bigger: w or 3?
3
Let b be 3*(-8 + (-3798)/(-351) - 6/39). Which is bigger: 380/47 or b?
380/47
Suppose 0 = t - 4*p + 735, -14*t - 744 = -13*t - p. Is -748 less than t?
True
Let w = 192 - 164. Suppose 0 = 4*v - w + 32. Which is greater: 10 or v?
10
Let w = 0.36 + -2.2. Let t = w + -0.36. Let u = -28.2 - t. Whic