v, 5*y + 3*v - 4*v - 23 = 0. Suppose s + y = n. Which is smaller: n or 6?
6
Let p be -3*(-1 + 93)/1. Let g be p/(-16) - (-6)/8. Is g != 20?
True
Let y be 105*((-175)/(-21) - 7). Are y and 138 nonequal?
True
Suppose -6185*z - 124 = -6181*z. Does -33 = z?
False
Let m = 16.505 + -0.005. Let r = m + -3.5. Is r < -1?
False
Suppose 5*d - 15 = 0, -5*u + 3*d - 132 - 102 = 0. Is -53 <= u?
True
Suppose -4*v - 383 = -2*b + 67, 4*v + 455 = 3*b. Let g be 2*(0 + 2 + v/4). Is g <= -51?
True
Let v = 44484 - 44500. Suppose 0 = 3*y - 2*y + 18. Which is smaller: y or v?
y
Let h be (-5 - -3)*(7 + -3 + 103). Are -0.1 and h unequal?
True
Let v be 4/(-10)*(-1 + 41). Let m be ((-140)/v)/((1/1)/(-4)). Which is smaller: -34 or m?
m
Suppose 4*i - 176 = h, 5*i - 118 = 4*h + 102. Which is greater: 42 or i?
i
Let r be 3/(-2) - 2/(-1). Suppose 4*n = -o + 124 + 4, 2*o - 211 = n. Let x be o/96*(-4)/6. Is x less than r?
True
Let w = 4 - 3. Let q = -118926 - -1782523/15. Let m = q + 91. Which is smaller: w or m?
m
Let t be (-36)/(-90) - 4/(-90). Let b = 0.6 + -0.9. Is t at most as big as b?
False
Let c = 1.09 - 0.8. Is -1 less than or equal to c?
True
Let w be (200/(-852))/(-1) + 1/(-3). Let t = 559/1349 + w. Which is smaller: 1 or t?
t
Suppose 6*w = w. Suppose w = 2*n - n. Let f be ((-4)/(-162))/(16/48). Is f less than or equal to n?
False
Let c = -334 + 342.45. Is 0 bigger than c?
False
Let q be (-12 - -10) + 45556/22785. Is q <= 1?
True
Suppose -4*c = -4*n - 8 - 0, -3*n - 4*c + 8 = 0. Is n at least 1596?
False
Let w be 1113/(-70) - (-1 - 5/(-3)). Let m = w + 97/5. Is m at most 2?
False
Let u = 18.2 - 17.9. Is 0.3 != u?
False
Let q = 25674/223199 + -1/3659. Let d = q + 97/1281. Is -1 at least as big as d?
False
Let j = 178 + -212. Are -26 and j equal?
False
Let g be (-2)/(-31)*(-2)/(-2). Let o = 66 + -55. Suppose -3*n + 10 = -2*f, -2*n + 9 + o = -4*f. Is g less than or equal to n?
False
Let z be (-2*7/(-10))/(78/15). Let c = z + 329/130. Which is bigger: c or 2?
c
Let q be 18/15*(-2)/18. Let a be (-336)/24*(-5)/70. Are q and a nonequal?
True
Let g be (5/(-4)*140/50)/((-19)/(-114)). Suppose s + 18 = -2*r, -s + r + 20 = -2*s. Is s > g?
False
Let x be 23/(-299) - 29976/26. Is -1154 < x?
True
Let u = -119 + 158. Which is greater: 33 or u?
u
Let g(j) be the third derivative of j**5/60 + j**4/8 + 2*j**3/3 + 4*j**2. Let o be g(4). Suppose -5*h + o = -4*z, h = -3*h. Is z at most as big as -9?
False
Suppose 3 = r - 1. Suppose -7*z = -2*z + 4*b + 7, 7 = r*z - b. Let y be 3/2*4/(-6). Are z and y equal?
False
Let p be 2 - 1 - (-6)/(-5). Let n be (-2)/(-8) - 45/(-60). Suppose -2*r - n = -3*r. Is r greater than or equal to p?
True
Let c = -53 - -107. Let s = -55 + c. Does -32 = s?
False
Suppose 22*o - 4 = 26*o. Let y be 8/(-2)*((-57)/15 - o). Is 11 at least as big as y?
False
Let w = 37 + -33. Which is bigger: w or 8?
8
Suppose 28 = 2*h - r, -4*h + 5*r + 11 = -45. Let s be ((-4)/(-32)*35 - -10) + (-3)/8. Is h > s?
False
Let x = -1.8409 - 0.2591. Suppose 15 = -4*j - j, -4*j = -g + 12. Are x and g equal?
False
Let z = -86 + 86. Which is greater: -19/3 or z?
z
Let w be (-234)/(-14) + (-2)/(-7). Let s(i) = 48*i - 578. Let r be s(12). Is r less than or equal to w?
True
Let r(b) = -2*b**3 + b**2 + 12*b + 2. Let t be r(-4). Is t greater than or equal to 99?
False
Let d be (-6)/((-6)/(-9) - (-1)/12). Are -8 and d unequal?
False
Let y = -0.03 - -0.33. Let l = -2032 + 14227/7. Is l greater than or equal to y?
True
Let l be 1/((45/25 - 2) + 0). Do -9 and l have the same value?
False
Let r(c) = -4*c - 1. Let s be r(-6). Suppose -7*n + 9*n = -84. Let h = s + n. Is -17 not equal to h?
True
Let v be (-3 - 16/(-6))*-18. Suppose h = v*h + 2*o - 1, o - 1 = -2*h. Let w = 103 + -1132/11. Which is bigger: w or h?
w
Let j = -5.654 - -4.854. Let d = 0.3 + 0. Is j at most as big as d?
True
Let h(r) = 0*r**2 - 3 - r**3 + 14*r + 0 + 5*r**2 + 2. Let k be h(7). Which is greater: k or 1/8?
1/8
Let b = -23 - -35. Suppose -b = -41*u + 45*u. Which is smaller: -13/4 or u?
-13/4
Suppose -2*l = 2*c + 4, 4*l - 5*c = -4*c + 12. Suppose -2*p = -2*w - 2, l*w = -2*w - 3*p - 4. Which is smaller: -4/5 or w?
w
Suppose 43 - 17 = -u. Let s(o) = -35*o**2 + 1. Let b be s(1). Let v = u - b. Which is smaller: 2 or v?
2
Let v(l) = 1 + 23*l**2 - 24*l**2 + 0. Let t be v(-2). Let a be t/6*(4 + -8). Which is smaller: 17/5 or a?
a
Suppose m + 5*j = 39, 172 = 5*m - 3*j + 61. Suppose -2*q + m = -26. Is 25 != q?
False
Let s = 96 + -102. Which is greater: -9/2 or s?
-9/2
Let l = -421 + 422. Let m be (1 - 3)*(-12 + 2). Let v be (-1)/(-5) - (-26)/m. Is v less than or equal to l?
False
Let m(w) = -w**3 - 37*w**2 - 69*w + 43. Let h be m(-35). Is h >= 9?
False
Let r(b) = -46*b - 1. Let a be r(-1). Suppose 2*q + q = -a. Let z = -9 - q. Which is smaller: 5 or z?
5
Let v be ((-8)/(-4) - (1 + 0))*-15. Which is smaller: v or -16?
-16
Let g(c) = c**3 - 2*c**2 + 2*c. Let f be g(2). Suppose 0 = -f*y - 4*u + 8, 5*u = 5 + 5. Is y smaller than 4/35?
True
Let t(a) = a**3 - a**2 - 2*a + 2. Let c be t(2). Suppose c = 2*b - 8. Suppose y = 4*k - 0*y - 8, -14 = 2*k - b*y. Is 3 greater than k?
False
Let z be 6/4 - 4508/(-56). Does z = 78?
False
Let t(w) = -w**2 - 11*w - 6. Let g be t(-10). Suppose g*i + 4*a - 20 = -0*a, a = -3*i + 7. Let j be i/(-2) + 102/12. Is 7 greater than or equal to j?
False
Let u be -2*(-21)/(-14) + 4*-1. Suppose k = 3*k - 8. Suppose o = k*f - 9, o - 3*f = -10 + 1. Are o and u equal?
False
Let q = -80 - -26. Let u = q + 28. Let r = u - -25.8. Which is greater: -2 or r?
r
Suppose -z - u - 3 = 0, -3*u - 7 = -3*z + 8. Is 54/23 at most as big as z?
False
Let h be 1 - 4 - (1 + -5). Let y be ((-2)/4)/(h/2). Is -2/9 > y?
True
Let o be 16/(-14) - (-252)/(-294). Which is greater: o or -68?
o
Suppose -s = 4*u + 114, 4 = -10*u + 9*u. Is s smaller than -98?
False
Suppose -11*z = -7*z. Is z at least -182?
True
Let j be -1*2/26*-1. Let r(p) = 2*p**2 + 17*p + 8. Let q be r(-8). Suppose q = i + 9 - 8. Which is smaller: i or j?
i
Let d be 2/((-4)/2)*2. Let r be 0 - -2 - (-4 - d). Suppose -4*l + 8 = 115*m - 118*m, 2*l = -5*m + 4. Which is greater: m or r?
r
Let k be 2/(-4) + (-26)/(-20). Suppose -5*l = -6*l + 5. Let v be (-3)/((-12)/(-16)) + l. Which is smaller: v or k?
k
Suppose -5*x - 20*q + 16*q = 4771, 2*x + q = -1906. Is x at least -951?
True
Let u(x) = 39 + x - 78 + 42. Suppose -3*p - 16 = -4. Let b be u(p). Is b > -1/17?
False
Let q = -14.19 + 0.19. Let x = q + 13. Let j(d) = d**3 + 6*d**2 + d + 4. Let u be j(-6). Which is smaller: x or u?
u
Let z = 3.8 + -2. Suppose -3*b = -2*a + 15, 225*a - 227*a - b = 5. Which is smaller: z or a?
a
Let u = 348 + -366.9. Let r = u - -19. Which is smaller: r or 3/5?
r
Let r be (8/28)/(1/7). Suppose 4*x = -3*o - 48, -4*o - 2*x - r*x = 64. Is o at most -15?
True
Let c = 127.9 - 128.3. Let k = 28/39 - 18/13. Is k at most c?
True
Let t(k) = -k**2 - k + 36. Let s be t(-7). Let q be s + 2 + 126/31. Suppose p = c - 2 - 2, 3*p + 14 = c. Which is bigger: q or c?
q
Suppose -198 = -19*l + 28*l. Do l and 0 have the same value?
False
Let p be (40/(-150))/(15*14). Which is smaller: 0 or p?
p
Let k(n) = -n**2 - 13*n - 89. Let q be k(-16). Is q smaller than -136?
True
Let l(d) = 2*d**3 - 3*d + 2. Let f be l(2). Suppose b + 0*b - f = 0. Let i be (-4)/3 - (-4)/b. Which is greater: i or -0.1?
-0.1
Let o = -376 + 382. Which is greater: o or -7?
o
Let j be 2/(-6)*(-20)/10. Which is greater: j or 91?
91
Let z = -8.7 + 13.6. Let n = 5 - z. Let x be -3 + (2 + 105/(-18))*-1. Are x and n equal?
False
Let o = 13 - 11. Suppose -5*j = 4*l - 4, 5*j + o*l = l + 16. Let q = -3 + j. Is q at least 0?
True
Suppose -5*j - 8 = -4*r + 11, 3*r - 58 = -5*j. Suppose -4*f + r = 5*n - 0*n, 5*f - 60 = 3*n. Suppose 4*u + 3*s + s = -20, -2*u = s + f. Is u < -3?
True
Let h = 91 - 152. Let q be 3/2*(-4)/6. Is q greater than h?
True
Let v = 2354 + -2008. Which is bigger: -2 or v?
v
Let w be -1*((-2)/(-12))/((-24)/48). Let g = -0.2756 - 18.6344. Let u = g + 19. Which is smaller: w or u?
u
Let w(k) = 7*k - 2. Let z be w(2). Suppose z*f - 9*f = 33. Does 9 = f?
False
Let l be (-1428)/(-30) - 4/(-10). Is l greater than 48?
False
Let u be (-5)/(3*(-5)/(-15)). Let z be 1176/(-144) + u/(-2). Which is smaller: -7 or z?
-7
Let m = 24 - 23.979. Let t = m - 0.411. Let o = t - -