1)/2). Are o and g non-equal?
False
Let n be ((-2)/(-5))/(26128/1065). Is 1 equal to n?
False
Let c = -9.93 + -1.17. Let v = -3.6 + 14.6. Let g = c + v. Do 13 and g have the same value?
False
Let j(c) = -10*c**2 - 3*c + 3. Let z be j(-6). Does z = -340?
False
Let t = -75 + 90. Let u = 51 - t. Which is bigger: 37 or u?
37
Let b be (-410)/130 - (-7 - -2). Let h = 1442/767 - b. Is h <= 0?
False
Let u = 12 + -12. Let h = 0 + u. Suppose 3*x + 2*x + 10 = h. Which is greater: -1/2 or x?
-1/2
Suppose -2*n + 410 = -38. Is n <= 224?
True
Let b be -1 + 6/(-18) + 12090/9081. Which is smaller: -1 or b?
-1
Suppose 23*x = 15*x - 9976. Is x < 0?
True
Let l be -3*(-2)/108*2. Let z be (-2)/(-4)*0/(-9). Suppose z = 9*h - 7*h. Is l at least as big as h?
True
Let c = -628/33 + 19. Let z = 11 + -11. Which is greater: c or z?
z
Let g(n) = n**2 + 14*n + 39. Let x be g(-10). Is x greater than or equal to -9/5?
True
Let d = -314 - -320. Is d != -4/81?
True
Let n(p) = -p**2 + 6*p + 1. Let b be n(6). Let w be 2/14*2 + 206/14. Let d be 2*24/w + 6/(-3). Which is smaller: b or d?
b
Let t(p) = -p**2 - 6*p. Let b be t(-5). Let g be 3/15 - 16/b. Let i be 1*(4 + g)*0. Is -1 at most i?
True
Let g = 423 + -432. Does g = 1?
False
Let a(i) = -i**2 - 8*i + 5. Let k(s) = -2*s**2 - 16*s + 10. Let c(n) = -5*a(n) + 3*k(n). Let b be c(-5). Which is smaller: 19 or b?
19
Let w = -0.085 - -0.062. Let y = 3.977 - w. Which is smaller: y or -0.05?
-0.05
Let w(a) = -5*a - 3 + 2 + 3. Let o be w(1). Let i = -125/2 + 61. Is o at least i?
False
Let u = -1003 + 1001. Let i = -2 + 3. Let o be i/(-4) - (-1)/(-28). Which is bigger: o or u?
o
Suppose 2*n + 3*n = -80. Let q be ((-1)/(-2))/((-4)/n). Let f = -0.022 - -0.082. Are q and f equal?
False
Let j = -1380 + 30361/22. Let m be 0 + (-1 - (1 - 1)). Which is greater: j or m?
j
Let s be 34/8*(5 + -13). Let c = s + 44. Which is bigger: 11 or c?
11
Let o = 372 - 375.3. Which is smaller: 0 or o?
o
Let c(h) = h**2 + 26*h + 37. Let v be c(-9). Are v and -117 unequal?
True
Let m(h) = h - 2. Let y be m(13). Let f(p) = -3*p**2 + 28*p - 21. Let a be f(8). Is a != y?
False
Let y(d) = -3*d**3 + 11*d**2 - 30*d - 1. Let m be y(5). Is m greater than -252?
True
Let o be 106/(-140)*(-22)/(-184). Let g = o + 1/280. Which is bigger: g or 0?
0
Let p = -1188 + 1127. Which is bigger: -1/7 or p?
-1/7
Let a be 55*(0 + (-14)/455). Is -2 less than or equal to a?
True
Let k(q) = -111*q - 9. Let j be k(-5). Suppose 5*b + j = 2931. Let s be b/180 - (-4)/(-10). Which is smaller: 3 or s?
s
Let r be (4/(-8))/((-4)/24). Suppose -3*y = 3*q - r, 2*q + 2*y - 6 = -2*q. Suppose -q*v - 2 = -4*p + 2, -5*p + 5 = 0. Is -1/13 greater than v?
False
Let y(r) be the first derivative of r**2/2 - 8. Let d be y(5). Suppose 5 = -k - 3*z, -3*z = -k - 4*z + 1. Are k and d unequal?
True
Let q = 1007919/344 + -2930. Do q and -1 have different values?
True
Let s be 5 - 3/4*(-618)/(-93). Is s smaller than -1?
False
Suppose 3*g - 5 = 10. Suppose -3*p + g*y + 17 = 0, 0 = 2*p + y - 3 + 9. Let w be ((-26)/78)/((-24)/(-27)). Which is smaller: w or p?
p
Suppose 24 + 11 = -5*o. Suppose 8*d - 16 = 10*d. Which is greater: o or d?
o
Let f = -10.9069 - 0.0131. Let c = -11 - f. Let i = 0.12 - c. Is i greater than or equal to -1?
True
Suppose -6 = -3*h, 3*q + h = q + 38. Let o be (q/4)/(-9)*0. Which is bigger: 1/4 or o?
1/4
Let t = 23 + 12. Let r = -33 + t. Which is greater: 6/7 or r?
r
Let l be 84/(-39) + -3 + 41/13. Is l greater than -99?
True
Let b = 123 + -99. Which is bigger: b or -3?
b
Let n be -3 + 7 - 5 - 2. Let c(m) = -m - 2. Let z be c(n). Which is bigger: 7/4 or z?
7/4
Suppose -6*t = -3*t + 6, 3*t - 41 = -r. Let p = r + -63. Is p bigger than -16?
False
Let q = 14 + -14. Suppose 3 + q = k. Let j be 3/(-9) - (-3)/k. Which is smaller: j or 0.09?
0.09
Suppose -4*d + 0*d = 12. Let o(h) = -2*h + 8. Let x be o(7). Which is smaller: d or x?
x
Let t = 1.9 - 1.2. Suppose -29*k - 16 = -27*k. Let g be (11/220)/((-2)/k). Which is bigger: g or t?
t
Let x be (2/6)/((-3)/(1 - 622)). Is 72 equal to x?
False
Let f be (-22)/(-2) - (-20 - -18). Let b(w) = 6 - 2*w**3 + 3*w**2 + 3*w**3 - 12*w - f*w**2 + 2. Let a be b(11). Are a and -3 equal?
True
Let d = 16.085 + -0.085. Let h = 17 - d. Which is smaller: h or -12?
-12
Suppose 0*q = -q. Let u be (-9 - 1)/(q + 1). Let f = 7 + u. Which is greater: f or -6?
f
Let r(k) = -5*k**3 + k**2 + 19*k + 10. Let a be r(6). Which is greater: a or -921?
a
Let k be 1/((-122)/(-40) - 3). Suppose 0 = -5*b - 2*z - 4 - 4, 0 = 4*b - 5*z - k. Let u be (2 - b)*15/40. Is 0 at least as big as u?
False
Let x = -932 - -973. Do 44 and x have the same value?
False
Let y = 31 - 20. Let p be y/(242/(-4))*-1*1. Is -1 bigger than p?
False
Suppose 5*v - 60 = 5*h, -4*h - 4*v - 48 = 16. Let l = -44 - h. Let b be 6/(-10) - 12/l. Which is bigger: b or 1?
1
Let f = 0.33 - 0.11. Let x = -0.08 - f. Let v = -3.9 - -4.9. Are x and v non-equal?
True
Let r = -1640 + 1634. Suppose 5*f + 18 = -7. Which is smaller: r or f?
r
Let o = 174 + -174.97. Let v = -0.17 - o. Let b = 0.2 + v. Is -6 greater than or equal to b?
False
Let h(s) = 3*s + 1. Let a be h(3). Let v = 178 - 172. Which is smaller: a or v?
v
Let z(o) = 17*o - 84. Let w be z(-13). Which is smaller: -306 or w?
-306
Let v = 6 - 7. Suppose 23*d = 28*d - 10. Let r be d/5*10/36*-3. Which is bigger: r or v?
r
Let i be (3/(-18)*-52)/((-8)/(-36)). Is 4 less than or equal to i?
True
Let c(w) = -7*w - 16. Let m be c(-16). Suppose m*s = 93*s + 3. Let v = 53/168 - 4/21. Is v < s?
True
Suppose -3*z - 60 = -3*v, 5*v - 30 = -4*z + 115. Suppose 0 = -20*u + v*u - 190. Do 38 and u have the same value?
True
Let m be -7 + (-1 - 8)/(-3). Let j be ((-2)/m)/(4/(-24)). Are j and -21/5 equal?
False
Let b(v) = -v**3 - 9*v**2 - 5*v - 11. Let m be b(-9). Suppose 8*w + m = 7*w. Is -33 smaller than w?
False
Let p = -569.3 - -569. Is p less than 1/5?
True
Suppose 0 = -4*k + 11 + 109. Suppose 4*j + k + 18 = -4*m, 0 = -j + 3*m. Let n be -1*(-1 - 1*j). Is -9 less than n?
True
Let r(f) = 4*f**2 - 14*f + 6. Let w be r(7). Let h = -158 + w. Is h <= -54?
True
Let z = -17 - -17. Let t(g) = -g**2 + g - 1. Let p be t(z). Is -2/3 < p?
False
Suppose -l + 4*l + 9 = -5*t, 0 = -5*t. Let o be 1/(-21)*-7 + 19/l. Is -6 greater than o?
False
Let x be 522054/(-322) + 2/7. Is -1622 smaller than x?
True
Let a = -34/3 + 11. Let f = 30 - 10. Let q be f/15*9/(-16). Which is greater: a or q?
a
Let o be 284/11 + 6/33. Suppose -o = 2*m + 5*h, -h + 12 + 10 = -3*m. Is m not equal to -5?
True
Suppose 7*l = 4*l + 165. Let d = l + -69. Which is bigger: d or -13?
-13
Let x = 138 + -136.8. Which is smaller: x or -1?
-1
Let v be 1 - 1 - 12/4. Let c be 15/21 + v - -3. Which is smaller: c or 1?
c
Let s(m) = 6*m + 23. Let y be s(-5). Let k be ((-188)/6)/(((-56)/(-12))/y). Is k at least 47?
True
Let p(a) = -a**2 + 16*a - 11. Let h be p(15). Let f be ((-54)/1)/(h + -6). Are 27 and f nonequal?
False
Let n be (-92)/(-42)*6/8. Let s be (-4 + 109/28)*40/2. Let j = s + n. Which is smaller: 7 or j?
j
Let c = 205 + -205.1. Is -40 less than c?
True
Let o be ((-10)/20)/(1/(-2) - 0). Let s be (o - -1) + 6/(-21). Which is smaller: s or 2?
s
Let i be (-7 + (-2845)/(-410))*(2 + -1). Is 0 less than i?
False
Let a = -41/50 - -967/600. Which is bigger: 0 or a?
a
Suppose -2*b = -3*x + 7, 5*b - 1 + 11 = 0. Let r be ((-14)/(-4) - 1) + (-159)/106. Is x greater than or equal to r?
True
Let a = -3.86 + 14.06. Which is bigger: a or 1?
a
Let v be -4 + 8 + -2 + (-610)/285. Which is bigger: v or 3?
3
Let s = -9 + 6. Let y be s/(-22)*(-5)/15. Let j = y + 6/11. Which is greater: j or 10?
10
Suppose 0*v = 3*v - 2*s - 17, 0 = 5*v + 2*s - 39. Let g = -49 + 73. Let w be 1/(-2)*(6 + -1*g). Are v and w equal?
False
Let m be (-2 + (-3 - -4))*0. Let r be -58*(-2)/(-28) + 5. Which is greater: m or r?
r
Let r(j) = j**3 + j**2 - 8*j - 2. Let a be r(-3). Let q be (36/16)/(a*-3). Suppose -3*k + 5*l = -12, 0*l = 5*k - 4*l - 7. Which is smaller: q or k?
k
Let u = -380 + 334. Is -5 less than u?
False
Let s = 1 + 13. Let d be 11/(-14) + 4/s. Let p = 26/3 + -9. Which is smaller: d or p?
d
Suppose -a + 3*a - 5*p = 44, p = 2*a - 28. Let v be a*(-1 + 290/285). Is v >= -1?
True
Suppose h + 2*h - 6 = 0. Suppose 3*g - 3*a = 21, g - 7*a + h*a - 27 = 0. Let v = -4 - g. Which is smaller: v