be t/(-90)*8 - 2/6. Is 19 equal to h?
False
Let g(u) = -2*u**2 - 32*u - 2. Let x be g(-16). Let m(h) = 4*h**2 + 13*h + 11. Let i be m(x). Which is greater: 21/31 or i?
i
Let n be 8/(-40) + -7 + (-632)/40. Which is smaller: n or -86?
-86
Let w = 0.128 + -0.107. Let x = 1197 + -4785/4. Which is greater: x or w?
x
Let y = 0.4 - 197.4. Let v = 195 + y. Which is bigger: v or -1/80?
-1/80
Let w be (4/8*(7 + -7))/(-3). Suppose 5*f - 3 - 2 = w. Is f bigger than 12?
False
Let c = -1839.5 + 1840. Which is bigger: c or 320?
320
Let a = -113 + 298. Let y = a + -183. Which is bigger: y or -0.61?
y
Let t(v) = -v**2 - 37*v + 214. Let x be t(-42). Suppose -5*d + x*p - 962 + 203 = 0, 3*d = -3*p - 477. Is -155 >= d?
True
Suppose -3*m + 0*m - 2 = -h, 2*m + 5*h + 24 = 0. Let p be m/(-2186) - 0/(4/(-2)). Let z = 2165/22953 + p. Is -1 <= z?
True
Let o = 3678/25795 + 1/3685. Do o and -380 have different values?
True
Let a = -2685 + 2684.74. Which is smaller: 53 or a?
a
Let i = 98834/5405 - -362/235. Which is smaller: 20 or i?
i
Let y be (0 - -10) + (-6)/(100440/167391). Is y not equal to -1?
True
Suppose 18 = 5*h - 4*m, -5*h + 9 + 15 = -2*m. Let z be 5 - (-111 - (h - 5)). Let u be 84*((-4)/(-18) - z/162). Are -41 and u equal?
False
Let c = -6578 - -6581. Let g = -158/3 + 50. Is c equal to g?
False
Let p = -3410 - -3436. Which is smaller: p or 14?
14
Suppose 7*n + 3*n = 240. Suppose -n = y - 21. Let v = 0.2 - -2.8. Which is smaller: y or v?
y
Suppose -8*l + 10*l = -1876. Let f = l + 875. Do -58 and f have the same value?
False
Suppose 0 = -4*m - 331 + 1119. Let x = 14776/75 - m. Which is greater: 0 or x?
x
Let z = -3824 - -3825. Which is smaller: -145 or z?
-145
Suppose 1 = 2*s - 1. Let k be (-8)/204*6*s. Let i = -6808.7 + 6809.7. Is k at least i?
False
Suppose c + 3*g + 5 = 0, -4 = -0*c + c + 4*g. Let w(j) = j**2 + 5*j - 20. Let q be w(c). Let m be 2/(-3*q/(-36)). Which is bigger: 3 or m?
m
Let s be (-1738)/(-4)*(430/15 - 27). Which is greater: 725 or s?
725
Let x = 0.02473 - -1.97527. Which is smaller: x or 1.4?
1.4
Suppose -w = 4*i + 2, -w + 6 = -184*i + 180*i. Is i less than or equal to 2/2431?
True
Let g = 38 + 32. Let p = 3364 - 23059/7. Let j = g - p. Which is smaller: 1 or j?
j
Let g = 3844/3 - 1282. Let r = -2.1 - 0.1. Let j = -9.8 + r. Which is smaller: g or j?
j
Let f be (-6)/(-57) - 874755/855. Which is bigger: f or -1024?
f
Suppose 0 = 6*y + 20 + 10. Let r be (-100)/(-30)*((3 - 1) + y). Which is greater: -9 or r?
-9
Suppose 39 - 295 = -32*u. Suppose -34 + 42 = u*c. Let z = 4313/8 - 538. Is z greater than or equal to c?
True
Let o = 14 - 13. Let w = -13.5 + -8.5. Let i = w - -3. Is o bigger than i?
True
Suppose 4*v - 2*w + 2 = 0, 3*v - 4*v - 4*w - 14 = 0. Suppose 1 = -3*q + 55. Let k = 19 - q. Is v at least as big as k?
False
Let c = 18191 - 3619936/199. Is -1 smaller than c?
True
Let y = 3668 + -1082058/295. Let z(n) be the first derivative of n**3/3 - 11*n**2/2 - n - 11. Let v be z(11). Which is smaller: v or y?
v
Let x = 1118 - 1118. Is 7/23 at least x?
True
Suppose -210 = -101*v + 47*v + 51*v. Is v greater than or equal to 631/9?
False
Let t = -2.4 - 8.8. Let q = 11.246 + t. Is 0 at most as big as q?
True
Let l be (-12)/16*2660164/340. Let o = -5868 - l. Let n = 1339/2380 + o. Which is smaller: n or 1?
n
Suppose -7 - 4 = -5*n + 2*d, 9 = -3*d. Suppose 9*p - 11*p + 8 = 0. Which is smaller: n or p?
n
Let x be (-4)/12 + 30/9 + 1. Suppose x*v + m + m = 34, 39 = 4*v + m. Is 5 > v?
False
Suppose -509*i + 649*i - 140 = 0. Which is smaller: -1/18734 or i?
-1/18734
Let o(b) = b**3 - 20*b**2 + 2*b - 35. Let y be o(20). Suppose -4*k - 8 = -4*c - 8*k, -3*c + y*k + 46 = 0. Which is bigger: c or 1/26?
c
Let o = 72 - 54. Suppose 2*x - o - 20 = -2*s, -s = -4*x + 6. Let r = 13 - s. Which is smaller: r or 4/29?
r
Let k be (-1)/7*(10 + -8). Let g = 53 + -80. Let z = g - -27.13. Which is bigger: k or z?
z
Suppose 0*r + 3*r + 10*r = -14*r. Let k be (4/2)/(8/(-892)). Let z be (-225)/k - (5 - 4). Which is greater: z or r?
z
Let x(l) = l**2 + 7*l - 6. Let c be x(-7). Let q be (c/(-10))/((-81)/810). Which is smaller: q or 11?
q
Let x be (2 + 45/(-24))/(5/40). Let z be ((-3)/3 + 0)*1. Let b be z/((-462)/(-466)) + 1. Which is bigger: b or x?
x
Let s be (-14*(-11)/11704)/(393/24). Are s and -1 nonequal?
True
Let w be 3 + 0/(6/3). Suppose -w + 18 = 5*r. Let s be -3*((-1104)/80 + 15 - (-1002)/(-585)). Which is smaller: s or r?
s
Let i = 7.848 - 7.9. Let b = -15.948 + i. Let x = -15 - b. Is x at least -0.04?
True
Let x(u) = u**3 - 22*u**2 + 57*u + 55. Let q be x(18). Let l be (2253/21)/((-2)/(-4)). Let h = l + q. Are h and -1.1 nonequal?
True
Suppose -5*a + 10 = 2*k, -2*a = -5*k - 3*a - 21. Let y be 76/(-95) - 29/k. Let u = 7 - y. Which is bigger: 1 or u?
u
Suppose -4104*m = -4106*m + 6. Suppose f = -f + 6. Is f at most as big as m?
True
Let a be (-2)/2*(16/(-8) + -489). Let k = a + -491. Which is bigger: -2/203 or k?
k
Suppose -2586*p + 2574*p = -4272. Let m be 474/(-12)*-9 + (-6)/(-4). Which is bigger: m or p?
m
Suppose -10 + 5 = 5*g. Let i = 137 + -136.423. Let u = -0.077 + i. Which is bigger: u or g?
u
Suppose 4*k - 84 - 36 = 0. Suppose 448*r = 465*r - 408. Is r greater than k?
False
Suppose 71*x - 78*x + 140 = 0. Let p be 20*((-10)/x)/((-7)/6). Is p at least 10?
False
Suppose -k = -2*o - 1167, 3*k - 733 = o + 2743. Is k smaller than 1156?
False
Let w = 348 + -321. Let u(k) = -k + 26. Let v be u(w). Let x = -265/6 + 44243/1002. Is x less than or equal to v?
False
Let k = -137 + 64. Let r = 83 + k. Let h be ((5 - r)/(-10))/(3/12). Which is smaller: h or 9/13?
9/13
Let p = 5.82 - 8.65. Which is smaller: -0.03 or p?
p
Let v(l) = -l**2 + l + 4. Let m be v(-2). Let d be (7/(-2) - m)*8/(-6). Let x be (-16)/d + 15/5 - -3. Is 1/17 at most as big as x?
False
Let k = -511 + 1601/3. Let g = 1662 - 1661. Is k != g?
True
Suppose 0 = u + 2*d - 200, 5*u - 11*d + 6*d = 1075. Let p be (-30)/u + (-453)/(-3073). Is 0 <= p?
True
Let y = 43 + -5. Suppose -22 = -10*a + 134 + 234. Which is greater: a or y?
a
Suppose 22*z + 5 + 17 = 0. Which is smaller: z or -1/2318?
z
Let a be 0 + (168/7)/6. Let k be a/10 + (-176)/440. Which is smaller: k or -20/69?
-20/69
Let h = 14262 - 3779438/265. Is h smaller than 0?
True
Let i = 0 - 2.04. Let h = i - -2.23. Is h at most as big as -2/7?
False
Suppose -l + s - 5 = 0, 4*s = -3*l - 2*l + 11. Let r(f) = 29*f**3 + 2*f**2 + 2*f + 1. Let y be r(l). Let m = -6 - y. Is 23 > m?
True
Let w = -8 + 5. Let x(c) = -2*c. Let j be x(3). Let a be j/(-9) + (-121)/33. Is a greater than w?
False
Let m(q) = -5*q - 66. Let u be m(-14). Suppose 15 = 3*y, -u*y - 8 = -4*x - 20. Is 30 not equal to x?
True
Let o be (-4666)/(-36)*2 - (-30)/(-135). Suppose -4*u = -o - 209. Suppose 3*z = -4*n + u, -n + 3*z + 49 - 1 = 0. Is 33 equal to n?
True
Suppose 1478 = 9*p - 979. Suppose -284 + p = -11*l. Which is greater: l or -2.39?
l
Let w be 1*(-1)/2*-26. Let k = -6.523 + 13.523. Which is smaller: w or k?
k
Let l = 0.126 + -62.126. Let m = l - -62. Which is greater: m or -1/4?
m
Let i = 12491461/24999 + -402/641. Suppose 5*n - 5*k = 780 + 1695, 2*n - 978 = 5*k. Let c = n - i. Do 0 and c have the same value?
False
Let t = -8539 + 8537. Is 149.07 <= t?
False
Let j be ((-306)/(-476) + (2 - 17/7))*2. Which is smaller: j or 2.58?
j
Suppose -28 = -2*o - 4*j + 2, -5*o + 86 = -j. Let u be (-40)/3*48/(-32). Which is bigger: u or o?
u
Let g = 5480402/11730899 - 2/85627. Do g and -1 have the same value?
False
Let c(q) = 17*q**2 + 2*q - 525. Let z be c(0). Which is bigger: -529 or z?
z
Let l(q) = -q**3 + 4*q**2 - 12. Let u be l(5). Let i = u + 39. Suppose 3*f + 18 + 5 = -2*g, -i*g + 2*f = -2. Which is bigger: g or -16/3?
g
Suppose 0 = -3*u + 11*u + 32. Let c be 10/(-3) - u/12. Let p(y) = 2*y**2 + 7*y + 6. Let s be p(c). Is s smaller than 4?
True
Suppose k - 86 = -s, -s = -0*s + 3. Let f = 90 - k. Which is smaller: 4 or f?
f
Suppose -3*i = f - 10, 0*f + 5*f = 20. Let t be i + -2 - (-3)/(-3). Let a = 35/4 + -393/44. Which is smaller: a or t?
t
Let b = -11188 - -34682801/3100. Is b not equal to 1?
True
Let w = 24251 - 22719. Is w less than or equal to 1532?
True
Let d(j) = j**2 - 14*j + 1. Let z be d(14). Let i = 0.147 - -23.053. Let n = -23 + i. Is n > z?
False
Let m(a) = 2*a**2 - 11*a - 19. Let o be m(9). Sup